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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459560-1722995613/watcher-4459560-1722995613 -o /tmp/evaluation-result-4459560-1722995613/solver-4459560-1722995613 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1722995611-352200 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjCadSP+Exact HOME/instance-4459560-1722995613.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
solver pid=352323, runsolver pid=352320
Current StackSize limit: 8192 KiB


[startup+0.100096 s]*
/proc/loadavg: 1.18 1.54 2.68 5/251 352327
/proc/meminfo: memFree=125805400/131655788 swapFree=131071996/131071996
[pid=352323] ppid=352320 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/352323/stat : 352323 (Hybrid-CASHWMax) S 352320 352323 352190 0 -1 4194304 245 101 0 0 0 0 0 0 20 0 1 0 66158224 10170368 664 134679101440 94883599085568 94883600164888 140736879079632 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94883602263344 94883602310532 94883622440960 140736879084498 140736879084657 140736879084657 140736879091668 0
/proc/352323/statm: 2483 664 584 264 0 134 0
[pid=352326] ppid=352323 vsize=8660 memory=944 CPUtime=0 cores=0,2
/proc/352326/stat : 352326 (timeout) S 352323 352326 352190 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 66158225 8867840 236 134679101440 94723725574144 94723725609160 140725432692048 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94723727706576 94723727708708 94723732729856 140725432693762 140725432693921 140725432693921 140725432700903 0
/proc/352326/statm: 2165 236 212 9 0 87 0
[pid=352327] ppid=352326 vsize=23972 memory=9544 CPUtime=0.09 cores=0,2
/proc/352327/stat : 352327 (CASHWMaxSAT-Dis) R 352326 352326 352190 0 -1 4194304 1605 0 0 0 9 0 0 0 20 0 1 0 66158225 24547328 2386 134679101440 4194304 15356333 140737320997744 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 24043520 140737321001991 140737321002137 140737321002137 140737321009119 0
/proc/352327/statm: 5993 2386 1066 2726 0 2741 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 42564 KiB
Current children cumulated memory: 13144 KiB

[startup+0.213795 s]*
/proc/loadavg: 1.18 1.54 2.68 5/251 352327
/proc/meminfo: memFree=125831352/131655788 swapFree=131071996/131071996
[pid=352323] ppid=352320 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/352323/stat : 352323 (Hybrid-CASHWMax) S 352320 352323 352190 0 -1 4194304 245 101 0 0 0 0 0 0 20 0 1 0 66158224 10170368 664 134679101440 94883599085568 94883600164888 140736879079632 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94883602263344 94883602310532 94883622440960 140736879084498 140736879084657 140736879084657 140736879091668 0
/proc/352323/statm: 2483 664 584 264 0 134 0
[pid=352326] ppid=352323 vsize=8660 memory=944 CPUtime=0 cores=0,2
/proc/352326/stat : 352326 (timeout) S 352323 352326 352190 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 66158225 8867840 236 134679101440 94723725574144 94723725609160 140725432692048 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94723727706576 94723727708708 94723732729856 140725432693762 140725432693921 140725432693921 140725432700903 0
/proc/352326/statm: 2165 236 212 9 0 87 0
[pid=352327] ppid=352326 vsize=37580 memory=27812 CPUtime=0.2 cores=0,2
/proc/352327/stat : 352327 (CASHWMaxSAT-Dis) R 352326 352326 352190 0 -1 4194304 5448 0 0 0 19 1 0 0 20 0 1 0 66158225 38481920 6953 134679101440 4194304 15356333 140737320997744 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 24043520 140737321001991 140737321002137 140737321002137 140737321009119 0
/proc/352327/statm: 9395 6953 2362 2726 0 6143 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 56172 KiB
Current children cumulated memory: 31412 KiB

