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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4524559-1751615741/watcher-4524559-1751615741 -o /tmp/evaluation-result-4524559-1751615741/solver-4524559-1751615741 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751612865-90770 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 430525327 HOME/instance-4524559-1751615741.wbo 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=91019, runsolver pid=91016

[startup+0.100066 s]*
/proc/loadavg: 4.87 4.83 4.74 8/269 91021
/proc/meminfo: memFree=120482004/131250000 swapFree=33009904/33010684
[pid=91019] ppid=91016 vsize=83020 memory=8832 CPUtime=0.18 cores=5,7
/proc/91019/stat : 91019 (pb_competition_) R 91016 91019 90346 0 -1 4194304 1748 0 0 0 18 0 0 0 20 0 2 0 77253491 85012480 2208 18446744073709551615 4198400 6788177 140735123986048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 25116672 140735123994968 140735123995094 140735123995094 140735124000698 0
/proc/91019/statm: 20755 2208 672 633 0 3709 0
[pid=91019/tid=91021] ppid=91016 vsize=83020 memory=4026531960 CPUtime=0.09 cores=5,7
/proc/91019/task/91021/stat : 91021 (pb_competition_) R 91016 91019 90346 0 -1 4194368 127 0 0 0 9 0 0 0 20 0 2 0 77253491 85012480 2208 18446744073709551615 4198400 6788177 140735123986048 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 25116672 140735123994968 140735123995094 140735123995094 140735124000698 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 83020 KiB
Current children cumulated memory: 8832 KiB

[startup+0.206046 s]*
/proc/loadavg: 4.87 4.83 4.74 7/269 91021
/proc/meminfo: memFree=120482004/131250000 swapFree=33009904/33010684
[pid=91019] ppid=91016 vsize=83488 memory=9216 CPUtime=0.34 cores=5,7
/proc/91019/stat : 91019 (pb_competition_) R 91016 91019 90346 0 -1 4194304 1835 0 0 0 34 0 0 0 20 0 2 0 77253491 85491712 2304 18446744073709551615 4198400 6788177 140735123986048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 25116672 140735123994968 140735123995094 140735123995094 140735124000698 0
/proc/91019/statm: 20872 2304 672 633 0 3826 0
[pid=91019/tid=91021] ppid=91016 vsize=83488 memory=664958721904869660 CPUtime=0.14 cores=5,7
/proc/91019/task/91021/stat : 91021 (pb_competition_) R 91016 91019 90346 0 -1 4194368 127 0 0 0 14 0 0 0 20 0 2 0 77253491 85491712 2304 18446744073709551615 4198400 6788177 140735123986048 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 25116672 140735123994968 140735123995094 140735123995094 140735124000698 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 83488 KiB
Current children cumulated memory: 9216 KiB

[startup+0.305996 s]*
/proc/loadavg: 4.87 4.83 4.74 5/269 91021
/proc/meminfo: memFree=120482004/131250000 swapFree=33009904/33010684
[pid=91019] ppid=91016 vsize=83808 memory=9388 CPUtime=0.51 cores=5,7
/proc/91019/stat : 91019 (pb_competition_) R 91016 91019 90346 0 -1 4194304 1963 0 0 0 51 0 0 0 20 0 2 0 77253491 85819392 2347 18446744073709551615 4198400 6788177 140735123986048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 25116672 140735123994968 140735123995094 140735123995094 140735124000698 0
/proc/91019/statm: 20952 2347 672 633 0 3906 0
[pid=91019/tid=91021] ppid=91016 vsize=83808 memory=7971232253222206058 CPUtime=0.22 cores=5,7
/proc/91019/task/91021/stat : 91021 (pb_competition_) R 91016 91019 90346 0 -1 4194368 127 0 0 0 22 0 0 0 20 0 2 0 77253491 85819392 2347 18446744073709551615 4198400 6788177 140735123986048 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 25116672 140735123994968 140735123995094 140735123995094 140735124000698 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 83808 KiB
Current children cumulated memory: 9388 KiB

