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: 63837 MiB (60531 MiB free)
  memory of node 1: 64465 MiB (60532 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4522070-1751569836/watcher-4522070-1751569836 -o /tmp/evaluation-result-4522070-1751569836/solver-4522070-1751569836 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751560212-81258 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCad+ExactPRS HOME/instance-4522070-1751569836.opb 3600 HOME 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
solver pid=84306, runsolver pid=84303
Current StackSize limit: 8192 KiB


[startup+0.100071 s]*
/proc/loadavg: 4.17 4.18 4.14 5/260 84310
/proc/meminfo: memFree=123957572/131382116 swapFree=33009904/33010684
[pid=84306] ppid=84303 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/84306/stat : 84306 (Hybrid-CASHWMax) S 84303 84306 81245 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 72662993 4427776 736 18446744073709551615 93925137707008 93925138601541 140730606263744 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93925138840592 93925138888336 93925171757056 140730606270807 140730606270961 140730606270961 140730606276563 0
/proc/84306/statm: 1081 736 672 219 0 143 0
[pid=84309] ppid=84306 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/84309/stat : 84309 (timeout) S 84306 84309 81245 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 72662994 2723840 320 18446744073709551615 94114183200768 94114183217281 140725568204368 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94114183232048 94114183234136 94114185789440 140725568211350 140725568211490 140725568211490 140725568217063 0
/proc/84309/statm: 665 320 320 5 0 90 0
[pid=84310] ppid=84309 vsize=23792 memory=9344 CPUtime=0.07 cores=5,7
/proc/84310/stat : 84310 (CASHWMaxSAT-Dis) R 84309 84309 81245 0 -1 4194304 1563 0 0 0 7 0 0 0 20 0 1 0 72662995 24363008 2336 18446744073709551615 4198400 14817773 140731323690176 0 0 0 0 0 19490 0 0 0 17 7 0 0 0 0 0 16829744 16914832 50466816 140731323693468 140731323693595 140731323693595 140731323699168 0
/proc/84310/statm: 5948 2336 864 2593 0 2841 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 30776 KiB
Current children cumulated memory: 13568 KiB

[startup+0.220588 s]*
/proc/loadavg: 4.17 4.18 4.14 5/260 84310
/proc/meminfo: memFree=123940276/131382116 swapFree=33009904/33010684
[pid=84306] ppid=84303 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/84306/stat : 84306 (Hybrid-CASHWMax) S 84303 84306 81245 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 72662993 4427776 736 18446744073709551615 93925137707008 93925138601541 140730606263744 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93925138840592 93925138888336 93925171757056 140730606270807 140730606270961 140730606270961 140730606276563 0
/proc/84306/statm: 1081 736 672 219 0 143 0
[pid=84309] ppid=84306 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/84309/stat : 84309 (timeout) S 84306 84309 81245 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 72662994 2723840 320 18446744073709551615 94114183200768 94114183217281 140725568204368 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94114183232048 94114183234136 94114185789440 140725568211350 140725568211490 140725568211490 140725568217063 0
/proc/84309/statm: 665 320 320 5 0 90 0
[pid=84310] ppid=84309 vsize=29672 memory=15360 CPUtime=0.17 cores=5,7
/proc/84310/stat : 84310 (CASHWMaxSAT-Dis) R 84309 84309 81245 0 -1 4194304 3067 0 0 0 17 0 0 0 20 0 1 0 72662995 30384128 3840 18446744073709551615 4198400 14817773 140731323690176 0 0 0 0 0 19490 0 0 0 17 7 0 0 0 0 0 16829744 16914832 50466816 140731323693468 140731323693595 140731323693595 140731323699168 0
/proc/84310/statm: 7418 3840 864 2593 0 4311 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 36656 KiB
Current children cumulated memory: 19584 KiB

[startup+0.313986 s]*
/proc/loadavg: 4.17 4.18 4.14 5/260 84310
/proc/meminfo: memFree=123940276/131382116 swapFree=33009904/33010684
[pid=84306] ppid=84303 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/84306/stat : 84306 (Hybrid-CASHWMax) S 84303 84306 81245 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 72662993 4427776 736 18446744073709551615 93925137707008 93925138601541 140730606263744 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93925138840592 93925138888336 93925171757056 140730606270807 140730606270961 140730606270961 140730606276563 0
/proc/84306/statm: 1081 736 672 219 0 143 0
[pid=84309] ppid=84306 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/84309/stat : 84309 (timeout) S 84306 84309 81245 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 72662994 2723840 320 18446744073709551615 94114183200768 94114183217281 140725568204368 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94114183232048 94114183234136 94114185789440 140725568211350 140725568211490 140725568211490 140725568217063 0
/proc/84309/statm: 665 320 320 5 0 90 0
[pid=84310] ppid=84309 vsize=33468 memory=19200 CPUtime=0.25 cores=5,7
/proc/84310/stat : 84310 (CASHWMaxSAT-Dis) R 84309 84309 81245 0 -1 4194304 3981 0 0 0 24 1 0 0 20 0 1 0 72662995 34271232 4800 18446744073709551615 4198400 14817773 140731323690176 0 0 0 0 0 8408098 0 0 0 17 7 0 0 0 0 0 16829744 16914832 50466816 140731323693468 140731323693595 140731323693595 140731323699168 0
/proc/84310/statm: 8367 4800 960 2593 0 5260 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 40452 KiB
Current children cumulated memory: 23424 KiB

[startup+0.700301 s]
/proc/loadavg: 4.16 4.17 4.14 5/260 84310
/proc/meminfo: memFree=123942324/131382116 swapFree=33009904/33010684
[pid=84306] ppid=84303 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/84306/stat : 84306 (Hybrid-CASHWMax) S 84303 84306 81245 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 72662993 4427776 736 18446744073709551615 93925137707008 93925138601541 140730606263744 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93925138840592 93925138888336 93925171757056 140730606270807 140730606270961 140730606270961 140730606276563 0
/proc/84306/statm: 1081 736 672 219 0 143 0
[pid=84309] ppid=84306 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/84309/stat : 84309 (timeout) S 84306 84309 81245 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 72662994 2723840 320 18446744073709551615 94114183200768 94114183217281 140725568204368 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94114183232048 94114183234136 94114185789440 140725568211350 140725568211490 140725568211490 140725568217063 0
/proc/84309/statm: 665 320 320 5 0 90 0
[pid=84310] ppid=84309 vsize=33468 memory=19200 CPUtime=0.61 cores=5,7
/proc/84310/stat : 84310 (CASHWMaxSAT-Dis) R 84309 84309 81245 0 -1 4194304 3981 0 0 0 59 2 0 0 20 0 1 0 72662995 34271232 4800 18446744073709551615 4198400 14817773 140731323690176 0 0 0 0 0 8408098 0 0 0 17 7 0 0 0 0 0 16829744 16914832 50466816 140731323693468 140731323693595 140731323693595 140731323699168 0
/proc/84310/statm: 8367 4800 960 2593 0 5260 0
Current children cumulated CPU time: 0.61 s
Current children cumulated vsize: 40452 KiB
Current children cumulated memory: 23424 KiB

[startup+1.50026 s]
/proc/loadavg: 4.16 4.17 4.14 5/260 84310
/proc/meminfo: memFree=123943868/131382116 swapFree=33009904/33010684
[pid=84306] ppid=84303 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/84306/stat : 84306 (Hybrid-CASHWMax) S 84303 84306 81245 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 72662993 4427776 736 18446744073709551615 93925137707008 93925138601541 140730606263744 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93925138840592 93925138888336 93925171757056 140730606270807 140730606270961 140730606270961 140730606276563 0
/proc/84306/statm: 1081 736 672 219 0 143 0
[pid=84309] ppid=84306 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/84309/stat : 84309 (timeout) S 84306 84309 81245 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 72662994 2723840 320 18446744073709551615 94114183200768 94114183217281 140725568204368 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94114183232048 94114183234136 94114185789440 140725568211350 140725568211490 140725568211490 140725568217063 0
/proc/84309/statm: 665 320 320 5 0 90 0
[pid=84310] ppid=84309 vsize=41184 memory=27028 CPUtime=1.4 cores=5,7
/proc/84310/stat : 84310 (CASHWMaxSAT-Dis) R 84309 84309 81245 0 -1 4194304 6182 0 0 0 136 4 0 0 20 0 1 0 72662995 42172416 6757 18446744073709551615 4198400 14817773 140731323690176 0 0 0 0 0 8408098 0 0 0 17 7 0 0 0 0 0 16829744 16914832 50466816 140731323693468 140731323693595 140731323693595 140731323699168 0
/proc/84310/statm: 10296 6757 960 2593 0 7189 0
Current children cumulated CPU time: 1.4 s
Current children cumulated vsize: 48168 KiB
Current children cumulated memory: 31252 KiB

[startup+3.10551 s]
/proc/loadavg: 4.16 4.17 4.14 5/260 84310
/proc/meminfo: memFree=123920332/131382116 swapFree=33009904/33010684
[pid=84306] ppid=84303 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/84306/stat : 84306 (Hybrid-CASHWMax) S 84303 84306 81245 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 72662993 4427776 736 18446744073709551615 93925137707008 93925138601541 140730606263744 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93925138840592 93925138888336 93925171757056 140730606270807 140730606270961 140730606270961 140730606276563 0
/proc/84306/statm: 1081 736 672 219 0 143 0
[pid=84309] ppid=84306 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/84309/stat : 84309 (timeout) S 84306 84309 81245 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 72662994 2723840 320 18446744073709551615 94114183200768 94114183217281 140725568204368 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94114183232048 94114183234136 94114185789440 140725568211350 140725568211490 140725568211490 140725568217063 0
/proc/84309/statm: 665 320 320 5 0 90 0
[pid=84310] ppid=84309 vsize=45368 memory=31484 CPUtime=2.98 cores=5,7
/proc/84310/stat : 84310 (CASHWMaxSAT-Dis) R 84309 84309 81245 0 -1 4194304 11157 0 0 0 293 5 0 0 20 0 1 0 72662995 46456832 7871 18446744073709551615 4198400 14817773 140731323690176 0 0 0 0 0 8408098 0 0 0 17 7 0 0 0 0 0 16829744 16914832 50466816 140731323693468 140731323693595 140731323693595 140731323699168 0
/proc/84310/statm: 11342 7871 992 2593 0 8235 0
Current children cumulated CPU time: 2.98 s
Current children cumulated vsize: 52352 KiB
Current children cumulated memory: 35708 KiB

[startup+6.30023 s]
/proc/loadavg: 4.15 4.17 4.14 5/260 84310
/proc/meminfo: memFree=123938900/131382116 swapFree=33009904/33010684
[pid=84306] ppid=84303 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/84306/stat : 84306 (Hybrid-CASHWMax) S 84303 84306 81245 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 72662993 4427776 736 18446744073709551615 93925137707008 93925138601541 140730606263744 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93925138840592 93925138888336 93925171757056 140730606270807 140730606270961 140730606270961 140730606276563 0
/proc/84306/statm: 1081 736 672 219 0 143 0
[pid=84309] ppid=84306 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/84309/stat : 84309 (timeout) S 84306 84309 81245 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 72662994 2723840 320 18446744073709551615 94114183200768 94114183217281 140725568204368 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94114183232048 94114183234136 94114185789440 140725568211350 140725568211490 140725568211490 140725568217063 0
/proc/84309/statm: 665 320 320 5 0 90 0
[pid=84310] ppid=84309 vsize=48104 memory=33656 CPUtime=6.15 cores=5,7
/proc/84310/stat : 84310 (CASHWMaxSAT-Dis) R 84309 84309 81245 0 -1 4194304 16838 0 0 0 608 7 0 0 20 0 1 0 72662995 49258496 8414 18446744073709551615 4198400 14817773 140731323690176 0 0 0 0 0 8408098 0 0 0 17 7 0 0 0 0 0 16829744 16914832 50466816 140731323693468 140731323693595 140731323693595 140731323699168 0
/proc/84310/statm: 12026 8414 992 2593 0 8919 0
Current children cumulated CPU time: 6.15 s
Current children cumulated vsize: 55088 KiB
Current children cumulated memory: 37880 KiB

[startup+12.7002 s]
/proc/loadavg: 4.13 4.17 4.14 5/260 84310
/proc/meminfo: memFree=123902688/131382116 swapFree=33009904/33010684
[pid=84306] ppid=84303 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/84306/stat : 84306 (Hybrid-CASHWMax) S 84303 84306 81245 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 72662993 4427776 736 18446744073709551615 93925137707008 93925138601541 140730606263744 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93925138840592 93925138888336 93925171757056 140730606270807 140730606270961 140730606270961 140730606276563 0
/proc/84306/statm: 1081 736 672 219 0 143 0
[pid=84309] ppid=84306 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/84309/stat : 84309 (timeout) S 84306 84309 81245 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 72662994 2723840 320 18446744073709551615 94114183200768 94114183217281 140725568204368 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94114183232048 94114183234136 94114185789440 140725568211350 140725568211490 140725568211490 140725568217063 0
/proc/84309/statm: 665 320 320 5 0 90 0
[pid=84310] ppid=84309 vsize=54560 memory=40148 CPUtime=12.49 cores=5,7
/proc/84310/stat : 84310 (CASHWMaxSAT-Dis) R 84309 84309 81245 0 -1 4194304 21489 0 0 0 1241 8 0 0 20 0 1 0 72662995 55869440 10037 18446744073709551615 4198400 14817773 140731323690176 0 0 0 0 0 8408098 0 0 0 17 7 0 0 0 0 0 16829744 16914832 50466816 140731323693468 140731323693595 140731323693595 140731323699168 0
/proc/84310/statm: 13640 10037 992 2593 0 10533 0
Current children cumulated CPU time: 12.49 s
Current children cumulated vsize: 61544 KiB
Current children cumulated memory: 44372 KiB

[startup+25.5005 s]
/proc/loadavg: 4.11 4.16 4.13 5/260 84310
/proc/meminfo: memFree=123915896/131382116 swapFree=33009904/33010684
[pid=84306] ppid=84303 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/84306/stat : 84306 (Hybrid-CASHWMax) S 84303 84306 81245 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 72662993 4427776 736 18446744073709551615 93925137707008 93925138601541 140730606263744 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93925138840592 93925138888336 93925171757056 140730606270807 140730606270961 140730606270961 140730606276563 0
/proc/84306/statm: 1081 736 672 219 0 143 0
[pid=84309] ppid=84306 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/84309/stat : 84309 (timeout) S 84306 84309 81245 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 72662994 2723840 320 18446744073709551615 94114183200768 94114183217281 140725568204368 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94114183232048 94114183234136 94114185789440 140725568211350 140725568211490 140725568211490 140725568217063 0
/proc/84309/statm: 665 320 320 5 0 90 0
[pid=84310] ppid=84309 vsize=56656 memory=42472 CPUtime=25.24 cores=5,7
/proc/84310/stat : 84310 (CASHWMaxSAT-Dis) R 84309 84309 81245 0 -1 4194304 24771 0 0 0 2515 9 0 0 20 0 1 0 72662995 58015744 10618 18446744073709551615 4198400 14817773 140731323690176 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 50466816 140731323693468 140731323693595 140731323693595 140731323699168 0
/proc/84310/statm: 14164 10618 992 2593 0 11057 0
Current children cumulated CPU time: 25.24 s
Current children cumulated vsize: 63640 KiB
Current children cumulated memory: 46696 KiB

[startup+51.1141 s]
/proc/loadavg: 4.19 4.18 4.14 5/259 84311
/proc/meminfo: memFree=123764100/131382116 swapFree=33009904/33010684
[pid=84306] ppid=84303 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/84306/stat : 84306 (Hybrid-CASHWMax) S 84303 84306 81245 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 72662993 4427776 736 18446744073709551615 93925137707008 93925138601541 140730606263744 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93925138840592 93925138888336 93925171757056 140730606270807 140730606270961 140730606270961 140730606276563 0
/proc/84306/statm: 1081 736 672 219 0 143 0
[pid=84309] ppid=84306 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/84309/stat : 84309 (timeout) S 84306 84309 81245 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 72662994 2723840 320 18446744073709551615 94114183200768 94114183217281 140725568204368 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94114183232048 94114183234136 94114185789440 140725568211350 140725568211490 140725568211490 140725568217063 0
/proc/84309/statm: 665 320 320 5 0 90 0
[pid=84310] ppid=84309 vsize=63932 memory=49892 CPUtime=50.77 cores=5,7
/proc/84310/stat : 84310 (CASHWMaxSAT-Dis) R 84309 84309 81245 0 -1 4194304 33833 0 0 0 5066 11 0 0 20 0 1 0 72662995 65466368 12473 18446744073709551615 4198400 14817773 140731323690176 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 50466816 140731323693468 140731323693595 140731323693595 140731323699168 0
/proc/84310/statm: 15983 12473 992 2593 0 12876 0
Current children cumulated CPU time: 50.77 s
Current children cumulated vsize: 70916 KiB
Current children cumulated memory: 54116 KiB

[startup+102.301 s]
/proc/loadavg: 4.14 4.16 4.14 5/260 84317
/proc/meminfo: memFree=123822400/131382116 swapFree=33009904/33010684
[pid=84306] ppid=84303 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/84306/stat : 84306 (Hybrid-CASHWMax) S 84303 84306 81245 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 72662993 4427776 736 18446744073709551615 93925137707008 93925138601541 140730606263744 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93925138840592 93925138888336 93925171757056 140730606270807 140730606270961 140730606270961 140730606276563 0
/proc/84306/statm: 1081 736 672 219 0 143 0

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

/proc/84306/statm: 1081 736 672 219 0 143 0
[pid=84404] ppid=84306 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/84404/stat : 84404 (timeout) S 84306 84404 81245 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 72782795 2723840 352 18446744073709551615 93842514030592 93842514047105 140732228354944 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93842514061872 93842514063960 93842544857088 140732228356486 140732228356642 140732228356642 140732228362215 0
/proc/84404/statm: 665 352 352 5 0 90 0
[pid=84405] ppid=84404 vsize=605504 memory=559348 CPUtime=2254.48 cores=5,7
/proc/84405/stat : 84405 (ExactPR-S) R 84404 84404 81245 0 -1 4194304 125803 0 0 0 224657 791 0 0 20 0 1 0 72782796 620036096 139837 18446744073709551615 94304956760064 94304966060101 140730800108928 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94304967846208 94304967885288 94304987426816 140730800118174 140730800118311 140730800118311 140730800123884 0
/proc/84405/statm: 151376 139837 3424 2271 0 146014 0
Current children cumulated CPU time: 3448.44 s
Current children cumulated vsize: 612488 KiB
Current children cumulated memory: 563700 KiB

[startup+3522.3 s]
/proc/loadavg: 1.14 1.36 1.96 2/235 84596
/proc/meminfo: memFree=125963480/131382116 swapFree=33009904/33010684
[pid=84306] ppid=84303 vsize=4324 memory=2944 CPUtime=1193.96 cores=5,7
/proc/84306/stat : 84306 (Hybrid-CASHWMax) S 84303 84306 81245 0 -1 4194304 284 108614 0 0 0 0 119343 53 20 0 1 0 72662993 4427776 736 18446744073709551615 93925137707008 93925138601541 140730606263744 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93925138840592 93925138888336 93925171757056 140730606270807 140730606270961 140730606270961 140730606276563 0
/proc/84306/statm: 1081 736 672 219 0 143 0
[pid=84404] ppid=84306 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/84404/stat : 84404 (timeout) S 84306 84404 81245 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 72782795 2723840 352 18446744073709551615 93842514030592 93842514047105 140732228354944 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93842514061872 93842514063960 93842544857088 140732228356486 140732228356642 140732228356642 140732228362215 0
/proc/84404/statm: 665 352 352 5 0 90 0
[pid=84405] ppid=84404 vsize=605504 memory=559348 CPUtime=2314.28 cores=5,7
/proc/84405/stat : 84405 (ExactPR-S) R 84404 84404 81245 0 -1 4194304 125803 0 0 0 230630 798 0 0 20 0 1 0 72782796 620036096 139837 18446744073709551615 94304956760064 94304966060101 140730800108928 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94304967846208 94304967885288 94304987426816 140730800118174 140730800118311 140730800118311 140730800123884 0
/proc/84405/statm: 151376 139837 3424 2271 0 146014 0
Current children cumulated CPU time: 3508.24 s
Current children cumulated vsize: 612488 KiB
Current children cumulated memory: 563700 KiB

[startup+3582.3 s]
/proc/loadavg: 1.11 1.31 1.90 2/235 84601
/proc/meminfo: memFree=125963984/131382116 swapFree=33009904/33010684
[pid=84306] ppid=84303 vsize=4324 memory=2944 CPUtime=1193.96 cores=5,7
/proc/84306/stat : 84306 (Hybrid-CASHWMax) S 84303 84306 81245 0 -1 4194304 284 108614 0 0 0 0 119343 53 20 0 1 0 72662993 4427776 736 18446744073709551615 93925137707008 93925138601541 140730606263744 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93925138840592 93925138888336 93925171757056 140730606270807 140730606270961 140730606270961 140730606276563 0
/proc/84306/statm: 1081 736 672 219 0 143 0
[pid=84404] ppid=84306 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/84404/stat : 84404 (timeout) S 84306 84404 81245 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 72782795 2723840 352 18446744073709551615 93842514030592 93842514047105 140732228354944 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93842514061872 93842514063960 93842544857088 140732228356486 140732228356642 140732228356642 140732228362215 0
/proc/84404/statm: 665 352 352 5 0 90 0
[pid=84405] ppid=84404 vsize=605504 memory=559348 CPUtime=2374.1 cores=5,7
/proc/84405/stat : 84405 (ExactPR-S) R 84404 84404 81245 0 -1 4194304 125803 0 0 0 236603 807 0 0 20 0 1 0 72782796 620036096 139837 18446744073709551615 94304956760064 94304966060101 140730800108928 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94304967846208 94304967885288 94304987426816 140730800118174 140730800118311 140730800118311 140730800123884 0
/proc/84405/statm: 151376 139837 3424 2271 0 146014 0
Current children cumulated CPU time: 3568.06 s
Current children cumulated vsize: 612488 KiB
Current children cumulated memory: 563700 KiB

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

# cumulated CPU time of all completed processes:  user=3573.16 s, system=8.66461 s

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

[startup+3584 s]*
/proc/loadavg: 1.11 1.31 1.90 2/235 84601
/proc/meminfo: memFree=125963984/131382116 swapFree=33009904/33010684
[pid=84306] ppid=84303 vsize=4324 memory=2944 CPUtime=1193.96 cores=5,7
/proc/84306/stat : 84306 (Hybrid-CASHWMax) S 84303 84306 81245 0 -1 4194304 284 108614 0 0 0 0 119343 53 20 0 1 0 72662993 4427776 736 18446744073709551615 93925137707008 93925138601541 140730606263744 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93925138840592 93925138888336 93925171757056 140730606270807 140730606270961 140730606270961 140730606276563 0
/proc/84306/statm: 1081 736 672 219 0 143 0
[pid=84404] ppid=84306 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/84404/stat : 84404 (timeout) S 84306 84404 81245 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 72782795 2723840 352 18446744073709551615 93842514030592 93842514047105 140732228354944 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93842514061872 93842514063960 93842544857088 140732228356486 140732228356642 140732228356642 140732228362215 0
/proc/84404/statm: 665 352 352 5 0 90 0
[pid=84405] ppid=84404 vsize=605504 memory=559348 CPUtime=2375.8 cores=5,7
/proc/84405/stat : 84405 (ExactPR-S) R 84404 84404 81245 0 -1 4194304 125803 0 0 0 236773 807 0 0 20 0 1 0 72782796 620036096 139837 18446744073709551615 94304956760064 94304966060101 140730800108928 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94304967846208 94304967885288 94304987426816 140730800118174 140730800118311 140730800118311 140730800123884 0
/proc/84405/statm: 151376 139837 3424 2271 0 146014 0
Current children cumulated CPU time: 3569.76 s
Current children cumulated vsize: 612488 KiB
Current children cumulated memory: 563700 KiB

[startup+3590.4 s]
/proc/loadavg: 1.10 1.30 1.90 2/235 84601
/proc/meminfo: memFree=125963984/131382116 swapFree=33009904/33010684
[pid=84306] ppid=84303 vsize=4324 memory=2944 CPUtime=1193.96 cores=5,7
/proc/84306/stat : 84306 (Hybrid-CASHWMax) S 84303 84306 81245 0 -1 4194304 284 108614 0 0 0 0 119343 53 20 0 1 0 72662993 4427776 736 18446744073709551615 93925137707008 93925138601541 140730606263744 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93925138840592 93925138888336 93925171757056 140730606270807 140730606270961 140730606270961 140730606276563 0
/proc/84306/statm: 1081 736 672 219 0 143 0
[pid=84404] ppid=84306 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/84404/stat : 84404 (timeout) S 84306 84404 81245 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 72782795 2723840 352 18446744073709551615 93842514030592 93842514047105 140732228354944 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93842514061872 93842514063960 93842544857088 140732228356486 140732228356642 140732228356642 140732228362215 0
/proc/84404/statm: 665 352 352 5 0 90 0
[pid=84405] ppid=84404 vsize=605504 memory=559348 CPUtime=2382.17 cores=5,7
/proc/84405/stat : 84405 (ExactPR-S) R 84404 84404 81245 0 -1 4194304 125803 0 0 0 237409 808 0 0 20 0 1 0 72782796 620036096 139837 18446744073709551615 94304956760064 94304966060101 140730800108928 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94304967846208 94304967885288 94304987426816 140730800118174 140730800118311 140730800118311 140730800123884 0
/proc/84405/statm: 151376 139837 3424 2271 0 146014 0
Current children cumulated CPU time: 3576.13 s
Current children cumulated vsize: 612488 KiB
Current children cumulated memory: 563700 KiB

[startup+3593.6 s]
/proc/loadavg: 1.09 1.30 1.89 2/235 84601
/proc/meminfo: memFree=125963984/131382116 swapFree=33009904/33010684
[pid=84306] ppid=84303 vsize=4324 memory=2944 CPUtime=1193.96 cores=5,7
/proc/84306/stat : 84306 (Hybrid-CASHWMax) S 84303 84306 81245 0 -1 4194304 284 108614 0 0 0 0 119343 53 20 0 1 0 72662993 4427776 736 18446744073709551615 93925137707008 93925138601541 140730606263744 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93925138840592 93925138888336 93925171757056 140730606270807 140730606270961 140730606270961 140730606276563 0
/proc/84306/statm: 1081 736 672 219 0 143 0
[pid=84404] ppid=84306 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/84404/stat : 84404 (timeout) S 84306 84404 81245 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 72782795 2723840 352 18446744073709551615 93842514030592 93842514047105 140732228354944 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93842514061872 93842514063960 93842544857088 140732228356486 140732228356642 140732228356642 140732228362215 0
/proc/84404/statm: 665 352 352 5 0 90 0
[pid=84405] ppid=84404 vsize=605504 memory=559348 CPUtime=2385.35 cores=5,7
/proc/84405/stat : 84405 (ExactPR-S) R 84404 84404 81245 0 -1 4194304 125803 0 0 0 237727 808 0 0 20 0 1 0 72782796 620036096 139837 18446744073709551615 94304956760064 94304966060101 140730800108928 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94304967846208 94304967885288 94304987426816 140730800118174 140730800118311 140730800118311 140730800123884 0
/proc/84405/statm: 151376 139837 3424 2271 0 146014 0
Current children cumulated CPU time: 3579.31 s
Current children cumulated vsize: 612488 KiB
Current children cumulated memory: 563700 KiB

[startup+3595.2 s]
/proc/loadavg: 1.09 1.30 1.89 2/235 84601
/proc/meminfo: memFree=125963984/131382116 swapFree=33009904/33010684
[pid=84306] ppid=84303 vsize=4324 memory=2944 CPUtime=1193.96 cores=5,7
/proc/84306/stat : 84306 (Hybrid-CASHWMax) S 84303 84306 81245 0 -1 4194304 284 108614 0 0 0 0 119343 53 20 0 1 0 72662993 4427776 736 18446744073709551615 93925137707008 93925138601541 140730606263744 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93925138840592 93925138888336 93925171757056 140730606270807 140730606270961 140730606270961 140730606276563 0
/proc/84306/statm: 1081 736 672 219 0 143 0
[pid=84404] ppid=84306 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/84404/stat : 84404 (timeout) S 84306 84404 81245 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 72782795 2723840 352 18446744073709551615 93842514030592 93842514047105 140732228354944 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93842514061872 93842514063960 93842544857088 140732228356486 140732228356642 140732228356642 140732228362215 0
/proc/84404/statm: 665 352 352 5 0 90 0
[pid=84405] ppid=84404 vsize=605504 memory=559348 CPUtime=2386.95 cores=5,7
/proc/84405/stat : 84405 (ExactPR-S) R 84404 84404 81245 0 -1 4194304 125803 0 0 0 237887 808 0 0 20 0 1 0 72782796 620036096 139837 18446744073709551615 94304956760064 94304966060101 140730800108928 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94304967846208 94304967885288 94304987426816 140730800118174 140730800118311 140730800118311 140730800123884 0
/proc/84405/statm: 151376 139837 3424 2271 0 146014 0
Current children cumulated CPU time: 3580.91 s
Current children cumulated vsize: 612488 KiB
Current children cumulated memory: 563700 KiB

[startup+3595.6 s]
/proc/loadavg: 1.09 1.30 1.89 2/235 84601
/proc/meminfo: memFree=125963984/131382116 swapFree=33009904/33010684
[pid=84306] ppid=84303 vsize=4324 memory=2944 CPUtime=1193.96 cores=5,7
/proc/84306/stat : 84306 (Hybrid-CASHWMax) S 84303 84306 81245 0 -1 4194304 284 108614 0 0 0 0 119343 53 20 0 1 0 72662993 4427776 736 18446744073709551615 93925137707008 93925138601541 140730606263744 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93925138840592 93925138888336 93925171757056 140730606270807 140730606270961 140730606270961 140730606276563 0
/proc/84306/statm: 1081 736 672 219 0 143 0
[pid=84404] ppid=84306 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/84404/stat : 84404 (timeout) S 84306 84404 81245 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 72782795 2723840 352 18446744073709551615 93842514030592 93842514047105 140732228354944 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93842514061872 93842514063960 93842544857088 140732228356486 140732228356642 140732228356642 140732228362215 0
/proc/84404/statm: 665 352 352 5 0 90 0
[pid=84405] ppid=84404 vsize=605504 memory=559348 CPUtime=2387.34 cores=5,7
/proc/84405/stat : 84405 (ExactPR-S) R 84404 84404 81245 0 -1 4194304 125803 0 0 0 237926 808 0 0 20 0 1 0 72782796 620036096 139837 18446744073709551615 94304956760064 94304966060101 140730800108928 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94304967846208 94304967885288 94304987426816 140730800118174 140730800118311 140730800118311 140730800123884 0
/proc/84405/statm: 151376 139837 3424 2271 0 146014 0
Current children cumulated CPU time: 3581.3 s
Current children cumulated vsize: 612488 KiB
Current children cumulated memory: 563700 KiB

[startup+3596 s]*
/proc/loadavg: 1.09 1.30 1.89 2/235 84601
/proc/meminfo: memFree=125963984/131382116 swapFree=33009904/33010684
[pid=84306] ppid=84303 vsize=4324 memory=2944 CPUtime=1193.96 cores=5,7
/proc/84306/stat : 84306 (Hybrid-CASHWMax) S 84303 84306 81245 0 -1 4194304 284 108614 0 0 0 0 119343 53 20 0 1 0 72662993 4427776 736 18446744073709551615 93925137707008 93925138601541 140730606263744 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93925138840592 93925138888336 93925171757056 140730606270807 140730606270961 140730606270961 140730606276563 0
/proc/84306/statm: 1081 736 672 219 0 143 0
[pid=84404] ppid=84306 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/84404/stat : 84404 (timeout) S 84306 84404 81245 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 72782795 2723840 352 18446744073709551615 93842514030592 93842514047105 140732228354944 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93842514061872 93842514063960 93842544857088 140732228356486 140732228356642 140732228356642 140732228362215 0
/proc/84404/statm: 665 352 352 5 0 90 0
[pid=84405] ppid=84404 vsize=605504 memory=559348 CPUtime=2387.76 cores=5,7
/proc/84405/stat : 84405 (ExactPR-S) R 84404 84404 81245 0 -1 4194304 125803 0 0 0 237968 808 0 0 20 0 1 0 72782796 620036096 139837 18446744073709551615 94304956760064 94304966060101 140730800108928 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94304967846208 94304967885288 94304987426816 140730800118174 140730800118311 140730800118311 140730800123884 0
/proc/84405/statm: 151376 139837 3424 2271 0 146014 0
Current children cumulated CPU time: 3581.72 s
Current children cumulated vsize: 612488 KiB
Current children cumulated memory: 563700 KiB

[startup+3596.11 s]
/proc/loadavg: 1.09 1.30 1.89 2/235 84601
/proc/meminfo: memFree=125963984/131382116 swapFree=33009904/33010684
[pid=84306] ppid=84303 vsize=4324 memory=2944 CPUtime=3581.8 cores=5,7
/proc/84306/stat : 84306 (Hybrid-CASHWMax) S 84303 84306 81245 0 -1 4194304 474 237133 0 0 0 0 357315 865 20 0 1 0 72662993 4427776 736 18446744073709551615 93925137707008 93925138601541 140730606263744 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93925138840592 93925138888336 93925171757056 140730606270807 140730606270961 140730606270961 140730606276563 0
/proc/84306/statm: 1081 736 672 219 0 143 0
Current children cumulated CPU time: 3581.8 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 2944 KiB

Child status: 0

Real time (s): 3596.13
CPU time (s): 3581.82
CPU user time (s): 3573.16
CPU system time (s): 8.66461
CPU usage (%): 99.6021
Max. virtual memory (cumulated for all children) (KiB): 612488
Max. memory (cumulated for all children) (KiB): 563700

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3573.16
system time used= 8.66461
maximum resident set size= 583084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 237964
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1970
involuntary context switches= 2204


# summary of solver processes directly reported to runsolver:
#   pid: 84306
#   total CPU time (s): 3581.82
#   total CPU user time (s): 3573.16
#   total CPU system time (s): 8.66461

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.0766 second user time and 39.728 second system time

The end