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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459366-1722990821/watcher-4459366-1722990821 -o /tmp/evaluation-result-4459366-1722990821/solver-4459366-1722990821 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1722982579-357257 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjComS+Exact HOME/instance-4459366-1722990821.opb 3600 HOME 31000 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=362838, runsolver pid=362835

[startup+0.100109 s]*
/proc/loadavg: 4.11 4.15 4.17 5/257 362842
/proc/meminfo: memFree=127827300/131655788 swapFree=131071996/131071996
[pid=362838] ppid=362835 vsize=9932 memory=2836 CPUtime=0 cores=5,7
/proc/362838/stat : 362838 (Hybrid-CASHWMax) S 362835 362838 357244 0 -1 4194304 241 99 0 0 0 0 0 0 20 0 1 0 65679080 10170368 709 134679101440 94007055650816 94007056730136 140721095343696 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94007058828592 94007058875780 94007067004928 140721095345104 140721095345262 140721095345262 140721095352277 0
/proc/362838/statm: 2483 709 632 264 0 134 0
[pid=362841] ppid=362838 vsize=8660 memory=976 CPUtime=0 cores=5,7
/proc/362841/stat : 362841 (timeout) S 362838 362841 357244 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65679080 8867840 244 134679101440 94041374236672 94041374271688 140725910610320 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94041376369104 94041376371236 94041405423616 140725910615052 140725910615197 140725910615197 140725910622183 0
/proc/362841/statm: 2165 244 219 9 0 87 0
[pid=362842] ppid=362841 vsize=39532 memory=20928 CPUtime=0.09 cores=5,7
/proc/362842/stat : 362842 (CASHWMaxSAT-Dis) R 362841 362841 357244 0 -1 4194304 4563 0 0 0 9 0 0 0 20 0 1 0 65679080 40480768 5232 134679101440 4194304 14093885 140730869629712 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 53731328 140730869638162 140730869638294 140730869638294 140730869645280 0
/proc/362842/statm: 9883 5232 750 2417 0 6985 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 58124 KiB
Current children cumulated memory: 24740 KiB

[startup+0.214062 s]*
/proc/loadavg: 4.11 4.15 4.17 5/257 362842
/proc/meminfo: memFree=127803496/131655788 swapFree=131071996/131071996
[pid=362838] ppid=362835 vsize=9932 memory=2836 CPUtime=0 cores=5,7
/proc/362838/stat : 362838 (Hybrid-CASHWMax) S 362835 362838 357244 0 -1 4194304 241 99 0 0 0 0 0 0 20 0 1 0 65679080 10170368 709 134679101440 94007055650816 94007056730136 140721095343696 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94007058828592 94007058875780 94007067004928 140721095345104 140721095345262 140721095345262 140721095352277 0
/proc/362838/statm: 2483 709 632 264 0 134 0
[pid=362841] ppid=362838 vsize=8660 memory=976 CPUtime=0 cores=5,7
/proc/362841/stat : 362841 (timeout) S 362838 362841 357244 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65679080 8867840 244 134679101440 94041374236672 94041374271688 140725910610320 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94041376369104 94041376371236 94041405423616 140725910615052 140725910615197 140725910615197 140725910622183 0
/proc/362841/statm: 2165 244 219 9 0 87 0
[pid=362842] ppid=362841 vsize=60868 memory=43420 CPUtime=0.21 cores=5,7
/proc/362842/stat : 362842 (CASHWMaxSAT-Dis) R 362841 362841 357244 0 -1 4194304 10399 0 0 0 19 2 0 0 20 0 1 0 65679080 62328832 10855 134679101440 4194304 14093885 140730869629712 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 53731328 140730869638162 140730869638294 140730869638294 140730869645280 0
/proc/362842/statm: 15217 10855 782 2417 0 12319 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 79460 KiB
Current children cumulated memory: 47232 KiB