[startup+0.700181 s]
/proc/loadavg: 4.87 4.83 4.74 7/269 91021
/proc/meminfo: memFree=120482004/131250000 swapFree=33009904/33010684
[pid=91019] ppid=91016 vsize=84292 memory=10156 CPUtime=1.25 cores=5,7
/proc/91019/stat : 91019 (pb_competition_) R 91016 91019 90346 0 -1 4194304 2138 0 0 0 124 1 0 0 20 0 2 0 77253491 86315008 2539 18446744073709551615 4198400 6788177 140735123986048 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 25116672 140735123994968 140735123995094 140735123995094 140735124000698 0
/proc/91019/statm: 21073 2539 672 633 0 4027 0
[pid=91019/tid=91021] ppid=91016 vsize=84292 memory=19072 CPUtime=0.57 cores=5,7
/proc/91019/task/91021/stat : 91021 (pb_competition_) R 91016 91019 90346 0 -1 4194368 127 0 0 0 57 0 0 0 20 0 2 0 77253491 86315008 2539 18446744073709551615 4198400 6788177 140735123986048 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 25116672 140735123994968 140735123995094 140735123995094 140735124000698 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 84292 KiB
Current children cumulated memory: 10156 KiB

[startup+1.50022 s]
/proc/loadavg: 4.87 4.83 4.74 7/269 91021
/proc/meminfo: memFree=120482352/131250000 swapFree=33009904/33010684
[pid=91019] ppid=91016 vsize=85068 memory=10528 CPUtime=2.67 cores=5,7
/proc/91019/stat : 91019 (pb_competition_) R 91016 91019 90346 0 -1 4194304 3942 0 0 0 264 3 0 0 20 0 2 0 77253491 87109632 2632 18446744073709551615 4198400 6788177 140735123986048 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 25116672 140735123994968 140735123995094 140735123995094 140735124000698 0
/proc/91019/statm: 21267 2632 672 633 0 4221 0
[pid=91019/tid=91021] ppid=91016 vsize=85068 memory=19072 CPUtime=1.19 cores=5,7
/proc/91019/task/91021/stat : 91021 (pb_competition_) R 91016 91019 90346 0 -1 4194368 541 0 0 0 119 0 0 0 20 0 2 0 77253491 87109632 2632 18446744073709551615 4198400 6788177 140735123986048 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 25116672 140735123994968 140735123995094 140735123995094 140735124000698 0
Current children cumulated CPU time: 2.67 s
Current children cumulated vsize: 85068 KiB
Current children cumulated memory: 10528 KiB

[startup+3.10578 s]
/proc/loadavg: 4.87 4.83 4.74 6/269 91021
/proc/meminfo: memFree=120482592/131250000 swapFree=33009904/33010684
[pid=91019] ppid=91016 vsize=85200 memory=10784 CPUtime=5.71 cores=5,7
/proc/91019/stat : 91019 (pb_competition_) R 91016 91019 90346 0 -1 4194304 5623 0 0 0 566 5 0 0 20 0 2 0 77253491 87244800 2696 18446744073709551615 4198400 6788177 140735123986048 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 25116672 140735123994968 140735123995094 140735123995094 140735124000698 0
/proc/91019/statm: 21300 2696 672 633 0 4254 0
[pid=91019/tid=91021] ppid=91016 vsize=85200 memory=10528 CPUtime=2.65 cores=5,7
/proc/91019/task/91021/stat : 91021 (pb_competition_) S 91016 91019 90346 0 -1 4194368 737 0 0 0 264 1 0 0 20 0 2 0 77253491 87244800 2696 18446744073709551615 4198400 6788177 140735123986048 0 0 0 0 0 8404994 1 0 0 -1 5 0 0 0 0 0 7336896 7391280 25116672 140735123994968 140735123995094 140735123995094 140735124000698 0
Current children cumulated CPU time: 5.71 s
Current children cumulated vsize: 85200 KiB
Current children cumulated memory: 10784 KiB

[startup+6.30021 s]
/proc/loadavg: 4.88 4.83 4.74 6/269 91021
/proc/meminfo: memFree=120482632/131250000 swapFree=33009904/33010684
[pid=91019] ppid=91016 vsize=85336 memory=11040 CPUtime=11.67 cores=5,7
/proc/91019/stat : 91019 (pb_competition_) R 91016 91019 90346 0 -1 4194304 7417 0 0 0 1157 10 0 0 20 0 2 0 77253491 87384064 2760 18446744073709551615 4198400 6788177 140735123986048 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 25116672 140735123994968 140735123995094 140735123995094 140735124000698 0
/proc/91019/statm: 21334 2760 672 633 0 4288 0
[pid=91019/tid=91021] ppid=91016 vsize=85336 memory=19072 CPUtime=5.44 cores=5,7
/proc/91019/task/91021/stat : 91021 (pb_competition_) R 91016 91019 90346 0 -1 4194368 1433 0 0 0 542 2 0 0 20 0 2 0 77253491 87384064 2760 18446744073709551615 4198400 6788177 140735123986048 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 25116672 140735123994968 140735123995094 140735123995094 140735124000698 0
Current children cumulated CPU time: 11.67 s
Current children cumulated vsize: 85336 KiB
Current children cumulated memory: 11040 KiB

