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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4499670-1751405145/watcher-4499670-1751405145 -o /tmp/evaluation-result-4499670-1751405145/solver-4499670-1751405145 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751395822-56305 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 1117529031 HOME/instance-4499670-1751405145.opb 

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
solver pid=57868, runsolver pid=57865
Current StackSize limit: 8192 KiB


[startup+0.100066 s]*
/proc/loadavg: 4.67 4.56 4.68 5/269 57870
/proc/meminfo: memFree=108574584/131249988 swapFree=33010160/33010684
[pid=57868] ppid=57865 vsize=137248 memory=64428 CPUtime=0.15 cores=0,2
/proc/57868/stat : 57868 (pb_competition_) R 57865 57868 56290 0 -1 4194304 9967 0 0 0 13 2 0 0 20 0 2 0 56193345 140541952 16107 18446744073709551615 4198400 6788177 140733486084080 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 7336896 7391280 21737472 140733486086489 140733486086616 140733486086616 140733486092218 0
/proc/57868/statm: 34312 16107 608 633 0 19693 0
[pid=57868/tid=57870] ppid=57865 vsize=137248 memory=4026531960 CPUtime=0.05 cores=0,2
/proc/57868/task/57870/stat : 57870 (pb_competition_) S 57865 57868 56290 0 -1 4194368 2552 0 0 0 5 0 0 0 20 0 2 0 56193346 140541952 16107 18446744073709551615 4198400 6788177 140733486084080 0 0 0 0 0 0 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 21737472 140733486086489 140733486086616 140733486086616 140733486092218 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 137248 KiB
Current children cumulated memory: 64428 KiB

[startup+0.205833 s]*
/proc/loadavg: 4.67 4.56 4.68 6/269 57870
/proc/meminfo: memFree=108534576/131249988 swapFree=33010160/33010684
[pid=57868] ppid=57865 vsize=153396 memory=96568 CPUtime=0.32 cores=0,2
/proc/57868/stat : 57868 (pb_competition_) R 57865 57868 56290 0 -1 4194304 15918 0 0 0 29 3 0 0 20 0 2 0 56193345 157077504 24142 18446744073709551615 4198400 6788177 140733486084080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 21737472 140733486086489 140733486086616 140733486086616 140733486092218 0
/proc/57868/statm: 38349 24142 640 633 0 25672 0
[pid=57868/tid=57870] ppid=57865 vsize=153396 memory=664958721904869660 CPUtime=0.12 cores=0,2
/proc/57868/task/57870/stat : 57870 (pb_competition_) S 57865 57868 56290 0 -1 4194368 4495 0 0 0 11 1 0 0 20 0 2 0 56193346 157077504 24142 18446744073709551615 4198400 6788177 140733486084080 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 21737472 140733486086489 140733486086616 140733486086616 140733486092218 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 153396 KiB
Current children cumulated memory: 96568 KiB

[startup+0.305662 s]*
/proc/loadavg: 4.67 4.56 4.68 5/269 57870
/proc/meminfo: memFree=108526512/131249988 swapFree=33010160/33010684
[pid=57868] ppid=57865 vsize=166320 memory=109752 CPUtime=0.42 cores=0,2
/proc/57868/stat : 57868 (pb_competition_) R 57865 57868 56290 0 -1 4194304 19184 0 0 0 38 4 0 0 20 0 2 0 56193345 170311680 27438 18446744073709551615 4198400 6788177 140733486084080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 21737472 140733486086489 140733486086616 140733486086616 140733486092218 0
/proc/57868/statm: 41580 27438 672 633 0 28903 0
[pid=57868/tid=57870] ppid=57865 vsize=166320 memory=7970956310263709554 CPUtime=0.12 cores=0,2
/proc/57868/task/57870/stat : 57870 (pb_competition_) S 57865 57868 56290 0 -1 4194368 4495 0 0 0 11 1 0 0 20 0 2 0 56193346 170311680 27438 18446744073709551615 4198400 6788177 140733486084080 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 21737472 140733486086489 140733486086616 140733486086616 140733486092218 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 166320 KiB
Current children cumulated memory: 109752 KiB