[startup+0.313956 s]*
/proc/loadavg: 4.11 4.15 4.17 5/257 362842
/proc/meminfo: memFree=127798232/131655788 swapFree=131071996/131071996
[pid=362838] ppid=362835 vsize=9932 memory=2836 CPUtime=0 cores=5,7
/proc/362838/stat : 362838 (Hybrid-CASHWMax) S 362835 362838 357244 0 -1 4194304 241 99 0 0 0 0 0 0 20 0 1 0 65679080 10170368 709 134679101440 94007055650816 94007056730136 140721095343696 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94007058828592 94007058875780 94007067004928 140721095345104 140721095345262 140721095345262 140721095352277 0
/proc/362838/statm: 2483 709 632 264 0 134 0
[pid=362841] ppid=362838 vsize=8660 memory=976 CPUtime=0 cores=5,7
/proc/362841/stat : 362841 (timeout) S 362838 362841 357244 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65679080 8867840 244 134679101440 94041374236672 94041374271688 140725910610320 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94041376369104 94041376371236 94041405423616 140725910615052 140725910615197 140725910615197 140725910622183 0
/proc/362841/statm: 2165 244 219 9 0 87 0
[pid=362842] ppid=362841 vsize=65000 memory=47036 CPUtime=0.31 cores=5,7
/proc/362842/stat : 362842 (CASHWMaxSAT-Dis) R 362841 362841 357244 0 -1 4194304 11960 0 0 0 29 2 0 0 20 0 1 0 65679080 66560000 11759 134679101440 4194304 14093885 140730869629712 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 53731328 140730869638162 140730869638294 140730869638294 140730869645280 0
/proc/362842/statm: 16250 11759 782 2417 0 13352 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 83592 KiB
Current children cumulated memory: 50848 KiB

[startup+0.700487 s]
/proc/loadavg: 4.11 4.15 4.17 5/257 362842
/proc/meminfo: memFree=127797664/131655788 swapFree=131071996/131071996
[pid=362838] ppid=362835 vsize=9932 memory=2836 CPUtime=0 cores=5,7
/proc/362838/stat : 362838 (Hybrid-CASHWMax) S 362835 362838 357244 0 -1 4194304 241 99 0 0 0 0 0 0 20 0 1 0 65679080 10170368 709 134679101440 94007055650816 94007056730136 140721095343696 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94007058828592 94007058875780 94007067004928 140721095345104 140721095345262 140721095345262 140721095352277 0
/proc/362838/statm: 2483 709 632 264 0 134 0
[pid=362841] ppid=362838 vsize=8660 memory=976 CPUtime=0 cores=5,7
/proc/362841/stat : 362841 (timeout) S 362838 362841 357244 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65679080 8867840 244 134679101440 94041374236672 94041374271688 140725910610320 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94041376369104 94041376371236 94041405423616 140725910615052 140725910615197 140725910615197 140725910622183 0
/proc/362841/statm: 2165 244 219 9 0 87 0
[pid=362842] ppid=362841 vsize=139792 memory=126600 CPUtime=0.68 cores=5,7
/proc/362842/stat : 362842 (CASHWMaxSAT-Dis) R 362841 362841 357244 0 -1 4194304 31685 0 0 0 63 5 0 0 20 0 1 0 65679080 143147008 31650 134679101440 4194304 14093885 140730869629712 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 53731328 140730869638162 140730869638294 140730869638294 140730869645280 0
/proc/362842/statm: 34948 31650 2302 2417 0 32050 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 158384 KiB
Current children cumulated memory: 130412 KiB

[startup+1.50049 s]
/proc/loadavg: 4.10 4.15 4.17 5/257 362842
/proc/meminfo: memFree=127638984/131655788 swapFree=131071996/131071996
[pid=362838] ppid=362835 vsize=9932 memory=2836 CPUtime=0 cores=5,7
/proc/362838/stat : 362838 (Hybrid-CASHWMax) S 362835 362838 357244 0 -1 4194304 241 99 0 0 0 0 0 0 20 0 1 0 65679080 10170368 709 134679101440 94007055650816 94007056730136 140721095343696 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94007058828592 94007058875780 94007067004928 140721095345104 140721095345262 140721095345262 140721095352277 0
/proc/362838/statm: 2483 709 632 264 0 134 0
[pid=362841] ppid=362838 vsize=8660 memory=976 CPUtime=0 cores=5,7
/proc/362841/stat : 362841 (timeout) S 362838 362841 357244 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65679080 8867840 244 134679101440 94041374236672 94041374271688 140725910610320 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94041376369104 94041376371236 94041405423616 140725910615052 140725910615197 140725910615197 140725910622183 0
/proc/362841/statm: 2165 244 219 9 0 87 0
[pid=362842] ppid=362841 vsize=296000 memory=282336 CPUtime=1.48 cores=5,7
/proc/362842/stat : 362842 (CASHWMaxSAT-Dis) R 362841 362841 357244 0 -1 4194304 70551 0 0 0 137 11 0 0 20 0 1 0 65679080 303104000 70584 134679101440 4194304 14093885 140730869629712 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 53731328 140730869638162 140730869638294 140730869638294 140730869645280 0
/proc/362842/statm: 74000 70584 2366 2417 0 71102 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 314592 KiB
Current children cumulated memory: 286148 KiB

