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: 63968 MiB (62204 MiB free)
  memory of node 1: 64473 MiB (63233 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433015-1721072654/watcher-4433015-1721072654 -o /tmp/evaluation-result-4433015-1721072654/solver-4433015-1721072654 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721072667-858461 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1714785014 HOME/instance-4433015-1721072654.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=858524, runsolver pid=858511

[startup+0.100232 s]*
/proc/loadavg: 3.77 4.02 4.07 7/257 858525
/proc/meminfo: memFree=128425716/131524600 swapFree=131071996/131071996
[pid=858524] ppid=858511 vsize=34272 memory=14588 CPUtime=0.09 cores=0,2
/proc/858524/stat : 858524 (Exact) R 858511 858524 858451 0 -1 4194304 2410 0 0 0 9 0 0 0 20 0 1 0 159433513 35094528 3647 134679101440 4194304 8309489 140730924778912 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 15409152 140730924786622 140730924786792 140730924786792 140730924793807 0
/proc/858524/statm: 8568 3647 884 1005 0 7331 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 34272 KiB
Current children cumulated memory: 14588 KiB

[startup+0.205413 s]*
/proc/loadavg: 3.77 4.02 4.07 4/256 858539
/proc/meminfo: memFree=128411736/131524600 swapFree=131071996/131071996
[pid=858524] ppid=858511 vsize=50720 memory=33596 CPUtime=0.2 cores=0,2
/proc/858524/stat : 858524 (Exact) R 858511 858524 858451 0 -1 4194304 6915 0 0 0 19 1 0 0 20 0 1 0 159433513 51937280 8399 134679101440 4194304 8309489 140730924778912 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 15409152 140730924786622 140730924786792 140730924786792 140730924793807 0
/proc/858524/statm: 12680 8399 1044 1005 0 11443 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 50720 KiB
Current children cumulated memory: 33596 KiB

[startup+0.306179 s]*
/proc/loadavg: 3.77 4.02 4.07 7/254 858552
/proc/meminfo: memFree=128381616/131524600 swapFree=131071996/131071996
[pid=858524] ppid=858511 vsize=72080 memory=54736 CPUtime=0.3 cores=0,2
/proc/858524/stat : 858524 (Exact) R 858511 858524 858451 0 -1 4194304 12634 0 0 0 28 2 0 0 20 0 1 0 159433513 73809920 13684 134679101440 4194304 8309489 140730924778912 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 15409152 140730924786622 140730924786792 140730924786792 140730924793807 0
/proc/858524/statm: 18020 13684 1060 1005 0 16783 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 72080 KiB
Current children cumulated memory: 54736 KiB

[startup+0.700236 s]
/proc/loadavg: 3.77 4.02 4.07 8/259 858571
/proc/meminfo: memFree=128362024/131524600 swapFree=131071996/131071996
[pid=858524] ppid=858511 vsize=74072 memory=56584 CPUtime=0.68 cores=0,2
/proc/858524/stat : 858524 (Exact) R 858511 858524 858451 0 -1 4194304 13081 0 0 0 66 2 0 0 20 0 1 0 159433513 75849728 14146 134679101440 4194304 8309489 140730924778912 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 15409152 140730924786622 140730924786792 140730924786792 140730924793807 0
/proc/858524/statm: 18518 14146 1060 1005 0 17281 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 74072 KiB
Current children cumulated memory: 56584 KiB

[startup+1.50022 s]
/proc/loadavg: 3.77 4.02 4.07 7/259 858571
/proc/meminfo: memFree=128318284/131524600 swapFree=131071996/131071996
[pid=858524] ppid=858511 vsize=76096 memory=58168 CPUtime=1.49 cores=0,2
/proc/858524/stat : 858524 (Exact) R 858511 858524 858451 0 -1 4194304 13444 0 0 0 146 3 0 0 20 0 1 0 159433513 77922304 14542 134679101440 4194304 8309489 140730924778912 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 15409152 140730924786622 140730924786792 140730924786792 140730924793807 0
/proc/858524/statm: 19024 14542 1060 1005 0 17787 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 76096 KiB
Current children cumulated memory: 58168 KiB

[startup+3.10611 s]
/proc/loadavg: 3.77 4.02 4.07 8/259 858571
/proc/meminfo: memFree=128291064/131524600 swapFree=131071996/131071996
[pid=858524] ppid=858511 vsize=76096 memory=68408 CPUtime=3.09 cores=0,2
/proc/858524/stat : 858524 (Exact) R 858511 858524 858451 0 -1 4194304 13457 0 0 0 306 3 0 0 20 0 1 0 159433513 77922304 17102 134679101440 4194304 8309489 140730924778912 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 15409152 140730924786622 140730924786792 140730924786792 140730924793807 0
/proc/858524/statm: 19024 17102 1060 1005 0 17787 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 76096 KiB
Current children cumulated memory: 68408 KiB

[startup+6.30022 s]
/proc/loadavg: 3.78 4.02 4.07 8/259 858571
/proc/meminfo: memFree=128269780/131524600 swapFree=131071996/131071996
[pid=858524] ppid=858511 vsize=90484 memory=74284 CPUtime=6.26 cores=0,2
/proc/858524/stat : 858524 (Exact) R 858511 858524 858451 0 -1 4194304 14591 0 0 0 623 3 0 0 20 0 1 0 159433513 92655616 18571 134679101440 4194304 8309489 140730924778912 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 15409152 140730924786622 140730924786792 140730924786792 140730924793807 0
/proc/858524/statm: 22621 18571 1108 1005 0 21384 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 90484 KiB
Current children cumulated memory: 74284 KiB

[startup+12.7002 s]
/proc/loadavg: 3.88 4.04 4.07 8/259 858572
/proc/meminfo: memFree=128248964/131524600 swapFree=131071996/131071996
[pid=858524] ppid=858511 vsize=92012 memory=84032 CPUtime=12.64 cores=0,2
/proc/858524/stat : 858524 (Exact) R 858511 858524 858451 0 -1 4194304 15002 0 0 0 1261 3 0 0 20 0 1 0 159433513 94220288 21008 134679101440 4194304 8309489 140730924778912 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 15409152 140730924786622 140730924786792 140730924786792 140730924793807 0
/proc/858524/statm: 23003 21008 1124 1005 0 21766 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 92012 KiB
Current children cumulated memory: 84032 KiB

[startup+25.5002 s]
/proc/loadavg: 3.91 4.03 4.07 8/259 858574
/proc/meminfo: memFree=128216776/131524600 swapFree=131071996/131071996
[pid=858524] ppid=858511 vsize=119424 memory=96744 CPUtime=25.39 cores=0,2
/proc/858524/stat : 858524 (Exact) R 858511 858524 858451 0 -1 4194304 17492 0 0 0 2534 5 0 0 20 0 1 0 159433513 122290176 24186 134679101440 4194304 8309489 140730924778912 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 15409152 140730924786622 140730924786792 140730924786792 140730924793807 0
/proc/858524/statm: 29856 24186 1140 1005 0 28619 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 119424 KiB
Current children cumulated memory: 96744 KiB

[startup+51.1061 s]
/proc/loadavg: 4.00 4.05 4.07 7/259 858579
/proc/meminfo: memFree=128188084/131524600 swapFree=131071996/131071996
[pid=858524] ppid=858511 vsize=121784 memory=101404 CPUtime=50.91 cores=0,2
/proc/858524/stat : 858524 (Exact) R 858511 858524 858451 0 -1 4194304 18246 0 0 0 5085 6 0 0 20 0 1 0 159433513 124706816 25351 134679101440 4194304 8309489 140730924778912 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 15409152 140730924786622 140730924786792 140730924786792 140730924793807 0
/proc/858524/statm: 30446 25351 1140 1005 0 29209 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 121784 KiB
Current children cumulated memory: 101404 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.07 4.08 8/257 858588
/proc/meminfo: memFree=128161828/131524600 swapFree=131071996/131071996
[pid=858524] ppid=858511 vsize=124920 memory=106560 CPUtime=101.94 cores=0,2
/proc/858524/stat : 858524 (Exact) R 858511 858524 858451 0 -1 4194304 19117 0 0 0 10186 8 0 0 20 0 1 0 159433513 127918080 26640 134679101440 4194304 8309489 140730924778912 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 15409152 140730924786622 140730924786792 140730924786792 140730924793807 0
/proc/858524/statm: 31230 26640 1140 1005 0 29993 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 124920 KiB
Current children cumulated memory: 106560 KiB

[startup+162.3 s]
/proc/loadavg: 4.16 4.09 4.09 7/256 858599
/proc/meminfo: memFree=128145760/131524600 swapFree=131071996/131071996
[pid=858524] ppid=858511 vsize=129556 memory=115356 CPUtime=161.74 cores=0,2
/proc/858524/stat : 858524 (Exact) R 858511 858524 858451 0 -1 4194304 20349 0 0 0 16163 11 0 0 20 0 1 0 159433513 132665344 28839 134679101440 4194304 8309489 140730924778912 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 15409152 140730924786622 140730924786792 140730924786792 140730924793807 0
/proc/858524/statm: 32389 28839 1140 1005 0 31152 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 129556 KiB
Current children cumulated memory: 115356 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 4.10 4.09 8/257 858612
/proc/meminfo: memFree=128137512/131524600 swapFree=131071996/131071996
[pid=858524] ppid=858511 vsize=130312 memory=116100 CPUtime=221.54 cores=0,2
/proc/858524/stat : 858524 (Exact) R 858511 858524 858451 0 -1 4194304 20581 0 0 0 22142 12 0 0 20 0 1 0 159433513 133439488 29025 134679101440 4194304 8309489 140730924778912 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 15409152 140730924786622 140730924786792 140730924786792 140730924793807 0
/proc/858524/statm: 32578 29025 1140 1005 0 31341 0
Current children cumulated CPU time: 221.54 s
Current children cumulated vsize: 130312 KiB
Current children cumulated memory: 116100 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 4.09 4.09 8/257 858622
/proc/meminfo: memFree=128129180/131524600 swapFree=131071996/131071996
[pid=858524] ppid=858511 vsize=132328 memory=120212 CPUtime=281.35 cores=0,2
/proc/858524/stat : 858524 (Exact) R 858511 858524 858451 0 -1 4194304 21132 0 0 0 28119 16 0 0 20 0 1 0 159433513 135503872 30053 134679101440 4194304 8309489 140730924778912 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 15409152 140730924786622 140730924786792 140730924786792 140730924793807 0
/proc/858524/statm: 33082 30053 1140 1005 0 31845 0
Current children cumulated CPU time: 281.35 s
Current children cumulated vsize: 132328 KiB
Current children cumulated memory: 120212 KiB

[startup+342.3 s]
/proc/loadavg: 4.07 4.09 4.09 8/256 858632
/proc/meminfo: memFree=128121044/131524600 swapFree=131071996/131071996
[pid=858524] ppid=858511 vsize=134148 memory=121916 CPUtime=341.15 cores=0,2
/proc/858524/stat : 858524 (Exact) R 858511 858524 858451 0 -1 4194304 21623 0 0 0 34099 16 0 0 20 0 1 0 159433513 137367552 30479 134679101440 4194304 8309489 140730924778912 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 15409152 140730924786622 140730924786792 140730924786792 140730924793807 0
/proc/858524/statm: 33537 30479 1140 1005 0 32300 0
Current children cumulated CPU time: 341.15 s
Current children cumulated vsize: 134148 KiB
Current children cumulated memory: 121916 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 4.10 4.09 8/258 858647
/proc/meminfo: memFree=128109612/131524600 swapFree=131071996/131071996
[pid=858524] ppid=858511 vsize=140148 memory=127300 CPUtime=400.95 cores=0,2
/proc/858524/stat : 858524 (Exact) R 858511 858524 858451 0 -1 4194304 23018 0 0 0 40077 18 0 0 20 0 1 0 159433513 143511552 31825 134679101440 4194304 8309489 140730924778912 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 15409152 140730924786622 140730924786792 140730924786792 140730924793807 0
/proc/858524/statm: 35037 31825 1140 1005 0 33800 0
Current children cumulated CPU time: 400.95 s
Current children cumulated vsize: 140148 KiB
Current children cumulated memory: 127300 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 4.09 4.09 8/257 858658
/proc/meminfo: memFree=128098288/131524600 swapFree=131071996/131071996
[pid=858524] ppid=858511 vsize=149552 memory=136604 CPUtime=460.76 cores=0,2
/proc/858524/stat : 858524 (Exact) R 858511 858524 858451 0 -1 4194304 25351 0 0 0 46053 23 0 0 20 0 1 0 159433513 153141248 34151 134679101440 4194304 8309489 140730924778912 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 15409152 140730924786622 140730924786792 140730924786792 140730924793807 0
/proc/858524/statm: 37388 34151 1140 1005 0 36151 0

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

Current children cumulated memory: 195780 KiB

[startup+2922.3 s]
/proc/loadavg: 4.04 4.09 4.11 7/256 860293
/proc/meminfo: memFree=127930044/131524600 swapFree=131071996/131071996
[pid=858524] ppid=858511 vsize=230784 memory=195780 CPUtime=2912.74 cores=0,2
/proc/858524/stat : 858524 (Exact) R 858511 858524 858451 0 -1 4194304 38181 0 0 0 291170 104 0 0 20 0 1 0 159433513 236322816 48945 134679101440 4194304 8309489 140730924778912 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 15409152 140730924786622 140730924786792 140730924786792 140730924793807 0
/proc/858524/statm: 57696 48945 1140 1005 0 56459 0
Current children cumulated CPU time: 2912.74 s
Current children cumulated vsize: 230784 KiB
Current children cumulated memory: 195780 KiB

[startup+2982.3 s]
/proc/loadavg: 4.12 4.10 4.11 8/256 860305
/proc/meminfo: memFree=127928364/131524600 swapFree=131071996/131071996
[pid=858524] ppid=858511 vsize=231600 memory=196592 CPUtime=2972.54 cores=0,2
/proc/858524/stat : 858524 (Exact) R 858511 858524 858451 0 -1 4194304 38468 0 0 0 297148 106 0 0 20 0 1 0 159433513 237158400 49148 134679101440 4194304 8309489 140730924778912 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 15409152 140730924786622 140730924786792 140730924786792 140730924793807 0
/proc/858524/statm: 57900 49148 1140 1005 0 56663 0
Current children cumulated CPU time: 2972.54 s
Current children cumulated vsize: 231600 KiB
Current children cumulated memory: 196592 KiB

[startup+3042.3 s]
/proc/loadavg: 4.10 4.10 4.11 8/256 860315
/proc/meminfo: memFree=127927256/131524600 swapFree=131071996/131071996
[pid=858524] ppid=858511 vsize=232052 memory=197044 CPUtime=3032.34 cores=0,2
/proc/858524/stat : 858524 (Exact) R 858511 858524 858451 0 -1 4194304 38661 0 0 0 303126 108 0 0 20 0 1 0 159433513 237621248 49261 134679101440 4194304 8309489 140730924778912 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 15409152 140730924786622 140730924786792 140730924786792 140730924793807 0
/proc/858524/statm: 58013 49261 1140 1005 0 56776 0
Current children cumulated CPU time: 3032.34 s
Current children cumulated vsize: 232052 KiB
Current children cumulated memory: 197044 KiB

[startup+3102.3 s]
/proc/loadavg: 4.08 4.09 4.10 8/255 860325
/proc/meminfo: memFree=127925704/131524600 swapFree=131071996/131071996
[pid=858524] ppid=858511 vsize=232228 memory=197220 CPUtime=3092.15 cores=0,2
/proc/858524/stat : 858524 (Exact) R 858511 858524 858451 0 -1 4194304 38784 0 0 0 309105 110 0 0 20 0 1 0 159433513 237801472 49305 134679101440 4194304 8309489 140730924778912 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 15409152 140730924786622 140730924786792 140730924786792 140730924793807 0
/proc/858524/statm: 58057 49305 1140 1005 0 56820 0
Current children cumulated CPU time: 3092.15 s
Current children cumulated vsize: 232228 KiB
Current children cumulated memory: 197220 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.09 4.10 8/255 860336
/proc/meminfo: memFree=127922840/131524600 swapFree=131071996/131071996
[pid=858524] ppid=858511 vsize=233936 memory=198908 CPUtime=3151.96 cores=0,2
/proc/858524/stat : 858524 (Exact) R 858511 858524 858451 0 -1 4194304 39290 0 0 0 315084 112 0 0 20 0 1 0 159433513 239550464 49727 134679101440 4194304 8309489 140730924778912 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 15409152 140730924786622 140730924786792 140730924786792 140730924793807 0
/proc/858524/statm: 58484 49727 1140 1005 0 57247 0
Current children cumulated CPU time: 3151.96 s
Current children cumulated vsize: 233936 KiB
Current children cumulated memory: 198908 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.10 4.10 8/255 860347
/proc/meminfo: memFree=127921208/131524600 swapFree=131071996/131071996
[pid=858524] ppid=858511 vsize=233936 memory=198996 CPUtime=3211.75 cores=0,2
/proc/858524/stat : 858524 (Exact) R 858511 858524 858451 0 -1 4194304 39397 0 0 0 321061 114 0 0 20 0 1 0 159433513 239550464 49749 134679101440 4194304 8309489 140730924778912 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 15409152 140730924786622 140730924786792 140730924786792 140730924793807 0
/proc/858524/statm: 58484 49749 1140 1005 0 57247 0
Current children cumulated CPU time: 3211.75 s
Current children cumulated vsize: 233936 KiB
Current children cumulated memory: 198996 KiB

[startup+3282.3 s]
/proc/loadavg: 4.23 4.13 4.10 8/255 860358
/proc/meminfo: memFree=127917400/131524600 swapFree=131071996/131071996
[pid=858524] ppid=858511 vsize=236328 memory=201268 CPUtime=3271.56 cores=0,2
/proc/858524/stat : 858524 (Exact) R 858511 858524 858451 0 -1 4194304 40071 0 0 0 327040 116 0 0 20 0 1 0 159433513 241999872 50317 134679101440 4194304 8309489 140730924778912 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 15409152 140730924786622 140730924786792 140730924786792 140730924793807 0
/proc/858524/statm: 59082 50317 1140 1005 0 57845 0
Current children cumulated CPU time: 3271.56 s
Current children cumulated vsize: 236328 KiB
Current children cumulated memory: 201268 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.10 4.09 8/255 860368
/proc/meminfo: memFree=127915868/131524600 swapFree=131071996/131071996
[pid=858524] ppid=858511 vsize=236328 memory=201332 CPUtime=3331.36 cores=0,2
/proc/858524/stat : 858524 (Exact) R 858511 858524 858451 0 -1 4194304 40151 0 0 0 333018 118 0 0 20 0 1 0 159433513 241999872 50333 134679101440 4194304 8309489 140730924778912 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 15409152 140730924786622 140730924786792 140730924786792 140730924793807 0
/proc/858524/statm: 59082 50333 1140 1005 0 57845 0
Current children cumulated CPU time: 3331.36 s
Current children cumulated vsize: 236328 KiB
Current children cumulated memory: 201332 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.09 4.09 8/259 860386
/proc/meminfo: memFree=127915116/131524600 swapFree=131071996/131071996
[pid=858524] ppid=858511 vsize=236464 memory=201404 CPUtime=3391.17 cores=0,2
/proc/858524/stat : 858524 (Exact) R 858511 858524 858451 0 -1 4194304 40256 0 0 0 338997 120 0 0 20 0 1 0 159433513 242139136 50351 134679101440 4194304 8309489 140730924778912 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 15409152 140730924786622 140730924786792 140730924786792 140730924793807 0
/proc/858524/statm: 59116 50351 1140 1005 0 57879 0
Current children cumulated CPU time: 3391.17 s
Current children cumulated vsize: 236464 KiB
Current children cumulated memory: 201404 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.11 4.09 8/259 860397
/proc/meminfo: memFree=127913188/131524600 swapFree=131071996/131071996
[pid=858524] ppid=858511 vsize=237232 memory=202172 CPUtime=3450.97 cores=0,2
/proc/858524/stat : 858524 (Exact) R 858511 858524 858451 0 -1 4194304 40534 0 0 0 344976 121 0 0 20 0 1 0 159433513 242925568 50543 134679101440 4194304 8309489 140730924778912 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 15409152 140730924786622 140730924786792 140730924786792 140730924793807 0
/proc/858524/statm: 59308 50543 1140 1005 0 58071 0
Current children cumulated CPU time: 3450.97 s
Current children cumulated vsize: 237232 KiB
Current children cumulated memory: 202172 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.10 4.09 7/259 860407
/proc/meminfo: memFree=127909164/131524600 swapFree=131071996/131071996
[pid=858524] ppid=858511 vsize=238100 memory=204988 CPUtime=3510.77 cores=0,2
/proc/858524/stat : 858524 (Exact) R 858511 858524 858451 0 -1 4194304 40828 0 0 0 350952 125 0 0 20 0 1 0 159433513 243814400 51247 134679101440 4194304 8309489 140730924778912 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 15409152 140730924786622 140730924786792 140730924786792 140730924793807 0
/proc/858524/statm: 59525 51247 1140 1005 0 58288 0
Current children cumulated CPU time: 3510.77 s
Current children cumulated vsize: 238100 KiB
Current children cumulated memory: 204988 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.10 4.09 8/259 860419
/proc/meminfo: memFree=127907572/131524600 swapFree=131071996/131071996
[pid=858524] ppid=858511 vsize=238236 memory=205224 CPUtime=3570.57 cores=0,2
/proc/858524/stat : 858524 (Exact) R 858511 858524 858451 0 -1 4194304 40945 0 0 0 356932 125 0 0 20 0 1 0 159433513 243953664 51306 134679101440 4194304 8309489 140730924778912 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 15409152 140730924786622 140730924786792 140730924786792 140730924793807 0
/proc/858524/statm: 59559 51306 1140 1005 0 58322 0
Current children cumulated CPU time: 3570.57 s
Current children cumulated vsize: 238236 KiB
Current children cumulated memory: 205224 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.9 s]
/proc/loadavg: 4.06 4.08 4.09 4/256 860531
/proc/meminfo: memFree=128049228/131524600 swapFree=131071996/131071996
[pid=858524] ppid=858511 vsize=238388 memory=205224 CPUtime=3600.08 cores=0,2
/proc/858524/stat : 858524 (Exact) R 858511 858524 858451 0 -1 4194304 40994 0 0 0 359882 126 0 0 20 0 1 0 159433513 244109312 51306 134679101440 4194304 8309489 140730924778912 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 15409152 140730924786622 140730924786792 140730924786792 140730924793807 0
/proc/858524/statm: 59597 51306 1140 1005 0 58360 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 238388 KiB
Current children cumulated memory: 205224 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.83 s, system=1.26391 s

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