[startup+0.700195 s]
/proc/loadavg: 4.67 4.56 4.68 5/269 57870
/proc/meminfo: memFree=108478316/131249988 swapFree=33010160/33010684
[pid=57868] ppid=57865 vsize=263288 memory=206776 CPUtime=0.8 cores=0,2
/proc/57868/stat : 57868 (pb_competition_) R 57865 57868 56290 0 -1 4194304 43425 0 0 0 73 7 0 0 20 0 2 0 56193345 269606912 51694 18446744073709551615 4198400 6788177 140733486084080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 21737472 140733486086489 140733486086616 140733486086616 140733486092218 0
/proc/57868/statm: 65822 51694 672 633 0 53145 0
[pid=57868/tid=57870] ppid=57865 vsize=263288 memory=18432 CPUtime=0.12 cores=0,2
/proc/57868/task/57870/stat : 57870 (pb_competition_) S 57865 57868 56290 0 -1 4194368 4495 0 0 0 11 1 0 0 20 0 2 0 56193346 269606912 51694 18446744073709551615 4198400 6788177 140733486084080 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 21737472 140733486086489 140733486086616 140733486086616 140733486092218 0
Current children cumulated CPU time: 0.8 s
Current children cumulated vsize: 263288 KiB
Current children cumulated memory: 206776 KiB

[startup+1.50022 s]
/proc/loadavg: 4.67 4.56 4.68 6/269 57870
/proc/meminfo: memFree=108413804/131249988 swapFree=33010160/33010684
[pid=57868] ppid=57865 vsize=263288 memory=206776 CPUtime=1.7 cores=0,2
/proc/57868/stat : 57868 (pb_competition_) R 57865 57868 56290 0 -1 4194304 66397 0 0 0 161 9 0 0 20 0 2 0 56193345 269606912 51694 18446744073709551615 4198400 6788177 140733486084080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 21737472 140733486086489 140733486086616 140733486086616 140733486092218 0
/proc/57868/statm: 65822 51694 672 633 0 53145 0
[pid=57868/tid=57870] ppid=57865 vsize=263288 memory=18432 CPUtime=0.22 cores=0,2
/proc/57868/task/57870/stat : 57870 (pb_competition_) S 57865 57868 56290 0 -1 4194368 4658 0 0 0 21 1 0 0 20 0 2 0 56193346 269606912 51694 18446744073709551615 4198400 6788177 140733486084080 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 21737472 140733486086489 140733486086616 140733486086616 140733486092218 0
Current children cumulated CPU time: 1.7 s
Current children cumulated vsize: 263288 KiB
Current children cumulated memory: 206776 KiB

[startup+3.10572 s]
/proc/loadavg: 4.67 4.56 4.68 5/269 57870
/proc/meminfo: memFree=108413812/131249988 swapFree=33010160/33010684
[pid=57868] ppid=57865 vsize=263288 memory=206776 CPUtime=3.78 cores=0,2
/proc/57868/stat : 57868 (pb_competition_) R 57865 57868 56290 0 -1 4194304 69232 0 0 0 369 9 0 0 20 0 2 0 56193345 269606912 51694 18446744073709551615 4198400 6788177 140733486084080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 21737472 140733486086489 140733486086616 140733486086616 140733486092218 0
/proc/57868/statm: 65822 51694 672 633 0 53145 0
[pid=57868/tid=57870] ppid=57865 vsize=263288 memory=206776 CPUtime=0.7 cores=0,2
/proc/57868/task/57870/stat : 57870 (pb_competition_) S 57865 57868 56290 0 -1 4194368 4729 0 0 0 69 1 0 0 20 0 2 0 56193346 269606912 51694 18446744073709551615 4198400 6788177 140733486084080 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 21737472 140733486086489 140733486086616 140733486086616 140733486092218 0
Current children cumulated CPU time: 3.78 s
Current children cumulated vsize: 263288 KiB
Current children cumulated memory: 206776 KiB

[startup+6.30018 s]
/proc/loadavg: 4.62 4.55 4.67 6/269 57870
/proc/meminfo: memFree=108414112/131249988 swapFree=33010160/33010684
[pid=57868] ppid=57865 vsize=263420 memory=206776 CPUtime=7.53 cores=0,2
/proc/57868/stat : 57868 (pb_competition_) R 57865 57868 56290 0 -1 4194304 115367 0 0 0 740 13 0 0 20 0 2 0 56193345 269742080 51694 18446744073709551615 4198400 6788177 140733486084080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 21737472 140733486086489 140733486086616 140733486086616 140733486092218 0
/proc/57868/statm: 65855 51694 672 633 0 53178 0
[pid=57868/tid=57870] ppid=57865 vsize=263420 memory=18432 CPUtime=1.27 cores=0,2
/proc/57868/task/57870/stat : 57870 (pb_competition_) S 57865 57868 56290 0 -1 4194368 5184 0 0 0 126 1 0 0 20 0 2 0 56193346 269742080 51694 18446744073709551615 4198400 6788177 140733486084080 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 21737472 140733486086489 140733486086616 140733486086616 140733486092218 0
Current children cumulated CPU time: 7.53 s
Current children cumulated vsize: 263420 KiB
Current children cumulated memory: 206776 KiB

