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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484812-1751292661/watcher-4484812-1751292661 -o /tmp/evaluation-result-4484812-1751292661/solver-4484812-1751292661 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751290793-42001 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 350461416 HOME/instance-4484812-1751292661.opb 

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=42204, runsolver pid=42201

[startup+0.100065 s]*
/proc/loadavg: 7.32 7.08 6.54 8/267 42206
/proc/meminfo: memFree=128495144/131250000 swapFree=33010684/33010684
[pid=42204] ppid=42201 vsize=149628 memory=46300 CPUtime=0.16 cores=5,7
/proc/42204/stat : 42204 (pb_competition_) R 42201 42204 41988 0 -1 4194304 8772 0 0 0 14 2 0 0 20 0 2 0 44944723 153219072 11575 18446744073709551615 4198400 6788177 140729317122192 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 7336896 7391280 28459008 140729317128538 140729317128664 140729317128664 140729317134266 0
/proc/42204/statm: 37407 11575 608 633 0 22813 0
[pid=42204/tid=42206] ppid=42201 vsize=149760 memory=4026531960 CPUtime=0.06 cores=5,7
/proc/42204/task/42206/stat : 42206 (pb_competition_) S 42201 42204 41988 0 -1 4194368 2577 0 0 0 6 0 0 0 20 0 2 0 44944725 153354240 11575 18446744073709551615 4198400 6788177 140729317122192 0 0 0 0 0 0 1 0 0 -1 5 0 0 0 0 0 7336896 7391280 28459008 140729317128538 140729317128664 140729317128664 140729317134266 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 149628 KiB
Current children cumulated memory: 46300 KiB

[startup+0.205789 s]*
/proc/loadavg: 7.32 7.08 6.54 8/267 42206
/proc/meminfo: memFree=128412352/131250000 swapFree=33010684/33010684
[pid=42204] ppid=42201 vsize=176556 memory=118756 CPUtime=0.32 cores=5,7
/proc/42204/stat : 42204 (pb_competition_) R 42201 42204 41988 0 -1 4194304 17201 0 0 0 27 5 0 0 20 0 2 0 44944723 180793344 29689 18446744073709551615 4198400 6788177 140729317122192 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 7336896 7391280 28459008 140729317128538 140729317128664 140729317128664 140729317134266 0
/proc/42204/statm: 44139 29689 608 633 0 31236 0
[pid=42204/tid=42206] ppid=42201 vsize=176556 memory=664958721904869660 CPUtime=0.12 cores=5,7
/proc/42204/task/42206/stat : 42206 (pb_competition_) R 42201 42204 41988 0 -1 4194368 4269 0 0 0 11 1 0 0 20 0 2 0 44944725 180793344 29689 18446744073709551615 4198400 6788177 140729317122192 0 0 0 0 0 0 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 28459008 140729317128538 140729317128664 140729317128664 140729317134266 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 176556 KiB
Current children cumulated memory: 118756 KiB

[startup+0.305864 s]*
/proc/loadavg: 7.32 7.08 6.54 8/267 42206
/proc/meminfo: memFree=128400508/131250000 swapFree=33010684/33010684
[pid=42204] ppid=42201 vsize=189228 memory=135140 CPUtime=0.45 cores=5,7
/proc/42204/stat : 42204 (pb_competition_) R 42201 42204 41988 0 -1 4194304 21268 0 0 0 39 6 0 0 20 0 2 0 44944723 193769472 33785 18446744073709551615 4198400 6788177 140729317122192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 28459008 140729317128538 140729317128664 140729317128664 140729317134266 0
/proc/42204/statm: 47307 33785 640 633 0 35289 0
[pid=42204/tid=42206] ppid=42201 vsize=189228 memory=7969823787433081196 CPUtime=0.16 cores=5,7
/proc/42204/task/42206/stat : 42206 (pb_competition_) S 42201 42204 41988 0 -1 4194368 5154 0 0 0 14 2 0 0 20 0 2 0 44944725 193769472 33785 18446744073709551615 4198400 6788177 140729317122192 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 28459008 140729317128538 140729317128664 140729317128664 140729317134266 0
Current children cumulated CPU time: 0.45 s
Current children cumulated vsize: 189228 KiB
Current children cumulated memory: 135140 KiB

