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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4488797-1751335464/watcher-4488797-1751335464 -o /tmp/evaluation-result-4488797-1751335464/solver-4488797-1751335464 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751326134-42696 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS HOME/instance-4488797-1751335464.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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=45776, runsolver pid=45773

[startup+0.100063 s]*
/proc/loadavg: 4.08 4.14 4.11 5/272 45780
/proc/meminfo: memFree=129251152/131250000 swapFree=33010684/33010684
[pid=45776] ppid=45773 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/45776/stat : 45776 (Hybrid-CASHWMax) S 45773 45776 42686 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 49168948 4427776 736 18446744073709551615 94392556294144 94392557188677 140734076392608 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94392557427728 94392557475472 94392582561792 140734076397911 140734076398065 140734076398065 140734076403667 0
/proc/45776/statm: 1081 736 672 219 0 143 0
[pid=45779] ppid=45776 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/45779/stat : 45779 (timeout) S 45776 45779 42686 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 49168951 2723840 320 18446744073709551615 94166388142080 94166388158593 140725404821056 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94166388173360 94166388175448 94166407204864 140725404830102 140725404830242 140725404830242 140725404835815 0
/proc/45779/statm: 665 320 320 5 0 90 0
[pid=45780] ppid=45779 vsize=21312 memory=7424 CPUtime=0.05 cores=0,2
/proc/45780/stat : 45780 (CASHWMaxSAT-Dis) R 45779 45779 42686 0 -1 4194304 1161 0 0 0 5 0 0 0 20 0 1 0 49168953 21823488 1856 18446744073709551615 4198400 14093885 140731461272944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 39714816 140731461278108 140731461278235 140731461278235 140731461283808 0
/proc/45780/statm: 5328 1856 768 2416 0 2430 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 28296 KiB
Current children cumulated memory: 11648 KiB

[startup+0.205782 s]*
/proc/loadavg: 4.08 4.14 4.11 5/272 45780
/proc/meminfo: memFree=129251152/131250000 swapFree=33010684/33010684
[pid=45776] ppid=45773 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/45776/stat : 45776 (Hybrid-CASHWMax) S 45773 45776 42686 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 49168948 4427776 736 18446744073709551615 94392556294144 94392557188677 140734076392608 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94392557427728 94392557475472 94392582561792 140734076397911 140734076398065 140734076398065 140734076403667 0
/proc/45776/statm: 1081 736 672 219 0 143 0
[pid=45779] ppid=45776 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/45779/stat : 45779 (timeout) S 45776 45779 42686 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 49168951 2723840 320 18446744073709551615 94166388142080 94166388158593 140725404821056 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94166388173360 94166388175448 94166407204864 140725404830102 140725404830242 140725404830242 140725404835815 0
/proc/45779/statm: 665 320 320 5 0 90 0
[pid=45780] ppid=45779 vsize=21312 memory=7424 CPUtime=0.16 cores=0,2
/proc/45780/stat : 45780 (CASHWMaxSAT-Dis) R 45779 45779 42686 0 -1 4194304 1161 0 0 0 16 0 0 0 20 0 1 0 49168953 21823488 1856 18446744073709551615 4198400 14093885 140731461272944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 39714816 140731461278108 140731461278235 140731461278235 140731461283808 0
/proc/45780/statm: 5328 1856 768 2416 0 2430 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 28296 KiB
Current children cumulated memory: 11648 KiB

[startup+0.305698 s]*
/proc/loadavg: 4.08 4.14 4.11 5/272 45780
/proc/meminfo: memFree=129251152/131250000 swapFree=33010684/33010684
[pid=45776] ppid=45773 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/45776/stat : 45776 (Hybrid-CASHWMax) S 45773 45776 42686 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 49168948 4427776 736 18446744073709551615 94392556294144 94392557188677 140734076392608 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94392557427728 94392557475472 94392582561792 140734076397911 140734076398065 140734076398065 140734076403667 0
/proc/45776/statm: 1081 736 672 219 0 143 0
[pid=45779] ppid=45776 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/45779/stat : 45779 (timeout) S 45776 45779 42686 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 49168951 2723840 320 18446744073709551615 94166388142080 94166388158593 140725404821056 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94166388173360 94166388175448 94166407204864 140725404830102 140725404830242 140725404830242 140725404835815 0
/proc/45779/statm: 665 320 320 5 0 90 0
[pid=45780] ppid=45779 vsize=22368 memory=8448 CPUtime=0.26 cores=0,2
/proc/45780/stat : 45780 (CASHWMaxSAT-Dis) R 45779 45779 42686 0 -1 4194304 1439 0 0 0 26 0 0 0 20 0 1 0 49168953 22904832 2112 18446744073709551615 4198400 14093885 140731461272944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 39714816 140731461278108 140731461278235 140731461278235 140731461283808 0
/proc/45780/statm: 5592 2112 768 2416 0 2694 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 29352 KiB
Current children cumulated memory: 12672 KiB