[startup+12.7002 s]
/proc/loadavg: 4.65 4.56 4.67 6/268 57870
/proc/meminfo: memFree=108414136/131249988 swapFree=33010160/33010684
[pid=57868] ppid=57865 vsize=263420 memory=206904 CPUtime=14.7 cores=0,2
/proc/57868/stat : 57868 (pb_competition_) R 57865 57868 56290 0 -1 4194304 160195 0 0 0 1453 17 0 0 20 0 2 0 56193345 269742080 51726 18446744073709551615 4198400 6788177 140733486084080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 21737472 140733486086489 140733486086616 140733486086616 140733486092218 0
/proc/57868/statm: 65855 51726 672 633 0 53178 0
[pid=57868/tid=57870] ppid=57865 vsize=263420 memory=206904 CPUtime=2.07 cores=0,2
/proc/57868/task/57870/stat : 57870 (pb_competition_) S 57865 57868 56290 0 -1 4194368 5671 0 0 0 205 2 0 0 20 0 2 0 56193346 269742080 51726 18446744073709551615 4198400 6788177 140733486084080 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 21737472 140733486086489 140733486086616 140733486086616 140733486092218 0
Current children cumulated CPU time: 14.7 s
Current children cumulated vsize: 263420 KiB
Current children cumulated memory: 206904 KiB

[startup+25.5002 s]
/proc/loadavg: 4.66 4.56 4.67 6/269 57872
/proc/meminfo: memFree=108414848/131249988 swapFree=33010160/33010684
[pid=57868] ppid=57865 vsize=263684 memory=207032 CPUtime=28.98 cores=0,2
/proc/57868/stat : 57868 (pb_competition_) R 57865 57868 56290 0 -1 4194304 216962 0 0 0 2877 21 0 0 20 0 2 0 56193345 270012416 51758 18446744073709551615 4198400 6788177 140733486084080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 21737472 140733486086489 140733486086616 140733486086616 140733486092218 0
/proc/57868/statm: 65921 51758 672 633 0 53244 0
[pid=57868/tid=57870] ppid=57865 vsize=263684 memory=207032 CPUtime=3.62 cores=0,2
/proc/57868/task/57870/stat : 57870 (pb_competition_) S 57865 57868 56290 0 -1 4194368 6535 0 0 0 360 2 0 0 20 0 2 0 56193346 270012416 51758 18446744073709551615 4198400 6788177 140733486084080 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 21737472 140733486086489 140733486086616 140733486086616 140733486092218 0
Current children cumulated CPU time: 28.98 s
Current children cumulated vsize: 263684 KiB
Current children cumulated memory: 207032 KiB

[startup+51.1056 s]
/proc/loadavg: 4.58 4.55 4.66 7/269 57872
/proc/meminfo: memFree=108416136/131249988 swapFree=33010160/33010684
[pid=57868] ppid=57865 vsize=263948 memory=207288 CPUtime=56.95 cores=0,2
/proc/57868/stat : 57868 (pb_competition_) R 57865 57868 56290 0 -1 4194304 270492 0 0 0 5669 26 0 0 20 0 2 0 56193345 270282752 51822 18446744073709551615 4198400 6788177 140733486084080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 21737472 140733486086489 140733486086616 140733486086616 140733486092218 0
/proc/57868/statm: 65987 51822 672 633 0 53310 0
[pid=57868/tid=57870] ppid=57865 vsize=263948 memory=18432 CPUtime=6.09 cores=0,2
/proc/57868/task/57870/stat : 57870 (pb_competition_) S 57865 57868 56290 0 -1 4194368 7293 0 0 0 606 3 0 0 20 0 2 0 56193346 270282752 51822 18446744073709551615 4198400 6788177 140733486084080 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 21737472 140733486086489 140733486086616 140733486086616 140733486092218 0
Current children cumulated CPU time: 56.95 s
Current children cumulated vsize: 263948 KiB
Current children cumulated memory: 207288 KiB

