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: 63708 MiB (63134 MiB free)
  memory of node 1: 64465 MiB (63810 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484766-1751291873/watcher-4484766-1751291873 -o /tmp/evaluation-result-4484766-1751291873/solver-4484766-1751291873 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751291873-39488 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 614723101 HOME/instance-4484766-1751291873.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.10006 s]*
/proc/loadavg: 0.77 1.91 2.86 7/267 39550
/proc/meminfo: memFree=129935372/131249996 swapFree=33010684/33010684
[pid=39547] ppid=39540 vsize=105820 memory=41664 CPUtime=0.17 cores=4,6
/proc/39547/stat : 39547 (pb_competition_) R 39540 39547 39477 0 -1 4194304 8897 0 0 0 16 1 0 0 20 0 2 0 44865960 108359680 10416 18446744073709551615 4198400 6788177 140721450324736 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 7336896 7391280 20541440 140721450330458 140721450330584 140721450330584 140721450336186 0
/proc/39547/statm: 26455 10416 576 633 0 12278 0
[pid=39547/tid=39550] ppid=39540 vsize=105820 memory=4026531960 CPUtime=0.07 cores=4,6
/proc/39547/task/39550/stat : 39550 (pb_competition_) S 39540 39547 39477 0 -1 4194368 2993 0 0 0 7 0 0 0 20 0 2 0 44865961 108359680 10416 18446744073709551615 4198400 6788177 140721450324736 0 0 0 0 0 0 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 20541440 140721450330458 140721450330584 140721450330584 140721450336186 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 105820 KiB
Current children cumulated memory: 41664 KiB

[startup+0.205586 s]*
/proc/loadavg: 1.35 2.01 2.89 9/267 39550
/proc/meminfo: memFree=129761340/131249996 swapFree=33010684/33010684
[pid=39547] ppid=39540 vsize=189264 memory=131612 CPUtime=0.32 cores=4,6
/proc/39547/stat : 39547 (pb_competition_) R 39540 39547 39477 0 -1 4194304 17878 0 0 0 28 4 0 0 20 0 2 0 44865960 193806336 32903 18446744073709551615 4198400 6788177 140721450324736 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 7336896 7391280 20541440 140721450330458 140721450330584 140721450330584 140721450336186 0
/proc/39547/statm: 47316 32903 608 633 0 34408 0
[pid=39547/tid=39550] ppid=39540 vsize=189264 memory=5983648042466672924 CPUtime=0.11 cores=4,6
/proc/39547/task/39550/stat : 39550 (pb_competition_) R 39540 39547 39477 0 -1 4194368 4264 0 0 0 11 0 0 0 20 0 2 0 44865961 193806336 32903 18446744073709551615 4198400 6788177 140721450324736 0 0 0 0 0 0 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 20541440 140721450330458 140721450330584 140721450330584 140721450336186 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 189264 KiB
Current children cumulated memory: 131612 KiB

[startup+0.305482 s]*
/proc/loadavg: 1.35 2.01 2.89 7/267 39550
/proc/meminfo: memFree=129721788/131249996 swapFree=33010684/33010684
[pid=39547] ppid=39540 vsize=203060 memory=151964 CPUtime=0.47 cores=4,6
/proc/39547/stat : 39547 (pb_competition_) R 39540 39547 39477 0 -1 4194304 22940 0 0 0 41 6 0 0 20 0 2 0 44865960 207933440 37991 18446744073709551615 4198400 6788177 140721450324736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 20541440 140721450330458 140721450330584 140721450330584 140721450336186 0
/proc/39547/statm: 50765 37991 640 633 0 39581 0
[pid=39547/tid=39550] ppid=39540 vsize=203060 memory=7969546723505356143 CPUtime=0.18 cores=4,6
/proc/39547/task/39550/stat : 39550 (pb_competition_) S 39540 39547 39477 0 -1 4194368 5988 0 0 0 16 2 0 0 20 0 2 0 44865961 207933440 37991 18446744073709551615 4198400 6788177 140721450324736 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 20541440 140721450330458 140721450330584 140721450330584 140721450336186 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 203060 KiB
Current children cumulated memory: 151964 KiB

