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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4499762-1751411200/watcher-4499762-1751411200 -o /tmp/evaluation-result-4499762-1751411200/solver-4499762-1751411200 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751411200-61137 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 349764737 HOME/instance-4499762-1751411200.opb 

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
Current StackSize limit: 8192 KiB

solver pid=61172, runsolver pid=61167

[startup+0.100085 s]*
/proc/loadavg: 0.53 1.46 2.07 5/244 61188
/proc/meminfo: memFree=119527584/131382112 swapFree=33010160/33010684
[pid=61172] ppid=61167 vsize=91296 memory=20792 CPUtime=0.17 cores=1,3
/proc/61172/stat : 61172 (pb_competition_) R 61167 61172 60706 0 -1 4194304 4729 0 0 0 14 3 0 0 20 0 2 0 56799839 93487104 5198 18446744073709551615 4198400 6788177 140731417169376 0 0 0 0 0 0 0 0 0 17 3 0 0 0 0 0 7336896 7391280 12222464 140731417172314 140731417172440 140731417172440 140731417178042 0
/proc/61172/statm: 22824 5198 576 633 0 6836 0
[pid=61172/tid=61184] ppid=61167 vsize=91296 memory=4026532361 CPUtime=0.08 cores=1,3
/proc/61172/task/61184/stat : 61184 (pb_competition_) R 61167 61172 60706 0 -1 4194368 1187 0 0 0 7 1 0 0 20 0 2 0 56799842 93487104 5230 18446744073709551615 4198400 6788177 140731417169376 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 12222464 140731417172314 140731417172440 140731417172440 140731417178042 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 91296 KiB
Current children cumulated memory: 20792 KiB

[startup+0.215528 s]*
/proc/loadavg: 0.53 1.46 2.07 8/253 61197
/proc/meminfo: memFree=119443704/131382112 swapFree=33010160/33010684
[pid=61172] ppid=61167 vsize=97764 memory=32952 CPUtime=0.38 cores=1,3
/proc/61172/stat : 61172 (pb_competition_) R 61167 61172 60706 0 -1 4194304 7781 0 0 0 33 5 0 0 20 0 2 0 56799839 100110336 8238 18446744073709551615 4198400 6788177 140731417169376 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 7336896 7391280 12222464 140731417172314 140731417172440 140731417172440 140731417178042 0
/proc/61172/statm: 24441 8238 576 633 0 9893 0
[pid=61172/tid=61184] ppid=61167 vsize=97764 memory=4856966532543021340 CPUtime=0.18 cores=1,3
/proc/61172/task/61184/stat : 61184 (pb_competition_) S 61167 61172 60706 0 -1 4194368 2622 0 0 0 16 2 0 0 20 0 2 0 56799842 100110336 8238 18446744073709551615 4198400 6788177 140731417169376 0 0 0 0 0 0 1 0 0 -1 1 0 0 0 0 0 7336896 7391280 12222464 140731417172314 140731417172440 140731417172440 140731417178042 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 97764 KiB
Current children cumulated memory: 32952 KiB

[startup+0.314241 s]*
/proc/loadavg: 0.96 1.53 2.10 7/254 61198
/proc/meminfo: memFree=119352028/131382112 swapFree=33010160/33010684
[pid=61172] ppid=61167 vsize=142860 memory=78500 CPUtime=0.48 cores=1,3
/proc/61172/stat : 61172 (pb_competition_) R 61167 61172 60706 0 -1 4194304 11459 0 0 0 40 8 0 0 20 0 2 0 56799839 146288640 19625 18446744073709551615 4198400 6788177 140731417169376 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 7336896 7391280 12222464 140731417172314 140731417172440 140731417172440 140731417178042 0
/proc/61172/statm: 35715 19625 608 633 0 21167 0
[pid=61172/tid=61184] ppid=61167 vsize=142860 memory=7971802904051532395 CPUtime=0.18 cores=1,3
/proc/61172/task/61184/stat : 61184 (pb_competition_) S 61167 61172 60706 0 -1 4194368 2623 0 0 0 16 2 0 0 20 0 2 0 56799842 146288640 19625 18446744073709551615 4198400 6788177 140731417169376 0 0 0 0 0 0 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 12222464 140731417172314 140731417172440 140731417172440 140731417178042 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 142860 KiB
Current children cumulated memory: 78500 KiB

