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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4498421-1751389793/watcher-4498421-1751389793 -o /tmp/evaluation-result-4498421-1751389793/solver-4498421-1751389793 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751382437-58274 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 756267113 HOME/instance-4498421-1751389793.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=59156, runsolver pid=59153

[startup+0.100069 s]*
/proc/loadavg: 5.16 5.51 5.58 5/266 59158
/proc/meminfo: memFree=128774524/131250000 swapFree=33010684/33010684
[pid=59156] ppid=59153 vsize=106280 memory=35552 CPUtime=0.11 cores=1,3
/proc/59156/stat : 59156 (pb_competition_) R 59153 59156 58262 0 -1 4194304 8559 0 0 0 10 1 0 0 20 0 2 0 54659548 108830720 8888 18446744073709551615 4198400 6788177 140723849820848 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 7336896 7391280 15396864 140723849828698 140723849828824 140723849828824 140723849834426 0
/proc/59156/statm: 26570 8888 576 633 0 10431 0
[pid=59156/tid=59158] ppid=59153 vsize=106280 memory=4026531960 CPUtime=0.01 cores=1,3
/proc/59156/task/59158/stat : 59158 (pb_competition_) S 59153 59156 58262 0 -1 4194368 1063 0 0 0 1 0 0 0 20 0 2 0 54659548 108830720 8888 18446744073709551615 4198400 6788177 140723849820848 0 0 0 0 0 0 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 15396864 140723849828698 140723849828824 140723849828824 140723849834426 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 106280 KiB
Current children cumulated memory: 35552 KiB

[startup+0.205935 s]*
/proc/loadavg: 5.16 5.51 5.58 7/266 59158
/proc/meminfo: memFree=128754616/131250000 swapFree=33010684/33010684
[pid=59156] ppid=59153 vsize=123196 memory=52504 CPUtime=0.22 cores=1,3
/proc/59156/stat : 59156 (pb_competition_) R 59153 59156 58262 0 -1 4194304 13469 0 0 0 20 2 0 0 20 0 2 0 54659548 126152704 13126 18446744073709551615 4198400 6788177 140723849820848 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 7336896 7391280 15396864 140723849828698 140723849828824 140723849828824 140723849834426 0
/proc/59156/statm: 30799 13126 576 633 0 14660 0
[pid=59156/tid=59158] ppid=59153 vsize=123196 memory=664958721904869660 CPUtime=0.01 cores=1,3
/proc/59156/task/59158/stat : 59158 (pb_competition_) S 59153 59156 58262 0 -1 4194368 1063 0 0 0 1 0 0 0 20 0 2 0 54659548 126152704 13126 18446744073709551615 4198400 6788177 140723849820848 0 0 0 0 0 0 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 15396864 140723849828698 140723849828824 140723849828824 140723849834426 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 123196 KiB
Current children cumulated memory: 52504 KiB

[startup+0.305724 s]*
/proc/loadavg: 5.16 5.51 5.58 6/266 59158
/proc/meminfo: memFree=128735716/131250000 swapFree=33010684/33010684
[pid=59156] ppid=59153 vsize=139256 memory=70680 CPUtime=0.35 cores=1,3
/proc/59156/stat : 59156 (pb_competition_) R 59153 59156 58262 0 -1 4194304 18058 0 0 0 32 3 0 0 20 0 2 0 54659548 142598144 17670 18446744073709551615 4198400 6788177 140723849820848 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 7336896 7391280 15396864 140723849828698 140723849828824 140723849828824 140723849834426 0
/proc/59156/statm: 34814 17670 608 633 0 19190 0
[pid=59156/tid=59158] ppid=59153 vsize=139256 memory=7970392230767312491 CPUtime=0.03 cores=1,3
/proc/59156/task/59158/stat : 59158 (pb_competition_) S 59153 59156 58262 0 -1 4194368 1580 0 0 0 3 0 0 0 20 0 2 0 54659548 142598144 17670 18446744073709551615 4198400 6788177 140723849820848 0 0 0 0 0 0 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 15396864 140723849828698 140723849828824 140723849828824 140723849834426 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 139256 KiB
Current children cumulated memory: 70680 KiB