[startup+0.7002 s]
/proc/loadavg: 1.35 2.01 2.89 7/267 39550
/proc/meminfo: memFree=129625020/131249996 swapFree=33010684/33010684
[pid=39547] ppid=39540 vsize=286016 memory=235420 CPUtime=0.86 cores=4,6
/proc/39547/stat : 39547 (pb_competition_) R 39540 39547 39477 0 -1 4194304 43778 0 0 0 77 9 0 0 20 0 2 0 44865960 292880384 58855 18446744073709551615 4198400 6788177 140721450324736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 20541440 140721450330458 140721450330584 140721450330584 140721450336186 0
/proc/39547/statm: 71504 58855 672 633 0 60320 0
[pid=39547/tid=39550] ppid=39540 vsize=286016 memory=17664 CPUtime=0.18 cores=4,6
/proc/39547/task/39550/stat : 39550 (pb_competition_) S 39540 39547 39477 0 -1 4194368 5988 0 0 0 16 2 0 0 20 0 2 0 44865961 292880384 58855 18446744073709551615 4198400 6788177 140721450324736 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 20541440 140721450330458 140721450330584 140721450330584 140721450336186 0
Current children cumulated CPU time: 0.86 s
Current children cumulated vsize: 286016 KiB
Current children cumulated memory: 235420 KiB

[startup+1.50021 s]
/proc/loadavg: 1.35 2.01 2.89 7/267 39551
/proc/meminfo: memFree=129394748/131249996 swapFree=33010684/33010684
[pid=39547] ppid=39540 vsize=371380 memory=320808 CPUtime=1.78 cores=4,6
/proc/39547/stat : 39547 (pb_competition_) R 39540 39547 39477 0 -1 4194304 94535 0 0 0 165 13 0 0 20 0 2 0 44865960 380293120 80202 18446744073709551615 4198400 6788177 140721450324736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 20541440 140721450330458 140721450330584 140721450330584 140721450336186 0
/proc/39547/statm: 92845 80202 672 633 0 81661 0
[pid=39547/tid=39550] ppid=39540 vsize=371380 memory=17664 CPUtime=0.31 cores=4,6
/proc/39547/task/39550/stat : 39550 (pb_competition_) S 39540 39547 39477 0 -1 4194368 5995 0 0 0 29 2 0 0 20 0 2 0 44865961 380293120 80202 18446744073709551615 4198400 6788177 140721450324736 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 20541440 140721450330458 140721450330584 140721450330584 140721450336186 0
Current children cumulated CPU time: 1.78 s
Current children cumulated vsize: 371380 KiB
Current children cumulated memory: 320808 KiB

[startup+3.10549 s]
/proc/loadavg: 1.35 2.01 2.89 8/267 39551
/proc/meminfo: memFree=129395540/131249996 swapFree=33010684/33010684
[pid=39547] ppid=39540 vsize=371380 memory=320808 CPUtime=4.52 cores=4,6
/proc/39547/stat : 39547 (pb_competition_) R 39540 39547 39477 0 -1 4194304 134472 0 0 0 437 15 0 0 20 0 2 0 44865960 380293120 80202 18446744073709551615 4198400 6788177 140721450324736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 20541440 140721450330458 140721450330584 140721450330584 140721450336186 0
/proc/39547/statm: 92845 80202 672 633 0 81661 0
[pid=39547/tid=39550] ppid=39540 vsize=371380 memory=320808 CPUtime=1.45 cores=4,6
/proc/39547/task/39550/stat : 39550 (pb_competition_) R 39540 39547 39477 0 -1 4194368 7115 0 0 0 143 2 0 0 20 0 2 0 44865961 380293120 80202 18446744073709551615 4198400 6788177 140721450324736 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 20541440 140721450330458 140721450330584 140721450330584 140721450336186 0
Current children cumulated CPU time: 4.52 s
Current children cumulated vsize: 371380 KiB
Current children cumulated memory: 320808 KiB

[startup+6.30021 s]
/proc/loadavg: 1.81 2.09 2.91 8/268 39552
/proc/meminfo: memFree=129396012/131249996 swapFree=33010684/33010684
[pid=39547] ppid=39540 vsize=371380 memory=320808 CPUtime=9.67 cores=4,6
/proc/39547/stat : 39547 (pb_competition_) R 39540 39547 39477 0 -1 4194304 210518 0 0 0 947 20 0 0 20 0 2 0 44865960 380293120 80202 18446744073709551615 4198400 6788177 140721450324736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 20541440 140721450330458 140721450330584 140721450330584 140721450336186 0
/proc/39547/statm: 92845 80202 672 633 0 81661 0
[pid=39547/tid=39550] ppid=39540 vsize=371380 memory=7969546723505356143 CPUtime=3.41 cores=4,6
/proc/39547/task/39550/stat : 39550 (pb_competition_) S 39540 39547 39477 0 -1 4194368 7503 0 0 0 339 2 0 0 20 0 2 0 44865961 380293120 80202 18446744073709551615 4198400 6788177 140721450324736 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 20541440 140721450330458 140721450330584 140721450330584 140721450336186 0
Current children cumulated CPU time: 9.67 s
Current children cumulated vsize: 371380 KiB
Current children cumulated memory: 320808 KiB