[startup+0.700251 s]
/proc/loadavg: 4.08 4.14 4.11 5/272 45780
/proc/meminfo: memFree=129251252/131250000 swapFree=33010684/33010684
[pid=45776] ppid=45773 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/45776/stat : 45776 (Hybrid-CASHWMax) S 45773 45776 42686 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 49168948 4427776 736 18446744073709551615 94392556294144 94392557188677 140734076392608 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94392557427728 94392557475472 94392582561792 140734076397911 140734076398065 140734076398065 140734076403667 0
/proc/45776/statm: 1081 736 672 219 0 143 0
[pid=45779] ppid=45776 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/45779/stat : 45779 (timeout) S 45776 45779 42686 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 49168951 2723840 320 18446744073709551615 94166388142080 94166388158593 140725404821056 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94166388173360 94166388175448 94166407204864 140725404830102 140725404830242 140725404830242 140725404835815 0
/proc/45779/statm: 665 320 320 5 0 90 0
[pid=45780] ppid=45779 vsize=34368 memory=20096 CPUtime=0.64 cores=0,2
/proc/45780/stat : 45780 (CASHWMaxSAT-Dis) R 45779 45779 42686 0 -1 4194304 4365 0 0 0 64 0 0 0 20 0 1 0 49168953 35192832 5024 18446744073709551615 4198400 14093885 140731461272944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 39714816 140731461278108 140731461278235 140731461278235 140731461283808 0
/proc/45780/statm: 8592 5024 768 2416 0 5694 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 41352 KiB
Current children cumulated memory: 24320 KiB

[startup+1.50024 s]
/proc/loadavg: 4.08 4.14 4.11 5/272 45780
/proc/meminfo: memFree=129243440/131250000 swapFree=33010684/33010684
[pid=45776] ppid=45773 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/45776/stat : 45776 (Hybrid-CASHWMax) S 45773 45776 42686 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 49168948 4427776 736 18446744073709551615 94392556294144 94392557188677 140734076392608 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94392557427728 94392557475472 94392582561792 140734076397911 140734076398065 140734076398065 140734076403667 0
/proc/45776/statm: 1081 736 672 219 0 143 0
[pid=45779] ppid=45776 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/45779/stat : 45779 (timeout) S 45776 45779 42686 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 49168951 2723840 320 18446744073709551615 94166388142080 94166388158593 140725404821056 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94166388173360 94166388175448 94166407204864 140725404830102 140725404830242 140725404830242 140725404835815 0
/proc/45779/statm: 665 320 320 5 0 90 0
[pid=45780] ppid=45779 vsize=43128 memory=28928 CPUtime=1.44 cores=0,2
/proc/45780/stat : 45780 (CASHWMaxSAT-Dis) R 45779 45779 42686 0 -1 4194304 6539 0 0 0 143 1 0 0 20 0 1 0 49168953 44163072 7232 18446744073709551615 4198400 14093885 140731461272944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 39714816 140731461278108 140731461278235 140731461278235 140731461283808 0
/proc/45780/statm: 10782 7232 800 2416 0 7884 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 50112 KiB
Current children cumulated memory: 33152 KiB