[startup+0.700416 s]
/proc/loadavg: 0.96 1.53 2.10 9/254 61198
/proc/meminfo: memFree=119257352/131382112 swapFree=33010160/33010684
[pid=61172] ppid=61167 vsize=162088 memory=105764 CPUtime=0.98 cores=1,3
/proc/61172/stat : 61172 (pb_competition_) R 61167 61172 60706 0 -1 4194304 18227 0 0 0 88 10 0 0 20 0 2 0 56799839 165978112 26441 18446744073709551615 4198400 6788177 140731417169376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 12222464 140731417172314 140731417172440 140731417172440 140731417178042 0
/proc/61172/statm: 40522 26441 640 633 0 27971 0
[pid=61172/tid=61184] ppid=61167 vsize=162088 memory=17920 CPUtime=0.35 cores=1,3
/proc/61172/task/61184/stat : 61184 (pb_competition_) S 61167 61172 60706 0 -1 4194368 4621 0 0 0 31 4 0 0 20 0 2 0 56799842 165978112 26441 18446744073709551615 4198400 6788177 140731417169376 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 12222464 140731417172314 140731417172440 140731417172440 140731417178042 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 162088 KiB
Current children cumulated memory: 105764 KiB

[startup+1.50035 s]
/proc/loadavg: 0.96 1.53 2.10 5/254 61198
/proc/meminfo: memFree=119067348/131382112 swapFree=33010160/33010684
[pid=61172] ppid=61167 vsize=268360 memory=212132 CPUtime=1.81 cores=1,3
/proc/61172/stat : 61172 (pb_competition_) R 61167 61172 60706 0 -1 4194304 56053 0 0 0 162 19 0 0 20 0 2 0 56799839 274800640 53033 18446744073709551615 4198400 6788177 140731417169376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 12222464 140731417172314 140731417172440 140731417172440 140731417178042 0
/proc/61172/statm: 67090 53033 640 633 0 54539 0
[pid=61172/tid=61184] ppid=61167 vsize=268360 memory=17920 CPUtime=0.39 cores=1,3
/proc/61172/task/61184/stat : 61184 (pb_competition_) R 61167 61172 60706 0 -1 4194368 4725 0 0 0 35 4 0 0 20 0 2 0 56799842 274800640 53033 18446744073709551615 4198400 6788177 140731417169376 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 12222464 140731417172314 140731417172440 140731417172440 140731417178042 0
Current children cumulated CPU time: 1.81 s
Current children cumulated vsize: 268360 KiB
Current children cumulated memory: 212132 KiB

[startup+3.11727 s]
/proc/loadavg: 0.96 1.53 2.10 6/254 61198
/proc/meminfo: memFree=118111368/131382112 swapFree=33010160/33010684
[pid=61172] ppid=61167 vsize=268360 memory=212260 CPUtime=3.88 cores=1,3
/proc/61172/stat : 61172 (pb_competition_) R 61167 61172 60706 0 -1 4194304 59495 0 0 0 369 19 0 0 20 0 2 0 56799839 274800640 53065 18446744073709551615 4198400 6788177 140731417169376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 12222464 140731417172314 140731417172440 140731417172440 140731417178042 0
/proc/61172/statm: 67090 53065 640 633 0 54539 0
[pid=61172/tid=61184] ppid=61167 vsize=268360 memory=7971519230051369067 CPUtime=0.85 cores=1,3
/proc/61172/task/61184/stat : 61184 (pb_competition_) S 61167 61172 60706 0 -1 4194368 4725 0 0 0 81 4 0 0 20 0 2 0 56799842 274800640 53065 18446744073709551615 4198400 6788177 140731417169376 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 12222464 140731417172314 140731417172440 140731417172440 140731417178042 0
Current children cumulated CPU time: 3.88 s
Current children cumulated vsize: 268360 KiB
Current children cumulated memory: 212260 KiB