[startup+12.7002 s]
/proc/loadavg: 2.30 2.19 2.94 9/268 39552
/proc/meminfo: memFree=129396580/131249996 swapFree=33010684/33010684
[pid=39547] ppid=39540 vsize=371380 memory=320808 CPUtime=21.04 cores=4,6
/proc/39547/stat : 39547 (pb_competition_) R 39540 39547 39477 0 -1 4194304 287840 0 0 0 2079 25 0 0 20 0 2 0 44865960 380293120 80202 18446744073709551615 4198400 6788177 140721450324736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 20541440 140721450330458 140721450330584 140721450330584 140721450336186 0
/proc/39547/statm: 92845 80202 672 633 0 81661 0
[pid=39547/tid=39550] ppid=39540 vsize=371380 memory=320808 CPUtime=8.43 cores=4,6
/proc/39547/task/39550/stat : 39550 (pb_competition_) S 39540 39547 39477 0 -1 4194368 9561 0 0 0 840 3 0 0 20 0 2 0 44865961 380293120 80202 18446744073709551615 4198400 6788177 140721450324736 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 20541440 140721450330458 140721450330584 140721450330584 140721450336186 0
Current children cumulated CPU time: 21.04 s
Current children cumulated vsize: 371380 KiB
Current children cumulated memory: 320808 KiB

[startup+25.5002 s]
/proc/loadavg: 3.02 2.35 2.99 9/268 39552
/proc/meminfo: memFree=129397128/131249996 swapFree=33010684/33010684
[pid=39547] ppid=39540 vsize=371380 memory=320808 CPUtime=42.52 cores=4,6
/proc/39547/stat : 39547 (pb_competition_) R 39540 39547 39477 0 -1 4194304 326337 0 0 0 4224 28 0 0 20 0 2 0 44865960 380293120 80202 18446744073709551615 4198400 6788177 140721450324736 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 20541440 140721450330458 140721450330584 140721450330584 140721450336186 0
/proc/39547/statm: 92845 80202 672 633 0 81661 0
[pid=39547/tid=39550] ppid=39540 vsize=371380 memory=320808 CPUtime=17.2 cores=4,6
/proc/39547/task/39550/stat : 39550 (pb_competition_) R 39540 39547 39477 0 -1 4194368 10656 0 0 0 1717 3 0 0 20 0 2 0 44865961 380293120 80202 18446744073709551615 4198400 6788177 140721450324736 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 20541440 140721450330458 140721450330584 140721450330584 140721450336186 0
Current children cumulated CPU time: 42.52 s
Current children cumulated vsize: 371380 KiB
Current children cumulated memory: 320808 KiB

[startup+51.1056 s]
/proc/loadavg: 4.63 2.81 3.12 7/268 39552
/proc/meminfo: memFree=129398284/131249996 swapFree=33010684/33010684
[pid=39547] ppid=39540 vsize=371380 memory=320808 CPUtime=83.83 cores=4,6
/proc/39547/stat : 39547 (pb_competition_) R 39540 39547 39477 0 -1 4194304 394986 0 0 0 8348 35 0 0 20 0 2 0 44865960 380293120 80202 18446744073709551615 4198400 6788177 140721450324736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 20541440 140721450330458 140721450330584 140721450330584 140721450336186 0
/proc/39547/statm: 92845 80202 672 633 0 81661 0
[pid=39547/tid=39550] ppid=39540 vsize=371380 memory=320808 CPUtime=33.03 cores=4,6
/proc/39547/task/39550/stat : 39550 (pb_competition_) S 39540 39547 39477 0 -1 4194368 12773 0 0 0 3299 4 0 0 20 0 2 0 44865961 380293120 80202 18446744073709551615 4198400 6788177 140721450324736 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 20541440 140721450330458 140721450330584 140721450330584 140721450336186 0
Current children cumulated CPU time: 83.83 s
Current children cumulated vsize: 371380 KiB
Current children cumulated memory: 320808 KiB

