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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=48762, runsolver pid=48759

[startup+0.100073 s]*
/proc/loadavg: 4.07 4.10 4.09 5/260 48766
/proc/meminfo: memFree=122394700/131382112 swapFree=33010684/33010684
[pid=48762] ppid=48759 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/48762/stat : 48762 (Hybrid-CASHWMax) S 48759 48762 45908 0 -1 4194304 251 103 0 0 0 0 0 0 20 0 1 0 49060498 4427776 768 18446744073709551615 94057718620160 94057719514693 140729862492224 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94057719753744 94057719801488 94057720799232 140729862498647 140729862498801 140729862498801 140729862504403 0
/proc/48762/statm: 1081 768 704 219 0 143 0
[pid=48765] ppid=48762 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/48765/stat : 48765 (timeout) S 48762 48765 45908 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 49060501 2723840 352 18446744073709551615 94872076918784 94872076935297 140733798160464 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94872076950064 94872076952152 94872094142464 140733798168982 140733798169122 140733798169122 140733798174695 0
/proc/48765/statm: 665 352 352 5 0 90 0
[pid=48766] ppid=48765 vsize=22180 memory=8064 CPUtime=0.06 cores=4,6
/proc/48766/stat : 48766 (CASHWMaxSAT-Dis) R 48765 48765 45908 0 -1 4194304 1177 0 0 0 6 0 0 0 20 0 1 0 49060502 22712320 2016 18446744073709551615 4198400 14817773 140728586741440 0 0 0 0 0 8408098 0 0 0 17 6 0 0 0 0 0 16829744 16914832 48861184 140728586750364 140728586750491 140728586750491 140728586756064 0
/proc/48766/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: 12544 KiB

[startup+0.219477 s]*
/proc/loadavg: 4.07 4.10 4.09 5/260 48766
/proc/meminfo: memFree=122394700/131382112 swapFree=33010684/33010684
[pid=48762] ppid=48759 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/48762/stat : 48762 (Hybrid-CASHWMax) S 48759 48762 45908 0 -1 4194304 251 103 0 0 0 0 0 0 20 0 1 0 49060498 4427776 768 18446744073709551615 94057718620160 94057719514693 140729862492224 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94057719753744 94057719801488 94057720799232 140729862498647 140729862498801 140729862498801 140729862504403 0
/proc/48762/statm: 1081 768 704 219 0 143 0
[pid=48765] ppid=48762 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/48765/stat : 48765 (timeout) S 48762 48765 45908 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 49060501 2723840 352 18446744073709551615 94872076918784 94872076935297 140733798160464 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94872076950064 94872076952152 94872094142464 140733798168982 140733798169122 140733798169122 140733798174695 0
/proc/48765/statm: 665 352 352 5 0 90 0
[pid=48766] ppid=48765 vsize=22180 memory=8192 CPUtime=0.16 cores=4,6
/proc/48766/stat : 48766 (CASHWMaxSAT-Dis) R 48765 48765 45908 0 -1 4194304 1178 0 0 0 15 1 0 0 20 0 1 0 49060502 22712320 2048 18446744073709551615 4198400 14817773 140728586741440 0 0 0 0 0 8408098 0 0 0 17 6 0 0 0 0 0 16829744 16914832 48861184 140728586750364 140728586750491 140728586750491 140728586756064 0
/proc/48766/statm: 5545 2048 960 2593 0 2438 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 29164 KiB
Current children cumulated memory: 12672 KiB

[startup+0.315289 s]*
/proc/loadavg: 4.07 4.10 4.09 5/260 48766
/proc/meminfo: memFree=122394700/131382112 swapFree=33010684/33010684
[pid=48762] ppid=48759 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/48762/stat : 48762 (Hybrid-CASHWMax) S 48759 48762 45908 0 -1 4194304 251 103 0 0 0 0 0 0 20 0 1 0 49060498 4427776 768 18446744073709551615 94057718620160 94057719514693 140729862492224 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94057719753744 94057719801488 94057720799232 140729862498647 140729862498801 140729862498801 140729862504403 0
/proc/48762/statm: 1081 768 704 219 0 143 0
[pid=48765] ppid=48762 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/48765/stat : 48765 (timeout) S 48762 48765 45908 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 49060501 2723840 352 18446744073709551615 94872076918784 94872076935297 140733798160464 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94872076950064 94872076952152 94872094142464 140733798168982 140733798169122 140733798169122 140733798174695 0
/proc/48765/statm: 665 352 352 5 0 90 0
[pid=48766] ppid=48765 vsize=22180 memory=8192 CPUtime=0.24 cores=4,6
/proc/48766/stat : 48766 (CASHWMaxSAT-Dis) R 48765 48765 45908 0 -1 4194304 1178 0 0 0 23 1 0 0 20 0 1 0 49060502 22712320 2048 18446744073709551615 4198400 14817773 140728586741440 0 0 0 0 0 8408098 0 0 0 17 6 0 0 0 0 0 16829744 16914832 48861184 140728586750364 140728586750491 140728586750491 140728586756064 0
/proc/48766/statm: 5545 2048 960 2593 0 2438 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 29164 KiB
Current children cumulated memory: 12672 KiB

