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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4522088-1751585450/watcher-4522088-1751585450 -o /tmp/evaluation-result-4522088-1751585450/solver-4522088-1751585450 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751579596-81599 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 1203587202 HOME/instance-4522088-1751585450.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=82381, runsolver pid=82378

[startup+0.100065 s]*
/proc/loadavg: 6.70 6.69 6.72 6/266 82383
/proc/meminfo: memFree=99464056/131249988 swapFree=33010416/33010684
[pid=82381] ppid=82378 vsize=107712 memory=37208 CPUtime=0.13 cores=1,3
/proc/82381/stat : 82381 (pb_competition_) R 82378 82381 81584 0 -1 4194304 7123 0 0 0 12 1 0 0 20 0 2 0 74223603 110297088 9302 18446744073709551615 4198400 6788177 140729546778736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 31846400 140729546787161 140729546787288 140729546787288 140729546792890 0
/proc/82381/statm: 26928 9302 672 633 0 10797 0
[pid=82381/tid=82383] ppid=82378 vsize=107712 memory=4026531960 CPUtime=0.03 cores=1,3
/proc/82381/task/82383/stat : 82383 (pb_competition_) S 82378 82381 81584 0 -1 4194368 1041 0 0 0 3 0 0 0 20 0 2 0 74223603 110297088 9302 18446744073709551615 4198400 6788177 140729546778736 0 0 0 0 0 8404994 1 0 0 -1 1 0 0 0 0 0 7336896 7391280 31846400 140729546787161 140729546787288 140729546787288 140729546792890 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 107712 KiB
Current children cumulated memory: 37208 KiB

[startup+0.205699 s]*
/proc/loadavg: 6.70 6.69 6.72 6/266 82383
/proc/meminfo: memFree=99501556/131249988 swapFree=33010416/33010684
[pid=82381] ppid=82378 vsize=130108 memory=59736 CPUtime=0.24 cores=1,3
/proc/82381/stat : 82381 (pb_competition_) R 82378 82381 81584 0 -1 4194304 12741 0 0 0 22 2 0 0 20 0 2 0 74223603 133230592 14934 18446744073709551615 4198400 6788177 140729546778736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 31846400 140729546787161 140729546787288 140729546787288 140729546792890 0
/proc/82381/statm: 32527 14934 672 633 0 16396 0
[pid=82381/tid=82383] ppid=82378 vsize=130240 memory=664958721904869660 CPUtime=0.03 cores=1,3
/proc/82381/task/82383/stat : 82383 (pb_competition_) S 82378 82381 81584 0 -1 4194368 1041 0 0 0 3 0 0 0 20 0 2 0 74223603 133365760 14934 18446744073709551615 4198400 6788177 140729546778736 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 31846400 140729546787161 140729546787288 140729546787288 140729546792890 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 130108 KiB
Current children cumulated memory: 59736 KiB

[startup+0.305679 s]*
/proc/loadavg: 6.70 6.69 6.72 7/266 82383
/proc/meminfo: memFree=99440116/131249988 swapFree=33010416/33010684
[pid=82381] ppid=82378 vsize=130372 memory=59864 CPUtime=0.36 cores=1,3
/proc/82381/stat : 82381 (pb_competition_) R 82378 82381 81584 0 -1 4194304 12778 0 0 0 34 2 0 0 20 0 2 0 74223603 133500928 14966 18446744073709551615 4198400 6788177 140729546778736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 31846400 140729546787161 140729546787288 140729546787288 140729546792890 0
/proc/82381/statm: 32593 14966 672 633 0 16462 0
[pid=82381/tid=82383] ppid=82378 vsize=130372 memory=7971801813146485101 CPUtime=0.06 cores=1,3
/proc/82381/task/82383/stat : 82383 (pb_competition_) R 82378 82381 81584 0 -1 4194368 1041 0 0 0 6 0 0 0 20 0 2 0 74223603 133500928 14966 18446744073709551615 4198400 6788177 140729546778736 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 31846400 140729546787161 140729546787288 140729546787288 140729546792890 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 130372 KiB
Current children cumulated memory: 59864 KiB

