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: 63837 MiB (63033 MiB free)
  memory of node 1: 64465 MiB (63597 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4526692-1751636803/watcher-4526692-1751636803 -o /tmp/evaluation-result-4526692-1751636803/solver-4526692-1751636803 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751636803-89757 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 1504432086 HOME/instance-4526692-1751636803.wbo 

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


[startup+0.100108 s]*
/proc/loadavg: 1.35 1.18 1.81 7/247 89807
/proc/meminfo: memFree=129610216/131382120 swapFree=33010160/33010684
[pid=89804] ppid=89801 vsize=36112 memory=30704 CPUtime=0.1 cores=4,6
/proc/89804/stat : 89804 (pb_competition_) R 89801 89804 89746 0 -1 4194304 6673 0 0 0 8 2 0 0 20 0 1 0 79359410 36978688 7676 18446744073709551615 4198400 6788177 140733614221808 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 7336896 7391280 34291712 140733614225751 140733614225878 140733614225878 140733614231482 0
/proc/89804/statm: 9028 7676 576 633 0 8244 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 36112 KiB
Current children cumulated memory: 30704 KiB

[startup+0.213901 s]*
/proc/loadavg: 1.35 1.18 1.81 8/251 89813
/proc/meminfo: memFree=129529732/131382120 swapFree=33010160/33010684
[pid=89804] ppid=89801 vsize=161524 memory=85868 CPUtime=0.25 cores=4,6
/proc/89804/stat : 89804 (pb_competition_) R 89801 89804 89746 0 -1 4194304 10772 0 0 0 19 6 0 0 20 0 2 0 79359410 165400576 21467 18446744073709551615 4198400 6788177 140733614221808 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 7336896 7391280 34291712 140733614225751 140733614225878 140733614225878 140733614231482 0
/proc/89804/statm: 40381 21467 576 633 0 23563 0
[pid=89804/tid=89812] ppid=89801 vsize=161524 memory=3472328300254212617 CPUtime=0.02 cores=4,6
/proc/89804/task/89812/stat : 89812 (pb_competition_) R 89801 89804 89746 0 -1 4194368 352 0 0 0 2 0 0 0 20 0 2 0 79359429 165400576 21467 18446744073709551615 4198400 6788177 140733614221808 0 0 0 0 0 0 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 34291712 140733614225751 140733614225878 140733614225878 140733614231482 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 161524 KiB
Current children cumulated memory: 85868 KiB

[startup+0.312714 s]*
/proc/loadavg: 1.35 1.18 1.81 8/253 89818
/proc/meminfo: memFree=129473840/131382120 swapFree=33010160/33010684
[pid=89804] ppid=89801 vsize=167992 memory=96620 CPUtime=0.44 cores=4,6
/proc/89804/stat : 89804 (pb_competition_) R 89801 89804 89746 0 -1 4194304 13466 0 0 0 36 8 0 0 20 0 2 0 79359410 172023808 24155 18446744073709551615 4198400 6788177 140733614221808 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 7336896 7391280 34291712 140733614225751 140733614225878 140733614225878 140733614231482 0
/proc/89804/statm: 41998 24155 576 633 0 26237 0
[pid=89804/tid=89812] ppid=89801 vsize=168124 memory=7970669337762544242 CPUtime=0.1 cores=4,6
/proc/89804/task/89812/stat : 89812 (pb_competition_) R 89801 89804 89746 0 -1 4194368 1409 0 0 0 9 1 0 0 20 0 2 0 79359429 172158976 24155 18446744073709551615 4198400 6788177 140733614221808 0 0 0 0 0 0 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 34291712 140733614225751 140733614225878 140733614225878 140733614231482 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 167992 KiB
Current children cumulated memory: 96620 KiB

[startup+0.700288 s]
/proc/loadavg: 1.35 1.18 1.81 8/253 89818
/proc/meminfo: memFree=129325276/131382120 swapFree=33010160/33010684
[pid=89804] ppid=89801 vsize=194128 memory=140780 CPUtime=1.15 cores=4,6
/proc/89804/stat : 89804 (pb_competition_) R 89801 89804 89746 0 -1 4194304 24514 0 0 0 101 14 0 0 20 0 2 0 79359410 198787072 35195 18446744073709551615 4198400 6788177 140733614221808 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 7336896 7391280 34291712 140733614225751 140733614225878 140733614225878 140733614231482 0
/proc/89804/statm: 48532 35195 576 633 0 37302 0
[pid=89804/tid=89812] ppid=89801 vsize=194128 memory=18432 CPUtime=0.44 cores=4,6
/proc/89804/task/89812/stat : 89812 (pb_competition_) R 89801 89804 89746 0 -1 4194368 5940 0 0 0 39 5 0 0 20 0 2 0 79359429 198787072 35195 18446744073709551615 4198400 6788177 140733614221808 0 0 0 0 0 0 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 34291712 140733614225751 140733614225878 140733614225878 140733614231482 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 194128 KiB
Current children cumulated memory: 140780 KiB

[startup+1.50028 s]
/proc/loadavg: 1.35 1.18 1.81 6/254 89819
/proc/meminfo: memFree=128912104/131382120 swapFree=33010160/33010684
[pid=89804] ppid=89801 vsize=365572 memory=347840 CPUtime=2.18 cores=4,6
/proc/89804/stat : 89804 (pb_competition_) R 89801 89804 89746 0 -1 4194304 79977 0 0 0 187 31 0 0 20 0 2 0 79359410 374345728 86960 18446744073709551615 4198400 6788177 140733614221808 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 7336896 7391280 34291712 140733614225751 140733614225878 140733614225878 140733614231482 0
/proc/89804/statm: 91393 86960 608 633 0 88524 0
[pid=89804/tid=89812] ppid=89801 vsize=365572 memory=18432 CPUtime=0.92 cores=4,6
/proc/89804/task/89812/stat : 89812 (pb_competition_) S 89801 89804 89746 0 -1 4194368 14301 0 0 0 80 12 0 0 20 0 2 0 79359429 374345728 86960 18446744073709551615 4198400 6788177 140733614221808 0 0 0 0 0 0 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 34291712 140733614225751 140733614225878 140733614225878 140733614231482 0
Current children cumulated CPU time: 2.18 s
Current children cumulated vsize: 365572 KiB
Current children cumulated memory: 347840 KiB

[startup+3.11278 s]
/proc/loadavg: 1.35 1.18 1.81 6/254 89819
/proc/meminfo: memFree=126876644/131382120 swapFree=33010160/33010684
[pid=89804] ppid=89801 vsize=990364 memory=933504 CPUtime=4.43 cores=4,6
/proc/89804/stat : 89804 (pb_competition_) S 89801 89804 89746 0 -1 4194304 184889 0 0 0 383 60 0 0 20 0 2 0 79359410 1014132736 233376 18446744073709551615 4198400 6788177 140733614221808 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 7336896 7391280 34291712 140733614225751 140733614225878 140733614225878 140733614231482 0
/proc/89804/statm: 247591 233376 608 633 0 234900 0
[pid=89804/tid=89812] ppid=89801 vsize=990364 memory=875776 CPUtime=1.67 cores=4,6
/proc/89804/task/89812/stat : 89812 (pb_competition_) R 89801 89804 89746 0 -1 4194368 20891 0 0 0 149 18 0 0 20 0 2 0 79359429 1014132736 233376 18446744073709551615 4198400 6788177 140733614221808 0 0 0 0 0 0 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 34291712 140733614225751 140733614225878 140733614225878 140733614231482 0
Current children cumulated CPU time: 4.43 s
Current children cumulated vsize: 990364 KiB
Current children cumulated memory: 933504 KiB

[startup+6.30035 s]
/proc/loadavg: 1.65 1.24 1.83 5/254 89819
/proc/meminfo: memFree=125086768/131382120 swapFree=33010160/33010684
[pid=89804] ppid=89801 vsize=1157064 memory=1129284 CPUtime=7.61 cores=4,6
/proc/89804/stat : 89804 (pb_competition_) R 89801 89804 89746 0 -1 4194304 247328 0 0 0 687 74 0 0 20 0 2 0 79359410 1184833536 282321 18446744073709551615 4198400 6788177 140733614221808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 34291712 140733614225751 140733614225878 140733614225878 140733614231482 0
/proc/89804/statm: 289266 282321 672 633 0 286321 0
[pid=89804/tid=89812] ppid=89801 vsize=1157064 memory=7970669337762544242 CPUtime=2.36 cores=4,6
/proc/89804/task/89812/stat : 89812 (pb_competition_) S 89801 89804 89746 0 -1 4194368 30656 0 0 0 215 21 0 0 20 0 2 0 79359429 1184833536 282321 18446744073709551615 4198400 6788177 140733614221808 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 34291712 140733614225751 140733614225878 140733614225878 140733614231482 0
Current children cumulated CPU time: 7.61 s
Current children cumulated vsize: 1157064 KiB
Current children cumulated memory: 1129284 KiB

[startup+12.7004 s]
/proc/loadavg: 1.83 1.29 1.84 5/254 89819
/proc/meminfo: memFree=122354996/131382120 swapFree=33010160/33010684
[pid=89804] ppid=89801 vsize=2162464 memory=2144660 CPUtime=13.99 cores=4,6
/proc/89804/stat : 89804 (pb_competition_) R 89801 89804 89746 0 -1 4194304 545801 0 0 0 1280 119 0 0 20 0 2 0 79359410 2214363136 536165 18446744073709551615 4198400 6788177 140733614221808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 34291712 140733614225751 140733614225878 140733614225878 140733614231482 0
/proc/89804/statm: 540616 536165 672 633 0 537671 0
[pid=89804/tid=89812] ppid=89801 vsize=2162464 memory=2144660 CPUtime=2.36 cores=4,6
/proc/89804/task/89812/stat : 89812 (pb_competition_) S 89801 89804 89746 0 -1 4194368 30656 0 0 0 215 21 0 0 20 0 2 0 79359429 2214363136 536165 18446744073709551615 4198400 6788177 140733614221808 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 34291712 140733614225751 140733614225878 140733614225878 140733614231482 0
Current children cumulated CPU time: 13.99 s
Current children cumulated vsize: 2162464 KiB
Current children cumulated memory: 2144660 KiB

[startup+25.5004 s]
/proc/loadavg: 2.39 1.44 1.88 5/254 89819
/proc/meminfo: memFree=119750988/131382120 swapFree=33010160/33010684
[pid=89804] ppid=89801 vsize=2703320 memory=2685608 CPUtime=27.42 cores=4,6
/proc/89804/stat : 89804 (pb_competition_) R 89801 89804 89746 0 -1 4194304 724950 0 0 0 2600 142 0 0 20 0 2 0 79359410 2768199680 671402 18446744073709551615 4198400 6788177 140733614221808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 34291712 140733614225751 140733614225878 140733614225878 140733614231482 0
/proc/89804/statm: 675830 671402 672 633 0 672885 0
[pid=89804/tid=89812] ppid=89801 vsize=2703320 memory=16248 CPUtime=3.33 cores=4,6
/proc/89804/task/89812/stat : 89812 (pb_competition_) S 89801 89804 89746 0 -1 4194368 32878 0 0 0 312 21 0 0 20 0 2 0 79359429 2768199680 671402 18446744073709551615 4198400 6788177 140733614221808 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 34291712 140733614225751 140733614225878 140733614225878 140733614231482 0
Current children cumulated CPU time: 27.42 s
Current children cumulated vsize: 2703320 KiB
Current children cumulated memory: 2685608 KiB

[startup+51.1136 s]
/proc/loadavg: 3.40 1.74 1.97 5/254 89819
/proc/meminfo: memFree=118607512/131382120 swapFree=33010160/33010684
[pid=89804] ppid=89801 vsize=2703320 memory=2685608 CPUtime=54.5 cores=4,6
/proc/89804/stat : 89804 (pb_competition_) R 89801 89804 89746 0 -1 4194304 915901 0 0 0 5296 154 0 0 20 0 2 0 79359410 2768199680 671402 18446744073709551615 4198400 6788177 140733614221808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 34291712 140733614225751 140733614225878 140733614225878 140733614231482 0
/proc/89804/statm: 675830 671402 672 633 0 672885 0
[pid=89804/tid=89812] ppid=89801 vsize=2703320 memory=2685608 CPUtime=5.39 cores=4,6
/proc/89804/task/89812/stat : 89812 (pb_competition_) S 89801 89804 89746 0 -1 4194368 36999 0 0 0 517 22 0 0 20 0 2 0 79359429 2768199680 671402 18446744073709551615 4198400 6788177 140733614221808 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 34291712 140733614225751 140733614225878 140733614225878 140733614231482 0
Current children cumulated CPU time: 54.5 s
Current children cumulated vsize: 2703320 KiB
Current children cumulated memory: 2685608 KiB

[startup+102.3 s]
/proc/loadavg: 4.33 2.26 2.14 5/254 89824
/proc/meminfo: memFree=118424972/131382120 swapFree=33010160/33010684
[pid=89804] ppid=89801 vsize=2824920 memory=2807224 CPUtime=119.8 cores=4,6
/proc/89804/stat : 89804 (pb_competition_) R 89801 89804 89746 0 -1 4194304 1199442 0 0 0 11802 178 0 0 20 0 2 0 79359410 2892718080 701806 18446744073709551615 4198400 6788177 140733614221808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 34291712 140733614225751 140733614225878 140733614225878 140733614231482 0
/proc/89804/statm: 706230 701806 672 633 0 703285 0
[pid=89804/tid=89812] ppid=89801 vsize=2824920 memory=2807224 CPUtime=19.96 cores=4,6
/proc/89804/task/89812/stat : 89812 (pb_competition_) S 89801 89804 89746 0 -1 4194368 39738 0 0 0 1970 26 0 0 20 0 2 0 79359429 2892718080 701806 18446744073709551615 4198400 6788177 140733614221808 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 34291712 140733614225751 140733614225878 140733614225878 140733614231482 0
Current children cumulated CPU time: 119.8 s
Current children cumulated vsize: 2824920 KiB
Current children cumulated memory: 2807224 KiB

[startup+162.3 s]
/proc/loadavg: 5.11 2.87 2.36 6/255 89827
/proc/meminfo: memFree=118391736/131382120 swapFree=33010160/33010684
[pid=89804] ppid=89801 vsize=2824920 memory=2807224 CPUtime=206.64 cores=4,6
/proc/89804/stat : 89804 (pb_competition_) R 89801 89804 89746 0 -1 4194304 1411775 0 0 0 20462 202 0 0 20 0 2 0 79359410 2892718080 701806 18446744073709551615 4198400 6788177 140733614221808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 34291712 140733614225751 140733614225878 140733614225878 140733614231482 0
/proc/89804/statm: 706230 701806 672 633 0 703285 0
[pid=89804/tid=89812] ppid=89801 vsize=2824920 memory=2807224 CPUtime=47.44 cores=4,6
/proc/89804/task/89812/stat : 89812 (pb_competition_) R 89801 89804 89746 0 -1 4194368 44846 0 0 0 4709 35 0 0 20 0 2 0 79359429 2892718080 701806 18446744073709551615 4198400 6788177 140733614221808 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 34291712 140733614225751 140733614225878 140733614225878 140733614231482 0
Current children cumulated CPU time: 206.64 s
Current children cumulated vsize: 2824920 KiB
Current children cumulated memory: 2807224 KiB

[startup+222.3 s]
/proc/loadavg: 5.15 3.29 2.54 8/255 89829
/proc/meminfo: memFree=118393456/131382120 swapFree=33010160/33010684
[pid=89804] ppid=89801 vsize=2825316 memory=2807608 CPUtime=284.09 cores=4,6
/proc/89804/stat : 89804 (pb_competition_) R 89801 89804 89746 0 -1 4194304 1686431 0 0 0 28184 225 0 0 20 0 2 0 79359410 2893123584 701902 18446744073709551615 4198400 6788177 140733614221808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 34291712 140733614225751 140733614225878 140733614225878 140733614231482 0
/proc/89804/statm: 706329 701902 672 633 0 703384 0
[pid=89804/tid=89812] ppid=89801 vsize=2825316 memory=2807224 CPUtime=65.48 cores=4,6
/proc/89804/task/89812/stat : 89812 (pb_competition_) S 89801 89804 89746 0 -1 4194368 49660 0 0 0 6506 42 0 0 20 0 2 0 79359429 2893123584 701902 18446744073709551615 4198400 6788177 140733614221808 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 34291712 140733614225751 140733614225878 140733614225878 140733614231482 0
Current children cumulated CPU time: 284.09 s
Current children cumulated vsize: 2825316 KiB
Current children cumulated memory: 2807608 KiB

[startup+282.3 s]
/proc/loadavg: 5.31 3.68 2.72 6/256 89836
/proc/meminfo: memFree=118104796/131382120 swapFree=33010160/33010684
[pid=89804] ppid=89801 vsize=2825448 memory=2807864 CPUtime=344.33 cores=4,6
/proc/89804/stat : 89804 (pb_competition_) R 89801 89804 89746 0 -1 4194304 1893675 0 0 0 34196 237 0 0 20 0 2 0 79359410 2893258752 701966 18446744073709551615 4198400 6788177 140733614221808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 34291712 140733614225751 140733614225878 140733614225878 140733614231482 0
/proc/89804/statm: 706362 701966 672 633 0 703417 0
[pid=89804/tid=89812] ppid=89801 vsize=2825448 memory=2807864 CPUtime=66.01 cores=4,6
/proc/89804/task/89812/stat : 89812 (pb_competition_) S 89801 89804 89746 0 -1 4194368 51900 0 0 0 6558 43 0 0 20 0 2 0 79359429 2893258752 701966 18446744073709551615 4198400 6788177 140733614221808 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 34291712 140733614225751 140733614225878 140733614225878 140733614231482 0
Current children cumulated CPU time: 344.33 s
Current children cumulated vsize: 2825448 KiB
Current children cumulated memory: 2807864 KiB

[startup+342.3 s]

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

/proc/meminfo: memFree=119621664/131382120 swapFree=33010160/33010684
[pid=89804] ppid=89801 vsize=2826372 memory=2808760 CPUtime=3228.04 cores=4,6
/proc/89804/stat : 89804 (pb_competition_) R 89801 89804 89746 0 -1 4194304 9328399 0 0 0 322009 795 0 0 20 0 2 0 79359410 2894204928 702190 18446744073709551615 4198400 6788177 140733614221808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 34291712 140733614225751 140733614225878 140733614225878 140733614231482 0
/proc/89804/statm: 706593 702190 672 633 0 703648 0
[pid=89804/tid=89812] ppid=89801 vsize=2826372 memory=2808760 CPUtime=446.05 cores=4,6
/proc/89804/task/89812/stat : 89812 (pb_competition_) S 89801 89804 89746 0 -1 4194368 131658 0 0 0 44454 151 0 0 20 0 2 0 79359429 2894204928 702190 18446744073709551615 4198400 6788177 140733614221808 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 34291712 140733614225751 140733614225878 140733614225878 140733614231482 0
Current children cumulated CPU time: 3228.04 s
Current children cumulated vsize: 2826372 KiB
Current children cumulated memory: 2808760 KiB

[startup+2862.3 s]
/proc/loadavg: 3.24 4.00 4.34 4/246 89992
/proc/meminfo: memFree=119595352/131382120 swapFree=33010160/33010684
[pid=89804] ppid=89801 vsize=2826372 memory=2808760 CPUtime=3287.81 cores=4,6
/proc/89804/stat : 89804 (pb_competition_) R 89801 89804 89746 0 -1 4194304 9394659 0 0 0 327982 799 0 0 20 0 2 0 79359410 2894204928 702190 18446744073709551615 4198400 6788177 140733614221808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 34291712 140733614225751 140733614225878 140733614225878 140733614231482 0
/proc/89804/statm: 706593 702190 672 633 0 703648 0
[pid=89804/tid=89812] ppid=89801 vsize=2826372 memory=2808760 CPUtime=446.05 cores=4,6
/proc/89804/task/89812/stat : 89812 (pb_competition_) S 89801 89804 89746 0 -1 4194368 131658 0 0 0 44454 151 0 0 20 0 2 0 79359429 2894204928 702190 18446744073709551615 4198400 6788177 140733614221808 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 34291712 140733614225751 140733614225878 140733614225878 140733614231482 0
Current children cumulated CPU time: 3287.81 s
Current children cumulated vsize: 2826372 KiB
Current children cumulated memory: 2808760 KiB

[startup+2922.3 s]
/proc/loadavg: 3.15 3.84 4.26 4/246 89994
/proc/meminfo: memFree=119607912/131382120 swapFree=33010160/33010684
[pid=89804] ppid=89801 vsize=2826372 memory=2808760 CPUtime=3347.57 cores=4,6
/proc/89804/stat : 89804 (pb_competition_) R 89801 89804 89746 0 -1 4194304 9450010 0 0 0 333955 802 0 0 20 0 2 0 79359410 2894204928 702190 18446744073709551615 4198400 6788177 140733614221808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 34291712 140733614225751 140733614225878 140733614225878 140733614231482 0
/proc/89804/statm: 706593 702190 672 633 0 703648 0
[pid=89804/tid=89812] ppid=89801 vsize=2826372 memory=2808760 CPUtime=446.05 cores=4,6
/proc/89804/task/89812/stat : 89812 (pb_competition_) S 89801 89804 89746 0 -1 4194368 131658 0 0 0 44454 151 0 0 20 0 2 0 79359429 2894204928 702190 18446744073709551615 4198400 6788177 140733614221808 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 34291712 140733614225751 140733614225878 140733614225878 140733614231482 0
Current children cumulated CPU time: 3347.57 s
Current children cumulated vsize: 2826372 KiB
Current children cumulated memory: 2808760 KiB

[startup+2982.3 s]
/proc/loadavg: 3.63 3.84 4.23 4/246 89996
/proc/meminfo: memFree=119597848/131382120 swapFree=33010160/33010684
[pid=89804] ppid=89801 vsize=2826372 memory=2808760 CPUtime=3407.34 cores=4,6
/proc/89804/stat : 89804 (pb_competition_) R 89801 89804 89746 0 -1 4194304 9518310 0 0 0 339926 808 0 0 20 0 2 0 79359410 2894204928 702190 18446744073709551615 4198400 6788177 140733614221808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 34291712 140733614225751 140733614225878 140733614225878 140733614231482 0
/proc/89804/statm: 706593 702190 672 633 0 703648 0
[pid=89804/tid=89812] ppid=89801 vsize=2826372 memory=2808760 CPUtime=446.05 cores=4,6
/proc/89804/task/89812/stat : 89812 (pb_competition_) S 89801 89804 89746 0 -1 4194368 131658 0 0 0 44454 151 0 0 20 0 2 0 79359429 2894204928 702190 18446744073709551615 4198400 6788177 140733614221808 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 34291712 140733614225751 140733614225878 140733614225878 140733614231482 0
Current children cumulated CPU time: 3407.34 s
Current children cumulated vsize: 2826372 KiB
Current children cumulated memory: 2808760 KiB

[startup+3042.3 s]
/proc/loadavg: 3.58 3.79 4.19 4/246 89998
/proc/meminfo: memFree=119604292/131382120 swapFree=33010160/33010684
[pid=89804] ppid=89801 vsize=2826372 memory=2808760 CPUtime=3467.09 cores=4,6
/proc/89804/stat : 89804 (pb_competition_) R 89801 89804 89746 0 -1 4194304 9568165 0 0 0 345899 810 0 0 20 0 2 0 79359410 2894204928 702190 18446744073709551615 4198400 6788177 140733614221808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 34291712 140733614225751 140733614225878 140733614225878 140733614231482 0
/proc/89804/statm: 706593 702190 672 633 0 703648 0
[pid=89804/tid=89812] ppid=89801 vsize=2826372 memory=2808760 CPUtime=446.05 cores=4,6
/proc/89804/task/89812/stat : 89812 (pb_competition_) S 89801 89804 89746 0 -1 4194368 131658 0 0 0 44454 151 0 0 20 0 2 0 79359429 2894204928 702190 18446744073709551615 4198400 6788177 140733614221808 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 34291712 140733614225751 140733614225878 140733614225878 140733614231482 0
Current children cumulated CPU time: 3467.09 s
Current children cumulated vsize: 2826372 KiB
Current children cumulated memory: 2808760 KiB

[startup+3102.3 s]
/proc/loadavg: 3.33 3.68 4.12 5/246 90000
/proc/meminfo: memFree=119607748/131382120 swapFree=33010160/33010684
[pid=89804] ppid=89801 vsize=2826372 memory=2808760 CPUtime=3526.86 cores=4,6
/proc/89804/stat : 89804 (pb_competition_) R 89801 89804 89746 0 -1 4194304 9614839 0 0 0 351873 813 0 0 20 0 2 0 79359410 2894204928 702190 18446744073709551615 4198400 6788177 140733614221808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 34291712 140733614225751 140733614225878 140733614225878 140733614231482 0
/proc/89804/statm: 706593 702190 672 633 0 703648 0
[pid=89804/tid=89812] ppid=89801 vsize=2826372 memory=2808760 CPUtime=446.05 cores=4,6
/proc/89804/task/89812/stat : 89812 (pb_competition_) S 89801 89804 89746 0 -1 4194368 131658 0 0 0 44454 151 0 0 20 0 2 0 79359429 2894204928 702190 18446744073709551615 4198400 6788177 140733614221808 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 34291712 140733614225751 140733614225878 140733614225878 140733614231482 0
Current children cumulated CPU time: 3526.86 s
Current children cumulated vsize: 2826372 KiB
Current children cumulated memory: 2808760 KiB

[startup+3162.3 s]
/proc/loadavg: 3.20 3.58 4.06 4/247 90005
/proc/meminfo: memFree=119596864/131382120 swapFree=33010160/33010684
[pid=89804] ppid=89801 vsize=2826372 memory=2808760 CPUtime=3586.62 cores=4,6
/proc/89804/stat : 89804 (pb_competition_) R 89801 89804 89746 0 -1 4194304 9651178 0 0 0 357847 815 0 0 20 0 2 0 79359410 2894204928 702190 18446744073709551615 4198400 6788177 140733614221808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 34291712 140733614225751 140733614225878 140733614225878 140733614231482 0
/proc/89804/statm: 706593 702190 672 633 0 703648 0
[pid=89804/tid=89812] ppid=89801 vsize=2826372 memory=2808760 CPUtime=446.05 cores=4,6
/proc/89804/task/89812/stat : 89812 (pb_competition_) S 89801 89804 89746 0 -1 4194368 131658 0 0 0 44454 151 0 0 20 0 2 0 79359429 2894204928 702190 18446744073709551615 4198400 6788177 140733614221808 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 34291712 140733614225751 140733614225878 140733614225878 140733614231482 0
Current children cumulated CPU time: 3586.62 s
Current children cumulated vsize: 2826372 KiB
Current children cumulated memory: 2808760 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3175.8 s]
/proc/loadavg: 3.24 3.58 4.05 4/247 90006
/proc/meminfo: memFree=119606876/131382120 swapFree=33010160/33010684
[pid=89804] ppid=89801 vsize=2826372 memory=2808760 CPUtime=3600.07 cores=4,6
/proc/89804/stat : 89804 (pb_competition_) R 89801 89804 89746 0 -1 4194304 9651353 0 0 0 359192 815 0 0 20 0 2 0 79359410 2894204928 702190 18446744073709551615 4198400 6788177 140733614221808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 34291712 140733614225751 140733614225878 140733614225878 140733614231482 0
/proc/89804/statm: 706593 702190 672 633 0 703648 0
[pid=89804/tid=89812] ppid=89801 vsize=2826372 memory=5504 CPUtime=446.05 cores=4,6
/proc/89804/task/89812/stat : 89812 (pb_competition_) S 89801 89804 89746 0 -1 4194368 131658 0 0 0 44454 151 0 0 20 0 2 0 79359429 2894204928 702190 18446744073709551615 4198400 6788177 140733614221808 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 34291712 140733614225751 140733614225878 140733614225878 140733614231482 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 2826372 KiB
Current children cumulated memory: 2808760 KiB

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

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