[startup+0.700405 s]
/proc/loadavg: 4.07 4.10 4.09 5/260 48766
/proc/meminfo: memFree=122394700/131382112 swapFree=33010684/33010684
[pid=48762] ppid=48759 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/48762/stat : 48762 (Hybrid-CASHWMax) S 48759 48762 45908 0 -1 4194304 251 103 0 0 0 0 0 0 20 0 1 0 49060498 4427776 768 18446744073709551615 94057718620160 94057719514693 140729862492224 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94057719753744 94057719801488 94057720799232 140729862498647 140729862498801 140729862498801 140729862504403 0
/proc/48762/statm: 1081 768 704 219 0 143 0
[pid=48765] ppid=48762 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/48765/stat : 48765 (timeout) S 48762 48765 45908 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 49060501 2723840 352 18446744073709551615 94872076918784 94872076935297 140733798160464 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94872076950064 94872076952152 94872094142464 140733798168982 140733798169122 140733798169122 140733798174695 0
/proc/48765/statm: 665 352 352 5 0 90 0
[pid=48766] ppid=48765 vsize=22180 memory=8192 CPUtime=0.58 cores=4,6
/proc/48766/stat : 48766 (CASHWMaxSAT-Dis) R 48765 48765 45908 0 -1 4194304 1178 0 0 0 57 1 0 0 20 0 1 0 49060502 22712320 2048 18446744073709551615 4198400 14817773 140728586741440 0 0 0 0 0 8408098 0 0 0 17 6 0 0 0 0 0 16829744 16914832 48861184 140728586750364 140728586750491 140728586750491 140728586756064 0
/proc/48766/statm: 5545 2048 960 2593 0 2438 0
Current children cumulated CPU time: 0.58 s
Current children cumulated vsize: 29164 KiB
Current children cumulated memory: 12672 KiB

[startup+1.50024 s]
/proc/loadavg: 4.07 4.10 4.09 5/260 48766
/proc/meminfo: memFree=122395052/131382112 swapFree=33010684/33010684
[pid=48762] ppid=48759 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/48762/stat : 48762 (Hybrid-CASHWMax) S 48759 48762 45908 0 -1 4194304 251 103 0 0 0 0 0 0 20 0 1 0 49060498 4427776 768 18446744073709551615 94057718620160 94057719514693 140729862492224 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94057719753744 94057719801488 94057720799232 140729862498647 140729862498801 140729862498801 140729862504403 0
/proc/48762/statm: 1081 768 704 219 0 143 0
[pid=48765] ppid=48762 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/48765/stat : 48765 (timeout) S 48762 48765 45908 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 49060501 2723840 352 18446744073709551615 94872076918784 94872076935297 140733798160464 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94872076950064 94872076952152 94872094142464 140733798168982 140733798169122 140733798169122 140733798174695 0
/proc/48765/statm: 665 352 352 5 0 90 0
[pid=48766] ppid=48765 vsize=31528 memory=17536 CPUtime=1.37 cores=4,6
/proc/48766/stat : 48766 (CASHWMaxSAT-Dis) R 48765 48765 45908 0 -1 4194304 3511 0 0 0 134 3 0 0 20 0 1 0 49060502 32284672 4384 18446744073709551615 4198400 14817773 140728586741440 0 0 0 0 0 8408098 0 0 0 17 6 0 0 0 0 0 16829744 16914832 48861184 140728586750364 140728586750491 140728586750491 140728586756064 0
/proc/48766/statm: 7882 4384 960 2593 0 4775 0
Current children cumulated CPU time: 1.37 s
Current children cumulated vsize: 38512 KiB
Current children cumulated memory: 22016 KiB

