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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4488612-1751331130/watcher-4488612-1751331130 -o /tmp/evaluation-result-4488612-1751331130/solver-4488612-1751331130 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751326195-45921 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCad+ExactPRS HOME/instance-4488612-1751331130.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
Starting watchdog thread
solver pid=48493, runsolver pid=48490
Current StackSize limit: 8192 KiB


[startup+0.100077 s]*
/proc/loadavg: 4.16 4.14 4.15 5/257 48497
/proc/meminfo: memFree=121246416/131382112 swapFree=33010684/33010684
[pid=48493] ppid=48490 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/48493/stat : 48493 (Hybrid-CASHWMax) S 48490 48493 45908 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 48792777 4427776 736 18446744073709551615 93916641783808 93916642678341 140737268996592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93916642917392 93916642965136 93916671528960 140737269000535 140737269000689 140737269000689 140737269006291 0
/proc/48493/statm: 1081 736 672 219 0 143 0
[pid=48496] ppid=48493 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/48496/stat : 48496 (timeout) S 48493 48496 45908 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 48792779 2723840 352 18446744073709551615 94861406797824 94861406814337 140722778959680 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94861406829104 94861406831192 94861415469056 140722778966422 140722778966562 140722778966562 140722778972135 0
/proc/48496/statm: 665 352 352 5 0 90 0
[pid=48497] ppid=48496 vsize=22180 memory=8064 CPUtime=0.06 cores=5,7
/proc/48497/stat : 48497 (CASHWMaxSAT-Dis) R 48496 48496 45908 0 -1 4194304 1179 0 0 0 6 0 0 0 20 0 1 0 48792780 22712320 2016 18446744073709551615 4198400 14817773 140730403806544 0 0 0 0 0 8408098 0 0 0 17 7 0 0 0 0 0 16829744 16914832 51855360 140730403813788 140730403813915 140730403813915 140730403819488 0
/proc/48497/statm: 5545 2016 928 2593 0 2438 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 29164 KiB
Current children cumulated memory: 12416 KiB

[startup+0.217844 s]*
/proc/loadavg: 4.16 4.14 4.15 5/257 48497
/proc/meminfo: memFree=121246416/131382112 swapFree=33010684/33010684
[pid=48493] ppid=48490 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/48493/stat : 48493 (Hybrid-CASHWMax) S 48490 48493 45908 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 48792777 4427776 736 18446744073709551615 93916641783808 93916642678341 140737268996592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93916642917392 93916642965136 93916671528960 140737269000535 140737269000689 140737269000689 140737269006291 0
/proc/48493/statm: 1081 736 672 219 0 143 0
[pid=48496] ppid=48493 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/48496/stat : 48496 (timeout) S 48493 48496 45908 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 48792779 2723840 352 18446744073709551615 94861406797824 94861406814337 140722778959680 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94861406829104 94861406831192 94861415469056 140722778966422 140722778966562 140722778966562 140722778972135 0
/proc/48496/statm: 665 352 352 5 0 90 0
[pid=48497] ppid=48496 vsize=22180 memory=8192 CPUtime=0.17 cores=5,7
/proc/48497/stat : 48497 (CASHWMaxSAT-Dis) R 48496 48496 45908 0 -1 4194304 1180 0 0 0 17 0 0 0 20 0 1 0 48792780 22712320 2048 18446744073709551615 4198400 14817773 140730403806544 0 0 0 0 0 8408098 0 0 0 17 7 0 0 0 0 0 16829744 16914832 51855360 140730403813788 140730403813915 140730403813915 140730403819488 0
/proc/48497/statm: 5545 2048 960 2593 0 2438 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 29164 KiB
Current children cumulated memory: 12544 KiB