[startup+3.10557 s]
/proc/loadavg: 4.08 4.14 4.11 5/272 45780
/proc/meminfo: memFree=129231288/131250000 swapFree=33010684/33010684
[pid=45776] ppid=45773 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/45776/stat : 45776 (Hybrid-CASHWMax) S 45773 45776 42686 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 49168948 4427776 736 18446744073709551615 94392556294144 94392557188677 140734076392608 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94392557427728 94392557475472 94392582561792 140734076397911 140734076398065 140734076398065 140734076403667 0
/proc/45776/statm: 1081 736 672 219 0 143 0
[pid=45779] ppid=45776 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/45779/stat : 45779 (timeout) S 45776 45779 42686 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 49168951 2723840 320 18446744073709551615 94166388142080 94166388158593 140725404821056 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94166388173360 94166388175448 94166407204864 140725404830102 140725404830242 140725404830242 140725404835815 0
/proc/45779/statm: 665 320 320 5 0 90 0
[pid=45780] ppid=45779 vsize=47540 memory=32536 CPUtime=3.04 cores=0,2
/proc/45780/stat : 45780 (CASHWMaxSAT-Dis) R 45779 45779 42686 0 -1 4194304 6917 0 0 0 303 1 0 0 20 0 1 0 49168953 48680960 8134 18446744073709551615 4198400 14093885 140731461272944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 39714816 140731461278108 140731461278235 140731461278235 140731461283808 0
/proc/45780/statm: 11885 8134 800 2416 0 8987 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 54524 KiB
Current children cumulated memory: 36760 KiB

[startup+6.30022 s]
/proc/loadavg: 4.16 4.15 4.11 5/272 45781
/proc/meminfo: memFree=129227192/131250000 swapFree=33010684/33010684
[pid=45776] ppid=45773 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/45776/stat : 45776 (Hybrid-CASHWMax) S 45773 45776 42686 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 49168948 4427776 736 18446744073709551615 94392556294144 94392557188677 140734076392608 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94392557427728 94392557475472 94392582561792 140734076397911 140734076398065 140734076398065 140734076403667 0
/proc/45776/statm: 1081 736 672 219 0 143 0
[pid=45779] ppid=45776 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/45779/stat : 45779 (timeout) S 45776 45779 42686 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 49168951 2723840 320 18446744073709551615 94166388142080 94166388158593 140725404821056 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94166388173360 94166388175448 94166407204864 140725404830102 140725404830242 140725404830242 140725404835815 0
/proc/45779/statm: 665 320 320 5 0 90 0
[pid=45780] ppid=45779 vsize=54640 memory=40472 CPUtime=6.23 cores=0,2
/proc/45780/stat : 45780 (CASHWMaxSAT-Dis) R 45779 45779 42686 0 -1 4194304 7572 0 0 0 621 2 0 0 20 0 1 0 49168953 55951360 10118 18446744073709551615 4198400 14093885 140731461272944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 39714816 140731461278108 140731461278235 140731461278235 140731461283808 0
/proc/45780/statm: 13660 10118 800 2416 0 10762 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 61624 KiB
Current children cumulated memory: 44696 KiB

[startup+12.7002 s]
/proc/loadavg: 4.15 4.15 4.11 5/272 45781
/proc/meminfo: memFree=129227208/131250000 swapFree=33010684/33010684
[pid=45776] ppid=45773 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/45776/stat : 45776 (Hybrid-CASHWMax) S 45773 45776 42686 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 49168948 4427776 736 18446744073709551615 94392556294144 94392557188677 140734076392608 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94392557427728 94392557475472 94392582561792 140734076397911 140734076398065 140734076398065 140734076403667 0
/proc/45776/statm: 1081 736 672 219 0 143 0
[pid=45779] ppid=45776 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/45779/stat : 45779 (timeout) S 45776 45779 42686 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 49168951 2723840 320 18446744073709551615 94166388142080 94166388158593 140725404821056 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94166388173360 94166388175448 94166407204864 140725404830102 140725404830242 140725404830242 140725404835815 0
/proc/45779/statm: 665 320 320 5 0 90 0
[pid=45780] ppid=45779 vsize=54640 memory=40472 CPUtime=12.61 cores=0,2
/proc/45780/stat : 45780 (CASHWMaxSAT-Dis) R 45779 45779 42686 0 -1 4194304 7582 0 0 0 1259 2 0 0 20 0 1 0 49168953 55951360 10118 18446744073709551615 4198400 14093885 140731461272944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 39714816 140731461278108 140731461278235 140731461278235 140731461283808 0
/proc/45780/statm: 13660 10118 800 2416 0 10762 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 61624 KiB
Current children cumulated memory: 44696 KiB