[startup+6.30037 s]
/proc/loadavg: 1.29 1.59 2.11 5/254 61198
/proc/meminfo: memFree=117586380/131382112 swapFree=33010160/33010684
[pid=61172] ppid=61167 vsize=268360 memory=212260 CPUtime=8.19 cores=1,3
/proc/61172/stat : 61172 (pb_competition_) R 61167 61172 60706 0 -1 4194304 81687 0 0 0 797 22 0 0 20 0 2 0 56799839 274800640 53065 18446744073709551615 4198400 6788177 140731417169376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 12222464 140731417172314 140731417172440 140731417172440 140731417178042 0
/proc/61172/statm: 67090 53065 640 633 0 54539 0
[pid=61172/tid=61184] ppid=61167 vsize=268360 memory=212260 CPUtime=1.99 cores=1,3
/proc/61172/task/61184/stat : 61184 (pb_competition_) S 61167 61172 60706 0 -1 4194368 4965 0 0 0 194 5 0 0 20 0 2 0 56799842 274800640 53065 18446744073709551615 4198400 6788177 140731417169376 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 12222464 140731417172314 140731417172440 140731417172440 140731417178042 0
Current children cumulated CPU time: 8.19 s
Current children cumulated vsize: 268360 KiB
Current children cumulated memory: 212260 KiB

[startup+12.7004 s]
/proc/loadavg: 1.66 1.66 2.13 7/254 61198
/proc/meminfo: memFree=117575796/131382112 swapFree=33010160/33010684
[pid=61172] ppid=61167 vsize=268492 memory=212388 CPUtime=15.53 cores=1,3
/proc/61172/stat : 61172 (pb_competition_) R 61167 61172 60706 0 -1 4194304 134059 0 0 0 1527 26 0 0 20 0 2 0 56799839 274935808 53097 18446744073709551615 4198400 6788177 140731417169376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 12222464 140731417172314 140731417172440 140731417172440 140731417178042 0
/proc/61172/statm: 67123 53097 640 633 0 54572 0
[pid=61172/tid=61184] ppid=61167 vsize=268492 memory=212388 CPUtime=2.97 cores=1,3
/proc/61172/task/61184/stat : 61184 (pb_competition_) S 61167 61172 60706 0 -1 4194368 5327 0 0 0 292 5 0 0 20 0 2 0 56799842 274935808 53097 18446744073709551615 4198400 6788177 140731417169376 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 12222464 140731417172314 140731417172440 140731417172440 140731417178042 0
Current children cumulated CPU time: 15.53 s
Current children cumulated vsize: 268492 KiB
Current children cumulated memory: 212388 KiB

[startup+25.5004 s]
/proc/loadavg: 2.02 1.74 2.15 5/254 61198
/proc/meminfo: memFree=117576804/131382112 swapFree=33010160/33010684
[pid=61172] ppid=61167 vsize=268624 memory=212516 CPUtime=28.33 cores=1,3
/proc/61172/stat : 61172 (pb_competition_) R 61167 61172 60706 0 -1 4194304 206929 0 0 0 2803 30 0 0 20 0 2 0 56799839 275070976 53129 18446744073709551615 4198400 6788177 140731417169376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 12222464 140731417172314 140731417172440 140731417172440 140731417178042 0
/proc/61172/statm: 67156 53129 640 633 0 54605 0
[pid=61172/tid=61184] ppid=61167 vsize=268624 memory=212516 CPUtime=3.03 cores=1,3
/proc/61172/task/61184/stat : 61184 (pb_competition_) S 61167 61172 60706 0 -1 4194368 5328 0 0 0 298 5 0 0 20 0 2 0 56799842 275070976 53129 18446744073709551615 4198400 6788177 140731417169376 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 12222464 140731417172314 140731417172440 140731417172440 140731417178042 0
Current children cumulated CPU time: 28.33 s
Current children cumulated vsize: 268624 KiB
Current children cumulated memory: 212516 KiB

[startup+51.114 s]
/proc/loadavg: 2.92 1.99 2.22 5/254 61199
/proc/meminfo: memFree=117552836/131382112 swapFree=33010160/33010684
[pid=61172] ppid=61167 vsize=269020 memory=212900 CPUtime=53.96 cores=1,3
/proc/61172/stat : 61172 (pb_competition_) R 61167 61172 60706 0 -1 4194304 260926 0 0 0 5361 35 0 0 20 0 2 0 56799839 275476480 53225 18446744073709551615 4198400 6788177 140731417169376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 12222464 140731417172314 140731417172440 140731417172440 140731417178042 0
/proc/61172/statm: 67255 53225 640 633 0 54704 0
[pid=61172/tid=61184] ppid=61167 vsize=269020 memory=4764 CPUtime=3.17 cores=1,3
/proc/61172/task/61184/stat : 61184 (pb_competition_) S 61167 61172 60706 0 -1 4194368 5331 0 0 0 312 5 0 0 20 0 2 0 56799842 275476480 53225 18446744073709551615 4198400 6788177 140731417169376 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 12222464 140731417172314 140731417172440 140731417172440 140731417178042 0
Current children cumulated CPU time: 53.96 s
Current children cumulated vsize: 269020 KiB
Current children cumulated memory: 212900 KiB