[startup+102.3 s]
/proc/loadavg: 4.43 4.51 4.64 5/269 57874
/proc/meminfo: memFree=108420760/131249988 swapFree=33010160/33010684
[pid=57868] ppid=57865 vsize=264212 memory=207672 CPUtime=109.84 cores=0,2
/proc/57868/stat : 57868 (pb_competition_) R 57865 57868 56290 0 -1 4194304 347200 0 0 0 10949 35 0 0 20 0 2 0 56193345 270553088 51918 18446744073709551615 4198400 6788177 140733486084080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 21737472 140733486086489 140733486086616 140733486086616 140733486092218 0
/proc/57868/statm: 66053 51918 672 633 0 53376 0
[pid=57868/tid=57870] ppid=57865 vsize=264212 memory=18432 CPUtime=8 cores=0,2
/proc/57868/task/57870/stat : 57870 (pb_competition_) S 57865 57868 56290 0 -1 4194368 7730 0 0 0 796 4 0 0 20 0 2 0 56193346 270553088 51918 18446744073709551615 4198400 6788177 140733486084080 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 21737472 140733486086489 140733486086616 140733486086616 140733486092218 0
Current children cumulated CPU time: 109.84 s
Current children cumulated vsize: 264212 KiB
Current children cumulated memory: 207672 KiB

[startup+162.3 s]
/proc/loadavg: 5.25 4.76 4.72 6/269 57876
/proc/meminfo: memFree=108420904/131249988 swapFree=33010160/33010684
[pid=57868] ppid=57865 vsize=264212 memory=207672 CPUtime=172.48 cores=0,2
/proc/57868/stat : 57868 (pb_competition_) R 57865 57868 56290 0 -1 4194304 374870 0 0 0 17208 40 0 0 20 0 2 0 56193345 270553088 51918 18446744073709551615 4198400 6788177 140733486084080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 21737472 140733486086489 140733486086616 140733486086616 140733486092218 0
/proc/57868/statm: 66053 51918 672 633 0 53376 0
[pid=57868/tid=57870] ppid=57865 vsize=264212 memory=5632 CPUtime=10.9 cores=0,2
/proc/57868/task/57870/stat : 57870 (pb_competition_) S 57865 57868 56290 0 -1 4194368 8470 0 0 0 1085 5 0 0 20 0 2 0 56193346 270553088 51918 18446744073709551615 4198400 6788177 140733486084080 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 21737472 140733486086489 140733486086616 140733486086616 140733486092218 0
Current children cumulated CPU time: 172.48 s
Current children cumulated vsize: 264212 KiB
Current children cumulated memory: 207672 KiB

[startup+222.3 s]
/proc/loadavg: 4.91 4.75 4.72 5/268 57924
/proc/meminfo: memFree=108555868/131249988 swapFree=33010160/33010684
[pid=57868] ppid=57865 vsize=264212 memory=207672 CPUtime=238.77 cores=0,2
/proc/57868/stat : 57868 (pb_competition_) R 57865 57868 56290 0 -1 4194304 396437 0 0 0 23831 46 0 0 20 0 2 0 56193345 270553088 51918 18446744073709551615 4198400 6788177 140733486084080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 21737472 140733486086489 140733486086616 140733486086616 140733486092218 0
/proc/57868/statm: 66053 51918 672 633 0 53376 0
[pid=57868/tid=57870] ppid=57865 vsize=264212 memory=18432 CPUtime=17.48 cores=0,2
/proc/57868/task/57870/stat : 57870 (pb_competition_) S 57865 57868 56290 0 -1 4194368 8974 0 0 0 1741 7 0 0 20 0 2 0 56193346 270553088 51918 18446744073709551615 4198400 6788177 140733486084080 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 21737472 140733486086489 140733486086616 140733486086616 140733486092218 0
Current children cumulated CPU time: 238.77 s
Current children cumulated vsize: 264212 KiB
Current children cumulated memory: 207672 KiB

