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: 63931 MiB (61172 MiB free)
  memory of node 1: 64510 MiB (61940 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436796-1722971385/watcher-4436796-1722971385 -o /tmp/evaluation-result-4436796-1722971385/solver-4436796-1722971385 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1722971171-351310 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+CASHWMaxSATDisjCom HOME/instance-4436796-1722971385.opb 3600 HOME 31000 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=352115, runsolver pid=352112

[startup+0.100894 s]*
/proc/loadavg: 3.94 2.75 2.59 5/267 352119
/proc/meminfo: memFree=126085140/131524600 swapFree=131071996/131071996
[pid=352115] ppid=352112 vsize=9932 memory=2760 CPUtime=0 cores=4,6
/proc/352115/stat : 352115 (Hybrid-LSMabSP+) S 352112 352115 351299 0 -1 4194304 239 100 0 0 0 0 0 0 20 0 1 0 63734139 10170368 690 134679101440 94635335495680 94635336575000 140731441722416 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94635338673456 94635338720644 94635369259008 140731441726414 140731441726573 140731441726573 140731441733588 0
/proc/352115/statm: 2483 690 613 264 0 134 0
[pid=352118] ppid=352115 vsize=8660 memory=1048 CPUtime=0 cores=4,6
/proc/352118/stat : 352118 (timeout) S 352115 352118 351299 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 63734139 8867840 262 134679101440 94784416231424 94784416266440 140730806296080 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94784418363856 94784418365988 94784451354624 140730806297625 140730806297757 140730806297757 140730806304743 0
/proc/352118/statm: 2165 262 238 9 0 87 0
[pid=352119] ppid=352118 vsize=39196 memory=20820 CPUtime=0.09 cores=4,6
/proc/352119/stat : 352119 (CASHWMaxSAT-Dis) R 352118 352118 351299 0 -1 4194304 4525 0 0 0 8 1 0 0 20 0 1 0 63734139 40136704 5205 134679101440 4194304 14093885 140735820547808 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 15976432 16051504 27885568 140735820555295 140735820555414 140735820555414 140735820562400 0
/proc/352119/statm: 9799 5205 750 2417 0 6901 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 57788 KiB
Current children cumulated memory: 24628 KiB

[startup+0.206213 s]*
/proc/loadavg: 3.94 2.75 2.59 5/267 352119
/proc/meminfo: memFree=126067780/131524600 swapFree=131071996/131071996
[pid=352115] ppid=352112 vsize=9932 memory=2760 CPUtime=0 cores=4,6
/proc/352115/stat : 352115 (Hybrid-LSMabSP+) S 352112 352115 351299 0 -1 4194304 239 100 0 0 0 0 0 0 20 0 1 0 63734139 10170368 690 134679101440 94635335495680 94635336575000 140731441722416 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94635338673456 94635338720644 94635369259008 140731441726414 140731441726573 140731441726573 140731441733588 0
/proc/352115/statm: 2483 690 613 264 0 134 0
[pid=352118] ppid=352115 vsize=8660 memory=1048 CPUtime=0 cores=4,6
/proc/352118/stat : 352118 (timeout) S 352115 352118 351299 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 63734139 8867840 262 134679101440 94784416231424 94784416266440 140730806296080 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94784418363856 94784418365988 94784451354624 140730806297625 140730806297757 140730806297757 140730806304743 0
/proc/352118/statm: 2165 262 238 9 0 87 0
[pid=352119] ppid=352118 vsize=57128 memory=38528 CPUtime=0.19 cores=4,6
/proc/352119/stat : 352119 (CASHWMaxSAT-Dis) R 352118 352118 351299 0 -1 4194304 8994 0 0 0 18 1 0 0 20 0 1 0 63734139 58499072 9632 134679101440 4194304 14093885 140735820547808 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 15976432 16051504 27885568 140735820555295 140735820555414 140735820555414 140735820562400 0
/proc/352119/statm: 14282 9632 750 2417 0 11384 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 75720 KiB
Current children cumulated memory: 42336 KiB

[startup+0.306167 s]*
/proc/loadavg: 3.94 2.75 2.59 5/267 352119
/proc/meminfo: memFree=126051148/131524600 swapFree=131071996/131071996
[pid=352115] ppid=352112 vsize=9932 memory=2760 CPUtime=0 cores=4,6
/proc/352115/stat : 352115 (Hybrid-LSMabSP+) S 352112 352115 351299 0 -1 4194304 239 100 0 0 0 0 0 0 20 0 1 0 63734139 10170368 690 134679101440 94635335495680 94635336575000 140731441722416 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94635338673456 94635338720644 94635369259008 140731441726414 140731441726573 140731441726573 140731441733588 0
/proc/352115/statm: 2483 690 613 264 0 134 0
[pid=352118] ppid=352115 vsize=8660 memory=1048 CPUtime=0 cores=4,6
/proc/352118/stat : 352118 (timeout) S 352115 352118 351299 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 63734139 8867840 262 134679101440 94784416231424 94784416266440 140730806296080 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94784418363856 94784418365988 94784451354624 140730806297625 140730806297757 140730806297757 140730806304743 0
/proc/352118/statm: 2165 262 238 9 0 87 0
[pid=352119] ppid=352118 vsize=73144 memory=55016 CPUtime=0.29 cores=4,6
/proc/352119/stat : 352119 (CASHWMaxSAT-Dis) R 352118 352118 351299 0 -1 4194304 13104 0 0 0 27 2 0 0 20 0 1 0 63734139 74899456 13754 134679101440 4194304 14093885 140735820547808 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 15976432 16051504 27885568 140735820555295 140735820555414 140735820555414 140735820562400 0
/proc/352119/statm: 18286 13754 782 2417 0 15388 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 91736 KiB
Current children cumulated memory: 58824 KiB

[startup+0.7003 s]
/proc/loadavg: 3.94 2.75 2.59 5/267 352119
/proc/meminfo: memFree=126047876/131524600 swapFree=131071996/131071996
[pid=352115] ppid=352112 vsize=9932 memory=2760 CPUtime=0 cores=4,6
/proc/352115/stat : 352115 (Hybrid-LSMabSP+) S 352112 352115 351299 0 -1 4194304 239 100 0 0 0 0 0 0 20 0 1 0 63734139 10170368 690 134679101440 94635335495680 94635336575000 140731441722416 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94635338673456 94635338720644 94635369259008 140731441726414 140731441726573 140731441726573 140731441733588 0
/proc/352115/statm: 2483 690 613 264 0 134 0
[pid=352118] ppid=352115 vsize=8660 memory=1048 CPUtime=0 cores=4,6
/proc/352118/stat : 352118 (timeout) S 352115 352118 351299 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 63734139 8867840 262 134679101440 94784416231424 94784416266440 140730806296080 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94784418363856 94784418365988 94784451354624 140730806297625 140730806297757 140730806297757 140730806304743 0
/proc/352118/statm: 2165 262 238 9 0 87 0
[pid=352119] ppid=352118 vsize=71916 memory=57616 CPUtime=0.68 cores=4,6
/proc/352119/stat : 352119 (CASHWMaxSAT-Dis) R 352118 352118 351299 0 -1 4194304 14656 0 0 0 65 3 0 0 20 0 1 0 63734139 73641984 14404 134679101440 4194304 14093885 140735820547808 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 27885568 140735820555295 140735820555414 140735820555414 140735820562400 0
/proc/352119/statm: 17979 14404 798 2417 0 15081 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 90508 KiB
Current children cumulated memory: 61424 KiB

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

# cumulated CPU time of all completed processes:  user=1.2877 s, system=0.045809 s

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

[startup+0.800319 s]
/proc/loadavg: 3.94 2.75 2.59 5/267 352119
/proc/meminfo: memFree=126047876/131524600 swapFree=131071996/131071996
[pid=352115] ppid=352112 vsize=9932 memory=2760 CPUtime=0 cores=4,6
/proc/352115/stat : 352115 (Hybrid-LSMabSP+) S 352112 352115 351299 0 -1 4194304 239 100 0 0 0 0 0 0 20 0 1 0 63734139 10170368 690 134679101440 94635335495680 94635336575000 140731441722416 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94635338673456 94635338720644 94635369259008 140731441726414 140731441726573 140731441726573 140731441733588 0
/proc/352115/statm: 2483 690 613 264 0 134 0
[pid=352118] ppid=352115 vsize=8660 memory=1048 CPUtime=0 cores=4,6
/proc/352118/stat : 352118 (timeout) S 352115 352118 351299 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 63734139 8867840 262 134679101440 94784416231424 94784416266440 140730806296080 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94784418363856 94784418365988 94784451354624 140730806297625 140730806297757 140730806297757 140730806304743 0
/proc/352118/statm: 2165 262 238 9 0 87 0
[pid=352119] ppid=352118 vsize=74596 memory=57616 CPUtime=0.78 cores=4,6
/proc/352119/stat : 352119 (CASHWMaxSAT-Dis) R 352118 352118 351299 0 -1 4194304 14690 0 0 0 75 3 0 0 20 0 1 0 63734139 76386304 14404 134679101440 4194304 14093885 140735820547808 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 27885568 140735820555295 140735820555414 140735820555414 140735820562400 0
/proc/352119/statm: 18649 14404 798 2417 0 15751 0
Current children cumulated CPU time: 0.78 s
Current children cumulated vsize: 93188 KiB
Current children cumulated memory: 61424 KiB

[startup+1.20026 s]
/proc/loadavg: 3.94 2.75 2.59 5/267 352119
/proc/meminfo: memFree=126047496/131524600 swapFree=131071996/131071996
[pid=352115] ppid=352112 vsize=9932 memory=2760 CPUtime=0 cores=4,6
/proc/352115/stat : 352115 (Hybrid-LSMabSP+) S 352112 352115 351299 0 -1 4194304 239 100 0 0 0 0 0 0 20 0 1 0 63734139 10170368 690 134679101440 94635335495680 94635336575000 140731441722416 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94635338673456 94635338720644 94635369259008 140731441726414 140731441726573 140731441726573 140731441733588 0
/proc/352115/statm: 2483 690 613 264 0 134 0
[pid=352118] ppid=352115 vsize=8660 memory=1048 CPUtime=0 cores=4,6
/proc/352118/stat : 352118 (timeout) S 352115 352118 351299 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 63734139 8867840 262 134679101440 94784416231424 94784416266440 140730806296080 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94784418363856 94784418365988 94784451354624 140730806297625 140730806297757 140730806297757 140730806304743 0
/proc/352118/statm: 2165 262 238 9 0 87 0
[pid=352119] ppid=352118 vsize=74596 memory=58408 CPUtime=1.18 cores=4,6
/proc/352119/stat : 352119 (CASHWMaxSAT-Dis) R 352118 352118 351299 0 -1 4194304 14851 0 0 0 115 3 0 0 20 0 1 0 63734139 76386304 14602 134679101440 4194304 14093885 140735820547808 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 27885568 140735820555295 140735820555414 140735820555414 140735820562400 0
/proc/352119/statm: 18649 14602 798 2417 0 15751 0
Current children cumulated CPU time: 1.18 s
Current children cumulated vsize: 93188 KiB
Current children cumulated memory: 62216 KiB

[startup+1.30027 s]
/proc/loadavg: 3.94 2.75 2.59 5/267 352119
/proc/meminfo: memFree=126047496/131524600 swapFree=131071996/131071996
[pid=352115] ppid=352112 vsize=9932 memory=2760 CPUtime=0 cores=4,6
/proc/352115/stat : 352115 (Hybrid-LSMabSP+) S 352112 352115 351299 0 -1 4194304 239 100 0 0 0 0 0 0 20 0 1 0 63734139 10170368 690 134679101440 94635335495680 94635336575000 140731441722416 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94635338673456 94635338720644 94635369259008 140731441726414 140731441726573 140731441726573 140731441733588 0
/proc/352115/statm: 2483 690 613 264 0 134 0
[pid=352118] ppid=352115 vsize=8660 memory=1048 CPUtime=0 cores=4,6
/proc/352118/stat : 352118 (timeout) S 352115 352118 351299 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 63734139 8867840 262 134679101440 94784416231424 94784416266440 140730806296080 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94784418363856 94784418365988 94784451354624 140730806297625 140730806297757 140730806297757 140730806304743 0
/proc/352118/statm: 2165 262 238 9 0 87 0
[pid=352119] ppid=352118 vsize=74596 memory=58408 CPUtime=1.28 cores=4,6
/proc/352119/stat : 352119 (CASHWMaxSAT-Dis) R 352118 352118 351299 0 -1 4194304 14880 0 0 0 125 3 0 0 20 0 1 0 63734139 76386304 14602 134679101440 4194304 14093885 140735820547808 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 27885568 140735820555295 140735820555414 140735820555414 140735820562400 0
/proc/352119/statm: 18649 14602 798 2417 0 15751 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 93188 KiB
Current children cumulated memory: 62216 KiB

Child status: 0

Real time (s): 1.35836
CPU time (s): 1.33351
CPU user time (s): 1.2877
CPU system time (s): 0.045809
CPU usage (%): 98.171
Max. virtual memory (cumulated for all children) (KiB): 93188
Max. memory (cumulated for all children) (KiB): 62216

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.2877
system time used= 0.045809
maximum resident set size= 61616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16407
page faults= 0
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 30
involuntary context switches= 5


# summary of solver processes directly reported to runsolver:
#   pid: 352115
#   total CPU time (s): 1.33351
#   total CPU user time (s): 1.2877
#   total CPU system time (s): 0.045809

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.013718 second user time and 0.038006 second system time

The end