# cumulated CPU time of all completed processes:  user=3593.47 s, system=8.30412 s

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

[startup+3176 s]*
/proc/loadavg: 3.22 3.57 4.05 4/247 90006
/proc/meminfo: memFree=119606876/131382120 swapFree=33010160/33010684
[pid=89804] ppid=89801 vsize=2826372 memory=2808760 CPUtime=3600.28 cores=4,6
/proc/89804/stat : 89804 (pb_competition_) R 89801 89804 89746 0 -1 4194304 9651353 0 0 0 359213 815 0 0 20 0 2 0 79359410 2894204928 702190 18446744073709551615 4198400 6788177 140733614221808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 34291712 140733614225751 140733614225878 140733614225878 140733614231482 0
/proc/89804/statm: 706593 702190 672 633 0 703648 0
[pid=89804/tid=89812] ppid=89801 vsize=2826372 memory=1792 CPUtime=446.05 cores=4,6
/proc/89804/task/89812/stat : 89812 (pb_competition_) S 89801 89804 89746 0 -1 4194368 131658 0 0 0 44454 151 0 0 20 0 2 0 79359429 2894204928 702190 18446744073709551615 4198400 6788177 140733614221808 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 34291712 140733614225751 140733614225878 140733614225878 140733614231482 0
Current children cumulated CPU time: 3600.28 s
Current children cumulated vsize: 2826372 KiB
Current children cumulated memory: 2808760 KiB