[startup+0.700212 s]
/proc/loadavg: 7.32 7.08 6.54 7/267 42206
/proc/meminfo: memFree=128352124/131250000 swapFree=33010684/33010684
[pid=42204] ppid=42201 vsize=257912 memory=203876 CPUtime=0.83 cores=5,7
/proc/42204/stat : 42204 (pb_competition_) R 42201 42204 41988 0 -1 4194304 38441 0 0 0 74 9 0 0 20 0 2 0 44944723 264101888 50969 18446744073709551615 4198400 6788177 140729317122192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 28459008 140729317128538 140729317128664 140729317128664 140729317134266 0
/proc/42204/statm: 64478 50969 640 633 0 52460 0
[pid=42204/tid=42206] ppid=42201 vsize=257912 memory=17792 CPUtime=0.16 cores=5,7
/proc/42204/task/42206/stat : 42206 (pb_competition_) S 42201 42204 41988 0 -1 4194368 5154 0 0 0 14 2 0 0 20 0 2 0 44944725 264101888 50969 18446744073709551615 4198400 6788177 140729317122192 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 28459008 140729317128538 140729317128664 140729317128664 140729317134266 0
Current children cumulated CPU time: 0.83 s
Current children cumulated vsize: 257912 KiB
Current children cumulated memory: 203876 KiB

[startup+1.50021 s]
/proc/loadavg: 7.32 7.08 6.54 7/267 42206
/proc/meminfo: memFree=128255440/131250000 swapFree=33010684/33010684
[pid=42204] ppid=42201 vsize=330632 memory=276580 CPUtime=1.91 cores=5,7
/proc/42204/stat : 42204 (pb_competition_) R 42201 42204 41988 0 -1 4194304 83495 0 0 0 178 13 0 0 20 0 2 0 44944723 338567168 69145 18446744073709551615 4198400 6788177 140729317122192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 28459008 140729317128538 140729317128664 140729317128664 140729317134266 0
/proc/42204/statm: 82658 69145 640 633 0 70640 0
[pid=42204/tid=42206] ppid=42201 vsize=330632 memory=17792 CPUtime=0.43 cores=5,7
/proc/42204/task/42206/stat : 42206 (pb_competition_) R 42201 42204 41988 0 -1 4194368 5158 0 0 0 41 2 0 0 20 0 2 0 44944725 338567168 69145 18446744073709551615 4198400 6788177 140729317122192 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 28459008 140729317128538 140729317128664 140729317128664 140729317134266 0
Current children cumulated CPU time: 1.91 s
Current children cumulated vsize: 330632 KiB
Current children cumulated memory: 276580 KiB

[startup+3.10577 s]
/proc/loadavg: 7.29 7.07 6.54 6/267 42206
/proc/meminfo: memFree=128255536/131250000 swapFree=33010684/33010684
[pid=42204] ppid=42201 vsize=330632 memory=276580 CPUtime=4.54 cores=5,7
/proc/42204/stat : 42204 (pb_competition_) R 42201 42204 41988 0 -1 4194304 113261 0 0 0 439 15 0 0 20 0 2 0 44944723 338567168 69145 18446744073709551615 4198400 6788177 140729317122192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 28459008 140729317128538 140729317128664 140729317128664 140729317134266 0
/proc/42204/statm: 82658 69145 640 633 0 70640 0
[pid=42204/tid=42206] ppid=42201 vsize=330632 memory=276580 CPUtime=1.47 cores=5,7
/proc/42204/task/42206/stat : 42206 (pb_competition_) S 42201 42204 41988 0 -1 4194368 6109 0 0 0 145 2 0 0 20 0 2 0 44944725 338567168 69145 18446744073709551615 4198400 6788177 140729317122192 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 28459008 140729317128538 140729317128664 140729317128664 140729317134266 0
Current children cumulated CPU time: 4.54 s
Current children cumulated vsize: 330632 KiB
Current children cumulated memory: 276580 KiB