[startup+12.7002 s]
/proc/loadavg: 4.89 4.84 4.75 6/268 91021
/proc/meminfo: memFree=120483608/131250000 swapFree=33009904/33010684
[pid=91019] ppid=91016 vsize=85760 memory=11680 CPUtime=23.32 cores=5,7
/proc/91019/stat : 91019 (pb_competition_) R 91016 91019 90346 0 -1 4194304 10804 0 0 0 2314 18 0 0 20 0 2 0 77253491 87818240 2920 18446744073709551615 4198400 6788177 140735123986048 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 25116672 140735123994968 140735123995094 140735123995094 140735124000698 0
/proc/91019/statm: 21440 2920 672 633 0 4394 0
[pid=91019/tid=91021] ppid=91016 vsize=85760 memory=11680 CPUtime=10.75 cores=5,7
/proc/91019/task/91021/stat : 91021 (pb_competition_) R 91016 91019 90346 0 -1 4194368 1830 0 0 0 1071 4 0 0 20 0 2 0 77253491 87818240 2920 18446744073709551615 4198400 6788177 140735123986048 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 25116672 140735123994968 140735123995094 140735123995094 140735124000698 0
Current children cumulated CPU time: 23.32 s
Current children cumulated vsize: 85760 KiB
Current children cumulated memory: 11680 KiB

[startup+25.5002 s]
/proc/loadavg: 5.06 4.88 4.76 7/268 91021
/proc/meminfo: memFree=120482444/131250000 swapFree=33009904/33010684
[pid=91019] ppid=91016 vsize=87656 memory=12572 CPUtime=47.07 cores=5,7
/proc/91019/stat : 91019 (pb_competition_) R 91016 91019 90346 0 -1 4194304 11388 0 0 0 4676 31 0 0 20 0 2 0 77253491 89759744 3143 18446744073709551615 4198400 6788177 140735123986048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 25116672 140735123994968 140735123995094 140735123995094 140735124000698 0
/proc/91019/statm: 21914 3143 672 633 0 4868 0
[pid=91019/tid=91021] ppid=91016 vsize=87656 memory=11680 CPUtime=21.8 cores=5,7
/proc/91019/task/91021/stat : 91021 (pb_competition_) R 91016 91019 90346 0 -1 4194368 1833 0 0 0 2172 8 0 0 20 0 2 0 77253491 89759744 3143 18446744073709551615 4198400 6788177 140735123986048 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 25116672 140735123994968 140735123995094 140735123995094 140735124000698 0
Current children cumulated CPU time: 47.07 s
Current children cumulated vsize: 87656 KiB
Current children cumulated memory: 12572 KiB

[startup+51.1058 s]
/proc/loadavg: 5.05 4.89 4.77 6/267 91022
/proc/meminfo: memFree=120484416/131250000 swapFree=33009904/33010684
[pid=91019] ppid=91016 vsize=88460 memory=13852 CPUtime=94.09 cores=5,7
/proc/91019/stat : 91019 (pb_competition_) R 91016 91019 90346 0 -1 4194304 13882 0 0 0 9355 54 0 0 20 0 2 0 77253491 90583040 3463 18446744073709551615 4198400 6788177 140735123986048 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 25116672 140735123994968 140735123995094 140735123995094 140735124000698 0
/proc/91019/statm: 22115 3463 672 633 0 5069 0
[pid=91019/tid=91021] ppid=91016 vsize=88460 memory=16432 CPUtime=43.42 cores=5,7
/proc/91019/task/91021/stat : 91021 (pb_competition_) R 91016 91019 90346 0 -1 4194368 2567 0 0 0 4328 14 0 0 20 0 2 0 77253491 90583040 3463 18446744073709551615 4198400 6788177 140735123986048 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 25116672 140735123994968 140735123995094 140735123995094 140735124000698 0
Current children cumulated CPU time: 94.09 s
Current children cumulated vsize: 88460 KiB
Current children cumulated memory: 13852 KiB