[startup+102.3 s]
/proc/loadavg: 6.03 3.48 3.33 8/268 39554
/proc/meminfo: memFree=129406096/131249996 swapFree=33010684/33010684
[pid=39547] ppid=39540 vsize=371380 memory=320808 CPUtime=160.86 cores=4,6
/proc/39547/stat : 39547 (pb_competition_) R 39540 39547 39477 0 -1 4194304 505019 0 0 0 16040 46 0 0 20 0 2 0 44865960 380293120 80202 18446744073709551615 4198400 6788177 140721450324736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 20541440 140721450330458 140721450330584 140721450330584 140721450336186 0
/proc/39547/statm: 92845 80202 672 633 0 81661 0
[pid=39547/tid=39550] ppid=39540 vsize=371380 memory=320808 CPUtime=59.23 cores=4,6
/proc/39547/task/39550/stat : 39550 (pb_competition_) R 39540 39547 39477 0 -1 4194368 15123 0 0 0 5917 6 0 0 20 0 2 0 44865961 380293120 80202 18446744073709551615 4198400 6788177 140721450324736 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 20541440 140721450330458 140721450330584 140721450330584 140721450336186 0
Current children cumulated CPU time: 160.86 s
Current children cumulated vsize: 371380 KiB
Current children cumulated memory: 320808 KiB

[startup+162.3 s]
/proc/loadavg: 6.65 4.11 3.56 7/268 39556
/proc/meminfo: memFree=129365824/131249996 swapFree=33010684/33010684
[pid=39547] ppid=39540 vsize=371380 memory=320808 CPUtime=240.06 cores=4,6
/proc/39547/stat : 39547 (pb_competition_) R 39540 39547 39477 0 -1 4194304 575913 0 0 0 23951 55 0 0 20 0 2 0 44865960 380293120 80202 18446744073709551615 4198400 6788177 140721450324736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 20541440 140721450330458 140721450330584 140721450330584 140721450336186 0
/proc/39547/statm: 92845 80202 672 633 0 81661 0
[pid=39547/tid=39550] ppid=39540 vsize=371380 memory=14572 CPUtime=78.71 cores=4,6
/proc/39547/task/39550/stat : 39550 (pb_competition_) S 39540 39547 39477 0 -1 4194368 16120 0 0 0 7862 9 0 0 20 0 2 0 44865961 380293120 80202 18446744073709551615 4198400 6788177 140721450324736 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 20541440 140721450330458 140721450330584 140721450330584 140721450336186 0
Current children cumulated CPU time: 240.06 s
Current children cumulated vsize: 371380 KiB
Current children cumulated memory: 320808 KiB

[startup+222.3 s]
/proc/loadavg: 6.78 4.61 3.77 9/269 39572
/proc/meminfo: memFree=129362768/131249996 swapFree=33010684/33010684
[pid=39547] ppid=39540 vsize=371380 memory=320808 CPUtime=317.86 cores=4,6
/proc/39547/stat : 39547 (pb_competition_) R 39540 39547 39477 0 -1 4194304 611377 0 0 0 31725 61 0 0 20 0 2 0 44865960 380293120 80202 18446744073709551615 4198400 6788177 140721450324736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 20541440 140721450330458 140721450330584 140721450330584 140721450336186 0
/proc/39547/statm: 92845 80202 672 633 0 81661 0
[pid=39547/tid=39550] ppid=39540 vsize=371380 memory=320808 CPUtime=96.78 cores=4,6
/proc/39547/task/39550/stat : 39550 (pb_competition_) R 39540 39547 39477 0 -1 4194368 16955 0 0 0 9668 10 0 0 20 0 2 0 44865961 380293120 80202 18446744073709551615 4198400 6788177 140721450324736 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 20541440 140721450330458 140721450330584 140721450330584 140721450336186 0
Current children cumulated CPU time: 317.86 s
Current children cumulated vsize: 371380 KiB
Current children cumulated memory: 320808 KiB