[startup+3.10613 s]
/proc/loadavg: 4.07 4.10 4.09 5/260 48766
/proc/meminfo: memFree=122395692/131382112 swapFree=33010684/33010684
[pid=48762] ppid=48759 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/48762/stat : 48762 (Hybrid-CASHWMax) S 48759 48762 45908 0 -1 4194304 251 103 0 0 0 0 0 0 20 0 1 0 49060498 4427776 768 18446744073709551615 94057718620160 94057719514693 140729862492224 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94057719753744 94057719801488 94057720799232 140729862498647 140729862498801 140729862498801 140729862504403 0
/proc/48762/statm: 1081 768 704 219 0 143 0
[pid=48765] ppid=48762 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/48765/stat : 48765 (timeout) S 48762 48765 45908 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 49060501 2723840 352 18446744073709551615 94872076918784 94872076935297 140733798160464 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94872076950064 94872076952152 94872094142464 140733798168982 140733798169122 140733798169122 140733798174695 0
/proc/48765/statm: 665 352 352 5 0 90 0
[pid=48766] ppid=48765 vsize=36888 memory=22912 CPUtime=2.95 cores=4,6
/proc/48766/stat : 48766 (CASHWMaxSAT-Dis) R 48765 48765 45908 0 -1 4194304 7662 0 0 0 291 4 0 0 20 0 1 0 49060502 37773312 5728 18446744073709551615 4198400 14817773 140728586741440 0 0 0 0 0 8408098 0 0 0 17 6 0 0 0 0 0 16829744 16914832 48861184 140728586750364 140728586750491 140728586750491 140728586756064 0
/proc/48766/statm: 9222 5728 992 2593 0 6115 0
Current children cumulated CPU time: 2.95 s
Current children cumulated vsize: 43872 KiB
Current children cumulated memory: 27392 KiB

[startup+6.30024 s]
/proc/loadavg: 4.15 4.11 4.09 5/260 48766
/proc/meminfo: memFree=122385596/131382112 swapFree=33010684/33010684
[pid=48762] ppid=48759 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/48762/stat : 48762 (Hybrid-CASHWMax) S 48759 48762 45908 0 -1 4194304 251 103 0 0 0 0 0 0 20 0 1 0 49060498 4427776 768 18446744073709551615 94057718620160 94057719514693 140729862492224 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94057719753744 94057719801488 94057720799232 140729862498647 140729862498801 140729862498801 140729862504403 0
/proc/48762/statm: 1081 768 704 219 0 143 0
[pid=48765] ppid=48762 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/48765/stat : 48765 (timeout) S 48762 48765 45908 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 49060501 2723840 352 18446744073709551615 94872076918784 94872076935297 140733798160464 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94872076950064 94872076952152 94872094142464 140733798168982 140733798169122 140733798169122 140733798174695 0
/proc/48765/statm: 665 352 352 5 0 90 0
[pid=48766] ppid=48765 vsize=42456 memory=28592 CPUtime=6.11 cores=4,6
/proc/48766/stat : 48766 (CASHWMaxSAT-Dis) R 48765 48765 45908 0 -1 4194304 12982 0 0 0 606 5 0 0 20 0 1 0 49060502 43474944 7148 18446744073709551615 4198400 14817773 140728586741440 0 0 0 0 0 8408098 0 0 0 17 6 0 0 0 0 0 16829744 16914832 48861184 140728586750364 140728586750491 140728586750491 140728586756064 0
/proc/48766/statm: 10614 7148 992 2593 0 7507 0
Current children cumulated CPU time: 6.11 s
Current children cumulated vsize: 49440 KiB
Current children cumulated memory: 33072 KiB

[startup+12.7002 s]
/proc/loadavg: 4.13 4.11 4.09 5/260 48766
/proc/meminfo: memFree=122386748/131382112 swapFree=33010684/33010684
[pid=48762] ppid=48759 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/48762/stat : 48762 (Hybrid-CASHWMax) S 48759 48762 45908 0 -1 4194304 251 103 0 0 0 0 0 0 20 0 1 0 49060498 4427776 768 18446744073709551615 94057718620160 94057719514693 140729862492224 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94057719753744 94057719801488 94057720799232 140729862498647 140729862498801 140729862498801 140729862504403 0
/proc/48762/statm: 1081 768 704 219 0 143 0
[pid=48765] ppid=48762 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/48765/stat : 48765 (timeout) S 48762 48765 45908 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 49060501 2723840 352 18446744073709551615 94872076918784 94872076935297 140733798160464 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94872076950064 94872076952152 94872094142464 140733798168982 140733798169122 140733798169122 140733798174695 0
/proc/48765/statm: 665 352 352 5 0 90 0
[pid=48766] ppid=48765 vsize=46464 memory=32552 CPUtime=12.45 cores=4,6
/proc/48766/stat : 48766 (CASHWMaxSAT-Dis) R 48765 48765 45908 0 -1 4194304 16754 0 0 0 1239 6 0 0 20 0 1 0 49060502 47579136 8138 18446744073709551615 4198400 14817773 140728586741440 0 0 0 0 0 8408098 0 0 0 17 6 0 0 0 0 0 16829744 16914832 48861184 140728586750364 140728586750491 140728586750491 140728586756064 0
/proc/48766/statm: 11616 8138 992 2593 0 8509 0
Current children cumulated CPU time: 12.45 s
Current children cumulated vsize: 53448 KiB
Current children cumulated memory: 37032 KiB