[startup+0.700243 s]
/proc/loadavg: 5.16 5.51 5.58 7/266 59159
/proc/meminfo: memFree=128598000/131250000 swapFree=33010684/33010684
[pid=59156] ppid=59153 vsize=289936 memory=240212 CPUtime=0.87 cores=1,3
/proc/59156/stat : 59156 (pb_competition_) R 59153 59156 58262 0 -1 4194304 40497 0 0 0 79 8 0 0 20 0 2 0 54659548 296894464 60053 18446744073709551615 4198400 6788177 140723849820848 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 15396864 140723849828698 140723849828824 140723849828824 140723849834426 0
/proc/59156/statm: 72484 60053 640 633 0 61794 0
[pid=59156/tid=59158] ppid=59153 vsize=289936 memory=13952 CPUtime=0.18 cores=1,3
/proc/59156/task/59158/stat : 59158 (pb_competition_) S 59153 59156 58262 0 -1 4194368 6514 0 0 0 17 1 0 0 20 0 2 0 54659548 296894464 60053 18446744073709551615 4198400 6788177 140723849820848 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 15396864 140723849828698 140723849828824 140723849828824 140723849834426 0
Current children cumulated CPU time: 0.87 s
Current children cumulated vsize: 289936 KiB
Current children cumulated memory: 240212 KiB

[startup+1.50018 s]
/proc/loadavg: 5.16 5.51 5.58 7/266 59159
/proc/meminfo: memFree=128541552/131250000 swapFree=33010684/33010684
[pid=59156] ppid=59153 vsize=403892 memory=355156 CPUtime=1.67 cores=1,3
/proc/59156/stat : 59156 (pb_competition_) R 59153 59156 58262 0 -1 4194304 108954 0 0 0 152 15 0 0 20 0 2 0 54659548 413585408 88789 18446744073709551615 4198400 6788177 140723849820848 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 15396864 140723849828698 140723849828824 140723849828824 140723849834426 0
/proc/59156/statm: 100973 88789 672 633 0 90283 0
[pid=59156/tid=59158] ppid=59153 vsize=403892 memory=13952 CPUtime=0.18 cores=1,3
/proc/59156/task/59158/stat : 59158 (pb_competition_) S 59153 59156 58262 0 -1 4194368 6514 0 0 0 17 1 0 0 20 0 2 0 54659548 413585408 88789 18446744073709551615 4198400 6788177 140723849820848 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 15396864 140723849828698 140723849828824 140723849828824 140723849834426 0
Current children cumulated CPU time: 1.67 s
Current children cumulated vsize: 403892 KiB
Current children cumulated memory: 355156 KiB

[startup+3.10691 s]
/proc/loadavg: 5.16 5.51 5.58 6/266 59159
/proc/meminfo: memFree=128188220/131250000 swapFree=33010684/33010684
[pid=59156] ppid=59153 vsize=652988 memory=604492 CPUtime=3.28 cores=1,3
/proc/59156/stat : 59156 (pb_competition_) R 59153 59156 58262 0 -1 4194304 210548 0 0 0 299 29 0 0 20 0 2 0 54659548 668659712 151123 18446744073709551615 4198400 6788177 140723849820848 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 15396864 140723849828698 140723849828824 140723849828824 140723849834426 0
/proc/59156/statm: 163247 151123 672 633 0 152557 0
[pid=59156/tid=59158] ppid=59153 vsize=652988 memory=369716 CPUtime=0.19 cores=1,3
/proc/59156/task/59158/stat : 59158 (pb_competition_) S 59153 59156 58262 0 -1 4194368 7208 0 0 0 18 1 0 0 20 0 2 0 54659548 668659712 151123 18446744073709551615 4198400 6788177 140723849820848 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 15396864 140723849828698 140723849828824 140723849828824 140723849834426 0
Current children cumulated CPU time: 3.28 s
Current children cumulated vsize: 652988 KiB
Current children cumulated memory: 604492 KiB

[startup+6.30016 s]
/proc/loadavg: 5.23 5.52 5.58 5/266 59159
/proc/meminfo: memFree=128190672/131250000 swapFree=33010684/33010684
[pid=59156] ppid=59153 vsize=661256 memory=612776 CPUtime=6.71 cores=1,3
/proc/59156/stat : 59156 (pb_competition_) R 59153 59156 58262 0 -1 4194304 319463 0 0 0 625 46 0 0 20 0 2 0 54659548 677126144 153162 18446744073709551615 4198400 6788177 140723849820848 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 15396864 140723849828698 140723849828824 140723849828824 140723849834426 0
/proc/59156/statm: 165347 153162 672 633 0 154657 0
[pid=59156/tid=59158] ppid=59153 vsize=661388 memory=13952 CPUtime=0.44 cores=1,3
/proc/59156/task/59158/stat : 59158 (pb_competition_) S 59153 59156 58262 0 -1 4194368 7244 0 0 0 43 1 0 0 20 0 2 0 54659548 677261312 153194 18446744073709551615 4198400 6788177 140723849820848 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 15396864 140723849828698 140723849828824 140723849828824 140723849834426 0
Current children cumulated CPU time: 6.71 s
Current children cumulated vsize: 661256 KiB
Current children cumulated memory: 612776 KiB