[startup+3.11362 s]
/proc/loadavg: 4.10 4.15 4.17 5/257 362844
/proc/meminfo: memFree=127562900/131655788 swapFree=131071996/131071996
[pid=362838] ppid=362835 vsize=9932 memory=2836 CPUtime=0 cores=5,7
/proc/362838/stat : 362838 (Hybrid-CASHWMax) S 362835 362838 357244 0 -1 4194304 241 99 0 0 0 0 0 0 20 0 1 0 65679080 10170368 709 134679101440 94007055650816 94007056730136 140721095343696 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94007058828592 94007058875780 94007067004928 140721095345104 140721095345262 140721095345262 140721095352277 0
/proc/362838/statm: 2483 709 632 264 0 134 0
[pid=362841] ppid=362838 vsize=8660 memory=976 CPUtime=0 cores=5,7
/proc/362841/stat : 362841 (timeout) S 362838 362841 357244 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65679080 8867840 244 134679101440 94041374236672 94041374271688 140725910610320 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94041376369104 94041376371236 94041405423616 140725910615052 140725910615197 140725910615197 140725910622183 0
/proc/362841/statm: 2165 244 219 9 0 87 0
[pid=362842] ppid=362841 vsize=302004 memory=288124 CPUtime=3.09 cores=5,7
/proc/362842/stat : 362842 (CASHWMaxSAT-Dis) R 362841 362841 357244 0 -1 4194304 71885 0 0 0 297 12 0 0 20 0 1 0 65679080 309252096 72031 134679101440 4194304 14093885 140730869629712 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 53731328 140730869638162 140730869638294 140730869638294 140730869645280 0
/proc/362842/statm: 75501 72031 2414 2417 0 72603 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 320596 KiB
Current children cumulated memory: 291936 KiB

[startup+6.30047 s]
/proc/loadavg: 4.09 4.15 4.17 5/257 362844
/proc/meminfo: memFree=127559216/131655788 swapFree=131071996/131071996
[pid=362838] ppid=362835 vsize=9932 memory=2836 CPUtime=0 cores=5,7
/proc/362838/stat : 362838 (Hybrid-CASHWMax) S 362835 362838 357244 0 -1 4194304 241 99 0 0 0 0 0 0 20 0 1 0 65679080 10170368 709 134679101440 94007055650816 94007056730136 140721095343696 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94007058828592 94007058875780 94007067004928 140721095345104 140721095345262 140721095345262 140721095352277 0
/proc/362838/statm: 2483 709 632 264 0 134 0
[pid=362841] ppid=362838 vsize=8660 memory=976 CPUtime=0 cores=5,7
/proc/362841/stat : 362841 (timeout) S 362838 362841 357244 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65679080 8867840 244 134679101440 94041374236672 94041374271688 140725910610320 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94041376369104 94041376371236 94041405423616 140725910615052 140725910615197 140725910615197 140725910622183 0
/proc/362841/statm: 2165 244 219 9 0 87 0
[pid=362842] ppid=362841 vsize=305564 memory=291428 CPUtime=6.26 cores=5,7
/proc/362842/stat : 362842 (CASHWMaxSAT-Dis) R 362841 362841 357244 0 -1 4194304 72741 0 0 0 614 12 0 0 20 0 1 0 65679080 312897536 72857 134679101440 4194304 14093885 140730869629712 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 53731328 140730869638162 140730869638294 140730869638294 140730869645280 0
/proc/362842/statm: 76391 72857 2414 2417 0 73493 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 324156 KiB
Current children cumulated memory: 295240 KiB