[startup+25.5002 s]
/proc/loadavg: 4.10 4.10 4.09 5/259 48766
/proc/meminfo: memFree=122378620/131382112 swapFree=33010684/33010684
[pid=48762] ppid=48759 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/48762/stat : 48762 (Hybrid-CASHWMax) S 48759 48762 45908 0 -1 4194304 251 103 0 0 0 0 0 0 20 0 1 0 49060498 4427776 768 18446744073709551615 94057718620160 94057719514693 140729862492224 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94057719753744 94057719801488 94057720799232 140729862498647 140729862498801 140729862498801 140729862504403 0
/proc/48762/statm: 1081 768 704 219 0 143 0
[pid=48765] ppid=48762 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/48765/stat : 48765 (timeout) S 48762 48765 45908 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 49060501 2723840 352 18446744073709551615 94872076918784 94872076935297 140733798160464 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94872076950064 94872076952152 94872094142464 140733798168982 140733798169122 140733798169122 140733798174695 0
/proc/48765/statm: 665 352 352 5 0 90 0
[pid=48766] ppid=48765 vsize=57812 memory=43832 CPUtime=25.12 cores=4,6
/proc/48766/stat : 48766 (CASHWMaxSAT-Dis) R 48765 48765 45908 0 -1 4194304 21978 0 0 0 2505 7 0 0 20 0 1 0 49060502 59199488 10958 18446744073709551615 4198400 14817773 140728586741440 0 0 0 0 0 8408098 0 0 0 17 6 0 0 0 0 0 16829744 16914832 48861184 140728586750364 140728586750491 140728586750491 140728586756064 0
/proc/48766/statm: 14453 10958 992 2593 0 11346 0
Current children cumulated CPU time: 25.12 s
Current children cumulated vsize: 64796 KiB
Current children cumulated memory: 48312 KiB

[startup+51.1137 s]
/proc/loadavg: 4.15 4.11 4.09 5/259 48767
/proc/meminfo: memFree=122369432/131382112 swapFree=33010684/33010684
[pid=48762] ppid=48759 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/48762/stat : 48762 (Hybrid-CASHWMax) S 48759 48762 45908 0 -1 4194304 251 103 0 0 0 0 0 0 20 0 1 0 49060498 4427776 768 18446744073709551615 94057718620160 94057719514693 140729862492224 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94057719753744 94057719801488 94057720799232 140729862498647 140729862498801 140729862498801 140729862504403 0
/proc/48762/statm: 1081 768 704 219 0 143 0
[pid=48765] ppid=48762 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/48765/stat : 48765 (timeout) S 48762 48765 45908 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 49060501 2723840 352 18446744073709551615 94872076918784 94872076935297 140733798160464 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94872076950064 94872076952152 94872094142464 140733798168982 140733798169122 140733798169122 140733798174695 0
/proc/48765/statm: 665 352 352 5 0 90 0
[pid=48766] ppid=48765 vsize=71088 memory=57108 CPUtime=50.63 cores=4,6
/proc/48766/stat : 48766 (CASHWMaxSAT-Dis) R 48765 48765 45908 0 -1 4194304 24791 0 0 0 5054 9 0 0 20 0 1 0 49060502 72794112 14277 18446744073709551615 4198400 14817773 140728586741440 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 48861184 140728586750364 140728586750491 140728586750491 140728586756064 0
/proc/48766/statm: 17772 14277 992 2593 0 14665 0
Current children cumulated CPU time: 50.63 s
Current children cumulated vsize: 78072 KiB
Current children cumulated memory: 61588 KiB

