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 (63470 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=89178, runsolver pid=89175

[startup+0.100069 s]*
/proc/loadavg: 6.50 6.30 6.08 6/254 89180
/proc/meminfo: memFree=129532180/131382120 swapFree=33010160/33010684
[pid=89178] ppid=89175 vsize=92528 memory=20328 CPUtime=0.14 cores=0,2
/proc/89178/stat : 89178 (pb_competition_) R 89175 89178 88085 0 -1 4194304 5030 0 0 0 12 2 0 0 20 0 2 0 78821522 94748672 5082 18446744073709551615 4198400 6788177 140733327565440 0 0 0 0 0 0 0 0 0 17 2 0 0 0 0 0 7336896 7391280 13340672 140733327567191 140733327567318 140733327567318 140733327572922 0
/proc/89178/statm: 23132 5082 608 633 0 6633 0
[pid=89178/tid=89180] ppid=89175 vsize=92528 memory=4026531960 CPUtime=0.03 cores=0,2
/proc/89178/task/89180/stat : 89180 (pb_competition_) S 89175 89178 88085 0 -1 4194368 671 0 0 0 3 0 0 0 20 0 2 0 78821523 94748672 5082 18446744073709551615 4198400 6788177 140733327565440 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 7336896 7391280 13340672 140733327567191 140733327567318 140733327567318 140733327572922 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 92528 KiB
Current children cumulated memory: 20328 KiB

[startup+0.213122 s]*
/proc/loadavg: 6.50 6.30 6.08 8/254 89180
/proc/meminfo: memFree=129507860/131382120 swapFree=33010160/33010684
[pid=89178] ppid=89175 vsize=115700 memory=45996 CPUtime=0.3 cores=0,2
/proc/89178/stat : 89178 (pb_competition_) R 89175 89178 88085 0 -1 4194304 8875 0 0 0 27 3 0 0 20 0 2 0 78821522 118476800 11499 18446744073709551615 4198400 6788177 140733327565440 0 0 0 0 0 0 0 0 0 17 2 0 0 0 0 0 7336896 7391280 13340672 140733327567191 140733327567318 140733327567318 140733327572922 0
/proc/89178/statm: 28925 11499 608 633 0 13004 0
[pid=89178/tid=89180] ppid=89175 vsize=115700 memory=664958721904869660 CPUtime=0.1 cores=0,2
/proc/89178/task/89180/stat : 89180 (pb_competition_) R 89175 89178 88085 0 -1 4194368 1253 0 0 0 10 0 0 0 20 0 2 0 78821523 118476800 11499 18446744073709551615 4198400 6788177 140733327565440 0 0 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 13340672 140733327567191 140733327567318 140733327567318 140733327572922 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 115700 KiB
Current children cumulated memory: 45996 KiB

[startup+0.312967 s]*
/proc/loadavg: 6.50 6.30 6.08 7/254 89180
/proc/meminfo: memFree=129499796/131382120 swapFree=33010160/33010684
[pid=89178] ppid=89175 vsize=122456 memory=53420 CPUtime=0.42 cores=0,2
/proc/89178/stat : 89178 (pb_competition_) R 89175 89178 88085 0 -1 4194304 10736 0 0 0 38 4 0 0 20 0 2 0 78821522 125394944 13355 18446744073709551615 4198400 6788177 140733327565440 0 0 0 0 0 0 0 0 0 17 2 0 0 0 0 0 7336896 7391280 13340672 140733327567191 140733327567318 140733327567318 140733327572922 0
/proc/89178/statm: 30614 13355 608 633 0 14874 0
[pid=89178/tid=89180] ppid=89175 vsize=122456 memory=7970957379744317547 CPUtime=0.14 cores=0,2
/proc/89178/task/89180/stat : 89180 (pb_competition_) S 89175 89178 88085 0 -1 4194368 1433 0 0 0 13 1 0 0 20 0 2 0 78821523 125394944 13355 18446744073709551615 4198400 6788177 140733327565440 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 7336896 7391280 13340672 140733327567191 140733327567318 140733327567318 140733327572922 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 122456 KiB
Current children cumulated memory: 53420 KiB

[startup+0.700269 s]
/proc/loadavg: 6.50 6.30 6.08 7/254 89180
/proc/meminfo: memFree=129491732/131382120 swapFree=33010160/33010684
[pid=89178] ppid=89175 vsize=136692 memory=67756 CPUtime=0.77 cores=0,2
/proc/89178/stat : 89178 (pb_competition_) R 89175 89178 88085 0 -1 4194304 14259 0 0 0 73 4 0 0 20 0 2 0 78821522 139972608 16939 18446744073709551615 4198400 6788177 140733327565440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 13340672 140733327567191 140733327567318 140733327567318 140733327572922 0
/proc/89178/statm: 34173 16939 672 633 0 18433 0
[pid=89178/tid=89180] ppid=89175 vsize=136692 memory=18432 CPUtime=0.14 cores=0,2
/proc/89178/task/89180/stat : 89180 (pb_competition_) S 89175 89178 88085 0 -1 4194368 1433 0 0 0 13 1 0 0 20 0 2 0 78821523 139972608 16939 18446744073709551615 4198400 6788177 140733327565440 0 0 0 0 0 8404994 1 0 0 -1 0 0 0 0 0 0 7336896 7391280 13340672 140733327567191 140733327567318 140733327567318 140733327572922 0
Current children cumulated CPU time: 0.77 s
Current children cumulated vsize: 136692 KiB
Current children cumulated memory: 67756 KiB

[startup+1.50035 s]
/proc/loadavg: 6.50 6.30 6.08 6/254 89180
/proc/meminfo: memFree=129460364/131382120 swapFree=33010160/33010684
[pid=89178] ppid=89175 vsize=174080 memory=105260 CPUtime=1.61 cores=0,2
/proc/89178/stat : 89178 (pb_competition_) R 89175 89178 88085 0 -1 4194304 40960 0 0 0 151 10 0 0 20 0 2 0 78821522 178257920 26315 18446744073709551615 4198400 6788177 140733327565440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 13340672 140733327567191 140733327567318 140733327567318 140733327572922 0
/proc/89178/statm: 43520 26315 672 633 0 27780 0
[pid=89178/tid=89180] ppid=89175 vsize=174080 memory=18432 CPUtime=0.17 cores=0,2
/proc/89178/task/89180/stat : 89180 (pb_competition_) R 89175 89178 88085 0 -1 4194368 1436 0 0 0 16 1 0 0 20 0 2 0 78821523 178257920 26315 18446744073709551615 4198400 6788177 140733327565440 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 13340672 140733327567191 140733327567318 140733327567318 140733327572922 0
Current children cumulated CPU time: 1.61 s
Current children cumulated vsize: 174080 KiB
Current children cumulated memory: 105260 KiB

[startup+3.11291 s]
/proc/loadavg: 6.46 6.29 6.08 6/254 89180
/proc/meminfo: memFree=129452300/131382120 swapFree=33010160/33010684
[pid=89178] ppid=89175 vsize=174080 memory=105260 CPUtime=3.33 cores=0,2
/proc/89178/stat : 89178 (pb_competition_) R 89175 89178 88085 0 -1 4194304 41379 0 0 0 323 10 0 0 20 0 2 0 78821522 178257920 26315 18446744073709551615 4198400 6788177 140733327565440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 13340672 140733327567191 140733327567318 140733327567318 140733327572922 0
/proc/89178/statm: 43520 26315 672 633 0 27780 0
[pid=89178/tid=89180] ppid=89175 vsize=174080 memory=105260 CPUtime=0.3 cores=0,2
/proc/89178/task/89180/stat : 89180 (pb_competition_) S 89175 89178 88085 0 -1 4194368 1439 0 0 0 29 1 0 0 20 0 2 0 78821523 178257920 26315 18446744073709551615 4198400 6788177 140733327565440 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 13340672 140733327567191 140733327567318 140733327567318 140733327572922 0
Current children cumulated CPU time: 3.33 s
Current children cumulated vsize: 174080 KiB
Current children cumulated memory: 105260 KiB

[startup+6.30037 s]
/proc/loadavg: 6.46 6.29 6.08 6/254 89180
/proc/meminfo: memFree=129452888/131382120 swapFree=33010160/33010684
[pid=89178] ppid=89175 vsize=174080 memory=105260 CPUtime=6.51 cores=0,2
/proc/89178/stat : 89178 (pb_competition_) R 89175 89178 88085 0 -1 4194304 73396 0 0 0 637 14 0 0 20 0 2 0 78821522 178257920 26315 18446744073709551615 4198400 6788177 140733327565440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 13340672 140733327567191 140733327567318 140733327567318 140733327572922 0
/proc/89178/statm: 43520 26315 672 633 0 27780 0
[pid=89178/tid=89180] ppid=89175 vsize=174080 memory=18432 CPUtime=0.3 cores=0,2
/proc/89178/task/89180/stat : 89180 (pb_competition_) S 89175 89178 88085 0 -1 4194368 1439 0 0 0 29 1 0 0 20 0 2 0 78821523 178257920 26315 18446744073709551615 4198400 6788177 140733327565440 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 13340672 140733327567191 140733327567318 140733327567318 140733327572922 0
Current children cumulated CPU time: 6.51 s
Current children cumulated vsize: 174080 KiB
Current children cumulated memory: 105260 KiB

[startup+12.7004 s]
/proc/loadavg: 6.35 6.27 6.08 7/254 89180
/proc/meminfo: memFree=129461092/131382120 swapFree=33010160/33010684
[pid=89178] ppid=89175 vsize=174080 memory=105260 CPUtime=12.89 cores=0,2
/proc/89178/stat : 89178 (pb_competition_) R 89175 89178 88085 0 -1 4194304 108142 0 0 0 1271 18 0 0 20 0 2 0 78821522 178257920 26315 18446744073709551615 4198400 6788177 140733327565440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 13340672 140733327567191 140733327567318 140733327567318 140733327572922 0
/proc/89178/statm: 43520 26315 672 633 0 27780 0
[pid=89178/tid=89180] ppid=89175 vsize=174080 memory=105260 CPUtime=0.3 cores=0,2
/proc/89178/task/89180/stat : 89180 (pb_competition_) S 89175 89178 88085 0 -1 4194368 1439 0 0 0 29 1 0 0 20 0 2 0 78821523 178257920 26315 18446744073709551615 4198400 6788177 140733327565440 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 13340672 140733327567191 140733327567318 140733327567318 140733327572922 0
Current children cumulated CPU time: 12.89 s
Current children cumulated vsize: 174080 KiB
Current children cumulated memory: 105260 KiB

[startup+25.5003 s]
/proc/loadavg: 6.35 6.27 6.08 6/254 89181
/proc/meminfo: memFree=129461164/131382120 swapFree=33010160/33010684
[pid=89178] ppid=89175 vsize=174344 memory=105516 CPUtime=26.31 cores=0,2
/proc/89178/stat : 89178 (pb_competition_) R 89175 89178 88085 0 -1 4194304 128538 0 0 0 2610 21 0 0 20 0 2 0 78821522 178528256 26379 18446744073709551615 4198400 6788177 140733327565440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 13340672 140733327567191 140733327567318 140733327567318 140733327572922 0
/proc/89178/statm: 43586 26379 672 633 0 27846 0
[pid=89178/tid=89180] ppid=89175 vsize=174344 memory=105388 CPUtime=0.97 cores=0,2
/proc/89178/task/89180/stat : 89180 (pb_competition_) R 89175 89178 88085 0 -1 4194368 1442 0 0 0 96 1 0 0 20 0 2 0 78821523 178528256 26379 18446744073709551615 4198400 6788177 140733327565440 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 13340672 140733327567191 140733327567318 140733327567318 140733327572922 0
Current children cumulated CPU time: 26.31 s
Current children cumulated vsize: 174344 KiB
Current children cumulated memory: 105516 KiB

[startup+51.113 s]
/proc/loadavg: 6.23 6.25 6.08 7/254 89181
/proc/meminfo: memFree=129461036/131382120 swapFree=33010160/33010684
[pid=89178] ppid=89175 vsize=180472 memory=111660 CPUtime=56 cores=0,2
/proc/89178/stat : 89178 (pb_competition_) R 89175 89178 88085 0 -1 4194304 148038 0 0 0 5573 27 0 0 20 0 2 0 78821522 184803328 27915 18446744073709551615 4198400 6788177 140733327565440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 13340672 140733327567191 140733327567318 140733327567318 140733327572922 0
/proc/89178/statm: 45118 27915 672 633 0 29378 0
[pid=89178/tid=89180] ppid=89175 vsize=180472 memory=18432 CPUtime=5.17 cores=0,2
/proc/89178/task/89180/stat : 89180 (pb_competition_) S 89175 89178 88085 0 -1 4194368 1448 0 0 0 515 2 0 0 20 0 2 0 78821523 184803328 27915 18446744073709551615 4198400 6788177 140733327565440 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 13340672 140733327567191 140733327567318 140733327567318 140733327572922 0
Current children cumulated CPU time: 56 s
Current children cumulated vsize: 180472 KiB
Current children cumulated memory: 111660 KiB

[startup+102.3 s]
/proc/loadavg: 5.99 6.19 6.07 7/254 89187
/proc/meminfo: memFree=129461972/131382120 swapFree=33010160/33010684
[pid=89178] ppid=89175 vsize=180472 memory=111660 CPUtime=107.04 cores=0,2
/proc/89178/stat : 89178 (pb_competition_) R 89175 89178 88085 0 -1 4194304 182783 0 0 0 10664 40 0 0 20 0 2 0 78821522 184803328 27915 18446744073709551615 4198400 6788177 140733327565440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 13340672 140733327567191 140733327567318 140733327567318 140733327572922 0
/proc/89178/statm: 45118 27915 672 633 0 29378 0
[pid=89178/tid=89180] ppid=89175 vsize=180472 memory=18432 CPUtime=5.17 cores=0,2
/proc/89178/task/89180/stat : 89180 (pb_competition_) S 89175 89178 88085 0 -1 4194368 1448 0 0 0 515 2 0 0 20 0 2 0 78821523 184803328 27915 18446744073709551615 4198400 6788177 140733327565440 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 13340672 140733327567191 140733327567318 140733327567318 140733327572922 0
Current children cumulated CPU time: 107.04 s
Current children cumulated vsize: 180472 KiB
Current children cumulated memory: 111660 KiB

[startup+162.3 s]
/proc/loadavg: 6.08 6.17 6.07 7/254 89235
/proc/meminfo: memFree=129634648/131382120 swapFree=33010160/33010684
[pid=89178] ppid=89175 vsize=180472 memory=111660 CPUtime=166.85 cores=0,2
/proc/89178/stat : 89178 (pb_competition_) R 89175 89178 88085 0 -1 4194304 216994 0 0 0 16630 55 0 0 20 0 2 0 78821522 184803328 27915 18446744073709551615 4198400 6788177 140733327565440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 13340672 140733327567191 140733327567318 140733327567318 140733327572922 0
/proc/89178/statm: 45118 27915 672 633 0 29378 0
[pid=89178/tid=89180] ppid=89175 vsize=180472 memory=111660 CPUtime=5.17 cores=0,2
/proc/89178/task/89180/stat : 89180 (pb_competition_) S 89175 89178 88085 0 -1 4194368 1448 0 0 0 515 2 0 0 20 0 2 0 78821523 184803328 27915 18446744073709551615 4198400 6788177 140733327565440 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 13340672 140733327567191 140733327567318 140733327567318 140733327572922 0
Current children cumulated CPU time: 166.85 s
Current children cumulated vsize: 180472 KiB
Current children cumulated memory: 111660 KiB

[startup+222.3 s]
/proc/loadavg: 6.08 6.15 6.07 7/254 89237
/proc/meminfo: memFree=129633704/131382120 swapFree=33010160/33010684
[pid=89178] ppid=89175 vsize=180472 memory=111660 CPUtime=226.67 cores=0,2
/proc/89178/stat : 89178 (pb_competition_) R 89175 89178 88085 0 -1 4194304 217675 0 0 0 22601 66 0 0 20 0 2 0 78821522 184803328 27915 18446744073709551615 4198400 6788177 140733327565440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 13340672 140733327567191 140733327567318 140733327567318 140733327572922 0
/proc/89178/statm: 45118 27915 672 633 0 29378 0
[pid=89178/tid=89180] ppid=89175 vsize=180472 memory=111660 CPUtime=5.17 cores=0,2
/proc/89178/task/89180/stat : 89180 (pb_competition_) S 89175 89178 88085 0 -1 4194368 1448 0 0 0 515 2 0 0 20 0 2 0 78821523 184803328 27915 18446744073709551615 4198400 6788177 140733327565440 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 13340672 140733327567191 140733327567318 140733327567318 140733327572922 0
Current children cumulated CPU time: 226.67 s
Current children cumulated vsize: 180472 KiB
Current children cumulated memory: 111660 KiB

[startup+282.3 s]
/proc/loadavg: 6.07 6.14 6.07 7/254 89239
/proc/meminfo: memFree=129647516/131382120 swapFree=33010160/33010684
[pid=89178] ppid=89175 vsize=180472 memory=111660 CPUtime=286.52 cores=0,2
/proc/89178/stat : 89178 (pb_competition_) R 89175 89178 88085 0 -1 4194304 219375 0 0 0 28573 79 0 0 20 0 2 0 78821522 184803328 27915 18446744073709551615 4198400 6788177 140733327565440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 13340672 140733327567191 140733327567318 140733327567318 140733327572922 0
/proc/89178/statm: 45118 27915 672 633 0 29378 0
[pid=89178/tid=89180] ppid=89175 vsize=180472 memory=111660 CPUtime=5.17 cores=0,2
/proc/89178/task/89180/stat : 89180 (pb_competition_) S 89175 89178 88085 0 -1 4194368 1448 0 0 0 515 2 0 0 20 0 2 0 78821523 184803328 27915 18446744073709551615 4198400 6788177 140733327565440 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 13340672 140733327567191 140733327567318 140733327567318 140733327572922 0
Current children cumulated CPU time: 286.52 s
Current children cumulated vsize: 180472 KiB
Current children cumulated memory: 111660 KiB

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

/proc/meminfo: memFree=129544640/131382120 swapFree=33010160/33010684
[pid=89178] ppid=89175 vsize=180472 memory=111660 CPUtime=3008.93 cores=0,2
/proc/89178/stat : 89178 (pb_competition_) R 89175 89178 88085 0 -1 4194304 248296 0 0 0 300370 523 0 0 20 0 2 0 78821522 184803328 27915 18446744073709551615 4198400 6788177 140733327565440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 13340672 140733327567191 140733327567318 140733327567318 140733327572922 0
/proc/89178/statm: 45118 27915 672 633 0 29378 0
[pid=89178/tid=89180] ppid=89175 vsize=180472 memory=16248 CPUtime=36.25 cores=0,2
/proc/89178/task/89180/stat : 89180 (pb_competition_) S 89175 89178 88085 0 -1 4194368 1450 0 0 0 3612 13 0 0 20 0 2 0 78821523 184803328 27915 18446744073709551615 4198400 6788177 140733327565440 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 13340672 140733327567191 140733327567318 140733327567318 140733327572922 0
Current children cumulated CPU time: 3008.93 s
Current children cumulated vsize: 180472 KiB
Current children cumulated memory: 111660 KiB

[startup+3042.3 s]
/proc/loadavg: 4.69 5.44 5.90 4/247 89545
/proc/meminfo: memFree=129570740/131382120 swapFree=33010160/33010684
[pid=89178] ppid=89175 vsize=180472 memory=111660 CPUtime=3068.73 cores=0,2
/proc/89178/stat : 89178 (pb_competition_) R 89175 89178 88085 0 -1 4194304 248296 0 0 0 306341 532 0 0 20 0 2 0 78821522 184803328 27915 18446744073709551615 4198400 6788177 140733327565440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 13340672 140733327567191 140733327567318 140733327567318 140733327572922 0
/proc/89178/statm: 45118 27915 672 633 0 29378 0
[pid=89178/tid=89180] ppid=89175 vsize=180472 memory=111660 CPUtime=36.25 cores=0,2
/proc/89178/task/89180/stat : 89180 (pb_competition_) S 89175 89178 88085 0 -1 4194368 1450 0 0 0 3612 13 0 0 20 0 2 0 78821523 184803328 27915 18446744073709551615 4198400 6788177 140733327565440 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 13340672 140733327567191 140733327567318 140733327567318 140733327572922 0
Current children cumulated CPU time: 3068.73 s
Current children cumulated vsize: 180472 KiB
Current children cumulated memory: 111660 KiB

[startup+3102.3 s]
/proc/loadavg: 3.68 5.01 5.72 4/246 89547
/proc/meminfo: memFree=129570284/131382120 swapFree=33010160/33010684
[pid=89178] ppid=89175 vsize=180472 memory=111660 CPUtime=3128.51 cores=0,2
/proc/89178/stat : 89178 (pb_competition_) R 89175 89178 88085 0 -1 4194304 249613 0 0 0 312308 543 0 0 20 0 2 0 78821522 184803328 27915 18446744073709551615 4198400 6788177 140733327565440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 13340672 140733327567191 140733327567318 140733327567318 140733327572922 0
/proc/89178/statm: 45118 27915 672 633 0 29378 0
[pid=89178/tid=89180] ppid=89175 vsize=180472 memory=111660 CPUtime=36.25 cores=0,2
/proc/89178/task/89180/stat : 89180 (pb_competition_) S 89175 89178 88085 0 -1 4194368 1450 0 0 0 3612 13 0 0 20 0 2 0 78821523 184803328 27915 18446744073709551615 4198400 6788177 140733327565440 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 13340672 140733327567191 140733327567318 140733327567318 140733327572922 0
Current children cumulated CPU time: 3128.51 s
Current children cumulated vsize: 180472 KiB
Current children cumulated memory: 111660 KiB

[startup+3162.3 s]
/proc/loadavg: 3.29 4.65 5.56 4/247 89554
/proc/meminfo: memFree=129570452/131382120 swapFree=33010160/33010684
[pid=89178] ppid=89175 vsize=180472 memory=111660 CPUtime=3188.3 cores=0,2
/proc/89178/stat : 89178 (pb_competition_) R 89175 89178 88085 0 -1 4194304 249988 0 0 0 318278 552 0 0 20 0 2 0 78821522 184803328 27915 18446744073709551615 4198400 6788177 140733327565440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 13340672 140733327567191 140733327567318 140733327567318 140733327572922 0
/proc/89178/statm: 45118 27915 672 633 0 29378 0
[pid=89178/tid=89180] ppid=89175 vsize=180472 memory=111660 CPUtime=36.25 cores=0,2
/proc/89178/task/89180/stat : 89180 (pb_competition_) S 89175 89178 88085 0 -1 4194368 1450 0 0 0 3612 13 0 0 20 0 2 0 78821523 184803328 27915 18446744073709551615 4198400 6788177 140733327565440 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 13340672 140733327567191 140733327567318 140733327567318 140733327572922 0
Current children cumulated CPU time: 3188.3 s
Current children cumulated vsize: 180472 KiB
Current children cumulated memory: 111660 KiB

[startup+3222.3 s]
/proc/loadavg: 3.14 4.36 5.40 4/247 89557
/proc/meminfo: memFree=129571504/131382120 swapFree=33010160/33010684
[pid=89178] ppid=89175 vsize=180472 memory=111660 CPUtime=3248.1 cores=0,2
/proc/89178/stat : 89178 (pb_competition_) R 89175 89178 88085 0 -1 4194304 249997 0 0 0 324247 563 0 0 20 0 2 0 78821522 184803328 27915 18446744073709551615 4198400 6788177 140733327565440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 13340672 140733327567191 140733327567318 140733327567318 140733327572922 0
/proc/89178/statm: 45118 27915 672 633 0 29378 0
[pid=89178/tid=89180] ppid=89175 vsize=180472 memory=111660 CPUtime=36.25 cores=0,2
/proc/89178/task/89180/stat : 89180 (pb_competition_) S 89175 89178 88085 0 -1 4194368 1450 0 0 0 3612 13 0 0 20 0 2 0 78821523 184803328 27915 18446744073709551615 4198400 6788177 140733327565440 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 13340672 140733327567191 140733327567318 140733327567318 140733327572922 0
Current children cumulated CPU time: 3248.1 s
Current children cumulated vsize: 180472 KiB
Current children cumulated memory: 111660 KiB

[startup+3282.3 s]
/proc/loadavg: 3.22 4.16 5.26 4/247 89559
/proc/meminfo: memFree=129571540/131382120 swapFree=33010160/33010684
[pid=89178] ppid=89175 vsize=180472 memory=111660 CPUtime=3307.89 cores=0,2
/proc/89178/stat : 89178 (pb_competition_) R 89175 89178 88085 0 -1 4194304 249997 0 0 0 330216 573 0 0 20 0 2 0 78821522 184803328 27915 18446744073709551615 4198400 6788177 140733327565440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 13340672 140733327567191 140733327567318 140733327567318 140733327572922 0
/proc/89178/statm: 45118 27915 672 633 0 29378 0
[pid=89178/tid=89180] ppid=89175 vsize=180472 memory=111660 CPUtime=36.25 cores=0,2
/proc/89178/task/89180/stat : 89180 (pb_competition_) S 89175 89178 88085 0 -1 4194368 1450 0 0 0 3612 13 0 0 20 0 2 0 78821523 184803328 27915 18446744073709551615 4198400 6788177 140733327565440 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 13340672 140733327567191 140733327567318 140733327567318 140733327572922 0
Current children cumulated CPU time: 3307.89 s
Current children cumulated vsize: 180472 KiB
Current children cumulated memory: 111660 KiB

[startup+3342.3 s]
/proc/loadavg: 3.20 3.98 5.13 4/247 89561
/proc/meminfo: memFree=129572480/131382120 swapFree=33010160/33010684
[pid=89178] ppid=89175 vsize=180472 memory=111660 CPUtime=3367.68 cores=0,2
/proc/89178/stat : 89178 (pb_competition_) R 89175 89178 88085 0 -1 4194304 251697 0 0 0 336186 582 0 0 20 0 2 0 78821522 184803328 27915 18446744073709551615 4198400 6788177 140733327565440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 13340672 140733327567191 140733327567318 140733327567318 140733327572922 0
/proc/89178/statm: 45118 27915 672 633 0 29378 0
[pid=89178/tid=89180] ppid=89175 vsize=180472 memory=111660 CPUtime=36.25 cores=0,2
/proc/89178/task/89180/stat : 89180 (pb_competition_) S 89175 89178 88085 0 -1 4194368 1450 0 0 0 3612 13 0 0 20 0 2 0 78821523 184803328 27915 18446744073709551615 4198400 6788177 140733327565440 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 13340672 140733327567191 140733327567318 140733327567318 140733327572922 0
Current children cumulated CPU time: 3367.68 s
Current children cumulated vsize: 180472 KiB
Current children cumulated memory: 111660 KiB

[startup+3402.3 s]
/proc/loadavg: 3.13 3.81 5.00 4/247 89562
/proc/meminfo: memFree=129572736/131382120 swapFree=33010160/33010684
[pid=89178] ppid=89175 vsize=180472 memory=111660 CPUtime=3427.47 cores=0,2
/proc/89178/stat : 89178 (pb_competition_) R 89175 89178 88085 0 -1 4194304 251698 0 0 0 342152 595 0 0 20 0 2 0 78821522 184803328 27915 18446744073709551615 4198400 6788177 140733327565440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 13340672 140733327567191 140733327567318 140733327567318 140733327572922 0
/proc/89178/statm: 45118 27915 672 633 0 29378 0
[pid=89178/tid=89180] ppid=89175 vsize=180472 memory=111660 CPUtime=36.25 cores=0,2
/proc/89178/task/89180/stat : 89180 (pb_competition_) S 89175 89178 88085 0 -1 4194368 1450 0 0 0 3612 13 0 0 20 0 2 0 78821523 184803328 27915 18446744073709551615 4198400 6788177 140733327565440 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 13340672 140733327567191 140733327567318 140733327567318 140733327572922 0
Current children cumulated CPU time: 3427.47 s
Current children cumulated vsize: 180472 KiB
Current children cumulated memory: 111660 KiB

[startup+3462.3 s]
/proc/loadavg: 3.18 3.69 4.88 4/247 89564
/proc/meminfo: memFree=129573244/131382120 swapFree=33010160/33010684
[pid=89178] ppid=89175 vsize=180472 memory=111660 CPUtime=3487.27 cores=0,2
/proc/89178/stat : 89178 (pb_competition_) R 89175 89178 88085 0 -1 4194304 253015 0 0 0 348120 607 0 0 20 0 2 0 78821522 184803328 27915 18446744073709551615 4198400 6788177 140733327565440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 13340672 140733327567191 140733327567318 140733327567318 140733327572922 0
/proc/89178/statm: 45118 27915 672 633 0 29378 0
[pid=89178/tid=89180] ppid=89175 vsize=180472 memory=111660 CPUtime=36.25 cores=0,2
/proc/89178/task/89180/stat : 89180 (pb_competition_) S 89175 89178 88085 0 -1 4194368 1450 0 0 0 3612 13 0 0 20 0 2 0 78821523 184803328 27915 18446744073709551615 4198400 6788177 140733327565440 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 13340672 140733327567191 140733327567318 140733327567318 140733327572922 0
Current children cumulated CPU time: 3487.27 s
Current children cumulated vsize: 180472 KiB
Current children cumulated memory: 111660 KiB

[startup+3522.3 s]
/proc/loadavg: 3.80 3.78 4.83 5/247 89566
/proc/meminfo: memFree=129573968/131382120 swapFree=33010160/33010684
[pid=89178] ppid=89175 vsize=180472 memory=111660 CPUtime=3547.06 cores=0,2
/proc/89178/stat : 89178 (pb_competition_) R 89175 89178 88085 0 -1 4194304 253390 0 0 0 354089 617 0 0 20 0 2 0 78821522 184803328 27915 18446744073709551615 4198400 6788177 140733327565440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 13340672 140733327567191 140733327567318 140733327567318 140733327572922 0
/proc/89178/statm: 45118 27915 672 633 0 29378 0
[pid=89178/tid=89180] ppid=89175 vsize=180472 memory=111660 CPUtime=36.25 cores=0,2
/proc/89178/task/89180/stat : 89180 (pb_competition_) S 89175 89178 88085 0 -1 4194368 1450 0 0 0 3612 13 0 0 20 0 2 0 78821523 184803328 27915 18446744073709551615 4198400 6788177 140733327565440 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 13340672 140733327567191 140733327567318 140733327567318 140733327572922 0
Current children cumulated CPU time: 3547.06 s
Current children cumulated vsize: 180472 KiB
Current children cumulated memory: 111660 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3575.5 s]
/proc/loadavg: 3.78 3.77 4.77 4/247 89570
/proc/meminfo: memFree=129572760/131382120 swapFree=33010160/33010684
[pid=89178] ppid=89175 vsize=180472 memory=111660 CPUtime=3600.07 cores=0,2
/proc/89178/stat : 89178 (pb_competition_) R 89175 89178 88085 0 -1 4194304 253399 0 0 0 359381 626 0 0 20 0 2 0 78821522 184803328 27915 18446744073709551615 4198400 6788177 140733327565440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 13340672 140733327567191 140733327567318 140733327567318 140733327572922 0
/proc/89178/statm: 45118 27915 672 633 0 29378 0
[pid=89178/tid=89180] ppid=89175 vsize=180472 memory=16248 CPUtime=36.25 cores=0,2
/proc/89178/task/89180/stat : 89180 (pb_competition_) S 89175 89178 88085 0 -1 4194368 1450 0 0 0 3612 13 0 0 20 0 2 0 78821523 184803328 27915 18446744073709551615 4198400 6788177 140733327565440 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 13340672 140733327567191 140733327567318 140733327567318 140733327572922 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 180472 KiB
Current children cumulated memory: 111660 KiB

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

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