[startup+282.3 s]
/proc/loadavg: 4.91 4.78 4.74 5/269 57930
/proc/meminfo: memFree=108529444/131249988 swapFree=33010160/33010684
[pid=57868] ppid=57865 vsize=264344 memory=207672 CPUtime=305.32 cores=0,2
/proc/57868/stat : 57868 (pb_competition_) R 57865 57868 56290 0 -1 4194304 414302 0 0 0 30480 52 0 0 20 0 2 0 56193345 270688256 51918 18446744073709551615 4198400 6788177 140733486084080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 21737472 140733486086489 140733486086616 140733486086616 140733486092218 0
/proc/57868/statm: 66086 51918 672 633 0 53409 0
[pid=57868/tid=57870] ppid=57865 vsize=264344 memory=207672 CPUtime=24.3 cores=0,2
/proc/57868/task/57870/stat : 57870 (pb_competition_) S 57865 57868 56290 0 -1 4194368 9457 0 0 0 2421 9 0 0 20 0 2 0 56193346 270688256 51918 18446744073709551615 4198400 6788177 140733486084080 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 21737472 140733486086489 140733486086616 140733486086616 140733486092218 0
Current children cumulated CPU time: 305.32 s
Current children cumulated vsize: 264344 KiB
Current children cumulated memory: 207672 KiB

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

/proc/meminfo: memFree=108957592/131249988 swapFree=33010160/33010684
[pid=57868] ppid=57865 vsize=264608 memory=209592 CPUtime=2958.65 cores=0,2
/proc/57868/stat : 57868 (pb_competition_) R 57865 57868 56290 0 -1 4194304 466919 0 0 0 295662 203 0 0 20 0 2 0 56193345 270958592 52398 18446744073709551615 4198400 6788177 140733486084080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 21737472 140733486086489 140733486086616 140733486086616 140733486092218 0
/proc/57868/statm: 66152 52398 672 633 0 53475 0
[pid=57868/tid=57870] ppid=57865 vsize=264608 memory=3200 CPUtime=287.92 cores=0,2
/proc/57868/task/57870/stat : 57870 (pb_competition_) S 57865 57868 56290 0 -1 4194368 10728 0 0 0 28699 93 0 0 20 0 2 0 56193346 270958592 52398 18446744073709551615 4198400 6788177 140733486084080 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 21737472 140733486086489 140733486086616 140733486086616 140733486092218 0
Current children cumulated CPU time: 2958.65 s
Current children cumulated vsize: 264608 KiB
Current children cumulated memory: 209592 KiB

[startup+2742.3 s]
/proc/loadavg: 2.45 3.62 4.24 3/253 58134
/proc/meminfo: memFree=108957692/131249988 swapFree=33010160/33010684
[pid=57868] ppid=57865 vsize=264608 memory=209592 CPUtime=3025.83 cores=0,2
/proc/57868/stat : 57868 (pb_competition_) R 57865 57868 56290 0 -1 4194304 468058 0 0 0 302376 207 0 0 20 0 2 0 56193345 270958592 52398 18446744073709551615 4198400 6788177 140733486084080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 21737472 140733486086489 140733486086616 140733486086616 140733486092218 0
/proc/57868/statm: 66152 52398 672 633 0 53475 0
[pid=57868/tid=57870] ppid=57865 vsize=264608 memory=209592 CPUtime=295.36 cores=0,2
/proc/57868/task/57870/stat : 57870 (pb_competition_) S 57865 57868 56290 0 -1 4194368 10753 0 0 0 29441 95 0 0 20 0 2 0 56193346 270958592 52398 18446744073709551615 4198400 6788177 140733486084080 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 21737472 140733486086489 140733486086616 140733486086616 140733486092218 0
Current children cumulated CPU time: 3025.83 s
Current children cumulated vsize: 264608 KiB
Current children cumulated memory: 209592 KiB

[startup+2802.3 s]
/proc/loadavg: 2.44 3.40 4.13 4/252 58136
/proc/meminfo: memFree=108958084/131249988 swapFree=33010160/33010684
[pid=57868] ppid=57865 vsize=264608 memory=209592 CPUtime=3092.53 cores=0,2
/proc/57868/stat : 57868 (pb_competition_) R 57865 57868 56290 0 -1 4194304 468068 0 0 0 309043 210 0 0 20 0 2 0 56193345 270958592 52398 18446744073709551615 4198400 6788177 140733486084080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 21737472 140733486086489 140733486086616 140733486086616 140733486092218 0
/proc/57868/statm: 66152 52398 672 633 0 53475 0
[pid=57868/tid=57870] ppid=57865 vsize=264608 memory=14444 CPUtime=302.3 cores=0,2
/proc/57868/task/57870/stat : 57870 (pb_competition_) S 57865 57868 56290 0 -1 4194368 10754 0 0 0 30133 97 0 0 20 0 2 0 56193346 270958592 52398 18446744073709551615 4198400 6788177 140733486084080 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 21737472 140733486086489 140733486086616 140733486086616 140733486092218 0
Current children cumulated CPU time: 3092.53 s
Current children cumulated vsize: 264608 KiB
Current children cumulated memory: 209592 KiB