[startup+12.7002 s]
/proc/loadavg: 5.37 5.54 5.59 6/266 59159
/proc/meminfo: memFree=128190104/131250000 swapFree=33010684/33010684
[pid=59156] ppid=59153 vsize=649532 memory=601036 CPUtime=14.65 cores=1,3
/proc/59156/stat : 59156 (pb_competition_) R 59153 59156 58262 0 -1 4194304 538915 0 0 0 1397 68 0 0 20 0 2 0 54659548 665120768 150259 18446744073709551615 4198400 6788177 140723849820848 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 15396864 140723849828698 140723849828824 140723849828824 140723849834426 0
/proc/59156/statm: 162383 150259 672 633 0 151693 0
[pid=59156/tid=59158] ppid=59153 vsize=649532 memory=601036 CPUtime=2.02 cores=1,3
/proc/59156/task/59158/stat : 59158 (pb_competition_) R 59153 59156 58262 0 -1 4194368 10348 0 0 0 200 2 0 0 20 0 2 0 54659548 665120768 150259 18446744073709551615 4198400 6788177 140723849820848 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 15396864 140723849828698 140723849828824 140723849828824 140723849834426 0
Current children cumulated CPU time: 14.65 s
Current children cumulated vsize: 649532 KiB
Current children cumulated memory: 601036 KiB

[startup+25.5002 s]
/proc/loadavg: 5.45 5.55 5.59 8/266 59159
/proc/meminfo: memFree=128181976/131250000 swapFree=33010684/33010684
[pid=59156] ppid=59153 vsize=649532 memory=601108 CPUtime=36.47 cores=1,3
/proc/59156/stat : 59156 (pb_competition_) R 59153 59156 58262 0 -1 4194304 728730 0 0 0 3556 91 0 0 20 0 2 0 54659548 665120768 150277 18446744073709551615 4198400 6788177 140723849820848 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 15396864 140723849828698 140723849828824 140723849828824 140723849834426 0
/proc/59156/statm: 162383 150277 672 633 0 151693 0
[pid=59156/tid=59158] ppid=59153 vsize=649532 memory=601036 CPUtime=11.15 cores=1,3
/proc/59156/task/59158/stat : 59158 (pb_competition_) S 59153 59156 58262 0 -1 4194368 19174 0 0 0 1110 5 0 0 20 0 2 0 54659548 665120768 150277 18446744073709551615 4198400 6788177 140723849820848 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 15396864 140723849828698 140723849828824 140723849828824 140723849834426 0
Current children cumulated CPU time: 36.47 s
Current children cumulated vsize: 649532 KiB
Current children cumulated memory: 601108 KiB

[startup+51.1059 s]
/proc/loadavg: 5.37 5.52 5.58 6/266 59159
/proc/meminfo: memFree=128190732/131250000 swapFree=33010684/33010684
[pid=59156] ppid=59153 vsize=663432 memory=614896 CPUtime=75.21 cores=1,3
/proc/59156/stat : 59156 (pb_competition_) R 59153 59156 58262 0 -1 4194304 1180944 0 0 0 7358 163 0 0 20 0 2 0 54659548 679354368 153724 18446744073709551615 4198400 6788177 140723849820848 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 15396864 140723849828698 140723849828824 140723849828824 140723849834426 0
/proc/59156/statm: 165858 153724 672 633 0 155168 0
[pid=59156/tid=59158] ppid=59153 vsize=663432 memory=13952 CPUtime=24.46 cores=1,3
/proc/59156/task/59158/stat : 59158 (pb_competition_) R 59153 59156 58262 0 -1 4194368 23624 0 0 0 2437 9 0 0 20 0 2 0 54659548 679354368 153724 18446744073709551615 4198400 6788177 140723849820848 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 15396864 140723849828698 140723849828824 140723849828824 140723849834426 0
Current children cumulated CPU time: 75.21 s
Current children cumulated vsize: 663432 KiB
Current children cumulated memory: 614896 KiB