[startup+0.313644 s]*
/proc/loadavg: 1.18 1.54 2.68 5/251 352327
/proc/meminfo: memFree=125772016/131655788 swapFree=131071996/131071996
[pid=352323] ppid=352320 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/352323/stat : 352323 (Hybrid-CASHWMax) S 352320 352323 352190 0 -1 4194304 245 101 0 0 0 0 0 0 20 0 1 0 66158224 10170368 664 134679101440 94883599085568 94883600164888 140736879079632 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94883602263344 94883602310532 94883622440960 140736879084498 140736879084657 140736879084657 140736879091668 0
/proc/352323/statm: 2483 664 584 264 0 134 0
[pid=352326] ppid=352323 vsize=8660 memory=944 CPUtime=0 cores=0,2
/proc/352326/stat : 352326 (timeout) S 352323 352326 352190 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 66158225 8867840 236 134679101440 94723725574144 94723725609160 140725432692048 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94723727706576 94723727708708 94723732729856 140725432693762 140725432693921 140725432693921 140725432700903 0
/proc/352326/statm: 2165 236 212 9 0 87 0
[pid=352327] ppid=352326 vsize=68828 memory=58436 CPUtime=0.3 cores=0,2
/proc/352327/stat : 352327 (CASHWMaxSAT-Dis) R 352326 352326 352190 0 -1 4194304 13138 0 0 0 27 3 0 0 20 0 1 0 66158225 70479872 14609 134679101440 4194304 15356333 140737320997744 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 24043520 140737321001991 140737321002137 140737321002137 140737321009119 0
/proc/352327/statm: 17207 14609 2362 2726 0 13955 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 87420 KiB
Current children cumulated memory: 62036 KiB

[startup+0.700501 s]
/proc/loadavg: 1.18 1.54 2.68 5/251 352327
/proc/meminfo: memFree=125669140/131655788 swapFree=131071996/131071996
[pid=352323] ppid=352320 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/352323/stat : 352323 (Hybrid-CASHWMax) S 352320 352323 352190 0 -1 4194304 245 101 0 0 0 0 0 0 20 0 1 0 66158224 10170368 664 134679101440 94883599085568 94883600164888 140736879079632 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94883602263344 94883602310532 94883622440960 140736879084498 140736879084657 140736879084657 140736879091668 0
/proc/352323/statm: 2483 664 584 264 0 134 0
[pid=352326] ppid=352323 vsize=8660 memory=944 CPUtime=0 cores=0,2
/proc/352326/stat : 352326 (timeout) S 352323 352326 352190 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 66158225 8867840 236 134679101440 94723725574144 94723725609160 140725432692048 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94723727706576 94723727708708 94723732729856 140725432693762 140725432693921 140725432693921 140725432700903 0
/proc/352326/statm: 2165 236 212 9 0 87 0
[pid=352327] ppid=352326 vsize=123888 memory=112724 CPUtime=0.67 cores=0,2
/proc/352327/stat : 352327 (CASHWMaxSAT-Dis) R 352326 352326 352190 0 -1 4194304 26412 0 0 0 61 6 0 0 20 0 1 0 66158225 126861312 28181 134679101440 4194304 15356333 140737320997744 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 24043520 140737321001991 140737321002137 140737321002137 140737321009119 0
/proc/352327/statm: 30972 28181 2618 2726 0 27720 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 142480 KiB
Current children cumulated memory: 116324 KiB

[startup+1.50049 s]
/proc/loadavg: 1.18 1.54 2.68 5/251 352327
/proc/meminfo: memFree=125472876/131655788 swapFree=131071996/131071996
[pid=352323] ppid=352320 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/352323/stat : 352323 (Hybrid-CASHWMax) S 352320 352323 352190 0 -1 4194304 245 101 0 0 0 0 0 0 20 0 1 0 66158224 10170368 664 134679101440 94883599085568 94883600164888 140736879079632 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94883602263344 94883602310532 94883622440960 140736879084498 140736879084657 140736879084657 140736879091668 0
/proc/352323/statm: 2483 664 584 264 0 134 0
[pid=352326] ppid=352323 vsize=8660 memory=944 CPUtime=0 cores=0,2
/proc/352326/stat : 352326 (timeout) S 352323 352326 352190 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 66158225 8867840 236 134679101440 94723725574144 94723725609160 140725432692048 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94723727706576 94723727708708 94723732729856 140725432693762 140725432693921 140725432693921 140725432700903 0
/proc/352326/statm: 2165 236 212 9 0 87 0
[pid=352327] ppid=352326 vsize=163048 memory=151364 CPUtime=1.48 cores=0,2
/proc/352327/stat : 352327 (CASHWMaxSAT-Dis) R 352326 352326 352190 0 -1 4194304 36065 0 0 0 139 9 0 0 20 0 1 0 66158225 166961152 37841 134679101440 4194304 15356333 140737320997744 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 24043520 140737321001991 140737321002137 140737321002137 140737321009119 0
/proc/352327/statm: 40762 37841 2650 2726 0 37510 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 181640 KiB
Current children cumulated memory: 154964 KiB