[startup+102.301 s]
/proc/loadavg: 4.14 4.11 4.09 5/258 48771
/proc/meminfo: memFree=122364428/131382112 swapFree=33010684/33010684
[pid=48762] ppid=48759 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/48762/stat : 48762 (Hybrid-CASHWMax) S 48759 48762 45908 0 -1 4194304 251 103 0 0 0 0 0 0 20 0 1 0 49060498 4427776 768 18446744073709551615 94057718620160 94057719514693 140729862492224 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94057719753744 94057719801488 94057720799232 140729862498647 140729862498801 140729862498801 140729862504403 0
/proc/48762/statm: 1081 768 704 219 0 143 0
[pid=48765] ppid=48762 vsize=2660 memory=1408 CPUtime=0 cores=4,6

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

/proc/48762/statm: 1081 768 704 219 0 143 0
[pid=48963] ppid=48762 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/48963/stat : 48963 (timeout) S 48762 48963 45908 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 49180302 2723840 352 18446744073709551615 94796110131200 94796110147713 140721434892272 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94796110162480 94796110164568 94796143493120 140721434900870 140721434901026 140721434901026 140721434906599 0
/proc/48963/statm: 665 352 352 5 0 90 0
[pid=48964] ppid=48963 vsize=466816 memory=414416 CPUtime=2258.21 cores=4,6
/proc/48964/stat : 48964 (ExactPR-S) R 48963 48963 45908 0 -1 4194304 97517 0 0 0 224260 1561 0 0 20 0 1 0 49180303 478019584 103604 18446744073709551615 93829036929024 93829046229061 140732030812880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93829048015168 93829048054248 93829060964352 140732030818718 140732030818855 140732030818855 140732030824428 0
/proc/48964/statm: 116704 103604 3392 2271 0 111342 0
Current children cumulated CPU time: 3452.47 s
Current children cumulated vsize: 473800 KiB
Current children cumulated memory: 418896 KiB

[startup+3522.3 s]
/proc/loadavg: 3.10 3.53 3.85 4/250 49132
/proc/meminfo: memFree=122198980/131382112 swapFree=33010684/33010684
[pid=48762] ppid=48759 vsize=4324 memory=3072 CPUtime=1194.26 cores=4,6
/proc/48762/stat : 48762 (Hybrid-CASHWMax) S 48759 48762 45908 0 -1 4194304 285 54414 0 0 0 0 119403 23 20 0 1 0 49060498 4427776 768 18446744073709551615 94057718620160 94057719514693 140729862492224 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94057719753744 94057719801488 94057720799232 140729862498647 140729862498801 140729862498801 140729862504403 0
/proc/48762/statm: 1081 768 704 219 0 143 0
[pid=48963] ppid=48762 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/48963/stat : 48963 (timeout) S 48762 48963 45908 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 49180302 2723840 352 18446744073709551615 94796110131200 94796110147713 140721434892272 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94796110162480 94796110164568 94796143493120 140721434900870 140721434901026 140721434901026 140721434906599 0
/proc/48963/statm: 665 352 352 5 0 90 0
[pid=48964] ppid=48963 vsize=466816 memory=414416 CPUtime=2318.05 cores=4,6
/proc/48964/stat : 48964 (ExactPR-S) R 48963 48963 45908 0 -1 4194304 97518 0 0 0 230220 1585 0 0 20 0 1 0 49180303 478019584 103604 18446744073709551615 93829036929024 93829046229061 140732030812880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93829048015168 93829048054248 93829060964352 140732030818718 140732030818855 140732030818855 140732030824428 0
/proc/48964/statm: 116704 103604 3392 2271 0 111342 0
Current children cumulated CPU time: 3512.31 s
Current children cumulated vsize: 473800 KiB
Current children cumulated memory: 418896 KiB

[startup+3582.3 s]
/proc/loadavg: 3.15 3.47 3.80 4/251 49141
/proc/meminfo: memFree=122209296/131382112 swapFree=33010684/33010684
[pid=48762] ppid=48759 vsize=4324 memory=3072 CPUtime=1194.26 cores=4,6
/proc/48762/stat : 48762 (Hybrid-CASHWMax) S 48759 48762 45908 0 -1 4194304 285 54414 0 0 0 0 119403 23 20 0 1 0 49060498 4427776 768 18446744073709551615 94057718620160 94057719514693 140729862492224 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94057719753744 94057719801488 94057720799232 140729862498647 140729862498801 140729862498801 140729862504403 0
/proc/48762/statm: 1081 768 704 219 0 143 0
[pid=48963] ppid=48762 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/48963/stat : 48963 (timeout) S 48762 48963 45908 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 49180302 2723840 352 18446744073709551615 94796110131200 94796110147713 140721434892272 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94796110162480 94796110164568 94796143493120 140721434900870 140721434901026 140721434901026 140721434906599 0
/proc/48963/statm: 665 352 352 5 0 90 0
[pid=48964] ppid=48963 vsize=466816 memory=414416 CPUtime=2377.89 cores=4,6
/proc/48964/stat : 48964 (ExactPR-S) R 48963 48963 45908 0 -1 4194304 97589 0 0 0 236181 1608 0 0 20 0 1 0 49180303 478019584 103604 18446744073709551615 93829036929024 93829046229061 140732030812880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93829048015168 93829048054248 93829060964352 140732030818718 140732030818855 140732030818855 140732030824428 0
/proc/48964/statm: 116704 103604 3392 2271 0 111342 0
Current children cumulated CPU time: 3572.15 s
Current children cumulated vsize: 473800 KiB
Current children cumulated memory: 418896 KiB

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