[startup+282.3 s]
/proc/loadavg: 6.75 5.01 3.96 8/269 39579
/proc/meminfo: memFree=129401928/131249996 swapFree=33010684/33010684
[pid=39547] ppid=39540 vsize=371380 memory=320808 CPUtime=392.57 cores=4,6
/proc/39547/stat : 39547 (pb_competition_) R 39540 39547 39477 0 -1 4194304 641911 0 0 0 39190 67 0 0 20 0 2 0 44865960 380293120 80202 18446744073709551615 4198400 6788177 140721450324736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 20541440 140721450330458 140721450330584 140721450330584 140721450336186 0
/proc/39547/statm: 92845 80202 672 633 0 81661 0
[pid=39547/tid=39550] ppid=39540 vsize=371380 memory=14572 CPUtime=111.74 cores=4,6
/proc/39547/task/39550/stat : 39550 (pb_competition_) S 39540 39547 39477 0 -1 4194368 17930 0 0 0 11162 12 0 0 20 0 2 0 44865961 380293120 80202 18446744073709551615 4198400 6788177 140721450324736 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 20541440 140721450330458 140721450330584 140721450330584 140721450336186 0
Current children cumulated CPU time: 392.57 s
Current children cumulated vsize: 371380 KiB
Current children cumulated memory: 320808 KiB

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

/proc/meminfo: memFree=129146312/131249996 swapFree=33010684/33010684
[pid=39547] ppid=39540 vsize=371380 memory=322216 CPUtime=2846.04 cores=4,6
/proc/39547/stat : 39547 (pb_competition_) R 39540 39547 39477 0 -1 4194304 694515 0 0 0 284429 175 0 0 20 0 2 0 44865960 380293120 80554 18446744073709551615 4198400 6788177 140721450324736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 20541440 140721450330458 140721450330584 140721450330584 140721450336186 0
/proc/39547/statm: 92845 80554 672 633 0 81661 0
[pid=39547/tid=39550] ppid=39540 vsize=371380 memory=322216 CPUtime=654.69 cores=4,6
/proc/39547/task/39550/stat : 39550 (pb_competition_) R 39540 39547 39477 0 -1 4194368 19745 0 0 0 65397 72 0 0 20 0 2 0 44865961 380293120 80554 18446744073709551615 4198400 6788177 140721450324736 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 20541440 140721450330458 140721450330584 140721450330584 140721450336186 0
Current children cumulated CPU time: 2846.04 s
Current children cumulated vsize: 371380 KiB
Current children cumulated memory: 322216 KiB

[startup+2262.3 s]
/proc/loadavg: 5.13 5.53 5.78 5/269 39766
/proc/meminfo: memFree=129143648/131249996 swapFree=33010684/33010684
[pid=39547] ppid=39540 vsize=371380 memory=322216 CPUtime=2926.85 cores=4,6
/proc/39547/stat : 39547 (pb_competition_) R 39540 39547 39477 0 -1 4194304 695419 0 0 0 292505 180 0 0 20 0 2 0 44865960 380293120 80554 18446744073709551615 4198400 6788177 140721450324736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 20541440 140721450330458 140721450330584 140721450330584 140721450336186 0
/proc/39547/statm: 92845 80554 672 633 0 81661 0
[pid=39547/tid=39550] ppid=39540 vsize=371380 memory=14572 CPUtime=675.87 cores=4,6
/proc/39547/task/39550/stat : 39550 (pb_competition_) R 39540 39547 39477 0 -1 4194368 19748 0 0 0 67512 75 0 0 20 0 2 0 44865961 380293120 80554 18446744073709551615 4198400 6788177 140721450324736 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 20541440 140721450330458 140721450330584 140721450330584 140721450336186 0
Current children cumulated CPU time: 2926.85 s
Current children cumulated vsize: 371380 KiB
Current children cumulated memory: 322216 KiB

[startup+2322.3 s]
/proc/loadavg: 5.20 5.48 5.75 5/269 39769
/proc/meminfo: memFree=129142848/131249996 swapFree=33010684/33010684
[pid=39547] ppid=39540 vsize=371380 memory=322216 CPUtime=3005.68 cores=4,6
/proc/39547/stat : 39547 (pb_competition_) R 39540 39547 39477 0 -1 4194304 696322 0 0 0 300384 184 0 0 20 0 2 0 44865960 380293120 80554 18446744073709551615 4198400 6788177 140721450324736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 20541440 140721450330458 140721450330584 140721450330584 140721450336186 0
/proc/39547/statm: 92845 80554 672 633 0 81661 0
[pid=39547/tid=39550] ppid=39540 vsize=371380 memory=322216 CPUtime=695.03 cores=4,6
/proc/39547/task/39550/stat : 39550 (pb_competition_) R 39540 39547 39477 0 -1 4194368 19753 0 0 0 69426 77 0 0 20 0 2 0 44865961 380293120 80554 18446744073709551615 4198400 6788177 140721450324736 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 20541440 140721450330458 140721450330584 140721450330584 140721450336186 0
Current children cumulated CPU time: 3005.68 s
Current children cumulated vsize: 371380 KiB
Current children cumulated memory: 322216 KiB

