runsolver version 3.4.0 (svn: 3018) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 1
  memory of node 0: 3639 MiB (1687 MiB free)
  node distances:
     10

command line: runsolver -W 1800 ./pigeonPurSampling.py ./benchmarks2/sat-2002/biere/cmpadd/ca004.shuffled.cnf 

running on 1 cores: 1

Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Linux 4.18.0-310.el8.x86_64
solver pid=417998, runsolver pid=417993
Current StackSize limit: 8192 KiB


[startup+0.106274 s]*
/proc/loadavg: 0.00 0.00 0.00 6/455 418008
/proc/meminfo: memFree=1713808/3726824 swapFree=8388604/8388604
[pid=417998] ppid=417993 vsize=37788 memory=9724 CPUtime=0.09 cores=1
/proc/417998/stat : 417998 (pigeonPurSampli) R 417993 417998 417967 0 -1 4194304 1343 0 0 0 9 0 0 0 20 0 1 0 225222840 38694912 2431 18446744073709551615 94657562562560 94657562566672 140730839176944 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94657564667136 94657564667908 94657578975232 140730839179767 140730839179862 140730839179862 140730839183329 0
/proc/417998/statm: 9447 2431 1449 2 0 1856 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 37788 KiB
Current children cumulated memory: 9724 KiB

[startup+0.227273 s]*
/proc/loadavg: 0.00 0.00 0.00 4/448 418011
/proc/meminfo: memFree=1714808/3726824 swapFree=8388604/8388604
[pid=417998] ppid=417993 vsize=37788 memory=9724 CPUtime=0.2 cores=1
/proc/417998/stat : 417998 (pigeonPurSampli) R 417993 417998 417967 0 -1 4194304 1343 0 0 0 20 0 0 0 20 0 1 0 225222840 38694912 2431 18446744073709551615 94657562562560 94657562566672 140730839176944 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94657564667136 94657564667908 94657578975232 140730839179767 140730839179862 140730839179862 140730839183329 0
/proc/417998/statm: 9447 2431 1449 2 0 1856 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 37788 KiB
Current children cumulated memory: 9724 KiB

[startup+0.332269 s]*
/proc/loadavg: 0.00 0.00 0.00 4/448 418011
/proc/meminfo: memFree=1714084/3726824 swapFree=8388604/8388604
[pid=417998] ppid=417993 vsize=37788 memory=9724 CPUtime=0.28 cores=1
/proc/417998/stat : 417998 (pigeonPurSampli) R 417993 417998 417967 0 -1 4194304 1344 0 0 0 28 0 0 0 20 0 1 0 225222840 38694912 2431 18446744073709551615 94657562562560 94657562566672 140730839176944 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94657564667136 94657564667908 94657578975232 140730839179767 140730839179862 140730839179862 140730839183329 0
/proc/417998/statm: 9447 2431 1449 2 0 1856 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 37788 KiB
Current children cumulated memory: 9724 KiB

[startup+0.701269 s]
/proc/loadavg: 0.00 0.00 0.00 6/448 418011
/proc/meminfo: memFree=1713076/3726824 swapFree=8388604/8388604
[pid=417998] ppid=417993 vsize=37788 memory=9724 CPUtime=0.58 cores=1
/proc/417998/stat : 417998 (pigeonPurSampli) R 417993 417998 417967 0 -1 4194304 1350 0 0 0 58 0 0 0 20 0 1 0 225222840 38694912 2431 18446744073709551615 94657562562560 94657562566672 140730839176944 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94657564667136 94657564667908 94657578975232 140730839179767 140730839179862 140730839179862 140730839183329 0
/proc/417998/statm: 9447 2431 1449 2 0 1856 0
Current children cumulated CPU time: 0.58 s
Current children cumulated vsize: 37788 KiB
Current children cumulated memory: 9724 KiB

[startup+1.50127 s]
/proc/loadavg: 0.00 0.00 0.00 4/448 418011
/proc/meminfo: memFree=1713076/3726824 swapFree=8388604/8388604
[pid=417998] ppid=417993 vsize=37788 memory=9724 CPUtime=1.35 cores=1
/proc/417998/stat : 417998 (pigeonPurSampli) R 417993 417998 417967 0 -1 4194304 1351 0 0 0 135 0 0 0 20 0 1 0 225222840 38694912 2431 18446744073709551615 94657562562560 94657562566672 140730839176944 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94657564667136 94657564667908 94657578975232 140730839179767 140730839179862 140730839179862 140730839183329 0
/proc/417998/statm: 9447 2431 1449 2 0 1856 0
Current children cumulated CPU time: 1.35 s
Current children cumulated vsize: 37788 KiB
Current children cumulated memory: 9724 KiB