[startup+102.3 s]
/proc/loadavg: 3.75 2.36 2.34 6/254 61200
/proc/meminfo: memFree=117529460/131382112 swapFree=33010160/33010684
[pid=61172] ppid=61167 vsize=269416 memory=213284 CPUtime=104.94 cores=1,3
/proc/61172/stat : 61172 (pb_competition_) R 61167 61172 60706 0 -1 4194304 290236 0 0 0 10455 39 0 0 20 0 2 0 56799839 275881984 53321 18446744073709551615 4198400 6788177 140731417169376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 12222464 140731417172314 140731417172440 140731417172440 140731417178042 0
/proc/61172/statm: 67354 53321 640 633 0 54803 0
[pid=61172/tid=61184] ppid=61167 vsize=269416 memory=14560 CPUtime=3.17 cores=1,3
/proc/61172/task/61184/stat : 61184 (pb_competition_) S 61167 61172 60706 0 -1 4194368 5331 0 0 0 312 5 0 0 20 0 2 0 56799842 275881984 53321 18446744073709551615 4198400 6788177 140731417169376 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 12222464 140731417172314 140731417172440 140731417172440 140731417178042 0
Current children cumulated CPU time: 104.94 s
Current children cumulated vsize: 269416 KiB
Current children cumulated memory: 213284 KiB

[startup+162.3 s]
/proc/loadavg: 4.17 2.74 2.47 6/255 61203
/proc/meminfo: memFree=117549660/131382112 swapFree=33010160/33010684
[pid=61172] ppid=61167 vsize=269548 memory=213412 CPUtime=164.72 cores=1,3
/proc/61172/stat : 61172 (pb_competition_) R 61167 61172 60706 0 -1 4194304 293857 0 0 0 16431 41 0 0 20 0 2 0 56799839 276017152 53353 18446744073709551615 4198400 6788177 140731417169376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 12222464 140731417172314 140731417172440 140731417172440 140731417178042 0
/proc/61172/statm: 67387 53353 640 633 0 54836 0
[pid=61172/tid=61184] ppid=61167 vsize=269548 memory=213412 CPUtime=3.17 cores=1,3
/proc/61172/task/61184/stat : 61184 (pb_competition_) S 61167 61172 60706 0 -1 4194368 5331 0 0 0 312 5 0 0 20 0 2 0 56799842 276017152 53353 18446744073709551615 4198400 6788177 140731417169376 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 12222464 140731417172314 140731417172440 140731417172440 140731417178042 0
Current children cumulated CPU time: 164.72 s
Current children cumulated vsize: 269548 KiB
Current children cumulated memory: 213412 KiB

[startup+222.3 s]
/proc/loadavg: 4.21 3.02 2.59 6/255 61205
/proc/meminfo: memFree=117552256/131382112 swapFree=33010160/33010684
[pid=61172] ppid=61167 vsize=269548 memory=213412 CPUtime=224.48 cores=1,3
/proc/61172/stat : 61172 (pb_competition_) R 61167 61172 60706 0 -1 4194304 298375 0 0 0 22404 44 0 0 20 0 2 0 56799839 276017152 53353 18446744073709551615 4198400 6788177 140731417169376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 12222464 140731417172314 140731417172440 140731417172440 140731417178042 0
/proc/61172/statm: 67387 53353 640 633 0 54836 0
[pid=61172/tid=61184] ppid=61167 vsize=269548 memory=213412 CPUtime=3.17 cores=1,3
/proc/61172/task/61184/stat : 61184 (pb_competition_) S 61167 61172 60706 0 -1 4194368 5331 0 0 0 312 5 0 0 20 0 2 0 56799842 276017152 53353 18446744073709551615 4198400 6788177 140731417169376 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 12222464 140731417172314 140731417172440 140731417172440 140731417178042 0
Current children cumulated CPU time: 224.48 s
Current children cumulated vsize: 269548 KiB
Current children cumulated memory: 213412 KiB