[startup+25.5002 s]
/proc/loadavg: 4.11 4.14 4.11 5/272 45781
/proc/meminfo: memFree=129223616/131250000 swapFree=33010684/33010684
[pid=45776] ppid=45773 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/45776/stat : 45776 (Hybrid-CASHWMax) S 45773 45776 42686 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 49168948 4427776 736 18446744073709551615 94392556294144 94392557188677 140734076392608 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94392557427728 94392557475472 94392582561792 140734076397911 140734076398065 140734076398065 140734076403667 0
/proc/45776/statm: 1081 736 672 219 0 143 0
[pid=45779] ppid=45776 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/45779/stat : 45779 (timeout) S 45776 45779 42686 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 49168951 2723840 320 18446744073709551615 94166388142080 94166388158593 140725404821056 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94166388173360 94166388175448 94166407204864 140725404830102 140725404830242 140725404830242 140725404835815 0
/proc/45779/statm: 665 320 320 5 0 90 0
[pid=45780] ppid=45779 vsize=54640 memory=40472 CPUtime=25.38 cores=0,2
/proc/45780/stat : 45780 (CASHWMaxSAT-Dis) R 45779 45779 42686 0 -1 4194304 7586 0 0 0 2536 2 0 0 20 0 1 0 49168953 55951360 10118 18446744073709551615 4198400 14093885 140731461272944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 39714816 140731461278108 140731461278235 140731461278235 140731461283808 0
/proc/45780/statm: 13660 10118 800 2416 0 10762 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 61624 KiB
Current children cumulated memory: 44696 KiB

[startup+51.1057 s]
/proc/loadavg: 4.15 4.14 4.11 5/272 45781
/proc/meminfo: memFree=129212336/131250000 swapFree=33010684/33010684
[pid=45776] ppid=45773 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/45776/stat : 45776 (Hybrid-CASHWMax) S 45773 45776 42686 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 49168948 4427776 736 18446744073709551615 94392556294144 94392557188677 140734076392608 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94392557427728 94392557475472 94392582561792 140734076397911 140734076398065 140734076398065 140734076403667 0
/proc/45776/statm: 1081 736 672 219 0 143 0
[pid=45779] ppid=45776 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/45779/stat : 45779 (timeout) S 45776 45779 42686 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 49168951 2723840 320 18446744073709551615 94166388142080 94166388158593 140725404821056 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94166388173360 94166388175448 94166407204864 140725404830102 140725404830242 140725404830242 140725404835815 0
/proc/45779/statm: 665 320 320 5 0 90 0
[pid=45780] ppid=45779 vsize=62220 memory=45952 CPUtime=50.91 cores=0,2
/proc/45780/stat : 45780 (CASHWMaxSAT-Dis) R 45779 45779 42686 0 -1 4194304 9692 0 0 0 5088 3 0 0 20 0 1 0 49168953 63713280 11488 18446744073709551615 4198400 14093885 140731461272944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 39714816 140731461278108 140731461278235 140731461278235 140731461283808 0
/proc/45780/statm: 15555 11488 800 2416 0 12657 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 69204 KiB
Current children cumulated memory: 50176 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/273 45784
/proc/meminfo: memFree=129249148/131250000 swapFree=33010684/33010684
[pid=45776] ppid=45773 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/45776/stat : 45776 (Hybrid-CASHWMax) S 45773 45776 42686 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 49168948 4427776 736 18446744073709551615 94392556294144 94392557188677 140734076392608 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94392557427728 94392557475472 94392582561792 140734076397911 140734076398065 140734076398065 140734076403667 0
/proc/45776/statm: 1081 736 672 219 0 143 0
[pid=45779] ppid=45776 vsize=2660 memory=1280 CPUtime=0 cores=0,2

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

/proc/45776/statm: 1081 736 672 219 0 143 0
[pid=45841] ppid=45776 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/45841/stat : 45841 (timeout) S 45776 45841 42686 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 49288753 2723840 352 18446744073709551615 94546786811904 94546786828417 140729850075952 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94546786843184 94546786845272 94546811940864 140729850083718 140729850083874 140729850083874 140729850089447 0
/proc/45841/statm: 665 352 352 5 0 90 0
[pid=45842] ppid=45841 vsize=359536 memory=309384 CPUtime=2258.27 cores=0,2
/proc/45842/stat : 45842 (ExactPR-S) R 45841 45841 42686 0 -1 4194304 90326 0 0 0 224357 1470 0 0 20 0 1 0 49288754 368164864 77346 18446744073709551615 94205028106240 94205037406277 140728747636400 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94205039192384 94205039231464 94205062344704 140728747645342 140728747645479 140728747645479 140728747651052 0
/proc/45842/statm: 89884 77346 3392 2271 0 84522 0
Current children cumulated CPU time: 3453.02 s
Current children cumulated vsize: 366520 KiB
Current children cumulated memory: 313736 KiB