# cumulated CPU time of all completed processes:  user=3593.87 s, system=6.26139 s

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

[startup+3575.5 s]
/proc/loadavg: 3.78 3.77 4.77 4/247 89570
/proc/meminfo: memFree=129572760/131382120 swapFree=33010160/33010684
[pid=89178] ppid=89175 vsize=180472 memory=111660 CPUtime=3600.07 cores=0,2
/proc/89178/stat : 89178 (pb_competition_) R 89175 89178 88085 0 -1 4194304 253399 0 0 0 359381 626 0 0 20 0 2 0 78821522 184803328 27915 18446744073709551615 4198400 6788177 140733327565440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 13340672 140733327567191 140733327567318 140733327567318 140733327572922 0
/proc/89178/statm: 45118 27915 672 633 0 29378 0
[pid=89178/tid=89180] ppid=89175 vsize=180472 memory=16248 CPUtime=36.25 cores=0,2
/proc/89178/task/89180/stat : 89180 (pb_competition_) S 89175 89178 88085 0 -1 4194368 1450 0 0 0 3612 13 0 0 20 0 2 0 78821523 184803328 27915 18446744073709551615 4198400 6788177 140733327565440 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 13340672 140733327567191 140733327567318 140733327567318 140733327572922 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 180472 KiB
Current children cumulated memory: 111660 KiB

Child status: 0

Real time (s): 3575.55
CPU time (s): 3600.13
CPU user time (s): 3593.87
CPU system time (s): 6.26139
CPU usage (%): 100.687
Max. virtual memory (cumulated for all children) (KiB): 180472
Max. memory (cumulated for all children) (KiB): 111660

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.87
system time used= 6.26139
maximum resident set size= 111660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 255282
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= 4948
involuntary context switches= 8389


# summary of solver processes directly reported to runsolver:
#   pid: 89178
#   total CPU time (s): 3600.13
#   total CPU user time (s): 3593.87
#   total CPU system time (s): 6.26139

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.3954 second user time and 35.014 second system time

The end