[startup+102.3 s]
/proc/loadavg: 5.47 5.53 5.58 7/266 59161
/proc/meminfo: memFree=128205276/131250000 swapFree=33010684/33010684
[pid=59156] ppid=59153 vsize=649532 memory=601108 CPUtime=151.25 cores=1,3
/proc/59156/stat : 59156 (pb_competition_) R 59153 59156 58262 0 -1 4194304 1749233 0 0 0 14853 272 0 0 20 0 2 0 54659548 665120768 150277 18446744073709551615 4198400 6788177 140723849820848 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 15396864 140723849828698 140723849828824 140723849828824 140723849834426 0
/proc/59156/statm: 162383 150277 672 633 0 151693 0
[pid=59156/tid=59158] ppid=59153 vsize=649532 memory=13952 CPUtime=49.66 cores=1,3
/proc/59156/task/59158/stat : 59158 (pb_competition_) R 59153 59156 58262 0 -1 4194368 25425 0 0 0 4950 16 0 0 20 0 2 0 54659548 665120768 150277 18446744073709551615 4198400 6788177 140723849820848 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 15396864 140723849828698 140723849828824 140723849828824 140723849834426 0
Current children cumulated CPU time: 151.25 s
Current children cumulated vsize: 649532 KiB
Current children cumulated memory: 601108 KiB

[startup+162.3 s]
/proc/loadavg: 5.69 5.60 5.60 7/267 59165
/proc/meminfo: memFree=128193688/131250000 swapFree=33010684/33010684
[pid=59156] ppid=59153 vsize=653060 memory=604636 CPUtime=233.52 cores=1,3
/proc/59156/stat : 59156 (pb_competition_) R 59153 59156 58262 0 -1 4194304 2824392 0 0 0 22868 484 0 0 20 0 2 0 54659548 668733440 151159 18446744073709551615 4198400 6788177 140723849820848 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 15396864 140723849828698 140723849828824 140723849828824 140723849834426 0
/proc/59156/statm: 163265 151159 672 633 0 152575 0
[pid=59156/tid=59158] ppid=59153 vsize=653060 memory=603248 CPUtime=72.31 cores=1,3
/proc/59156/task/59158/stat : 59158 (pb_competition_) R 59153 59156 58262 0 -1 4194368 29281 0 0 0 7209 22 0 0 20 0 2 0 54659548 668733440 151159 18446744073709551615 4198400 6788177 140723849820848 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 15396864 140723849828698 140723849828824 140723849828824 140723849834426 0
Current children cumulated CPU time: 233.52 s
Current children cumulated vsize: 653060 KiB
Current children cumulated memory: 604636 KiB

[startup+222.3 s]
/proc/loadavg: 5.37 5.54 5.58 7/268 59170
/proc/meminfo: memFree=128191140/131250000 swapFree=33010684/33010684
[pid=59156] ppid=59153 vsize=653060 memory=604636 CPUtime=322.45 cores=1,3
/proc/59156/stat : 59156 (pb_competition_) R 59153 59156 58262 0 -1 4194304 3567610 0 0 0 31613 632 0 0 20 0 2 0 54659548 668733440 151159 18446744073709551615 4198400 6788177 140723849820848 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 15396864 140723849828698 140723849828824 140723849828824 140723849834426 0
/proc/59156/statm: 163265 151159 672 633 0 152575 0
[pid=59156/tid=59158] ppid=59153 vsize=653060 memory=13952 CPUtime=101.67 cores=1,3
/proc/59156/task/59158/stat : 59158 (pb_competition_) R 59153 59156 58262 0 -1 4194368 32029 0 0 0 10136 31 0 0 20 0 2 0 54659548 668733440 151159 18446744073709551615 4198400 6788177 140723849820848 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 15396864 140723849828698 140723849828824 140723849828824 140723849834426 0
Current children cumulated CPU time: 322.45 s
Current children cumulated vsize: 653060 KiB
Current children cumulated memory: 604636 KiB