[startup+0.322667 s]*
/proc/loadavg: 4.16 4.14 4.15 5/257 48497
/proc/meminfo: memFree=121246416/131382112 swapFree=33010684/33010684
[pid=48493] ppid=48490 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/48493/stat : 48493 (Hybrid-CASHWMax) S 48490 48493 45908 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 48792777 4427776 736 18446744073709551615 93916641783808 93916642678341 140737268996592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93916642917392 93916642965136 93916671528960 140737269000535 140737269000689 140737269000689 140737269006291 0
/proc/48493/statm: 1081 736 672 219 0 143 0
[pid=48496] ppid=48493 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/48496/stat : 48496 (timeout) S 48493 48496 45908 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 48792779 2723840 352 18446744073709551615 94861406797824 94861406814337 140722778959680 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94861406829104 94861406831192 94861415469056 140722778966422 140722778966562 140722778966562 140722778972135 0
/proc/48496/statm: 665 352 352 5 0 90 0
[pid=48497] ppid=48496 vsize=22180 memory=8192 CPUtime=0.26 cores=5,7
/proc/48497/stat : 48497 (CASHWMaxSAT-Dis) R 48496 48496 45908 0 -1 4194304 1180 0 0 0 25 1 0 0 20 0 1 0 48792780 22712320 2048 18446744073709551615 4198400 14817773 140730403806544 0 0 0 0 0 8408098 0 0 0 17 7 0 0 0 0 0 16829744 16914832 51855360 140730403813788 140730403813915 140730403813915 140730403819488 0
/proc/48497/statm: 5545 2048 960 2593 0 2438 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 29164 KiB
Current children cumulated memory: 12544 KiB

[startup+0.700337 s]
/proc/loadavg: 4.16 4.14 4.15 6/257 48497
/proc/meminfo: memFree=121246416/131382112 swapFree=33010684/33010684
[pid=48493] ppid=48490 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/48493/stat : 48493 (Hybrid-CASHWMax) S 48490 48493 45908 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 48792777 4427776 736 18446744073709551615 93916641783808 93916642678341 140737268996592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93916642917392 93916642965136 93916671528960 140737269000535 140737269000689 140737269000689 140737269006291 0
/proc/48493/statm: 1081 736 672 219 0 143 0
[pid=48496] ppid=48493 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/48496/stat : 48496 (timeout) S 48493 48496 45908 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 48792779 2723840 352 18446744073709551615 94861406797824 94861406814337 140722778959680 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94861406829104 94861406831192 94861415469056 140722778966422 140722778966562 140722778966562 140722778972135 0
/proc/48496/statm: 665 352 352 5 0 90 0
[pid=48497] ppid=48496 vsize=22180 memory=8192 CPUtime=0.6 cores=5,7
/proc/48497/stat : 48497 (CASHWMaxSAT-Dis) R 48496 48496 45908 0 -1 4194304 1180 0 0 0 58 2 0 0 20 0 1 0 48792780 22712320 2048 18446744073709551615 4198400 14817773 140730403806544 0 0 0 0 0 8408098 0 0 0 17 7 0 0 0 0 0 16829744 16914832 51855360 140730403813788 140730403813915 140730403813915 140730403819488 0
/proc/48497/statm: 5545 2048 960 2593 0 2438 0
Current children cumulated CPU time: 0.6 s
Current children cumulated vsize: 29164 KiB
Current children cumulated memory: 12544 KiB

[startup+1.50032 s]
/proc/loadavg: 4.16 4.14 4.15 5/257 48497
/proc/meminfo: memFree=121265132/131382112 swapFree=33010684/33010684
[pid=48493] ppid=48490 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/48493/stat : 48493 (Hybrid-CASHWMax) S 48490 48493 45908 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 48792777 4427776 736 18446744073709551615 93916641783808 93916642678341 140737268996592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93916642917392 93916642965136 93916671528960 140737269000535 140737269000689 140737269000689 140737269006291 0
/proc/48493/statm: 1081 736 672 219 0 143 0
[pid=48496] ppid=48493 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/48496/stat : 48496 (timeout) S 48493 48496 45908 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 48792779 2723840 352 18446744073709551615 94861406797824 94861406814337 140722778959680 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94861406829104 94861406831192 94861415469056 140722778966422 140722778966562 140722778966562 140722778972135 0
/proc/48496/statm: 665 352 352 5 0 90 0
[pid=48497] ppid=48496 vsize=32672 memory=18432 CPUtime=1.38 cores=5,7
/proc/48497/stat : 48497 (CASHWMaxSAT-Dis) R 48496 48496 45908 0 -1 4194304 3817 0 0 0 134 4 0 0 20 0 1 0 48792780 33456128 4608 18446744073709551615 4198400 14817773 140730403806544 0 0 0 0 0 8408098 0 0 0 17 7 0 0 0 0 0 16829744 16914832 51855360 140730403813788 140730403813915 140730403813915 140730403819488 0
/proc/48497/statm: 8168 4608 960 2593 0 5061 0
Current children cumulated CPU time: 1.38 s
Current children cumulated vsize: 39656 KiB
Current children cumulated memory: 22784 KiB