[startup+102.3 s]
/proc/loadavg: 5.09 4.92 4.79 6/268 91026
/proc/meminfo: memFree=120479372/131250000 swapFree=33009904/33010684
[pid=91019] ppid=91016 vsize=91876 memory=16760 CPUtime=186.69 cores=5,7
/proc/91019/stat : 91019 (pb_competition_) R 91016 91019 90346 0 -1 4194304 22614 0 0 0 18576 93 0 0 20 0 2 0 77253491 94081024 4190 18446744073709551615 4198400 6788177 140735123986048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 25116672 140735123994968 140735123995094 140735123995094 140735124000698 0
/proc/91019/statm: 22969 4190 672 633 0 5923 0
[pid=91019/tid=91021] ppid=91016 vsize=91876 memory=15004 CPUtime=85.2 cores=5,7
/proc/91019/task/91021/stat : 91021 (pb_competition_) R 91016 91019 90346 0 -1 4194368 4757 0 0 0 8497 23 0 0 20 0 2 0 77253491 94081024 4190 18446744073709551615 4198400 6788177 140735123986048 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 25116672 140735123994968 140735123995094 140735123995094 140735124000698 0
Current children cumulated CPU time: 186.69 s
Current children cumulated vsize: 91876 KiB
Current children cumulated memory: 16760 KiB

[startup+162.3 s]
/proc/loadavg: 5.11 4.95 4.81 6/267 91028
/proc/meminfo: memFree=120482832/131250000 swapFree=33009904/33010684
[pid=91019] ppid=91016 vsize=92652 memory=17528 CPUtime=294.58 cores=5,7
/proc/91019/stat : 91019 (pb_competition_) R 91016 91019 90346 0 -1 4194304 28286 0 0 0 29322 136 0 0 20 0 2 0 77253491 94875648 4382 18446744073709551615 4198400 6788177 140735123986048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 25116672 140735123994968 140735123995094 140735123995094 140735124000698 0
/proc/91019/statm: 23163 4382 672 633 0 6117 0
[pid=91019/tid=91021] ppid=91016 vsize=92652 memory=16432 CPUtime=133.58 cores=5,7
/proc/91019/task/91021/stat : 91021 (pb_competition_) R 91016 91019 90346 0 -1 4194368 5875 0 0 0 13324 34 0 0 20 0 2 0 77253491 94875648 4382 18446744073709551615 4198400 6788177 140735123986048 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 25116672 140735123994968 140735123995094 140735123995094 140735124000698 0
Current children cumulated CPU time: 294.58 s
Current children cumulated vsize: 92652 KiB
Current children cumulated memory: 17528 KiB

[startup+222.3 s]
/proc/loadavg: 5.63 5.12 4.87 7/269 91080
/proc/meminfo: memFree=120599528/131250000 swapFree=33009904/33010684
[pid=91019] ppid=91016 vsize=93312 memory=18040 CPUtime=401.6 cores=5,7
/proc/91019/stat : 91019 (pb_competition_) R 91016 91019 90346 0 -1 4194304 31338 0 0 0 39989 171 0 0 20 0 2 0 77253491 95551488 4510 18446744073709551615 4198400 6788177 140735123986048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 25116672 140735123994968 140735123995094 140735123995094 140735124000698 0
/proc/91019/statm: 23328 4510 672 633 0 6282 0
[pid=91019/tid=91021] ppid=91016 vsize=93312 memory=17784 CPUtime=181.1 cores=5,7
/proc/91019/task/91021/stat : 91021 (pb_competition_) R 91016 91019 90346 0 -1 4194368 6233 0 0 0 18068 42 0 0 20 0 2 0 77253491 95551488 4510 18446744073709551615 4198400 6788177 140735123986048 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 25116672 140735123994968 140735123995094 140735123995094 140735124000698 0
Current children cumulated CPU time: 401.6 s
Current children cumulated vsize: 93312 KiB
Current children cumulated memory: 18040 KiB