[startup+12.7004 s]
/proc/loadavg: 4.09 4.14 4.17 5/257 362844
/proc/meminfo: memFree=127550452/131655788 swapFree=131071996/131071996
[pid=362838] ppid=362835 vsize=9932 memory=2836 CPUtime=0 cores=5,7
/proc/362838/stat : 362838 (Hybrid-CASHWMax) S 362835 362838 357244 0 -1 4194304 241 99 0 0 0 0 0 0 20 0 1 0 65679080 10170368 709 134679101440 94007055650816 94007056730136 140721095343696 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94007058828592 94007058875780 94007067004928 140721095345104 140721095345262 140721095345262 140721095352277 0
/proc/362838/statm: 2483 709 632 264 0 134 0
[pid=362841] ppid=362838 vsize=8660 memory=976 CPUtime=0 cores=5,7
/proc/362841/stat : 362841 (timeout) S 362838 362841 357244 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65679080 8867840 244 134679101440 94041374236672 94041374271688 140725910610320 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94041376369104 94041376371236 94041405423616 140725910615052 140725910615197 140725910615197 140725910622183 0
/proc/362841/statm: 2165 244 219 9 0 87 0
[pid=362842] ppid=362841 vsize=314708 memory=300388 CPUtime=12.65 cores=5,7
/proc/362842/stat : 362842 (CASHWMaxSAT-Dis) R 362841 362841 357244 0 -1 4194304 75004 0 0 0 1252 13 0 0 20 0 1 0 65679080 322260992 75097 134679101440 4194304 14093885 140730869629712 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 53731328 140730869638162 140730869638294 140730869638294 140730869645280 0
/proc/362842/statm: 78677 75097 2414 2417 0 75779 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 333300 KiB
Current children cumulated memory: 304200 KiB

[startup+25.5005 s]
/proc/loadavg: 4.15 4.16 4.17 5/255 362847
/proc/meminfo: memFree=127516112/131655788 swapFree=131071996/131071996
[pid=362838] ppid=362835 vsize=9932 memory=2836 CPUtime=0 cores=5,7
/proc/362838/stat : 362838 (Hybrid-CASHWMax) S 362835 362838 357244 0 -1 4194304 241 99 0 0 0 0 0 0 20 0 1 0 65679080 10170368 709 134679101440 94007055650816 94007056730136 140721095343696 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94007058828592 94007058875780 94007067004928 140721095345104 140721095345262 140721095345262 140721095352277 0
/proc/362838/statm: 2483 709 632 264 0 134 0
[pid=362841] ppid=362838 vsize=8660 memory=976 CPUtime=0 cores=5,7
/proc/362841/stat : 362841 (timeout) S 362838 362841 357244 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65679080 8867840 244 134679101440 94041374236672 94041374271688 140725910610320 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94041376369104 94041376371236 94041405423616 140725910615052 140725910615197 140725910615197 140725910622183 0
/proc/362841/statm: 2165 244 219 9 0 87 0
[pid=362842] ppid=362841 vsize=347184 memory=332784 CPUtime=25.41 cores=5,7
/proc/362842/stat : 362842 (CASHWMaxSAT-Dis) R 362841 362841 357244 0 -1 4194304 82584 0 0 0 2526 15 0 0 20 0 1 0 65679080 355516416 83196 134679101440 4194304 14093885 140730869629712 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 53731328 140730869638162 140730869638294 140730869638294 140730869645280 0
/proc/362842/statm: 86796 83196 2414 2417 0 83898 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 365776 KiB
Current children cumulated memory: 336596 KiB

[startup+51.1139 s]
/proc/loadavg: 4.09 4.14 4.17 5/255 362850
/proc/meminfo: memFree=127495828/131655788 swapFree=131071996/131071996
[pid=362838] ppid=362835 vsize=9932 memory=2836 CPUtime=0 cores=5,7
/proc/362838/stat : 362838 (Hybrid-CASHWMax) S 362835 362838 357244 0 -1 4194304 241 99 0 0 0 0 0 0 20 0 1 0 65679080 10170368 709 134679101440 94007055650816 94007056730136 140721095343696 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94007058828592 94007058875780 94007067004928 140721095345104 140721095345262 140721095345262 140721095352277 0
/proc/362838/statm: 2483 709 632 264 0 134 0
[pid=362841] ppid=362838 vsize=8660 memory=976 CPUtime=0 cores=5,7
/proc/362841/stat : 362841 (timeout) S 362838 362841 357244 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65679080 8867840 244 134679101440 94041374236672 94041374271688 140725910610320 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94041376369104 94041376371236 94041405423616 140725910615052 140725910615197 140725910615197 140725910622183 0
/proc/362841/statm: 2165 244 219 9 0 87 0
[pid=362842] ppid=362841 vsize=363396 memory=348920 CPUtime=50.96 cores=5,7
/proc/362842/stat : 362842 (CASHWMaxSAT-Dis) R 362841 362841 357244 0 -1 4194304 86121 0 0 0 5079 17 0 0 20 0 1 0 65679080 372117504 87230 134679101440 4194304 14093885 140730869629712 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 53731328 140730869638162 140730869638294 140730869638294 140730869645280 0
/proc/362842/statm: 90849 87230 2414 2417 0 87951 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 381988 KiB
Current children cumulated memory: 352732 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.13 4.16 5/255 362858
/proc/meminfo: memFree=127477216/131655788 swapFree=131071996/131071996
[pid=362838] ppid=362835 vsize=9932 memory=2836 CPUtime=0 cores=5,7

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