[startup+3.11341 s]
/proc/loadavg: 1.18 1.54 2.68 5/251 352380
/proc/meminfo: memFree=125914136/131655788 swapFree=131071996/131071996
[pid=352323] ppid=352320 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/352323/stat : 352323 (Hybrid-CASHWMax) S 352320 352323 352190 0 -1 4194304 245 101 0 0 0 0 0 0 20 0 1 0 66158224 10170368 664 134679101440 94883599085568 94883600164888 140736879079632 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94883602263344 94883602310532 94883622440960 140736879084498 140736879084657 140736879084657 140736879091668 0
/proc/352323/statm: 2483 664 584 264 0 134 0
[pid=352326] ppid=352323 vsize=8660 memory=944 CPUtime=0 cores=0,2
/proc/352326/stat : 352326 (timeout) S 352323 352326 352190 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 66158225 8867840 236 134679101440 94723725574144 94723725609160 140725432692048 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94723727706576 94723727708708 94723732729856 140725432693762 140725432693921 140725432693921 140725432700903 0
/proc/352326/statm: 2165 236 212 9 0 87 0
[pid=352327] ppid=352326 vsize=172356 memory=160076 CPUtime=3.08 cores=0,2
/proc/352327/stat : 352327 (CASHWMaxSAT-Dis) R 352326 352326 352190 0 -1 4194304 38262 0 0 0 299 9 0 0 20 0 1 0 66158225 176492544 40019 134679101440 4194304 15356333 140737320997744 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 24043520 140737321001991 140737321002137 140737321002137 140737321009119 0
/proc/352327/statm: 43089 40019 2650 2726 0 39837 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 190948 KiB
Current children cumulated memory: 163676 KiB

[startup+6.30047 s]
/proc/loadavg: 1.41 1.58 2.69 5/251 352380
/proc/meminfo: memFree=125881184/131655788 swapFree=131071996/131071996
[pid=352323] ppid=352320 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/352323/stat : 352323 (Hybrid-CASHWMax) S 352320 352323 352190 0 -1 4194304 245 101 0 0 0 0 0 0 20 0 1 0 66158224 10170368 664 134679101440 94883599085568 94883600164888 140736879079632 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94883602263344 94883602310532 94883622440960 140736879084498 140736879084657 140736879084657 140736879091668 0
/proc/352323/statm: 2483 664 584 264 0 134 0
[pid=352326] ppid=352323 vsize=8660 memory=944 CPUtime=0 cores=0,2
/proc/352326/stat : 352326 (timeout) S 352323 352326 352190 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 66158225 8867840 236 134679101440 94723725574144 94723725609160 140725432692048 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94723727706576 94723727708708 94723732729856 140725432693762 140725432693921 140725432693921 140725432700903 0
/proc/352326/statm: 2165 236 212 9 0 87 0
[pid=352327] ppid=352326 vsize=184900 memory=172480 CPUtime=6.26 cores=0,2
/proc/352327/stat : 352327 (CASHWMaxSAT-Dis) R 352326 352326 352190 0 -1 4194304 41371 0 0 0 616 10 0 0 20 0 1 0 66158225 189337600 43120 134679101440 4194304 15356333 140737320997744 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 24043520 140737321001991 140737321002137 140737321002137 140737321009119 0
/proc/352327/statm: 46225 43120 2650 2726 0 42973 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 203492 KiB
Current children cumulated memory: 176080 KiB

[startup+12.7005 s]
/proc/loadavg: 1.70 1.64 2.70 5/251 352380
/proc/meminfo: memFree=125843172/131655788 swapFree=131071996/131071996
[pid=352323] ppid=352320 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/352323/stat : 352323 (Hybrid-CASHWMax) S 352320 352323 352190 0 -1 4194304 245 101 0 0 0 0 0 0 20 0 1 0 66158224 10170368 664 134679101440 94883599085568 94883600164888 140736879079632 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94883602263344 94883602310532 94883622440960 140736879084498 140736879084657 140736879084657 140736879091668 0
/proc/352323/statm: 2483 664 584 264 0 134 0
[pid=352326] ppid=352323 vsize=8660 memory=944 CPUtime=0 cores=0,2
/proc/352326/stat : 352326 (timeout) S 352323 352326 352190 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 66158225 8867840 236 134679101440 94723725574144 94723725609160 140725432692048 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94723727706576 94723727708708 94723732729856 140725432693762 140725432693921 140725432693921 140725432700903 0
/proc/352326/statm: 2165 236 212 9 0 87 0
[pid=352327] ppid=352326 vsize=197256 memory=185016 CPUtime=12.64 cores=0,2
/proc/352327/stat : 352327 (CASHWMaxSAT-Dis) R 352326 352326 352190 0 -1 4194304 44503 0 0 0 1253 11 0 0 20 0 1 0 66158225 201990144 46254 134679101440 4194304 15356333 140737320997744 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 24043520 140737321001991 140737321002137 140737321002137 140737321009119 0
/proc/352327/statm: 49314 46254 2650 2726 0 46062 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 215848 KiB
Current children cumulated memory: 188616 KiB