[startup+2862.3 s]
/proc/loadavg: 2.61 3.27 4.03 4/252 58138
/proc/meminfo: memFree=108957924/131249988 swapFree=33010160/33010684
[pid=57868] ppid=57865 vsize=264608 memory=209592 CPUtime=3159.79 cores=0,2
/proc/57868/stat : 57868 (pb_competition_) R 57865 57868 56290 0 -1 4194304 469197 0 0 0 315764 215 0 0 20 0 2 0 56193345 270958592 52398 18446744073709551615 4198400 6788177 140733486084080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 21737472 140733486086489 140733486086616 140733486086616 140733486092218 0
/proc/57868/statm: 66152 52398 672 633 0 53475 0
[pid=57868/tid=57870] ppid=57865 vsize=264608 memory=14444 CPUtime=309.8 cores=0,2
/proc/57868/task/57870/stat : 57870 (pb_competition_) S 57865 57868 56290 0 -1 4194368 10789 0 0 0 30881 99 0 0 20 0 2 0 56193346 270958592 52398 18446744073709551615 4198400 6788177 140733486084080 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 21737472 140733486086489 140733486086616 140733486086616 140733486092218 0
Current children cumulated CPU time: 3159.79 s
Current children cumulated vsize: 264608 KiB
Current children cumulated memory: 209592 KiB

[startup+2922.3 s]
/proc/loadavg: 2.44 3.08 3.92 3/252 58140
/proc/meminfo: memFree=108958828/131249988 swapFree=33010160/33010684
[pid=57868] ppid=57865 vsize=264608 memory=209592 CPUtime=3226.04 cores=0,2
/proc/57868/stat : 57868 (pb_competition_) R 57865 57868 56290 0 -1 4194304 470350 0 0 0 322387 217 0 0 20 0 2 0 56193345 270958592 52398 18446744073709551615 4198400 6788177 140733486084080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 21737472 140733486086489 140733486086616 140733486086616 140733486092218 0
/proc/57868/statm: 66152 52398 672 633 0 53475 0
[pid=57868/tid=57870] ppid=57865 vsize=264608 memory=14444 CPUtime=316.32 cores=0,2
/proc/57868/task/57870/stat : 57870 (pb_competition_) S 57865 57868 56290 0 -1 4194368 10834 0 0 0 31531 101 0 0 20 0 2 0 56193346 270958592 52398 18446744073709551615 4198400 6788177 140733486084080 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 21737472 140733486086489 140733486086616 140733486086616 140733486092218 0
Current children cumulated CPU time: 3226.04 s
Current children cumulated vsize: 264608 KiB
Current children cumulated memory: 209592 KiB

[startup+2982.3 s]
/proc/loadavg: 2.49 2.99 3.83 3/252 58142
/proc/meminfo: memFree=108959204/131249988 swapFree=33010160/33010684
[pid=57868] ppid=57865 vsize=264608 memory=209592 CPUtime=3293.19 cores=0,2
/proc/57868/stat : 57868 (pb_competition_) R 57865 57868 56290 0 -1 4194304 471499 0 0 0 329097 222 0 0 20 0 2 0 56193345 270958592 52398 18446744073709551615 4198400 6788177 140733486084080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 21737472 140733486086489 140733486086616 140733486086616 140733486092218 0
/proc/57868/statm: 66152 52398 672 633 0 53475 0
[pid=57868/tid=57870] ppid=57865 vsize=264608 memory=209592 CPUtime=323.72 cores=0,2
/proc/57868/task/57870/stat : 57870 (pb_competition_) S 57865 57868 56290 0 -1 4194368 10854 0 0 0 32269 103 0 0 20 0 2 0 56193346 270958592 52398 18446744073709551615 4198400 6788177 140733486084080 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 21737472 140733486086489 140733486086616 140733486086616 140733486092218 0
Current children cumulated CPU time: 3293.19 s
Current children cumulated vsize: 264608 KiB
Current children cumulated memory: 209592 KiB