[startup+6.30019 s]
/proc/loadavg: 7.29 7.07 6.54 9/267 42206
/proc/meminfo: memFree=128255708/131250000 swapFree=33010684/33010684
[pid=42204] ppid=42201 vsize=330632 memory=276580 CPUtime=9.82 cores=5,7
/proc/42204/stat : 42204 (pb_competition_) R 42201 42204 41988 0 -1 4194304 159492 0 0 0 963 19 0 0 20 0 2 0 44944723 338567168 69145 18446744073709551615 4198400 6788177 140729317122192 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 28459008 140729317128538 140729317128664 140729317128664 140729317134266 0
/proc/42204/statm: 82658 69145 640 633 0 70640 0
[pid=42204/tid=42206] ppid=42201 vsize=330632 memory=17792 CPUtime=3.58 cores=5,7
/proc/42204/task/42206/stat : 42206 (pb_competition_) R 42201 42204 41988 0 -1 4194368 7164 0 0 0 356 2 0 0 20 0 2 0 44944725 338567168 69145 18446744073709551615 4198400 6788177 140729317122192 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 28459008 140729317128538 140729317128664 140729317128664 140729317134266 0
Current children cumulated CPU time: 9.82 s
Current children cumulated vsize: 330632 KiB
Current children cumulated memory: 276580 KiB

[startup+12.7002 s]
/proc/loadavg: 7.27 7.07 6.55 7/262 42227
/proc/meminfo: memFree=128291392/131250000 swapFree=33010684/33010684
[pid=42204] ppid=42201 vsize=330632 memory=276580 CPUtime=21.48 cores=5,7
/proc/42204/stat : 42204 (pb_competition_) R 42201 42204 41988 0 -1 4194304 241002 0 0 0 2122 26 0 0 20 0 2 0 44944723 338567168 69145 18446744073709551615 4198400 6788177 140729317122192 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 28459008 140729317128538 140729317128664 140729317128664 140729317134266 0
/proc/42204/statm: 82658 69145 640 633 0 70640 0
[pid=42204/tid=42206] ppid=42201 vsize=330632 memory=276580 CPUtime=8.89 cores=5,7
/proc/42204/task/42206/stat : 42206 (pb_competition_) R 42201 42204 41988 0 -1 4194368 8724 0 0 0 887 2 0 0 20 0 2 0 44944725 338567168 69145 18446744073709551615 4198400 6788177 140729317122192 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 28459008 140729317128538 140729317128664 140729317128664 140729317134266 0
Current children cumulated CPU time: 21.48 s
Current children cumulated vsize: 330632 KiB
Current children cumulated memory: 276580 KiB

[startup+25.5002 s]
/proc/loadavg: 7.28 7.09 6.56 7/267 42252
/proc/meminfo: memFree=128019140/131250000 swapFree=33010684/33010684
[pid=42204] ppid=42201 vsize=330632 memory=276580 CPUtime=43.71 cores=5,7
/proc/42204/stat : 42204 (pb_competition_) R 42201 42204 41988 0 -1 4194304 272406 0 0 0 4342 29 0 0 20 0 2 0 44944723 338567168 69145 18446744073709551615 4198400 6788177 140729317122192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 28459008 140729317128538 140729317128664 140729317128664 140729317134266 0
/proc/42204/statm: 82658 69145 640 633 0 70640 0
[pid=42204/tid=42206] ppid=42201 vsize=330632 memory=276580 CPUtime=18.4 cores=5,7
/proc/42204/task/42206/stat : 42206 (pb_competition_) S 42201 42204 41988 0 -1 4194368 9373 0 0 0 1837 3 0 0 20 0 2 0 44944725 338567168 69145 18446744073709551615 4198400 6788177 140729317122192 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 28459008 140729317128538 140729317128664 140729317128664 140729317134266 0
Current children cumulated CPU time: 43.71 s
Current children cumulated vsize: 330632 KiB
Current children cumulated memory: 276580 KiB

[startup+51.1059 s]
/proc/loadavg: 6.60 6.95 6.53 5/267 42252
/proc/meminfo: memFree=128018944/131250000 swapFree=33010684/33010684
[pid=42204] ppid=42201 vsize=330632 memory=276580 CPUtime=81.79 cores=5,7
/proc/42204/stat : 42204 (pb_competition_) R 42201 42204 41988 0 -1 4194304 363762 0 0 0 8143 36 0 0 20 0 2 0 44944723 338567168 69145 18446744073709551615 4198400 6788177 140729317122192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 28459008 140729317128538 140729317128664 140729317128664 140729317134266 0
/proc/42204/statm: 82658 69145 640 633 0 70640 0
[pid=42204/tid=42206] ppid=42201 vsize=330632 memory=14720 CPUtime=31.01 cores=5,7
/proc/42204/task/42206/stat : 42206 (pb_competition_) S 42201 42204 41988 0 -1 4194368 11748 0 0 0 3098 3 0 0 20 0 2 0 44944725 338567168 69145 18446744073709551615 4198400 6788177 140729317122192 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 28459008 140729317128538 140729317128664 140729317128664 140729317134266 0
Current children cumulated CPU time: 81.79 s
Current children cumulated vsize: 330632 KiB
Current children cumulated memory: 276580 KiB