[startup+25.5005 s]
/proc/loadavg: 2.05 1.72 2.72 5/251 352383
/proc/meminfo: memFree=125575856/131655788 swapFree=131071996/131071996
[pid=352323] ppid=352320 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/352323/stat : 352323 (Hybrid-CASHWMax) S 352320 352323 352190 0 -1 4194304 245 101 0 0 0 0 0 0 20 0 1 0 66158224 10170368 664 134679101440 94883599085568 94883600164888 140736879079632 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94883602263344 94883602310532 94883622440960 140736879084498 140736879084657 140736879084657 140736879091668 0
/proc/352323/statm: 2483 664 584 264 0 134 0
[pid=352326] ppid=352323 vsize=8660 memory=944 CPUtime=0 cores=0,2
/proc/352326/stat : 352326 (timeout) S 352323 352326 352190 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 66158225 8867840 236 134679101440 94723725574144 94723725609160 140725432692048 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94723727706576 94723727708708 94723732729856 140725432693762 140725432693921 140725432693921 140725432700903 0
/proc/352326/statm: 2165 236 212 9 0 87 0
[pid=352327] ppid=352326 vsize=206432 memory=193988 CPUtime=25.39 cores=0,2
/proc/352327/stat : 352327 (CASHWMaxSAT-Dis) R 352326 352326 352190 0 -1 4194304 46800 0 0 0 2526 13 0 0 20 0 1 0 66158225 211386368 48497 134679101440 4194304 15356333 140737320997744 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 24043520 140737321001991 140737321002137 140737321002137 140737321009119 0
/proc/352327/statm: 51608 48497 2650 2726 0 48356 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 225024 KiB
Current children cumulated memory: 197588 KiB

[startup+51.1134 s]
/proc/loadavg: 2.89 1.95 2.77 5/251 352386
/proc/meminfo: memFree=125261608/131655788 swapFree=131071996/131071996
[pid=352323] ppid=352320 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/352323/stat : 352323 (Hybrid-CASHWMax) S 352320 352323 352190 0 -1 4194304 245 101 0 0 0 0 0 0 20 0 1 0 66158224 10170368 664 134679101440 94883599085568 94883600164888 140736879079632 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94883602263344 94883602310532 94883622440960 140736879084498 140736879084657 140736879084657 140736879091668 0
/proc/352323/statm: 2483 664 584 264 0 134 0
[pid=352326] ppid=352323 vsize=8660 memory=944 CPUtime=0 cores=0,2
/proc/352326/stat : 352326 (timeout) S 352323 352326 352190 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 66158225 8867840 236 134679101440 94723725574144 94723725609160 140725432692048 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94723727706576 94723727708708 94723732729856 140725432693762 140725432693921 140725432693921 140725432700903 0
/proc/352326/statm: 2165 236 212 9 0 87 0
[pid=352327] ppid=352326 vsize=416388 memory=347360 CPUtime=50.91 cores=0,2
/proc/352327/stat : 352327 (CASHWMaxSAT-Dis) R 352326 352326 352190 0 -1 4194304 85491 0 0 0 5071 20 0 0 20 0 1 0 66158225 426381312 86840 134679101440 4194304 15356333 140737320997744 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 24043520 140737321001991 140737321002137 140737321002137 140737321009119 0
/proc/352327/statm: 104097 86840 2762 2726 0 100845 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 434980 KiB
Current children cumulated memory: 350960 KiB

[startup+102.301 s]
/proc/loadavg: 3.59 2.29 2.84 5/253 352778
/proc/meminfo: memFree=125169292/131655788 swapFree=131071996/131071996
[pid=352323] ppid=352320 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/352323/stat : 352323 (Hybrid-CASHWMax) S 352320 352323 352190 0 -1 4194304 245 101 0 0 0 0 0 0 20 0 1 0 66158224 10170368 664 134679101440 94883599085568 94883600164888 140736879079632 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94883602263344 94883602310532 94883622440960 140736879084498 140736879084657 140736879084657 140736879091668 0