[startup+0.700223 s]
/proc/loadavg: 6.70 6.69 6.72 7/266 82383
/proc/meminfo: memFree=99491316/131249988 swapFree=33010416/33010684
[pid=82381] ppid=82378 vsize=130372 memory=59864 CPUtime=0.87 cores=1,3
/proc/82381/stat : 82381 (pb_competition_) R 82378 82381 81584 0 -1 4194304 12778 0 0 0 85 2 0 0 20 0 2 0 74223603 133500928 14966 18446744073709551615 4198400 6788177 140729546778736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 31846400 140729546787161 140729546787288 140729546787288 140729546792890 0
/proc/82381/statm: 32593 14966 672 633 0 16462 0
[pid=82381/tid=82383] ppid=82378 vsize=130372 memory=18432 CPUtime=0.18 cores=1,3
/proc/82381/task/82383/stat : 82383 (pb_competition_) S 82378 82381 81584 0 -1 4194368 1041 0 0 0 18 0 0 0 20 0 2 0 74223603 133500928 14966 18446744073709551615 4198400 6788177 140729546778736 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 31846400 140729546787161 140729546787288 140729546787288 140729546792890 0
Current children cumulated CPU time: 0.87 s
Current children cumulated vsize: 130372 KiB
Current children cumulated memory: 59864 KiB

[startup+1.50021 s]
/proc/loadavg: 6.70 6.69 6.72 7/266 82383
/proc/meminfo: memFree=99432304/131249988 swapFree=33010416/33010684
[pid=82381] ppid=82378 vsize=130372 memory=59992 CPUtime=2.16 cores=1,3
/proc/82381/stat : 82381 (pb_competition_) R 82378 82381 81584 0 -1 4194304 21658 0 0 0 212 4 0 0 20 0 2 0 74223603 133500928 14998 18446744073709551615 4198400 6788177 140729546778736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 31846400 140729546787161 140729546787288 140729546787288 140729546792890 0
/proc/82381/statm: 32593 14998 672 633 0 16462 0
[pid=82381/tid=82383] ppid=82378 vsize=130372 memory=18432 CPUtime=0.68 cores=1,3
/proc/82381/task/82383/stat : 82383 (pb_competition_) R 82378 82381 81584 0 -1 4194368 1090 0 0 0 68 0 0 0 20 0 2 0 74223603 133500928 14998 18446744073709551615 4198400 6788177 140729546778736 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 31846400 140729546787161 140729546787288 140729546787288 140729546792890 0
Current children cumulated CPU time: 2.16 s
Current children cumulated vsize: 130372 KiB
Current children cumulated memory: 59992 KiB

[startup+3.10532 s]
/proc/loadavg: 6.65 6.68 6.72 6/266 82383
/proc/meminfo: memFree=99434828/131249988 swapFree=33010416/33010684
[pid=82381] ppid=82378 vsize=130768 memory=60376 CPUtime=4.86 cores=1,3
/proc/82381/stat : 82381 (pb_competition_) R 82378 82381 81584 0 -1 4194304 26398 0 0 0 481 5 0 0 20 0 2 0 74223603 133906432 15094 18446744073709551615 4198400 6788177 140729546778736 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 31846400 140729546787161 140729546787288 140729546787288 140729546792890 0
/proc/82381/statm: 32692 15094 672 633 0 16561 0
[pid=82381/tid=82383] ppid=82378 vsize=130768 memory=59992 CPUtime=1.79 cores=1,3
/proc/82381/task/82383/stat : 82383 (pb_competition_) S 82378 82381 81584 0 -1 4194368 1149 0 0 0 178 1 0 0 20 0 2 0 74223603 133906432 15094 18446744073709551615 4198400 6788177 140729546778736 0 0 0 0 0 8404994 1 0 0 -1 1 0 0 0 0 0 7336896 7391280 31846400 140729546787161 140729546787288 140729546787288 140729546792890 0
Current children cumulated CPU time: 4.86 s
Current children cumulated vsize: 130768 KiB
Current children cumulated memory: 60376 KiB