# cumulated CPU time of all completed processes:  user=3569.49 s, system=16.4537 s

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

[startup+3584 s]*
/proc/loadavg: 3.14 3.46 3.80 4/251 49141
/proc/meminfo: memFree=122198520/131382112 swapFree=33010684/33010684
[pid=48762] ppid=48759 vsize=4324 memory=3072 CPUtime=1194.26 cores=4,6
/proc/48762/stat : 48762 (Hybrid-CASHWMax) S 48759 48762 45908 0 -1 4194304 285 54414 0 0 0 0 119403 23 20 0 1 0 49060498 4427776 768 18446744073709551615 94057718620160 94057719514693 140729862492224 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94057719753744 94057719801488 94057720799232 140729862498647 140729862498801 140729862498801 140729862504403 0
/proc/48762/statm: 1081 768 704 219 0 143 0
[pid=48963] ppid=48762 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/48963/stat : 48963 (timeout) S 48762 48963 45908 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 49180302 2723840 352 18446744073709551615 94796110131200 94796110147713 140721434892272 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94796110162480 94796110164568 94796143493120 140721434900870 140721434901026 140721434901026 140721434906599 0
/proc/48963/statm: 665 352 352 5 0 90 0
[pid=48964] ppid=48963 vsize=466816 memory=414416 CPUtime=2379.6 cores=4,6
/proc/48964/stat : 48964 (ExactPR-S) R 48963 48963 45908 0 -1 4194304 97590 0 0 0 236351 1609 0 0 20 0 1 0 49180303 478019584 103604 18446744073709551615 93829036929024 93829046229061 140732030812880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93829048015168 93829048054248 93829060964352 140732030818718 140732030818855 140732030818855 140732030824428 0
/proc/48964/statm: 116704 103604 3392 2271 0 111342 0
Current children cumulated CPU time: 3573.86 s
Current children cumulated vsize: 473800 KiB
Current children cumulated memory: 418896 KiB

[startup+3590.4 s]
/proc/loadavg: 3.13 3.45 3.79 4/251 49141
/proc/meminfo: memFree=122198772/131382112 swapFree=33010684/33010684
[pid=48762] ppid=48759 vsize=4324 memory=3072 CPUtime=1194.26 cores=4,6
/proc/48762/stat : 48762 (Hybrid-CASHWMax) S 48759 48762 45908 0 -1 4194304 285 54414 0 0 0 0 119403 23 20 0 1 0 49060498 4427776 768 18446744073709551615 94057718620160 94057719514693 140729862492224 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94057719753744 94057719801488 94057720799232 140729862498647 140729862498801 140729862498801 140729862504403 0
/proc/48762/statm: 1081 768 704 219 0 143 0
[pid=48963] ppid=48762 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/48963/stat : 48963 (timeout) S 48762 48963 45908 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 49180302 2723840 352 18446744073709551615 94796110131200 94796110147713 140721434892272 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94796110162480 94796110164568 94796143493120 140721434900870 140721434901026 140721434901026 140721434906599 0
/proc/48963/statm: 665 352 352 5 0 90 0
[pid=48964] ppid=48963 vsize=466816 memory=414416 CPUtime=2385.97 cores=4,6
/proc/48964/stat : 48964 (ExactPR-S) R 48963 48963 45908 0 -1 4194304 97590 0 0 0 236982 1615 0 0 20 0 1 0 49180303 478019584 103604 18446744073709551615 93829036929024 93829046229061 140732030812880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93829048015168 93829048054248 93829060964352 140732030818718 140732030818855 140732030818855 140732030824428 0
/proc/48964/statm: 116704 103604 3392 2271 0 111342 0
Current children cumulated CPU time: 3580.23 s
Current children cumulated vsize: 473800 KiB
Current children cumulated memory: 418896 KiB