[startup+3.1052 s]
/proc/loadavg: 4.16 4.14 4.15 5/257 48498
/proc/meminfo: memFree=121280512/131382112 swapFree=33010684/33010684
[pid=48493] ppid=48490 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/48493/stat : 48493 (Hybrid-CASHWMax) S 48490 48493 45908 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 48792777 4427776 736 18446744073709551615 93916641783808 93916642678341 140737268996592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93916642917392 93916642965136 93916671528960 140737269000535 140737269000689 140737269000689 140737269006291 0
/proc/48493/statm: 1081 736 672 219 0 143 0
[pid=48496] ppid=48493 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/48496/stat : 48496 (timeout) S 48493 48496 45908 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 48792779 2723840 352 18446744073709551615 94861406797824 94861406814337 140722778959680 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94861406829104 94861406831192 94861415469056 140722778966422 140722778966562 140722778966562 140722778972135 0
/proc/48496/statm: 665 352 352 5 0 90 0
[pid=48497] ppid=48496 vsize=39472 memory=25484 CPUtime=2.97 cores=5,7
/proc/48497/stat : 48497 (CASHWMaxSAT-Dis) R 48496 48496 45908 0 -1 4194304 7587 0 0 0 292 5 0 0 20 0 1 0 48792780 40419328 6371 18446744073709551615 4198400 14817773 140730403806544 0 0 0 0 0 8408098 0 0 0 17 7 0 0 0 0 0 16829744 16914832 51855360 140730403813788 140730403813915 140730403813915 140730403819488 0
/proc/48497/statm: 9868 6371 992 2593 0 6761 0
Current children cumulated CPU time: 2.97 s
Current children cumulated vsize: 46456 KiB
Current children cumulated memory: 29836 KiB

[startup+6.30027 s]
/proc/loadavg: 4.14 4.13 4.15 5/257 48498
/proc/meminfo: memFree=121295968/131382112 swapFree=33010684/33010684
[pid=48493] ppid=48490 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/48493/stat : 48493 (Hybrid-CASHWMax) S 48490 48493 45908 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 48792777 4427776 736 18446744073709551615 93916641783808 93916642678341 140737268996592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93916642917392 93916642965136 93916671528960 140737269000535 140737269000689 140737269000689 140737269006291 0
/proc/48493/statm: 1081 736 672 219 0 143 0
[pid=48496] ppid=48493 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/48496/stat : 48496 (timeout) S 48493 48496 45908 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 48792779 2723840 352 18446744073709551615 94861406797824 94861406814337 140722778959680 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94861406829104 94861406831192 94861415469056 140722778966422 140722778966562 140722778966562 140722778972135 0
/proc/48496/statm: 665 352 352 5 0 90 0
[pid=48497] ppid=48496 vsize=38396 memory=24308 CPUtime=6.13 cores=5,7
/proc/48497/stat : 48497 (CASHWMaxSAT-Dis) R 48496 48496 45908 0 -1 4194304 10760 0 0 0 607 6 0 0 20 0 1 0 48792780 39317504 6077 18446744073709551615 4198400 14817773 140730403806544 0 0 0 0 0 8408098 0 0 0 17 7 0 0 0 0 0 16829744 16914832 51855360 140730403813788 140730403813915 140730403813915 140730403819488 0
/proc/48497/statm: 9599 6077 992 2593 0 6492 0
Current children cumulated CPU time: 6.13 s
Current children cumulated vsize: 45380 KiB
Current children cumulated memory: 28660 KiB

[startup+12.7003 s]
/proc/loadavg: 4.21 4.15 4.15 5/257 48498
/proc/meminfo: memFree=121323576/131382112 swapFree=33010684/33010684
[pid=48493] ppid=48490 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/48493/stat : 48493 (Hybrid-CASHWMax) S 48490 48493 45908 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 48792777 4427776 736 18446744073709551615 93916641783808 93916642678341 140737268996592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93916642917392 93916642965136 93916671528960 140737269000535 140737269000689 140737269000689 140737269006291 0
/proc/48493/statm: 1081 736 672 219 0 143 0
[pid=48496] ppid=48493 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/48496/stat : 48496 (timeout) S 48493 48496 45908 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 48792779 2723840 352 18446744073709551615 94861406797824 94861406814337 140722778959680 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94861406829104 94861406831192 94861415469056 140722778966422 140722778966562 140722778966562 140722778972135 0
/proc/48496/statm: 665 352 352 5 0 90 0
[pid=48497] ppid=48496 vsize=49384 memory=35264 CPUtime=12.46 cores=5,7
/proc/48497/stat : 48497 (CASHWMaxSAT-Dis) R 48496 48496 45908 0 -1 4194304 15678 0 0 0 1239 7 0 0 20 0 1 0 48792780 50569216 8816 18446744073709551615 4198400 14817773 140730403806544 0 0 0 0 0 8408098 0 0 0 17 7 0 0 0 0 0 16829744 16914832 51855360 140730403813788 140730403813915 140730403813915 140730403819488 0
/proc/48497/statm: 12346 8816 992 2593 0 9239 0
Current children cumulated CPU time: 12.46 s
Current children cumulated vsize: 56368 KiB
Current children cumulated memory: 39616 KiB

