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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4486311-1751282936/watcher-4486311-1751282936 -o /tmp/evaluation-result-4486311-1751282936/solver-4486311-1751282936 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751279092-34365 --watchdog 3760 ./ExactPR-S --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4486311-1751282936.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=35194, runsolver pid=35191
Current StackSize limit: 8192 KiB


[startup+0.100063 s]*
/proc/loadavg: 4.14 4.10 4.09 5/265 35195
/proc/meminfo: memFree=122748884/131249996 swapFree=33010416/33010684
[pid=35194] ppid=35191 vsize=54340 memory=15904 CPUtime=0.09 cores=0,2
/proc/35194/stat : 35194 (ExactPR-S) R 35191 35194 34355 0 -1 4194304 2019 0 0 0 9 0 0 0 20 0 1 0 43973158 55644160 3976 18446744073709551615 94702625923072 94702635223109 140727445848080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94702637009216 94702637048296 94702655135744 140727445850497 140727445850634 140727445850634 140727445856236 0
/proc/35194/statm: 13585 3976 1632 2271 0 8223 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 54340 KiB
Current children cumulated memory: 15904 KiB

[startup+0.205975 s]*
/proc/loadavg: 4.14 4.10 4.09 5/265 35195
/proc/meminfo: memFree=122733008/131249996 swapFree=33010416/33010684
[pid=35194] ppid=35191 vsize=66452 memory=28684 CPUtime=0.2 cores=0,2
/proc/35194/stat : 35194 (ExactPR-S) R 35191 35194 34355 0 -1 4194304 6362 0 0 0 19 1 0 0 20 0 1 0 43973158 68046848 7171 18446744073709551615 94702625923072 94702635223109 140727445848080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94702637009216 94702637048296 94702655135744 140727445850497 140727445850634 140727445850634 140727445856236 0
/proc/35194/statm: 16613 7171 1792 2271 0 11251 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 66452 KiB
Current children cumulated memory: 28684 KiB

[startup+0.305888 s]*
/proc/loadavg: 4.14 4.10 4.09 5/265 35195
/proc/meminfo: memFree=122733008/131249996 swapFree=33010416/33010684
[pid=35194] ppid=35191 vsize=66452 memory=28684 CPUtime=0.3 cores=0,2
/proc/35194/stat : 35194 (ExactPR-S) R 35191 35194 34355 0 -1 4194304 6362 0 0 0 29 1 0 0 20 0 1 0 43973158 68046848 7171 18446744073709551615 94702625923072 94702635223109 140727445848080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94702637009216 94702637048296 94702655135744 140727445850497 140727445850634 140727445850634 140727445856236 0
/proc/35194/statm: 16613 7171 1792 2271 0 11251 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 66452 KiB
Current children cumulated memory: 28684 KiB

[startup+0.700168 s]
/proc/loadavg: 4.14 4.10 4.09 5/265 35195
/proc/meminfo: memFree=122733008/131249996 swapFree=33010416/33010684
[pid=35194] ppid=35191 vsize=113632 memory=77708 CPUtime=0.68 cores=0,2
/proc/35194/stat : 35194 (ExactPR-S) R 35191 35194 34355 0 -1 4194304 17307 0 0 0 65 3 0 0 20 0 1 0 43973158 116359168 19427 18446744073709551615 94702625923072 94702635223109 140727445848080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94702637009216 94702637048296 94702655135744 140727445850497 140727445850634 140727445850634 140727445856236 0
/proc/35194/statm: 28408 19427 3200 2271 0 23046 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 113632 KiB
Current children cumulated memory: 77708 KiB

[startup+1.50017 s]
/proc/loadavg: 4.14 4.10 4.09 5/265 35195
/proc/meminfo: memFree=122676812/131249996 swapFree=33010416/33010684
[pid=35194] ppid=35191 vsize=228952 memory=180880 CPUtime=1.48 cores=0,2
/proc/35194/stat : 35194 (ExactPR-S) R 35191 35194 34355 0 -1 4194304 37676 0 0 0 143 5 0 0 20 0 1 0 43973158 234446848 45220 18446744073709551615 94702625923072 94702635223109 140727445848080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94702637009216 94702637048296 94702655135744 140727445850497 140727445850634 140727445850634 140727445856236 0
/proc/35194/statm: 57238 45220 3328 2271 0 51876 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 228952 KiB
Current children cumulated memory: 180880 KiB