[startup+3593.6 s]
/proc/loadavg: 3.13 3.45 3.79 4/251 49142
/proc/meminfo: memFree=122197440/131382112 swapFree=33010684/33010684
[pid=48762] ppid=48759 vsize=4324 memory=3072 CPUtime=1194.26 cores=4,6
/proc/48762/stat : 48762 (Hybrid-CASHWMax) S 48759 48762 45908 0 -1 4194304 285 54414 0 0 0 0 119403 23 20 0 1 0 49060498 4427776 768 18446744073709551615 94057718620160 94057719514693 140729862492224 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94057719753744 94057719801488 94057720799232 140729862498647 140729862498801 140729862498801 140729862504403 0
/proc/48762/statm: 1081 768 704 219 0 143 0
[pid=48963] ppid=48762 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/48963/stat : 48963 (timeout) S 48762 48963 45908 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 49180302 2723840 352 18446744073709551615 94796110131200 94796110147713 140721434892272 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94796110162480 94796110164568 94796143493120 140721434900870 140721434901026 140721434901026 140721434906599 0
/proc/48963/statm: 665 352 352 5 0 90 0
[pid=48964] ppid=48963 vsize=466816 memory=414416 CPUtime=2389.16 cores=4,6
/proc/48964/stat : 48964 (ExactPR-S) R 48963 48963 45908 0 -1 4194304 97590 0 0 0 237300 1616 0 0 20 0 1 0 49180303 478019584 103604 18446744073709551615 93829036929024 93829046229061 140732030812880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93829048015168 93829048054248 93829060964352 140732030818718 140732030818855 140732030818855 140732030824428 0
/proc/48964/statm: 116704 103604 3392 2271 0 111342 0
Current children cumulated CPU time: 3583.42 s
Current children cumulated vsize: 473800 KiB
Current children cumulated memory: 418896 KiB

[startup+3595.2 s]
/proc/loadavg: 3.12 3.44 3.79 4/251 49142
/proc/meminfo: memFree=122197440/131382112 swapFree=33010684/33010684
[pid=48762] ppid=48759 vsize=4324 memory=3072 CPUtime=1194.26 cores=4,6
/proc/48762/stat : 48762 (Hybrid-CASHWMax) S 48759 48762 45908 0 -1 4194304 285 54414 0 0 0 0 119403 23 20 0 1 0 49060498 4427776 768 18446744073709551615 94057718620160 94057719514693 140729862492224 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94057719753744 94057719801488 94057720799232 140729862498647 140729862498801 140729862498801 140729862504403 0
/proc/48762/statm: 1081 768 704 219 0 143 0
[pid=48963] ppid=48762 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/48963/stat : 48963 (timeout) S 48762 48963 45908 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 49180302 2723840 352 18446744073709551615 94796110131200 94796110147713 140721434892272 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94796110162480 94796110164568 94796143493120 140721434900870 140721434901026 140721434901026 140721434906599 0
/proc/48963/statm: 665 352 352 5 0 90 0
[pid=48964] ppid=48963 vsize=466816 memory=414416 CPUtime=2390.75 cores=4,6
/proc/48964/stat : 48964 (ExactPR-S) R 48963 48963 45908 0 -1 4194304 97590 0 0 0 237459 1616 0 0 20 0 1 0 49180303 478019584 103604 18446744073709551615 93829036929024 93829046229061 140732030812880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93829048015168 93829048054248 93829060964352 140732030818718 140732030818855 140732030818855 140732030824428 0
/proc/48964/statm: 116704 103604 3392 2271 0 111342 0
Current children cumulated CPU time: 3585.01 s
Current children cumulated vsize: 473800 KiB
Current children cumulated memory: 418896 KiB