[startup+282.3 s]
/proc/loadavg: 5.26 5.48 5.55 6/268 59172
/proc/meminfo: memFree=128209760/131250000 swapFree=33010684/33010684
[pid=59156] ppid=59153 vsize=653060 memory=604580 CPUtime=402.62 cores=1,3
/proc/59156/stat : 59156 (pb_competition_) R 59153 59156 58262 0 -1 4194304 4403472 0 0 0 39470 792 0 0 20 0 2 0 54659548 668733440 151145 18446744073709551615 4198400 6788177 140723849820848 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 15396864 140723849828698 140723849828824 140723849828824 140723849834426 0
/proc/59156/statm: 163265 151145 672 633 0 152575 0
[pid=59156/tid=59158] ppid=59153 vsize=653060 memory=604556 CPUtime=122.23 cores=1,3
/proc/59156/task/59158/stat : 59158 (pb_competition_) R 59153 59156 58262 0 -1 4194368 34662 0 0 0 12186 37 0 0 20 0 2 0 54659548 668733440 151145 18446744073709551615 4198400 6788177 140723849820848 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 15396864 140723849828698 140723849828824 140723849828824 140723849834426 0
Current children cumulated CPU time: 402.62 s
Current children cumulated vsize: 653060 KiB
Current children cumulated memory: 604580 KiB

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

/proc/meminfo: memFree=128893284/131250000 swapFree=33010684/33010684
[pid=59156] ppid=59153 vsize=660856 memory=614128 CPUtime=2947.51 cores=1,3
/proc/59156/stat : 59156 (pb_competition_) R 59153 59156 58262 0 -1 4194304 47401314 0 0 0 285796 8955 0 0 20 0 2 0 54659548 676716544 153500 18446744073709551615 4198400 6788177 140723849820848 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 15396864 140723849828698 140723849828824 140723849828824 140723849834426 0
/proc/59156/statm: 165214 153532 672 633 0 154524 0
[pid=59156/tid=59158] ppid=59153 vsize=660856 memory=607604 CPUtime=817.48 cores=1,3
/proc/59156/task/59158/stat : 59158 (pb_competition_) S 59153 59156 58262 0 -1 4194368 93868 0 0 0 81626 122 0 0 20 0 2 0 54659548 676716544 153532 18446744073709551615 4198400 6788177 140723849820848 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 15396864 140723849828698 140723849828824 140723849828824 140723849834426 0
Current children cumulated CPU time: 2947.51 s
Current children cumulated vsize: 660856 KiB
Current children cumulated memory: 614128 KiB

[startup+2202.3 s]
/proc/loadavg: 6.91 6.61 6.25 8/266 59397
/proc/meminfo: memFree=128905292/131250000 swapFree=33010684/33010684
[pid=59156] ppid=59153 vsize=655620 memory=608988 CPUtime=3026.9 cores=1,3
/proc/59156/stat : 59156 (pb_competition_) R 59153 59156 58262 0 -1 4194304 48844915 0 0 0 293437 9253 0 0 20 0 2 0 54659548 671354880 152247 18446744073709551615 4198400 6788177 140723849820848 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 15396864 140723849828698 140723849828824 140723849828824 140723849834426 0
/proc/59156/statm: 163905 152247 672 633 0 153215 0
[pid=59156/tid=59158] ppid=59153 vsize=655620 memory=607604 CPUtime=837.14 cores=1,3
/proc/59156/task/59158/stat : 59158 (pb_competition_) S 59153 59156 58262 0 -1 4194368 93888 0 0 0 83592 122 0 0 20 0 2 0 54659548 671354880 152247 18446744073709551615 4198400 6788177 140723849820848 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 15396864 140723849828698 140723849828824 140723849828824 140723849834426 0
Current children cumulated CPU time: 3026.9 s
Current children cumulated vsize: 655620 KiB
Current children cumulated memory: 608988 KiB

[startup+2262.3 s]
/proc/loadavg: 7.09 6.71 6.31 7/266 59399
/proc/meminfo: memFree=128919288/131250000 swapFree=33010684/33010684
[pid=59156] ppid=59153 vsize=655620 memory=608864 CPUtime=3106.37 cores=1,3
/proc/59156/stat : 59156 (pb_competition_) R 59153 59156 58262 0 -1 4194304 50293556 0 0 0 301076 9561 0 0 20 0 2 0 54659548 671354880 152216 18446744073709551615 4198400 6788177 140723849820848 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 15396864 140723849828698 140723849828824 140723849828824 140723849834426 0
/proc/59156/statm: 163905 152216 672 633 0 153215 0
[pid=59156/tid=59158] ppid=59153 vsize=655620 memory=617840 CPUtime=856.91 cores=1,3
/proc/59156/task/59158/stat : 59158 (pb_competition_) S 59153 59156 58262 0 -1 4194368 93923 0 0 0 85568 123 0 0 20 0 2 0 54659548 671354880 152216 18446744073709551615 4198400 6788177 140723849820848 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 15396864 140723849828698 140723849828824 140723849828824 140723849834426 0
Current children cumulated CPU time: 3106.37 s
Current children cumulated vsize: 655620 KiB
Current children cumulated memory: 608864 KiB