/proc/363870/statm: 55017 47240 748 737 0 54105 0
Current children cumulated CPU time: 3393.33 s
Current children cumulated vsize: 238660 KiB
Current children cumulated memory: 192908 KiB

[startup+3462.3 s]
/proc/loadavg: 1.16 1.23 1.94 2/228 364885
/proc/meminfo: memFree=129266644/131655788 swapFree=131071996/131071996
[pid=362838] ppid=362835 vsize=9932 memory=2900 CPUtime=1792.73 cores=5,7
/proc/362838/stat : 362838 (Hybrid-CASHWMax) S 362835 362838 357244 0 -1 4194304 273 370619 0 0 0 0 179057 216 20 0 1 0 65679080 10170368 725 134679101440 94007055650816 94007056730136 140721095343696 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94007058828592 94007058875780 94007067004928 140721095345104 140721095345262 140721095345262 140721095352277 0
/proc/362838/statm: 2483 725 632 264 0 134 0
[pid=363869] ppid=362838 vsize=8660 memory=1048 CPUtime=0 cores=5,7
/proc/363869/stat : 363869 (timeout) S 362838 363869 357244 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 65858882 8867840 262 134679101440 94272556670976 94272556705992 140732040353568 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94272558803408 94272558805540 94272585379840 140732040356852 140732040357021 140732040357021 140732040364007 0
/proc/363869/statm: 2165 262 238 9 0 87 0
[pid=363870] ppid=363869 vsize=221124 memory=189944 CPUtime=1660.48 cores=5,7
/proc/363870/stat : 363870 (Exact) R 363869 363869 357244 0 -1 4194304 29761 0 0 0 166031 17 0 0 20 0 1 0 65858882 226430976 47486 134679101440 4194304 7210733 140726418724208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 39825408 140726418732048 140726418732198 140726418732198 140726418739184 0
/proc/363870/statm: 55281 47486 748 737 0 54369 0
Current children cumulated CPU time: 3453.21 s
Current children cumulated vsize: 239716 KiB
Current children cumulated memory: 193892 KiB

[startup+3522.3 s]
/proc/loadavg: 1.16 1.22 1.89 2/228 364895
/proc/meminfo: memFree=129264600/131655788 swapFree=131071996/131071996
[pid=362838] ppid=362835 vsize=9932 memory=2900 CPUtime=1792.73 cores=5,7
/proc/362838/stat : 362838 (Hybrid-CASHWMax) S 362835 362838 357244 0 -1 4194304 273 370619 0 0 0 0 179057 216 20 0 1 0 65679080 10170368 725 134679101440 94007055650816 94007056730136 140721095343696 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94007058828592 94007058875780 94007067004928 140721095345104 140721095345262 140721095345262 140721095352277 0
/proc/362838/statm: 2483 725 632 264 0 134 0
[pid=363869] ppid=362838 vsize=8660 memory=1048 CPUtime=0 cores=5,7
/proc/363869/stat : 363869 (timeout) S 362838 363869 357244 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 65858882 8867840 262 134679101440 94272556670976 94272556705992 140732040353568 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94272558803408 94272558805540 94272585379840 140732040356852 140732040357021 140732040357021 140732040364007 0
/proc/363869/statm: 2165 262 238 9 0 87 0
[pid=363870] ppid=363869 vsize=222340 memory=191220 CPUtime=1720.35 cores=5,7
/proc/363870/stat : 363870 (Exact) R 363869 363869 357244 0 -1 4194304 30136 0 0 0 172018 17 0 0 20 0 1 0 65858882 227676160 47805 134679101440 4194304 7210733 140726418724208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 39825408 140726418732048 140726418732198 140726418732198 140726418739184 0
/proc/363870/statm: 55585 47805 748 737 0 54673 0
Current children cumulated CPU time: 3513.08 s
Current children cumulated vsize: 240932 KiB
Current children cumulated memory: 195168 KiB