[startup+3522.3 s]
/proc/loadavg: 1.09 1.20 1.95 2/246 46118
/proc/meminfo: memFree=129531128/131250000 swapFree=33010684/33010684
[pid=45776] ppid=45773 vsize=4324 memory=2944 CPUtime=1194.75 cores=0,2
/proc/45776/stat : 45776 (Hybrid-CASHWMax) S 45773 45776 42686 0 -1 4194304 281 12961 0 0 0 0 119469 6 20 0 1 0 49168948 4427776 736 18446744073709551615 94392556294144 94392557188677 140734076392608 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94392557427728 94392557475472 94392582561792 140734076397911 140734076398065 140734076398065 140734076403667 0
/proc/45776/statm: 1081 736 672 219 0 143 0
[pid=45841] ppid=45776 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/45841/stat : 45841 (timeout) S 45776 45841 42686 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 49288753 2723840 352 18446744073709551615 94546786811904 94546786828417 140729850075952 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94546786843184 94546786845272 94546811940864 140729850083718 140729850083874 140729850083874 140729850089447 0
/proc/45841/statm: 665 352 352 5 0 90 0
[pid=45842] ppid=45841 vsize=359536 memory=309384 CPUtime=2318.13 cores=0,2
/proc/45842/stat : 45842 (ExactPR-S) R 45841 45841 42686 0 -1 4194304 90327 0 0 0 230320 1493 0 0 20 0 1 0 49288754 368164864 77346 18446744073709551615 94205028106240 94205037406277 140728747636400 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94205039192384 94205039231464 94205062344704 140728747645342 140728747645479 140728747645479 140728747651052 0
/proc/45842/statm: 89884 77346 3392 2271 0 84522 0
Current children cumulated CPU time: 3512.88 s
Current children cumulated vsize: 366520 KiB
Current children cumulated memory: 313736 KiB

[startup+3582.3 s]
/proc/loadavg: 1.15 1.19 1.90 2/247 46123
/proc/meminfo: memFree=129530236/131250000 swapFree=33010684/33010684
[pid=45776] ppid=45773 vsize=4324 memory=2944 CPUtime=1194.75 cores=0,2
/proc/45776/stat : 45776 (Hybrid-CASHWMax) S 45773 45776 42686 0 -1 4194304 281 12961 0 0 0 0 119469 6 20 0 1 0 49168948 4427776 736 18446744073709551615 94392556294144 94392557188677 140734076392608 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94392557427728 94392557475472 94392582561792 140734076397911 140734076398065 140734076398065 140734076403667 0
/proc/45776/statm: 1081 736 672 219 0 143 0
[pid=45841] ppid=45776 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/45841/stat : 45841 (timeout) S 45776 45841 42686 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 49288753 2723840 352 18446744073709551615 94546786811904 94546786828417 140729850075952 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94546786843184 94546786845272 94546811940864 140729850083718 140729850083874 140729850083874 140729850089447 0
/proc/45841/statm: 665 352 352 5 0 90 0
[pid=45842] ppid=45841 vsize=359536 memory=309384 CPUtime=2377.99 cores=0,2
/proc/45842/stat : 45842 (ExactPR-S) R 45841 45841 42686 0 -1 4194304 90327 0 0 0 236286 1513 0 0 20 0 1 0 49288754 368164864 77346 18446744073709551615 94205028106240 94205037406277 140728747636400 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94205039192384 94205039231464 94205062344704 140728747645342 140728747645479 140728747645479 140728747651052 0
/proc/45842/statm: 89884 77346 3392 2271 0 84522 0
Current children cumulated CPU time: 3572.74 s
Current children cumulated vsize: 366520 KiB
Current children cumulated memory: 313736 KiB

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