[startup+3.10565 s]
/proc/loadavg: 4.13 4.10 4.09 5/265 35195
/proc/meminfo: memFree=122594656/131249996 swapFree=33010416/33010684
[pid=35194] ppid=35191 vsize=232204 memory=183824 CPUtime=3.08 cores=0,2
/proc/35194/stat : 35194 (ExactPR-S) R 35191 35194 34355 0 -1 4194304 38585 0 0 0 303 5 0 0 20 0 1 0 43973158 237776896 45956 18446744073709551615 94702625923072 94702635223109 140727445848080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94702637009216 94702637048296 94702655135744 140727445850497 140727445850634 140727445850634 140727445856236 0
/proc/35194/statm: 58051 45956 3328 2271 0 52689 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 232204 KiB
Current children cumulated memory: 183824 KiB

[startup+6.30014 s]
/proc/loadavg: 4.13 4.10 4.09 5/265 35195
/proc/meminfo: memFree=122583672/131249996 swapFree=33010416/33010684
[pid=35194] ppid=35191 vsize=232204 memory=183952 CPUtime=6.26 cores=0,2
/proc/35194/stat : 35194 (ExactPR-S) R 35191 35194 34355 0 -1 4194304 38605 0 0 0 621 5 0 0 20 0 1 0 43973158 237776896 45988 18446744073709551615 94702625923072 94702635223109 140727445848080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94702637009216 94702637048296 94702655135744 140727445850497 140727445850634 140727445850634 140727445856236 0
/proc/35194/statm: 58051 45988 3328 2271 0 52689 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 232204 KiB
Current children cumulated memory: 183952 KiB

[startup+12.7001 s]
/proc/loadavg: 4.11 4.10 4.09 5/265 35195
/proc/meminfo: memFree=122571828/131249996 swapFree=33010416/33010684
[pid=35194] ppid=35191 vsize=239544 memory=188944 CPUtime=12.65 cores=0,2
/proc/35194/stat : 35194 (ExactPR-S) R 35191 35194 34355 0 -1 4194304 39865 0 0 0 1260 5 0 0 20 0 1 0 43973158 245293056 47236 18446744073709551615 94702625923072 94702635223109 140727445848080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94702637009216 94702637048296 94702655135744 140727445850497 140727445850634 140727445850634 140727445856236 0
/proc/35194/statm: 59886 47236 3328 2271 0 54524 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 239544 KiB
Current children cumulated memory: 188944 KiB

