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: 64096 MiB (55288 MiB free)
  memory of node 1: 64473 MiB (61304 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438346-1722959055/watcher-4438346-1722959055 -o /tmp/evaluation-result-4438346-1722959055/solver-4438346-1722959055 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1722959055-337210 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjComS+Exact HOME/instance-4438346-1722959055.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=337270, runsolver pid=337257

[startup+0.10039 s]*
/proc/loadavg: 2.09 3.59 3.97 8/256 337286
/proc/meminfo: memFree=119364052/131655788 swapFree=131071996/131071996
[pid=337270] ppid=337257 vsize=9932 memory=2712 CPUtime=0 cores=4,6
/proc/337270/stat : 337270 (Hybrid-CASHWMax) S 337257 337270 337199 0 -1 4194304 240 104 0 0 0 0 0 0 20 0 1 0 62503168 10170368 678 134679101440 94595893719040 94595894798360 140730660029184 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94595896896816 94595896944004 94595930083328 140730660033488 140730660033646 140730660033646 140730660040661 0
/proc/337270/statm: 2483 678 600 264 0 134 0
[pid=337281] ppid=337270 vsize=8660 memory=952 CPUtime=0 cores=4,6
/proc/337281/stat : 337281 (timeout) S 337270 337281 337199 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62503169 8867840 238 134679101440 94083550666752 94083550701768 140737052259776 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94083552799184 94083552801316 94083572699136 140737052267532 140737052267677 140737052267677 140737052274663 0
/proc/337281/statm: 2165 238 214 9 0 87 0
[pid=337285] ppid=337281 vsize=29204 memory=10716 CPUtime=0.1 cores=4,6
/proc/337285/stat : 337285 (CASHWMaxSAT-Dis) R 337281 337281 337199 0 -1 4194304 2056 0 0 0 10 0 0 0 20 0 1 0 62503169 29904896 2679 134679101440 4194304 14093885 140724445357120 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24821760 140724445365266 140724445365398 140724445365398 140724445372384 0
/proc/337285/statm: 7301 2679 750 2417 0 4403 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 47796 KiB
Current children cumulated memory: 14380 KiB

[startup+0.224608 s]*
/proc/loadavg: 2.09 3.59 3.97 8/256 337286
/proc/meminfo: memFree=119346400/131655788 swapFree=131071996/131071996
[pid=337270] ppid=337257 vsize=9932 memory=2712 CPUtime=0 cores=4,6
/proc/337270/stat : 337270 (Hybrid-CASHWMax) S 337257 337270 337199 0 -1 4194304 240 104 0 0 0 0 0 0 20 0 1 0 62503168 10170368 678 134679101440 94595893719040 94595894798360 140730660029184 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94595896896816 94595896944004 94595930083328 140730660033488 140730660033646 140730660033646 140730660040661 0
/proc/337270/statm: 2483 678 600 264 0 134 0
[pid=337281] ppid=337270 vsize=8660 memory=952 CPUtime=0 cores=4,6
/proc/337281/stat : 337281 (timeout) S 337270 337281 337199 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62503169 8867840 238 134679101440 94083550666752 94083550701768 140737052259776 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94083552799184 94083552801316 94083572699136 140737052267532 140737052267677 140737052267677 140737052274663 0
/proc/337281/statm: 2165 238 214 9 0 87 0
[pid=337285] ppid=337281 vsize=36444 memory=17888 CPUtime=0.22 cores=4,6
/proc/337285/stat : 337285 (CASHWMaxSAT-Dis) R 337281 337281 337199 0 -1 4194304 3841 0 0 0 21 1 0 0 20 0 1 0 62503169 37318656 4472 134679101440 4194304 14093885 140724445357120 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24821760 140724445365266 140724445365398 140724445365398 140724445372384 0
/proc/337285/statm: 9111 4472 750 2417 0 6213 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 55036 KiB
Current children cumulated memory: 21552 KiB

[startup+0.314251 s]*
/proc/loadavg: 2.09 3.59 3.97 5/256 337286
/proc/meminfo: memFree=119337628/131655788 swapFree=131071996/131071996
[pid=337270] ppid=337257 vsize=9932 memory=2712 CPUtime=0 cores=4,6
/proc/337270/stat : 337270 (Hybrid-CASHWMax) S 337257 337270 337199 0 -1 4194304 240 104 0 0 0 0 0 0 20 0 1 0 62503168 10170368 678 134679101440 94595893719040 94595894798360 140730660029184 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94595896896816 94595896944004 94595930083328 140730660033488 140730660033646 140730660033646 140730660040661 0
/proc/337270/statm: 2483 678 600 264 0 134 0
[pid=337281] ppid=337270 vsize=8660 memory=952 CPUtime=0 cores=4,6
/proc/337281/stat : 337281 (timeout) S 337270 337281 337199 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62503169 8867840 238 134679101440 94083550666752 94083550701768 140737052259776 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94083552799184 94083552801316 94083572699136 140737052267532 140737052267677 140737052267677 140737052274663 0
/proc/337281/statm: 2165 238 214 9 0 87 0
[pid=337285] ppid=337281 vsize=42040 memory=23696 CPUtime=0.3 cores=4,6
/proc/337285/stat : 337285 (CASHWMaxSAT-Dis) R 337281 337281 337199 0 -1 4194304 5247 0 0 0 29 1 0 0 20 0 1 0 62503169 43048960 5924 134679101440 4194304 14093885 140724445357120 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24821760 140724445365266 140724445365398 140724445365398 140724445372384 0
/proc/337285/statm: 10510 5924 750 2417 0 7612 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 60632 KiB
Current children cumulated memory: 27360 KiB

[startup+0.700437 s]
/proc/loadavg: 2.09 3.59 3.97 5/256 337286
/proc/meminfo: memFree=119317904/131655788 swapFree=131071996/131071996
[pid=337270] ppid=337257 vsize=9932 memory=2712 CPUtime=0 cores=4,6
/proc/337270/stat : 337270 (Hybrid-CASHWMax) S 337257 337270 337199 0 -1 4194304 240 104 0 0 0 0 0 0 20 0 1 0 62503168 10170368 678 134679101440 94595893719040 94595894798360 140730660029184 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94595896896816 94595896944004 94595930083328 140730660033488 140730660033646 140730660033646 140730660040661 0
/proc/337270/statm: 2483 678 600 264 0 134 0
[pid=337281] ppid=337270 vsize=8660 memory=952 CPUtime=0 cores=4,6
/proc/337281/stat : 337281 (timeout) S 337270 337281 337199 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62503169 8867840 238 134679101440 94083550666752 94083550701768 140737052259776 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94083552799184 94083552801316 94083572699136 140737052267532 140737052267677 140737052267677 140737052274663 0
/proc/337281/statm: 2165 238 214 9 0 87 0
[pid=337285] ppid=337281 vsize=68208 memory=49756 CPUtime=0.68 cores=4,6
/proc/337285/stat : 337285 (CASHWMaxSAT-Dis) R 337281 337281 337199 0 -1 4194304 11773 0 0 0 64 4 0 0 20 0 1 0 62503169 69844992 12439 134679101440 4194304 14093885 140724445357120 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24821760 140724445365266 140724445365398 140724445365398 140724445372384 0
/proc/337285/statm: 17052 12439 750 2417 0 14154 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 86800 KiB
Current children cumulated memory: 53420 KiB

[startup+1.50047 s]
/proc/loadavg: 2.09 3.59 3.97 8/256 337286
/proc/meminfo: memFree=119163692/131655788 swapFree=131071996/131071996
[pid=337270] ppid=337257 vsize=9932 memory=2712 CPUtime=0 cores=4,6
/proc/337270/stat : 337270 (Hybrid-CASHWMax) S 337257 337270 337199 0 -1 4194304 240 104 0 0 0 0 0 0 20 0 1 0 62503168 10170368 678 134679101440 94595893719040 94595894798360 140730660029184 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94595896896816 94595896944004 94595930083328 140730660033488 140730660033646 140730660033646 140730660040661 0
/proc/337270/statm: 2483 678 600 264 0 134 0
[pid=337281] ppid=337270 vsize=8660 memory=952 CPUtime=0 cores=4,6
/proc/337281/stat : 337281 (timeout) S 337270 337281 337199 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62503169 8867840 238 134679101440 94083550666752 94083550701768 140737052259776 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94083552799184 94083552801316 94083572699136 140737052267532 140737052267677 140737052267677 140737052274663 0
/proc/337281/statm: 2165 238 214 9 0 87 0
[pid=337285] ppid=337281 vsize=192208 memory=183056 CPUtime=1.48 cores=4,6
/proc/337285/stat : 337285 (CASHWMaxSAT-Dis) R 337281 337281 337199 0 -1 4194304 43732 0 0 0 135 13 0 0 20 0 1 0 62503169 196820992 45764 134679101440 4194304 14093885 140724445357120 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24821760 140724445365266 140724445365398 140724445365398 140724445372384 0
/proc/337285/statm: 48052 45764 2302 2417 0 45154 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 210800 KiB
Current children cumulated memory: 186720 KiB

[startup+3.11533 s]
/proc/loadavg: 2.09 3.59 3.97 8/256 337288
/proc/meminfo: memFree=117749348/131655788 swapFree=131071996/131071996
[pid=337270] ppid=337257 vsize=9932 memory=2712 CPUtime=0 cores=4,6
/proc/337270/stat : 337270 (Hybrid-CASHWMax) S 337257 337270 337199 0 -1 4194304 240 104 0 0 0 0 0 0 20 0 1 0 62503168 10170368 678 134679101440 94595893719040 94595894798360 140730660029184 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94595896896816 94595896944004 94595930083328 140730660033488 140730660033646 140730660033646 140730660040661 0
/proc/337270/statm: 2483 678 600 264 0 134 0
[pid=337281] ppid=337270 vsize=8660 memory=952 CPUtime=0 cores=4,6
/proc/337281/stat : 337281 (timeout) S 337270 337281 337199 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62503169 8867840 238 134679101440 94083550666752 94083550701768 140737052259776 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94083552799184 94083552801316 94083572699136 140737052267532 140737052267677 140737052267677 140737052274663 0
/proc/337281/statm: 2165 238 214 9 0 87 0
[pid=337285] ppid=337281 vsize=335944 memory=325004 CPUtime=3.08 cores=4,6
/proc/337285/stat : 337285 (CASHWMaxSAT-Dis) R 337281 337281 337199 0 -1 4194304 79140 0 0 0 289 19 0 0 20 0 1 0 62503169 344006656 81251 134679101440 4194304 14093885 140724445357120 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24821760 140724445365266 140724445365398 140724445365398 140724445372384 0
/proc/337285/statm: 83986 81251 2350 2417 0 81088 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 354536 KiB
Current children cumulated memory: 328668 KiB

[startup+6.30048 s]
/proc/loadavg: 2.24 3.60 3.97 8/256 337288
/proc/meminfo: memFree=116561220/131655788 swapFree=131071996/131071996
[pid=337270] ppid=337257 vsize=9932 memory=2712 CPUtime=0 cores=4,6
/proc/337270/stat : 337270 (Hybrid-CASHWMax) S 337257 337270 337199 0 -1 4194304 240 104 0 0 0 0 0 0 20 0 1 0 62503168 10170368 678 134679101440 94595893719040 94595894798360 140730660029184 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94595896896816 94595896944004 94595930083328 140730660033488 140730660033646 140730660033646 140730660040661 0
/proc/337270/statm: 2483 678 600 264 0 134 0
[pid=337281] ppid=337270 vsize=8660 memory=952 CPUtime=0 cores=4,6
/proc/337281/stat : 337281 (timeout) S 337270 337281 337199 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62503169 8867840 238 134679101440 94083550666752 94083550701768 140737052259776 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94083552799184 94083552801316 94083572699136 140737052267532 140737052267677 140737052267677 140737052274663 0
/proc/337281/statm: 2165 238 214 9 0 87 0
[pid=337285] ppid=337281 vsize=676736 memory=615912 CPUtime=6.27 cores=4,6
/proc/337285/stat : 337285 (CASHWMaxSAT-Dis) R 337281 337281 337199 0 -1 4194304 108629 0 0 0 598 29 0 0 20 0 1 0 62503169 692977664 153978 134679101440 4194304 14093885 140724445357120 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24821760 140724445365266 140724445365398 140724445365398 140724445372384 0
/proc/337285/statm: 169184 153978 2510 2417 0 166286 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 695328 KiB
Current children cumulated memory: 619576 KiB

[startup+12.7005 s]
/proc/loadavg: 2.38 3.60 3.97 8/256 337289
/proc/meminfo: memFree=116397372/131655788 swapFree=131071996/131071996
[pid=337270] ppid=337257 vsize=9932 memory=2712 CPUtime=0 cores=4,6
/proc/337270/stat : 337270 (Hybrid-CASHWMax) S 337257 337270 337199 0 -1 4194304 240 104 0 0 0 0 0 0 20 0 1 0 62503168 10170368 678 134679101440 94595893719040 94595894798360 140730660029184 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94595896896816 94595896944004 94595930083328 140730660033488 140730660033646 140730660033646 140730660040661 0
/proc/337270/statm: 2483 678 600 264 0 134 0
[pid=337281] ppid=337270 vsize=8660 memory=952 CPUtime=0 cores=4,6
/proc/337281/stat : 337281 (timeout) S 337270 337281 337199 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62503169 8867840 238 134679101440 94083550666752 94083550701768 140737052259776 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94083552799184 94083552801316 94083572699136 140737052267532 140737052267677 140737052267677 140737052274663 0
/proc/337281/statm: 2165 238 214 9 0 87 0
[pid=337285] ppid=337281 vsize=747156 memory=658256 CPUtime=12.64 cores=4,6
/proc/337285/stat : 337285 (CASHWMaxSAT-Dis) R 337281 337281 337199 0 -1 4194304 117693 0 0 0 1234 30 0 0 20 0 1 0 62503169 765087744 164564 134679101440 4194304 14093885 140724445357120 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24821760 140724445365266 140724445365398 140724445365398 140724445372384 0
/proc/337285/statm: 186789 164564 2526 2417 0 183891 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 765748 KiB
Current children cumulated memory: 661920 KiB

[startup+25.5005 s]
/proc/loadavg: 2.74 3.62 3.97 8/256 337291
/proc/meminfo: memFree=115976296/131655788 swapFree=131071996/131071996
[pid=337270] ppid=337257 vsize=9932 memory=2712 CPUtime=0 cores=4,6
/proc/337270/stat : 337270 (Hybrid-CASHWMax) S 337257 337270 337199 0 -1 4194304 240 104 0 0 0 0 0 0 20 0 1 0 62503168 10170368 678 134679101440 94595893719040 94595894798360 140730660029184 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94595896896816 94595896944004 94595930083328 140730660033488 140730660033646 140730660033646 140730660040661 0
/proc/337270/statm: 2483 678 600 264 0 134 0
[pid=337281] ppid=337270 vsize=8660 memory=952 CPUtime=0 cores=4,6
/proc/337281/stat : 337281 (timeout) S 337270 337281 337199 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62503169 8867840 238 134679101440 94083550666752 94083550701768 140737052259776 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94083552799184 94083552801316 94083572699136 140737052267532 140737052267677 140737052267677 140737052274663 0
/proc/337281/statm: 2165 238 214 9 0 87 0
[pid=337285] ppid=337281 vsize=770812 memory=658404 CPUtime=25.4 cores=4,6
/proc/337285/stat : 337285 (CASHWMaxSAT-Dis) R 337281 337281 337199 0 -1 4194304 118079 0 0 0 2509 31 0 0 20 0 1 0 62503169 789311488 164601 134679101440 4194304 14093885 140724445357120 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24821760 140724445365266 140724445365398 140724445365398 140724445372384 0
/proc/337285/statm: 192703 164601 2526 2417 0 189805 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 789404 KiB
Current children cumulated memory: 662068 KiB

[startup+51.1148 s]
/proc/loadavg: 3.24 3.67 3.98 8/256 337294
/proc/meminfo: memFree=114754076/131655788 swapFree=131071996/131071996
[pid=337270] ppid=337257 vsize=9932 memory=2712 CPUtime=0 cores=4,6
/proc/337270/stat : 337270 (Hybrid-CASHWMax) S 337257 337270 337199 0 -1 4194304 240 104 0 0 0 0 0 0 20 0 1 0 62503168 10170368 678 134679101440 94595893719040 94595894798360 140730660029184 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94595896896816 94595896944004 94595930083328 140730660033488 140730660033646 140730660033646 140730660040661 0
/proc/337270/statm: 2483 678 600 264 0 134 0
[pid=337281] ppid=337270 vsize=8660 memory=952 CPUtime=0 cores=4,6
/proc/337281/stat : 337281 (timeout) S 337270 337281 337199 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62503169 8867840 238 134679101440 94083550666752 94083550701768 140737052259776 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94083552799184 94083552801316 94083572699136 140737052267532 140737052267677 140737052267677 140737052274663 0
/proc/337281/statm: 2165 238 214 9 0 87 0
[pid=337285] ppid=337281 vsize=799900 memory=664976 CPUtime=50.96 cores=4,6
/proc/337285/stat : 337285 (CASHWMaxSAT-Dis) R 337281 337281 337199 0 -1 4194304 119661 0 0 0 5064 32 0 0 20 0 1 0 62503169 819097600 166244 134679101440 4194304 14093885 140724445357120 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24821760 140724445365266 140724445365398 140724445365398 140724445372384 0
/proc/337285/statm: 199975 166244 2526 2417 0 197077 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 818492 KiB
Current children cumulated memory: 668640 KiB

[startup+102.3 s]
/proc/loadavg: 3.73 3.74 3.99 8/253 337304
/proc/meminfo: memFree=114579816/131655788 swapFree=131071996/131071996
[pid=337270] ppid=337257 vsize=9932 memory=2712 CPUtime=0 cores=4,6
/proc/337270/stat : 337270 (Hybrid-CASHWMax) S 337257 337270 337199 0 -1 4194304 240 104 0 0 0 0 0 0 20 0 1 0 62503168 10170368 678 134679101440 94595893719040 94595894798360 140730660029184 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94595896896816 94595896944004 94595930083328 140730660033488 140730660033646 140730660033646 140730660040661 0

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

/proc/338191/statm: 41470 38850 748 737 0 40558 0
Current children cumulated CPU time: 3393.39 s
Current children cumulated vsize: 184472 KiB
Current children cumulated memory: 159112 KiB

[startup+3462.3 s]
/proc/loadavg: 4.05 4.09 4.09 8/251 339110
/proc/meminfo: memFree=117719304/131655788 swapFree=131071996/131071996
[pid=337270] ppid=337257 vsize=9932 memory=2776 CPUtime=1793.13 cores=4,6
/proc/337270/stat : 337270 (Hybrid-CASHWMax) S 337257 337270 337199 0 -1 4194304 273 398501 0 0 0 0 179208 105 20 0 1 0 62503168 10170368 694 134679101440 94595893719040 94595894798360 140730660029184 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94595896896816 94595896944004 94595930083328 140730660033488 140730660033646 140730660033646 140730660040661 0
/proc/337270/statm: 2483 694 600 264 0 134 0
[pid=338190] ppid=337270 vsize=8660 memory=936 CPUtime=0 cores=4,6
/proc/338190/stat : 338190 (timeout) S 337270 338190 337199 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62682974 8867840 234 134679101440 94558291476480 94558291511496 140722075471936 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94558293608912 94558293611044 94558309015552 140722075481076 140722075481245 140722075481245 140722075488231 0
/proc/338190/statm: 2165 234 209 9 0 87 0
[pid=338191] ppid=338190 vsize=166544 memory=155908 CPUtime=1660.1 cores=4,6
/proc/338191/stat : 338191 (Exact) R 338190 338190 337199 0 -1 4194304 20239 0 0 0 166002 8 0 0 20 0 1 0 62682974 170541056 38977 134679101440 4194304 7210733 140727709119984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 22298624 140727709127696 140727709127846 140727709127846 140727709134832 0
/proc/338191/statm: 41636 38977 748 737 0 40724 0
Current children cumulated CPU time: 3453.23 s
Current children cumulated vsize: 185136 KiB
Current children cumulated memory: 159620 KiB

[startup+3522.3 s]
/proc/loadavg: 4.06 4.08 4.09 9/251 339122
/proc/meminfo: memFree=117701244/131655788 swapFree=131071996/131071996
[pid=337270] ppid=337257 vsize=9932 memory=2776 CPUtime=1793.13 cores=4,6
/proc/337270/stat : 337270 (Hybrid-CASHWMax) S 337257 337270 337199 0 -1 4194304 273 398501 0 0 0 0 179208 105 20 0 1 0 62503168 10170368 694 134679101440 94595893719040 94595894798360 140730660029184 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94595896896816 94595896944004 94595930083328 140730660033488 140730660033646 140730660033646 140730660040661 0
/proc/337270/statm: 2483 694 600 264 0 134 0
[pid=338190] ppid=337270 vsize=8660 memory=936 CPUtime=0 cores=4,6
/proc/338190/stat : 338190 (timeout) S 337270 338190 337199 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62682974 8867840 234 134679101440 94558291476480 94558291511496 140722075471936 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94558293608912 94558293611044 94558309015552 140722075481076 140722075481245 140722075481245 140722075488231 0
/proc/338190/statm: 2165 234 209 9 0 87 0
[pid=338191] ppid=338190 vsize=238628 memory=170856 CPUtime=1719.94 cores=4,6
/proc/338191/stat : 338191 (Exact) R 338190 338190 337199 0 -1 4194304 21682 0 0 0 171984 10 0 0 20 0 1 0 62682974 244355072 42714 134679101440 4194304 7210733 140727709119984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 22298624 140727709127696 140727709127846 140727709127846 140727709134832 0
/proc/338191/statm: 59657 42714 748 737 0 58745 0
Current children cumulated CPU time: 3513.07 s
Current children cumulated vsize: 257220 KiB
Current children cumulated memory: 174568 KiB

[startup+3582.3 s]
/proc/loadavg: 6.31 4.68 4.29 8/251 339133
/proc/meminfo: memFree=117699116/131655788 swapFree=131071996/131071996
[pid=337270] ppid=337257 vsize=9932 memory=2776 CPUtime=1793.13 cores=4,6
/proc/337270/stat : 337270 (Hybrid-CASHWMax) S 337257 337270 337199 0 -1 4194304 273 398501 0 0 0 0 179208 105 20 0 1 0 62503168 10170368 694 134679101440 94595893719040 94595894798360 140730660029184 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94595896896816 94595896944004 94595930083328 140730660033488 140730660033646 140730660033646 140730660040661 0
/proc/337270/statm: 2483 694 600 264 0 134 0
[pid=338190] ppid=337270 vsize=8660 memory=936 CPUtime=0 cores=4,6
/proc/338190/stat : 338190 (timeout) S 337270 338190 337199 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62682974 8867840 234 134679101440 94558291476480 94558291511496 140722075471936 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94558293608912 94558293611044 94558309015552 140722075481076 140722075481245 140722075481245 140722075488231 0
/proc/338190/statm: 2165 234 209 9 0 87 0
[pid=338191] ppid=338190 vsize=238628 memory=171072 CPUtime=1779.78 cores=4,6
/proc/338191/stat : 338191 (Exact) R 338190 338190 337199 0 -1 4194304 21734 0 0 0 177968 10 0 0 20 0 1 0 62682974 244355072 42768 134679101440 4194304 7210733 140727709119984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 22298624 140727709127696 140727709127846 140727709127846 140727709134832 0
/proc/338191/statm: 59657 42768 748 737 0 58745 0
Current children cumulated CPU time: 3572.91 s
Current children cumulated vsize: 257220 KiB
Current children cumulated memory: 174784 KiB

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

# cumulated CPU time of all completed processes:  user=3585.53 s, system=1.18159 s

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

[startup+3584 s]*
/proc/loadavg: 6.31 4.68 4.29 8/251 339133
/proc/meminfo: memFree=117699100/131655788 swapFree=131071996/131071996
[pid=337270] ppid=337257 vsize=9932 memory=2776 CPUtime=1793.13 cores=4,6
/proc/337270/stat : 337270 (Hybrid-CASHWMax) S 337257 337270 337199 0 -1 4194304 273 398501 0 0 0 0 179208 105 20 0 1 0 62503168 10170368 694 134679101440 94595893719040 94595894798360 140730660029184 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94595896896816 94595896944004 94595930083328 140730660033488 140730660033646 140730660033646 140730660040661 0
/proc/337270/statm: 2483 694 600 264 0 134 0
[pid=338190] ppid=337270 vsize=8660 memory=936 CPUtime=0 cores=4,6
/proc/338190/stat : 338190 (timeout) S 337270 338190 337199 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62682974 8867840 234 134679101440 94558291476480 94558291511496 140722075471936 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94558293608912 94558293611044 94558309015552 140722075481076 140722075481245 140722075481245 140722075488231 0
/proc/338190/statm: 2165 234 209 9 0 87 0
[pid=338191] ppid=338190 vsize=238628 memory=171072 CPUtime=1781.48 cores=4,6
/proc/338191/stat : 338191 (Exact) R 338190 338190 337199 0 -1 4194304 21734 0 0 0 178138 10 0 0 20 0 1 0 62682974 244355072 42768 134679101440 4194304 7210733 140727709119984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 22298624 140727709127696 140727709127846 140727709127846 140727709134832 0
/proc/338191/statm: 59657 42768 748 737 0 58745 0
Current children cumulated CPU time: 3574.61 s
Current children cumulated vsize: 257220 KiB
Current children cumulated memory: 174784 KiB

[startup+3590.4 s]
/proc/loadavg: 6.65 4.80 4.33 8/251 339133
/proc/meminfo: memFree=117698908/131655788 swapFree=131071996/131071996
[pid=337270] ppid=337257 vsize=9932 memory=2776 CPUtime=1793.13 cores=4,6
/proc/337270/stat : 337270 (Hybrid-CASHWMax) S 337257 337270 337199 0 -1 4194304 273 398501 0 0 0 0 179208 105 20 0 1 0 62503168 10170368 694 134679101440 94595893719040 94595894798360 140730660029184 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94595896896816 94595896944004 94595930083328 140730660033488 140730660033646 140730660033646 140730660040661 0
/proc/337270/statm: 2483 694 600 264 0 134 0
[pid=338190] ppid=337270 vsize=8660 memory=936 CPUtime=0 cores=4,6
/proc/338190/stat : 338190 (timeout) S 337270 338190 337199 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62682974 8867840 234 134679101440 94558291476480 94558291511496 140722075471936 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94558293608912 94558293611044 94558309015552 140722075481076 140722075481245 140722075481245 140722075488231 0
/proc/338190/statm: 2165 234 209 9 0 87 0
[pid=338191] ppid=338190 vsize=238628 memory=171072 CPUtime=1787.86 cores=4,6
/proc/338191/stat : 338191 (Exact) R 338190 338190 337199 0 -1 4194304 21737 0 0 0 178776 10 0 0 20 0 1 0 62682974 244355072 42768 134679101440 4194304 7210733 140727709119984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 22298624 140727709127696 140727709127846 140727709127846 140727709134832 0
/proc/338191/statm: 59657 42768 748 737 0 58745 0
Current children cumulated CPU time: 3580.99 s
Current children cumulated vsize: 257220 KiB
Current children cumulated memory: 174784 KiB

[startup+3593.6 s]
/proc/loadavg: 6.65 4.80 4.33 8/251 339134
/proc/meminfo: memFree=117698952/131655788 swapFree=131071996/131071996
[pid=337270] ppid=337257 vsize=9932 memory=2776 CPUtime=1793.13 cores=4,6
/proc/337270/stat : 337270 (Hybrid-CASHWMax) S 337257 337270 337199 0 -1 4194304 273 398501 0 0 0 0 179208 105 20 0 1 0 62503168 10170368 694 134679101440 94595893719040 94595894798360 140730660029184 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94595896896816 94595896944004 94595930083328 140730660033488 140730660033646 140730660033646 140730660040661 0
/proc/337270/statm: 2483 694 600 264 0 134 0
[pid=338190] ppid=337270 vsize=8660 memory=936 CPUtime=0 cores=4,6
/proc/338190/stat : 338190 (timeout) S 337270 338190 337199 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62682974 8867840 234 134679101440 94558291476480 94558291511496 140722075471936 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94558293608912 94558293611044 94558309015552 140722075481076 140722075481245 140722075481245 140722075488231 0
/proc/338190/statm: 2165 234 209 9 0 87 0
[pid=338191] ppid=338190 vsize=238628 memory=171072 CPUtime=1791.05 cores=4,6
/proc/338191/stat : 338191 (Exact) R 338190 338190 337199 0 -1 4194304 21739 0 0 0 179095 10 0 0 20 0 1 0 62682974 244355072 42768 134679101440 4194304 7210733 140727709119984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 22298624 140727709127696 140727709127846 140727709127846 140727709134832 0
/proc/338191/statm: 59657 42768 748 737 0 58745 0
Current children cumulated CPU time: 3584.18 s
Current children cumulated vsize: 257220 KiB
Current children cumulated memory: 174784 KiB

[startup+3595.2 s]
/proc/loadavg: 6.91 4.89 4.36 8/251 339134
/proc/meminfo: memFree=117699000/131655788 swapFree=131071996/131071996
[pid=337270] ppid=337257 vsize=9932 memory=2776 CPUtime=1793.13 cores=4,6
/proc/337270/stat : 337270 (Hybrid-CASHWMax) S 337257 337270 337199 0 -1 4194304 273 398501 0 0 0 0 179208 105 20 0 1 0 62503168 10170368 694 134679101440 94595893719040 94595894798360 140730660029184 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94595896896816 94595896944004 94595930083328 140730660033488 140730660033646 140730660033646 140730660040661 0
/proc/337270/statm: 2483 694 600 264 0 134 0
[pid=338190] ppid=337270 vsize=8660 memory=936 CPUtime=0 cores=4,6
/proc/338190/stat : 338190 (timeout) S 337270 338190 337199 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62682974 8867840 234 134679101440 94558291476480 94558291511496 140722075471936 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94558293608912 94558293611044 94558309015552 140722075481076 140722075481245 140722075481245 140722075488231 0
/proc/338190/statm: 2165 234 209 9 0 87 0
[pid=338191] ppid=338190 vsize=238628 memory=171072 CPUtime=1792.64 cores=4,6
/proc/338191/stat : 338191 (Exact) R 338190 338190 337199 0 -1 4194304 21742 0 0 0 179254 10 0 0 20 0 1 0 62682974 244355072 42768 134679101440 4194304 7210733 140727709119984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 22298624 140727709127696 140727709127846 140727709127846 140727709134832 0
/proc/338191/statm: 59657 42768 748 737 0 58745 0
Current children cumulated CPU time: 3585.77 s
Current children cumulated vsize: 257220 KiB
Current children cumulated memory: 174784 KiB

[startup+3595.6 s]
/proc/loadavg: 6.91 4.89 4.36 8/251 339134
/proc/meminfo: memFree=117699000/131655788 swapFree=131071996/131071996
[pid=337270] ppid=337257 vsize=9932 memory=2776 CPUtime=1793.13 cores=4,6
/proc/337270/stat : 337270 (Hybrid-CASHWMax) S 337257 337270 337199 0 -1 4194304 273 398501 0 0 0 0 179208 105 20 0 1 0 62503168 10170368 694 134679101440 94595893719040 94595894798360 140730660029184 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94595896896816 94595896944004 94595930083328 140730660033488 140730660033646 140730660033646 140730660040661 0
/proc/337270/statm: 2483 694 600 264 0 134 0
[pid=338190] ppid=337270 vsize=8660 memory=936 CPUtime=0 cores=4,6
/proc/338190/stat : 338190 (timeout) S 337270 338190 337199 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62682974 8867840 234 134679101440 94558291476480 94558291511496 140722075471936 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94558293608912 94558293611044 94558309015552 140722075481076 140722075481245 140722075481245 140722075488231 0
/proc/338190/statm: 2165 234 209 9 0 87 0
[pid=338191] ppid=338190 vsize=238628 memory=171072 CPUtime=1793.04 cores=4,6
/proc/338191/stat : 338191 (Exact) R 338190 338190 337199 0 -1 4194304 21742 0 0 0 179294 10 0 0 20 0 1 0 62682974 244355072 42768 134679101440 4194304 7210733 140727709119984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 22298624 140727709127696 140727709127846 140727709127846 140727709134832 0
/proc/338191/statm: 59657 42768 748 737 0 58745 0
Current children cumulated CPU time: 3586.17 s
Current children cumulated vsize: 257220 KiB
Current children cumulated memory: 174784 KiB

[startup+3596 s]*
/proc/loadavg: 6.91 4.89 4.36 9/251 339134
/proc/meminfo: memFree=117698712/131655788 swapFree=131071996/131071996
[pid=337270] ppid=337257 vsize=9932 memory=2776 CPUtime=1793.13 cores=4,6
/proc/337270/stat : 337270 (Hybrid-CASHWMax) S 337257 337270 337199 0 -1 4194304 273 398501 0 0 0 0 179208 105 20 0 1 0 62503168 10170368 694 134679101440 94595893719040 94595894798360 140730660029184 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94595896896816 94595896944004 94595930083328 140730660033488 140730660033646 140730660033646 140730660040661 0
/proc/337270/statm: 2483 694 600 264 0 134 0
[pid=338190] ppid=337270 vsize=8660 memory=936 CPUtime=0 cores=4,6
/proc/338190/stat : 338190 (timeout) S 337270 338190 337199 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62682974 8867840 234 134679101440 94558291476480 94558291511496 140722075471936 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94558293608912 94558293611044 94558309015552 140722075481076 140722075481245 140722075481245 140722075488231 0
/proc/338190/statm: 2165 234 209 9 0 87 0
[pid=338191] ppid=338190 vsize=238628 memory=171072 CPUtime=1793.45 cores=4,6
/proc/338191/stat : 338191 (Exact) R 338190 338190 337199 0 -1 4194304 21742 0 0 0 179335 10 0 0 20 0 1 0 62682974 244355072 42768 134679101440 4194304 7210733 140727709119984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 22298624 140727709127696 140727709127846 140727709127846 140727709134832 0
/proc/338191/statm: 59657 42768 748 737 0 58745 0
Current children cumulated CPU time: 3586.58 s
Current children cumulated vsize: 257220 KiB
Current children cumulated memory: 174784 KiB

Child status: 0

Real time (s): 3596.1
CPU time (s): 3586.71
CPU user time (s): 3585.53
CPU system time (s): 1.18159
CPU usage (%): 99.7388
Max. virtual memory (cumulated for all children) (KiB): 2283844
Max. memory (cumulated for all children) (KiB): 1694640

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.53
system time used= 1.18159
maximum resident set size= 1690976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 423486
page faults= 0
swaps= 0
block input operations= 0
block output operations= 136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 91
involuntary context switches= 2192


# summary of solver processes directly reported to runsolver:
#   pid: 337270
#   total CPU time (s): 3586.71
#   total CPU user time (s): 3585.53
#   total CPU system time (s): 1.18159

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.6693 second user time and 42.8147 second system time

The end