[startup+282.3 s]
/proc/loadavg: 4.20 3.23 2.69 6/255 61208
/proc/meminfo: memFree=117541592/131382112 swapFree=33010160/33010684
[pid=61172] ppid=61167 vsize=269548 memory=213412 CPUtime=284.25 cores=1,3
/proc/61172/stat : 61172 (pb_competition_) R 61167 61172 60706 0 -1 4194304 298386 0 0 0 28377 48 0 0 20 0 2 0 56799839 276017152 53353 18446744073709551615 4198400 6788177 140731417169376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 12222464 140731417172314 140731417172440 140731417172440 140731417178042 0
/proc/61172/statm: 67387 53353 640 633 0 54836 0
[pid=61172/tid=61184] ppid=61167 vsize=269548 memory=213412 CPUtime=3.17 cores=1,3
/proc/61172/task/61184/stat : 61184 (pb_competition_) S 61167 61172 60706 0 -1 4194368 5331 0 0 0 312 5 0 0 20 0 2 0 56799842 276017152 53353 18446744073709551615 4198400 6788177 140731417169376 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 12222464 140731417172314 140731417172440 140731417172440 140731417178042 0
Current children cumulated CPU time: 284.25 s
Current children cumulated vsize: 269548 KiB
Current children cumulated memory: 213412 KiB


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

/proc/meminfo: memFree=117536132/131382112 swapFree=33010160/33010684
[pid=61172] ppid=61167 vsize=269680 memory=213540 CPUtime=3057.94 cores=1,3
/proc/61172/stat : 61172 (pb_competition_) R 61167 61172 60706 0 -1 4194304 308993 0 0 0 305593 201 0 0 20 0 2 0 56799839 276152320 53385 18446744073709551615 4198400 6788177 140731417169376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 12222464 140731417172314 140731417172440 140731417172440 140731417178042 0
/proc/61172/statm: 67420 53385 640 633 0 54869 0
[pid=61172/tid=61184] ppid=61167 vsize=269680 memory=14560 CPUtime=88.09 cores=1,3
/proc/61172/task/61184/stat : 61184 (pb_competition_) S 61167 61172 60706 0 -1 4194368 5347 0 0 0 8761 48 0 0 20 0 2 0 56799842 276152320 53385 18446744073709551615 4198400 6788177 140731417169376 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 12222464 140731417172314 140731417172440 140731417172440 140731417178042 0
Current children cumulated CPU time: 3057.94 s
Current children cumulated vsize: 269680 KiB
Current children cumulated memory: 213540 KiB

[startup+3042.3 s]
/proc/loadavg: 4.33 4.57 4.59 5/254 61428
/proc/meminfo: memFree=117536188/131382112 swapFree=33010160/33010684
[pid=61172] ppid=61167 vsize=269680 memory=213540 CPUtime=3117.73 cores=1,3
/proc/61172/stat : 61172 (pb_competition_) R 61167 61172 60706 0 -1 4194304 309002 0 0 0 311569 204 0 0 20 0 2 0 56799839 276152320 53385 18446744073709551615 4198400 6788177 140731417169376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 12222464 140731417172314 140731417172440 140731417172440 140731417178042 0
/proc/61172/statm: 67420 53385 640 633 0 54869 0
[pid=61172/tid=61184] ppid=61167 vsize=269680 memory=213540 CPUtime=88.09 cores=1,3
/proc/61172/task/61184/stat : 61184 (pb_competition_) S 61167 61172 60706 0 -1 4194368 5347 0 0 0 8761 48 0 0 20 0 2 0 56799842 276152320 53385 18446744073709551615 4198400 6788177 140731417169376 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 12222464 140731417172314 140731417172440 140731417172440 140731417178042 0
Current children cumulated CPU time: 3117.73 s
Current children cumulated vsize: 269680 KiB
Current children cumulated memory: 213540 KiB