[startup+282.3 s]
/proc/loadavg: 5.96 5.31 4.96 7/270 91083
/proc/meminfo: memFree=120596596/131250000 swapFree=33009904/33010684
[pid=91019] ppid=91016 vsize=93744 memory=18680 CPUtime=508.22 cores=5,7
/proc/91019/stat : 91019 (pb_competition_) R 91016 91019 90346 0 -1 4194304 34513 0 0 0 50619 203 0 0 20 0 2 0 77253491 95993856 4670 18446744073709551615 4198400 6788177 140735123986048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 25116672 140735123994968 140735123995094 140735123995094 140735124000698 0
/proc/91019/statm: 23436 4670 672 633 0 6390 0
[pid=91019/tid=91021] ppid=91016 vsize=93744 memory=18296 CPUtime=228.19 cores=5,7
/proc/91019/task/91021/stat : 91021 (pb_competition_) R 91016 91019 90346 0 -1 4194368 6950 0 0 0 22770 49 0 0 20 0 2 0 77253491 95993856 4670 18446744073709551615 4198400 6788177 140735123986048 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 25116672 140735123994968 140735123995094 140735123995094 140735124000698 0
Current children cumulated CPU time: 508.22 s
Current children cumulated vsize: 93744 KiB
Current children cumulated memory: 18680 KiB

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

/proc/meminfo: memFree=121341284/131250000 swapFree=33009904/33010684
[pid=91019] ppid=91016 vsize=102000 memory=23756 CPUtime=2443.39 cores=5,7
/proc/91019/stat : 91019 (pb_competition_) R 91016 91019 90346 0 -1 4194304 45712 0 0 0 243772 567 0 0 20 0 2 0 77253491 104448000 5939 18446744073709551615 4198400 6788177 140735123986048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 25116672 140735123994968 140735123995094 140735123995094 140735124000698 0
/proc/91019/statm: 25500 5939 672 633 0 8454 0
[pid=91019/tid=91021] ppid=91016 vsize=102000 memory=23628 CPUtime=1092.22 cores=5,7
/proc/91019/task/91021/stat : 91021 (pb_competition_) S 91016 91019 90346 0 -1 4194368 7802 0 0 0 109091 131 0 0 20 0 2 0 77253491 104448000 5939 18446744073709551615 4198400 6788177 140735123986048 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 25116672 140735123994968 140735123995094 140735123995094 140735124000698 0
Current children cumulated CPU time: 2443.39 s
Current children cumulated vsize: 102000 KiB
Current children cumulated memory: 23756 KiB

[startup+1422.3 s]
/proc/loadavg: 7.04 7.22 6.64 8/267 91238
/proc/meminfo: memFree=121341232/131250000 swapFree=33009904/33010684
[pid=91019] ppid=91016 vsize=102000 memory=23756 CPUtime=2550.9 cores=5,7
/proc/91019/stat : 91019 (pb_competition_) R 91016 91019 90346 0 -1 4194304 46875 0 0 0 254508 582 0 0 20 0 2 0 77253491 104448000 5939 18446744073709551615 4198400 6788177 140735123986048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 25116672 140735123994968 140735123995094 140735123995094 140735124000698 0
/proc/91019/statm: 25500 5939 672 633 0 8454 0
[pid=91019/tid=91021] ppid=91016 vsize=102000 memory=23628 CPUtime=1140.23 cores=5,7
/proc/91019/task/91021/stat : 91021 (pb_competition_) R 91016 91019 90346 0 -1 4194368 7846 0 0 0 113888 135 0 0 20 0 2 0 77253491 104448000 5939 18446744073709551615 4198400 6788177 140735123986048 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 25116672 140735123994968 140735123995094 140735123995094 140735124000698 0
Current children cumulated CPU time: 2550.9 s
Current children cumulated vsize: 102000 KiB
Current children cumulated memory: 23756 KiB

[startup+1482.3 s]
/proc/loadavg: 7.40 7.29 6.70 8/267 91241
/proc/meminfo: memFree=121341036/131250000 swapFree=33009904/33010684
[pid=91019] ppid=91016 vsize=102180 memory=23884 CPUtime=2658.33 cores=5,7
/proc/91019/stat : 91019 (pb_competition_) R 91016 91019 90346 0 -1 4194304 46912 0 0 0 265232 601 0 0 20 0 2 0 77253491 104632320 5971 18446744073709551615 4198400 6788177 140735123986048 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 25116672 140735123994968 140735123995094 140735123995094 140735124000698 0
/proc/91019/statm: 25545 5971 672 633 0 8499 0
[pid=91019/tid=91021] ppid=91016 vsize=102180 memory=23756 CPUtime=1188.18 cores=5,7
/proc/91019/task/91021/stat : 91021 (pb_competition_) R 91016 91019 90346 0 -1 4194368 7846 0 0 0 118677 141 0 0 20 0 2 0 77253491 104632320 5971 18446744073709551615 4198400 6788177 140735123986048 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 25116672 140735123994968 140735123995094 140735123995094 140735124000698 0
Current children cumulated CPU time: 2658.33 s
Current children cumulated vsize: 102180 KiB
Current children cumulated memory: 23884 KiB