[startup+6.30025 s]
/proc/loadavg: 6.65 6.68 6.72 8/266 82383
/proc/meminfo: memFree=99505296/131249988 swapFree=33010416/33010684
[pid=82381] ppid=82378 vsize=130768 memory=60376 CPUtime=9.34 cores=1,3
/proc/82381/stat : 82381 (pb_competition_) R 82378 82381 81584 0 -1 4194304 39230 0 0 0 927 7 0 0 20 0 2 0 74223603 133906432 15094 18446744073709551615 4198400 6788177 140729546778736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 31846400 140729546787161 140729546787288 140729546787288 140729546792890 0
/proc/82381/statm: 32692 15094 672 633 0 16561 0
[pid=82381/tid=82383] ppid=82378 vsize=130768 memory=18432 CPUtime=3.1 cores=1,3
/proc/82381/task/82383/stat : 82383 (pb_competition_) S 82378 82381 81584 0 -1 4194368 1596 0 0 0 309 1 0 0 20 0 2 0 74223603 133906432 15094 18446744073709551615 4198400 6788177 140729546778736 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 31846400 140729546787161 140729546787288 140729546787288 140729546792890 0
Current children cumulated CPU time: 9.34 s
Current children cumulated vsize: 130768 KiB
Current children cumulated memory: 60376 KiB

[startup+12.7002 s]
/proc/loadavg: 6.60 6.66 6.72 7/266 82383
/proc/meminfo: memFree=99433732/131249988 swapFree=33010416/33010684
[pid=82381] ppid=82378 vsize=130900 memory=60504 CPUtime=18.38 cores=1,3
/proc/82381/stat : 82381 (pb_competition_) R 82378 82381 81584 0 -1 4194304 54463 0 0 0 1829 9 0 0 20 0 2 0 74223603 134041600 15126 18446744073709551615 4198400 6788177 140729546778736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 31846400 140729546787161 140729546787288 140729546787288 140729546792890 0
/proc/82381/statm: 32725 15126 672 633 0 16594 0
[pid=82381/tid=82383] ppid=82378 vsize=130900 memory=60504 CPUtime=5.77 cores=1,3
/proc/82381/task/82383/stat : 82383 (pb_competition_) S 82378 82381 81584 0 -1 4194368 1940 0 0 0 575 2 0 0 20 0 2 0 74223603 134041600 15126 18446744073709551615 4198400 6788177 140729546778736 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 31846400 140729546787161 140729546787288 140729546787288 140729546792890 0
Current children cumulated CPU time: 18.38 s
Current children cumulated vsize: 130900 KiB
Current children cumulated memory: 60504 KiB

[startup+25.5002 s]
/proc/loadavg: 6.56 6.65 6.71 7/266 82383
/proc/meminfo: memFree=99510064/131249988 swapFree=33010416/33010684
[pid=82381] ppid=82378 vsize=130900 memory=60504 CPUtime=34.65 cores=1,3
/proc/82381/stat : 82381 (pb_competition_) R 82378 82381 81584 0 -1 4194304 69775 0 0 0 3453 12 0 0 20 0 2 0 74223603 134041600 15126 18446744073709551615 4198400 6788177 140729546778736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 31846400 140729546787161 140729546787288 140729546787288 140729546792890 0
/proc/82381/statm: 32725 15126 672 633 0 16594 0
[pid=82381/tid=82383] ppid=82378 vsize=130900 memory=60504 CPUtime=9.32 cores=1,3
/proc/82381/task/82383/stat : 82383 (pb_competition_) S 82378 82381 81584 0 -1 4194368 2350 0 0 0 929 3 0 0 20 0 2 0 74223603 134041600 15126 18446744073709551615 4198400 6788177 140729546778736 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 31846400 140729546787161 140729546787288 140729546787288 140729546792890 0
Current children cumulated CPU time: 34.65 s
Current children cumulated vsize: 130900 KiB
Current children cumulated memory: 60504 KiB

[startup+51.1056 s]
/proc/loadavg: 6.41 6.61 6.70 6/266 82384
/proc/meminfo: memFree=99433196/131249988 swapFree=33010416/33010684
[pid=82381] ppid=82378 vsize=130900 memory=60504 CPUtime=67.89 cores=1,3
/proc/82381/stat : 82381 (pb_competition_) R 82378 82381 81584 0 -1 4194304 76856 0 0 0 6772 17 0 0 20 0 2 0 74223603 134041600 15126 18446744073709551615 4198400 6788177 140729546778736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 31846400 140729546787161 140729546787288 140729546787288 140729546792890 0
/proc/82381/statm: 32725 15126 672 633 0 16594 0
[pid=82381/tid=82383] ppid=82378 vsize=130900 memory=18432 CPUtime=17.12 cores=1,3
/proc/82381/task/82383/stat : 82383 (pb_competition_) S 82378 82381 81584 0 -1 4194368 2651 0 0 0 1707 5 0 0 20 0 2 0 74223603 134041600 15126 18446744073709551615 4198400 6788177 140729546778736 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 31846400 140729546787161 140729546787288 140729546787288 140729546792890 0
Current children cumulated CPU time: 67.89 s
Current children cumulated vsize: 130900 KiB
Current children cumulated memory: 60504 KiB