[startup+25.5002 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 35196
/proc/meminfo: memFree=122511100/131249996 swapFree=33010416/33010684
[pid=35194] ppid=35191 vsize=251504 memory=192144 CPUtime=25.41 cores=0,2
/proc/35194/stat : 35194 (ExactPR-S) R 35191 35194 34355 0 -1 4194304 40653 0 0 0 2536 5 0 0 20 0 1 0 43973158 257540096 48036 18446744073709551615 94702625923072 94702635223109 140727445848080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94702637009216 94702637048296 94702655135744 140727445850497 140727445850634 140727445850634 140727445856236 0
/proc/35194/statm: 62876 48036 3328 2271 0 57514 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 251504 KiB
Current children cumulated memory: 192144 KiB

[startup+51.1057 s]
/proc/loadavg: 4.13 4.10 4.09 5/264 35196
/proc/meminfo: memFree=122484132/131249996 swapFree=33010416/33010684
[pid=35194] ppid=35191 vsize=254436 memory=192272 CPUtime=50.95 cores=0,2
/proc/35194/stat : 35194 (ExactPR-S) R 35191 35194 34355 0 -1 4194304 40670 0 0 0 5090 5 0 0 20 0 1 0 43973158 260542464 48068 18446744073709551615 94702625923072 94702635223109 140727445848080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94702637009216 94702637048296 94702655135744 140727445850497 140727445850634 140727445850634 140727445856236 0
/proc/35194/statm: 63609 48068 3328 2271 0 58247 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 254436 KiB
Current children cumulated memory: 192272 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/263 35198
/proc/meminfo: memFree=122397108/131249996 swapFree=33010416/33010684
[pid=35194] ppid=35191 vsize=340088 memory=274384 CPUtime=102 cores=0,2
/proc/35194/stat : 35194 (ExactPR-S) R 35191 35194 34355 0 -1 4194304 62244 0 0 0 10191 9 0 0 20 0 1 0 43973158 348250112 68596 18446744073709551615 94702625923072 94702635223109 140727445848080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94702637009216 94702637048296 94702655135744 140727445850497 140727445850634 140727445850634 140727445856236 0
/proc/35194/statm: 85022 68596 3328 2271 0 79660 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 340088 KiB
Current children cumulated memory: 274384 KiB

[startup+162.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/263 35201
/proc/meminfo: memFree=122419316/131249996 swapFree=33010416/33010684
[pid=35194] ppid=35191 vsize=340088 memory=274384 CPUtime=161.84 cores=0,2
/proc/35194/stat : 35194 (ExactPR-S) R 35191 35194 34355 0 -1 4194304 62251 0 0 0 16175 9 0 0 20 0 1 0 43973158 348250112 68596 18446744073709551615 94702625923072 94702635223109 140727445848080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94702637009216 94702637048296 94702655135744 140727445850497 140727445850634 140727445850634 140727445856236 0
/proc/35194/statm: 85022 68596 3328 2271 0 79660 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 340088 KiB
Current children cumulated memory: 274384 KiB

[startup+222.3 s]
/proc/loadavg: 4.17 4.12 4.09 5/263 35203
/proc/meminfo: memFree=122345360/131249996 swapFree=33010416/33010684
[pid=35194] ppid=35191 vsize=354484 memory=280528 CPUtime=221.67 cores=0,2
/proc/35194/stat : 35194 (ExactPR-S) R 35191 35194 34355 0 -1 4194304 64080 0 0 0 22158 9 0 0 20 0 1 0 43973158 362991616 70132 18446744073709551615 94702625923072 94702635223109 140727445848080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94702637009216 94702637048296 94702655135744 140727445850497 140727445850634 140727445850634 140727445856236 0
/proc/35194/statm: 88621 70132 3328 2271 0 83259 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 354484 KiB
Current children cumulated memory: 280528 KiB

[startup+282.3 s]
/proc/loadavg: 4.19 4.14 4.10 5/263 35206
/proc/meminfo: memFree=122278776/131249996 swapFree=33010416/33010684
[pid=35194] ppid=35191 vsize=398600 memory=323792 CPUtime=281.51 cores=0,2
/proc/35194/stat : 35194 (ExactPR-S) R 35191 35194 34355 0 -1 4194304 74956 0 0 0 28139 12 0 0 20 0 1 0 43973158 408166400 80948 18446744073709551615 94702625923072 94702635223109 140727445848080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94702637009216 94702637048296 94702655135744 140727445850497 140727445850634 140727445850634 140727445856236 0
/proc/35194/statm: 99650 80948 3328 2271 0 94288 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 398600 KiB
Current children cumulated memory: 323792 KiB

[startup+342.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/263 35208
/proc/meminfo: memFree=122133588/131249996 swapFree=33010416/33010684
[pid=35194] ppid=35191 vsize=398600 memory=323920 CPUtime=341.35 cores=0,2
/proc/35194/stat : 35194 (ExactPR-S) R 35191 35194 34355 0 -1 4194304 74997 0 0 0 34123 12 0 0 20 0 1 0 43973158 408166400 80980 18446744073709551615 94702625923072 94702635223109 140727445848080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94702637009216 94702637048296 94702655135744 140727445850497 140727445850634 140727445850634 140727445856236 0
/proc/35194/statm: 99650 80980 3328 2271 0 94288 0
Current children cumulated CPU time: 341.35 s
Current children cumulated vsize: 398600 KiB
Current children cumulated memory: 323920 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/264 35217
/proc/meminfo: memFree=122113300/131249996 swapFree=33010416/33010684
[pid=35194] ppid=35191 vsize=398600 memory=323920 CPUtime=401.2 cores=0,2
/proc/35194/stat : 35194 (ExactPR-S) R 35191 35194 34355 0 -1 4194304 75001 0 0 0 40108 12 0 0 20 0 1 0 43973158 408166400 80980 18446744073709551615 94702625923072 94702635223109 140727445848080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94702637009216 94702637048296 94702655135744 140727445850497 140727445850634 140727445850634 140727445856236 0
/proc/35194/statm: 99650 80980 3328 2271 0 94288 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 398600 KiB
Current children cumulated memory: 323920 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/265 35220
/proc/meminfo: memFree=122087688/131249996 swapFree=33010416/33010684
[pid=35194] ppid=35191 vsize=401160 memory=324688 CPUtime=461.04 cores=0,2
/proc/35194/stat : 35194 (ExactPR-S) R 35191 35194 34355 0 -1 4194304 75193 0 0 0 46092 12 0 0 20 0 1 0 43973158 410787840 81172 18446744073709551615 94702625923072 94702635223109 140727445848080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94702637009216 94702637048296 94702655135744 140727445850497 140727445850634 140727445850634 140727445856236 0
/proc/35194/statm: 100290 81172 3328 2271 0 94928 0

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

Current children cumulated memory: 328116 KiB

[startup+2922.3 s]
/proc/loadavg: 4.26 4.18 4.12 5/263 35349
/proc/meminfo: memFree=120273232/131249996 swapFree=33010416/33010684
[pid=35194] ppid=35191 vsize=429324 memory=328116 CPUtime=2912.98 cores=0,2
/proc/35194/stat : 35194 (ExactPR-S) R 35191 35194 34355 0 -1 4194304 88852 0 0 0 290753 545 0 0 20 0 1 0 43973158 439627776 82029 18446744073709551615 94702625923072 94702635223109 140727445848080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94702637009216 94702637048296 94702655135744 140727445850497 140727445850634 140727445850634 140727445856236 0
/proc/35194/statm: 107331 82029 3360 2271 0 101969 0
Current children cumulated CPU time: 2912.98 s
Current children cumulated vsize: 429324 KiB
Current children cumulated memory: 328116 KiB

[startup+2982.3 s]
/proc/loadavg: 4.30 4.22 4.13 5/264 35352
/proc/meminfo: memFree=120272968/131249996 swapFree=33010416/33010684
[pid=35194] ppid=35191 vsize=429324 memory=328116 CPUtime=2972.77 cores=0,2
/proc/35194/stat : 35194 (ExactPR-S) R 35191 35194 34355 0 -1 4194304 88852 0 0 0 296727 550 0 0 20 0 1 0 43973158 439627776 82029 18446744073709551615 94702625923072 94702635223109 140727445848080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94702637009216 94702637048296 94702655135744 140727445850497 140727445850634 140727445850634 140727445856236 0
/proc/35194/statm: 107331 82029 3360 2271 0 101969 0
Current children cumulated CPU time: 2972.77 s
Current children cumulated vsize: 429324 KiB
Current children cumulated memory: 328116 KiB

[startup+3042.3 s]
/proc/loadavg: 4.16 4.19 4.13 5/264 35354
/proc/meminfo: memFree=120274440/131249996 swapFree=33010416/33010684
[pid=35194] ppid=35191 vsize=429324 memory=328116 CPUtime=3032.56 cores=0,2
/proc/35194/stat : 35194 (ExactPR-S) R 35191 35194 34355 0 -1 4194304 88852 0 0 0 302700 556 0 0 20 0 1 0 43973158 439627776 82029 18446744073709551615 94702625923072 94702635223109 140727445848080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94702637009216 94702637048296 94702655135744 140727445850497 140727445850634 140727445850634 140727445856236 0
/proc/35194/statm: 107331 82029 3360 2271 0 101969 0
Current children cumulated CPU time: 3032.56 s
Current children cumulated vsize: 429324 KiB
Current children cumulated memory: 328116 KiB

[startup+3102.3 s]
/proc/loadavg: 4.18 4.18 4.13 5/263 35356
/proc/meminfo: memFree=120272948/131249996 swapFree=33010416/33010684
[pid=35194] ppid=35191 vsize=429324 memory=328116 CPUtime=3092.35 cores=0,2
/proc/35194/stat : 35194 (ExactPR-S) R 35191 35194 34355 0 -1 4194304 88852 0 0 0 308674 561 0 0 20 0 1 0 43973158 439627776 82029 18446744073709551615 94702625923072 94702635223109 140727445848080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94702637009216 94702637048296 94702655135744 140727445850497 140727445850634 140727445850634 140727445856236 0
/proc/35194/statm: 107331 82029 3360 2271 0 101969 0
Current children cumulated CPU time: 3092.35 s
Current children cumulated vsize: 429324 KiB
Current children cumulated memory: 328116 KiB

[startup+3162.3 s]
/proc/loadavg: 4.06 4.15 4.12 5/263 35358
/proc/meminfo: memFree=120271836/131249996 swapFree=33010416/33010684
[pid=35194] ppid=35191 vsize=429324 memory=328116 CPUtime=3152.15 cores=0,2
/proc/35194/stat : 35194 (ExactPR-S) R 35191 35194 34355 0 -1 4194304 88852 0 0 0 314649 566 0 0 20 0 1 0 43973158 439627776 82029 18446744073709551615 94702625923072 94702635223109 140727445848080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94702637009216 94702637048296 94702655135744 140727445850497 140727445850634 140727445850634 140727445856236 0
/proc/35194/statm: 107331 82029 3360 2271 0 101969 0
Current children cumulated CPU time: 3152.15 s
Current children cumulated vsize: 429324 KiB
Current children cumulated memory: 328116 KiB

[startup+3222.3 s]
/proc/loadavg: 4.06 4.13 4.11 5/263 35360
/proc/meminfo: memFree=120272900/131249996 swapFree=33010416/33010684
[pid=35194] ppid=35191 vsize=429324 memory=328116 CPUtime=3211.94 cores=0,2
/proc/35194/stat : 35194 (ExactPR-S) R 35191 35194 34355 0 -1 4194304 88852 0 0 0 320624 570 0 0 20 0 1 0 43973158 439627776 82029 18446744073709551615 94702625923072 94702635223109 140727445848080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94702637009216 94702637048296 94702655135744 140727445850497 140727445850634 140727445850634 140727445856236 0
/proc/35194/statm: 107331 82029 3360 2271 0 101969 0
Current children cumulated CPU time: 3211.94 s
Current children cumulated vsize: 429324 KiB
Current children cumulated memory: 328116 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.14 4.11 5/262 35362
/proc/meminfo: memFree=120275524/131249996 swapFree=33010416/33010684
[pid=35194] ppid=35191 vsize=429324 memory=328116 CPUtime=3271.73 cores=0,2
/proc/35194/stat : 35194 (ExactPR-S) R 35191 35194 34355 0 -1 4194304 88852 0 0 0 326597 576 0 0 20 0 1 0 43973158 439627776 82029 18446744073709551615 94702625923072 94702635223109 140727445848080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94702637009216 94702637048296 94702655135744 140727445850497 140727445850634 140727445850634 140727445856236 0
/proc/35194/statm: 107331 82029 3360 2271 0 101969 0
Current children cumulated CPU time: 3271.73 s
Current children cumulated vsize: 429324 KiB
Current children cumulated memory: 328116 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/263 35365
/proc/meminfo: memFree=120266276/131249996 swapFree=33010416/33010684
[pid=35194] ppid=35191 vsize=429324 memory=328116 CPUtime=3331.52 cores=0,2
/proc/35194/stat : 35194 (ExactPR-S) R 35191 35194 34355 0 -1 4194304 88852 0 0 0 332572 580 0 0 20 0 1 0 43973158 439627776 82029 18446744073709551615 94702625923072 94702635223109 140727445848080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94702637009216 94702637048296 94702655135744 140727445850497 140727445850634 140727445850634 140727445856236 0
/proc/35194/statm: 107331 82029 3360 2271 0 101969 0
Current children cumulated CPU time: 3331.52 s
Current children cumulated vsize: 429324 KiB
Current children cumulated memory: 328116 KiB

[startup+3402.3 s]
/proc/loadavg: 4.04 4.10 4.09 5/264 35554
/proc/meminfo: memFree=127521376/131249996 swapFree=33010416/33010684
[pid=35194] ppid=35191 vsize=429324 memory=328116 CPUtime=3391.32 cores=0,2
/proc/35194/stat : 35194 (ExactPR-S) R 35191 35194 34355 0 -1 4194304 88852 0 0 0 338546 586 0 0 20 0 1 0 43973158 439627776 82029 18446744073709551615 94702625923072 94702635223109 140727445848080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94702637009216 94702637048296 94702655135744 140727445850497 140727445850634 140727445850634 140727445856236 0
/proc/35194/statm: 107331 82029 3360 2271 0 101969 0
Current children cumulated CPU time: 3391.32 s
Current children cumulated vsize: 429324 KiB
Current children cumulated memory: 328116 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/264 35556
/proc/meminfo: memFree=127414420/131249996 swapFree=33010416/33010684
[pid=35194] ppid=35191 vsize=429324 memory=328116 CPUtime=3451.12 cores=0,2
/proc/35194/stat : 35194 (ExactPR-S) R 35191 35194 34355 0 -1 4194304 88852 0 0 0 344521 591 0 0 20 0 1 0 43973158 439627776 82029 18446744073709551615 94702625923072 94702635223109 140727445848080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94702637009216 94702637048296 94702655135744 140727445850497 140727445850634 140727445850634 140727445856236 0
/proc/35194/statm: 107331 82029 3360 2271 0 101969 0
Current children cumulated CPU time: 3451.12 s
Current children cumulated vsize: 429324 KiB
Current children cumulated memory: 328116 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/264 35601
/proc/meminfo: memFree=127477316/131249996 swapFree=33010416/33010684
[pid=35194] ppid=35191 vsize=429324 memory=328116 CPUtime=3510.92 cores=0,2
/proc/35194/stat : 35194 (ExactPR-S) R 35191 35194 34355 0 -1 4194304 88852 0 0 0 350495 597 0 0 20 0 1 0 43973158 439627776 82029 18446744073709551615 94702625923072 94702635223109 140727445848080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94702637009216 94702637048296 94702655135744 140727445850497 140727445850634 140727445850634 140727445856236 0
/proc/35194/statm: 107331 82029 3360 2271 0 101969 0
Current children cumulated CPU time: 3510.92 s
Current children cumulated vsize: 429324 KiB
Current children cumulated memory: 328116 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/265 35649
/proc/meminfo: memFree=127622992/131249996 swapFree=33010416/33010684
[pid=35194] ppid=35191 vsize=429324 memory=330036 CPUtime=3570.72 cores=0,2
/proc/35194/stat : 35194 (ExactPR-S) R 35191 35194 34355 0 -1 4194304 88855 0 0 0 356469 603 0 0 20 0 1 0 43973158 439627776 82509 18446744073709551615 94702625923072 94702635223109 140727445848080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94702637009216 94702637048296 94702655135744 140727445850497 140727445850634 140727445850634 140727445856236 0
/proc/35194/statm: 107331 82509 3360 2271 0 101969 0
Current children cumulated CPU time: 3570.72 s
Current children cumulated vsize: 429324 KiB
Current children cumulated memory: 330036 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.7 s]
/proc/loadavg: 4.15 4.11 4.09 5/265 35650
/proc/meminfo: memFree=127575288/131249996 swapFree=33010416/33010684
[pid=35194] ppid=35191 vsize=429324 memory=331188 CPUtime=3600.04 cores=0,2
/proc/35194/stat : 35194 (ExactPR-S) R 35191 35194 34355 0 -1 4194304 88861 0 0 0 359398 606 0 0 20 0 1 0 43973158 439627776 82797 18446744073709551615 94702625923072 94702635223109 140727445848080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94702637009216 94702637048296 94702655135744 140727445850497 140727445850634 140727445850634 140727445856236 0
/proc/35194/statm: 107331 82797 3360 2271 0 101969 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 429324 KiB
Current children cumulated memory: 331188 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3611.71 s]
# the end of solver process 35194 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=3593.99 s, system=6.07243 s

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

[startup+3611.7 s]
/proc/loadavg: 4.15 4.11 4.09 5/265 35650
/proc/meminfo: memFree=127575288/131249996 swapFree=33010416/33010684
[pid=35194] ppid=35191 vsize=429324 memory=331188 CPUtime=3600.04 cores=0,2
/proc/35194/stat : 35194 (ExactPR-S) R 35191 35194 34355 0 -1 4194304 88861 0 0 0 359398 606 0 0 20 0 1 0 43973158 439627776 82797 18446744073709551615 94702625923072 94702635223109 140727445848080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94702637009216 94702637048296 94702655135744 140727445850497 140727445850634 140727445850634 140727445856236 0
/proc/35194/statm: 107331 82797 3360 2271 0 101969 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 429324 KiB
Current children cumulated memory: 331188 KiB

Child status: 10

Real time (s): 3611.71
CPU time (s): 3600.06
CPU user time (s): 3593.99
CPU system time (s): 6.07243
CPU usage (%): 99.6774
Max. virtual memory (cumulated for all children) (KiB): 503492
Max. memory (cumulated for all children) (KiB): 365136

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.99
system time used= 6.07243
maximum resident set size= 365136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88877
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 119
involuntary context switches= 7899


# summary of solver processes directly reported to runsolver:
#   pid: 35194
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3593.99
#   total CPU system time (s): 6.07243

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.28358 second user time and 15.48 second system time

The end