[startup+102.3 s]
/proc/loadavg: 5.83 6.68 6.45 6/267 42254
/proc/meminfo: memFree=128018092/131250000 swapFree=33010684/33010684
[pid=42204] ppid=42201 vsize=330632 memory=276580 CPUtime=152.53 cores=5,7
/proc/42204/stat : 42204 (pb_competition_) R 42201 42204 41988 0 -1 4194304 453479 0 0 0 15206 47 0 0 20 0 2 0 44944723 338567168 69145 18446744073709551615 4198400 6788177 140729317122192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 28459008 140729317128538 140729317128664 140729317128664 140729317134266 0
/proc/42204/statm: 82658 69145 640 633 0 70640 0
[pid=42204/tid=42206] ppid=42201 vsize=330632 memory=14720 CPUtime=50.85 cores=5,7
/proc/42204/task/42206/stat : 42206 (pb_competition_) R 42201 42204 41988 0 -1 4194368 14476 0 0 0 5080 5 0 0 20 0 2 0 44944725 338567168 69145 18446744073709551615 4198400 6788177 140729317122192 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 28459008 140729317128538 140729317128664 140729317128664 140729317134266 0
Current children cumulated CPU time: 152.53 s
Current children cumulated vsize: 330632 KiB
Current children cumulated memory: 276580 KiB

[startup+162.3 s]
/proc/loadavg: 5.70 6.48 6.40 6/268 42263
/proc/meminfo: memFree=128012268/131250000 swapFree=33010684/33010684
[pid=42204] ppid=42201 vsize=330632 memory=276580 CPUtime=230.87 cores=5,7
/proc/42204/stat : 42204 (pb_competition_) R 42201 42204 41988 0 -1 4194304 484649 0 0 0 23033 54 0 0 20 0 2 0 44944723 338567168 69145 18446744073709551615 4198400 6788177 140729317122192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 28459008 140729317128538 140729317128664 140729317128664 140729317134266 0
/proc/42204/statm: 82658 69145 640 633 0 70640 0
[pid=42204/tid=42206] ppid=42201 vsize=330632 memory=276580 CPUtime=69.56 cores=5,7
/proc/42204/task/42206/stat : 42206 (pb_competition_) S 42201 42204 41988 0 -1 4194368 15353 0 0 0 6949 7 0 0 20 0 2 0 44944725 338567168 69145 18446744073709551615 4198400 6788177 140729317122192 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 28459008 140729317128538 140729317128664 140729317128664 140729317134266 0
Current children cumulated CPU time: 230.87 s
Current children cumulated vsize: 330632 KiB
Current children cumulated memory: 276580 KiB

[startup+222.3 s]
/proc/loadavg: 6.01 6.40 6.37 6/267 42265
/proc/meminfo: memFree=127999096/131250000 swapFree=33010684/33010684
[pid=42204] ppid=42201 vsize=330632 memory=276580 CPUtime=305.27 cores=5,7
/proc/42204/stat : 42204 (pb_competition_) R 42201 42204 41988 0 -1 4194304 515534 0 0 0 30467 60 0 0 20 0 2 0 44944723 338567168 69145 18446744073709551615 4198400 6788177 140729317122192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 28459008 140729317128538 140729317128664 140729317128664 140729317134266 0
/proc/42204/statm: 82658 69145 640 633 0 70640 0
[pid=42204/tid=42206] ppid=42201 vsize=330632 memory=10752 CPUtime=84.29 cores=5,7
/proc/42204/task/42206/stat : 42206 (pb_competition_) R 42201 42204 41988 0 -1 4194368 15694 0 0 0 8420 9 0 0 20 0 2 0 44944725 338567168 69145 18446744073709551615 4198400 6788177 140729317122192 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 28459008 140729317128538 140729317128664 140729317128664 140729317134266 0
Current children cumulated CPU time: 305.27 s
Current children cumulated vsize: 330632 KiB
Current children cumulated memory: 276580 KiB