[startup+102.3 s]
/proc/loadavg: 6.02 6.47 6.64 7/266 82385
/proc/meminfo: memFree=99486708/131249988 swapFree=33010416/33010684
[pid=82381] ppid=82378 vsize=130900 memory=60504 CPUtime=133.83 cores=1,3
/proc/82381/stat : 82381 (pb_competition_) R 82378 82381 81584 0 -1 4194304 90538 0 0 0 13355 28 0 0 20 0 2 0 74223603 134041600 15126 18446744073709551615 4198400 6788177 140729546778736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 31846400 140729546787161 140729546787288 140729546787288 140729546792890 0
/proc/82381/statm: 32725 15126 672 633 0 16594 0
[pid=82381/tid=82383] ppid=82378 vsize=130900 memory=18432 CPUtime=32.21 cores=1,3
/proc/82381/task/82383/stat : 82383 (pb_competition_) S 82378 82381 81584 0 -1 4194368 3242 0 0 0 3212 9 0 0 20 0 2 0 74223603 134041600 15126 18446744073709551615 4198400 6788177 140729546778736 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 31846400 140729546787161 140729546787288 140729546787288 140729546792890 0
Current children cumulated CPU time: 133.83 s
Current children cumulated vsize: 130900 KiB
Current children cumulated memory: 60504 KiB

[startup+162.3 s]
/proc/loadavg: 5.85 6.34 6.59 6/266 82387
/proc/meminfo: memFree=99437748/131249988 swapFree=33010416/33010684
[pid=82381] ppid=82378 vsize=130900 memory=60504 CPUtime=213.62 cores=1,3
/proc/82381/stat : 82381 (pb_competition_) R 82378 82381 81584 0 -1 4194304 91050 0 0 0 21320 42 0 0 20 0 2 0 74223603 134041600 15126 18446744073709551615 4198400 6788177 140729546778736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 31846400 140729546787161 140729546787288 140729546787288 140729546792890 0
/proc/82381/statm: 32725 15126 672 633 0 16594 0
[pid=82381/tid=82383] ppid=82378 vsize=130900 memory=60504 CPUtime=52.41 cores=1,3
/proc/82381/task/82383/stat : 82383 (pb_competition_) S 82378 82381 81584 0 -1 4194368 3245 0 0 0 5225 16 0 0 20 0 2 0 74223603 134041600 15126 18446744073709551615 4198400 6788177 140729546778736 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 31846400 140729546787161 140729546787288 140729546787288 140729546792890 0
Current children cumulated CPU time: 213.62 s
Current children cumulated vsize: 130900 KiB
Current children cumulated memory: 60504 KiB

[startup+222.3 s]
/proc/loadavg: 6.02 6.30 6.56 8/266 82389
/proc/meminfo: memFree=99474212/131249988 swapFree=33010416/33010684
[pid=82381] ppid=82378 vsize=130900 memory=60504 CPUtime=293.97 cores=1,3
/proc/82381/stat : 82381 (pb_competition_) R 82378 82381 81584 0 -1 4194304 107650 0 0 0 29339 58 0 0 20 0 2 0 74223603 134041600 15126 18446744073709551615 4198400 6788177 140729546778736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 31846400 140729546787161 140729546787288 140729546787288 140729546792890 0
/proc/82381/statm: 32725 15126 672 633 0 16594 0
[pid=82381/tid=82383] ppid=82378 vsize=130900 memory=18432 CPUtime=73.19 cores=1,3
/proc/82381/task/82383/stat : 82383 (pb_competition_) R 82378 82381 81584 0 -1 4194368 3804 0 0 0 7296 23 0 0 20 0 2 0 74223603 134041600 15126 18446744073709551615 4198400 6788177 140729546778736 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 31846400 140729546787161 140729546787288 140729546787288 140729546792890 0
Current children cumulated CPU time: 293.97 s
Current children cumulated vsize: 130900 KiB
Current children cumulated memory: 60504 KiB