[startup+1542.3 s]
/proc/loadavg: 7.34 7.29 6.75 8/267 91243
/proc/meminfo: memFree=121342256/131250000 swapFree=33009904/33010684
[pid=91019] ppid=91016 vsize=102180 memory=23884 CPUtime=2765.91 cores=5,7
/proc/91019/stat : 91019 (pb_competition_) R 91016 91019 90346 0 -1 4194304 47597 0 0 0 275974 617 0 0 20 0 2 0 77253491 104632320 5971 18446744073709551615 4198400 6788177 140735123986048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 25116672 140735123994968 140735123995094 140735123995094 140735124000698 0
/proc/91019/statm: 25545 5971 672 633 0 8499 0
[pid=91019/tid=91021] ppid=91016 vsize=102180 memory=16432 CPUtime=1236.29 cores=5,7
/proc/91019/task/91021/stat : 91021 (pb_competition_) R 91016 91019 90346 0 -1 4194368 7902 0 0 0 123484 145 0 0 20 0 2 0 77253491 104632320 5971 18446744073709551615 4198400 6788177 140735123986048 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 25116672 140735123994968 140735123995094 140735123995094 140735124000698 0
Current children cumulated CPU time: 2765.91 s
Current children cumulated vsize: 102180 KiB
Current children cumulated memory: 23884 KiB

[startup+1602.3 s]
/proc/loadavg: 7.38 7.30 6.78 8/267 91245
/proc/meminfo: memFree=121340848/131250000 swapFree=33009904/33010684
[pid=91019] ppid=91016 vsize=102312 memory=24012 CPUtime=2873.5 cores=5,7
/proc/91019/stat : 91019 (pb_competition_) R 91016 91019 90346 0 -1 4194304 47637 0 0 0 286717 633 0 0 20 0 2 0 77253491 104767488 6003 18446744073709551615 4198400 6788177 140735123986048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 25116672 140735123994968 140735123995094 140735123995094 140735124000698 0
/proc/91019/statm: 25578 6003 672 633 0 8532 0
[pid=91019/tid=91021] ppid=91016 vsize=102312 memory=23884 CPUtime=1284.4 cores=5,7
/proc/91019/task/91021/stat : 91021 (pb_competition_) S 91016 91019 90346 0 -1 4194368 7903 0 0 0 128290 150 0 0 20 0 2 0 77253491 104767488 6003 18446744073709551615 4198400 6788177 140735123986048 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 25116672 140735123994968 140735123995094 140735123995094 140735124000698 0
Current children cumulated CPU time: 2873.5 s
Current children cumulated vsize: 102312 KiB
Current children cumulated memory: 24012 KiB

[startup+1662.3 s]
/proc/loadavg: 7.53 7.37 6.84 8/268 91252
/proc/meminfo: memFree=121341032/131250000 swapFree=33009904/33010684
[pid=91019] ppid=91016 vsize=102312 memory=26208 CPUtime=2981.01 cores=5,7
/proc/91019/stat : 91019 (pb_competition_) R 91016 91019 90346 0 -1 4194304 47661 0 0 0 297452 649 0 0 20 0 2 0 77253491 104767488 6552 18446744073709551615 4198400 6788177 140735123986048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 25116672 140735123994968 140735123995094 140735123995094 140735124000698 0
/proc/91019/statm: 25578 6552 672 633 0 8532 0
[pid=91019/tid=91021] ppid=91016 vsize=102312 memory=23884 CPUtime=1332.43 cores=5,7
/proc/91019/task/91021/stat : 91021 (pb_competition_) S 91016 91019 90346 0 -1 4194368 7903 0 0 0 133090 153 0 0 20 0 2 0 77253491 104767488 6552 18446744073709551615 4198400 6788177 140735123986048 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 25116672 140735123994968 140735123995094 140735123995094 140735124000698 0
Current children cumulated CPU time: 2981.01 s
Current children cumulated vsize: 102312 KiB
Current children cumulated memory: 26208 KiB