[startup+25.5005 s]
/proc/loadavg: 4.16 4.14 4.15 5/257 48498
/proc/meminfo: memFree=121486988/131382112 swapFree=33010684/33010684
[pid=48493] ppid=48490 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/48493/stat : 48493 (Hybrid-CASHWMax) S 48490 48493 45908 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 48792777 4427776 736 18446744073709551615 93916641783808 93916642678341 140737268996592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93916642917392 93916642965136 93916671528960 140737269000535 140737269000689 140737269000689 140737269006291 0
/proc/48493/statm: 1081 736 672 219 0 143 0
[pid=48496] ppid=48493 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/48496/stat : 48496 (timeout) S 48493 48496 45908 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 48792779 2723840 352 18446744073709551615 94861406797824 94861406814337 140722778959680 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94861406829104 94861406831192 94861415469056 140722778966422 140722778966562 140722778966562 140722778972135 0
/proc/48496/statm: 665 352 352 5 0 90 0
[pid=48497] ppid=48496 vsize=56480 memory=42364 CPUtime=25.22 cores=5,7
/proc/48497/stat : 48497 (CASHWMaxSAT-Dis) R 48496 48496 45908 0 -1 4194304 18017 0 0 0 2514 8 0 0 20 0 1 0 48792780 57835520 10591 18446744073709551615 4198400 14817773 140730403806544 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 51855360 140730403813788 140730403813915 140730403813915 140730403819488 0
/proc/48497/statm: 14120 10591 992 2593 0 11013 0
Current children cumulated CPU time: 25.22 s
Current children cumulated vsize: 63464 KiB
Current children cumulated memory: 46716 KiB

[startup+51.1136 s]
/proc/loadavg: 4.17 4.14 4.15 5/257 48498
/proc/meminfo: memFree=121852112/131382112 swapFree=33010684/33010684
[pid=48493] ppid=48490 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/48493/stat : 48493 (Hybrid-CASHWMax) S 48490 48493 45908 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 48792777 4427776 736 18446744073709551615 93916641783808 93916642678341 140737268996592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93916642917392 93916642965136 93916671528960 140737269000535 140737269000689 140737269000689 140737269006291 0
/proc/48493/statm: 1081 736 672 219 0 143 0
[pid=48496] ppid=48493 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/48496/stat : 48496 (timeout) S 48493 48496 45908 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 48792779 2723840 352 18446744073709551615 94861406797824 94861406814337 140722778959680 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94861406829104 94861406831192 94861415469056 140722778966422 140722778966562 140722778966562 140722778972135 0
/proc/48496/statm: 665 352 352 5 0 90 0
[pid=48497] ppid=48496 vsize=57720 memory=43844 CPUtime=50.74 cores=5,7
/proc/48497/stat : 48497 (CASHWMaxSAT-Dis) R 48496 48496 45908 0 -1 4194304 21094 0 0 0 5065 9 0 0 20 0 1 0 48792780 59105280 10961 18446744073709551615 4198400 14817773 140730403806544 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 51855360 140730403813788 140730403813915 140730403813915 140730403819488 0
/proc/48497/statm: 14430 10961 992 2593 0 11323 0
Current children cumulated CPU time: 50.74 s
Current children cumulated vsize: 64704 KiB
Current children cumulated memory: 48196 KiB

[startup+102.301 s]
/proc/loadavg: 4.19 4.15 4.15 5/257 48500
/proc/meminfo: memFree=122425652/131382112 swapFree=33010684/33010684
[pid=48493] ppid=48490 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/48493/stat : 48493 (Hybrid-CASHWMax) S 48490 48493 45908 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 48792777 4427776 736 18446744073709551615 93916641783808 93916642678341 140737268996592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93916642917392 93916642965136 93916671528960 140737269000535 140737269000689 140737269000689 140737269006291 0
/proc/48493/statm: 1081 736 672 219 0 143 0
[pid=48496] ppid=48493 vsize=2660 memory=1408 CPUtime=0 cores=5,7

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

