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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484842-1751286476/watcher-4484842-1751286476 -o /tmp/evaluation-result-4484842-1751286476/solver-4484842-1751286476 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751279092-43173 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS9 HOME/instance-4484842-1751286476.opb 3600 HOME 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=44838, runsolver pid=44835
Current StackSize limit: 8192 KiB


[startup+0.100066 s]*
/proc/loadavg: 4.05 4.10 4.09 5/276 44842
/proc/meminfo: memFree=129039408/131249996 swapFree=33010684/33010684
[pid=44838] ppid=44835 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/44838/stat : 44838 (Hybrid-CASHWMax) S 44835 44838 43154 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 44325552 4427776 736 18446744073709551615 94803754352640 94803755247173 140729163590128 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94803755486224 94803755533968 94803765342208 140729163598165 140729163598320 140729163598320 140729163603922 0
/proc/44838/statm: 1081 736 672 219 0 143 0
[pid=44841] ppid=44838 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/44841/stat : 44841 (timeout) S 44838 44841 43154 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 44325553 2723840 352 18446744073709551615 93861135122432 93861135138945 140730533087152 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 93861135153712 93861135155800 93861142777856 140730533095832 140730533095970 140730533095970 140730533101543 0
/proc/44841/statm: 665 352 352 5 0 90 0
[pid=44842] ppid=44841 vsize=38248 memory=19840 CPUtime=0.07 cores=1,3
/proc/44842/stat : 44842 (CASHWMaxSAT-Dis) R 44841 44841 43154 0 -1 4194304 4315 0 0 0 7 0 0 0 20 0 1 0 44325554 39165952 4960 18446744073709551615 4198400 14093885 140732847703040 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 33173504 140732847704477 140732847704603 140732847704603 140732847710176 0
/proc/44842/statm: 9562 4960 736 2416 0 6664 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 45232 KiB
Current children cumulated memory: 24192 KiB

[startup+0.205883 s]*
/proc/loadavg: 4.05 4.10 4.09 5/276 44842
/proc/meminfo: memFree=129035628/131249996 swapFree=33010684/33010684
[pid=44838] ppid=44835 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/44838/stat : 44838 (Hybrid-CASHWMax) S 44835 44838 43154 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 44325552 4427776 736 18446744073709551615 94803754352640 94803755247173 140729163590128 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94803755486224 94803755533968 94803765342208 140729163598165 140729163598320 140729163598320 140729163603922 0
/proc/44838/statm: 1081 736 672 219 0 143 0
[pid=44841] ppid=44838 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/44841/stat : 44841 (timeout) S 44838 44841 43154 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 44325553 2723840 352 18446744073709551615 93861135122432 93861135138945 140730533087152 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 93861135153712 93861135155800 93861142777856 140730533095832 140730533095970 140730533095970 140730533101543 0
/proc/44841/statm: 665 352 352 5 0 90 0
[pid=44842] ppid=44841 vsize=57796 memory=39296 CPUtime=0.18 cores=1,3
/proc/44842/stat : 44842 (CASHWMaxSAT-Dis) R 44841 44841 43154 0 -1 4194304 9195 0 0 0 17 1 0 0 20 0 1 0 44325554 59183104 9824 18446744073709551615 4198400 14093885 140732847703040 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 33173504 140732847704477 140732847704603 140732847704603 140732847710176 0
/proc/44842/statm: 14449 9824 736 2416 0 11551 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 64780 KiB
Current children cumulated memory: 43648 KiB

[startup+0.305819 s]*
/proc/loadavg: 4.05 4.10 4.09 5/276 44842
/proc/meminfo: memFree=129015640/131249996 swapFree=33010684/33010684
[pid=44838] ppid=44835 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/44838/stat : 44838 (Hybrid-CASHWMax) S 44835 44838 43154 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 44325552 4427776 736 18446744073709551615 94803754352640 94803755247173 140729163590128 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94803755486224 94803755533968 94803765342208 140729163598165 140729163598320 140729163598320 140729163603922 0
/proc/44838/statm: 1081 736 672 219 0 143 0
[pid=44841] ppid=44838 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/44841/stat : 44841 (timeout) S 44838 44841 43154 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 44325553 2723840 352 18446744073709551615 93861135122432 93861135138945 140730533087152 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 93861135153712 93861135155800 93861142777856 140730533095832 140730533095970 140730533095970 140730533101543 0
/proc/44841/statm: 665 352 352 5 0 90 0
[pid=44842] ppid=44841 vsize=76444 memory=57856 CPUtime=0.28 cores=1,3
/proc/44842/stat : 44842 (CASHWMaxSAT-Dis) R 44841 44841 43154 0 -1 4194304 13818 0 0 0 26 2 0 0 20 0 1 0 44325554 78278656 14464 18446744073709551615 4198400 14093885 140732847703040 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 33173504 140732847704477 140732847704603 140732847704603 140732847710176 0
/proc/44842/statm: 19111 14464 736 2416 0 16213 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 83428 KiB
Current children cumulated memory: 62208 KiB