[startup+1722.3 s]
/proc/loadavg: 7.41 7.35 6.87 7/268 91254
/proc/meminfo: memFree=121340352/131250000 swapFree=33009904/33010684
[pid=91019] ppid=91016 vsize=102444 memory=26208 CPUtime=3088.47 cores=5,7
/proc/91019/stat : 91019 (pb_competition_) R 91016 91019 90346 0 -1 4194304 48426 0 0 0 308182 665 0 0 20 0 2 0 77253491 104902656 6552 18446744073709551615 4198400 6788177 140735123986048 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 25116672 140735123994968 140735123995094 140735123995094 140735124000698 0
/proc/91019/statm: 25611 6552 672 633 0 8565 0
[pid=91019/tid=91021] ppid=91016 vsize=102444 memory=23884 CPUtime=1380.38 cores=5,7
/proc/91019/task/91021/stat : 91021 (pb_competition_) S 91016 91019 90346 0 -1 4194368 7936 0 0 0 137881 157 0 0 20 0 2 0 77253491 104902656 6552 18446744073709551615 4198400 6788177 140735123986048 0 0 0 0 0 8404994 1 0 0 -1 5 0 0 0 0 0 7336896 7391280 25116672 140735123994968 140735123995094 140735123995094 140735124000698 0
Current children cumulated CPU time: 3088.47 s
Current children cumulated vsize: 102444 KiB
Current children cumulated memory: 26208 KiB

[startup+1782.3 s]
/proc/loadavg: 7.59 7.43 6.93 8/267 91256
/proc/meminfo: memFree=121340556/131250000 swapFree=33009904/33010684
[pid=91019] ppid=91016 vsize=102444 memory=26208 CPUtime=3195.9 cores=5,7
/proc/91019/stat : 91019 (pb_competition_) R 91016 91019 90346 0 -1 4194304 48432 0 0 0 318908 682 0 0 20 0 2 0 77253491 104902656 6552 18446744073709551615 4198400 6788177 140735123986048 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 25116672 140735123994968 140735123995094 140735123995094 140735124000698 0
/proc/91019/statm: 25611 6552 672 633 0 8565 0
[pid=91019/tid=91021] ppid=91016 vsize=102444 memory=26208 CPUtime=1428.32 cores=5,7
/proc/91019/task/91021/stat : 91021 (pb_competition_) R 91016 91019 90346 0 -1 4194368 7936 0 0 0 142671 161 0 0 20 0 2 0 77253491 104902656 6552 18446744073709551615 4198400 6788177 140735123986048 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 25116672 140735123994968 140735123995094 140735123995094 140735124000698 0
Current children cumulated CPU time: 3195.9 s
Current children cumulated vsize: 102444 KiB
Current children cumulated memory: 26208 KiB

[startup+1842.3 s]
/proc/loadavg: 7.57 7.46 6.97 8/268 91259
/proc/meminfo: memFree=121341372/131250000 swapFree=33009904/33010684
[pid=91019] ppid=91016 vsize=102444 memory=26208 CPUtime=3303.51 cores=5,7
/proc/91019/stat : 91019 (pb_competition_) R 91016 91019 90346 0 -1 4194304 49210 0 0 0 329654 697 0 0 20 0 2 0 77253491 104902656 6552 18446744073709551615 4198400 6788177 140735123986048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 25116672 140735123994968 140735123995094 140735123995094 140735124000698 0
/proc/91019/statm: 25611 6552 672 633 0 8565 0
[pid=91019/tid=91021] ppid=91016 vsize=102444 memory=26208 CPUtime=1476.43 cores=5,7
/proc/91019/task/91021/stat : 91021 (pb_competition_) R 91016 91019 90346 0 -1 4194368 7985 0 0 0 147479 164 0 0 20 0 2 0 77253491 104902656 6552 18446744073709551615 4198400 6788177 140735123986048 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 25116672 140735123994968 140735123995094 140735123995094 140735124000698 0
Current children cumulated CPU time: 3303.51 s
Current children cumulated vsize: 102444 KiB
Current children cumulated memory: 26208 KiB