[startup+282.3 s]
/proc/loadavg: 6.02 6.25 6.52 7/266 82391
/proc/meminfo: memFree=99484088/131249988 swapFree=33010416/33010684
[pid=82381] ppid=82378 vsize=130900 memory=60504 CPUtime=371.18 cores=1,3
/proc/82381/stat : 82381 (pb_competition_) R 82378 82381 81584 0 -1 4194304 122810 0 0 0 37045 73 0 0 20 0 2 0 74223603 134041600 15126 18446744073709551615 4198400 6788177 140729546778736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 31846400 140729546787161 140729546787288 140729546787288 140729546792890 0
/proc/82381/statm: 32725 15126 672 633 0 16594 0
[pid=82381/tid=82383] ppid=82378 vsize=130900 memory=60504 CPUtime=90.8 cores=1,3
/proc/82381/task/82383/stat : 82383 (pb_competition_) R 82378 82381 81584 0 -1 4194368 4755 0 0 0 9050 30 0 0 20 0 2 0 74223603 134041600 15126 18446744073709551615 4198400 6788177 140729546778736 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 31846400 140729546787161 140729546787288 140729546787288 140729546792890 0
Current children cumulated CPU time: 371.18 s
Current children cumulated vsize: 130900 KiB

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

/proc/meminfo: memFree=105155224/131249988 swapFree=33010416/33010684
[pid=82381] ppid=82378 vsize=131032 memory=61528 CPUtime=2781.68 cores=1,3
/proc/82381/stat : 82381 (pb_competition_) R 82378 82381 81584 0 -1 4194304 178624 0 0 0 277772 396 0 0 20 0 2 0 74223603 134176768 15382 18446744073709551615 4198400 6788177 140729546778736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 31846400 140729546787161 140729546787288 140729546787288 140729546792890 0
/proc/82381/statm: 32758 15382 672 633 0 16627 0
[pid=82381/tid=82383] ppid=82378 vsize=131032 memory=61528 CPUtime=711.22 cores=1,3
/proc/82381/task/82383/stat : 82383 (pb_competition_) S 82378 82381 81584 0 -1 4194368 8985 0 0 0 70911 211 0 0 20 0 2 0 74223603 134176768 15382 18446744073709551615 4198400 6788177 140729546778736 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 31846400 140729546787161 140729546787288 140729546787288 140729546792890 0
Current children cumulated CPU time: 2781.68 s
Current children cumulated vsize: 131032 KiB
Current children cumulated memory: 61528 KiB

[startup+2142.3 s]
/proc/loadavg: 6.41 6.60 6.54 8/267 82631
/proc/meminfo: memFree=105158844/131249988 swapFree=33010416/33010684
[pid=82381] ppid=82378 vsize=131032 memory=61528 CPUtime=2864.11 cores=1,3
/proc/82381/stat : 82381 (pb_competition_) R 82378 82381 81584 0 -1 4194304 179808 0 0 0 286003 408 0 0 20 0 2 0 74223603 134176768 15382 18446744073709551615 4198400 6788177 140729546778736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 31846400 140729546787161 140729546787288 140729546787288 140729546792890 0
/proc/82381/statm: 32758 15382 672 633 0 16627 0
[pid=82381/tid=82383] ppid=82378 vsize=131032 memory=61528 CPUtime=733.96 cores=1,3
/proc/82381/task/82383/stat : 82383 (pb_competition_) S 82378 82381 81584 0 -1 4194368 9063 0 0 0 73178 218 0 0 20 0 2 0 74223603 134176768 15382 18446744073709551615 4198400 6788177 140729546778736 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 31846400 140729546787161 140729546787288 140729546787288 140729546792890 0
Current children cumulated CPU time: 2864.11 s
Current children cumulated vsize: 131032 KiB
Current children cumulated memory: 61528 KiB

[startup+2202.3 s]
/proc/loadavg: 6.76 6.66 6.56 6/267 82633
/proc/meminfo: memFree=105127004/131249988 swapFree=33010416/33010684
[pid=82381] ppid=82378 vsize=131032 memory=61528 CPUtime=2943.78 cores=1,3
/proc/82381/stat : 82381 (pb_competition_) R 82378 82381 81584 0 -1 4194304 179812 0 0 0 293960 418 0 0 20 0 2 0 74223603 134176768 15382 18446744073709551615 4198400 6788177 140729546778736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 31846400 140729546787161 140729546787288 140729546787288 140729546792890 0
/proc/82381/statm: 32758 15382 672 633 0 16627 0
[pid=82381/tid=82383] ppid=82378 vsize=131032 memory=61528 CPUtime=753.93 cores=1,3
/proc/82381/task/82383/stat : 82383 (pb_competition_) S 82378 82381 81584 0 -1 4194368 9063 0 0 0 75168 225 0 0 20 0 2 0 74223603 134176768 15382 18446744073709551615 4198400 6788177 140729546778736 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 31846400 140729546787161 140729546787288 140729546787288 140729546792890 0
Current children cumulated CPU time: 2943.78 s
Current children cumulated vsize: 131032 KiB
Current children cumulated memory: 61528 KiB