[startup+2322.3 s]
/proc/loadavg: 7.27 6.84 6.38 9/266 59401
/proc/meminfo: memFree=128890620/131250000 swapFree=33010684/33010684
[pid=59156] ppid=59153 vsize=661120 memory=614384 CPUtime=3185.37 cores=1,3
/proc/59156/stat : 59156 (pb_competition_) R 59153 59156 58262 0 -1 4194304 51775885 0 0 0 308666 9871 0 0 20 0 2 0 54659548 676986880 153596 18446744073709551615 4198400 6788177 140723849820848 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 15396864 140723849828698 140723849828824 140723849828824 140723849834426 0
/proc/59156/statm: 165280 153596 672 633 0 154590 0
[pid=59156/tid=59158] ppid=59153 vsize=661120 memory=608988 CPUtime=876.28 cores=1,3
/proc/59156/task/59158/stat : 59158 (pb_competition_) S 59153 59156 58262 0 -1 4194368 93942 0 0 0 87504 124 0 0 20 0 2 0 54659548 676986880 153596 18446744073709551615 4198400 6788177 140723849820848 0 0 0 0 0 8404994 1 0 0 -1 1 0 0 0 0 0 7336896 7391280 15396864 140723849828698 140723849828824 140723849828824 140723849834426 0
Current children cumulated CPU time: 3185.37 s
Current children cumulated vsize: 661120 KiB
Current children cumulated memory: 614384 KiB

[startup+2382.3 s]
/proc/loadavg: 6.86 6.81 6.40 7/267 59408
/proc/meminfo: memFree=128894420/131250000 swapFree=33010684/33010684
[pid=59156] ppid=59153 vsize=655620 memory=608988 CPUtime=3259.97 cores=1,3
/proc/59156/stat : 59156 (pb_competition_) R 59153 59156 58262 0 -1 4194304 53539883 0 0 0 315768 10229 0 0 20 0 2 0 54659548 671354880 152247 18446744073709551615 4198400 6788177 140723849820848 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 15396864 140723849828698 140723849828824 140723849828824 140723849834426 0
/proc/59156/statm: 163905 152247 672 633 0 153215 0
[pid=59156/tid=59158] ppid=59153 vsize=655620 memory=608988 CPUtime=891.14 cores=1,3
/proc/59156/task/59158/stat : 59158 (pb_competition_) R 59153 59156 58262 0 -1 4194368 94014 0 0 0 88990 124 0 0 20 0 2 0 54659548 671354880 152247 18446744073709551615 4198400 6788177 140723849820848 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 15396864 140723849828698 140723849828824 140723849828824 140723849834426 0
Current children cumulated CPU time: 3259.97 s
Current children cumulated vsize: 655620 KiB
Current children cumulated memory: 608988 KiB

[startup+2442.3 s]
/proc/loadavg: 6.92 6.83 6.43 6/267 59410
/proc/meminfo: memFree=128911524/131250000 swapFree=33010684/33010684
[pid=59156] ppid=59153 vsize=666532 memory=619760 CPUtime=3337.2 cores=1,3
/proc/59156/stat : 59156 (pb_competition_) R 59153 59156 58262 0 -1 4194304 55138010 0 0 0 323157 10563 0 0 20 0 2 0 54659548 682528768 154940 18446744073709551615 4198400 6788177 140723849820848 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 15396864 140723849828698 140723849828824 140723849828824 140723849834426 0
/proc/59156/statm: 166633 154940 672 633 0 155943 0
[pid=59156/tid=59158] ppid=59153 vsize=666532 memory=608988 CPUtime=908.69 cores=1,3
/proc/59156/task/59158/stat : 59158 (pb_competition_) S 59153 59156 58262 0 -1 4194368 94025 0 0 0 90743 126 0 0 20 0 2 0 54659548 682528768 154940 18446744073709551615 4198400 6788177 140723849820848 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 15396864 140723849828698 140723849828824 140723849828824 140723849834426 0
Current children cumulated CPU time: 3337.2 s
Current children cumulated vsize: 666532 KiB
Current children cumulated memory: 619760 KiB

