runsolver version 3.4.2 (svn: 4680) 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: 2
  memory of node 0: 64059 MiB (63120 MiB free)
  memory of node 1: 64510 MiB (60463 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459521-1722995611/watcher-4459521-1722995611 -o /tmp/evaluation-result-4459521-1722995611/solver-4459521-1722995611 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1722995611-352200 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjCadSP+Exact HOME/instance-4459521-1722995611.opb 3600 HOME 31000 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=352260, runsolver pid=352247

[startup+0.10106 s]*
/proc/loadavg: 0.94 1.50 2.68 8/251 352276
/proc/meminfo: memFree=126526684/131655788 swapFree=131071996/131071996
[pid=352260] ppid=352247 vsize=9932 memory=2736 CPUtime=0 cores=0,2
/proc/352260/stat : 352260 (Hybrid-CASHWMax) S 352247 352260 352190 0 -1 4194304 243 105 0 0 0 0 0 0 20 0 1 0 66158001 10170368 684 134679101440 94149769629696 94149770709016 140727125117824 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94149772807472 94149772854660 94149802655744 140727125124050 140727125124209 140727125124209 140727125131220 0
/proc/352260/statm: 2483 684 605 264 0 134 0
[pid=352271] ppid=352260 vsize=8660 memory=1044 CPUtime=0 cores=0,2
/proc/352271/stat : 352271 (timeout) S 352260 352271 352190 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 66158002 8867840 261 134679101440 94112845877248 94112845912264 140723359863072 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94112848009680 94112848011812 94112873795584 140723359872002 140723359872161 140723359872161 140723359879143 0
/proc/352271/statm: 2165 261 236 9 0 87 0
[pid=352276] ppid=352271 vsize=22376 memory=7500 CPUtime=0.1 cores=0,2
/proc/352276/stat : 352276 (CASHWMaxSAT-Dis) R 352271 352271 352190 0 -1 4194304 1325 0 0 0 10 0 0 0 20 0 1 0 66158002 22913024 1875 134679101440 4194304 15356333 140736517724448 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 23633920 140736517727239 140736517727385 140736517727385 140736517734367 0
/proc/352276/statm: 5594 1875 954 2726 0 2342 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40968 KiB
Current children cumulated memory: 11280 KiB

[startup+0.215156 s]*
/proc/loadavg: 0.94 1.50 2.68 5/251 352276
/proc/meminfo: memFree=126487952/131655788 swapFree=131071996/131071996
[pid=352260] ppid=352247 vsize=9932 memory=2736 CPUtime=0 cores=0,2
/proc/352260/stat : 352260 (Hybrid-CASHWMax) S 352247 352260 352190 0 -1 4194304 243 105 0 0 0 0 0 0 20 0 1 0 66158001 10170368 684 134679101440 94149769629696 94149770709016 140727125117824 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94149772807472 94149772854660 94149802655744 140727125124050 140727125124209 140727125124209 140727125131220 0
/proc/352260/statm: 2483 684 605 264 0 134 0
[pid=352271] ppid=352260 vsize=8660 memory=1044 CPUtime=0 cores=0,2
/proc/352271/stat : 352271 (timeout) S 352260 352271 352190 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 66158002 8867840 261 134679101440 94112845877248 94112845912264 140723359863072 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94112848009680 94112848011812 94112873795584 140723359872002 140723359872161 140723359872161 140723359879143 0
/proc/352271/statm: 2165 261 236 9 0 87 0
[pid=352276] ppid=352271 vsize=24824 memory=10580 CPUtime=0.21 cores=0,2
/proc/352276/stat : 352276 (CASHWMaxSAT-Dis) R 352271 352271 352190 0 -1 4194304 2122 0 0 0 21 0 0 0 20 0 1 0 66158002 25419776 2645 134679101440 4194304 15356333 140736517724448 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 23633920 140736517727239 140736517727385 140736517727385 140736517734367 0
/proc/352276/statm: 6206 2645 1034 2726 0 2954 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 43416 KiB
Current children cumulated memory: 14360 KiB

[startup+0.314952 s]*
/proc/loadavg: 0.94 1.50 2.68 6/251 352276
/proc/meminfo: memFree=126461256/131655788 swapFree=131071996/131071996
[pid=352260] ppid=352247 vsize=9932 memory=2736 CPUtime=0 cores=0,2
/proc/352260/stat : 352260 (Hybrid-CASHWMax) S 352247 352260 352190 0 -1 4194304 243 105 0 0 0 0 0 0 20 0 1 0 66158001 10170368 684 134679101440 94149769629696 94149770709016 140727125117824 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94149772807472 94149772854660 94149802655744 140727125124050 140727125124209 140727125124209 140727125131220 0
/proc/352260/statm: 2483 684 605 264 0 134 0
[pid=352271] ppid=352260 vsize=8660 memory=1044 CPUtime=0 cores=0,2
/proc/352271/stat : 352271 (timeout) S 352260 352271 352190 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 66158002 8867840 261 134679101440 94112845877248 94112845912264 140723359863072 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94112848009680 94112848011812 94112873795584 140723359872002 140723359872161 140723359872161 140723359879143 0
/proc/352271/statm: 2165 261 236 9 0 87 0
[pid=352276] ppid=352271 vsize=32596 memory=17360 CPUtime=0.31 cores=0,2
/proc/352276/stat : 352276 (CASHWMaxSAT-Dis) R 352271 352271 352190 0 -1 4194304 4176 0 0 0 30 1 0 0 20 0 1 0 66158002 33378304 4340 134679101440 4194304 15356333 140736517724448 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 23633920 140736517727239 140736517727385 140736517727385 140736517734367 0
/proc/352276/statm: 8149 4340 1066 2726 0 4897 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 51188 KiB
Current children cumulated memory: 21140 KiB

[startup+0.700455 s]
/proc/loadavg: 0.94 1.50 2.68 8/251 352276
/proc/meminfo: memFree=126445444/131655788 swapFree=131071996/131071996
[pid=352260] ppid=352247 vsize=9932 memory=2736 CPUtime=0 cores=0,2
/proc/352260/stat : 352260 (Hybrid-CASHWMax) S 352247 352260 352190 0 -1 4194304 243 105 0 0 0 0 0 0 20 0 1 0 66158001 10170368 684 134679101440 94149769629696 94149770709016 140727125117824 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94149772807472 94149772854660 94149802655744 140727125124050 140727125124209 140727125124209 140727125131220 0
/proc/352260/statm: 2483 684 605 264 0 134 0
[pid=352271] ppid=352260 vsize=8660 memory=1044 CPUtime=0 cores=0,2
/proc/352271/stat : 352271 (timeout) S 352260 352271 352190 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 66158002 8867840 261 134679101440 94112845877248 94112845912264 140723359863072 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94112848009680 94112848011812 94112873795584 140723359872002 140723359872161 140723359872161 140723359879143 0
/proc/352271/statm: 2165 261 236 9 0 87 0
[pid=352276] ppid=352271 vsize=34784 memory=19892 CPUtime=0.67 cores=0,2
/proc/352276/stat : 352276 (CASHWMaxSAT-Dis) R 352271 352271 352190 0 -1 4194304 5977 0 0 0 66 1 0 0 20 0 1 0 66158002 35618816 4973 134679101440 4194304 15356333 140736517724448 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 23633920 140736517727239 140736517727385 140736517727385 140736517734367 0
/proc/352276/statm: 8696 4973 1146 2726 0 5444 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 53376 KiB
Current children cumulated memory: 23672 KiB

[startup+1.36769 s]
# the end of solver process 352260 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=1.31074 s, system=0.045676 s

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

[startup+0.800479 s]
/proc/loadavg: 0.94 1.50 2.68 8/251 352276
/proc/meminfo: memFree=126445444/131655788 swapFree=131071996/131071996
[pid=352260] ppid=352247 vsize=9932 memory=2736 CPUtime=0 cores=0,2
/proc/352260/stat : 352260 (Hybrid-CASHWMax) S 352247 352260 352190 0 -1 4194304 243 105 0 0 0 0 0 0 20 0 1 0 66158001 10170368 684 134679101440 94149769629696 94149770709016 140727125117824 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94149772807472 94149772854660 94149802655744 140727125124050 140727125124209 140727125124209 140727125131220 0
/proc/352260/statm: 2483 684 605 264 0 134 0
[pid=352271] ppid=352260 vsize=8660 memory=1044 CPUtime=0 cores=0,2
/proc/352271/stat : 352271 (timeout) S 352260 352271 352190 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 66158002 8867840 261 134679101440 94112845877248 94112845912264 140723359863072 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94112848009680 94112848011812 94112873795584 140723359872002 140723359872161 140723359872161 140723359879143 0
/proc/352271/statm: 2165 261 236 9 0 87 0
[pid=352276] ppid=352271 vsize=36224 memory=20944 CPUtime=0.77 cores=0,2
/proc/352276/stat : 352276 (CASHWMaxSAT-Dis) R 352271 352271 352190 0 -1 4194304 6278 0 0 0 76 1 0 0 20 0 1 0 66158002 37093376 5236 134679101440 4194304 15356333 140736517724448 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 23633920 140736517727239 140736517727385 140736517727385 140736517734367 0
/proc/352276/statm: 9056 5236 1146 2726 0 5804 0
Current children cumulated CPU time: 0.77 s
Current children cumulated vsize: 54816 KiB
Current children cumulated memory: 24724 KiB

[startup+1.20045 s]
/proc/loadavg: 0.94 1.50 2.68 8/251 352276
/proc/meminfo: memFree=126282104/131655788 swapFree=131071996/131071996
[pid=352260] ppid=352247 vsize=9932 memory=2736 CPUtime=0 cores=0,2
/proc/352260/stat : 352260 (Hybrid-CASHWMax) S 352247 352260 352190 0 -1 4194304 243 105 0 0 0 0 0 0 20 0 1 0 66158001 10170368 684 134679101440 94149769629696 94149770709016 140727125117824 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94149772807472 94149772854660 94149802655744 140727125124050 140727125124209 140727125124209 140727125131220 0
/proc/352260/statm: 2483 684 605 264 0 134 0
[pid=352271] ppid=352260 vsize=8660 memory=1044 CPUtime=0 cores=0,2
/proc/352271/stat : 352271 (timeout) S 352260 352271 352190 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 66158002 8867840 261 134679101440 94112845877248 94112845912264 140723359863072 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94112848009680 94112848011812 94112873795584 140723359872002 140723359872161 140723359872161 140723359879143 0
/proc/352271/statm: 2165 261 236 9 0 87 0
[pid=352276] ppid=352271 vsize=36140 memory=21108 CPUtime=1.17 cores=0,2
/proc/352276/stat : 352276 (CASHWMaxSAT-Dis) R 352271 352271 352190 0 -1 4194304 6679 0 0 0 116 1 0 0 20 0 1 0 66158002 37007360 5277 134679101440 4194304 15356333 140736517724448 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 23633920 140736517727239 140736517727385 140736517727385 140736517734367 0
/proc/352276/statm: 9035 5277 1146 2726 0 5783 0
Current children cumulated CPU time: 1.17 s
Current children cumulated vsize: 54732 KiB
Current children cumulated memory: 24888 KiB

[startup+1.30039 s]
/proc/loadavg: 0.94 1.50 2.68 8/251 352276
/proc/meminfo: memFree=126282104/131655788 swapFree=131071996/131071996
[pid=352260] ppid=352247 vsize=9932 memory=2736 CPUtime=0 cores=0,2
/proc/352260/stat : 352260 (Hybrid-CASHWMax) S 352247 352260 352190 0 -1 4194304 243 105 0 0 0 0 0 0 20 0 1 0 66158001 10170368 684 134679101440 94149769629696 94149770709016 140727125117824 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94149772807472 94149772854660 94149802655744 140727125124050 140727125124209 140727125124209 140727125131220 0
/proc/352260/statm: 2483 684 605 264 0 134 0
[pid=352271] ppid=352260 vsize=8660 memory=1044 CPUtime=0 cores=0,2
/proc/352271/stat : 352271 (timeout) S 352260 352271 352190 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 66158002 8867840 261 134679101440 94112845877248 94112845912264 140723359863072 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94112848009680 94112848011812 94112873795584 140723359872002 140723359872161 140723359872161 140723359879143 0
/proc/352271/statm: 2165 261 236 9 0 87 0
[pid=352276] ppid=352271 vsize=53560 memory=44196 CPUtime=1.26 cores=0,2
/proc/352276/stat : 352276 (CASHWMaxSAT-Dis) R 352271 352271 352190 0 -1 4194304 11114 0 0 0 124 2 0 0 20 0 1 0 66158002 54845440 11049 134679101440 4194304 15356333 140736517724448 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 23633920 140736517727239 140736517727385 140736517727385 140736517734367 0
/proc/352276/statm: 13390 11049 2586 2726 0 10138 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 72152 KiB
Current children cumulated memory: 47976 KiB

Child status: 0

Real time (s): 1.36776
CPU time (s): 1.35641
CPU user time (s): 1.31074
CPU system time (s): 0.045676
CPU usage (%): 99.1701
Max. virtual memory (cumulated for all children) (KiB): 72152
Max. memory (cumulated for all children) (KiB): 47976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.31074
system time used= 0.045676
maximum resident set size= 54264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14234
page faults= 0
swaps= 0
block input operations= 0
block output operations= 24
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 11


# summary of solver processes directly reported to runsolver:
#   pid: 352260
#   total CPU time (s): 1.35641
#   total CPU user time (s): 1.31074
#   total CPU system time (s): 0.045676

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.055458 second user time and 0.068602 second system time

The end