[startup+0.700202 s]
/proc/loadavg: 4.05 4.10 4.09 5/276 44842
/proc/meminfo: memFree=129004048/131249996 swapFree=33010684/33010684
[pid=44838] ppid=44835 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/44838/stat : 44838 (Hybrid-CASHWMax) S 44835 44838 43154 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 44325552 4427776 736 18446744073709551615 94803754352640 94803755247173 140729163590128 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94803755486224 94803755533968 94803765342208 140729163598165 140729163598320 140729163598320 140729163603922 0
/proc/44838/statm: 1081 736 672 219 0 143 0
[pid=44841] ppid=44838 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/44841/stat : 44841 (timeout) S 44838 44841 43154 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 44325553 2723840 352 18446744073709551615 93861135122432 93861135138945 140730533087152 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 93861135153712 93861135155800 93861142777856 140730533095832 140730533095970 140730533095970 140730533101543 0
/proc/44841/statm: 665 352 352 5 0 90 0
[pid=44842] ppid=44841 vsize=84652 memory=69196 CPUtime=0.67 cores=1,3
/proc/44842/stat : 44842 (CASHWMaxSAT-Dis) R 44841 44841 43154 0 -1 4194304 17188 0 0 0 65 2 0 0 20 0 1 0 44325554 86683648 17299 18446744073709551615 4198400 14093885 140732847703040 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 33173504 140732847704477 140732847704603 140732847704603 140732847710176 0
/proc/44842/statm: 21163 17299 768 2416 0 18265 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 91636 KiB
Current children cumulated memory: 73548 KiB

[startup+1.50024 s]
/proc/loadavg: 4.05 4.10 4.09 5/276 44842
/proc/meminfo: memFree=129003544/131249996 swapFree=33010684/33010684
[pid=44838] ppid=44835 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/44838/stat : 44838 (Hybrid-CASHWMax) S 44835 44838 43154 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 44325552 4427776 736 18446744073709551615 94803754352640 94803755247173 140729163590128 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94803755486224 94803755533968 94803765342208 140729163598165 140729163598320 140729163598320 140729163603922 0
/proc/44838/statm: 1081 736 672 219 0 143 0
[pid=44841] ppid=44838 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/44841/stat : 44841 (timeout) S 44838 44841 43154 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 44325553 2723840 352 18446744073709551615 93861135122432 93861135138945 140730533087152 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 93861135153712 93861135155800 93861142777856 140730533095832 140730533095970 140730533095970 140730533101543 0
/proc/44841/statm: 665 352 352 5 0 90 0
[pid=44842] ppid=44841 vsize=87408 memory=71884 CPUtime=1.47 cores=1,3
/proc/44842/stat : 44842 (CASHWMaxSAT-Dis) R 44841 44841 43154 0 -1 4194304 17863 0 0 0 144 3 0 0 20 0 1 0 44325554 89505792 17971 18446744073709551615 4198400 14093885 140732847703040 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 33173504 140732847704477 140732847704603 140732847704603 140732847710176 0
/proc/44842/statm: 21852 17971 768 2416 0 18954 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 94392 KiB
Current children cumulated memory: 76236 KiB