/proc/48493/statm: 1081 736 672 219 0 143 0
[pid=48574] ppid=48493 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/48574/stat : 48574 (timeout) S 48493 48574 45908 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 48912580 2723840 352 18446744073709551615 94843731243008 94843731259521 140727875064992 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94843731274288 94843731276376 94843732496384 140727875074438 140727875074594 140727875074594 140727875080167 0
/proc/48574/statm: 665 352 352 5 0 90 0
[pid=48575] ppid=48574 vsize=334728 memory=315544 CPUtime=2257.2 cores=5,7
/proc/48575/stat : 48575 (ExactPR-S) R 48574 48574 45908 0 -1 4194304 97259 0 0 0 224128 1592 0 0 20 0 1 0 48912581 342761472 78886 18446744073709551615 93876633296896 93876642596933 140721433135104 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93876644383040 93876644422120 93876685537280 140721433139614 140721433139751 140721433139751 140721433145324 0
/proc/48575/statm: 83682 78886 3392 2271 0 78320 0
Current children cumulated CPU time: 3451.13 s
Current children cumulated vsize: 341712 KiB
Current children cumulated memory: 319896 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/258 48874
/proc/meminfo: memFree=122582628/131382112 swapFree=33010684/33010684
[pid=48493] ppid=48490 vsize=4324 memory=2944 CPUtime=1193.93 cores=5,7
/proc/48493/stat : 48493 (Hybrid-CASHWMax) S 48490 48493 45908 0 -1 4194304 283 50779 0 0 0 0 119359 34 20 0 1 0 48792777 4427776 736 18446744073709551615 93916641783808 93916642678341 140737268996592 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93916642917392 93916642965136 93916671528960 140737269000535 140737269000689 140737269000689 140737269006291 0
/proc/48493/statm: 1081 736 672 219 0 143 0
[pid=48574] ppid=48493 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/48574/stat : 48574 (timeout) S 48493 48574 45908 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 48912580 2723840 352 18446744073709551615 94843731243008 94843731259521 140727875064992 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94843731274288 94843731276376 94843732496384 140727875074438 140727875074594 140727875074594 140727875080167 0
/proc/48574/statm: 665 352 352 5 0 90 0
[pid=48575] ppid=48574 vsize=334728 memory=315544 CPUtime=2317.02 cores=5,7
/proc/48575/stat : 48575 (ExactPR-S) R 48574 48574 45908 0 -1 4194304 97259 0 0 0 230088 1614 0 0 20 0 1 0 48912581 342761472 78886 18446744073709551615 93876633296896 93876642596933 140721433135104 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93876644383040 93876644422120 93876685537280 140721433139614 140721433139751 140721433139751 140721433145324 0
/proc/48575/statm: 83682 78886 3392 2271 0 78320 0
Current children cumulated CPU time: 3510.95 s
Current children cumulated vsize: 341712 KiB
Current children cumulated memory: 319896 KiB

[startup+3582.3 s]
/proc/loadavg: 4.54 4.22 4.13 5/257 48876
/proc/meminfo: memFree=122476848/131382112 swapFree=33010684/33010684
[pid=48493] ppid=48490 vsize=4324 memory=2944 CPUtime=1193.93 cores=5,7
/proc/48493/stat : 48493 (Hybrid-CASHWMax) S 48490 48493 45908 0 -1 4194304 283 50779 0 0 0 0 119359 34 20 0 1 0 48792777 4427776 736 18446744073709551615 93916641783808 93916642678341 140737268996592 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93916642917392 93916642965136 93916671528960 140737269000535 140737269000689 140737269000689 140737269006291 0
/proc/48493/statm: 1081 736 672 219 0 143 0
[pid=48574] ppid=48493 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/48574/stat : 48574 (timeout) S 48493 48574 45908 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 48912580 2723840 352 18446744073709551615 94843731243008 94843731259521 140727875064992 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94843731274288 94843731276376 94843732496384 140727875074438 140727875074594 140727875074594 140727875080167 0
/proc/48574/statm: 665 352 352 5 0 90 0
[pid=48575] ppid=48574 vsize=334728 memory=315544 CPUtime=2376.83 cores=5,7
/proc/48575/stat : 48575 (ExactPR-S) R 48574 48574 45908 0 -1 4194304 97260 0 0 0 236049 1634 0 0 20 0 1 0 48912581 342761472 78886 18446744073709551615 93876633296896 93876642596933 140721433135104 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93876644383040 93876644422120 93876685537280 140721433139614 140721433139751 140721433139751 140721433145324 0
/proc/48575/statm: 83682 78886 3392 2271 0 78320 0
Current children cumulated CPU time: 3570.76 s
Current children cumulated vsize: 341712 KiB
Current children cumulated memory: 319896 KiB

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