[startup+2262.3 s]
/proc/loadavg: 6.40 6.56 6.53 6/267 82635
/proc/meminfo: memFree=105122612/131249988 swapFree=33010416/33010684
[pid=82381] ppid=82378 vsize=131032 memory=61528 CPUtime=3023.53 cores=1,3
/proc/82381/stat : 82381 (pb_competition_) R 82378 82381 81584 0 -1 4194304 181000 0 0 0 301926 427 0 0 20 0 2 0 74223603 134176768 15382 18446744073709551615 4198400 6788177 140729546778736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 31846400 140729546787161 140729546787288 140729546787288 140729546792890 0
/proc/82381/statm: 32758 15382 672 633 0 16627 0
[pid=82381/tid=82383] ppid=82378 vsize=131032 memory=61528 CPUtime=774 cores=1,3
/proc/82381/task/82383/stat : 82383 (pb_competition_) R 82378 82381 81584 0 -1 4194368 9136 0 0 0 77171 229 0 0 20 0 2 0 74223603 134176768 15382 18446744073709551615 4198400 6788177 140729546778736 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 31846400 140729546787161 140729546787288 140729546787288 140729546792890 0
Current children cumulated CPU time: 3023.53 s
Current children cumulated vsize: 131032 KiB
Current children cumulated memory: 61528 KiB

[startup+2322.3 s]
/proc/loadavg: 6.66 6.60 6.55 7/267 82683
/proc/meminfo: memFree=105256700/131249988 swapFree=33010416/33010684
[pid=82381] ppid=82378 vsize=131032 memory=61528 CPUtime=3103.85 cores=1,3
/proc/82381/stat : 82381 (pb_competition_) R 82378 82381 81584 0 -1 4194304 182186 0 0 0 309949 436 0 0 20 0 2 0 74223603 134176768 15382 18446744073709551615 4198400 6788177 140729546778736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 31846400 140729546787161 140729546787288 140729546787288 140729546792890 0
/proc/82381/statm: 32758 15382 672 633 0 16627 0
[pid=82381/tid=82383] ppid=82378 vsize=131032 memory=18432 CPUtime=794.65 cores=1,3
/proc/82381/task/82383/stat : 82383 (pb_competition_) S 82378 82381 81584 0 -1 4194368 9406 0 0 0 79231 234 0 0 20 0 2 0 74223603 134176768 15382 18446744073709551615 4198400 6788177 140729546778736 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 31846400 140729546787161 140729546787288 140729546787288 140729546792890 0
Current children cumulated CPU time: 3103.85 s
Current children cumulated vsize: 131032 KiB
Current children cumulated memory: 61528 KiB

[startup+2382.3 s]
/proc/loadavg: 6.67 6.59 6.55 6/267 82686
/proc/meminfo: memFree=105290268/131249988 swapFree=33010416/33010684
[pid=82381] ppid=82378 vsize=131032 memory=61528 CPUtime=3182.87 cores=1,3
/proc/82381/stat : 82381 (pb_competition_) R 82378 82381 81584 0 -1 4194304 183378 0 0 0 317841 446 0 0 20 0 2 0 74223603 134176768 15382 18446744073709551615 4198400 6788177 140729546778736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 31846400 140729546787161 140729546787288 140729546787288 140729546792890 0
/proc/82381/statm: 32758 15382 672 633 0 16627 0
[pid=82381/tid=82383] ppid=82378 vsize=131032 memory=61528 CPUtime=814.1 cores=1,3
/proc/82381/task/82383/stat : 82383 (pb_competition_) R 82378 82381 81584 0 -1 4194368 9472 0 0 0 81170 240 0 0 20 0 2 0 74223603 134176768 15382 18446744073709551615 4198400 6788177 140729546778736 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 31846400 140729546787161 140729546787288 140729546787288 140729546792890 0
Current children cumulated CPU time: 3182.87 s
Current children cumulated vsize: 131032 KiB
Current children cumulated memory: 61528 KiB