[startup+3.13627 s]
/proc/loadavg: 0.24 0.05 0.02 4/448 418011
/proc/meminfo: memFree=1713028/3726824 swapFree=8388604/8388604
[pid=417998] ppid=417993 vsize=37788 memory=10140 CPUtime=2.94 cores=1
/proc/417998/stat : 417998 (pigeonPurSampli) R 417993 417998 417967 0 -1 4194304 1366 0 0 0 294 0 0 0 20 0 1 0 225222840 38694912 2535 18446744073709551615 94657562562560 94657562566672 140730839176944 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94657564667136 94657564667908 94657578975232 140730839179767 140730839179862 140730839179862 140730839183329 0
/proc/417998/statm: 9447 2535 1494 2 0 1856 0
Current children cumulated CPU time: 2.94 s
Current children cumulated vsize: 37788 KiB
Current children cumulated memory: 10140 KiB

[startup+6.30029 s]
/proc/loadavg: 0.24 0.05 0.02 4/448 418011
/proc/meminfo: memFree=1712932/3726824 swapFree=8388604/8388604
[pid=417998] ppid=417993 vsize=37788 memory=10140 CPUtime=6.03 cores=1
/proc/417998/stat : 417998 (pigeonPurSampli) R 417993 417998 417967 0 -1 4194304 1370 0 0 0 603 0 0 0 20 0 1 0 225222840 38694912 2535 18446744073709551615 94657562562560 94657562566672 140730839176944 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94657564667136 94657564667908 94657578975232 140730839179767 140730839179862 140730839179862 140730839183329 0
/proc/417998/statm: 9447 2535 1494 2 0 1856 0
Current children cumulated CPU time: 6.03 s
Current children cumulated vsize: 37788 KiB
Current children cumulated memory: 10140 KiB
[-1, -2, -3, -7, -8, -11] -> []

[-1, -2, 3, 7, -8, 11, -12, -13] -> ph3-2_1 

[-1, 2, -3, 4, 6, 11, -20] -> ph3-2_2 

[1, -2, -3, 4, -5, 6, 11, 20] -> ph3-2_3 

[1, -2, -3, 4, 5, 7, -8, 11, -12, -13, -14, -15] -> ph3-2_2 

[1, -2, 3, 4, 5, 7, -8, -10, 11, -12, -13] -> ph3-2_4 

[1, 2, -3, 4, -5, 6, 7, -9, -11, -20, -23, -30] -> ph3-2_2 

[1, 2, -3, 4, 5, -6, 7, -8, 9, 11, -12, -13, -14, -15] -> ph3-2_2 

[1, 2, 3, 4, 5, -6, -7, 8] -> []

[-1, -2, -3, -7, -8] -> []

[-1, -2, 3, 7, -8, 11, -12] -> ph3-2_1 

[-1, 2, -3, 4, 6, 11] -> []

[1, -2, -3, 4, -5, 6, 11] -> []

[1, -2, -3, 4, 5, 7, -8, 11, -12, -13, -14] -> ph3-2_2 

[1, -2, 3, 4, 5, 7, -8, -10, 11, -12] -> ph3-2_4 

[1, 2, -3, 4, -5, 6, 7, -9, -11, -20, -23] -> ph3-2_2 

[1, 2, -3, 4, 5, -6, 7, -8, 9, 11, -12, -13, -14] -> ph3-2_2 

[1, 2, 3, 4, 5, -6, -7] -> []

[-1, -2, -3, -7] -> []

[-1, -2, 3, 7, -8, 11] -> ph3-2_1 

[-1, 2, -3, 4, 6] -> []

[1, -2, -3, 4, -5, 6] -> []

[1, -2, -3, 4, 5, 7, -8, 11, -12, -13] -> []

[1, -2, 3, 4, 5, 7, -8, -10, 11] -> ph3-2_4 

[1, 2, -3, 4, -5, 6, 7, -9, -11, -20] -> ph3-2_2 

[1, 2, -3, 4, 5, -6, 7, -8, 9, 11, -12, -13] -> []

[1, 2, 3, 4, 5, -6] -> []

[-1, -2, -3] -> []

[-1, -2, 3, 7, -8] -> ph3-2_1 

[-1, 2, -3, 4] -> []

[1, -2, -3, 4, -5] -> []

[1, -2, -3, 4, 5, 7, -8, 11, -12] -> []

[1, -2, 3, 4, 5, 7, -8, -10] -> ph3-2_4 

[1, 2, -3, 4, -5, 6, 7, -9, -11] -> []

[1, 2, -3, 4, 5, -6, 7, -8, 9, 11, -12] -> []

[1, 2, 3, 4, 5] -> []

[-1, -2] -> []

[-1, -2, 3, 7] -> ph3-2_1 

[-1, 2, -3] -> []

[1, -2, -3, 4] -> []

[1, -2, -3, 4, 5, 7, -8, 11] -> []

[1, -2, 3, 4, 5, 7, -8] -> []

[1, 2, -3, 4, -5, 6, 7, -9] -> []

[1, 2, -3, 4, 5, -6, 7, -8, 9, 11] -> []

[1, 2, 3, 4] -> []

[-1] -> []

[-1, -2, 3] -> ph3-2_1 