# cumulated CPU time of all completed processes:  user=3571.24 s, system=15.2833 s

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

[startup+3584 s]*
/proc/loadavg: 1.15 1.19 1.90 2/247 46123
/proc/meminfo: memFree=129530468/131250000 swapFree=33010684/33010684
[pid=45776] ppid=45773 vsize=4324 memory=2944 CPUtime=1194.75 cores=0,2
/proc/45776/stat : 45776 (Hybrid-CASHWMax) S 45773 45776 42686 0 -1 4194304 281 12961 0 0 0 0 119469 6 20 0 1 0 49168948 4427776 736 18446744073709551615 94392556294144 94392557188677 140734076392608 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94392557427728 94392557475472 94392582561792 140734076397911 140734076398065 140734076398065 140734076403667 0
/proc/45776/statm: 1081 736 672 219 0 143 0
[pid=45841] ppid=45776 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/45841/stat : 45841 (timeout) S 45776 45841 42686 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 49288753 2723840 352 18446744073709551615 94546786811904 94546786828417 140729850075952 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94546786843184 94546786845272 94546811940864 140729850083718 140729850083874 140729850083874 140729850089447 0
/proc/45841/statm: 665 352 352 5 0 90 0
[pid=45842] ppid=45841 vsize=359536 memory=309384 CPUtime=2379.69 cores=0,2
/proc/45842/stat : 45842 (ExactPR-S) R 45841 45841 42686 0 -1 4194304 90327 0 0 0 236454 1515 0 0 20 0 1 0 49288754 368164864 77346 18446744073709551615 94205028106240 94205037406277 140728747636400 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94205039192384 94205039231464 94205062344704 140728747645342 140728747645479 140728747645479 140728747651052 0
/proc/45842/statm: 89884 77346 3392 2271 0 84522 0
Current children cumulated CPU time: 3574.44 s
Current children cumulated vsize: 366520 KiB
Current children cumulated memory: 313736 KiB

[startup+3590.4 s]
/proc/loadavg: 1.13 1.19 1.89 2/247 46123
/proc/meminfo: memFree=129530468/131250000 swapFree=33010684/33010684
[pid=45776] ppid=45773 vsize=4324 memory=2944 CPUtime=1194.75 cores=0,2
/proc/45776/stat : 45776 (Hybrid-CASHWMax) S 45773 45776 42686 0 -1 4194304 281 12961 0 0 0 0 119469 6 20 0 1 0 49168948 4427776 736 18446744073709551615 94392556294144 94392557188677 140734076392608 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94392557427728 94392557475472 94392582561792 140734076397911 140734076398065 140734076398065 140734076403667 0
/proc/45776/statm: 1081 736 672 219 0 143 0
[pid=45841] ppid=45776 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/45841/stat : 45841 (timeout) S 45776 45841 42686 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 49288753 2723840 352 18446744073709551615 94546786811904 94546786828417 140729850075952 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94546786843184 94546786845272 94546811940864 140729850083718 140729850083874 140729850083874 140729850089447 0
/proc/45841/statm: 665 352 352 5 0 90 0
[pid=45842] ppid=45841 vsize=359536 memory=309384 CPUtime=2386.07 cores=0,2
/proc/45842/stat : 45842 (ExactPR-S) R 45841 45841 42686 0 -1 4194304 90327 0 0 0 237089 1518 0 0 20 0 1 0 49288754 368164864 77346 18446744073709551615 94205028106240 94205037406277 140728747636400 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94205039192384 94205039231464 94205062344704 140728747645342 140728747645479 140728747645479 140728747651052 0
/proc/45842/statm: 89884 77346 3392 2271 0 84522 0
Current children cumulated CPU time: 3580.82 s
Current children cumulated vsize: 366520 KiB
Current children cumulated memory: 313736 KiB