[startup+2442.3 s]
/proc/loadavg: 6.38 6.55 6.54 7/267 82693
/proc/meminfo: memFree=105275188/131249988 swapFree=33010416/33010684
[pid=82381] ppid=82378 vsize=131032 memory=61528 CPUtime=3265 cores=1,3
/proc/82381/stat : 82381 (pb_competition_) R 82378 82381 81584 0 -1 4194304 185106 0 0 0 326044 456 0 0 20 0 2 0 74223603 134176768 15382 18446744073709551615 4198400 6788177 140729546778736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 31846400 140729546787161 140729546787288 140729546787288 140729546792890 0
/proc/82381/statm: 32758 15382 672 633 0 16627 0
[pid=82381/tid=82383] ppid=82378 vsize=131032 memory=61528 CPUtime=836.59 cores=1,3
/proc/82381/task/82383/stat : 82383 (pb_competition_) R 82378 82381 81584 0 -1 4194368 9763 0 0 0 83413 246 0 0 20 0 2 0 74223603 134176768 15382 18446744073709551615 4198400 6788177 140729546778736 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 31846400 140729546787161 140729546787288 140729546787288 140729546792890 0
Current children cumulated CPU time: 3265 s
Current children cumulated vsize: 131032 KiB
Current children cumulated memory: 61528 KiB

[startup+2502.3 s]
/proc/loadavg: 6.47 6.53 6.53 8/267 82695
/proc/meminfo: memFree=105264504/131249988 swapFree=33010416/33010684
[pid=82381] ppid=82378 vsize=131032 memory=61528 CPUtime=3345.07 cores=1,3
/proc/82381/stat : 82381 (pb_competition_) R 82378 82381 81584 0 -1 4194304 186300 0 0 0 334042 465 0 0 20 0 2 0 74223603 134176768 15382 18446744073709551615 4198400 6788177 140729546778736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 31846400 140729546787161 140729546787288 140729546787288 140729546792890 0
/proc/82381/statm: 32758 15382 672 633 0 16627 0
[pid=82381/tid=82383] ppid=82378 vsize=131032 memory=14344 CPUtime=856.99 cores=1,3
/proc/82381/task/82383/stat : 82383 (pb_competition_) S 82378 82381 81584 0 -1 4194368 9799 0 0 0 85448 251 0 0 20 0 2 0 74223603 134176768 15382 18446744073709551615 4198400 6788177 140729546778736 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 31846400 140729546787161 140729546787288 140729546787288 140729546792890 0
Current children cumulated CPU time: 3345.07 s
Current children cumulated vsize: 131032 KiB
Current children cumulated memory: 61528 KiB

[startup+2562.3 s]
/proc/loadavg: 6.24 6.42 6.49 7/267 82697
/proc/meminfo: memFree=105263496/131249988 swapFree=33010416/33010684
[pid=82381] ppid=82378 vsize=131032 memory=61528 CPUtime=3424.91 cores=1,3
/proc/82381/stat : 82381 (pb_competition_) R 82378 82381 81584 0 -1 4194304 187495 0 0 0 342018 473 0 0 20 0 2 0 74223603 134176768 15382 18446744073709551615 4198400 6788177 140729546778736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 31846400 140729546787161 140729546787288 140729546787288 140729546792890 0
/proc/82381/statm: 32758 15382 672 633 0 16627 0
[pid=82381/tid=82383] ppid=82378 vsize=131032 memory=61528 CPUtime=877.14 cores=1,3
/proc/82381/task/82383/stat : 82383 (pb_competition_) S 82378 82381 81584 0 -1 4194368 9857 0 0 0 87457 257 0 0 20 0 2 0 74223603 134176768 15382 18446744073709551615 4198400 6788177 140729546778736 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 31846400 140729546787161 140729546787288 140729546787288 140729546792890 0
Current children cumulated CPU time: 3424.91 s
Current children cumulated vsize: 131032 KiB
Current children cumulated memory: 61528 KiB