[startup+1902.3 s]
/proc/loadavg: 7.52 7.49 7.02 7/268 91261
/proc/meminfo: memFree=121340452/131250000 swapFree=33009904/33010684
[pid=91019] ppid=91016 vsize=102444 memory=26208 CPUtime=3410.99 cores=5,7
/proc/91019/stat : 91019 (pb_competition_) R 91016 91019 90346 0 -1 4194304 49214 0 0 0 340387 712 0 0 20 0 2 0 77253491 104902656 6552 18446744073709551615 4198400 6788177 140735123986048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 25116672 140735123994968 140735123995094 140735123995094 140735124000698 0
/proc/91019/statm: 25611 6552 672 633 0 8565 0
[pid=91019/tid=91021] ppid=91016 vsize=102444 memory=26208 CPUtime=1524.39 cores=5,7
/proc/91019/task/91021/stat : 91021 (pb_competition_) R 91016 91019 90346 0 -1 4194368 7985 0 0 0 152272 167 0 0 20 0 2 0 77253491 104902656 6552 18446744073709551615 4198400 6788177 140735123986048 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 25116672 140735123994968 140735123995094 140735123995094 140735124000698 0
Current children cumulated CPU time: 3410.99 s
Current children cumulated vsize: 102444 KiB
Current children cumulated memory: 26208 KiB

[startup+1962.3 s]
/proc/loadavg: 7.58 7.50 7.05 7/268 91263
/proc/meminfo: memFree=121340516/131250000 swapFree=33009904/33010684
[pid=91019] ppid=91016 vsize=102700 memory=26592 CPUtime=3518.42 cores=5,7
/proc/91019/stat : 91019 (pb_competition_) R 91016 91019 90346 0 -1 4194304 50043 0 0 0 351116 726 0 0 20 0 2 0 77253491 105164800 6648 18446744073709551615 4198400 6788177 140735123986048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 25116672 140735123994968 140735123995094 140735123995094 140735124000698 0
/proc/91019/statm: 25675 6648 672 633 0 8629 0
[pid=91019/tid=91021] ppid=91016 vsize=102700 memory=26592 CPUtime=1572.32 cores=5,7
/proc/91019/task/91021/stat : 91021 (pb_competition_) R 91016 91019 90346 0 -1 4194368 8038 0 0 0 157061 171 0 0 20 0 2 0 77253491 105164800 6648 18446744073709551615 4198400 6788177 140735123986048 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 25116672 140735123994968 140735123995094 140735123995094 140735124000698 0
Current children cumulated CPU time: 3518.42 s
Current children cumulated vsize: 102700 KiB
Current children cumulated memory: 26592 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2007.8 s]
/proc/loadavg: 7.53 7.49 7.07 9/267 91264
/proc/meminfo: memFree=121340676/131250000 swapFree=33009904/33010684
[pid=91019] ppid=91016 vsize=102700 memory=26592 CPUtime=3600 cores=5,7
/proc/91019/stat : 91019 (pb_competition_) R 91016 91019 90346 0 -1 4194304 50048 0 0 0 359262 738 0 0 20 0 2 0 77253491 105164800 6648 18446744073709551615 4198400 6788177 140735123986048 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 25116672 140735123994968 140735123995094 140735123995094 140735124000698 0
/proc/91019/statm: 25675 6648 672 633 0 8629 0
[pid=91019/tid=91021] ppid=91016 vsize=102700 memory=5504 CPUtime=1608.77 cores=5,7
/proc/91019/task/91021/stat : 91021 (pb_competition_) R 91016 91019 90346 0 -1 4194368 8038 0 0 0 160703 174 0 0 20 0 2 0 77253491 105164800 6648 18446744073709551615 4198400 6788177 140735123986048 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 25116672 140735123994968 140735123995094 140735123995094 140735124000698 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 102700 KiB
Current children cumulated memory: 26592 KiB

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

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

# cumulated CPU time of all completed processes:  user=3592.69 s, system=7.38103 s

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

Child status: 0

Real time (s): 2007.85
CPU time (s): 3600.07
CPU user time (s): 3592.69
CPU system time (s): 7.38103
CPU usage (%): 179.299
Max. virtual memory (cumulated for all children) (KiB): 102700
Max. memory (cumulated for all children) (KiB): 26592

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.69
system time used= 7.38103
maximum resident set size= 27728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50099
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= 29929
involuntary context switches= 75225


# summary of solver processes directly reported to runsolver:
#   pid: 91019
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3592.69
#   total CPU system time (s): 7.38103

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.21944 second user time and 9.39744 second system time

The end