[-1, 2] -> []

[1, -2, -3] -> []

[1, -2, -3, 4, 5, 7, -8] -> []

[1, -2, 3, 4, 5, 7] -> []

[1, 2, -3, 4, -5, 6, 7] -> []

[1, 2, -3, 4, 5, -6, 7, -8, 9] -> []

[1, 2, 3] -> []

[] -> []

[1, -2] -> []

[1, -2, -3, 4, 5, 7] -> []

[1, -2, 3, 4, 5] -> []

[1, 2, -3, 4, -5, 6] -> []

[1, 2, -3, 4, 5, -6, 7, -8] -> []

[1, 2] -> []

[1] -> []

[1, -2, -3, 4, 5] -> []

[1, -2, 3, 4] -> []

[1, 2, -3, 4, -5] -> []

[1, 2, -3, 4, 5, -6, 7] -> []

[1, -2, 3] -> []

[1, 2, -3, 4] -> []

[1, 2, -3, 4, 5, -6] -> []

[1, 2, -3] -> []

[1, 2, -3, 4, 5] -> []


Detected pigeons:

 ph3-2_1 = [[-23, -29], [31, 24], [-36, 31]]

 ph3-2_2 = [[33, -41], [-33, 41], [41, 33]]

 ph3-2_3 = [[-40, -27], [-45, 60], [60, -40]]

 ph3-2_4 = [[-23, -29], [25, -36], [-36, 31]]

[startup+6.94279 s]
# the end of solver process 417998 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=6.67122 s, system=0.009857 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+6.40128 s]
/proc/loadavg: 0.24 0.05 0.02 4/448 418011
/proc/meminfo: memFree=1712932/3726824 swapFree=8388604/8388604
[pid=417998] ppid=417993 vsize=37788 memory=10140 CPUtime=6.13 cores=1
/proc/417998/stat : 417998 (pigeonPurSampli) R 417993 417998 417967 0 -1 4194304 1370 0 0 0 613 0 0 0 20 0 1 0 225222840 38694912 2535 18446744073709551615 94657562562560 94657562566672 140730839176944 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94657564667136 94657564667908 94657578975232 140730839179767 140730839179862 140730839179862 140730839183329 0
/proc/417998/statm: 9447 2535 1494 2 0 1856 0
Current children cumulated CPU time: 6.13 s
Current children cumulated vsize: 37788 KiB
Current children cumulated memory: 10140 KiB

[startup+6.80027 s]
/proc/loadavg: 0.24 0.05 0.02 4/448 418011
/proc/meminfo: memFree=1712932/3726824 swapFree=8388604/8388604
[pid=417998] ppid=417993 vsize=37788 memory=10140 CPUtime=6.53 cores=1
/proc/417998/stat : 417998 (pigeonPurSampli) R 417993 417998 417967 0 -1 4194304 1370 0 0 0 653 0 0 0 20 0 1 0 225222840 38694912 2535 18446744073709551615 94657562562560 94657562566672 140730839176944 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94657564667136 94657564667908 94657578975232 140730839179767 140730839179862 140730839179862 140730839183329 0
/proc/417998/statm: 9447 2535 1494 2 0 1856 0
Current children cumulated CPU time: 6.53 s
Current children cumulated vsize: 37788 KiB
Current children cumulated memory: 10140 KiB

[startup+6.90027 s]
/proc/loadavg: 0.24 0.05 0.02 4/448 418011
/proc/meminfo: memFree=1712932/3726824 swapFree=8388604/8388604
[pid=417998] ppid=417993 vsize=37788 memory=10140 CPUtime=6.63 cores=1
/proc/417998/stat : 417998 (pigeonPurSampli) R 417993 417998 417967 0 -1 4194304 1370 0 0 0 663 0 0 0 20 0 1 0 225222840 38694912 2535 18446744073709551615 94657562562560 94657562566672 140730839176944 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94657564667136 94657564667908 94657578975232 140730839179767 140730839179862 140730839179862 140730839183329 0
/proc/417998/statm: 9447 2535 1494 2 0 1856 0
Current children cumulated CPU time: 6.63 s
Current children cumulated vsize: 37788 KiB
Current children cumulated memory: 10140 KiB

Child status: 0
Real time (s): 6.94284
CPU time (s): 6.68107
CPU user time (s): 6.67122
CPU system time (s): 0.009857
CPU usage (%): 96.2297
Max. virtual memory (cumulated for all children) (KiB): 37788
Max. memory (cumulated for all children) (KiB): 10140

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.67122
system time used= 0.009857
maximum resident set size= 10160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1372
page faults= 0
swaps= 0
block input operations= 32
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21
involuntary context switches= 134


# summary of solver processes directly reported to runsolver:
#   pid: 417998
#   total CPU time (s): 6.68107
#   total CPU user time (s): 6.67122
#   total CPU system time (s): 0.009857

??? end of timestamper thread
runsolver used 0.121542 second user time and 0.151159 second system time

The end