[startup+282.3 s]
/proc/loadavg: 5.71 6.26 6.33 7/267 42267
/proc/meminfo: memFree=128005456/131250000 swapFree=33010684/33010684
[pid=42204] ppid=42201 vsize=330632 memory=276580 CPUtime=379.91 cores=5,7
/proc/42204/stat : 42204 (pb_competition_) R 42201 42204 41988 0 -1 4194304 518980 0 0 0 37928 63 0 0 20 0 2 0 44944723 338567168 69145 18446744073709551615 4198400 6788177 140729317122192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 28459008 140729317128538 140729317128664 140729317128664 140729317134266 0
/proc/42204/statm: 82658 69145 640 633 0 70640 0
[pid=42204/tid=42206] ppid=42201 vsize=330632 memory=276580 CPUtime=99.25 cores=5,7
/proc/42204/task/42206/stat : 42206 (pb_competition_) S 42201 42204 41988 0 -1 4194368 15696 0 0 0 9914 11 0 0 20 0 2 0 44944725 338567168 69145 18446744073709551615 4198400 6788177 140729317122192 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 28459008 140729317128538 140729317128664 140729317128664 140729317134266 0
Current children cumulated CPU time: 379.91 s
Current children cumulated vsize: 330632 KiB
Current children cumulated memory: 276580 KiB

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

/proc/meminfo: memFree=127739784/131250000 swapFree=33010684/33010684
[pid=42204] ppid=42201 vsize=330632 memory=276836 CPUtime=2837.97 cores=5,7
/proc/42204/stat : 42204 (pb_competition_) R 42201 42204 41988 0 -1 4194304 551336 0 0 0 283630 167 0 0 20 0 2 0 44944723 338567168 69209 18446744073709551615 4198400 6788177 140729317122192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 28459008 140729317128538 140729317128664 140729317128664 140729317134266 0
/proc/42204/statm: 82658 69209 640 633 0 70640 0
[pid=42204/tid=42206] ppid=42201 vsize=330632 memory=276836 CPUtime=647.7 cores=5,7
/proc/42204/task/42206/stat : 42206 (pb_competition_) R 42201 42204 41988 0 -1 4194368 16476 0 0 0 64704 66 0 0 20 0 2 0 44944725 338567168 69209 18446744073709551615 4198400 6788177 140729317122192 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 28459008 140729317128538 140729317128664 140729317128664 140729317134266 0
Current children cumulated CPU time: 2837.97 s
Current children cumulated vsize: 330632 KiB
Current children cumulated memory: 276836 KiB

[startup+2262.3 s]
/proc/loadavg: 5.35 5.25 5.42 6/268 42449
/proc/meminfo: memFree=127739616/131250000 swapFree=33010684/33010684
[pid=42204] ppid=42201 vsize=330632 memory=276836 CPUtime=2915.6 cores=5,7
/proc/42204/stat : 42204 (pb_competition_) R 42201 42204 41988 0 -1 4194304 552239 0 0 0 291389 171 0 0 20 0 2 0 44944723 338567168 69209 18446744073709551615 4198400 6788177 140729317122192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 28459008 140729317128538 140729317128664 140729317128664 140729317134266 0
/proc/42204/statm: 82658 69209 640 633 0 70640 0
[pid=42204/tid=42206] ppid=42201 vsize=330632 memory=276836 CPUtime=665.65 cores=5,7
/proc/42204/task/42206/stat : 42206 (pb_competition_) R 42201 42204 41988 0 -1 4194368 16587 0 0 0 66498 67 0 0 20 0 2 0 44944725 338567168 69209 18446744073709551615 4198400 6788177 140729317122192 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 28459008 140729317128538 140729317128664 140729317128664 140729317134266 0
Current children cumulated CPU time: 2915.6 s
Current children cumulated vsize: 330632 KiB
Current children cumulated memory: 276836 KiB

[startup+2322.3 s]
/proc/loadavg: 5.74 5.37 5.46 6/267 42451
/proc/meminfo: memFree=127739788/131250000 swapFree=33010684/33010684
[pid=42204] ppid=42201 vsize=330632 memory=276836 CPUtime=2993.27 cores=5,7
/proc/42204/stat : 42204 (pb_competition_) R 42201 42204 41988 0 -1 4194304 553144 0 0 0 299151 176 0 0 20 0 2 0 44944723 338567168 69209 18446744073709551615 4198400 6788177 140729317122192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 28459008 140729317128538 140729317128664 140729317128664 140729317134266 0
/proc/42204/statm: 82658 69209 640 633 0 70640 0
[pid=42204/tid=42206] ppid=42201 vsize=330632 memory=276836 CPUtime=683.68 cores=5,7
/proc/42204/task/42206/stat : 42206 (pb_competition_) S 42201 42204 41988 0 -1 4194368 16593 0 0 0 68298 70 0 0 20 0 2 0 44944725 338567168 69209 18446744073709551615 4198400 6788177 140729317122192 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 28459008 140729317128538 140729317128664 140729317128664 140729317134266 0
Current children cumulated CPU time: 2993.27 s
Current children cumulated vsize: 330632 KiB
Current children cumulated memory: 276836 KiB