# cumulated CPU time of all completed processes:  user=3567.75 s, system=16.7844 s

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

[startup+3584 s]*
/proc/loadavg: 4.54 4.22 4.13 5/257 48876
/proc/meminfo: memFree=122476848/131382112 swapFree=33010684/33010684
[pid=48493] ppid=48490 vsize=4324 memory=2944 CPUtime=1193.93 cores=5,7
/proc/48493/stat : 48493 (Hybrid-CASHWMax) S 48490 48493 45908 0 -1 4194304 283 50779 0 0 0 0 119359 34 20 0 1 0 48792777 4427776 736 18446744073709551615 93916641783808 93916642678341 140737268996592 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93916642917392 93916642965136 93916671528960 140737269000535 140737269000689 140737269000689 140737269006291 0
/proc/48493/statm: 1081 736 672 219 0 143 0
[pid=48574] ppid=48493 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/48574/stat : 48574 (timeout) S 48493 48574 45908 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 48912580 2723840 352 18446744073709551615 94843731243008 94843731259521 140727875064992 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94843731274288 94843731276376 94843732496384 140727875074438 140727875074594 140727875074594 140727875080167 0
/proc/48574/statm: 665 352 352 5 0 90 0
[pid=48575] ppid=48574 vsize=334728 memory=315544 CPUtime=2378.54 cores=5,7
/proc/48575/stat : 48575 (ExactPR-S) R 48574 48574 45908 0 -1 4194304 97260 0 0 0 236219 1635 0 0 20 0 1 0 48912581 342761472 78886 18446744073709551615 93876633296896 93876642596933 140721433135104 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93876644383040 93876644422120 93876685537280 140721433139614 140721433139751 140721433139751 140721433145324 0
/proc/48575/statm: 83682 78886 3392 2271 0 78320 0
Current children cumulated CPU time: 3572.47 s
Current children cumulated vsize: 341712 KiB
Current children cumulated memory: 319896 KiB

[startup+3590.4 s]
/proc/loadavg: 4.65 4.25 4.14 5/257 48876
/proc/meminfo: memFree=122460824/131382112 swapFree=33010684/33010684
[pid=48493] ppid=48490 vsize=4324 memory=2944 CPUtime=1193.93 cores=5,7
/proc/48493/stat : 48493 (Hybrid-CASHWMax) S 48490 48493 45908 0 -1 4194304 283 50779 0 0 0 0 119359 34 20 0 1 0 48792777 4427776 736 18446744073709551615 93916641783808 93916642678341 140737268996592 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93916642917392 93916642965136 93916671528960 140737269000535 140737269000689 140737269000689 140737269006291 0
/proc/48493/statm: 1081 736 672 219 0 143 0
[pid=48574] ppid=48493 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/48574/stat : 48574 (timeout) S 48493 48574 45908 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 48912580 2723840 352 18446744073709551615 94843731243008 94843731259521 140727875064992 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94843731274288 94843731276376 94843732496384 140727875074438 140727875074594 140727875074594 140727875080167 0
/proc/48574/statm: 665 352 352 5 0 90 0
[pid=48575] ppid=48574 vsize=334728 memory=315544 CPUtime=2384.9 cores=5,7
/proc/48575/stat : 48575 (ExactPR-S) R 48574 48574 45908 0 -1 4194304 97260 0 0 0 236852 1638 0 0 20 0 1 0 48912581 342761472 78886 18446744073709551615 93876633296896 93876642596933 140721433135104 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93876644383040 93876644422120 93876685537280 140721433139614 140721433139751 140721433139751 140721433145324 0
/proc/48575/statm: 83682 78886 3392 2271 0 78320 0
Current children cumulated CPU time: 3578.83 s
Current children cumulated vsize: 341712 KiB
Current children cumulated memory: 319896 KiB