[startup+3.10568 s]
/proc/loadavg: 4.05 4.10 4.09 5/276 44842
/proc/meminfo: memFree=128990708/131249996 swapFree=33010684/33010684
[pid=44838] ppid=44835 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/44838/stat : 44838 (Hybrid-CASHWMax) S 44835 44838 43154 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 44325552 4427776 736 18446744073709551615 94803754352640 94803755247173 140729163590128 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94803755486224 94803755533968 94803765342208 140729163598165 140729163598320 140729163598320 140729163603922 0
/proc/44838/statm: 1081 736 672 219 0 143 0
[pid=44841] ppid=44838 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/44841/stat : 44841 (timeout) S 44838 44841 43154 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 44325553 2723840 352 18446744073709551615 93861135122432 93861135138945 140730533087152 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 93861135153712 93861135155800 93861142777856 140730533095832 140730533095970 140730533095970 140730533101543 0
/proc/44841/statm: 665 352 352 5 0 90 0
[pid=44842] ppid=44841 vsize=90128 memory=75312 CPUtime=3.07 cores=1,3
/proc/44842/stat : 44842 (CASHWMaxSAT-Dis) R 44841 44841 43154 0 -1 4194304 18201 0 0 0 304 3 0 0 20 0 1 0 44325554 92291072 18828 18446744073709551615 4198400 14093885 140732847703040 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 33173504 140732847704477 140732847704603 140732847704603 140732847710176 0
/proc/44842/statm: 22532 18828 768 2416 0 19634 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 97112 KiB
Current children cumulated memory: 79664 KiB

[startup+6.30023 s]
/proc/loadavg: 4.04 4.10 4.09 5/276 44842
/proc/meminfo: memFree=128987104/131249996 swapFree=33010684/33010684
[pid=44838] ppid=44835 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/44838/stat : 44838 (Hybrid-CASHWMax) S 44835 44838 43154 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 44325552 4427776 736 18446744073709551615 94803754352640 94803755247173 140729163590128 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94803755486224 94803755533968 94803765342208 140729163598165 140729163598320 140729163598320 140729163603922 0
/proc/44838/statm: 1081 736 672 219 0 143 0
[pid=44841] ppid=44838 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/44841/stat : 44841 (timeout) S 44838 44841 43154 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 44325553 2723840 352 18446744073709551615 93861135122432 93861135138945 140730533087152 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 93861135153712 93861135155800 93861142777856 140730533095832 140730533095970 140730533095970 140730533101543 0
/proc/44841/statm: 665 352 352 5 0 90 0
[pid=44842] ppid=44841 vsize=90408 memory=75896 CPUtime=6.25 cores=1,3
/proc/44842/stat : 44842 (CASHWMaxSAT-Dis) R 44841 44841 43154 0 -1 4194304 19888 0 0 0 622 3 0 0 20 0 1 0 44325554 92577792 18974 18446744073709551615 4198400 14093885 140732847703040 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 33173504 140732847704477 140732847704603 140732847704603 140732847710176 0
/proc/44842/statm: 22602 18974 768 2416 0 19704 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 97392 KiB
Current children cumulated memory: 80248 KiB

[startup+12.7002 s]
/proc/loadavg: 4.04 4.10 4.09 5/276 44842
/proc/meminfo: memFree=128969148/131249996 swapFree=33010684/33010684
[pid=44838] ppid=44835 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/44838/stat : 44838 (Hybrid-CASHWMax) S 44835 44838 43154 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 44325552 4427776 736 18446744073709551615 94803754352640 94803755247173 140729163590128 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94803755486224 94803755533968 94803765342208 140729163598165 140729163598320 140729163598320 140729163603922 0
/proc/44838/statm: 1081 736 672 219 0 143 0
[pid=44841] ppid=44838 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/44841/stat : 44841 (timeout) S 44838 44841 43154 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 44325553 2723840 352 18446744073709551615 93861135122432 93861135138945 140730533087152 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 93861135153712 93861135155800 93861142777856 140730533095832 140730533095970 140730533095970 140730533101543 0
/proc/44841/statm: 665 352 352 5 0 90 0
[pid=44842] ppid=44841 vsize=109188 memory=94508 CPUtime=12.63 cores=1,3
/proc/44842/stat : 44842 (CASHWMaxSAT-Dis) R 44841 44841 43154 0 -1 4194304 20985 0 0 0 1259 4 0 0 20 0 1 0 44325554 111808512 23627 18446744073709551615 4198400 14093885 140732847703040 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 33173504 140732847704477 140732847704603 140732847704603 140732847710176 0
/proc/44842/statm: 27297 23627 768 2416 0 24399 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 116172 KiB
Current children cumulated memory: 98860 KiB