[startup+2382.3 s]
/proc/loadavg: 5.19 5.42 5.71 6/269 39771
/proc/meminfo: memFree=129143000/131249996 swapFree=33010684/33010684
[pid=39547] ppid=39540 vsize=371380 memory=322216 CPUtime=3084.64 cores=4,6
/proc/39547/stat : 39547 (pb_competition_) R 39540 39547 39477 0 -1 4194304 697227 0 0 0 308276 188 0 0 20 0 2 0 44865960 380293120 80554 18446744073709551615 4198400 6788177 140721450324736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 20541440 140721450330458 140721450330584 140721450330584 140721450336186 0
/proc/39547/statm: 92845 80554 672 633 0 81661 0
[pid=39547/tid=39550] ppid=39540 vsize=371380 memory=322216 CPUtime=714.34 cores=4,6
/proc/39547/task/39550/stat : 39550 (pb_competition_) S 39540 39547 39477 0 -1 4194368 19769 0 0 0 71355 79 0 0 20 0 2 0 44865961 380293120 80554 18446744073709551615 4198400 6788177 140721450324736 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 20541440 140721450330458 140721450330584 140721450330584 140721450336186 0
Current children cumulated CPU time: 3084.64 s
Current children cumulated vsize: 371380 KiB
Current children cumulated memory: 322216 KiB

[startup+2442.3 s]
/proc/loadavg: 5.32 5.42 5.69 6/269 39773
/proc/meminfo: memFree=129143216/131249996 swapFree=33010684/33010684
[pid=39547] ppid=39540 vsize=371380 memory=322216 CPUtime=3165.23 cores=4,6
/proc/39547/stat : 39547 (pb_competition_) R 39540 39547 39477 0 -1 4194304 698131 0 0 0 316332 191 0 0 20 0 2 0 44865960 380293120 80554 18446744073709551615 4198400 6788177 140721450324736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 20541440 140721450330458 140721450330584 140721450330584 140721450336186 0
/proc/39547/statm: 92845 80554 672 633 0 81661 0
[pid=39547/tid=39550] ppid=39540 vsize=371380 memory=322216 CPUtime=735.26 cores=4,6
/proc/39547/task/39550/stat : 39550 (pb_competition_) S 39540 39547 39477 0 -1 4194368 19773 0 0 0 73446 80 0 0 20 0 2 0 44865961 380293120 80554 18446744073709551615 4198400 6788177 140721450324736 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 20541440 140721450330458 140721450330584 140721450330584 140721450336186 0
Current children cumulated CPU time: 3165.23 s
Current children cumulated vsize: 371380 KiB
Current children cumulated memory: 322216 KiB

[startup+2502.3 s]
/proc/loadavg: 5.42 5.42 5.67 6/269 39775
/proc/meminfo: memFree=129144084/131249996 swapFree=33010684/33010684
[pid=39547] ppid=39540 vsize=371380 memory=322216 CPUtime=3246.19 cores=4,6
/proc/39547/stat : 39547 (pb_competition_) R 39540 39547 39477 0 -1 4194304 698655 0 0 0 324425 194 0 0 20 0 2 0 44865960 380293120 80554 18446744073709551615 4198400 6788177 140721450324736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 20541440 140721450330458 140721450330584 140721450330584 140721450336186 0
/proc/39547/statm: 92845 80554 672 633 0 81661 0
[pid=39547/tid=39550] ppid=39540 vsize=371380 memory=322216 CPUtime=756.6 cores=4,6
/proc/39547/task/39550/stat : 39550 (pb_competition_) S 39540 39547 39477 0 -1 4194368 19892 0 0 0 75578 82 0 0 20 0 2 0 44865961 380293120 80554 18446744073709551615 4198400 6788177 140721450324736 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 20541440 140721450330458 140721450330584 140721450330584 140721450336186 0
Current children cumulated CPU time: 3246.19 s
Current children cumulated vsize: 371380 KiB
Current children cumulated memory: 322216 KiB