[startup+3042.3 s]
/proc/loadavg: 2.45 2.88 3.74 3/253 58149
/proc/meminfo: memFree=108959484/131249988 swapFree=33010160/33010684
[pid=57868] ppid=57865 vsize=264608 memory=209592 CPUtime=3359.83 cores=0,2
/proc/57868/stat : 57868 (pb_competition_) R 57865 57868 56290 0 -1 4194304 472631 0 0 0 335758 225 0 0 20 0 2 0 56193345 270958592 52398 18446744073709551615 4198400 6788177 140733486084080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 21737472 140733486086489 140733486086616 140733486086616 140733486092218 0
/proc/57868/statm: 66152 52398 672 633 0 53475 0
[pid=57868/tid=57870] ppid=57865 vsize=264608 memory=14444 CPUtime=330.61 cores=0,2
/proc/57868/task/57870/stat : 57870 (pb_competition_) S 57865 57868 56290 0 -1 4194368 10895 0 0 0 32957 104 0 0 20 0 2 0 56193346 270958592 52398 18446744073709551615 4198400 6788177 140733486084080 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 21737472 140733486086489 140733486086616 140733486086616 140733486092218 0
Current children cumulated CPU time: 3359.83 s
Current children cumulated vsize: 264608 KiB
Current children cumulated memory: 209592 KiB

[startup+3102.3 s]
/proc/loadavg: 2.59 2.86 3.68 3/254 58152
/proc/meminfo: memFree=108960176/131249988 swapFree=33010160/33010684
[pid=57868] ppid=57865 vsize=264608 memory=209592 CPUtime=3425.87 cores=0,2
/proc/57868/stat : 57868 (pb_competition_) R 57865 57868 56290 0 -1 4194304 473772 0 0 0 342358 229 0 0 20 0 2 0 56193345 270958592 52398 18446744073709551615 4198400 6788177 140733486084080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 21737472 140733486086489 140733486086616 140733486086616 140733486092218 0
/proc/57868/statm: 66152 52398 672 633 0 53475 0
[pid=57868/tid=57870] ppid=57865 vsize=264608 memory=209592 CPUtime=336.91 cores=0,2
/proc/57868/task/57870/stat : 57870 (pb_competition_) S 57865 57868 56290 0 -1 4194368 10897 0 0 0 33584 107 0 0 20 0 2 0 56193346 270958592 52398 18446744073709551615 4198400 6788177 140733486084080 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 21737472 140733486086489 140733486086616 140733486086616 140733486092218 0
Current children cumulated CPU time: 3425.87 s
Current children cumulated vsize: 264608 KiB
Current children cumulated memory: 209592 KiB

[startup+3162.3 s]
/proc/loadavg: 2.48 2.78 3.60 3/254 58154
/proc/meminfo: memFree=108960460/131249988 swapFree=33010160/33010684
[pid=57868] ppid=57865 vsize=264608 memory=209592 CPUtime=3492.43 cores=0,2
/proc/57868/stat : 57868 (pb_competition_) R 57865 57868 56290 0 -1 4194304 474920 0 0 0 349010 233 0 0 20 0 2 0 56193345 270958592 52398 18446744073709551615 4198400 6788177 140733486084080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 21737472 140733486086489 140733486086616 140733486086616 140733486092218 0
/proc/57868/statm: 66152 52398 672 633 0 53475 0
[pid=57868/tid=57870] ppid=57865 vsize=264608 memory=3200 CPUtime=343.7 cores=0,2
/proc/57868/task/57870/stat : 57870 (pb_competition_) S 57865 57868 56290 0 -1 4194368 10915 0 0 0 34262 108 0 0 20 0 2 0 56193346 270958592 52398 18446744073709551615 4198400 6788177 140733486084080 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 21737472 140733486086489 140733486086616 140733486086616 140733486092218 0
Current children cumulated CPU time: 3492.43 s
Current children cumulated vsize: 264608 KiB
Current children cumulated memory: 209592 KiB