[startup+3582.3 s]
/proc/loadavg: 1.10 1.19 1.83 2/228 364907
/proc/meminfo: memFree=129263824/131655788 swapFree=131071996/131071996
[pid=362838] ppid=362835 vsize=9932 memory=2900 CPUtime=1792.73 cores=5,7
/proc/362838/stat : 362838 (Hybrid-CASHWMax) S 362835 362838 357244 0 -1 4194304 273 370619 0 0 0 0 179057 216 20 0 1 0 65679080 10170368 725 134679101440 94007055650816 94007056730136 140721095343696 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94007058828592 94007058875780 94007067004928 140721095345104 140721095345262 140721095345262 140721095352277 0
/proc/362838/statm: 2483 725 632 264 0 134 0
[pid=363869] ppid=362838 vsize=8660 memory=1048 CPUtime=0 cores=5,7
/proc/363869/stat : 363869 (timeout) S 362838 363869 357244 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 65858882 8867840 262 134679101440 94272556670976 94272556705992 140732040353568 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94272558803408 94272558805540 94272585379840 140732040356852 140732040357021 140732040357021 140732040364007 0
/proc/363869/statm: 2165 262 238 9 0 87 0
[pid=363870] ppid=363869 vsize=222340 memory=191320 CPUtime=1780.23 cores=5,7
/proc/363870/stat : 363870 (Exact) R 363869 363869 357244 0 -1 4194304 30220 0 0 0 178005 18 0 0 20 0 1 0 65858882 227676160 47830 134679101440 4194304 7210733 140726418724208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 39825408 140726418732048 140726418732198 140726418732198 140726418739184 0
/proc/363870/statm: 55585 47830 748 737 0 54673 0
Current children cumulated CPU time: 3572.96 s
Current children cumulated vsize: 240932 KiB
Current children cumulated memory: 195268 KiB

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

# cumulated CPU time of all completed processes:  user=3584.36 s, system=2.37075 s

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

[startup+3584 s]*
/proc/loadavg: 1.10 1.19 1.83 2/228 364908
/proc/meminfo: memFree=129263796/131655788 swapFree=131071996/131071996
[pid=362838] ppid=362835 vsize=9932 memory=2900 CPUtime=1792.73 cores=5,7
/proc/362838/stat : 362838 (Hybrid-CASHWMax) S 362835 362838 357244 0 -1 4194304 273 370619 0 0 0 0 179057 216 20 0 1 0 65679080 10170368 725 134679101440 94007055650816 94007056730136 140721095343696 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94007058828592 94007058875780 94007067004928 140721095345104 140721095345262 140721095345262 140721095352277 0
/proc/362838/statm: 2483 725 632 264 0 134 0
[pid=363869] ppid=362838 vsize=8660 memory=1048 CPUtime=0 cores=5,7
/proc/363869/stat : 363869 (timeout) S 362838 363869 357244 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 65858882 8867840 262 134679101440 94272556670976 94272556705992 140732040353568 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94272558803408 94272558805540 94272585379840 140732040356852 140732040357021 140732040357021 140732040364007 0
/proc/363869/statm: 2165 262 238 9 0 87 0
[pid=363870] ppid=363869 vsize=222340 memory=191320 CPUtime=1781.94 cores=5,7
/proc/363870/stat : 363870 (Exact) R 363869 363869 357244 0 -1 4194304 30221 0 0 0 178176 18 0 0 20 0 1 0 65858882 227676160 47830 134679101440 4194304 7210733 140726418724208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 39825408 140726418732048 140726418732198 140726418732198 140726418739184 0
/proc/363870/statm: 55585 47830 748 737 0 54673 0
Current children cumulated CPU time: 3574.67 s
Current children cumulated vsize: 240932 KiB
Current children cumulated memory: 195268 KiB

[startup+3590.4 s]
/proc/loadavg: 1.09 1.19 1.83 2/228 364908
/proc/meminfo: memFree=129262844/131655788 swapFree=131071996/131071996
[pid=362838] ppid=362835 vsize=9932 memory=2900 CPUtime=1792.73 cores=5,7
/proc/362838/stat : 362838 (Hybrid-CASHWMax) S 362835 362838 357244 0 -1 4194304 273 370619 0 0 0 0 179057 216 20 0 1 0 65679080 10170368 725 134679101440 94007055650816 94007056730136 140721095343696 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94007058828592 94007058875780 94007067004928 140721095345104 140721095345262 140721095345262 140721095352277 0
/proc/362838/statm: 2483 725 632 264 0 134 0
[pid=363869] ppid=362838 vsize=8660 memory=1048 CPUtime=0 cores=5,7
/proc/363869/stat : 363869 (timeout) S 362838 363869 357244 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 65858882 8867840 262 134679101440 94272556670976 94272556705992 140732040353568 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94272558803408 94272558805540 94272585379840 140732040356852 140732040357021 140732040357021 140732040364007 0
/proc/363869/statm: 2165 262 238 9 0 87 0
[pid=363870] ppid=363869 vsize=223300 memory=192260 CPUtime=1788.32 cores=5,7
/proc/363870/stat : 363870 (Exact) R 363869 363869 357244 0 -1 4194304 30463 0 0 0 178814 18 0 0 20 0 1 0 65858882 228659200 48065 134679101440 4194304 7210733 140726418724208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 39825408 140726418732048 140726418732198 140726418732198 140726418739184 0
/proc/363870/statm: 55825 48065 748 737 0 54913 0
Current children cumulated CPU time: 3581.05 s
Current children cumulated vsize: 241892 KiB
Current children cumulated memory: 196208 KiB