[startup+3102.3 s]
/proc/loadavg: 4.39 4.53 4.57 5/254 61430
/proc/meminfo: memFree=117536204/131382112 swapFree=33010160/33010684
[pid=61172] ppid=61167 vsize=269680 memory=213540 CPUtime=3177.52 cores=1,3
/proc/61172/stat : 61172 (pb_competition_) R 61167 61172 60706 0 -1 4194304 309467 0 0 0 317547 205 0 0 20 0 2 0 56799839 276152320 53385 18446744073709551615 4198400 6788177 140731417169376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 12222464 140731417172314 140731417172440 140731417172440 140731417178042 0
/proc/61172/statm: 67420 53385 640 633 0 54869 0
[pid=61172/tid=61184] ppid=61167 vsize=269680 memory=213540 CPUtime=88.09 cores=1,3
/proc/61172/task/61184/stat : 61184 (pb_competition_) S 61167 61172 60706 0 -1 4194368 5347 0 0 0 8761 48 0 0 20 0 2 0 56799842 276152320 53385 18446744073709551615 4198400 6788177 140731417169376 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 12222464 140731417172314 140731417172440 140731417172440 140731417178042 0
Current children cumulated CPU time: 3177.52 s
Current children cumulated vsize: 269680 KiB
Current children cumulated memory: 213540 KiB

[startup+3162.3 s]
/proc/loadavg: 4.19 4.45 4.53 5/254 61432
/proc/meminfo: memFree=117519932/131382112 swapFree=33010160/33010684
[pid=61172] ppid=61167 vsize=269680 memory=213540 CPUtime=3237.31 cores=1,3
/proc/61172/stat : 61172 (pb_competition_) R 61167 61172 60706 0 -1 4194304 309483 0 0 0 323524 207 0 0 20 0 2 0 56799839 276152320 53385 18446744073709551615 4198400 6788177 140731417169376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 12222464 140731417172314 140731417172440 140731417172440 140731417178042 0
/proc/61172/statm: 67420 53385 640 633 0 54869 0
[pid=61172/tid=61184] ppid=61167 vsize=269680 memory=14560 CPUtime=88.09 cores=1,3
/proc/61172/task/61184/stat : 61184 (pb_competition_) S 61167 61172 60706 0 -1 4194368 5347 0 0 0 8761 48 0 0 20 0 2 0 56799842 276152320 53385 18446744073709551615 4198400 6788177 140731417169376 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 12222464 140731417172314 140731417172440 140731417172440 140731417178042 0
Current children cumulated CPU time: 3237.31 s
Current children cumulated vsize: 269680 KiB
Current children cumulated memory: 213540 KiB

[startup+3222.3 s]
/proc/loadavg: 4.17 4.40 4.51 5/253 61434
/proc/meminfo: memFree=117494524/131382112 swapFree=33010160/33010684
[pid=61172] ppid=61167 vsize=269680 memory=213540 CPUtime=3297.11 cores=1,3
/proc/61172/stat : 61172 (pb_competition_) R 61167 61172 60706 0 -1 4194304 309483 0 0 0 329501 210 0 0 20 0 2 0 56799839 276152320 53385 18446744073709551615 4198400 6788177 140731417169376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 12222464 140731417172314 140731417172440 140731417172440 140731417178042 0
/proc/61172/statm: 67420 53385 640 633 0 54869 0
[pid=61172/tid=61184] ppid=61167 vsize=269680 memory=213540 CPUtime=88.09 cores=1,3
/proc/61172/task/61184/stat : 61184 (pb_competition_) S 61167 61172 60706 0 -1 4194368 5347 0 0 0 8761 48 0 0 20 0 2 0 56799842 276152320 53385 18446744073709551615 4198400 6788177 140731417169376 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 12222464 140731417172314 140731417172440 140731417172440 140731417178042 0
Current children cumulated CPU time: 3297.11 s
Current children cumulated vsize: 269680 KiB
Current children cumulated memory: 213540 KiB

[startup+3282.3 s]
/proc/loadavg: 4.32 4.39 4.50 6/253 61451
/proc/meminfo: memFree=117485628/131382112 swapFree=33010160/33010684
[pid=61172] ppid=61167 vsize=269680 memory=213540 CPUtime=3356.9 cores=1,3
/proc/61172/stat : 61172 (pb_competition_) R 61167 61172 60706 0 -1 4194304 309960 0 0 0 335478 212 0 0 20 0 2 0 56799839 276152320 53385 18446744073709551615 4198400 6788177 140731417169376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 12222464 140731417172314 140731417172440 140731417172440 140731417178042 0
/proc/61172/statm: 67420 53385 640 633 0 54869 0
[pid=61172/tid=61184] ppid=61167 vsize=269680 memory=213540 CPUtime=88.09 cores=1,3
/proc/61172/task/61184/stat : 61184 (pb_competition_) S 61167 61172 60706 0 -1 4194368 5347 0 0 0 8761 48 0 0 20 0 2 0 56799842 276152320 53385 18446744073709551615 4198400 6788177 140731417169376 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 12222464 140731417172314 140731417172440 140731417172440 140731417178042 0
Current children cumulated CPU time: 3356.9 s
Current children cumulated vsize: 269680 KiB
Current children cumulated memory: 213540 KiB