[startup+2622.3 s]
/proc/loadavg: 6.09 6.34 6.46 9/267 82698
/proc/meminfo: memFree=105274712/131249988 swapFree=33010416/33010684
[pid=82381] ppid=82378 vsize=131032 memory=61528 CPUtime=3504.77 cores=1,3
/proc/82381/stat : 82381 (pb_competition_) R 82378 82381 81584 0 -1 4194304 187498 0 0 0 349996 481 0 0 20 0 2 0 74223603 134176768 15382 18446744073709551615 4198400 6788177 140729546778736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 31846400 140729546787161 140729546787288 140729546787288 140729546792890 0
/proc/82381/statm: 32758 15382 672 633 0 16627 0
[pid=82381/tid=82383] ppid=82378 vsize=131032 memory=61528 CPUtime=897.37 cores=1,3
/proc/82381/task/82383/stat : 82383 (pb_competition_) S 82378 82381 81584 0 -1 4194368 9857 0 0 0 89475 262 0 0 20 0 2 0 74223603 134176768 15382 18446744073709551615 4198400 6788177 140729546778736 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 31846400 140729546787161 140729546787288 140729546787288 140729546792890 0
Current children cumulated CPU time: 3504.77 s
Current children cumulated vsize: 131032 KiB
Current children cumulated memory: 61528 KiB

[startup+2682.3 s]
/proc/loadavg: 6.40 6.40 6.47 8/267 82700
/proc/meminfo: memFree=105255300/131249988 swapFree=33010416/33010684
[pid=82381] ppid=82378 vsize=131032 memory=61528 CPUtime=3582.97 cores=1,3
/proc/82381/stat : 82381 (pb_competition_) R 82378 82381 81584 0 -1 4194304 188694 0 0 0 357809 488 0 0 20 0 2 0 74223603 134176768 15382 18446744073709551615 4198400 6788177 140729546778736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 31846400 140729546787161 140729546787288 140729546787288 140729546792890 0
/proc/82381/statm: 32758 15382 672 633 0 16627 0
[pid=82381/tid=82383] ppid=82378 vsize=131032 memory=61528 CPUtime=915.91 cores=1,3
/proc/82381/task/82383/stat : 82383 (pb_competition_) S 82378 82381 81584 0 -1 4194368 9913 0 0 0 91325 266 0 0 20 0 2 0 74223603 134176768 15382 18446744073709551615 4198400 6788177 140729546778736 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 31846400 140729546787161 140729546787288 140729546787288 140729546792890 0
Current children cumulated CPU time: 3582.97 s
Current children cumulated vsize: 131032 KiB
Current children cumulated memory: 61528 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2695.2 s]
/proc/loadavg: 6.38 6.40 6.47 7/267 82701
/proc/meminfo: memFree=105256912/131249988 swapFree=33010416/33010684
[pid=82381] ppid=82378 vsize=131032 memory=61528 CPUtime=3600.07 cores=1,3
/proc/82381/stat : 82381 (pb_competition_) R 82378 82381 81584 0 -1 4194304 188695 0 0 0 359517 490 0 0 20 0 2 0 74223603 134176768 15382 18446744073709551615 4198400 6788177 140729546778736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 31846400 140729546787161 140729546787288 140729546787288 140729546792890 0
/proc/82381/statm: 32758 15382 672 633 0 16627 0
[pid=82381/tid=82383] ppid=82378 vsize=131032 memory=18432 CPUtime=920.2 cores=1,3
/proc/82381/task/82383/stat : 82383 (pb_competition_) S 82378 82381 81584 0 -1 4194368 9913 0 0 0 91753 267 0 0 20 0 2 0 74223603 134176768 15382 18446744073709551615 4198400 6788177 140729546778736 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 31846400 140729546787161 140729546787288 140729546787288 140729546792890 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 131032 KiB
Current children cumulated memory: 61528 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.21 s, system=4.91142 s

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

Child status: 0

Real time (s): 2695.24
CPU time (s): 3600.12
CPU user time (s): 3595.21
CPU system time (s): 4.91142
CPU usage (%): 133.574
Max. virtual memory (cumulated for all children) (KiB): 131032
Max. memory (cumulated for all children) (KiB): 61528

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.21
system time used= 4.91142
maximum resident set size= 61528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 190757
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= 414460
involuntary context switches= 72708


# summary of solver processes directly reported to runsolver:
#   pid: 82381
#   total CPU time (s): 3600.12
#   total CPU user time (s): 3595.21
#   total CPU system time (s): 4.91142

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.38797 second user time and 12.4471 second system time

The end