################
# More data... #
################

/proc/353276/statm: 38510 36328 804 745 0 37575 0
Current children cumulated CPU time: 3390.08 s
Current children cumulated vsize: 172632 KiB
Current children cumulated memory: 149044 KiB

[startup+3462.3 s]
/proc/loadavg: 4.21 4.16 4.09 5/249 354248
/proc/meminfo: memFree=107742428/131655788 swapFree=131071996/131071996
[pid=352323] ppid=352320 vsize=9932 memory=2708 CPUtime=1791.39 cores=0,2
/proc/352323/stat : 352323 (Hybrid-CASHWMax) S 352320 352323 352190 0 -1 4194304 276 247987 0 0 0 0 179080 59 20 0 1 0 66158224 10170368 677 134679101440 94883599085568 94883600164888 140736879079632 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94883602263344 94883602310532 94883622440960 140736879084498 140736879084657 140736879084657 140736879091668 0
/proc/352323/statm: 2483 677 584 264 0 134 0
[pid=353275] ppid=352323 vsize=8660 memory=1024 CPUtime=0 cores=0,2
/proc/353275/stat : 353275 (timeout) S 352323 353275 352190 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 66338026 8867840 256 134679101440 94687413170176 94687413205192 140734462779680 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94687415302608 94687415304740 94687418118144 140734462788600 140734462788769 140734462788769 140734462795751 0
/proc/353275/statm: 2165 256 231 9 0 87 0
[pid=353276] ppid=353275 vsize=154040 memory=149260 CPUtime=1658.48 cores=0,2
/proc/353276/stat : 353276 (Exact) R 353275 353275 352190 0 -1 4194304 23692 0 0 0 165840 8 0 0 20 0 1 0 66338026 157736960 37315 134679101440 4194304 7243121 140720693651728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 30773248 140720693658644 140720693658794 140720693658794 140720693665776 0
/proc/353276/statm: 38510 37315 804 745 0 37575 0
Current children cumulated CPU time: 3449.87 s
Current children cumulated vsize: 172632 KiB
Current children cumulated memory: 152992 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.14 4.09 5/249 354258
/proc/meminfo: memFree=107158872/131655788 swapFree=131071996/131071996
[pid=352323] ppid=352320 vsize=9932 memory=2708 CPUtime=1791.39 cores=0,2
/proc/352323/stat : 352323 (Hybrid-CASHWMax) S 352320 352323 352190 0 -1 4194304 276 247987 0 0 0 0 179080 59 20 0 1 0 66158224 10170368 677 134679101440 94883599085568 94883600164888 140736879079632 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94883602263344 94883602310532 94883622440960 140736879084498 140736879084657 140736879084657 140736879091668 0
/proc/352323/statm: 2483 677 584 264 0 134 0
[pid=353275] ppid=352323 vsize=8660 memory=1024 CPUtime=0 cores=0,2
/proc/353275/stat : 353275 (timeout) S 352323 353275 352190 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 66338026 8867840 256 134679101440 94687413170176 94687413205192 140734462779680 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94687415302608 94687415304740 94687418118144 140734462788600 140734462788769 140734462788769 140734462795751 0
/proc/353275/statm: 2165 256 231 9 0 87 0
[pid=353276] ppid=353275 vsize=155640 memory=150240 CPUtime=1718.27 cores=0,2
/proc/353276/stat : 353276 (Exact) R 353275 353275 352190 0 -1 4194304 24059 0 0 0 171819 8 0 0 20 0 1 0 66338026 159375360 37560 134679101440 4194304 7243121 140720693651728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 30773248 140720693658644 140720693658794 140720693658794 140720693665776 0
/proc/353276/statm: 38910 37560 804 745 0 37975 0
Current children cumulated CPU time: 3509.66 s
Current children cumulated vsize: 174232 KiB
Current children cumulated memory: 153972 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.14 4.09 5/249 354269
/proc/meminfo: memFree=106297792/131655788 swapFree=131071996/131071996
[pid=352323] ppid=352320 vsize=9932 memory=2708 CPUtime=1791.39 cores=0,2
/proc/352323/stat : 352323 (Hybrid-CASHWMax) S 352320 352323 352190 0 -1 4194304 276 247987 0 0 0 0 179080 59 20 0 1 0 66158224 10170368 677 134679101440 94883599085568 94883600164888 140736879079632 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94883602263344 94883602310532 94883622440960 140736879084498 140736879084657 140736879084657 140736879091668 0
/proc/352323/statm: 2483 677 584 264 0 134 0
[pid=353275] ppid=352323 vsize=8660 memory=1024 CPUtime=0 cores=0,2
/proc/353275/stat : 353275 (timeout) S 352323 353275 352190 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 66338026 8867840 256 134679101440 94687413170176 94687413205192 140734462779680 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94687415302608 94687415304740 94687418118144 140734462788600 140734462788769 140734462788769 140734462795751 0
/proc/353275/statm: 2165 256 231 9 0 87 0
[pid=353276] ppid=353275 vsize=156344 memory=151224 CPUtime=1778.07 cores=0,2
/proc/353276/stat : 353276 (Exact) R 353275 353275 352190 0 -1 4194304 24295 0 0 0 177799 8 0 0 20 0 1 0 66338026 160096256 37806 134679101440 4194304 7243121 140720693651728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 30773248 140720693658644 140720693658794 140720693658794 140720693665776 0
/proc/353276/statm: 39086 37806 820 745 0 38151 0
Current children cumulated CPU time: 3569.46 s
Current children cumulated vsize: 174936 KiB
Current children cumulated memory: 154956 KiB

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