[startup+3593.6 s]
/proc/loadavg: 1.16 1.20 1.83 2/228 364910
/proc/meminfo: memFree=129262836/131655788 swapFree=131071996/131071996
[pid=362838] ppid=362835 vsize=9932 memory=2900 CPUtime=1792.73 cores=5,7
/proc/362838/stat : 362838 (Hybrid-CASHWMax) S 362835 362838 357244 0 -1 4194304 273 370619 0 0 0 0 179057 216 20 0 1 0 65679080 10170368 725 134679101440 94007055650816 94007056730136 140721095343696 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94007058828592 94007058875780 94007067004928 140721095345104 140721095345262 140721095345262 140721095352277 0
/proc/362838/statm: 2483 725 632 264 0 134 0
[pid=363869] ppid=362838 vsize=8660 memory=1048 CPUtime=0 cores=5,7
/proc/363869/stat : 363869 (timeout) S 362838 363869 357244 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 65858882 8867840 262 134679101440 94272556670976 94272556705992 140732040353568 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94272558803408 94272558805540 94272585379840 140732040356852 140732040357021 140732040357021 140732040364007 0
/proc/363869/statm: 2165 262 238 9 0 87 0
[pid=363870] ppid=363869 vsize=223300 memory=192260 CPUtime=1791.51 cores=5,7
/proc/363870/stat : 363870 (Exact) R 363869 363869 357244 0 -1 4194304 30463 0 0 0 179133 18 0 0 20 0 1 0 65858882 228659200 48065 134679101440 4194304 7210733 140726418724208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 39825408 140726418732048 140726418732198 140726418732198 140726418739184 0
/proc/363870/statm: 55825 48065 748 737 0 54913 0
Current children cumulated CPU time: 3584.24 s
Current children cumulated vsize: 241892 KiB
Current children cumulated memory: 196208 KiB

[startup+3595.2 s]
/proc/loadavg: 1.16 1.20 1.83 2/228 364910
/proc/meminfo: memFree=129262788/131655788 swapFree=131071996/131071996
[pid=362838] ppid=362835 vsize=9932 memory=2900 CPUtime=1792.73 cores=5,7
/proc/362838/stat : 362838 (Hybrid-CASHWMax) S 362835 362838 357244 0 -1 4194304 273 370619 0 0 0 0 179057 216 20 0 1 0 65679080 10170368 725 134679101440 94007055650816 94007056730136 140721095343696 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94007058828592 94007058875780 94007067004928 140721095345104 140721095345262 140721095345262 140721095352277 0
/proc/362838/statm: 2483 725 632 264 0 134 0
[pid=363869] ppid=362838 vsize=8660 memory=1048 CPUtime=0 cores=5,7
/proc/363869/stat : 363869 (timeout) S 362838 363869 357244 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 65858882 8867840 262 134679101440 94272556670976 94272556705992 140732040353568 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94272558803408 94272558805540 94272585379840 140732040356852 140732040357021 140732040357021 140732040364007 0
/proc/363869/statm: 2165 262 238 9 0 87 0
[pid=363870] ppid=363869 vsize=223300 memory=192260 CPUtime=1793.11 cores=5,7
/proc/363870/stat : 363870 (Exact) R 363869 363869 357244 0 -1 4194304 30463 0 0 0 179293 18 0 0 20 0 1 0 65858882 228659200 48065 134679101440 4194304 7210733 140726418724208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 39825408 140726418732048 140726418732198 140726418732198 140726418739184 0
/proc/363870/statm: 55825 48065 748 737 0 54913 0
Current children cumulated CPU time: 3585.84 s
Current children cumulated vsize: 241892 KiB
Current children cumulated memory: 196208 KiB