[startup+2502.3 s]
/proc/loadavg: 7.07 6.88 6.48 8/267 59412
/proc/meminfo: memFree=128909948/131250000 swapFree=33010684/33010684
[pid=59156] ppid=59153 vsize=660328 memory=609116 CPUtime=3412.81 cores=1,3
/proc/59156/stat : 59156 (pb_competition_) R 59153 59156 58262 0 -1 4194304 56839113 0 0 0 330358 10923 0 0 20 0 2 0 54659548 676175872 152279 18446744073709551615 4198400 6788177 140723849820848 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 15396864 140723849828698 140723849828824 140723849828824 140723849834426 0
/proc/59156/statm: 165082 152279 672 633 0 154392 0
[pid=59156/tid=59158] ppid=59153 vsize=660328 memory=608988 CPUtime=924.62 cores=1,3
/proc/59156/task/59158/stat : 59158 (pb_competition_) S 59153 59156 58262 0 -1 4194368 94043 0 0 0 92335 127 0 0 20 0 2 0 54659548 676175872 152279 18446744073709551615 4198400 6788177 140723849820848 0 0 0 0 0 8404994 1 0 0 -1 1 0 0 0 0 0 7336896 7391280 15396864 140723849828698 140723849828824 140723849828824 140723849834426 0
Current children cumulated CPU time: 3412.81 s
Current children cumulated vsize: 660328 KiB
Current children cumulated memory: 609116 KiB

[startup+2562.3 s]
/proc/loadavg: 6.88 6.87 6.50 7/267 59414
/proc/meminfo: memFree=128908988/131250000 swapFree=33010684/33010684
[pid=59156] ppid=59153 vsize=655620 memory=608988 CPUtime=3488.88 cores=1,3
/proc/59156/stat : 59156 (pb_competition_) R 59153 59156 58262 0 -1 4194304 58537429 0 0 0 337621 11267 0 0 20 0 2 0 54659548 671354880 152247 18446744073709551615 4198400 6788177 140723849820848 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 15396864 140723849828698 140723849828824 140723849828824 140723849834426 0
/proc/59156/statm: 163905 152247 672 633 0 153215 0
[pid=59156/tid=59158] ppid=59153 vsize=655620 memory=618352 CPUtime=941.01 cores=1,3
/proc/59156/task/59158/stat : 59158 (pb_competition_) R 59153 59156 58262 0 -1 4194368 94090 0 0 0 93973 128 0 0 20 0 2 0 54659548 671354880 152247 18446744073709551615 4198400 6788177 140723849820848 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 15396864 140723849828698 140723849828824 140723849828824 140723849834426 0
Current children cumulated CPU time: 3488.88 s
Current children cumulated vsize: 655620 KiB
Current children cumulated memory: 608988 KiB

[startup+2622.3 s]
/proc/loadavg: 6.59 6.79 6.50 7/260 59447
/proc/meminfo: memFree=128914320/131250000 swapFree=33010684/33010684
[pid=59156] ppid=59153 vsize=655620 memory=608988 CPUtime=3563.15 cores=1,3
/proc/59156/stat : 59156 (pb_competition_) R 59153 59156 58262 0 -1 4194304 60343238 0 0 0 344670 11645 0 0 20 0 2 0 54659548 671354880 152247 18446744073709551615 4198400 6788177 140723849820848 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 15396864 140723849828698 140723849828824 140723849828824 140723849834426 0
/proc/59156/statm: 163905 152247 672 633 0 153215 0
[pid=59156/tid=59158] ppid=59153 vsize=655620 memory=618480 CPUtime=955.53 cores=1,3
/proc/59156/task/59158/stat : 59158 (pb_competition_) S 59153 59156 58262 0 -1 4194368 94154 0 0 0 95424 129 0 0 20 0 2 0 54659548 671354880 152247 18446744073709551615 4198400 6788177 140723849820848 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 15396864 140723849828698 140723849828824 140723849828824 140723849834426 0
Current children cumulated CPU time: 3563.15 s
Current children cumulated vsize: 655620 KiB
Current children cumulated memory: 608988 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2651.7 s]
/proc/loadavg: 5.83 6.59 6.44 6/260 59448
/proc/meminfo: memFree=128915136/131250000 swapFree=33010684/33010684
[pid=59156] ppid=59153 vsize=655620 memory=608988 CPUtime=3600.08 cores=1,3
/proc/59156/stat : 59156 (pb_competition_) R 59153 59156 58262 0 -1 4194304 61195217 0 0 0 348186 11822 0 0 20 0 2 0 54659548 671354880 152247 18446744073709551615 4198400 6788177 140723849820848 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 15396864 140723849828698 140723849828824 140723849828824 140723849834426 0
/proc/59156/statm: 163905 152247 672 633 0 153215 0
[pid=59156/tid=59158] ppid=59153 vsize=655620 memory=618480 CPUtime=963.19 cores=1,3
/proc/59156/task/59158/stat : 59158 (pb_competition_) R 59153 59156 58262 0 -1 4194368 94186 0 0 0 96190 129 0 0 20 0 2 0 54659548 671354880 152247 18446744073709551615 4198400 6788177 140723849820848 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 15396864 140723849828698 140723849828824 140723849828824 140723849834426 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 655620 KiB
Current children cumulated memory: 608988 KiB

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

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