# cumulated CPU time of all completed processes:  user=3582.5 s, system=0.699568 s

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

[startup+3584 s]*
/proc/loadavg: 4.15 4.14 4.09 5/249 354270
/proc/meminfo: memFree=106281228/131655788 swapFree=131071996/131071996
[pid=352323] ppid=352320 vsize=9932 memory=2708 CPUtime=1791.39 cores=0,2
/proc/352323/stat : 352323 (Hybrid-CASHWMax) S 352320 352323 352190 0 -1 4194304 276 247987 0 0 0 0 179080 59 20 0 1 0 66158224 10170368 677 134679101440 94883599085568 94883600164888 140736879079632 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94883602263344 94883602310532 94883622440960 140736879084498 140736879084657 140736879084657 140736879091668 0
/proc/352323/statm: 2483 677 584 264 0 134 0
[pid=353275] ppid=352323 vsize=8660 memory=1024 CPUtime=0 cores=0,2
/proc/353275/stat : 353275 (timeout) S 352323 353275 352190 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 66338026 8867840 256 134679101440 94687413170176 94687413205192 140734462779680 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94687415302608 94687415304740 94687418118144 140734462788600 140734462788769 140734462788769 140734462795751 0
/proc/353275/statm: 2165 256 231 9 0 87 0
[pid=353276] ppid=353275 vsize=156344 memory=151224 CPUtime=1779.78 cores=0,2
/proc/353276/stat : 353276 (Exact) R 353275 353275 352190 0 -1 4194304 24295 0 0 0 177970 8 0 0 20 0 1 0 66338026 160096256 37806 134679101440 4194304 7243121 140720693651728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 30773248 140720693658644 140720693658794 140720693658794 140720693665776 0
/proc/353276/statm: 39086 37806 820 745 0 38151 0
Current children cumulated CPU time: 3571.17 s
Current children cumulated vsize: 174936 KiB
Current children cumulated memory: 154956 KiB

[startup+3590.4 s]
/proc/loadavg: 4.14 4.14 4.09 5/249 354270
/proc/meminfo: memFree=106206564/131655788 swapFree=131071996/131071996
[pid=352323] ppid=352320 vsize=9932 memory=2708 CPUtime=1791.39 cores=0,2
/proc/352323/stat : 352323 (Hybrid-CASHWMax) S 352320 352323 352190 0 -1 4194304 276 247987 0 0 0 0 179080 59 20 0 1 0 66158224 10170368 677 134679101440 94883599085568 94883600164888 140736879079632 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94883602263344 94883602310532 94883622440960 140736879084498 140736879084657 140736879084657 140736879091668 0
/proc/352323/statm: 2483 677 584 264 0 134 0
[pid=353275] ppid=352323 vsize=8660 memory=1024 CPUtime=0 cores=0,2
/proc/353275/stat : 353275 (timeout) S 352323 353275 352190 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 66338026 8867840 256 134679101440 94687413170176 94687413205192 140734462779680 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94687415302608 94687415304740 94687418118144 140734462788600 140734462788769 140734462788769 140734462795751 0
/proc/353275/statm: 2165 256 231 9 0 87 0
[pid=353276] ppid=353275 vsize=156532 memory=151364 CPUtime=1786.15 cores=0,2
/proc/353276/stat : 353276 (Exact) R 353275 353275 352190 0 -1 4194304 24344 0 0 0 178607 8 0 0 20 0 1 0 66338026 160288768 37841 134679101440 4194304 7243121 140720693651728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 30773248 140720693658644 140720693658794 140720693658794 140720693665776 0
/proc/353276/statm: 39133 37841 820 745 0 38198 0
Current children cumulated CPU time: 3577.54 s
Current children cumulated vsize: 175124 KiB
Current children cumulated memory: 155096 KiB