[startup+3593.6 s]
/proc/loadavg: 1.13 1.19 1.89 2/247 46123
/proc/meminfo: memFree=129530468/131250000 swapFree=33010684/33010684
[pid=45776] ppid=45773 vsize=4324 memory=2944 CPUtime=1194.75 cores=0,2
/proc/45776/stat : 45776 (Hybrid-CASHWMax) S 45773 45776 42686 0 -1 4194304 281 12961 0 0 0 0 119469 6 20 0 1 0 49168948 4427776 736 18446744073709551615 94392556294144 94392557188677 140734076392608 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94392557427728 94392557475472 94392582561792 140734076397911 140734076398065 140734076398065 140734076403667 0
/proc/45776/statm: 1081 736 672 219 0 143 0
[pid=45841] ppid=45776 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/45841/stat : 45841 (timeout) S 45776 45841 42686 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 49288753 2723840 352 18446744073709551615 94546786811904 94546786828417 140729850075952 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94546786843184 94546786845272 94546811940864 140729850083718 140729850083874 140729850083874 140729850089447 0
/proc/45841/statm: 665 352 352 5 0 90 0
[pid=45842] ppid=45841 vsize=359536 memory=309384 CPUtime=2389.27 cores=0,2
/proc/45842/stat : 45842 (ExactPR-S) R 45841 45841 42686 0 -1 4194304 90327 0 0 0 237408 1519 0 0 20 0 1 0 49288754 368164864 77346 18446744073709551615 94205028106240 94205037406277 140728747636400 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94205039192384 94205039231464 94205062344704 140728747645342 140728747645479 140728747645479 140728747651052 0
/proc/45842/statm: 89884 77346 3392 2271 0 84522 0
Current children cumulated CPU time: 3584.02 s
Current children cumulated vsize: 366520 KiB
Current children cumulated memory: 313736 KiB

[startup+3595.2 s]
/proc/loadavg: 1.12 1.18 1.89 2/247 46123
/proc/meminfo: memFree=129530468/131250000 swapFree=33010684/33010684
[pid=45776] ppid=45773 vsize=4324 memory=2944 CPUtime=1194.75 cores=0,2
/proc/45776/stat : 45776 (Hybrid-CASHWMax) S 45773 45776 42686 0 -1 4194304 281 12961 0 0 0 0 119469 6 20 0 1 0 49168948 4427776 736 18446744073709551615 94392556294144 94392557188677 140734076392608 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94392557427728 94392557475472 94392582561792 140734076397911 140734076398065 140734076398065 140734076403667 0
/proc/45776/statm: 1081 736 672 219 0 143 0
[pid=45841] ppid=45776 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/45841/stat : 45841 (timeout) S 45776 45841 42686 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 49288753 2723840 352 18446744073709551615 94546786811904 94546786828417 140729850075952 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94546786843184 94546786845272 94546811940864 140729850083718 140729850083874 140729850083874 140729850089447 0
/proc/45841/statm: 665 352 352 5 0 90 0
[pid=45842] ppid=45841 vsize=359536 memory=309384 CPUtime=2390.86 cores=0,2
/proc/45842/stat : 45842 (ExactPR-S) R 45841 45841 42686 0 -1 4194304 90327 0 0 0 237567 1519 0 0 20 0 1 0 49288754 368164864 77346 18446744073709551615 94205028106240 94205037406277 140728747636400 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94205039192384 94205039231464 94205062344704 140728747645342 140728747645479 140728747645479 140728747651052 0
/proc/45842/statm: 89884 77346 3392 2271 0 84522 0
Current children cumulated CPU time: 3585.61 s
Current children cumulated vsize: 366520 KiB
Current children cumulated memory: 313736 KiB

[startup+3595.6 s]
/proc/loadavg: 1.12 1.18 1.89 2/247 46123
/proc/meminfo: memFree=129530468/131250000 swapFree=33010684/33010684
[pid=45776] ppid=45773 vsize=4324 memory=2944 CPUtime=1194.75 cores=0,2
/proc/45776/stat : 45776 (Hybrid-CASHWMax) S 45773 45776 42686 0 -1 4194304 281 12961 0 0 0 0 119469 6 20 0 1 0 49168948 4427776 736 18446744073709551615 94392556294144 94392557188677 140734076392608 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94392557427728 94392557475472 94392582561792 140734076397911 140734076398065 140734076398065 140734076403667 0
/proc/45776/statm: 1081 736 672 219 0 143 0
[pid=45841] ppid=45776 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/45841/stat : 45841 (timeout) S 45776 45841 42686 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 49288753 2723840 352 18446744073709551615 94546786811904 94546786828417 140729850075952 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94546786843184 94546786845272 94546811940864 140729850083718 140729850083874 140729850083874 140729850089447 0
/proc/45841/statm: 665 352 352 5 0 90 0
[pid=45842] ppid=45841 vsize=359536 memory=309384 CPUtime=2391.26 cores=0,2
/proc/45842/stat : 45842 (ExactPR-S) R 45841 45841 42686 0 -1 4194304 90327 0 0 0 237607 1519 0 0 20 0 1 0 49288754 368164864 77346 18446744073709551615 94205028106240 94205037406277 140728747636400 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94205039192384 94205039231464 94205062344704 140728747645342 140728747645479 140728747645479 140728747651052 0
/proc/45842/statm: 89884 77346 3392 2271 0 84522 0
Current children cumulated CPU time: 3586.01 s
Current children cumulated vsize: 366520 KiB
Current children cumulated memory: 313736 KiB