[startup+3342.3 s]
/proc/loadavg: 4.26 4.36 4.48 5/253 61453
/proc/meminfo: memFree=117488440/131382112 swapFree=33010160/33010684
[pid=61172] ppid=61167 vsize=269680 memory=213540 CPUtime=3416.69 cores=1,3
/proc/61172/stat : 61172 (pb_competition_) R 61167 61172 60706 0 -1 4194304 309965 0 0 0 341455 214 0 0 20 0 2 0 56799839 276152320 53385 18446744073709551615 4198400 6788177 140731417169376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 12222464 140731417172314 140731417172440 140731417172440 140731417178042 0
/proc/61172/statm: 67420 53385 640 633 0 54869 0
[pid=61172/tid=61184] ppid=61167 vsize=269680 memory=213540 CPUtime=88.09 cores=1,3
/proc/61172/task/61184/stat : 61184 (pb_competition_) S 61167 61172 60706 0 -1 4194368 5347 0 0 0 8761 48 0 0 20 0 2 0 56799842 276152320 53385 18446744073709551615 4198400 6788177 140731417169376 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 12222464 140731417172314 140731417172440 140731417172440 140731417178042 0
Current children cumulated CPU time: 3416.69 s
Current children cumulated vsize: 269680 KiB
Current children cumulated memory: 213540 KiB

[startup+3402.3 s]
/proc/loadavg: 4.23 4.33 4.46 5/253 61455
/proc/meminfo: memFree=117486460/131382112 swapFree=33010160/33010684
[pid=61172] ppid=61167 vsize=269680 memory=213540 CPUtime=3476.48 cores=1,3
/proc/61172/stat : 61172 (pb_competition_) R 61167 61172 60706 0 -1 4194304 310432 0 0 0 347432 216 0 0 20 0 2 0 56799839 276152320 53385 18446744073709551615 4198400 6788177 140731417169376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 12222464 140731417172314 140731417172440 140731417172440 140731417178042 0
/proc/61172/statm: 67420 53385 640 633 0 54869 0
[pid=61172/tid=61184] ppid=61167 vsize=269680 memory=213540 CPUtime=88.09 cores=1,3
/proc/61172/task/61184/stat : 61184 (pb_competition_) S 61167 61172 60706 0 -1 4194368 5347 0 0 0 8761 48 0 0 20 0 2 0 56799842 276152320 53385 18446744073709551615 4198400 6788177 140731417169376 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 12222464 140731417172314 140731417172440 140731417172440 140731417178042 0
Current children cumulated CPU time: 3476.48 s
Current children cumulated vsize: 269680 KiB
Current children cumulated memory: 213540 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.30 4.44 5/253 61457
/proc/meminfo: memFree=117470092/131382112 swapFree=33010160/33010684
[pid=61172] ppid=61167 vsize=269680 memory=213540 CPUtime=3536.26 cores=1,3
/proc/61172/stat : 61172 (pb_competition_) R 61167 61172 60706 0 -1 4194304 310446 0 0 0 353409 217 0 0 20 0 2 0 56799839 276152320 53385 18446744073709551615 4198400 6788177 140731417169376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 12222464 140731417172314 140731417172440 140731417172440 140731417178042 0
/proc/61172/statm: 67420 53385 640 633 0 54869 0
[pid=61172/tid=61184] ppid=61167 vsize=269680 memory=213540 CPUtime=88.09 cores=1,3
/proc/61172/task/61184/stat : 61184 (pb_competition_) S 61167 61172 60706 0 -1 4194368 5347 0 0 0 8761 48 0 0 20 0 2 0 56799842 276152320 53385 18446744073709551615 4198400 6788177 140731417169376 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 12222464 140731417172314 140731417172440 140731417172440 140731417178042 0
Current children cumulated CPU time: 3536.26 s
Current children cumulated vsize: 269680 KiB
Current children cumulated memory: 213540 KiB