# cumulated CPU time of all completed processes:  user=3482.11 s, system=118.254 s

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

[startup+2651.8 s]
/proc/loadavg: 5.83 6.59 6.44 6/260 59448
/proc/meminfo: memFree=128915136/131250000 swapFree=33010684/33010684
[pid=59156] ppid=59153 vsize=621332 memory=574700 CPUtime=3600.19 cores=1,3
/proc/59156/stat : 59156 (pb_competition_) R 59153 59156 58262 0 -1 4194304 61211406 0 0 0 348196 11823 0 0 20 0 2 0 54659548 636243968 143675 18446744073709551615 4198400 6788177 140723849820848 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 15396864 140723849828698 140723849828824 140723849828824 140723849834426 0
/proc/59156/statm: 155333 143675 672 633 0 144643 0
[pid=59156/tid=59158] ppid=59153 vsize=621332 memory=2764 CPUtime=963.2 cores=1,3
/proc/59156/task/59158/stat : 59158 (pb_competition_) S 59153 59156 58262 0 -1 4194368 94186 0 0 0 96191 129 0 0 20 0 2 0 54659548 636243968 143675 18446744073709551615 4198400 6788177 140723849820848 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 15396864 140723849828698 140723849828824 140723849828824 140723849834426 0
Current children cumulated CPU time: 3600.19 s
Current children cumulated vsize: 621332 KiB
Current children cumulated memory: 574700 KiB

[startup+2651.9 s]
/proc/loadavg: 5.83 6.59 6.44 6/260 59448
/proc/meminfo: memFree=128915136/131250000 swapFree=33010684/33010684
[pid=59156] ppid=59153 vsize=621332 memory=574700 CPUtime=3600.29 cores=1,3
/proc/59156/stat : 59156 (pb_competition_) R 59153 59156 58262 0 -1 4194304 61228365 0 0 0 348205 11824 0 0 20 0 2 0 54659548 636243968 143675 18446744073709551615 4198400 6788177 140723849820848 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 15396864 140723849828698 140723849828824 140723849828824 140723849834426 0
/proc/59156/statm: 155333 143675 672 633 0 144643 0
[pid=59156/tid=59158] ppid=59153 vsize=621332 memory=618480 CPUtime=963.2 cores=1,3
/proc/59156/task/59158/stat : 59158 (pb_competition_) S 59153 59156 58262 0 -1 4194368 94186 0 0 0 96191 129 0 0 20 0 2 0 54659548 636243968 143675 18446744073709551615 4198400 6788177 140723849820848 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 15396864 140723849828698 140723849828824 140723849828824 140723849834426 0
Current children cumulated CPU time: 3600.29 s
Current children cumulated vsize: 621332 KiB
Current children cumulated memory: 574700 KiB

Child status: 0

Real time (s): 2651.97
CPU time (s): 3600.36
CPU user time (s): 3482.11
CPU system time (s): 118.254
CPU usage (%): 135.762
Max. virtual memory (cumulated for all children) (KiB): 668908
Max. memory (cumulated for all children) (KiB): 622192

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3482.11
system time used= 118.254
maximum resident set size= 622192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61233083
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= 172392
involuntary context switches= 53570


# summary of solver processes directly reported to runsolver:
#   pid: 59156
#   total CPU time (s): 3600.36
#   total CPU user time (s): 3482.11
#   total CPU system time (s): 118.254

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.2164 second user time and 12.602 second system time

The end