[startup+3176.8 s]
/proc/loadavg: 3.22 3.57 4.05 4/247 90006
/proc/meminfo: memFree=119606876/131382120 swapFree=33010160/33010684
[pid=89804] ppid=89801 vsize=2443236 memory=2425652 CPUtime=3601.07 cores=4,6
/proc/89804/stat : 89804 (pb_competition_) R 89801 89804 89746 0 -1 4194304 9758505 0 0 0 359287 820 0 0 20 0 2 0 79359410 2501873664 606413 18446744073709551615 4198400 6788177 140733614221808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 34291712 140733614225751 140733614225878 140733614225878 140733614231482 0
/proc/89804/statm: 610809 606413 672 633 0 607864 0
[pid=89804/tid=89812] ppid=89801 vsize=2443236 memory=2808760 CPUtime=446.05 cores=4,6
/proc/89804/task/89812/stat : 89812 (pb_competition_) S 89801 89804 89746 0 -1 4194368 131658 0 0 0 44454 151 0 0 20 0 2 0 79359429 2501873664 606413 18446744073709551615 4198400 6788177 140733614221808 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 34291712 140733614225751 140733614225878 140733614225878 140733614231482 0
Current children cumulated CPU time: 3601.07 s
Current children cumulated vsize: 2443236 KiB
Current children cumulated memory: 2425652 KiB