[startup+3595.6 s]
/proc/loadavg: 3.12 3.44 3.79 4/251 49142
/proc/meminfo: memFree=122197440/131382112 swapFree=33010684/33010684
[pid=48762] ppid=48759 vsize=4324 memory=3072 CPUtime=1194.26 cores=4,6
/proc/48762/stat : 48762 (Hybrid-CASHWMax) S 48759 48762 45908 0 -1 4194304 285 54414 0 0 0 0 119403 23 20 0 1 0 49060498 4427776 768 18446744073709551615 94057718620160 94057719514693 140729862492224 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94057719753744 94057719801488 94057720799232 140729862498647 140729862498801 140729862498801 140729862504403 0
/proc/48762/statm: 1081 768 704 219 0 143 0
[pid=48963] ppid=48762 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/48963/stat : 48963 (timeout) S 48762 48963 45908 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 49180302 2723840 352 18446744073709551615 94796110131200 94796110147713 140721434892272 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94796110162480 94796110164568 94796143493120 140721434900870 140721434901026 140721434901026 140721434906599 0
/proc/48963/statm: 665 352 352 5 0 90 0
[pid=48964] ppid=48963 vsize=466816 memory=414416 CPUtime=2391.15 cores=4,6
/proc/48964/stat : 48964 (ExactPR-S) R 48963 48963 45908 0 -1 4194304 97590 0 0 0 237499 1616 0 0 20 0 1 0 49180303 478019584 103604 18446744073709551615 93829036929024 93829046229061 140732030812880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93829048015168 93829048054248 93829060964352 140732030818718 140732030818855 140732030818855 140732030824428 0
/proc/48964/statm: 116704 103604 3392 2271 0 111342 0
Current children cumulated CPU time: 3585.41 s
Current children cumulated vsize: 473800 KiB
Current children cumulated memory: 418896 KiB

[startup+3596 s]*
/proc/loadavg: 3.12 3.44 3.79 4/251 49142
/proc/meminfo: memFree=122197440/131382112 swapFree=33010684/33010684
[pid=48762] ppid=48759 vsize=4324 memory=3072 CPUtime=1194.26 cores=4,6
/proc/48762/stat : 48762 (Hybrid-CASHWMax) S 48759 48762 45908 0 -1 4194304 285 54414 0 0 0 0 119403 23 20 0 1 0 49060498 4427776 768 18446744073709551615 94057718620160 94057719514693 140729862492224 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94057719753744 94057719801488 94057720799232 140729862498647 140729862498801 140729862498801 140729862504403 0
/proc/48762/statm: 1081 768 704 219 0 143 0
[pid=48963] ppid=48762 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/48963/stat : 48963 (timeout) S 48762 48963 45908 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 49180302 2723840 352 18446744073709551615 94796110131200 94796110147713 140721434892272 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94796110162480 94796110164568 94796143493120 140721434900870 140721434901026 140721434901026 140721434906599 0
/proc/48963/statm: 665 352 352 5 0 90 0
[pid=48964] ppid=48963 vsize=466816 memory=414416 CPUtime=2391.56 cores=4,6
/proc/48964/stat : 48964 (ExactPR-S) R 48963 48963 45908 0 -1 4194304 97590 0 0 0 237540 1616 0 0 20 0 1 0 49180303 478019584 103604 18446744073709551615 93829036929024 93829046229061 140732030812880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93829048015168 93829048054248 93829060964352 140732030818718 140732030818855 140732030818855 140732030824428 0
/proc/48964/statm: 116704 103604 3392 2271 0 111342 0
Current children cumulated CPU time: 3585.82 s
Current children cumulated vsize: 473800 KiB
Current children cumulated memory: 418896 KiB

[startup+3596.11 s]
/proc/loadavg: 3.12 3.44 3.79 4/251 49142
/proc/meminfo: memFree=122197440/131382112 swapFree=33010684/33010684
[pid=48762] ppid=48759 vsize=4324 memory=3072 CPUtime=3585.9 cores=4,6
/proc/48762/stat : 48762 (Hybrid-CASHWMax) S 48759 48762 45908 0 -1 4194304 405 153837 0 0 0 0 356948 1642 20 0 1 0 49060498 4427776 768 18446744073709551615 94057718620160 94057719514693 140729862492224 0 0 0 2 4 65536 1 0 0 17 4 0 0 0 0 0 94057719753744 94057719801488 94057720799232 140729862498647 140729862498801 140729862498801 140729862504403 0
/proc/48762/statm: 1081 768 704 219 0 143 0
Current children cumulated CPU time: 3585.9 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3072 KiB

Child status: 0

Real time (s): 3596.16
CPU time (s): 3585.94
CPU user time (s): 3569.49
CPU system time (s): 16.4537
CPU usage (%): 99.7157
Max. virtual memory (cumulated for all children) (KiB): 473800
Max. memory (cumulated for all children) (KiB): 427916

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3569.49
system time used= 16.4537
maximum resident set size= 465212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 155524
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1905
involuntary context switches= 2985


# summary of solver processes directly reported to runsolver:
#   pid: 48762
#   total CPU time (s): 3585.94
#   total CPU user time (s): 3569.49
#   total CPU system time (s): 16.4537

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.4757 second user time and 38.7266 second system time

The end