runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63837 MiB (62343 MiB free)
  memory of node 1: 64465 MiB (58086 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4518224-1751539986/watcher-4518224-1751539986 -o /tmp/evaluation-result-4518224-1751539986/solver-4518224-1751539986 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751539986-85316 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 2041840583 HOME/instance-4518224-1751539986.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=85365, runsolver pid=85356

[startup+0.100065 s]*
/proc/loadavg: 0.80 1.02 1.47 9/257 85378
/proc/meminfo: memFree=123301372/131382112 swapFree=33005784/33010684
[pid=85365] ppid=85356 vsize=13308 memory=4352 CPUtime=0.2 cores=1,3
/proc/85365/stat : 85365 (pb_competition_) R 85356 85365 85304 0 -1 4194304 540 0 0 0 20 0 0 0 20 0 2 0 69677718 13627392 1088 18446744073709551615 4198400 6788177 140726299000912 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 39829504 140726299003225 140726299003352 140726299003352 140726299008954 0
/proc/85365/statm: 3327 1088 672 633 0 2542 0
[pid=85365/tid=85368] ppid=85356 vsize=13308 memory=4026532124 CPUtime=0.1 cores=1,3
/proc/85365/task/85368/stat : 85368 (pb_competition_) R 85356 85365 85304 0 -1 4194368 3 0 0 0 10 0 0 0 20 0 2 0 69677718 13627392 1088 18446744073709551615 4198400 6788177 140726299000912 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 39829504 140726299003225 140726299003352 140726299003352 140726299008954 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 13308 KiB
Current children cumulated memory: 4352 KiB

[startup+0.213851 s]*
/proc/loadavg: 0.80 1.02 1.47 9/257 85378
/proc/meminfo: memFree=123293232/131382112 swapFree=33005784/33010684
[pid=85365] ppid=85356 vsize=13432 memory=4480 CPUtime=0.4 cores=1,3
/proc/85365/stat : 85365 (pb_competition_) R 85356 85365 85304 0 -1 4194304 600 0 0 0 40 0 0 0 20 0 2 0 69677718 13754368 1120 18446744073709551615 4198400 6788177 140726299000912 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 39829504 140726299003225 140726299003352 140726299003352 140726299008954 0
/proc/85365/statm: 3358 1120 672 633 0 2573 0
[pid=85365/tid=85368] ppid=85356 vsize=13432 memory=5983648042466672924 CPUtime=0.2 cores=1,3
/proc/85365/task/85368/stat : 85368 (pb_competition_) R 85356 85365 85304 0 -1 4194368 3 0 0 0 20 0 0 0 20 0 2 0 69677718 13754368 1120 18446744073709551615 4198400 6788177 140726299000912 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 39829504 140726299003225 140726299003352 140726299003352 140726299008954 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 13432 KiB
Current children cumulated memory: 4480 KiB

[startup+0.313058 s]*
/proc/loadavg: 0.80 1.02 1.47 9/257 85378
/proc/meminfo: memFree=123293232/131382112 swapFree=33005784/33010684
[pid=85365] ppid=85356 vsize=13640 memory=4736 CPUtime=0.58 cores=1,3
/proc/85365/stat : 85365 (pb_competition_) R 85356 85365 85304 0 -1 4194304 658 0 0 0 58 0 0 0 20 0 2 0 69677718 13967360 1184 18446744073709551615 4198400 6788177 140726299000912 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 39829504 140726299003225 140726299003352 140726299003352 140726299008954 0
/proc/85365/statm: 3410 1184 672 633 0 2625 0
[pid=85365/tid=85368] ppid=85356 vsize=13640 memory=7971799614173757549 CPUtime=0.29 cores=1,3
/proc/85365/task/85368/stat : 85368 (pb_competition_) R 85356 85365 85304 0 -1 4194368 3 0 0 0 29 0 0 0 20 0 2 0 69677718 13967360 1184 18446744073709551615 4198400 6788177 140726299000912 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 39829504 140726299003225 140726299003352 140726299003352 140726299008954 0
Current children cumulated CPU time: 0.58 s
Current children cumulated vsize: 13640 KiB
Current children cumulated memory: 4736 KiB

[startup+0.700231 s]
/proc/loadavg: 0.80 1.02 1.47 10/257 85378
/proc/meminfo: memFree=123293160/131382112 swapFree=33005784/33010684
[pid=85365] ppid=85356 vsize=13564 memory=4736 CPUtime=1.31 cores=1,3
/proc/85365/stat : 85365 (pb_competition_) R 85356 85365 85304 0 -1 4194304 694 0 0 0 130 1 0 0 20 0 2 0 69677718 13889536 1184 18446744073709551615 4198400 6788177 140726299000912 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 39829504 140726299003225 140726299003352 140726299003352 140726299008954 0
/proc/85365/statm: 3391 1184 672 633 0 2606 0
[pid=85365/tid=85368] ppid=85356 vsize=13564 memory=14208 CPUtime=0.65 cores=1,3
/proc/85365/task/85368/stat : 85368 (pb_competition_) R 85356 85365 85304 0 -1 4194368 3 0 0 0 65 0 0 0 20 0 2 0 69677718 13889536 1184 18446744073709551615 4198400 6788177 140726299000912 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 39829504 140726299003225 140726299003352 140726299003352 140726299008954 0
Current children cumulated CPU time: 1.31 s
Current children cumulated vsize: 13564 KiB
Current children cumulated memory: 4736 KiB

[startup+1.50012 s]
/proc/loadavg: 0.80 1.02 1.47 10/257 85378
/proc/meminfo: memFree=123292656/131382112 swapFree=33005784/33010684
[pid=85365] ppid=85356 vsize=13564 memory=4736 CPUtime=2.9 cores=1,3
/proc/85365/stat : 85365 (pb_competition_) R 85356 85365 85304 0 -1 4194304 1111 0 0 0 288 2 0 0 20 0 2 0 69677718 13889536 1184 18446744073709551615 4198400 6788177 140726299000912 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 39829504 140726299003225 140726299003352 140726299003352 140726299008954 0
/proc/85365/statm: 3391 1184 672 633 0 2606 0
[pid=85365/tid=85368] ppid=85356 vsize=13564 memory=14208 CPUtime=1.44 cores=1,3
/proc/85365/task/85368/stat : 85368 (pb_competition_) R 85356 85365 85304 0 -1 4194368 90 0 0 0 144 0 0 0 20 0 2 0 69677718 13889536 1184 18446744073709551615 4198400 6788177 140726299000912 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 39829504 140726299003225 140726299003352 140726299003352 140726299008954 0
Current children cumulated CPU time: 2.9 s
Current children cumulated vsize: 13564 KiB
Current children cumulated memory: 4736 KiB

[startup+3.10465 s]
/proc/loadavg: 1.38 1.13 1.50 10/257 85378
/proc/meminfo: memFree=123293500/131382112 swapFree=33005784/33010684
[pid=85365] ppid=85356 vsize=13564 memory=4736 CPUtime=6.08 cores=1,3
/proc/85365/stat : 85365 (pb_competition_) R 85356 85365 85304 0 -1 4194304 1448 0 0 0 604 4 0 0 20 0 2 0 69677718 13889536 1184 18446744073709551615 4198400 6788177 140726299000912 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 39829504 140726299003225 140726299003352 140726299003352 140726299008954 0
/proc/85365/statm: 3391 1184 672 633 0 2606 0
[pid=85365/tid=85368] ppid=85356 vsize=13564 memory=14468 CPUtime=3.03 cores=1,3
/proc/85365/task/85368/stat : 85368 (pb_competition_) R 85356 85365 85304 0 -1 4194368 104 0 0 0 302 1 0 0 20 0 2 0 69677718 13889536 1184 18446744073709551615 4198400 6788177 140726299000912 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 39829504 140726299003225 140726299003352 140726299003352 140726299008954 0
Current children cumulated CPU time: 6.08 s
Current children cumulated vsize: 13564 KiB
Current children cumulated memory: 4736 KiB

[startup+6.30011 s]
/proc/loadavg: 1.38 1.13 1.50 10/257 85378
/proc/meminfo: memFree=123293728/131382112 swapFree=33005784/33010684
[pid=85365] ppid=85356 vsize=13568 memory=4736 CPUtime=12.44 cores=1,3
/proc/85365/stat : 85365 (pb_competition_) R 85356 85365 85304 0 -1 4194304 1816 0 0 0 1236 8 0 0 20 0 2 0 69677718 13893632 1184 18446744073709551615 4198400 6788177 140726299000912 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 39829504 140726299003225 140726299003352 140726299003352 140726299008954 0
/proc/85365/statm: 3392 1184 672 633 0 2607 0
[pid=85365/tid=85368] ppid=85356 vsize=13568 memory=4736 CPUtime=6.22 cores=1,3
/proc/85365/task/85368/stat : 85368 (pb_competition_) R 85356 85365 85304 0 -1 4194368 197 0 0 0 619 3 0 0 20 0 2 0 69677718 13893632 1184 18446744073709551615 4198400 6788177 140726299000912 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 39829504 140726299003225 140726299003352 140726299003352 140726299008954 0
Current children cumulated CPU time: 12.44 s
Current children cumulated vsize: 13568 KiB
Current children cumulated memory: 4736 KiB

[startup+12.7001 s]
/proc/loadavg: 1.83 1.23 1.53 10/257 85378
/proc/meminfo: memFree=123293736/131382112 swapFree=33005784/33010684
[pid=85365] ppid=85356 vsize=13568 memory=4736 CPUtime=25.19 cores=1,3
/proc/85365/stat : 85365 (pb_competition_) R 85356 85365 85304 0 -1 4194304 2545 0 0 0 2503 16 0 0 20 0 2 0 69677718 13893632 1184 18446744073709551615 4198400 6788177 140726299000912 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 39829504 140726299003225 140726299003352 140726299003352 140726299008954 0
/proc/85365/statm: 3392 1184 672 633 0 2607 0
[pid=85365/tid=85368] ppid=85356 vsize=13568 memory=7971236664220401517 CPUtime=12.58 cores=1,3
/proc/85365/task/85368/stat : 85368 (pb_competition_) R 85356 85365 85304 0 -1 4194368 471 0 0 0 1252 6 0 0 20 0 2 0 69677718 13893632 1184 18446744073709551615 4198400 6788177 140726299000912 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 39829504 140726299003225 140726299003352 140726299003352 140726299008954 0
Current children cumulated CPU time: 25.19 s
Current children cumulated vsize: 13568 KiB
Current children cumulated memory: 4736 KiB

[startup+25.5001 s]
/proc/loadavg: 3.20 1.56 1.64 10/257 85378
/proc/meminfo: memFree=123293976/131382112 swapFree=33005784/33010684
[pid=85365] ppid=85356 vsize=13568 memory=4736 CPUtime=50.66 cores=1,3
/proc/85365/stat : 85365 (pb_competition_) R 85356 85365 85304 0 -1 4194304 2896 0 0 0 5034 32 0 0 20 0 2 0 69677718 13893632 1184 18446744073709551615 4198400 6788177 140726299000912 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 39829504 140726299003225 140726299003352 140726299003352 140726299008954 0
/proc/85365/statm: 3392 1184 672 633 0 2607 0
[pid=85365/tid=85368] ppid=85356 vsize=13568 memory=4736 CPUtime=25.32 cores=1,3
/proc/85365/task/85368/stat : 85368 (pb_competition_) R 85356 85365 85304 0 -1 4194368 573 0 0 0 2517 15 0 0 20 0 2 0 69677718 13893632 1184 18446744073709551615 4198400 6788177 140726299000912 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 39829504 140726299003225 140726299003352 140726299003352 140726299008954 0
Current children cumulated CPU time: 50.66 s
Current children cumulated vsize: 13568 KiB
Current children cumulated memory: 4736 KiB

[startup+51.1044 s]
/proc/loadavg: 4.91 2.10 1.81 10/256 85379
/proc/meminfo: memFree=123293544/131382112 swapFree=33005784/33010684
[pid=85365] ppid=85356 vsize=13568 memory=4736 CPUtime=101.62 cores=1,3
/proc/85365/stat : 85365 (pb_competition_) R 85356 85365 85304 0 -1 4194304 3695 0 0 0 10095 67 0 0 20 0 2 0 69677718 13893632 1184 18446744073709551615 4198400 6788177 140726299000912 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 39829504 140726299003225 140726299003352 140726299003352 140726299008954 0
/proc/85365/statm: 3392 1184 672 633 0 2607 0
[pid=85365/tid=85368] ppid=85356 vsize=13568 memory=14468 CPUtime=50.8 cores=1,3
/proc/85365/task/85368/stat : 85368 (pb_competition_) R 85356 85365 85304 0 -1 4194368 782 0 0 0 5049 31 0 0 20 0 2 0 69677718 13893632 1184 18446744073709551615 4198400 6788177 140726299000912 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 39829504 140726299003225 140726299003352 140726299003352 140726299008954 0
Current children cumulated CPU time: 101.62 s
Current children cumulated vsize: 13568 KiB
Current children cumulated memory: 4736 KiB

[startup+102.3 s]
/proc/loadavg: 6.66 3.01 2.14 10/258 85387
/proc/meminfo: memFree=123295176/131382112 swapFree=33005784/33010684
[pid=85365] ppid=85356 vsize=13568 memory=4736 CPUtime=203.52 cores=1,3
/proc/85365/stat : 85365 (pb_competition_) R 85356 85365 85304 0 -1 4194304 4144 0 0 0 20215 137 0 0 20 0 2 0 69677718 13893632 1184 18446744073709551615 4198400 6788177 140726299000912 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 39829504 140726299003225 140726299003352 140726299003352 140726299008954 0
/proc/85365/statm: 3392 1184 672 633 0 2607 0
[pid=85365/tid=85368] ppid=85356 vsize=13568 memory=14468 CPUtime=101.75 cores=1,3
/proc/85365/task/85368/stat : 85368 (pb_competition_) R 85356 85365 85304 0 -1 4194368 943 0 0 0 10115 60 0 0 20 0 2 0 69677718 13893632 1184 18446744073709551615 4198400 6788177 140726299000912 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 39829504 140726299003225 140726299003352 140726299003352 140726299008954 0
Current children cumulated CPU time: 203.52 s
Current children cumulated vsize: 13568 KiB
Current children cumulated memory: 4736 KiB

[startup+162.3 s]
/proc/loadavg: 7.55 3.93 2.51 11/257 85388
/proc/meminfo: memFree=123279204/131382112 swapFree=33005784/33010684
[pid=85365] ppid=85356 vsize=13568 memory=4736 CPUtime=322.94 cores=1,3
/proc/85365/stat : 85365 (pb_competition_) R 85356 85365 85304 0 -1 4194304 4975 0 0 0 32075 219 0 0 20 0 2 0 69677718 13893632 1184 18446744073709551615 4198400 6788177 140726299000912 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 39829504 140726299003225 140726299003352 140726299003352 140726299008954 0
/proc/85365/statm: 3392 1184 672 633 0 2607 0
[pid=85365/tid=85368] ppid=85356 vsize=13568 memory=4736 CPUtime=161.47 cores=1,3
/proc/85365/task/85368/stat : 85368 (pb_competition_) R 85356 85365 85304 0 -1 4194368 1267 0 0 0 16046 101 0 0 20 0 2 0 69677718 13893632 1184 18446744073709551615 4198400 6788177 140726299000912 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 39829504 140726299003225 140726299003352 140726299003352 140726299008954 0
Current children cumulated CPU time: 322.94 s
Current children cumulated vsize: 13568 KiB
Current children cumulated memory: 4736 KiB

[startup+222.3 s]
/proc/loadavg: 7.95 4.71 2.87 10/257 85390
/proc/meminfo: memFree=123284116/131382112 swapFree=33005784/33010684
[pid=85365] ppid=85356 vsize=13568 memory=4736 CPUtime=442.37 cores=1,3
/proc/85365/stat : 85365 (pb_competition_) R 85356 85365 85304 0 -1 4194304 5449 0 0 0 43936 301 0 0 20 0 2 0 69677718 13893632 1184 18446744073709551615 4198400 6788177 140726299000912 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 39829504 140726299003225 140726299003352 140726299003352 140726299008954 0
/proc/85365/statm: 3392 1184 672 633 0 2607 0
[pid=85365/tid=85368] ppid=85356 vsize=13568 memory=3328 CPUtime=221.18 cores=1,3
/proc/85365/task/85368/stat : 85368 (pb_competition_) R 85356 85365 85304 0 -1 4194368 1436 0 0 0 21984 134 0 0 20 0 2 0 69677718 13893632 1184 18446744073709551615 4198400 6788177 140726299000912 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 39829504 140726299003225 140726299003352 140726299003352 140726299008954 0
Current children cumulated CPU time: 442.37 s
Current children cumulated vsize: 13568 KiB
Current children cumulated memory: 4736 KiB

[startup+282.3 s]
/proc/loadavg: 8.04 5.33 3.20 10/258 85393
/proc/meminfo: memFree=123284940/131382112 swapFree=33005784/33010684
[pid=85365] ppid=85356 vsize=13568 memory=4736 CPUtime=561.81 cores=1,3
/proc/85365/stat : 85365 (pb_competition_) R 85356 85365 85304 0 -1 4194304 5621 0 0 0 55800 381 0 0 20 0 2 0 69677718 13893632 1184 18446744073709551615 4198400 6788177 140726299000912 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 39829504 140726299003225 140726299003352 140726299003352 140726299008954 0
/proc/85365/statm: 3392 1184 672 633 0 2607 0
[pid=85365/tid=85368] ppid=85356 vsize=13568 memory=4736 CPUtime=280.9 cores=1,3
/proc/85365/task/85368/stat : 85368 (pb_competition_) R 85356 85365 85304 0 -1 4194368 1440 0 0 0 27920 170 0 0 20 0 2 0 69677718 13893632 1184 18446744073709551615 4198400 6788177 140726299000912 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 39829504 140726299003225 140726299003352 140726299003352 140726299008954 0
Current children cumulated CPU time: 561.81 s
Current children cumulated vsize: 13568 KiB

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

/proc/meminfo: memFree=123281212/131382112 swapFree=33005784/33010684
[pid=85365] ppid=85356 vsize=13568 memory=4732 CPUtime=2352.62 cores=1,3
/proc/85365/stat : 85365 (pb_competition_) R 85356 85365 85304 0 -1 4194304 10500 0 0 0 233669 1593 0 0 20 0 2 0 69677718 13893632 1183 18446744073709551615 4198400 6788177 140726299000912 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 39829504 140726299003225 140726299003352 140726299003352 140726299008954 0
/proc/85365/statm: 3392 1183 672 633 0 2607 0
[pid=85365/tid=85368] ppid=85356 vsize=13568 memory=4732 CPUtime=1176.31 cores=1,3
/proc/85365/task/85368/stat : 85368 (pb_competition_) R 85356 85365 85304 0 -1 4194368 1777 0 0 0 116919 712 0 0 20 0 2 0 69677718 13893632 1183 18446744073709551615 4198400 6788177 140726299000912 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 39829504 140726299003225 140726299003352 140726299003352 140726299008954 0
Current children cumulated CPU time: 2352.62 s
Current children cumulated vsize: 13568 KiB
Current children cumulated memory: 4732 KiB

[startup+1242.3 s]
/proc/loadavg: 8.08 8.01 6.39 10/256 85450
/proc/meminfo: memFree=123279392/131382112 swapFree=33005784/33010684
[pid=85365] ppid=85356 vsize=13568 memory=4732 CPUtime=2472.02 cores=1,3
/proc/85365/stat : 85365 (pb_competition_) R 85356 85365 85304 0 -1 4194304 10632 0 0 0 245525 1677 0 0 20 0 2 0 69677718 13893632 1183 18446744073709551615 4198400 6788177 140726299000912 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 39829504 140726299003225 140726299003352 140726299003352 140726299008954 0
/proc/85365/statm: 3392 1183 672 633 0 2607 0
[pid=85365/tid=85368] ppid=85356 vsize=13568 memory=4732 CPUtime=1236.01 cores=1,3
/proc/85365/task/85368/stat : 85368 (pb_competition_) R 85356 85365 85304 0 -1 4194368 1777 0 0 0 122853 748 0 0 20 0 2 0 69677718 13893632 1183 18446744073709551615 4198400 6788177 140726299000912 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 39829504 140726299003225 140726299003352 140726299003352 140726299008954 0
Current children cumulated CPU time: 2472.02 s
Current children cumulated vsize: 13568 KiB
Current children cumulated memory: 4732 KiB

[startup+1302.3 s]
/proc/loadavg: 8.13 8.03 6.51 10/254 85456
/proc/meminfo: memFree=123283996/131382112 swapFree=33005784/33010684
[pid=85365] ppid=85356 vsize=13568 memory=4732 CPUtime=2591.42 cores=1,3
/proc/85365/stat : 85365 (pb_competition_) R 85356 85365 85304 0 -1 4194304 11128 0 0 0 257387 1755 0 0 20 0 2 0 69677718 13893632 1183 18446744073709551615 4198400 6788177 140726299000912 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 39829504 140726299003225 140726299003352 140726299003352 140726299008954 0
/proc/85365/statm: 3392 1183 672 633 0 2607 0
[pid=85365/tid=85368] ppid=85356 vsize=13568 memory=14208 CPUtime=1295.71 cores=1,3
/proc/85365/task/85368/stat : 85368 (pb_competition_) R 85356 85365 85304 0 -1 4194368 1862 0 0 0 128789 782 0 0 20 0 2 0 69677718 13893632 1183 18446744073709551615 4198400 6788177 140726299000912 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 39829504 140726299003225 140726299003352 140726299003352 140726299008954 0
Current children cumulated CPU time: 2591.42 s
Current children cumulated vsize: 13568 KiB
Current children cumulated memory: 4732 KiB

[startup+1362.3 s]
/proc/loadavg: 8.10 8.04 6.61 10/254 85458
/proc/meminfo: memFree=123282652/131382112 swapFree=33005784/33010684
[pid=85365] ppid=85356 vsize=13568 memory=4732 CPUtime=2710.77 cores=1,3
/proc/85365/stat : 85365 (pb_competition_) R 85356 85365 85304 0 -1 4194304 11261 0 0 0 269242 1835 0 0 20 0 2 0 69677718 13893632 1183 18446744073709551615 4198400 6788177 140726299000912 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 39829504 140726299003225 140726299003352 140726299003352 140726299008954 0
/proc/85365/statm: 3392 1183 672 633 0 2607 0
[pid=85365/tid=85368] ppid=85356 vsize=13568 memory=4732 CPUtime=1355.39 cores=1,3
/proc/85365/task/85368/stat : 85368 (pb_competition_) R 85356 85365 85304 0 -1 4194368 1863 0 0 0 134720 819 0 0 20 0 2 0 69677718 13893632 1183 18446744073709551615 4198400 6788177 140726299000912 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 39829504 140726299003225 140726299003352 140726299003352 140726299008954 0
Current children cumulated CPU time: 2710.77 s
Current children cumulated vsize: 13568 KiB
Current children cumulated memory: 4732 KiB

[startup+1422.3 s]
/proc/loadavg: 8.15 8.06 6.71 10/254 85461
/proc/meminfo: memFree=123281524/131382112 swapFree=33005784/33010684
[pid=85365] ppid=85356 vsize=13568 memory=4732 CPUtime=2830.13 cores=1,3
/proc/85365/stat : 85365 (pb_competition_) R 85356 85365 85304 0 -1 4194304 11361 0 0 0 281096 1917 0 0 20 0 2 0 69677718 13893632 1183 18446744073709551615 4198400 6788177 140726299000912 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 39829504 140726299003225 140726299003352 140726299003352 140726299008954 0
/proc/85365/statm: 3392 1183 672 633 0 2607 0
[pid=85365/tid=85368] ppid=85356 vsize=13568 memory=4732 CPUtime=1415.07 cores=1,3
/proc/85365/task/85368/stat : 85368 (pb_competition_) R 85356 85365 85304 0 -1 4194368 1863 0 0 0 140651 856 0 0 20 0 2 0 69677718 13893632 1183 18446744073709551615 4198400 6788177 140726299000912 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 39829504 140726299003225 140726299003352 140726299003352 140726299008954 0
Current children cumulated CPU time: 2830.13 s
Current children cumulated vsize: 13568 KiB
Current children cumulated memory: 4732 KiB

[startup+1482.3 s]
/proc/loadavg: 8.11 8.06 6.80 10/255 85464
/proc/meminfo: memFree=123283620/131382112 swapFree=33005784/33010684
[pid=85365] ppid=85356 vsize=13568 memory=4732 CPUtime=2949.47 cores=1,3
/proc/85365/stat : 85365 (pb_competition_) R 85356 85365 85304 0 -1 4194304 11848 0 0 0 292945 2002 0 0 20 0 2 0 69677718 13893632 1183 18446744073709551615 4198400 6788177 140726299000912 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 39829504 140726299003225 140726299003352 140726299003352 140726299008954 0
/proc/85365/statm: 3392 1183 672 633 0 2607 0
[pid=85365/tid=85368] ppid=85356 vsize=13568 memory=14468 CPUtime=1474.74 cores=1,3
/proc/85365/task/85368/stat : 85368 (pb_competition_) R 85356 85365 85304 0 -1 4194368 1942 0 0 0 146578 896 0 0 20 0 2 0 69677718 13893632 1183 18446744073709551615 4198400 6788177 140726299000912 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 39829504 140726299003225 140726299003352 140726299003352 140726299008954 0
Current children cumulated CPU time: 2949.47 s
Current children cumulated vsize: 13568 KiB
Current children cumulated memory: 4732 KiB

[startup+1542.3 s]
/proc/loadavg: 8.08 8.06 6.88 10/255 85466
/proc/meminfo: memFree=123284252/131382112 swapFree=33005784/33010684
[pid=85365] ppid=85356 vsize=13568 memory=4732 CPUtime=3068.83 cores=1,3
/proc/85365/stat : 85365 (pb_competition_) R 85356 85365 85304 0 -1 4194304 12304 0 0 0 304801 2082 0 0 20 0 2 0 69677718 13893632 1183 18446744073709551615 4198400 6788177 140726299000912 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 39829504 140726299003225 140726299003352 140726299003352 140726299008954 0
/proc/85365/statm: 3392 1183 672 633 0 2607 0
[pid=85365/tid=85368] ppid=85356 vsize=13568 memory=4732 CPUtime=1534.42 cores=1,3
/proc/85365/task/85368/stat : 85368 (pb_competition_) R 85356 85365 85304 0 -1 4194368 2024 0 0 0 152510 932 0 0 20 0 2 0 69677718 13893632 1183 18446744073709551615 4198400 6788177 140726299000912 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 39829504 140726299003225 140726299003352 140726299003352 140726299008954 0
Current children cumulated CPU time: 3068.83 s
Current children cumulated vsize: 13568 KiB
Current children cumulated memory: 4732 KiB

[startup+1602.3 s]
/proc/loadavg: 8.14 8.08 6.96 10/255 85470
/proc/meminfo: memFree=123282124/131382112 swapFree=33005784/33010684
[pid=85365] ppid=85356 vsize=13568 memory=4732 CPUtime=3188.18 cores=1,3
/proc/85365/stat : 85365 (pb_competition_) R 85356 85365 85304 0 -1 4194304 12773 0 0 0 316655 2163 0 0 20 0 2 0 69677718 13893632 1183 18446744073709551615 4198400 6788177 140726299000912 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 39829504 140726299003225 140726299003352 140726299003352 140726299008954 0
/proc/85365/statm: 3392 1183 672 633 0 2607 0
[pid=85365/tid=85368] ppid=85356 vsize=13568 memory=4732 CPUtime=1594.08 cores=1,3
/proc/85365/task/85368/stat : 85368 (pb_competition_) R 85356 85365 85304 0 -1 4194368 2110 0 0 0 158444 964 0 0 20 0 2 0 69677718 13893632 1183 18446744073709551615 4198400 6788177 140726299000912 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 39829504 140726299003225 140726299003352 140726299003352 140726299008954 0
Current children cumulated CPU time: 3188.18 s
Current children cumulated vsize: 13568 KiB
Current children cumulated memory: 4732 KiB

[startup+1662.3 s]
/proc/loadavg: 8.10 8.08 7.04 10/255 85472
/proc/meminfo: memFree=123281712/131382112 swapFree=33005784/33010684
[pid=85365] ppid=85356 vsize=13568 memory=4732 CPUtime=3307.53 cores=1,3
/proc/85365/stat : 85365 (pb_competition_) R 85356 85365 85304 0 -1 4194304 13274 0 0 0 328514 2239 0 0 20 0 2 0 69677718 13893632 1183 18446744073709551615 4198400 6788177 140726299000912 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 39829504 140726299003225 140726299003352 140726299003352 140726299008954 0
/proc/85365/statm: 3392 1183 672 633 0 2607 0
[pid=85365/tid=85368] ppid=85356 vsize=13568 memory=4732 CPUtime=1653.76 cores=1,3
/proc/85365/task/85368/stat : 85368 (pb_competition_) R 85356 85365 85304 0 -1 4194368 2130 0 0 0 164380 996 0 0 20 0 2 0 69677718 13893632 1183 18446744073709551615 4198400 6788177 140726299000912 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 39829504 140726299003225 140726299003352 140726299003352 140726299008954 0
Current children cumulated CPU time: 3307.53 s
Current children cumulated vsize: 13568 KiB
Current children cumulated memory: 4732 KiB

[startup+1722.3 s]
/proc/loadavg: 8.15 8.09 7.11 10/254 85474
/proc/meminfo: memFree=123283652/131382112 swapFree=33005784/33010684
[pid=85365] ppid=85356 vsize=13568 memory=4732 CPUtime=3426.85 cores=1,3
/proc/85365/stat : 85365 (pb_competition_) R 85356 85365 85304 0 -1 4194304 13817 0 0 0 340368 2317 0 0 20 0 2 0 69677718 13893632 1183 18446744073709551615 4198400 6788177 140726299000912 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 39829504 140726299003225 140726299003352 140726299003352 140726299008954 0
/proc/85365/statm: 3392 1183 672 633 0 2607 0
[pid=85365/tid=85368] ppid=85356 vsize=13568 memory=4732 CPUtime=1713.42 cores=1,3
/proc/85365/task/85368/stat : 85368 (pb_competition_) R 85356 85365 85304 0 -1 4194368 2229 0 0 0 170312 1030 0 0 20 0 2 0 69677718 13893632 1183 18446744073709551615 4198400 6788177 140726299000912 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 39829504 140726299003225 140726299003352 140726299003352 140726299008954 0
Current children cumulated CPU time: 3426.85 s
Current children cumulated vsize: 13568 KiB
Current children cumulated memory: 4732 KiB

[startup+1782.3 s]
/proc/loadavg: 8.12 8.09 7.17 10/253 85476
/proc/meminfo: memFree=123282356/131382112 swapFree=33005784/33010684
[pid=85365] ppid=85356 vsize=13568 memory=4732 CPUtime=3546.18 cores=1,3
/proc/85365/stat : 85365 (pb_competition_) R 85356 85365 85304 0 -1 4194304 13916 0 0 0 352221 2397 0 0 20 0 2 0 69677718 13893632 1183 18446744073709551615 4198400 6788177 140726299000912 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 39829504 140726299003225 140726299003352 140726299003352 140726299008954 0
/proc/85365/statm: 3392 1183 672 633 0 2607 0
[pid=85365/tid=85368] ppid=85356 vsize=13568 memory=4732 CPUtime=1773.08 cores=1,3
/proc/85365/task/85368/stat : 85368 (pb_competition_) R 85356 85365 85304 0 -1 4194368 2229 0 0 0 176243 1065 0 0 20 0 2 0 69677718 13893632 1183 18446744073709551615 4198400 6788177 140726299000912 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 39829504 140726299003225 140726299003352 140726299003352 140726299008954 0
Current children cumulated CPU time: 3546.18 s
Current children cumulated vsize: 13568 KiB
Current children cumulated memory: 4732 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1809.4 s]
/proc/loadavg: 8.15 8.10 7.21 10/253 85477
/proc/meminfo: memFree=123282392/131382112 swapFree=33005784/33010684
[pid=85365] ppid=85356 vsize=13568 memory=4732 CPUtime=3600.05 cores=1,3
/proc/85365/stat : 85365 (pb_competition_) R 85356 85365 85304 0 -1 4194304 13982 0 0 0 357571 2434 0 0 20 0 2 0 69677718 13893632 1183 18446744073709551615 4198400 6788177 140726299000912 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 39829504 140726299003225 140726299003352 140726299003352 140726299008954 0
/proc/85365/statm: 3392 1183 672 633 0 2607 0
[pid=85365/tid=85368] ppid=85356 vsize=13568 memory=4660 CPUtime=1800 cores=1,3
/proc/85365/task/85368/stat : 85368 (pb_competition_) R 85356 85365 85304 0 -1 4194368 2229 0 0 0 178918 1082 0 0 20 0 2 0 69677718 13893632 1183 18446744073709551615 4198400 6788177 140726299000912 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 39829504 140726299003225 140726299003352 140726299003352 140726299008954 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 13568 KiB
Current children cumulated memory: 4732 KiB

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

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

# cumulated CPU time of all completed processes:  user=3575.72 s, system=24.3414 s

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

Child status: 0

Real time (s): 1809.41
CPU time (s): 3600.06
CPU user time (s): 3575.72
CPU system time (s): 24.3414
CPU usage (%): 198.964
Max. virtual memory (cumulated for all children) (KiB): 13740
Max. memory (cumulated for all children) (KiB): 4864

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3575.72
system time used= 24.3414
maximum resident set size= 4864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14087
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= 6780
involuntary context switches= 100560


# summary of solver processes directly reported to runsolver:
#   pid: 85365
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3575.72
#   total CPU system time (s): 24.3414

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.7605 second user time and 5.16519 second system time

The end