[startup+3611.9 s]
/proc/loadavg: 4.06 4.08 4.09 4/256 860531
/proc/meminfo: memFree=128049228/131524600 swapFree=131071996/131071996
[pid=858524] ppid=858511 vsize=238388 memory=205224 CPUtime=3600.08 cores=0,2
/proc/858524/stat : 858524 (Exact) R 858511 858524 858451 0 -1 4194304 40994 0 0 0 359882 126 0 0 20 0 1 0 159433513 244109312 51306 134679101440 4194304 8309489 140730924778912 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 15409152 140730924786622 140730924786792 140730924786792 140730924793807 0
/proc/858524/statm: 59597 51306 1140 1005 0 58360 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 238388 KiB
Current children cumulated memory: 205224 KiB

Child status: 10

Real time (s): 3611.9
CPU time (s): 3600.09
CPU user time (s): 3598.83
CPU system time (s): 1.26391
CPU usage (%): 99.673
Max. virtual memory (cumulated for all children) (KiB): 238388
Max. memory (cumulated for all children) (KiB): 205224

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.83
system time used= 1.26391
maximum resident set size= 205224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40998
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= 49
involuntary context switches= 25197


# summary of solver processes directly reported to runsolver:
#   pid: 858524
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3598.83
#   total CPU system time (s): 1.26391

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.00448 second user time and 20.2609 second system time

The end