[startup+3593.6 s]
/proc/loadavg: 4.68 4.26 4.14 5/257 48876
/proc/meminfo: memFree=122452760/131382112 swapFree=33010684/33010684
[pid=48493] ppid=48490 vsize=4324 memory=2944 CPUtime=1193.93 cores=5,7
/proc/48493/stat : 48493 (Hybrid-CASHWMax) S 48490 48493 45908 0 -1 4194304 283 50779 0 0 0 0 119359 34 20 0 1 0 48792777 4427776 736 18446744073709551615 93916641783808 93916642678341 140737268996592 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93916642917392 93916642965136 93916671528960 140737269000535 140737269000689 140737269000689 140737269006291 0
/proc/48493/statm: 1081 736 672 219 0 143 0
[pid=48574] ppid=48493 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/48574/stat : 48574 (timeout) S 48493 48574 45908 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 48912580 2723840 352 18446744073709551615 94843731243008 94843731259521 140727875064992 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94843731274288 94843731276376 94843732496384 140727875074438 140727875074594 140727875074594 140727875080167 0
/proc/48574/statm: 665 352 352 5 0 90 0
[pid=48575] ppid=48574 vsize=334728 memory=315544 CPUtime=2388.09 cores=5,7
/proc/48575/stat : 48575 (ExactPR-S) R 48574 48574 45908 0 -1 4194304 97260 0 0 0 237170 1639 0 0 20 0 1 0 48912581 342761472 78886 18446744073709551615 93876633296896 93876642596933 140721433135104 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93876644383040 93876644422120 93876685537280 140721433139614 140721433139751 140721433139751 140721433145324 0
/proc/48575/statm: 83682 78886 3392 2271 0 78320 0
Current children cumulated CPU time: 3582.02 s
Current children cumulated vsize: 341712 KiB
Current children cumulated memory: 319896 KiB

[startup+3595.2 s]
/proc/loadavg: 4.68 4.26 4.14 5/257 48876
/proc/meminfo: memFree=122436632/131382112 swapFree=33010684/33010684
[pid=48493] ppid=48490 vsize=4324 memory=2944 CPUtime=1193.93 cores=5,7
/proc/48493/stat : 48493 (Hybrid-CASHWMax) S 48490 48493 45908 0 -1 4194304 283 50779 0 0 0 0 119359 34 20 0 1 0 48792777 4427776 736 18446744073709551615 93916641783808 93916642678341 140737268996592 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93916642917392 93916642965136 93916671528960 140737269000535 140737269000689 140737269000689 140737269006291 0
/proc/48493/statm: 1081 736 672 219 0 143 0
[pid=48574] ppid=48493 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/48574/stat : 48574 (timeout) S 48493 48574 45908 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 48912580 2723840 352 18446744073709551615 94843731243008 94843731259521 140727875064992 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94843731274288 94843731276376 94843732496384 140727875074438 140727875074594 140727875074594 140727875080167 0
/proc/48574/statm: 665 352 352 5 0 90 0
[pid=48575] ppid=48574 vsize=334728 memory=315544 CPUtime=2389.68 cores=5,7
/proc/48575/stat : 48575 (ExactPR-S) R 48574 48574 45908 0 -1 4194304 97260 0 0 0 237329 1639 0 0 20 0 1 0 48912581 342761472 78886 18446744073709551615 93876633296896 93876642596933 140721433135104 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93876644383040 93876644422120 93876685537280 140721433139614 140721433139751 140721433139751 140721433145324 0
/proc/48575/statm: 83682 78886 3392 2271 0 78320 0
Current children cumulated CPU time: 3583.61 s
Current children cumulated vsize: 341712 KiB
Current children cumulated memory: 319896 KiB