[startup+3593.6 s]
/proc/loadavg: 4.13 4.14 4.09 5/249 354272
/proc/meminfo: memFree=106160272/131655788 swapFree=131071996/131071996
[pid=352323] ppid=352320 vsize=9932 memory=2708 CPUtime=1791.39 cores=0,2
/proc/352323/stat : 352323 (Hybrid-CASHWMax) S 352320 352323 352190 0 -1 4194304 276 247987 0 0 0 0 179080 59 20 0 1 0 66158224 10170368 677 134679101440 94883599085568 94883600164888 140736879079632 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94883602263344 94883602310532 94883622440960 140736879084498 140736879084657 140736879084657 140736879091668 0
/proc/352323/statm: 2483 677 584 264 0 134 0
[pid=353275] ppid=352323 vsize=8660 memory=1024 CPUtime=0 cores=0,2
/proc/353275/stat : 353275 (timeout) S 352323 353275 352190 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 66338026 8867840 256 134679101440 94687413170176 94687413205192 140734462779680 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94687415302608 94687415304740 94687418118144 140734462788600 140734462788769 140734462788769 140734462795751 0
/proc/353275/statm: 2165 256 231 9 0 87 0
[pid=353276] ppid=353275 vsize=156532 memory=151364 CPUtime=1789.34 cores=0,2
/proc/353276/stat : 353276 (Exact) R 353275 353275 352190 0 -1 4194304 24344 0 0 0 178926 8 0 0 20 0 1 0 66338026 160288768 37841 134679101440 4194304 7243121 140720693651728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 30773248 140720693658644 140720693658794 140720693658794 140720693665776 0
/proc/353276/statm: 39133 37841 820 745 0 38198 0
Current children cumulated CPU time: 3580.73 s
Current children cumulated vsize: 175124 KiB
Current children cumulated memory: 155096 KiB

[startup+3595.2 s]
/proc/loadavg: 4.13 4.14 4.09 3/232 354379
/proc/meminfo: memFree=106932816/131655788 swapFree=131071996/131071996
[pid=352323] ppid=352320 vsize=9932 memory=2708 CPUtime=1791.39 cores=0,2
/proc/352323/stat : 352323 (Hybrid-CASHWMax) S 352320 352323 352190 0 -1 4194304 276 247987 0 0 0 0 179080 59 20 0 1 0 66158224 10170368 677 134679101440 94883599085568 94883600164888 140736879079632 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94883602263344 94883602310532 94883622440960 140736879084498 140736879084657 140736879084657 140736879091668 0
/proc/352323/statm: 2483 677 584 264 0 134 0
[pid=353275] ppid=352323 vsize=8660 memory=1024 CPUtime=0 cores=0,2
/proc/353275/stat : 353275 (timeout) S 352323 353275 352190 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 66338026 8867840 256 134679101440 94687413170176 94687413205192 140734462779680 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94687415302608 94687415304740 94687418118144 140734462788600 140734462788769 140734462788769 140734462795751 0
/proc/353275/statm: 2165 256 231 9 0 87 0
[pid=353276] ppid=353275 vsize=156532 memory=151364 CPUtime=1790.93 cores=0,2
/proc/353276/stat : 353276 (Exact) R 353275 353275 352190 0 -1 4194304 24344 0 0 0 179085 8 0 0 20 0 1 0 66338026 160288768 37841 134679101440 4194304 7243121 140720693651728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 30773248 140720693658644 140720693658794 140720693658794 140720693665776 0
/proc/353276/statm: 39133 37841 820 745 0 38198 0
Current children cumulated CPU time: 3582.32 s
Current children cumulated vsize: 175124 KiB
Current children cumulated memory: 155096 KiB