[startup+25.5002 s]
/proc/loadavg: 4.10 4.11 4.09 5/276 44842
/proc/meminfo: memFree=128965052/131249996 swapFree=33010684/33010684
[pid=44838] ppid=44835 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/44838/stat : 44838 (Hybrid-CASHWMax) S 44835 44838 43154 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 44325552 4427776 736 18446744073709551615 94803754352640 94803755247173 140729163590128 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94803755486224 94803755533968 94803765342208 140729163598165 140729163598320 140729163598320 140729163603922 0
/proc/44838/statm: 1081 736 672 219 0 143 0
[pid=44841] ppid=44838 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/44841/stat : 44841 (timeout) S 44838 44841 43154 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 44325553 2723840 352 18446744073709551615 93861135122432 93861135138945 140730533087152 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 93861135153712 93861135155800 93861142777856 140730533095832 140730533095970 140730533095970 140730533101543 0
/proc/44841/statm: 665 352 352 5 0 90 0
[pid=44842] ppid=44841 vsize=109188 memory=94636 CPUtime=25.4 cores=1,3
/proc/44842/stat : 44842 (CASHWMaxSAT-Dis) R 44841 44841 43154 0 -1 4194304 21021 0 0 0 2536 4 0 0 20 0 1 0 44325554 111808512 23659 18446744073709551615 4198400 14093885 140732847703040 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 33173504 140732847704477 140732847704603 140732847704603 140732847710176 0
/proc/44842/statm: 27297 23659 768 2416 0 24399 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 116172 KiB
Current children cumulated memory: 98988 KiB

[startup+51.1057 s]
/proc/loadavg: 4.06 4.10 4.09 5/275 44842
/proc/meminfo: memFree=128950352/131249996 swapFree=33010684/33010684
[pid=44838] ppid=44835 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/44838/stat : 44838 (Hybrid-CASHWMax) S 44835 44838 43154 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 44325552 4427776 736 18446744073709551615 94803754352640 94803755247173 140729163590128 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94803755486224 94803755533968 94803765342208 140729163598165 140729163598320 140729163598320 140729163603922 0
/proc/44838/statm: 1081 736 672 219 0 143 0
[pid=44841] ppid=44838 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/44841/stat : 44841 (timeout) S 44838 44841 43154 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 44325553 2723840 352 18446744073709551615 93861135122432 93861135138945 140730533087152 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 93861135153712 93861135155800 93861142777856 140730533095832 140730533095970 140730533095970 140730533101543 0
/proc/44841/statm: 665 352 352 5 0 90 0
[pid=44842] ppid=44841 vsize=113608 memory=98752 CPUtime=50.94 cores=1,3
/proc/44842/stat : 44842 (CASHWMaxSAT-Dis) R 44841 44841 43154 0 -1 4194304 21537 0 0 0 5089 5 0 0 20 0 1 0 44325554 116334592 24688 18446744073709551615 4198400 14093885 140732847703040 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 33173504 140732847704477 140732847704603 140732847704603 140732847710176 0
/proc/44842/statm: 28402 24688 768 2416 0 25504 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 120592 KiB
Current children cumulated memory: 103104 KiB