[startup+2382.3 s]
/proc/loadavg: 5.38 5.33 5.44 5/267 42454
/proc/meminfo: memFree=127738992/131250000 swapFree=33010684/33010684
[pid=42204] ppid=42201 vsize=330632 memory=276836 CPUtime=3071.02 cores=5,7
/proc/42204/stat : 42204 (pb_competition_) R 42201 42204 41988 0 -1 4194304 554047 0 0 0 306921 181 0 0 20 0 2 0 44944723 338567168 69209 18446744073709551615 4198400 6788177 140729317122192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 28459008 140729317128538 140729317128664 140729317128664 140729317134266 0
/proc/42204/statm: 82658 69209 640 633 0 70640 0
[pid=42204/tid=42206] ppid=42201 vsize=330632 memory=276836 CPUtime=701.75 cores=5,7
/proc/42204/task/42206/stat : 42206 (pb_competition_) R 42201 42204 41988 0 -1 4194368 16598 0 0 0 70103 72 0 0 20 0 2 0 44944725 338567168 69209 18446744073709551615 4198400 6788177 140729317122192 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 28459008 140729317128538 140729317128664 140729317128664 140729317134266 0
Current children cumulated CPU time: 3071.02 s
Current children cumulated vsize: 330632 KiB
Current children cumulated memory: 276836 KiB

[startup+2442.3 s]
/proc/loadavg: 5.34 5.33 5.43 6/266 42456
/proc/meminfo: memFree=127739440/131250000 swapFree=33010684/33010684
[pid=42204] ppid=42201 vsize=330632 memory=276836 CPUtime=3149.4 cores=5,7
/proc/42204/stat : 42204 (pb_competition_) R 42201 42204 41988 0 -1 4194304 554910 0 0 0 314755 185 0 0 20 0 2 0 44944723 338567168 69209 18446744073709551615 4198400 6788177 140729317122192 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 28459008 140729317128538 140729317128664 140729317128664 140729317134266 0
/proc/42204/statm: 82658 69209 640 633 0 70640 0
[pid=42204/tid=42206] ppid=42201 vsize=330632 memory=276836 CPUtime=720.46 cores=5,7
/proc/42204/task/42206/stat : 42206 (pb_competition_) S 42201 42204 41988 0 -1 4194368 16709 0 0 0 71972 74 0 0 20 0 2 0 44944725 338567168 69209 18446744073709551615 4198400 6788177 140729317122192 0 0 0 0 0 8404994 1 0 0 -1 5 0 0 0 0 0 7336896 7391280 28459008 140729317128538 140729317128664 140729317128664 140729317134266 0
Current children cumulated CPU time: 3149.4 s
Current children cumulated vsize: 330632 KiB
Current children cumulated memory: 276836 KiB

[startup+2502.3 s]
/proc/loadavg: 5.39 5.36 5.44 7/266 42458
/proc/meminfo: memFree=127739244/131250000 swapFree=33010684/33010684
[pid=42204] ppid=42201 vsize=330632 memory=276836 CPUtime=3226.39 cores=5,7
/proc/42204/stat : 42204 (pb_competition_) R 42201 42204 41988 0 -1 4194304 554953 0 0 0 322450 189 0 0 20 0 2 0 44944723 338567168 69209 18446744073709551615 4198400 6788177 140729317122192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 28459008 140729317128538 140729317128664 140729317128664 140729317134266 0
/proc/42204/statm: 82658 69209 640 633 0 70640 0
[pid=42204/tid=42206] ppid=42201 vsize=330632 memory=14720 CPUtime=737.78 cores=5,7
/proc/42204/task/42206/stat : 42206 (pb_competition_) R 42201 42204 41988 0 -1 4194368 16709 0 0 0 73701 77 0 0 20 0 2 0 44944725 338567168 69209 18446744073709551615 4198400 6788177 140729317122192 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 28459008 140729317128538 140729317128664 140729317128664 140729317134266 0
Current children cumulated CPU time: 3226.39 s
Current children cumulated vsize: 330632 KiB
Current children cumulated memory: 276836 KiB