[startup+3177.2 s]
/proc/loadavg: 3.22 3.57 4.05 4/247 90006
/proc/meminfo: memFree=119969456/131382120 swapFree=33010160/33010684
[pid=89804] ppid=89801 vsize=2377692 memory=2360108 CPUtime=3601.46 cores=4,6
/proc/89804/stat : 89804 (pb_competition_) R 89801 89804 89746 0 -1 4194304 9767608 0 0 0 359326 820 0 0 20 0 2 0 79359410 2434756608 590027 18446744073709551615 4198400 6788177 140733614221808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 34291712 140733614225751 140733614225878 140733614225878 140733614231482 0
/proc/89804/statm: 594423 590027 672 633 0 591478 0
[pid=89804/tid=89812] ppid=89801 vsize=2377692 memory=4788 CPUtime=446.05 cores=4,6
/proc/89804/task/89812/stat : 89812 (pb_competition_) S 89801 89804 89746 0 -1 4194368 131658 0 0 0 44454 151 0 0 20 0 2 0 79359429 2434756608 590027 18446744073709551615 4198400 6788177 140733614221808 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 34291712 140733614225751 140733614225878 140733614225878 140733614231482 0
Current children cumulated CPU time: 3601.46 s
Current children cumulated vsize: 2377692 KiB
Current children cumulated memory: 2360108 KiB