[startup+3595.6 s]
/proc/loadavg: 1.16 1.20 1.83 2/228 364910
/proc/meminfo: memFree=129262788/131655788 swapFree=131071996/131071996
[pid=362838] ppid=362835 vsize=9932 memory=2900 CPUtime=1792.73 cores=5,7
/proc/362838/stat : 362838 (Hybrid-CASHWMax) S 362835 362838 357244 0 -1 4194304 273 370619 0 0 0 0 179057 216 20 0 1 0 65679080 10170368 725 134679101440 94007055650816 94007056730136 140721095343696 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94007058828592 94007058875780 94007067004928 140721095345104 140721095345262 140721095345262 140721095352277 0
/proc/362838/statm: 2483 725 632 264 0 134 0
[pid=363869] ppid=362838 vsize=8660 memory=1048 CPUtime=0 cores=5,7
/proc/363869/stat : 363869 (timeout) S 362838 363869 357244 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 65858882 8867840 262 134679101440 94272556670976 94272556705992 140732040353568 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94272558803408 94272558805540 94272585379840 140732040356852 140732040357021 140732040357021 140732040364007 0
/proc/363869/statm: 2165 262 238 9 0 87 0
[pid=363870] ppid=363869 vsize=223300 memory=192260 CPUtime=1793.51 cores=5,7
/proc/363870/stat : 363870 (Exact) R 363869 363869 357244 0 -1 4194304 30463 0 0 0 179333 18 0 0 20 0 1 0 65858882 228659200 48065 134679101440 4194304 7210733 140726418724208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 39825408 140726418732048 140726418732198 140726418732198 140726418739184 0
/proc/363870/statm: 55825 48065 748 737 0 54913 0
Current children cumulated CPU time: 3586.24 s
Current children cumulated vsize: 241892 KiB
Current children cumulated memory: 196208 KiB

[startup+3596 s]*
/proc/loadavg: 1.16 1.20 1.83 2/228 364910
/proc/meminfo: memFree=129262788/131655788 swapFree=131071996/131071996
[pid=362838] ppid=362835 vsize=9932 memory=2900 CPUtime=1792.73 cores=5,7
/proc/362838/stat : 362838 (Hybrid-CASHWMax) S 362835 362838 357244 0 -1 4194304 273 370619 0 0 0 0 179057 216 20 0 1 0 65679080 10170368 725 134679101440 94007055650816 94007056730136 140721095343696 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94007058828592 94007058875780 94007067004928 140721095345104 140721095345262 140721095345262 140721095352277 0
/proc/362838/statm: 2483 725 632 264 0 134 0
[pid=363869] ppid=362838 vsize=8660 memory=1048 CPUtime=0 cores=5,7
/proc/363869/stat : 363869 (timeout) S 362838 363869 357244 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 65858882 8867840 262 134679101440 94272556670976 94272556705992 140732040353568 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94272558803408 94272558805540 94272585379840 140732040356852 140732040357021 140732040357021 140732040364007 0
/proc/363869/statm: 2165 262 238 9 0 87 0
[pid=363870] ppid=363869 vsize=223300 memory=192260 CPUtime=1793.92 cores=5,7
/proc/363870/stat : 363870 (Exact) R 363869 363869 357244 0 -1 4194304 30463 0 0 0 179374 18 0 0 20 0 1 0 65858882 228659200 48065 134679101440 4194304 7210733 140726418724208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 39825408 140726418732048 140726418732198 140726418732198 140726418739184 0
/proc/363870/statm: 55825 48065 748 737 0 54913 0
Current children cumulated CPU time: 3586.65 s
Current children cumulated vsize: 241892 KiB
Current children cumulated memory: 196208 KiB

Child status: 0

Real time (s): 3596.06
CPU time (s): 3586.73
CPU user time (s): 3584.36
CPU system time (s): 2.37075
CPU usage (%): 99.7406
Max. virtual memory (cumulated for all children) (KiB): 2261788
Max. memory (cumulated for all children) (KiB): 1921740

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.36
system time used= 2.37075
maximum resident set size= 1965852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 404345
page faults= 0
swaps= 0
block input operations= 0
block output operations= 128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 237
involuntary context switches= 2720


# summary of solver processes directly reported to runsolver:
#   pid: 362838
#   total CPU time (s): 3586.73
#   total CPU user time (s): 3584.36
#   total CPU system time (s): 2.37075

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.327 second user time and 38.2662 second system time

The end