[startup+2562.3 s]
/proc/loadavg: 5.86 5.56 5.71 5/269 39778
/proc/meminfo: memFree=129142780/131249996 swapFree=33010684/33010684
[pid=39547] ppid=39540 vsize=371380 memory=322216 CPUtime=3326.11 cores=4,6
/proc/39547/stat : 39547 (pb_competition_) R 39540 39547 39477 0 -1 4194304 699038 0 0 0 332412 199 0 0 20 0 2 0 44865960 380293120 80554 18446744073709551615 4198400 6788177 140721450324736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 20541440 140721450330458 140721450330584 140721450330584 140721450336186 0
/proc/39547/statm: 92845 80554 672 633 0 81661 0
[pid=39547/tid=39550] ppid=39540 vsize=371380 memory=322216 CPUtime=776.83 cores=4,6
/proc/39547/task/39550/stat : 39550 (pb_competition_) S 39540 39547 39477 0 -1 4194368 19895 0 0 0 77599 84 0 0 20 0 2 0 44865961 380293120 80554 18446744073709551615 4198400 6788177 140721450324736 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 20541440 140721450330458 140721450330584 140721450330584 140721450336186 0
Current children cumulated CPU time: 3326.11 s
Current children cumulated vsize: 371380 KiB
Current children cumulated memory: 322216 KiB

[startup+2622.3 s]
/proc/loadavg: 5.40 5.48 5.67 6/268 39782
/proc/meminfo: memFree=129143120/131249996 swapFree=33010684/33010684
[pid=39547] ppid=39540 vsize=371380 memory=322216 CPUtime=3408.15 cores=4,6
/proc/39547/stat : 39547 (pb_competition_) R 39540 39547 39477 0 -1 4194304 699942 0 0 0 340613 202 0 0 20 0 2 0 44865960 380293120 80554 18446744073709551615 4198400 6788177 140721450324736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 20541440 140721450330458 140721450330584 140721450330584 140721450336186 0
/proc/39547/statm: 92845 80554 672 633 0 81661 0
[pid=39547/tid=39550] ppid=39540 vsize=371380 memory=322216 CPUtime=799.25 cores=4,6
/proc/39547/task/39550/stat : 39550 (pb_competition_) R 39540 39547 39477 0 -1 4194368 19899 0 0 0 79839 86 0 0 20 0 2 0 44865961 380293120 80554 18446744073709551615 4198400 6788177 140721450324736 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 20541440 140721450330458 140721450330584 140721450330584 140721450336186 0
Current children cumulated CPU time: 3408.15 s
Current children cumulated vsize: 371380 KiB
Current children cumulated memory: 322216 KiB

[startup+2682.3 s]
/proc/loadavg: 5.26 5.42 5.64 9/268 39789
/proc/meminfo: memFree=129142504/131249996 swapFree=33010684/33010684
[pid=39547] ppid=39540 vsize=371380 memory=322216 CPUtime=3487.89 cores=4,6
/proc/39547/stat : 39547 (pb_competition_) R 39540 39547 39477 0 -1 4194304 700845 0 0 0 348583 206 0 0 20 0 2 0 44865960 380293120 80554 18446744073709551615 4198400 6788177 140721450324736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 20541440 140721450330458 140721450330584 140721450330584 140721450336186 0
/proc/39547/statm: 92845 80554 672 633 0 81661 0
[pid=39547/tid=39550] ppid=39540 vsize=371380 memory=322216 CPUtime=819.34 cores=4,6
/proc/39547/task/39550/stat : 39550 (pb_competition_) S 39540 39547 39477 0 -1 4194368 19993 0 0 0 81846 88 0 0 20 0 2 0 44865961 380293120 80554 18446744073709551615 4198400 6788177 140721450324736 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 20541440 140721450330458 140721450330584 140721450330584 140721450336186 0
Current children cumulated CPU time: 3487.89 s
Current children cumulated vsize: 371380 KiB
Current children cumulated memory: 322216 KiB