[startup+3177.4 s]
/proc/loadavg: 3.22 3.57 4.05 4/247 90006
/proc/meminfo: memFree=119969456/131382120 swapFree=33010160/33010684
[pid=89804] ppid=89801 vsize=2345116 memory=2327532 CPUtime=3601.66 cores=4,6
/proc/89804/stat : 89804 (pb_competition_) R 89801 89804 89746 0 -1 4194304 9789806 0 0 0 359345 821 0 0 20 0 2 0 79359410 2401398784 581883 18446744073709551615 4198400 6788177 140733614221808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 34291712 140733614225751 140733614225878 140733614225878 140733614231482 0
/proc/89804/statm: 586279 581883 672 633 0 583334 0
[pid=89804/tid=89812] ppid=89801 vsize=2345116 memory=6648 CPUtime=446.05 cores=4,6
/proc/89804/task/89812/stat : 89812 (pb_competition_) S 89801 89804 89746 0 -1 4194368 131658 0 0 0 44454 151 0 0 20 0 2 0 79359429 2401398784 581883 18446744073709551615 4198400 6788177 140733614221808 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 34291712 140733614225751 140733614225878 140733614225878 140733614231482 0
Current children cumulated CPU time: 3601.66 s
Current children cumulated vsize: 2345116 KiB
Current children cumulated memory: 2327532 KiB

Child status: 0

Real time (s): 3177.53
CPU time (s): 3601.77
CPU user time (s): 3593.47
CPU system time (s): 8.30412
CPU usage (%): 113.351
Max. virtual memory (cumulated for all children) (KiB): 2826372
Max. memory (cumulated for all children) (KiB): 2808760

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.47
system time used= 8.30412
maximum resident set size= 2808760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9796182
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= 55780
involuntary context switches= 8927


# summary of solver processes directly reported to runsolver:
#   pid: 89804
#   total CPU time (s): 3601.77
#   total CPU user time (s): 3593.47
#   total CPU system time (s): 8.30412

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.9513 second user time and 32.1077 second system time

The end