[startup+2562.3 s]
/proc/loadavg: 5.12 5.29 5.41 7/267 42467
/proc/meminfo: memFree=127739332/131250000 swapFree=33010684/33010684
[pid=42204] ppid=42201 vsize=330632 memory=276836 CPUtime=3302.26 cores=5,7
/proc/42204/stat : 42204 (pb_competition_) R 42201 42204 41988 0 -1 4194304 555857 0 0 0 330033 193 0 0 20 0 2 0 44944723 338567168 69209 18446744073709551615 4198400 6788177 140729317122192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 28459008 140729317128538 140729317128664 140729317128664 140729317134266 0
/proc/42204/statm: 82658 69209 640 633 0 70640 0
[pid=42204/tid=42206] ppid=42201 vsize=330632 memory=276836 CPUtime=753.96 cores=5,7
/proc/42204/task/42206/stat : 42206 (pb_competition_) R 42201 42204 41988 0 -1 4194368 16858 0 0 0 75317 79 0 0 20 0 2 0 44944725 338567168 69209 18446744073709551615 4198400 6788177 140729317122192 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 28459008 140729317128538 140729317128664 140729317128664 140729317134266 0
Current children cumulated CPU time: 3302.26 s
Current children cumulated vsize: 330632 KiB
Current children cumulated memory: 276836 KiB

[startup+2622.3 s]
/proc/loadavg: 5.56 5.38 5.43 8/267 42469
/proc/meminfo: memFree=127739040/131250000 swapFree=33010684/33010684
[pid=42204] ppid=42201 vsize=330632 memory=276836 CPUtime=3377.31 cores=5,7
/proc/42204/stat : 42204 (pb_competition_) R 42201 42204 41988 0 -1 4194304 556761 0 0 0 337534 197 0 0 20 0 2 0 44944723 338567168 69209 18446744073709551615 4198400 6788177 140729317122192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 28459008 140729317128538 140729317128664 140729317128664 140729317134266 0
/proc/42204/statm: 82658 69209 640 633 0 70640 0
[pid=42204/tid=42206] ppid=42201 vsize=330632 memory=276836 CPUtime=769.28 cores=5,7
/proc/42204/task/42206/stat : 42206 (pb_competition_) S 42201 42204 41988 0 -1 4194368 16862 0 0 0 76847 81 0 0 20 0 2 0 44944725 338567168 69209 18446744073709551615 4198400 6788177 140729317122192 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 28459008 140729317128538 140729317128664 140729317128664 140729317134266 0
Current children cumulated CPU time: 3377.31 s
Current children cumulated vsize: 330632 KiB
Current children cumulated memory: 276836 KiB

[startup+2682.3 s]
/proc/loadavg: 5.41 5.36 5.42 8/267 42471
/proc/meminfo: memFree=127739020/131250000 swapFree=33010684/33010684
[pid=42204] ppid=42201 vsize=330632 memory=276836 CPUtime=3451.88 cores=5,7
/proc/42204/stat : 42204 (pb_competition_) R 42201 42204 41988 0 -1 4194304 557668 0 0 0 344987 201 0 0 20 0 2 0 44944723 338567168 69209 18446744073709551615 4198400 6788177 140729317122192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 28459008 140729317128538 140729317128664 140729317128664 140729317134266 0
/proc/42204/statm: 82658 69209 640 633 0 70640 0
[pid=42204/tid=42206] ppid=42201 vsize=330632 memory=276836 CPUtime=784.13 cores=5,7
/proc/42204/task/42206/stat : 42206 (pb_competition_) S 42201 42204 41988 0 -1 4194368 16954 0 0 0 78330 83 0 0 20 0 2 0 44944725 338567168 69209 18446744073709551615 4198400 6788177 140729317122192 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 28459008 140729317128538 140729317128664 140729317128664 140729317134266 0
Current children cumulated CPU time: 3451.88 s
Current children cumulated vsize: 330632 KiB
Current children cumulated memory: 276836 KiB