[startup+102.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/275 44845
/proc/meminfo: memFree=128931032/131249996 swapFree=33010684/33010684
[pid=44838] ppid=44835 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/44838/stat : 44838 (Hybrid-CASHWMax) S 44835 44838 43154 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 44325552 4427776 736 18446744073709551615 94803754352640 94803755247173 140729163590128 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94803755486224 94803755533968 94803765342208 140729163598165 140729163598320 140729163598320 140729163603922 0
/proc/44838/statm: 1081 736 672 219 0 143 0

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

/proc/44838/statm: 1081 736 672 219 0 143 0
[pid=44890] ppid=44838 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/44890/stat : 44890 (timeout) S 44838 44890 43154 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 44415454 2723840 352 18446744073709551615 94782779084800 94782779101313 140735121854272 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94782779116080 94782779118168 94782792536064 140735121860997 140735121861154 140735121861154 140735121866727 0
/proc/44890/statm: 665 352 352 5 0 90 0
[pid=44891] ppid=44890 vsize=1411828 memory=1160448 CPUtime=2555.94 cores=1,3
/proc/44891/stat : 44891 (ExactPR-S9) R 44890 44890 43154 0 -1 4194304 248864 0 0 0 254080 1514 0 0 20 0 1 0 44415454 1445711872 290112 18446744073709551615 93837361938432 93837371238533 140726801332336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93837373024576 93837373063656 93837399597056 140726801336732 140726801336870 140726801336870 140726801342443 0
/proc/44891/statm: 352957 290112 3520 2271 0 347595 0
Current children cumulated CPU time: 3452.15 s
Current children cumulated vsize: 1418812 KiB
Current children cumulated memory: 1164800 KiB

[startup+3522.3 s]
/proc/loadavg: 3.24 3.26 3.58 4/264 45085
/proc/meminfo: memFree=125834140/131249996 swapFree=33010684/33010684
[pid=44838] ppid=44835 vsize=4324 memory=2944 CPUtime=896.21 cores=1,3
/proc/44838/stat : 44838 (Hybrid-CASHWMax) S 44835 44838 43154 0 -1 4194304 283 28503 0 0 0 0 89607 14 20 0 1 0 44325552 4427776 736 18446744073709551615 94803754352640 94803755247173 140729163590128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94803755486224 94803755533968 94803765342208 140729163598165 140729163598320 140729163598320 140729163603922 0
/proc/44838/statm: 1081 736 672 219 0 143 0
[pid=44890] ppid=44838 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/44890/stat : 44890 (timeout) S 44838 44890 43154 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 44415454 2723840 352 18446744073709551615 94782779084800 94782779101313 140735121854272 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94782779116080 94782779118168 94782792536064 140735121860997 140735121861154 140735121861154 140735121866727 0
/proc/44890/statm: 665 352 352 5 0 90 0
[pid=44891] ppid=44890 vsize=1411828 memory=1163520 CPUtime=2615.81 cores=1,3
/proc/44891/stat : 44891 (ExactPR-S9) R 44890 44890 43154 0 -1 4194304 248872 0 0 0 260065 1516 0 0 20 0 1 0 44415454 1445711872 290880 18446744073709551615 93837361938432 93837371238533 140726801332336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93837373024576 93837373063656 93837399597056 140726801336732 140726801336870 140726801336870 140726801342443 0
/proc/44891/statm: 352957 290880 3520 2271 0 347595 0
Current children cumulated CPU time: 3512.02 s
Current children cumulated vsize: 1418812 KiB
Current children cumulated memory: 1167872 KiB

[startup+3582.3 s]
/proc/loadavg: 3.13 3.22 3.54 3/256 45140
/proc/meminfo: memFree=126943544/131249996 swapFree=33010684/33010684
[pid=44838] ppid=44835 vsize=4324 memory=2944 CPUtime=896.21 cores=1,3
/proc/44838/stat : 44838 (Hybrid-CASHWMax) S 44835 44838 43154 0 -1 4194304 283 28503 0 0 0 0 89607 14 20 0 1 0 44325552 4427776 736 18446744073709551615 94803754352640 94803755247173 140729163590128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94803755486224 94803755533968 94803765342208 140729163598165 140729163598320 140729163598320 140729163603922 0
/proc/44838/statm: 1081 736 672 219 0 143 0
[pid=44890] ppid=44838 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/44890/stat : 44890 (timeout) S 44838 44890 43154 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 44415454 2723840 352 18446744073709551615 94782779084800 94782779101313 140735121854272 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94782779116080 94782779118168 94782792536064 140735121860997 140735121861154 140735121861154 140735121866727 0
/proc/44890/statm: 665 352 352 5 0 90 0
[pid=44891] ppid=44890 vsize=1411828 memory=1167360 CPUtime=2675.67 cores=1,3
/proc/44891/stat : 44891 (ExactPR-S9) R 44890 44890 43154 0 -1 4194304 248930 0 0 0 266050 1517 0 0 20 0 1 0 44415454 1445711872 291840 18446744073709551615 93837361938432 93837371238533 140726801332336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93837373024576 93837373063656 93837399597056 140726801336732 140726801336870 140726801336870 140726801342443 0
/proc/44891/statm: 352957 291840 3520 2271 0 347595 0
Current children cumulated CPU time: 3571.88 s
Current children cumulated vsize: 1418812 KiB
Current children cumulated memory: 1171712 KiB

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

# cumulated CPU time of all completed processes:  user=3570.29 s, system=15.3705 s

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

[startup+3584 s]*
/proc/loadavg: 3.04 3.20 3.53 3/256 45140
/proc/meminfo: memFree=126943544/131249996 swapFree=33010684/33010684
[pid=44838] ppid=44835 vsize=4324 memory=2944 CPUtime=896.21 cores=1,3
/proc/44838/stat : 44838 (Hybrid-CASHWMax) S 44835 44838 43154 0 -1 4194304 283 28503 0 0 0 0 89607 14 20 0 1 0 44325552 4427776 736 18446744073709551615 94803754352640 94803755247173 140729163590128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94803755486224 94803755533968 94803765342208 140729163598165 140729163598320 140729163598320 140729163603922 0
/proc/44838/statm: 1081 736 672 219 0 143 0
[pid=44890] ppid=44838 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/44890/stat : 44890 (timeout) S 44838 44890 43154 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 44415454 2723840 352 18446744073709551615 94782779084800 94782779101313 140735121854272 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94782779116080 94782779118168 94782792536064 140735121860997 140735121861154 140735121861154 140735121866727 0
/proc/44890/statm: 665 352 352 5 0 90 0
[pid=44891] ppid=44890 vsize=1411828 memory=1167360 CPUtime=2677.37 cores=1,3
/proc/44891/stat : 44891 (ExactPR-S9) R 44890 44890 43154 0 -1 4194304 248930 0 0 0 266220 1517 0 0 20 0 1 0 44415454 1445711872 291840 18446744073709551615 93837361938432 93837371238533 140726801332336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93837373024576 93837373063656 93837399597056 140726801336732 140726801336870 140726801336870 140726801342443 0
/proc/44891/statm: 352957 291840 3520 2271 0 347595 0
Current children cumulated CPU time: 3573.58 s
Current children cumulated vsize: 1418812 KiB
Current children cumulated memory: 1171712 KiB

[startup+3590.4 s]
/proc/loadavg: 3.04 3.20 3.53 3/256 45140
/proc/meminfo: memFree=126940128/131249996 swapFree=33010684/33010684
[pid=44838] ppid=44835 vsize=4324 memory=2944 CPUtime=896.21 cores=1,3
/proc/44838/stat : 44838 (Hybrid-CASHWMax) S 44835 44838 43154 0 -1 4194304 283 28503 0 0 0 0 89607 14 20 0 1 0 44325552 4427776 736 18446744073709551615 94803754352640 94803755247173 140729163590128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94803755486224 94803755533968 94803765342208 140729163598165 140729163598320 140729163598320 140729163603922 0
/proc/44838/statm: 1081 736 672 219 0 143 0
[pid=44890] ppid=44838 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/44890/stat : 44890 (timeout) S 44838 44890 43154 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 44415454 2723840 352 18446744073709551615 94782779084800 94782779101313 140735121854272 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94782779116080 94782779118168 94782792536064 140735121860997 140735121861154 140735121861154 140735121866727 0
/proc/44890/statm: 665 352 352 5 0 90 0
[pid=44891] ppid=44890 vsize=1411828 memory=1171456 CPUtime=2683.75 cores=1,3
/proc/44891/stat : 44891 (ExactPR-S9) R 44890 44890 43154 0 -1 4194304 248984 0 0 0 266858 1517 0 0 20 0 1 0 44415454 1445711872 292864 18446744073709551615 93837361938432 93837371238533 140726801332336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93837373024576 93837373063656 93837399597056 140726801336732 140726801336870 140726801336870 140726801342443 0
/proc/44891/statm: 352957 292864 3520 2271 0 347595 0
Current children cumulated CPU time: 3579.96 s
Current children cumulated vsize: 1418812 KiB
Current children cumulated memory: 1175808 KiB

[startup+3593.6 s]
/proc/loadavg: 3.04 3.20 3.53 3/256 45140
/proc/meminfo: memFree=126940128/131249996 swapFree=33010684/33010684
[pid=44838] ppid=44835 vsize=4324 memory=2944 CPUtime=896.21 cores=1,3
/proc/44838/stat : 44838 (Hybrid-CASHWMax) S 44835 44838 43154 0 -1 4194304 283 28503 0 0 0 0 89607 14 20 0 1 0 44325552 4427776 736 18446744073709551615 94803754352640 94803755247173 140729163590128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94803755486224 94803755533968 94803765342208 140729163598165 140729163598320 140729163598320 140729163603922 0
/proc/44838/statm: 1081 736 672 219 0 143 0
[pid=44890] ppid=44838 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/44890/stat : 44890 (timeout) S 44838 44890 43154 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 44415454 2723840 352 18446744073709551615 94782779084800 94782779101313 140735121854272 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94782779116080 94782779118168 94782792536064 140735121860997 140735121861154 140735121861154 140735121866727 0
/proc/44890/statm: 665 352 352 5 0 90 0
[pid=44891] ppid=44890 vsize=1411828 memory=1171456 CPUtime=2686.93 cores=1,3
/proc/44891/stat : 44891 (ExactPR-S9) R 44890 44890 43154 0 -1 4194304 248985 0 0 0 267176 1517 0 0 20 0 1 0 44415454 1445711872 292864 18446744073709551615 93837361938432 93837371238533 140726801332336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93837373024576 93837373063656 93837399597056 140726801336732 140726801336870 140726801336870 140726801342443 0
/proc/44891/statm: 352957 292864 3520 2271 0 347595 0
Current children cumulated CPU time: 3583.14 s
Current children cumulated vsize: 1418812 KiB
Current children cumulated memory: 1175808 KiB

[startup+3595.2 s]
/proc/loadavg: 2.95 3.18 3.52 2/252 45176
/proc/meminfo: memFree=128213836/131249996 swapFree=33010684/33010684
[pid=44838] ppid=44835 vsize=4324 memory=2944 CPUtime=896.21 cores=1,3
/proc/44838/stat : 44838 (Hybrid-CASHWMax) S 44835 44838 43154 0 -1 4194304 283 28503 0 0 0 0 89607 14 20 0 1 0 44325552 4427776 736 18446744073709551615 94803754352640 94803755247173 140729163590128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94803755486224 94803755533968 94803765342208 140729163598165 140729163598320 140729163598320 140729163603922 0
/proc/44838/statm: 1081 736 672 219 0 143 0
[pid=44890] ppid=44838 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/44890/stat : 44890 (timeout) S 44838 44890 43154 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 44415454 2723840 352 18446744073709551615 94782779084800 94782779101313 140735121854272 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94782779116080 94782779118168 94782792536064 140735121860997 140735121861154 140735121861154 140735121866727 0
/proc/44890/statm: 665 352 352 5 0 90 0
[pid=44891] ppid=44890 vsize=1411828 memory=1171456 CPUtime=2688.53 cores=1,3
/proc/44891/stat : 44891 (ExactPR-S9) R 44890 44890 43154 0 -1 4194304 248985 0 0 0 267336 1517 0 0 20 0 1 0 44415454 1445711872 292864 18446744073709551615 93837361938432 93837371238533 140726801332336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93837373024576 93837373063656 93837399597056 140726801336732 140726801336870 140726801336870 140726801342443 0
/proc/44891/statm: 352957 292864 3520 2271 0 347595 0
Current children cumulated CPU time: 3584.74 s
Current children cumulated vsize: 1418812 KiB
Current children cumulated memory: 1175808 KiB

[startup+3595.6 s]
/proc/loadavg: 2.95 3.18 3.52 2/252 45176
/proc/meminfo: memFree=128213836/131249996 swapFree=33010684/33010684
[pid=44838] ppid=44835 vsize=4324 memory=2944 CPUtime=896.21 cores=1,3
/proc/44838/stat : 44838 (Hybrid-CASHWMax) S 44835 44838 43154 0 -1 4194304 283 28503 0 0 0 0 89607 14 20 0 1 0 44325552 4427776 736 18446744073709551615 94803754352640 94803755247173 140729163590128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94803755486224 94803755533968 94803765342208 140729163598165 140729163598320 140729163598320 140729163603922 0
/proc/44838/statm: 1081 736 672 219 0 143 0
[pid=44890] ppid=44838 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/44890/stat : 44890 (timeout) S 44838 44890 43154 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 44415454 2723840 352 18446744073709551615 94782779084800 94782779101313 140735121854272 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94782779116080 94782779118168 94782792536064 140735121860997 140735121861154 140735121861154 140735121866727 0
/proc/44890/statm: 665 352 352 5 0 90 0
[pid=44891] ppid=44890 vsize=1411828 memory=1171456 CPUtime=2688.93 cores=1,3
/proc/44891/stat : 44891 (ExactPR-S9) R 44890 44890 43154 0 -1 4194304 248985 0 0 0 267376 1517 0 0 20 0 1 0 44415454 1445711872 292864 18446744073709551615 93837361938432 93837371238533 140726801332336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93837373024576 93837373063656 93837399597056 140726801336732 140726801336870 140726801336870 140726801342443 0
/proc/44891/statm: 352957 292864 3520 2271 0 347595 0
Current children cumulated CPU time: 3585.14 s
Current children cumulated vsize: 1418812 KiB
Current children cumulated memory: 1175808 KiB

[startup+3596 s]*
/proc/loadavg: 2.95 3.18 3.52 2/248 45193
/proc/meminfo: memFree=128255664/131249996 swapFree=33010684/33010684
[pid=44838] ppid=44835 vsize=4324 memory=2944 CPUtime=896.21 cores=1,3
/proc/44838/stat : 44838 (Hybrid-CASHWMax) S 44835 44838 43154 0 -1 4194304 283 28503 0 0 0 0 89607 14 20 0 1 0 44325552 4427776 736 18446744073709551615 94803754352640 94803755247173 140729163590128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94803755486224 94803755533968 94803765342208 140729163598165 140729163598320 140729163598320 140729163603922 0
/proc/44838/statm: 1081 736 672 219 0 143 0
[pid=44890] ppid=44838 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/44890/stat : 44890 (timeout) S 44838 44890 43154 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 44415454 2723840 352 18446744073709551615 94782779084800 94782779101313 140735121854272 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94782779116080 94782779118168 94782792536064 140735121860997 140735121861154 140735121861154 140735121866727 0
/proc/44890/statm: 665 352 352 5 0 90 0
[pid=44891] ppid=44890 vsize=1411828 memory=1171456 CPUtime=2689.33 cores=1,3
/proc/44891/stat : 44891 (ExactPR-S9) R 44890 44890 43154 0 -1 4194304 248985 0 0 0 267416 1517 0 0 20 0 1 0 44415454 1445711872 292864 18446744073709551615 93837361938432 93837371238533 140726801332336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93837373024576 93837373063656 93837399597056 140726801336732 140726801336870 140726801336870 140726801342443 0
/proc/44891/statm: 352957 292864 3520 2271 0 347595 0
Current children cumulated CPU time: 3585.54 s
Current children cumulated vsize: 1418812 KiB
Current children cumulated memory: 1175808 KiB

[startup+3596.1 s]
/proc/loadavg: 2.95 3.18 3.52 2/248 45193
/proc/meminfo: memFree=128255664/131249996 swapFree=33010684/33010684
[pid=44838] ppid=44835 vsize=4324 memory=2944 CPUtime=3585.64 cores=1,3
/proc/44838/stat : 44838 (Hybrid-CASHWMax) S 44835 44838 43154 0 -1 4194304 432 279895 0 0 0 0 357028 1536 20 0 1 0 44325552 4427776 736 18446744073709551615 94803754352640 94803755247173 140729163590128 0 0 0 2 4 65536 1 0 0 17 3 0 0 0 0 0 94803755486224 94803755533968 94803765342208 140729163598165 140729163598320 140729163598320 140729163603922 0
/proc/44838/statm: 1081 736 672 219 0 143 0
Current children cumulated CPU time: 3585.64 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 2944 KiB

Child status: 0

Real time (s): 3596.13
CPU time (s): 3585.66
CPU user time (s): 3570.29
CPU system time (s): 15.3705
CPU usage (%): 99.7088
Max. virtual memory (cumulated for all children) (KiB): 1717108
Max. memory (cumulated for all children) (KiB): 1175808

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3570.29
system time used= 15.3705
maximum resident set size= 1171584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 281020
page faults= 0
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2039
involuntary context switches= 2301


# summary of solver processes directly reported to runsolver:
#   pid: 44838
#   total CPU time (s): 3585.66
#   total CPU user time (s): 3570.29
#   total CPU system time (s): 15.3705

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.42574 second user time and 16.8876 second system time

The end