[startup+3595.6 s]
/proc/loadavg: 4.13 4.14 4.09 3/232 354379
/proc/meminfo: memFree=106932816/131655788 swapFree=131071996/131071996
[pid=352323] ppid=352320 vsize=9932 memory=2708 CPUtime=1791.39 cores=0,2
/proc/352323/stat : 352323 (Hybrid-CASHWMax) S 352320 352323 352190 0 -1 4194304 276 247987 0 0 0 0 179080 59 20 0 1 0 66158224 10170368 677 134679101440 94883599085568 94883600164888 140736879079632 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94883602263344 94883602310532 94883622440960 140736879084498 140736879084657 140736879084657 140736879091668 0
/proc/352323/statm: 2483 677 584 264 0 134 0
[pid=353275] ppid=352323 vsize=8660 memory=1024 CPUtime=0 cores=0,2
/proc/353275/stat : 353275 (timeout) S 352323 353275 352190 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 66338026 8867840 256 134679101440 94687413170176 94687413205192 140734462779680 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94687415302608 94687415304740 94687418118144 140734462788600 140734462788769 140734462788769 140734462795751 0
/proc/353275/statm: 2165 256 231 9 0 87 0
[pid=353276] ppid=353275 vsize=156532 memory=151364 CPUtime=1791.33 cores=0,2
/proc/353276/stat : 353276 (Exact) R 353275 353275 352190 0 -1 4194304 24344 0 0 0 179125 8 0 0 20 0 1 0 66338026 160288768 37841 134679101440 4194304 7243121 140720693651728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 30773248 140720693658644 140720693658794 140720693658794 140720693665776 0
/proc/353276/statm: 39133 37841 820 745 0 38198 0
Current children cumulated CPU time: 3582.72 s
Current children cumulated vsize: 175124 KiB
Current children cumulated memory: 155096 KiB

[startup+3596 s]*
/proc/loadavg: 3.96 4.10 4.08 3/232 354379
/proc/meminfo: memFree=106927444/131655788 swapFree=131071996/131071996
[pid=352323] ppid=352320 vsize=9932 memory=2708 CPUtime=1791.39 cores=0,2
/proc/352323/stat : 352323 (Hybrid-CASHWMax) S 352320 352323 352190 0 -1 4194304 276 247987 0 0 0 0 179080 59 20 0 1 0 66158224 10170368 677 134679101440 94883599085568 94883600164888 140736879079632 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94883602263344 94883602310532 94883622440960 140736879084498 140736879084657 140736879084657 140736879091668 0
/proc/352323/statm: 2483 677 584 264 0 134 0
[pid=353275] ppid=352323 vsize=8660 memory=1024 CPUtime=0 cores=0,2
/proc/353275/stat : 353275 (timeout) S 352323 353275 352190 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 66338026 8867840 256 134679101440 94687413170176 94687413205192 140734462779680 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94687415302608 94687415304740 94687418118144 140734462788600 140734462788769 140734462788769 140734462795751 0
/proc/353275/statm: 2165 256 231 9 0 87 0
[pid=353276] ppid=353275 vsize=156532 memory=151364 CPUtime=1791.74 cores=0,2
/proc/353276/stat : 353276 (Exact) R 353275 353275 352190 0 -1 4194304 24344 0 0 0 179166 8 0 0 20 0 1 0 66338026 160288768 37841 134679101440 4194304 7243121 140720693651728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 30773248 140720693658644 140720693658794 140720693658794 140720693665776 0
/proc/353276/statm: 39133 37841 820 745 0 38198 0
Current children cumulated CPU time: 3583.13 s
Current children cumulated vsize: 175124 KiB
Current children cumulated memory: 155096 KiB

Child status: 0

Real time (s): 3596.05
CPU time (s): 3583.2
CPU user time (s): 3582.5
CPU system time (s): 0.699568
CPU usage (%): 99.6428
Max. virtual memory (cumulated for all children) (KiB): 1421060
Max. memory (cumulated for all children) (KiB): 1062204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.5
system time used= 0.699568
maximum resident set size= 1058608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 275596
page faults= 0
swaps= 0
block input operations= 0
block output operations= 88
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 134
involuntary context switches= 24544


# summary of solver processes directly reported to runsolver:
#   pid: 352323
#   total CPU time (s): 3583.2
#   total CPU user time (s): 3582.5
#   total CPU system time (s): 0.699568

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.5076 second user time and 38.3886 second system time

The end