[startup+2742.3 s]
/proc/loadavg: 5.15 5.37 5.61 5/268 39791
/proc/meminfo: memFree=129142624/131249996 swapFree=33010684/33010684
[pid=39547] ppid=39540 vsize=371380 memory=322216 CPUtime=3570.4 cores=4,6
/proc/39547/stat : 39547 (pb_competition_) R 39540 39547 39477 0 -1 4194304 701750 0 0 0 356829 211 0 0 20 0 2 0 44865960 380293120 80554 18446744073709551615 4198400 6788177 140721450324736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 20541440 140721450330458 140721450330584 140721450330584 140721450336186 0
/proc/39547/statm: 92845 80554 672 633 0 81661 0
[pid=39547/tid=39550] ppid=39540 vsize=371380 memory=322216 CPUtime=842.25 cores=4,6
/proc/39547/task/39550/stat : 39550 (pb_competition_) R 39540 39547 39477 0 -1 4194368 20005 0 0 0 84134 91 0 0 20 0 2 0 44865961 380293120 80554 18446744073709551615 4198400 6788177 140721450324736 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 20541440 140721450330458 140721450330584 140721450330584 140721450336186 0
Current children cumulated CPU time: 3570.4 s
Current children cumulated vsize: 371380 KiB
Current children cumulated memory: 322216 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2763.7 s]
/proc/loadavg: 5.04 5.33 5.59 6/268 39791
/proc/meminfo: memFree=129142480/131249996 swapFree=33010684/33010684
[pid=39547] ppid=39540 vsize=371380 memory=322216 CPUtime=3600.02 cores=4,6
/proc/39547/stat : 39547 (pb_competition_) R 39540 39547 39477 0 -1 4194304 701750 0 0 0 359789 213 0 0 20 0 2 0 44865960 380293120 80554 18446744073709551615 4198400 6788177 140721450324736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 20541440 140721450330458 140721450330584 140721450330584 140721450336186 0
/proc/39547/statm: 92845 80554 672 633 0 81661 0
[pid=39547/tid=39550] ppid=39540 vsize=371380 memory=322216 CPUtime=850.59 cores=4,6
/proc/39547/task/39550/stat : 39550 (pb_competition_) R 39540 39547 39477 0 -1 4194368 20005 0 0 0 84968 91 0 0 20 0 2 0 44865961 380293120 80554 18446744073709551615 4198400 6788177 140721450324736 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 20541440 140721450330458 140721450330584 140721450330584 140721450336186 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 371380 KiB
Current children cumulated memory: 322216 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.04 s, system=2.14362 s

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

[startup+2763.8 s]
/proc/loadavg: 5.04 5.33 5.59 6/268 39791
/proc/meminfo: memFree=129142480/131249996 swapFree=33010684/33010684
[pid=39547] ppid=39540 vsize=313272 memory=264176 CPUtime=3600.12 cores=4,6
/proc/39547/stat : 39547 (pb_competition_) R 39540 39547 39477 0 -1 4194304 715416 0 0 0 359799 213 0 0 20 0 2 0 44865960 320790528 66044 18446744073709551615 4198400 6788177 140721450324736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 20541440 140721450330458 140721450330584 140721450330584 140721450336186 0
/proc/39547/statm: 78318 66044 672 633 0 67134 0
[pid=39547/tid=39550] ppid=39540 vsize=313272 memory=5632 CPUtime=850.59 cores=4,6
/proc/39547/task/39550/stat : 39550 (pb_competition_) S 39540 39547 39477 0 -1 4194368 20005 0 0 0 84968 91 0 0 20 0 2 0 44865961 320790528 66044 18446744073709551615 4198400 6788177 140721450324736 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 20541440 140721450330458 140721450330584 140721450330584 140721450336186 0
Current children cumulated CPU time: 3600.12 s
Current children cumulated vsize: 313272 KiB
Current children cumulated memory: 264176 KiB

Child status: 0

Real time (s): 2763.85
CPU time (s): 3600.18
CPU user time (s): 3598.04
CPU system time (s): 2.14362
CPU usage (%): 130.259
Max. virtual memory (cumulated for all children) (KiB): 371380
Max. memory (cumulated for all children) (KiB): 322216

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.04
system time used= 2.14362
maximum resident set size= 322216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 719745
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= 62170
involuntary context switches= 45881


# summary of solver processes directly reported to runsolver:
#   pid: 39547
#   total CPU time (s): 3600.18
#   total CPU user time (s): 3598.04
#   total CPU system time (s): 2.14362

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.58574 second user time and 12.985 second system time

The end