[startup+2742.3 s]
/proc/loadavg: 5.11 5.28 5.39 7/267 42473
/proc/meminfo: memFree=127738312/131250000 swapFree=33010684/33010684
[pid=42204] ppid=42201 vsize=330632 memory=276836 CPUtime=3527.54 cores=5,7
/proc/42204/stat : 42204 (pb_competition_) R 42201 42204 41988 0 -1 4194304 558572 0 0 0 352550 204 0 0 20 0 2 0 44944723 338567168 69209 18446744073709551615 4198400 6788177 140729317122192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 28459008 140729317128538 140729317128664 140729317128664 140729317134266 0
/proc/42204/statm: 82658 69209 640 633 0 70640 0
[pid=42204/tid=42206] ppid=42201 vsize=330632 memory=276836 CPUtime=800.14 cores=5,7
/proc/42204/task/42206/stat : 42206 (pb_competition_) R 42201 42204 41988 0 -1 4194368 17072 0 0 0 79928 86 0 0 20 0 2 0 44944725 338567168 69209 18446744073709551615 4198400 6788177 140729317122192 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 28459008 140729317128538 140729317128664 140729317128664 140729317134266 0
Current children cumulated CPU time: 3527.54 s
Current children cumulated vsize: 330632 KiB
Current children cumulated memory: 276836 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2799.7 s]
/proc/loadavg: 4.99 5.21 5.36 5/267 42475
/proc/meminfo: memFree=127739108/131250000 swapFree=33010684/33010684
[pid=42204] ppid=42201 vsize=330632 memory=276836 CPUtime=3600.04 cores=5,7
/proc/42204/stat : 42204 (pb_competition_) R 42201 42204 41988 0 -1 4194304 559474 0 0 0 359796 208 0 0 20 0 2 0 44944723 338567168 69209 18446744073709551615 4198400 6788177 140729317122192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 28459008 140729317128538 140729317128664 140729317128664 140729317134266 0
/proc/42204/statm: 82658 69209 640 633 0 70640 0
[pid=42204/tid=42206] ppid=42201 vsize=330632 memory=276836 CPUtime=815.56 cores=5,7
/proc/42204/task/42206/stat : 42206 (pb_competition_) S 42201 42204 41988 0 -1 4194368 17075 0 0 0 81468 88 0 0 20 0 2 0 44944725 338567168 69209 18446744073709551615 4198400 6788177 140729317122192 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 28459008 140729317128538 140729317128664 140729317128664 140729317134266 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 330632 KiB
Current children cumulated memory: 276836 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.09 s, system=2.10659 s

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

[startup+2799.8 s]
/proc/loadavg: 4.99 5.21 5.36 5/267 42475
/proc/meminfo: memFree=127739108/131250000 swapFree=33010684/33010684
[pid=42204] ppid=42201 vsize=280624 memory=226864 CPUtime=3600.15 cores=5,7
/proc/42204/stat : 42204 (pb_competition_) R 42201 42204 41988 0 -1 4194304 571674 0 0 0 359806 209 0 0 20 0 2 0 44944723 287358976 56716 18446744073709551615 4198400 6788177 140729317122192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 28459008 140729317128538 140729317128664 140729317128664 140729317134266 0
/proc/42204/statm: 70156 56716 640 633 0 58138 0
[pid=42204/tid=42206] ppid=42201 vsize=280624 memory=7969823787433081196 CPUtime=815.56 cores=5,7
/proc/42204/task/42206/stat : 42206 (pb_competition_) S 42201 42204 41988 0 -1 4194368 17075 0 0 0 81468 88 0 0 20 0 2 0 44944725 287358976 56716 18446744073709551615 4198400 6788177 140729317122192 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 28459008 140729317128538 140729317128664 140729317128664 140729317134266 0
Current children cumulated CPU time: 3600.15 s
Current children cumulated vsize: 280624 KiB
Current children cumulated memory: 226864 KiB

Child status: 0

Real time (s): 2799.84
CPU time (s): 3600.2
CPU user time (s): 3598.09
CPU system time (s): 2.10659
CPU usage (%): 128.586
Max. virtual memory (cumulated for all children) (KiB): 330632
Max. memory (cumulated for all children) (KiB): 276836

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.09
system time used= 2.10659
maximum resident set size= 276836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 575981
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= 69214
involuntary context switches= 29324


# summary of solver processes directly reported to runsolver:
#   pid: 42204
#   total CPU time (s): 3600.2
#   total CPU user time (s): 3598.09
#   total CPU system time (s): 2.10659

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.74803 second user time and 12.7466 second system time

The end