[startup+3595.6 s]
/proc/loadavg: 4.68 4.26 4.14 5/257 48876
/proc/meminfo: memFree=122436632/131382112 swapFree=33010684/33010684
[pid=48493] ppid=48490 vsize=4324 memory=2944 CPUtime=1193.93 cores=5,7
/proc/48493/stat : 48493 (Hybrid-CASHWMax) S 48490 48493 45908 0 -1 4194304 283 50779 0 0 0 0 119359 34 20 0 1 0 48792777 4427776 736 18446744073709551615 93916641783808 93916642678341 140737268996592 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93916642917392 93916642965136 93916671528960 140737269000535 140737269000689 140737269000689 140737269006291 0
/proc/48493/statm: 1081 736 672 219 0 143 0
[pid=48574] ppid=48493 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/48574/stat : 48574 (timeout) S 48493 48574 45908 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 48912580 2723840 352 18446744073709551615 94843731243008 94843731259521 140727875064992 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94843731274288 94843731276376 94843732496384 140727875074438 140727875074594 140727875074594 140727875080167 0
/proc/48574/statm: 665 352 352 5 0 90 0
[pid=48575] ppid=48574 vsize=334728 memory=315544 CPUtime=2390.08 cores=5,7
/proc/48575/stat : 48575 (ExactPR-S) R 48574 48574 45908 0 -1 4194304 97260 0 0 0 237369 1639 0 0 20 0 1 0 48912581 342761472 78886 18446744073709551615 93876633296896 93876642596933 140721433135104 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93876644383040 93876644422120 93876685537280 140721433139614 140721433139751 140721433139751 140721433145324 0
/proc/48575/statm: 83682 78886 3392 2271 0 78320 0
Current children cumulated CPU time: 3584.01 s
Current children cumulated vsize: 341712 KiB
Current children cumulated memory: 319896 KiB

[startup+3596 s]*
/proc/loadavg: 4.71 4.27 4.15 5/257 48876
/proc/meminfo: memFree=122436632/131382112 swapFree=33010684/33010684
[pid=48493] ppid=48490 vsize=4324 memory=2944 CPUtime=1193.93 cores=5,7
/proc/48493/stat : 48493 (Hybrid-CASHWMax) S 48490 48493 45908 0 -1 4194304 283 50779 0 0 0 0 119359 34 20 0 1 0 48792777 4427776 736 18446744073709551615 93916641783808 93916642678341 140737268996592 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93916642917392 93916642965136 93916671528960 140737269000535 140737269000689 140737269000689 140737269006291 0
/proc/48493/statm: 1081 736 672 219 0 143 0
[pid=48574] ppid=48493 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/48574/stat : 48574 (timeout) S 48493 48574 45908 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 48912580 2723840 352 18446744073709551615 94843731243008 94843731259521 140727875064992 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94843731274288 94843731276376 94843732496384 140727875074438 140727875074594 140727875074594 140727875080167 0
/proc/48574/statm: 665 352 352 5 0 90 0
[pid=48575] ppid=48574 vsize=334728 memory=315544 CPUtime=2390.49 cores=5,7
/proc/48575/stat : 48575 (ExactPR-S) R 48574 48574 45908 0 -1 4194304 97260 0 0 0 237410 1639 0 0 20 0 1 0 48912581 342761472 78886 18446744073709551615 93876633296896 93876642596933 140721433135104 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93876644383040 93876644422120 93876685537280 140721433139614 140721433139751 140721433139751 140721433145324 0
/proc/48575/statm: 83682 78886 3392 2271 0 78320 0
Current children cumulated CPU time: 3584.42 s
Current children cumulated vsize: 341712 KiB
Current children cumulated memory: 319896 KiB

[startup+3596.11 s]
/proc/loadavg: 4.71 4.27 4.15 5/257 48876
/proc/meminfo: memFree=122436632/131382112 swapFree=33010684/33010684
[pid=48493] ppid=48490 vsize=4324 memory=2944 CPUtime=3584.5 cores=5,7
/proc/48493/stat : 48493 (Hybrid-CASHWMax) S 48490 48493 45908 0 -1 4194304 403 149859 0 0 0 0 356774 1676 20 0 1 0 48792777 4427776 736 18446744073709551615 93916641783808 93916642678341 140737268996592 0 0 0 2 4 65536 1 0 0 17 5 0 0 0 0 0 93916642917392 93916642965136 93916671528960 140737269000535 140737269000689 140737269000689 140737269006291 0
/proc/48493/statm: 1081 736 672 219 0 143 0
Current children cumulated CPU time: 3584.5 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 2944 KiB

Child status: 0

Real time (s): 3596.15
CPU time (s): 3584.53
CPU user time (s): 3567.75
CPU system time (s): 16.7844
CPU usage (%): 99.6768
Max. virtual memory (cumulated for all children) (KiB): 419664
Max. memory (cumulated for all children) (KiB): 374464

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3567.75
system time used= 16.7844
maximum resident set size= 370112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 151546
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= 1845
involuntary context switches= 2119


# summary of solver processes directly reported to runsolver:
#   pid: 48493
#   total CPU time (s): 3584.53
#   total CPU user time (s): 3567.75
#   total CPU system time (s): 16.7844

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.8225 second user time and 39.0142 second system time

The end