[startup+3522.3 s]
/proc/loadavg: 4.29 4.31 4.43 5/254 61462
/proc/meminfo: memFree=117488128/131382112 swapFree=33010160/33010684
[pid=61172] ppid=61167 vsize=269680 memory=213540 CPUtime=3596.06 cores=1,3
/proc/61172/stat : 61172 (pb_competition_) R 61167 61172 60706 0 -1 4194304 310446 0 0 0 359386 220 0 0 20 0 2 0 56799839 276152320 53385 18446744073709551615 4198400 6788177 140731417169376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 12222464 140731417172314 140731417172440 140731417172440 140731417178042 0
/proc/61172/statm: 67420 53385 640 633 0 54869 0
[pid=61172/tid=61184] ppid=61167 vsize=269680 memory=14560 CPUtime=88.09 cores=1,3
/proc/61172/task/61184/stat : 61184 (pb_competition_) S 61167 61172 60706 0 -1 4194368 5347 0 0 0 8761 48 0 0 20 0 2 0 56799842 276152320 53385 18446744073709551615 4198400 6788177 140731417169376 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 12222464 140731417172314 140731417172440 140731417172440 140731417178042 0
Current children cumulated CPU time: 3596.06 s
Current children cumulated vsize: 269680 KiB
Current children cumulated memory: 213540 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3526.3 s]
/proc/loadavg: 4.27 4.30 4.43 5/254 61462
/proc/meminfo: memFree=117488132/131382112 swapFree=33010160/33010684
[pid=61172] ppid=61167 vsize=269680 memory=213540 CPUtime=3600.05 cores=1,3
/proc/61172/stat : 61172 (pb_competition_) R 61167 61172 60706 0 -1 4194304 310446 0 0 0 359784 221 0 0 20 0 2 0 56799839 276152320 53385 18446744073709551615 4198400 6788177 140731417169376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 12222464 140731417172314 140731417172440 140731417172440 140731417178042 0
/proc/61172/statm: 67420 53385 640 633 0 54869 0
[pid=61172/tid=61184] ppid=61167 vsize=269680 memory=14560 CPUtime=88.09 cores=1,3
/proc/61172/task/61184/stat : 61184 (pb_competition_) S 61167 61172 60706 0 -1 4194368 5347 0 0 0 8761 48 0 0 20 0 2 0 56799842 276152320 53385 18446744073709551615 4198400 6788177 140731417169376 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 12222464 140731417172314 140731417172440 140731417172440 140731417178042 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 269680 KiB
Current children cumulated memory: 213540 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.97 s, system=2.22962 s

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

[startup+3526.4 s]
/proc/loadavg: 4.27 4.30 4.43 5/254 61462
/proc/meminfo: memFree=117488132/131382112 swapFree=33010160/33010684
[pid=61172] ppid=61167 vsize=235744 memory=179648 CPUtime=3600.15 cores=1,3
/proc/61172/stat : 61172 (pb_competition_) R 61167 61172 60706 0 -1 4194304 321375 0 0 0 359794 221 0 0 20 0 2 0 56799839 241401856 44912 18446744073709551615 4198400 6788177 140731417169376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 12222464 140731417172314 140731417172440 140731417172440 140731417178042 0
/proc/61172/statm: 58936 44912 640 633 0 46385 0
[pid=61172/tid=61184] ppid=61167 vsize=235744 memory=213540 CPUtime=88.09 cores=1,3
/proc/61172/task/61184/stat : 61184 (pb_competition_) S 61167 61172 60706 0 -1 4194368 5347 0 0 0 8761 48 0 0 20 0 2 0 56799842 241401856 44912 18446744073709551615 4198400 6788177 140731417169376 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 12222464 140731417172314 140731417172440 140731417172440 140731417178042 0
Current children cumulated CPU time: 3600.15 s
Current children cumulated vsize: 235744 KiB
Current children cumulated memory: 179648 KiB

Child status: 0

Real time (s): 3526.45
CPU time (s): 3600.2
CPU user time (s): 3597.97
CPU system time (s): 2.22962
CPU usage (%): 102.091
Max. virtual memory (cumulated for all children) (KiB): 269680
Max. memory (cumulated for all children) (KiB): 213540

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.97
system time used= 2.22962
maximum resident set size= 213540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 326595
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= 16504
involuntary context switches= 3131


# summary of solver processes directly reported to runsolver:
#   pid: 61172
#   total CPU time (s): 3600.2
#   total CPU user time (s): 3597.97
#   total CPU system time (s): 2.22962

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.1554 second user time and 36.7418 second system time

The end