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: 63794 MiB (60582 MiB free)
  memory of node 1: 64507 MiB (59185 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4488750-1751334611/watcher-4488750-1751334611 -o /tmp/evaluation-result-4488750-1751334611/solver-4488750-1751334611 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751326195-45918 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCad+ExactPRS HOME/instance-4488750-1751334611.opb 3600 HOME 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=48867, runsolver pid=48864

[startup+0.100106 s]*
/proc/loadavg: 4.17 4.11 4.10 5/258 48871
/proc/meminfo: memFree=122641296/131382112 swapFree=33010684/33010684
[pid=48867] ppid=48864 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/48867/stat : 48867 (Hybrid-CASHWMax) S 48864 48867 45908 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 49140903 4427776 736 18446744073709551615 94333788323840 94333789218373 140734728142400 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94333789457424 94333789505168 94333804048384 140734728149335 140734728149489 140734728149489 140734728155091 0
/proc/48867/statm: 1081 736 672 219 0 143 0
[pid=48870] ppid=48867 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/48870/stat : 48870 (timeout) S 48867 48870 45908 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 49140906 2723840 320 18446744073709551615 94017761112064 94017761128577 140731012808992 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94017761143344 94017761145432 94017791836160 140731012811158 140731012811298 140731012811298 140731012816871 0
/proc/48870/statm: 665 320 320 5 0 90 0
[pid=48871] ppid=48870 vsize=22180 memory=8064 CPUtime=0.07 cores=0,2
/proc/48871/stat : 48871 (CASHWMaxSAT-Dis) R 48870 48870 45908 0 -1 4194304 1177 0 0 0 7 0 0 0 20 0 1 0 49140907 22712320 2016 18446744073709551615 4198400 14817773 140723453533440 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 55451648 140723453540764 140723453540891 140723453540891 140723453546464 0
/proc/48871/statm: 5545 2016 928 2593 0 2438 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 29164 KiB
Current children cumulated memory: 12288 KiB

[startup+0.214084 s]*
/proc/loadavg: 4.17 4.11 4.10 6/258 48871
/proc/meminfo: memFree=122641296/131382112 swapFree=33010684/33010684
[pid=48867] ppid=48864 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/48867/stat : 48867 (Hybrid-CASHWMax) S 48864 48867 45908 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 49140903 4427776 736 18446744073709551615 94333788323840 94333789218373 140734728142400 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94333789457424 94333789505168 94333804048384 140734728149335 140734728149489 140734728149489 140734728155091 0
/proc/48867/statm: 1081 736 672 219 0 143 0
[pid=48870] ppid=48867 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/48870/stat : 48870 (timeout) S 48867 48870 45908 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 49140906 2723840 320 18446744073709551615 94017761112064 94017761128577 140731012808992 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94017761143344 94017761145432 94017791836160 140731012811158 140731012811298 140731012811298 140731012816871 0
/proc/48870/statm: 665 320 320 5 0 90 0
[pid=48871] ppid=48870 vsize=22180 memory=8192 CPUtime=0.18 cores=0,2
/proc/48871/stat : 48871 (CASHWMaxSAT-Dis) R 48870 48870 45908 0 -1 4194304 1178 0 0 0 18 0 0 0 20 0 1 0 49140907 22712320 2048 18446744073709551615 4198400 14817773 140723453533440 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 55451648 140723453540764 140723453540891 140723453540891 140723453546464 0
/proc/48871/statm: 5545 2048 960 2593 0 2438 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 29164 KiB
Current children cumulated memory: 12416 KiB

[startup+0.313929 s]*
/proc/loadavg: 4.17 4.11 4.10 5/258 48871
/proc/meminfo: memFree=122641296/131382112 swapFree=33010684/33010684
[pid=48867] ppid=48864 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/48867/stat : 48867 (Hybrid-CASHWMax) S 48864 48867 45908 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 49140903 4427776 736 18446744073709551615 94333788323840 94333789218373 140734728142400 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94333789457424 94333789505168 94333804048384 140734728149335 140734728149489 140734728149489 140734728155091 0
/proc/48867/statm: 1081 736 672 219 0 143 0
[pid=48870] ppid=48867 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/48870/stat : 48870 (timeout) S 48867 48870 45908 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 49140906 2723840 320 18446744073709551615 94017761112064 94017761128577 140731012808992 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94017761143344 94017761145432 94017791836160 140731012811158 140731012811298 140731012811298 140731012816871 0
/proc/48870/statm: 665 320 320 5 0 90 0
[pid=48871] ppid=48870 vsize=22180 memory=8192 CPUtime=0.28 cores=0,2
/proc/48871/stat : 48871 (CASHWMaxSAT-Dis) R 48870 48870 45908 0 -1 4194304 1178 0 0 0 27 1 0 0 20 0 1 0 49140907 22712320 2048 18446744073709551615 4198400 14817773 140723453533440 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 55451648 140723453540764 140723453540891 140723453540891 140723453546464 0
/proc/48871/statm: 5545 2048 960 2593 0 2438 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 29164 KiB
Current children cumulated memory: 12416 KiB

[startup+0.700439 s]
/proc/loadavg: 4.17 4.11 4.10 5/258 48871
/proc/meminfo: memFree=122641296/131382112 swapFree=33010684/33010684
[pid=48867] ppid=48864 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/48867/stat : 48867 (Hybrid-CASHWMax) S 48864 48867 45908 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 49140903 4427776 736 18446744073709551615 94333788323840 94333789218373 140734728142400 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94333789457424 94333789505168 94333804048384 140734728149335 140734728149489 140734728149489 140734728155091 0
/proc/48867/statm: 1081 736 672 219 0 143 0
[pid=48870] ppid=48867 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/48870/stat : 48870 (timeout) S 48867 48870 45908 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 49140906 2723840 320 18446744073709551615 94017761112064 94017761128577 140731012808992 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94017761143344 94017761145432 94017791836160 140731012811158 140731012811298 140731012811298 140731012816871 0
/proc/48870/statm: 665 320 320 5 0 90 0
[pid=48871] ppid=48870 vsize=22180 memory=8192 CPUtime=0.65 cores=0,2
/proc/48871/stat : 48871 (CASHWMaxSAT-Dis) R 48870 48870 45908 0 -1 4194304 1178 0 0 0 63 2 0 0 20 0 1 0 49140907 22712320 2048 18446744073709551615 4198400 14817773 140723453533440 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 55451648 140723453540764 140723453540891 140723453540891 140723453546464 0
/proc/48871/statm: 5545 2048 960 2593 0 2438 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 29164 KiB
Current children cumulated memory: 12416 KiB

[startup+1.50045 s]
/proc/loadavg: 4.17 4.11 4.10 5/258 48871
/proc/meminfo: memFree=122641316/131382112 swapFree=33010684/33010684
[pid=48867] ppid=48864 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/48867/stat : 48867 (Hybrid-CASHWMax) S 48864 48867 45908 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 49140903 4427776 736 18446744073709551615 94333788323840 94333789218373 140734728142400 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94333789457424 94333789505168 94333804048384 140734728149335 140734728149489 140734728149489 140734728155091 0
/proc/48867/statm: 1081 736 672 219 0 143 0
[pid=48870] ppid=48867 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/48870/stat : 48870 (timeout) S 48867 48870 45908 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 49140906 2723840 320 18446744073709551615 94017761112064 94017761128577 140731012808992 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94017761143344 94017761145432 94017791836160 140731012811158 140731012811298 140731012811298 140731012816871 0
/proc/48870/statm: 665 320 320 5 0 90 0
[pid=48871] ppid=48870 vsize=32672 memory=18560 CPUtime=1.45 cores=0,2
/proc/48871/stat : 48871 (CASHWMaxSAT-Dis) R 48870 48870 45908 0 -1 4194304 3780 0 0 0 141 4 0 0 20 0 1 0 49140907 33456128 4640 18446744073709551615 4198400 14817773 140723453533440 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 55451648 140723453540764 140723453540891 140723453540891 140723453546464 0
/proc/48871/statm: 8168 4640 960 2593 0 5061 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 39656 KiB
Current children cumulated memory: 22784 KiB

[startup+3.1136 s]
/proc/loadavg: 4.17 4.11 4.10 5/258 48871
/proc/meminfo: memFree=122624940/131382112 swapFree=33010684/33010684
[pid=48867] ppid=48864 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/48867/stat : 48867 (Hybrid-CASHWMax) S 48864 48867 45908 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 49140903 4427776 736 18446744073709551615 94333788323840 94333789218373 140734728142400 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94333789457424 94333789505168 94333804048384 140734728149335 140734728149489 140734728149489 140734728155091 0
/proc/48867/statm: 1081 736 672 219 0 143 0
[pid=48870] ppid=48867 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/48870/stat : 48870 (timeout) S 48867 48870 45908 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 49140906 2723840 320 18446744073709551615 94017761112064 94017761128577 140731012808992 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94017761143344 94017761145432 94017791836160 140731012811158 140731012811298 140731012811298 140731012816871 0
/proc/48870/statm: 665 320 320 5 0 90 0
[pid=48871] ppid=48870 vsize=39184 memory=25148 CPUtime=3.05 cores=0,2
/proc/48871/stat : 48871 (CASHWMaxSAT-Dis) R 48870 48870 45908 0 -1 4194304 7678 0 0 0 300 5 0 0 20 0 1 0 49140907 40124416 6287 18446744073709551615 4198400 14817773 140723453533440 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 55451648 140723453540764 140723453540891 140723453540891 140723453546464 0
/proc/48871/statm: 9796 6287 992 2593 0 6689 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 46168 KiB
Current children cumulated memory: 29372 KiB

[startup+6.30043 s]
/proc/loadavg: 4.16 4.11 4.09 5/258 48871
/proc/meminfo: memFree=122619648/131382112 swapFree=33010684/33010684
[pid=48867] ppid=48864 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/48867/stat : 48867 (Hybrid-CASHWMax) S 48864 48867 45908 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 49140903 4427776 736 18446744073709551615 94333788323840 94333789218373 140734728142400 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94333789457424 94333789505168 94333804048384 140734728149335 140734728149489 140734728149489 140734728155091 0
/proc/48867/statm: 1081 736 672 219 0 143 0
[pid=48870] ppid=48867 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/48870/stat : 48870 (timeout) S 48867 48870 45908 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 49140906 2723840 320 18446744073709551615 94017761112064 94017761128577 140731012808992 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94017761143344 94017761145432 94017791836160 140731012811158 140731012811298 140731012811298 140731012816871 0
/proc/48870/statm: 665 320 320 5 0 90 0
[pid=48871] ppid=48870 vsize=40924 memory=27000 CPUtime=6.23 cores=0,2
/proc/48871/stat : 48871 (CASHWMaxSAT-Dis) R 48870 48870 45908 0 -1 4194304 11610 0 0 0 617 6 0 0 20 0 1 0 49140907 41906176 6750 18446744073709551615 4198400 14817773 140723453533440 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 55451648 140723453540764 140723453540891 140723453540891 140723453546464 0
/proc/48871/statm: 10231 6750 992 2593 0 7124 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 47908 KiB
Current children cumulated memory: 31224 KiB

[startup+12.7004 s]
/proc/loadavg: 4.15 4.11 4.09 5/258 48873
/proc/meminfo: memFree=122661152/131382112 swapFree=33010684/33010684
[pid=48867] ppid=48864 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/48867/stat : 48867 (Hybrid-CASHWMax) S 48864 48867 45908 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 49140903 4427776 736 18446744073709551615 94333788323840 94333789218373 140734728142400 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94333789457424 94333789505168 94333804048384 140734728149335 140734728149489 140734728149489 140734728155091 0
/proc/48867/statm: 1081 736 672 219 0 143 0
[pid=48870] ppid=48867 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/48870/stat : 48870 (timeout) S 48867 48870 45908 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 49140906 2723840 320 18446744073709551615 94017761112064 94017761128577 140731012808992 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94017761143344 94017761145432 94017791836160 140731012811158 140731012811298 140731012811298 140731012816871 0
/proc/48870/statm: 665 320 320 5 0 90 0
[pid=48871] ppid=48870 vsize=44664 memory=30624 CPUtime=12.62 cores=0,2
/proc/48871/stat : 48871 (CASHWMaxSAT-Dis) R 48870 48870 45908 0 -1 4194304 15617 0 0 0 1255 7 0 0 20 0 1 0 49140907 45735936 7656 18446744073709551615 4198400 14817773 140723453533440 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 55451648 140723453540764 140723453540891 140723453540891 140723453546464 0
/proc/48871/statm: 11166 7656 992 2593 0 8059 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 51648 KiB
Current children cumulated memory: 34848 KiB

[startup+25.5005 s]
/proc/loadavg: 4.18 4.12 4.10 5/258 48874
/proc/meminfo: memFree=122606672/131382112 swapFree=33010684/33010684
[pid=48867] ppid=48864 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/48867/stat : 48867 (Hybrid-CASHWMax) S 48864 48867 45908 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 49140903 4427776 736 18446744073709551615 94333788323840 94333789218373 140734728142400 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94333789457424 94333789505168 94333804048384 140734728149335 140734728149489 140734728149489 140734728155091 0
/proc/48867/statm: 1081 736 672 219 0 143 0
[pid=48870] ppid=48867 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/48870/stat : 48870 (timeout) S 48867 48870 45908 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 49140906 2723840 320 18446744073709551615 94017761112064 94017761128577 140731012808992 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94017761143344 94017761145432 94017791836160 140731012811158 140731012811298 140731012811298 140731012816871 0
/proc/48870/statm: 665 320 320 5 0 90 0
[pid=48871] ppid=48870 vsize=46108 memory=32156 CPUtime=25.38 cores=0,2
/proc/48871/stat : 48871 (CASHWMaxSAT-Dis) R 48870 48870 45908 0 -1 4194304 19121 0 0 0 2530 8 0 0 20 0 1 0 49140907 47214592 8039 18446744073709551615 4198400 14817773 140723453533440 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 55451648 140723453540764 140723453540891 140723453540891 140723453546464 0
/proc/48871/statm: 11527 8039 992 2593 0 8420 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 53092 KiB
Current children cumulated memory: 36380 KiB

[startup+51.1135 s]
/proc/loadavg: 4.12 4.11 4.09 5/257 48874
/proc/meminfo: memFree=122550628/131382112 swapFree=33010684/33010684
[pid=48867] ppid=48864 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/48867/stat : 48867 (Hybrid-CASHWMax) S 48864 48867 45908 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 49140903 4427776 736 18446744073709551615 94333788323840 94333789218373 140734728142400 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94333789457424 94333789505168 94333804048384 140734728149335 140734728149489 140734728149489 140734728155091 0
/proc/48867/statm: 1081 736 672 219 0 143 0
[pid=48870] ppid=48867 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/48870/stat : 48870 (timeout) S 48867 48870 45908 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 49140906 2723840 320 18446744073709551615 94017761112064 94017761128577 140731012808992 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94017761143344 94017761145432 94017791836160 140731012811158 140731012811298 140731012811298 140731012816871 0
/proc/48870/statm: 665 320 320 5 0 90 0
[pid=48871] ppid=48870 vsize=67568 memory=53308 CPUtime=50.91 cores=0,2
/proc/48871/stat : 48871 (CASHWMaxSAT-Dis) R 48870 48870 45908 0 -1 4194304 27236 0 0 0 5080 11 0 0 20 0 1 0 49140907 69189632 13327 18446744073709551615 4198400 14817773 140723453533440 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 55451648 140723453540764 140723453540891 140723453540891 140723453546464 0
/proc/48871/statm: 16892 13327 992 2593 0 13785 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 74552 KiB
Current children cumulated memory: 57532 KiB

[startup+102.3 s]
/proc/loadavg: 4.54 4.22 4.13 5/257 48876
/proc/meminfo: memFree=122476848/131382112 swapFree=33010684/33010684
[pid=48867] ppid=48864 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/48867/stat : 48867 (Hybrid-CASHWMax) S 48864 48867 45908 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 49140903 4427776 736 18446744073709551615 94333788323840 94333789218373 140734728142400 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94333789457424 94333789505168 94333804048384 140734728149335 140734728149489 140734728149489 140734728155091 0
/proc/48867/statm: 1081 736 672 219 0 143 0

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

/proc/48867/statm: 1081 736 672 219 0 143 0
[pid=49009] ppid=48867 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/49009/stat : 49009 (timeout) S 48867 49009 45908 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 49260707 2723840 352 18446744073709551615 94137467879424 94137467895937 140725318946960 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94137467910704 94137467912792 94137468198912 140725318953350 140725318953506 140725318953506 140725318959079 0
/proc/49009/statm: 665 352 352 5 0 90 0
[pid=49010] ppid=49009 vsize=284684 memory=269140 CPUtime=2257.68 cores=0,2
/proc/49010/stat : 49010 (ExactPR-S) R 49009 49009 45908 0 -1 4194304 82030 0 0 0 224195 1573 0 0 20 0 1 0 49260708 291516416 67285 18446744073709551615 93898876637184 93898885937221 140723169631504 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93898887723328 93898887762408 93898929135616 140723169634718 140723169634855 140723169634855 140723169640428 0
/proc/49010/statm: 71171 67285 3456 2271 0 65809 0
Current children cumulated CPU time: 3451.61 s
Current children cumulated vsize: 291668 KiB
Current children cumulated memory: 273492 KiB

[startup+3522.3 s]
/proc/loadavg: 2.50 2.31 2.88 3/240 49228
/proc/meminfo: memFree=122640636/131382112 swapFree=33010684/33010684
[pid=48867] ppid=48864 vsize=4324 memory=2944 CPUtime=1193.93 cores=0,2
/proc/48867/stat : 48867 (Hybrid-CASHWMax) S 48864 48867 45908 0 -1 4194304 285 60579 0 0 0 0 119365 28 20 0 1 0 49140903 4427776 736 18446744073709551615 94333788323840 94333789218373 140734728142400 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94333789457424 94333789505168 94333804048384 140734728149335 140734728149489 140734728149489 140734728155091 0
/proc/48867/statm: 1081 736 672 219 0 143 0
[pid=49009] ppid=48867 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/49009/stat : 49009 (timeout) S 48867 49009 45908 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 49260707 2723840 352 18446744073709551615 94137467879424 94137467895937 140725318946960 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94137467910704 94137467912792 94137468198912 140725318953350 140725318953506 140725318953506 140725318959079 0
/proc/49009/statm: 665 352 352 5 0 90 0
[pid=49010] ppid=49009 vsize=284684 memory=269140 CPUtime=2317.52 cores=0,2
/proc/49010/stat : 49010 (ExactPR-S) R 49009 49009 45908 0 -1 4194304 82030 0 0 0 230156 1596 0 0 20 0 1 0 49260708 291516416 67285 18446744073709551615 93898876637184 93898885937221 140723169631504 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93898887723328 93898887762408 93898929135616 140723169634718 140723169634855 140723169634855 140723169640428 0
/proc/49010/statm: 71171 67285 3456 2271 0 65809 0
Current children cumulated CPU time: 3511.45 s
Current children cumulated vsize: 291668 KiB
Current children cumulated memory: 273492 KiB

[startup+3582.3 s]
/proc/loadavg: 2.58 2.38 2.87 3/241 49231
/proc/meminfo: memFree=122613496/131382112 swapFree=33010684/33010684
[pid=48867] ppid=48864 vsize=4324 memory=2944 CPUtime=1193.93 cores=0,2
/proc/48867/stat : 48867 (Hybrid-CASHWMax) S 48864 48867 45908 0 -1 4194304 285 60579 0 0 0 0 119365 28 20 0 1 0 49140903 4427776 736 18446744073709551615 94333788323840 94333789218373 140734728142400 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94333789457424 94333789505168 94333804048384 140734728149335 140734728149489 140734728149489 140734728155091 0
/proc/48867/statm: 1081 736 672 219 0 143 0
[pid=49009] ppid=48867 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/49009/stat : 49009 (timeout) S 48867 49009 45908 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 49260707 2723840 352 18446744073709551615 94137467879424 94137467895937 140725318946960 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94137467910704 94137467912792 94137468198912 140725318953350 140725318953506 140725318953506 140725318959079 0
/proc/49009/statm: 665 352 352 5 0 90 0
[pid=49010] ppid=49009 vsize=284684 memory=269140 CPUtime=2377.35 cores=0,2
/proc/49010/stat : 49010 (ExactPR-S) R 49009 49009 45908 0 -1 4194304 82030 0 0 0 236115 1620 0 0 20 0 1 0 49260708 291516416 67285 18446744073709551615 93898876637184 93898885937221 140723169631504 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93898887723328 93898887762408 93898929135616 140723169634718 140723169634855 140723169634855 140723169640428 0
/proc/49010/statm: 71171 67285 3456 2271 0 65809 0
Current children cumulated CPU time: 3571.28 s
Current children cumulated vsize: 291668 KiB
Current children cumulated memory: 273492 KiB

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

# cumulated CPU time of all completed processes:  user=3568.49 s, system=16.6015 s

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

[startup+3584 s]*
/proc/loadavg: 2.58 2.38 2.87 3/241 49231
/proc/meminfo: memFree=122613748/131382112 swapFree=33010684/33010684
[pid=48867] ppid=48864 vsize=4324 memory=2944 CPUtime=1193.93 cores=0,2
/proc/48867/stat : 48867 (Hybrid-CASHWMax) S 48864 48867 45908 0 -1 4194304 285 60579 0 0 0 0 119365 28 20 0 1 0 49140903 4427776 736 18446744073709551615 94333788323840 94333789218373 140734728142400 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94333789457424 94333789505168 94333804048384 140734728149335 140734728149489 140734728149489 140734728155091 0
/proc/48867/statm: 1081 736 672 219 0 143 0
[pid=49009] ppid=48867 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/49009/stat : 49009 (timeout) S 48867 49009 45908 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 49260707 2723840 352 18446744073709551615 94137467879424 94137467895937 140725318946960 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94137467910704 94137467912792 94137468198912 140725318953350 140725318953506 140725318953506 140725318959079 0
/proc/49009/statm: 665 352 352 5 0 90 0
[pid=49010] ppid=49009 vsize=284684 memory=269140 CPUtime=2379.07 cores=0,2
/proc/49010/stat : 49010 (ExactPR-S) R 49009 49009 45908 0 -1 4194304 82030 0 0 0 236286 1621 0 0 20 0 1 0 49260708 291516416 67285 18446744073709551615 93898876637184 93898885937221 140723169631504 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93898887723328 93898887762408 93898929135616 140723169634718 140723169634855 140723169634855 140723169640428 0
/proc/49010/statm: 71171 67285 3456 2271 0 65809 0
Current children cumulated CPU time: 3573 s
Current children cumulated vsize: 291668 KiB
Current children cumulated memory: 273492 KiB

[startup+3590.4 s]
/proc/loadavg: 2.53 2.38 2.87 3/241 49232
/proc/meminfo: memFree=122613748/131382112 swapFree=33010684/33010684
[pid=48867] ppid=48864 vsize=4324 memory=2944 CPUtime=1193.93 cores=0,2
/proc/48867/stat : 48867 (Hybrid-CASHWMax) S 48864 48867 45908 0 -1 4194304 285 60579 0 0 0 0 119365 28 20 0 1 0 49140903 4427776 736 18446744073709551615 94333788323840 94333789218373 140734728142400 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94333789457424 94333789505168 94333804048384 140734728149335 140734728149489 140734728149489 140734728155091 0
/proc/48867/statm: 1081 736 672 219 0 143 0
[pid=49009] ppid=48867 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/49009/stat : 49009 (timeout) S 48867 49009 45908 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 49260707 2723840 352 18446744073709551615 94137467879424 94137467895937 140725318946960 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94137467910704 94137467912792 94137468198912 140725318953350 140725318953506 140725318953506 140725318959079 0
/proc/49009/statm: 665 352 352 5 0 90 0
[pid=49010] ppid=49009 vsize=284684 memory=269140 CPUtime=2385.43 cores=0,2
/proc/49010/stat : 49010 (ExactPR-S) R 49009 49009 45908 0 -1 4194304 82030 0 0 0 236921 1622 0 0 20 0 1 0 49260708 291516416 67285 18446744073709551615 93898876637184 93898885937221 140723169631504 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93898887723328 93898887762408 93898929135616 140723169634718 140723169634855 140723169634855 140723169640428 0
/proc/49010/statm: 71171 67285 3456 2271 0 65809 0
Current children cumulated CPU time: 3579.36 s
Current children cumulated vsize: 291668 KiB
Current children cumulated memory: 273492 KiB

[startup+3593.6 s]
/proc/loadavg: 2.57 2.39 2.87 3/241 49232
/proc/meminfo: memFree=122614000/131382112 swapFree=33010684/33010684
[pid=48867] ppid=48864 vsize=4324 memory=2944 CPUtime=1193.93 cores=0,2
/proc/48867/stat : 48867 (Hybrid-CASHWMax) S 48864 48867 45908 0 -1 4194304 285 60579 0 0 0 0 119365 28 20 0 1 0 49140903 4427776 736 18446744073709551615 94333788323840 94333789218373 140734728142400 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94333789457424 94333789505168 94333804048384 140734728149335 140734728149489 140734728149489 140734728155091 0
/proc/48867/statm: 1081 736 672 219 0 143 0
[pid=49009] ppid=48867 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/49009/stat : 49009 (timeout) S 48867 49009 45908 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 49260707 2723840 352 18446744073709551615 94137467879424 94137467895937 140725318946960 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94137467910704 94137467912792 94137468198912 140725318953350 140725318953506 140725318953506 140725318959079 0
/proc/49009/statm: 665 352 352 5 0 90 0
[pid=49010] ppid=49009 vsize=284684 memory=269140 CPUtime=2388.63 cores=0,2
/proc/49010/stat : 49010 (ExactPR-S) R 49009 49009 45908 0 -1 4194304 82030 0 0 0 237239 1624 0 0 20 0 1 0 49260708 291516416 67285 18446744073709551615 93898876637184 93898885937221 140723169631504 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93898887723328 93898887762408 93898929135616 140723169634718 140723169634855 140723169634855 140723169640428 0
/proc/49010/statm: 71171 67285 3456 2271 0 65809 0
Current children cumulated CPU time: 3582.56 s
Current children cumulated vsize: 291668 KiB
Current children cumulated memory: 273492 KiB

[startup+3595.2 s]
/proc/loadavg: 2.57 2.39 2.87 3/241 49232
/proc/meminfo: memFree=122614000/131382112 swapFree=33010684/33010684
[pid=48867] ppid=48864 vsize=4324 memory=2944 CPUtime=1193.93 cores=0,2
/proc/48867/stat : 48867 (Hybrid-CASHWMax) S 48864 48867 45908 0 -1 4194304 285 60579 0 0 0 0 119365 28 20 0 1 0 49140903 4427776 736 18446744073709551615 94333788323840 94333789218373 140734728142400 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94333789457424 94333789505168 94333804048384 140734728149335 140734728149489 140734728149489 140734728155091 0
/proc/48867/statm: 1081 736 672 219 0 143 0
[pid=49009] ppid=48867 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/49009/stat : 49009 (timeout) S 48867 49009 45908 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 49260707 2723840 352 18446744073709551615 94137467879424 94137467895937 140725318946960 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94137467910704 94137467912792 94137468198912 140725318953350 140725318953506 140725318953506 140725318959079 0
/proc/49009/statm: 665 352 352 5 0 90 0
[pid=49010] ppid=49009 vsize=284684 memory=269140 CPUtime=2390.22 cores=0,2
/proc/49010/stat : 49010 (ExactPR-S) R 49009 49009 45908 0 -1 4194304 82030 0 0 0 237397 1625 0 0 20 0 1 0 49260708 291516416 67285 18446744073709551615 93898876637184 93898885937221 140723169631504 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93898887723328 93898887762408 93898929135616 140723169634718 140723169634855 140723169634855 140723169640428 0
/proc/49010/statm: 71171 67285 3456 2271 0 65809 0
Current children cumulated CPU time: 3584.15 s
Current children cumulated vsize: 291668 KiB
Current children cumulated memory: 273492 KiB

[startup+3595.6 s]
/proc/loadavg: 2.57 2.39 2.87 3/241 49232
/proc/meminfo: memFree=122614000/131382112 swapFree=33010684/33010684
[pid=48867] ppid=48864 vsize=4324 memory=2944 CPUtime=1193.93 cores=0,2
/proc/48867/stat : 48867 (Hybrid-CASHWMax) S 48864 48867 45908 0 -1 4194304 285 60579 0 0 0 0 119365 28 20 0 1 0 49140903 4427776 736 18446744073709551615 94333788323840 94333789218373 140734728142400 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94333789457424 94333789505168 94333804048384 140734728149335 140734728149489 140734728149489 140734728155091 0
/proc/48867/statm: 1081 736 672 219 0 143 0
[pid=49009] ppid=48867 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/49009/stat : 49009 (timeout) S 48867 49009 45908 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 49260707 2723840 352 18446744073709551615 94137467879424 94137467895937 140725318946960 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94137467910704 94137467912792 94137468198912 140725318953350 140725318953506 140725318953506 140725318959079 0
/proc/49009/statm: 665 352 352 5 0 90 0
[pid=49010] ppid=49009 vsize=284684 memory=269140 CPUtime=2390.62 cores=0,2
/proc/49010/stat : 49010 (ExactPR-S) R 49009 49009 45908 0 -1 4194304 82030 0 0 0 237437 1625 0 0 20 0 1 0 49260708 291516416 67285 18446744073709551615 93898876637184 93898885937221 140723169631504 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93898887723328 93898887762408 93898929135616 140723169634718 140723169634855 140723169634855 140723169640428 0
/proc/49010/statm: 71171 67285 3456 2271 0 65809 0
Current children cumulated CPU time: 3584.55 s
Current children cumulated vsize: 291668 KiB
Current children cumulated memory: 273492 KiB

[startup+3596 s]*
/proc/loadavg: 2.52 2.38 2.87 3/241 49232
/proc/meminfo: memFree=122614000/131382112 swapFree=33010684/33010684
[pid=48867] ppid=48864 vsize=4324 memory=2944 CPUtime=1193.93 cores=0,2
/proc/48867/stat : 48867 (Hybrid-CASHWMax) S 48864 48867 45908 0 -1 4194304 285 60579 0 0 0 0 119365 28 20 0 1 0 49140903 4427776 736 18446744073709551615 94333788323840 94333789218373 140734728142400 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94333789457424 94333789505168 94333804048384 140734728149335 140734728149489 140734728149489 140734728155091 0
/proc/48867/statm: 1081 736 672 219 0 143 0
[pid=49009] ppid=48867 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/49009/stat : 49009 (timeout) S 48867 49009 45908 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 49260707 2723840 352 18446744073709551615 94137467879424 94137467895937 140725318946960 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94137467910704 94137467912792 94137468198912 140725318953350 140725318953506 140725318953506 140725318959079 0
/proc/49009/statm: 665 352 352 5 0 90 0
[pid=49010] ppid=49009 vsize=284684 memory=269140 CPUtime=2391.03 cores=0,2
/proc/49010/stat : 49010 (ExactPR-S) R 49009 49009 45908 0 -1 4194304 82030 0 0 0 237478 1625 0 0 20 0 1 0 49260708 291516416 67285 18446744073709551615 93898876637184 93898885937221 140723169631504 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93898887723328 93898887762408 93898929135616 140723169634718 140723169634855 140723169634855 140723169640428 0
/proc/49010/statm: 71171 67285 3456 2271 0 65809 0
Current children cumulated CPU time: 3584.96 s
Current children cumulated vsize: 291668 KiB
Current children cumulated memory: 273492 KiB

[startup+3596.11 s]
/proc/loadavg: 2.52 2.38 2.87 3/241 49232
/proc/meminfo: memFree=122614000/131382112 swapFree=33010684/33010684
[pid=48867] ppid=48864 vsize=4324 memory=2944 CPUtime=3585.04 cores=0,2
/proc/48867/stat : 48867 (Hybrid-CASHWMax) S 48864 48867 45908 0 -1 4194304 375 143877 0 1 0 0 356848 1656 20 0 1 0 49140903 4427776 736 18446744073709551615 94333788323840 94333789218373 140734728142400 0 0 0 2 4 65536 1 0 0 17 2 0 0 0 0 0 94333789457424 94333789505168 94333804048384 140734728149335 140734728149489 140734728149489 140734728155091 0
/proc/48867/statm: 1081 736 672 219 0 143 0
Current children cumulated CPU time: 3585.04 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 2944 KiB

Child status: 0

Real time (s): 3596.17
CPU time (s): 3585.09
CPU user time (s): 3568.49
CPU system time (s): 16.6015
CPU usage (%): 99.6919
Max. virtual memory (cumulated for all children) (KiB): 376056
Max. memory (cumulated for all children) (KiB): 335448

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3568.49
system time used= 16.6015
maximum resident set size= 331520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 146146
page faults= 1
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2006
involuntary context switches= 8050


# summary of solver processes directly reported to runsolver:
#   pid: 48867
#   total CPU time (s): 3585.09
#   total CPU user time (s): 3568.49
#   total CPU system time (s): 16.6015

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.0118 second user time and 37.2029 second system time

The end