[startup+3596 s]*
/proc/loadavg: 1.12 1.18 1.89 2/247 46123
/proc/meminfo: memFree=129530468/131250000 swapFree=33010684/33010684
[pid=45776] ppid=45773 vsize=4324 memory=2944 CPUtime=1194.75 cores=0,2
/proc/45776/stat : 45776 (Hybrid-CASHWMax) S 45773 45776 42686 0 -1 4194304 281 12961 0 0 0 0 119469 6 20 0 1 0 49168948 4427776 736 18446744073709551615 94392556294144 94392557188677 140734076392608 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94392557427728 94392557475472 94392582561792 140734076397911 140734076398065 140734076398065 140734076403667 0
/proc/45776/statm: 1081 736 672 219 0 143 0
[pid=45841] ppid=45776 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/45841/stat : 45841 (timeout) S 45776 45841 42686 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 49288753 2723840 352 18446744073709551615 94546786811904 94546786828417 140729850075952 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94546786843184 94546786845272 94546811940864 140729850083718 140729850083874 140729850083874 140729850089447 0
/proc/45841/statm: 665 352 352 5 0 90 0
[pid=45842] ppid=45841 vsize=359536 memory=309384 CPUtime=2391.66 cores=0,2
/proc/45842/stat : 45842 (ExactPR-S) R 45841 45841 42686 0 -1 4194304 90327 0 0 0 237647 1519 0 0 20 0 1 0 49288754 368164864 77346 18446744073709551615 94205028106240 94205037406277 140728747636400 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94205039192384 94205039231464 94205062344704 140728747645342 140728747645479 140728747645479 140728747651052 0
/proc/45842/statm: 89884 77346 3392 2271 0 84522 0
Current children cumulated CPU time: 3586.41 s
Current children cumulated vsize: 366520 KiB
Current children cumulated memory: 313736 KiB

[startup+3596.1 s]
/proc/loadavg: 1.12 1.18 1.89 2/247 46123
/proc/meminfo: memFree=129530468/131250000 swapFree=33010684/33010684
[pid=45776] ppid=45773 vsize=4324 memory=2944 CPUtime=3586.48 cores=0,2
/proc/45776/stat : 45776 (Hybrid-CASHWMax) S 45773 45776 42686 0 -1 4194304 373 104570 0 0 0 0 357122 1526 20 0 1 0 49168948 4427776 736 18446744073709551615 94392556294144 94392557188677 140734076392608 0 0 0 2 4 65536 1 0 0 17 2 0 0 0 0 0 94392557427728 94392557475472 94392582561792 140734076397911 140734076398065 140734076398065 140734076403667 0
/proc/45776/statm: 1081 736 672 219 0 143 0
Current children cumulated CPU time: 3586.48 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 2944 KiB

Child status: 0

Real time (s): 3596.17
CPU time (s): 3586.52
CPU user time (s): 3571.24
CPU system time (s): 15.2833
CPU usage (%): 99.7315
Max. virtual memory (cumulated for all children) (KiB): 403028
Max. memory (cumulated for all children) (KiB): 364664

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3571.24
system time used= 15.2833
maximum resident set size= 360312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 106850
page faults= 0
swaps= 0
block input operations= 0
block output operations= 80
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1946
involuntary context switches= 5159


# summary of solver processes directly reported to runsolver:
#   pid: 45776
#   total CPU time (s): 3586.52
#   total CPU user time (s): 3571.24
#   total CPU system time (s): 15.2833

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.35145 second user time and 15.8968 second system time

The end