[startup+3222.3 s]
/proc/loadavg: 2.47 2.72 3.52 4/254 58156
/proc/meminfo: memFree=108960808/131249988 swapFree=33010160/33010684
[pid=57868] ppid=57865 vsize=264608 memory=209592 CPUtime=3558.69 cores=0,2
/proc/57868/stat : 57868 (pb_competition_) R 57865 57868 56290 0 -1 4194304 476054 0 0 0 355631 238 0 0 20 0 2 0 56193345 270958592 52398 18446744073709551615 4198400 6788177 140733486084080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 21737472 140733486086489 140733486086616 140733486086616 140733486092218 0
/proc/57868/statm: 66152 52398 672 633 0 53475 0
[pid=57868/tid=57870] ppid=57865 vsize=264608 memory=209592 CPUtime=350.21 cores=0,2
/proc/57868/task/57870/stat : 57870 (pb_competition_) R 57865 57868 56290 0 -1 4194368 10940 0 0 0 34910 111 0 0 20 0 2 0 56193346 270958592 52398 18446744073709551615 4198400 6788177 140733486084080 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 21737472 140733486086489 140733486086616 140733486086616 140733486092218 0
Current children cumulated CPU time: 3558.69 s
Current children cumulated vsize: 264608 KiB
Current children cumulated memory: 209592 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3259.6 s]
/proc/loadavg: 2.32 2.66 3.47 3/254 58156
/proc/meminfo: memFree=108960872/131249988 swapFree=33010160/33010684
[pid=57868] ppid=57865 vsize=264608 memory=209592 CPUtime=3600 cores=0,2
/proc/57868/stat : 57868 (pb_competition_) R 57865 57868 56290 0 -1 4194304 476076 0 0 0 359760 240 0 0 20 0 2 0 56193345 270958592 52398 18446744073709551615 4198400 6788177 140733486084080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 21737472 140733486086489 140733486086616 140733486086616 140733486092218 0
/proc/57868/statm: 66152 52398 672 633 0 53475 0
[pid=57868/tid=57870] ppid=57865 vsize=264608 memory=209592 CPUtime=354.38 cores=0,2
/proc/57868/task/57870/stat : 57870 (pb_competition_) S 57865 57868 56290 0 -1 4194368 10941 0 0 0 35326 112 0 0 20 0 2 0 56193346 270958592 52398 18446744073709551615 4198400 6788177 140733486084080 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 21737472 140733486086489 140733486086616 140733486086616 140733486092218 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 264608 KiB
Current children cumulated memory: 209592 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.72 s, system=2.41816 s

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

[startup+3259.7 s]
/proc/loadavg: 2.32 2.66 3.47 3/254 58156
/proc/meminfo: memFree=108960872/131249988 swapFree=33010160/33010684
[pid=57868] ppid=57865 vsize=231592 memory=176624 CPUtime=3600.11 cores=0,2
/proc/57868/stat : 57868 (pb_competition_) R 57865 57868 56290 0 -1 4194304 486998 0 0 0 359770 241 0 0 20 0 2 0 56193345 237150208 44156 18446744073709551615 4198400 6788177 140733486084080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 21737472 140733486086489 140733486086616 140733486086616 140733486092218 0
/proc/57868/statm: 57898 44156 672 633 0 45221 0
[pid=57868/tid=57870] ppid=57865 vsize=231592 memory=209592 CPUtime=354.38 cores=0,2
/proc/57868/task/57870/stat : 57870 (pb_competition_) S 57865 57868 56290 0 -1 4194368 10941 0 0 0 35326 112 0 0 20 0 2 0 56193346 237150208 44156 18446744073709551615 4198400 6788177 140733486084080 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 21737472 140733486086489 140733486086616 140733486086616 140733486092218 0
Current children cumulated CPU time: 3600.11 s
Current children cumulated vsize: 231592 KiB
Current children cumulated memory: 176624 KiB

Child status: 0

Real time (s): 3259.72
CPU time (s): 3600.13
CPU user time (s): 3597.72
CPU system time (s): 2.41816
CPU usage (%): 110.443
Max. virtual memory (cumulated for all children) (KiB): 264608
Max. memory (cumulated for all children) (KiB): 209592

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.72
system time used= 2.41816
maximum resident set size= 209592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 491557
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= 150212
involuntary context switches= 15291


# summary of solver processes directly reported to runsolver:
#   pid: 57868
#   total CPU time (s): 3600.13
#   total CPU user time (s): 3597.72
#   total CPU system time (s): 2.41816

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.16198 second user time and 15.2513 second system time

The end