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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484950-1751293273/watcher-4484950-1751293273 -o /tmp/evaluation-result-4484950-1751293273/solver-4484950-1751293273 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751290793-42000 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 350461416 HOME/instance-4484950-1751293273.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=42368, runsolver pid=42361

[startup+0.100064 s]*
/proc/loadavg: 5.35 5.72 6.06 7/267 42371
/proc/meminfo: memFree=128092912/131250000 swapFree=33010684/33010684
[pid=42368] ppid=42361 vsize=144492 memory=57936 CPUtime=0.15 cores=1,3
/proc/42368/stat : 42368 (pb_competition_) R 42361 42368 41988 0 -1 4194304 9150 0 0 0 13 2 0 0 20 0 2 0 45005953 147959808 14484 18446744073709551615 4198400 6788177 140725771439952 0 0 0 0 0 0 0 0 0 17 3 0 0 0 0 0 7336896 7391280 22085632 140725771442522 140725771442648 140725771442648 140725771448250 0
/proc/42368/statm: 36123 14484 608 633 0 21144 0
[pid=42368/tid=42371] ppid=42361 vsize=144492 memory=4026531960 CPUtime=0.05 cores=1,3
/proc/42368/task/42371/stat : 42371 (pb_competition_) S 42361 42368 41988 0 -1 4194368 2192 0 0 0 5 0 0 0 20 0 2 0 45005955 147959808 14484 18446744073709551615 4198400 6788177 140725771439952 0 0 0 0 0 0 1 0 0 -1 1 0 0 0 0 0 7336896 7391280 22085632 140725771442522 140725771442648 140725771442648 140725771448250 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 144492 KiB
Current children cumulated memory: 57936 KiB

[startup+0.205954 s]*
/proc/loadavg: 5.35 5.72 6.06 8/267 42371
/proc/meminfo: memFree=127997840/131250000 swapFree=33010684/33010684
[pid=42368] ppid=42361 vsize=163776 memory=106356 CPUtime=0.32 cores=1,3
/proc/42368/stat : 42368 (pb_competition_) R 42361 42368 41988 0 -1 4194304 16162 0 0 0 28 4 0 0 20 0 2 0 45005953 167706624 26589 18446744073709551615 4198400 6788177 140725771439952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 22085632 140725771442522 140725771442648 140725771442648 140725771448250 0
/proc/42368/statm: 40944 26589 608 633 0 28155 0
[pid=42368/tid=42371] ppid=42361 vsize=163776 memory=5983648042466672924 CPUtime=0.13 cores=1,3
/proc/42368/task/42371/stat : 42371 (pb_competition_) S 42361 42368 41988 0 -1 4194368 4383 0 0 0 12 1 0 0 20 0 2 0 45005955 167706624 26589 18446744073709551615 4198400 6788177 140725771439952 0 0 0 0 0 8404994 1 0 0 -1 1 0 0 0 0 0 7336896 7391280 22085632 140725771442522 140725771442648 140725771442648 140725771448250 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 163776 KiB
Current children cumulated memory: 106356 KiB

[startup+0.30604 s]*
/proc/loadavg: 5.35 5.72 6.06 8/267 42371
/proc/meminfo: memFree=127965760/131250000 swapFree=33010684/33010684
[pid=42368] ppid=42361 vsize=175892 memory=118644 CPUtime=0.43 cores=1,3
/proc/42368/stat : 42368 (pb_competition_) R 42361 42368 41988 0 -1 4194304 19184 0 0 0 38 5 0 0 20 0 2 0 45005953 180113408 29661 18446744073709551615 4198400 6788177 140725771439952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 22085632 140725771442522 140725771442648 140725771442648 140725771448250 0
/proc/42368/statm: 43973 29661 640 633 0 31184 0
[pid=42368/tid=42371] ppid=42361 vsize=175892 memory=7969830388798078829 CPUtime=0.13 cores=1,3
/proc/42368/task/42371/stat : 42371 (pb_competition_) S 42361 42368 41988 0 -1 4194368 4383 0 0 0 12 1 0 0 20 0 2 0 45005955 180113408 29661 18446744073709551615 4198400 6788177 140725771439952 0 0 0 0 0 8404994 1 0 0 -1 1 0 0 0 0 0 7336896 7391280 22085632 140725771442522 140725771442648 140725771442648 140725771448250 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 175892 KiB
Current children cumulated memory: 118644 KiB

[startup+0.700211 s]
/proc/loadavg: 5.35 5.72 6.06 7/267 42371
/proc/meminfo: memFree=127901248/131250000 swapFree=33010684/33010684
[pid=42368] ppid=42361 vsize=291260 memory=234096 CPUtime=0.81 cores=1,3
/proc/42368/stat : 42368 (pb_competition_) R 42361 42368 41988 0 -1 4194304 46510 0 0 0 73 8 0 0 20 0 2 0 45005953 298250240 58492 18446744073709551615 4198400 6788177 140725771439952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 22085632 140725771442522 140725771442648 140725771442648 140725771448250 0
/proc/42368/statm: 72815 58524 640 633 0 60026 0
[pid=42368/tid=42371] ppid=42361 vsize=291260 memory=17792 CPUtime=0.13 cores=1,3
/proc/42368/task/42371/stat : 42371 (pb_competition_) S 42361 42368 41988 0 -1 4194368 4383 0 0 0 12 1 0 0 20 0 2 0 45005955 298250240 58524 18446744073709551615 4198400 6788177 140725771439952 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 22085632 140725771442522 140725771442648 140725771442648 140725771448250 0
Current children cumulated CPU time: 0.81 s
Current children cumulated vsize: 291260 KiB
Current children cumulated memory: 234096 KiB

[startup+1.5002 s]
/proc/loadavg: 5.24 5.69 6.05 8/267 42371
/proc/meminfo: memFree=127731776/131250000 swapFree=33010684/33010684
[pid=42368] ppid=42361 vsize=292712 memory=235504 CPUtime=1.92 cores=1,3
/proc/42368/stat : 42368 (pb_competition_) R 42361 42368 41988 0 -1 4194304 76959 0 0 0 182 10 0 0 20 0 2 0 45005953 299737088 58876 18446744073709551615 4198400 6788177 140725771439952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 22085632 140725771442522 140725771442648 140725771442648 140725771448250 0
/proc/42368/statm: 73178 58876 640 633 0 60389 0
[pid=42368/tid=42371] ppid=42361 vsize=292712 memory=17792 CPUtime=0.45 cores=1,3
/proc/42368/task/42371/stat : 42371 (pb_competition_) R 42361 42368 41988 0 -1 4194368 4937 0 0 0 44 1 0 0 20 0 2 0 45005955 299737088 58876 18446744073709551615 4198400 6788177 140725771439952 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 22085632 140725771442522 140725771442648 140725771442648 140725771448250 0
Current children cumulated CPU time: 1.92 s
Current children cumulated vsize: 292712 KiB
Current children cumulated memory: 235504 KiB

[startup+3.10616 s]
/proc/loadavg: 5.24 5.69 6.05 10/267 42371
/proc/meminfo: memFree=127731908/131250000 swapFree=33010684/33010684
[pid=42368] ppid=42361 vsize=292712 memory=235504 CPUtime=4.19 cores=1,3
/proc/42368/stat : 42368 (pb_competition_) R 42361 42368 41988 0 -1 4194304 78388 0 0 0 408 11 0 0 20 0 2 0 45005953 299737088 58876 18446744073709551615 4198400 6788177 140725771439952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 22085632 140725771442522 140725771442648 140725771442648 140725771448250 0
/proc/42368/statm: 73178 58876 640 633 0 60389 0
[pid=42368/tid=42371] ppid=42361 vsize=292712 memory=235504 CPUtime=1.12 cores=1,3
/proc/42368/task/42371/stat : 42371 (pb_competition_) R 42361 42368 41988 0 -1 4194368 4938 0 0 0 111 1 0 0 20 0 2 0 45005955 299737088 58876 18446744073709551615 4198400 6788177 140725771439952 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 22085632 140725771442522 140725771442648 140725771442648 140725771448250 0
Current children cumulated CPU time: 4.19 s
Current children cumulated vsize: 292712 KiB
Current children cumulated memory: 235504 KiB

[startup+6.30019 s]
/proc/loadavg: 5.38 5.71 6.06 8/267 42371
/proc/meminfo: memFree=127732172/131250000 swapFree=33010684/33010684
[pid=42368] ppid=42361 vsize=292712 memory=235504 CPUtime=9.96 cores=1,3
/proc/42368/stat : 42368 (pb_competition_) R 42361 42368 41988 0 -1 4194304 134432 0 0 0 980 16 0 0 20 0 2 0 45005953 299737088 58876 18446744073709551615 4198400 6788177 140725771439952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 22085632 140725771442522 140725771442648 140725771442648 140725771448250 0
/proc/42368/statm: 73178 58876 640 633 0 60389 0
[pid=42368/tid=42371] ppid=42361 vsize=292712 memory=7969830388798078829 CPUtime=3.72 cores=1,3
/proc/42368/task/42371/stat : 42371 (pb_competition_) R 42361 42368 41988 0 -1 4194368 5579 0 0 0 370 2 0 0 20 0 2 0 45005955 299737088 58876 18446744073709551615 4198400 6788177 140725771439952 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 22085632 140725771442522 140725771442648 140725771442648 140725771448250 0
Current children cumulated CPU time: 9.96 s
Current children cumulated vsize: 292712 KiB
Current children cumulated memory: 235504 KiB

[startup+12.7002 s]
/proc/loadavg: 5.43 5.72 6.05 8/267 42371
/proc/meminfo: memFree=127732276/131250000 swapFree=33010684/33010684
[pid=42368] ppid=42361 vsize=292712 memory=235504 CPUtime=21.7 cores=1,3
/proc/42368/stat : 42368 (pb_competition_) R 42361 42368 41988 0 -1 4194304 162655 0 0 0 2152 18 0 0 20 0 2 0 45005953 299737088 58876 18446744073709551615 4198400 6788177 140725771439952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 22085632 140725771442522 140725771442648 140725771442648 140725771448250 0
/proc/42368/statm: 73178 58876 640 633 0 60389 0
[pid=42368/tid=42371] ppid=42361 vsize=292712 memory=235504 CPUtime=9.1 cores=1,3
/proc/42368/task/42371/stat : 42371 (pb_competition_) R 42361 42368 41988 0 -1 4194368 7007 0 0 0 908 2 0 0 20 0 2 0 45005955 299737088 58876 18446744073709551615 4198400 6788177 140725771439952 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 22085632 140725771442522 140725771442648 140725771442648 140725771448250 0
Current children cumulated CPU time: 21.7 s
Current children cumulated vsize: 292712 KiB
Current children cumulated memory: 235504 KiB

[startup+25.5002 s]
/proc/loadavg: 5.53 5.73 6.05 9/267 42371
/proc/meminfo: memFree=127732428/131250000 swapFree=33010684/33010684
[pid=42368] ppid=42361 vsize=292712 memory=235504 CPUtime=43.28 cores=1,3
/proc/42368/stat : 42368 (pb_competition_) R 42361 42368 41988 0 -1 4194304 190043 0 0 0 4306 22 0 0 20 0 2 0 45005953 299737088 58876 18446744073709551615 4198400 6788177 140725771439952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 22085632 140725771442522 140725771442648 140725771442648 140725771448250 0
/proc/42368/statm: 73178 58876 640 633 0 60389 0
[pid=42368/tid=42371] ppid=42361 vsize=292712 memory=235504 CPUtime=17.94 cores=1,3
/proc/42368/task/42371/stat : 42371 (pb_competition_) R 42361 42368 41988 0 -1 4194368 7569 0 0 0 1792 2 0 0 20 0 2 0 45005955 299737088 58876 18446744073709551615 4198400 6788177 140725771439952 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 22085632 140725771442522 140725771442648 140725771442648 140725771448250 0
Current children cumulated CPU time: 43.28 s
Current children cumulated vsize: 292712 KiB
Current children cumulated memory: 235504 KiB

[startup+51.1059 s]
/proc/loadavg: 5.69 5.75 6.05 9/267 42371
/proc/meminfo: memFree=127732212/131250000 swapFree=33010684/33010684
[pid=42368] ppid=42361 vsize=292712 memory=235504 CPUtime=79.22 cores=1,3
/proc/42368/stat : 42368 (pb_competition_) R 42361 42368 41988 0 -1 4194304 248868 0 0 0 7894 28 0 0 20 0 2 0 45005953 299737088 58876 18446744073709551615 4198400 6788177 140725771439952 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 22085632 140725771442522 140725771442648 140725771442648 140725771448250 0
/proc/42368/statm: 73178 58876 640 633 0 60389 0
[pid=42368/tid=42371] ppid=42361 vsize=292712 memory=235504 CPUtime=28.45 cores=1,3
/proc/42368/task/42371/stat : 42371 (pb_competition_) R 42361 42368 41988 0 -1 4194368 9197 0 0 0 2842 3 0 0 20 0 2 0 45005955 299737088 58876 18446744073709551615 4198400 6788177 140725771439952 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 22085632 140725771442522 140725771442648 140725771442648 140725771448250 0
Current children cumulated CPU time: 79.22 s
Current children cumulated vsize: 292712 KiB
Current children cumulated memory: 235504 KiB

[startup+102.3 s]
/proc/loadavg: 5.42 5.67 6.01 8/267 42373
/proc/meminfo: memFree=127732008/131250000 swapFree=33010684/33010684
[pid=42368] ppid=42361 vsize=292712 memory=235504 CPUtime=147.55 cores=1,3
/proc/42368/stat : 42368 (pb_competition_) R 42361 42368 41988 0 -1 4194304 300522 0 0 0 14720 35 0 0 20 0 2 0 45005953 299737088 58876 18446744073709551615 4198400 6788177 140725771439952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 22085632 140725771442522 140725771442648 140725771442648 140725771448250 0
/proc/42368/statm: 73178 58876 640 633 0 60389 0
[pid=42368/tid=42371] ppid=42361 vsize=292712 memory=235504 CPUtime=45.88 cores=1,3
/proc/42368/task/42371/stat : 42371 (pb_competition_) S 42361 42368 41988 0 -1 4194368 10701 0 0 0 4583 5 0 0 20 0 2 0 45005955 299737088 58876 18446744073709551615 4198400 6788177 140725771439952 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 22085632 140725771442522 140725771442648 140725771442648 140725771448250 0
Current children cumulated CPU time: 147.55 s
Current children cumulated vsize: 292712 KiB
Current children cumulated memory: 235504 KiB

[startup+162.3 s]
/proc/loadavg: 5.55 5.66 5.98 9/268 42382
/proc/meminfo: memFree=127750640/131250000 swapFree=33010684/33010684
[pid=42368] ppid=42361 vsize=292712 memory=235504 CPUtime=226.53 cores=1,3
/proc/42368/stat : 42368 (pb_competition_) R 42361 42368 41988 0 -1 4194304 327899 0 0 0 22609 44 0 0 20 0 2 0 45005953 299737088 58876 18446744073709551615 4198400 6788177 140725771439952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 22085632 140725771442522 140725771442648 140725771442648 140725771448250 0
/proc/42368/statm: 73178 58876 640 633 0 60389 0
[pid=42368/tid=42371] ppid=42361 vsize=292712 memory=235504 CPUtime=65.23 cores=1,3
/proc/42368/task/42371/stat : 42371 (pb_competition_) S 42361 42368 41988 0 -1 4194368 11631 0 0 0 6514 9 0 0 20 0 2 0 45005955 299737088 58876 18446744073709551615 4198400 6788177 140725771439952 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 22085632 140725771442522 140725771442648 140725771442648 140725771448250 0
Current children cumulated CPU time: 226.53 s
Current children cumulated vsize: 292712 KiB
Current children cumulated memory: 235504 KiB

[startup+222.3 s]
/proc/loadavg: 5.38 5.57 5.93 10/268 42384
/proc/meminfo: memFree=127750512/131250000 swapFree=33010684/33010684
[pid=42368] ppid=42361 vsize=292712 memory=235504 CPUtime=305.56 cores=1,3
/proc/42368/stat : 42368 (pb_competition_) R 42361 42368 41988 0 -1 4194304 355053 0 0 0 30506 50 0 0 20 0 2 0 45005953 299737088 58876 18446744073709551615 4198400 6788177 140725771439952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 22085632 140725771442522 140725771442648 140725771442648 140725771448250 0
/proc/42368/statm: 73178 58876 640 633 0 60389 0
[pid=42368/tid=42371] ppid=42361 vsize=292712 memory=235504 CPUtime=84.61 cores=1,3
/proc/42368/task/42371/stat : 42371 (pb_competition_) S 42361 42368 41988 0 -1 4194368 12372 0 0 0 8450 11 0 0 20 0 2 0 45005955 299737088 58876 18446744073709551615 4198400 6788177 140725771439952 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 22085632 140725771442522 140725771442648 140725771442648 140725771448250 0
Current children cumulated CPU time: 305.56 s
Current children cumulated vsize: 292712 KiB
Current children cumulated memory: 235504 KiB

[startup+282.3 s]
/proc/loadavg: 5.26 5.50 5.88 8/268 42386
/proc/meminfo: memFree=127750120/131250000 swapFree=33010684/33010684
[pid=42368] ppid=42361 vsize=292712 memory=235504 CPUtime=381.71 cores=1,3
/proc/42368/stat : 42368 (pb_competition_) R 42361 42368 41988 0 -1 4194304 382181 0 0 0 38114 57 0 0 20 0 2 0 45005953 299737088 58876 18446744073709551615 4198400 6788177 140725771439952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 22085632 140725771442522 140725771442648 140725771442648 140725771448250 0
/proc/42368/statm: 73178 58876 640 633 0 60389 0
[pid=42368/tid=42371] ppid=42361 vsize=292712 memory=235504 CPUtime=101.1 cores=1,3
/proc/42368/task/42371/stat : 42371 (pb_competition_) R 42361 42368 41988 0 -1 4194368 13128 0 0 0 10096 14 0 0 20 0 2 0 45005955 299737088 58876 18446744073709551615 4198400 6788177 140725771439952 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 22085632 140725771442522 140725771442648 140725771442648 140725771448250 0
Current children cumulated CPU time: 381.71 s
Current children cumulated vsize: 292712 KiB
Current children cumulated memory: 235504 KiB

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

/proc/meminfo: memFree=128021656/131250000 swapFree=33010684/33010684
[pid=42368] ppid=42361 vsize=292712 memory=236912 CPUtime=2867.71 cores=1,3
/proc/42368/stat : 42368 (pb_competition_) R 42361 42368 41988 0 -1 4194304 494249 0 0 0 286568 203 0 0 20 0 2 0 45005953 299737088 59228 18446744073709551615 4198400 6788177 140725771439952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 22085632 140725771442522 140725771442648 140725771442648 140725771448250 0
/proc/42368/statm: 73178 59228 640 633 0 60389 0
[pid=42368/tid=42371] ppid=42361 vsize=292712 memory=236912 CPUtime=677.49 cores=1,3
/proc/42368/task/42371/stat : 42371 (pb_competition_) S 42361 42368 41988 0 -1 4194368 16892 0 0 0 67668 81 0 0 20 0 2 0 45005955 299737088 59228 18446744073709551615 4198400 6788177 140725771439952 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 22085632 140725771442522 140725771442648 140725771442648 140725771448250 0
Current children cumulated CPU time: 2867.71 s
Current children cumulated vsize: 292712 KiB
Current children cumulated memory: 236912 KiB

[startup+2262.3 s]
/proc/loadavg: 5.87 5.41 5.41 8/267 42613
/proc/meminfo: memFree=127920912/131250000 swapFree=33010684/33010684
[pid=42368] ppid=42361 vsize=292712 memory=236912 CPUtime=2942.18 cores=1,3
/proc/42368/stat : 42368 (pb_competition_) R 42361 42368 41988 0 -1 4194304 495359 0 0 0 294012 206 0 0 20 0 2 0 45005953 299737088 59228 18446744073709551615 4198400 6788177 140725771439952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 22085632 140725771442522 140725771442648 140725771442648 140725771448250 0
/proc/42368/statm: 73178 59228 640 633 0 60389 0
[pid=42368/tid=42371] ppid=42361 vsize=292712 memory=14720 CPUtime=692.28 cores=1,3
/proc/42368/task/42371/stat : 42371 (pb_competition_) R 42361 42368 41988 0 -1 4194368 16896 0 0 0 69145 83 0 0 20 0 2 0 45005955 299737088 59228 18446744073709551615 4198400 6788177 140725771439952 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 22085632 140725771442522 140725771442648 140725771442648 140725771448250 0
Current children cumulated CPU time: 2942.18 s
Current children cumulated vsize: 292712 KiB
Current children cumulated memory: 236912 KiB

[startup+2322.3 s]
/proc/loadavg: 6.09 5.56 5.47 9/267 42615
/proc/meminfo: memFree=127963392/131250000 swapFree=33010684/33010684
[pid=42368] ppid=42361 vsize=292712 memory=236912 CPUtime=3017.02 cores=1,3
/proc/42368/stat : 42368 (pb_competition_) R 42361 42368 41988 0 -1 4194304 495367 0 0 0 301492 210 0 0 20 0 2 0 45005953 299737088 59228 18446744073709551615 4198400 6788177 140725771439952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 22085632 140725771442522 140725771442648 140725771442648 140725771448250 0
/proc/42368/statm: 73178 59228 640 633 0 60389 0
[pid=42368/tid=42371] ppid=42361 vsize=292712 memory=236912 CPUtime=707.42 cores=1,3
/proc/42368/task/42371/stat : 42371 (pb_competition_) S 42361 42368 41988 0 -1 4194368 16896 0 0 0 70657 85 0 0 20 0 2 0 45005955 299737088 59228 18446744073709551615 4198400 6788177 140725771439952 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 22085632 140725771442522 140725771442648 140725771442648 140725771448250 0
Current children cumulated CPU time: 3017.02 s
Current children cumulated vsize: 292712 KiB
Current children cumulated memory: 236912 KiB

[startup+2382.3 s]
/proc/loadavg: 6.83 5.86 5.58 8/267 42617
/proc/meminfo: memFree=127891640/131250000 swapFree=33010684/33010684
[pid=42368] ppid=42361 vsize=292712 memory=236912 CPUtime=3092.16 cores=1,3
/proc/42368/stat : 42368 (pb_competition_) R 42361 42368 41988 0 -1 4194304 496486 0 0 0 309003 213 0 0 20 0 2 0 45005953 299737088 59228 18446744073709551615 4198400 6788177 140725771439952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 22085632 140725771442522 140725771442648 140725771442648 140725771448250 0
/proc/42368/statm: 73178 59228 640 633 0 60389 0
[pid=42368/tid=42371] ppid=42361 vsize=292712 memory=236912 CPUtime=722.83 cores=1,3
/proc/42368/task/42371/stat : 42371 (pb_competition_) S 42361 42368 41988 0 -1 4194368 16898 0 0 0 72197 86 0 0 20 0 2 0 45005955 299737088 59228 18446744073709551615 4198400 6788177 140725771439952 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 22085632 140725771442522 140725771442648 140725771442648 140725771448250 0
Current children cumulated CPU time: 3092.16 s
Current children cumulated vsize: 292712 KiB
Current children cumulated memory: 236912 KiB

[startup+2442.3 s]
/proc/loadavg: 6.84 6.06 5.67 9/267 42630
/proc/meminfo: memFree=127886412/131250000 swapFree=33010684/33010684
[pid=42368] ppid=42361 vsize=292712 memory=236912 CPUtime=3166.8 cores=1,3
/proc/42368/stat : 42368 (pb_competition_) R 42361 42368 41988 0 -1 4194304 496486 0 0 0 316465 215 0 0 20 0 2 0 45005953 299737088 59228 18446744073709551615 4198400 6788177 140725771439952 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 22085632 140725771442522 140725771442648 140725771442648 140725771448250 0
/proc/42368/statm: 73178 59228 640 633 0 60389 0
[pid=42368/tid=42371] ppid=42361 vsize=292712 memory=236912 CPUtime=737.76 cores=1,3
/proc/42368/task/42371/stat : 42371 (pb_competition_) S 42361 42368 41988 0 -1 4194368 16898 0 0 0 73688 88 0 0 20 0 2 0 45005955 299737088 59228 18446744073709551615 4198400 6788177 140725771439952 0 0 0 0 0 8404994 1 0 0 -1 1 0 0 0 0 0 7336896 7391280 22085632 140725771442522 140725771442648 140725771442648 140725771448250 0
Current children cumulated CPU time: 3166.8 s
Current children cumulated vsize: 292712 KiB
Current children cumulated memory: 236912 KiB

[startup+2502.3 s]
/proc/loadavg: 6.56 6.11 5.71 8/267 42632
/proc/meminfo: memFree=127909184/131250000 swapFree=33010684/33010684
[pid=42368] ppid=42361 vsize=292712 memory=236912 CPUtime=3242.42 cores=1,3
/proc/42368/stat : 42368 (pb_competition_) R 42361 42368 41988 0 -1 4194304 497597 0 0 0 324023 219 0 0 20 0 2 0 45005953 299737088 59228 18446744073709551615 4198400 6788177 140725771439952 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 22085632 140725771442522 140725771442648 140725771442648 140725771448250 0
/proc/42368/statm: 73178 59228 640 633 0 60389 0
[pid=42368/tid=42371] ppid=42361 vsize=292712 memory=236912 CPUtime=753.7 cores=1,3
/proc/42368/task/42371/stat : 42371 (pb_competition_) R 42361 42368 41988 0 -1 4194368 16901 0 0 0 75280 90 0 0 20 0 2 0 45005955 299737088 59228 18446744073709551615 4198400 6788177 140725771439952 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 22085632 140725771442522 140725771442648 140725771442648 140725771448250 0
Current children cumulated CPU time: 3242.42 s
Current children cumulated vsize: 292712 KiB
Current children cumulated memory: 236912 KiB

[startup+2562.3 s]
/proc/loadavg: 6.37 6.14 5.75 7/267 42634
/proc/meminfo: memFree=127914416/131250000 swapFree=33010684/33010684
[pid=42368] ppid=42361 vsize=292712 memory=236912 CPUtime=3317.53 cores=1,3
/proc/42368/stat : 42368 (pb_competition_) R 42361 42368 41988 0 -1 4194304 497605 0 0 0 331531 222 0 0 20 0 2 0 45005953 299737088 59228 18446744073709551615 4198400 6788177 140725771439952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 22085632 140725771442522 140725771442648 140725771442648 140725771448250 0
/proc/42368/statm: 73178 59228 640 633 0 60389 0
[pid=42368/tid=42371] ppid=42361 vsize=292712 memory=236912 CPUtime=769.11 cores=1,3
/proc/42368/task/42371/stat : 42371 (pb_competition_) R 42361 42368 41988 0 -1 4194368 16901 0 0 0 76819 92 0 0 20 0 2 0 45005955 299737088 59228 18446744073709551615 4198400 6788177 140725771439952 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 22085632 140725771442522 140725771442648 140725771442648 140725771448250 0
Current children cumulated CPU time: 3317.53 s
Current children cumulated vsize: 292712 KiB
Current children cumulated memory: 236912 KiB

[startup+2622.3 s]
/proc/loadavg: 6.49 6.22 5.80 7/266 42642
/proc/meminfo: memFree=127925020/131250000 swapFree=33010684/33010684
[pid=42368] ppid=42361 vsize=292712 memory=236912 CPUtime=3393.43 cores=1,3
/proc/42368/stat : 42368 (pb_competition_) R 42361 42368 41988 0 -1 4194304 498725 0 0 0 339118 225 0 0 20 0 2 0 45005953 299737088 59228 18446744073709551615 4198400 6788177 140725771439952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 22085632 140725771442522 140725771442648 140725771442648 140725771448250 0
/proc/42368/statm: 73178 59228 640 633 0 60389 0
[pid=42368/tid=42371] ppid=42361 vsize=292712 memory=236912 CPUtime=785.34 cores=1,3
/proc/42368/task/42371/stat : 42371 (pb_competition_) S 42361 42368 41988 0 -1 4194368 16905 0 0 0 78440 94 0 0 20 0 2 0 45005955 299737088 59228 18446744073709551615 4198400 6788177 140725771439952 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 22085632 140725771442522 140725771442648 140725771442648 140725771448250 0
Current children cumulated CPU time: 3393.43 s
Current children cumulated vsize: 292712 KiB
Current children cumulated memory: 236912 KiB

[startup+2682.3 s]
/proc/loadavg: 6.47 6.27 5.85 8/266 42644
/proc/meminfo: memFree=127929152/131250000 swapFree=33010684/33010684
[pid=42368] ppid=42361 vsize=292712 memory=236912 CPUtime=3469.89 cores=1,3
/proc/42368/stat : 42368 (pb_competition_) R 42361 42368 41988 0 -1 4194304 498725 0 0 0 346759 230 0 0 20 0 2 0 45005953 299737088 59228 18446744073709551615 4198400 6788177 140725771439952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 22085632 140725771442522 140725771442648 140725771442648 140725771448250 0
/proc/42368/statm: 73178 59228 640 633 0 60389 0
[pid=42368/tid=42371] ppid=42361 vsize=292712 memory=236912 CPUtime=802.08 cores=1,3
/proc/42368/task/42371/stat : 42371 (pb_competition_) S 42361 42368 41988 0 -1 4194368 16905 0 0 0 80111 97 0 0 20 0 2 0 45005955 299737088 59228 18446744073709551615 4198400 6788177 140725771439952 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 22085632 140725771442522 140725771442648 140725771442648 140725771448250 0
Current children cumulated CPU time: 3469.89 s
Current children cumulated vsize: 292712 KiB
Current children cumulated memory: 236912 KiB

[startup+2742.3 s]
/proc/loadavg: 6.51 6.31 5.89 9/266 42646
/proc/meminfo: memFree=127929048/131250000 swapFree=33010684/33010684
[pid=42368] ppid=42361 vsize=292712 memory=236912 CPUtime=3546.37 cores=1,3
/proc/42368/stat : 42368 (pb_competition_) R 42361 42368 41988 0 -1 4194304 499837 0 0 0 354403 234 0 0 20 0 2 0 45005953 299737088 59228 18446744073709551615 4198400 6788177 140725771439952 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 22085632 140725771442522 140725771442648 140725771442648 140725771448250 0
/proc/42368/statm: 73178 59228 640 633 0 60389 0
[pid=42368/tid=42371] ppid=42361 vsize=292712 memory=236912 CPUtime=818.86 cores=1,3
/proc/42368/task/42371/stat : 42371 (pb_competition_) R 42361 42368 41988 0 -1 4194368 16908 0 0 0 81787 99 0 0 20 0 2 0 45005955 299737088 59228 18446744073709551615 4198400 6788177 140725771439952 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 22085632 140725771442522 140725771442648 140725771442648 140725771448250 0
Current children cumulated CPU time: 3546.37 s
Current children cumulated vsize: 292712 KiB
Current children cumulated memory: 236912 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2783.5 s]
/proc/loadavg: 6.44 6.32 5.92 9/266 42784
/proc/meminfo: memFree=128009756/131250000 swapFree=33010684/33010684
[pid=42368] ppid=42361 vsize=292712 memory=236912 CPUtime=3600.1 cores=1,3
/proc/42368/stat : 42368 (pb_competition_) R 42361 42368 41988 0 -1 4194304 499845 0 0 0 359772 238 0 0 20 0 2 0 45005953 299737088 59228 18446744073709551615 4198400 6788177 140725771439952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 22085632 140725771442522 140725771442648 140725771442648 140725771448250 0
/proc/42368/statm: 73178 59228 640 633 0 60389 0
[pid=42368/tid=42371] ppid=42361 vsize=292712 memory=14720 CPUtime=831.61 cores=1,3
/proc/42368/task/42371/stat : 42371 (pb_competition_) S 42361 42368 41988 0 -1 4194368 16908 0 0 0 83060 101 0 0 20 0 2 0 45005955 299737088 59228 18446744073709551615 4198400 6788177 140725771439952 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 22085632 140725771442522 140725771442648 140725771442648 140725771448250 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 292712 KiB
Current children cumulated memory: 236912 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.83 s, system=2.39395 s

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

[startup+2783.6 s]
/proc/loadavg: 6.44 6.32 5.92 9/266 42784
/proc/meminfo: memFree=128009756/131250000 swapFree=33010684/33010684
[pid=42368] ppid=42361 vsize=250192 memory=194408 CPUtime=3600.19 cores=1,3
/proc/42368/stat : 42368 (pb_competition_) R 42361 42368 41988 0 -1 4194304 510264 0 0 0 359781 238 0 0 20 0 2 0 45005953 256196608 48602 18446744073709551615 4198400 6788177 140725771439952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 22085632 140725771442522 140725771442648 140725771442648 140725771448250 0
/proc/42368/statm: 62548 48602 640 633 0 49759 0
[pid=42368/tid=42371] ppid=42361 vsize=250192 memory=2892 CPUtime=831.61 cores=1,3
/proc/42368/task/42371/stat : 42371 (pb_competition_) S 42361 42368 41988 0 -1 4194368 16908 0 0 0 83060 101 0 0 20 0 2 0 45005955 256196608 48602 18446744073709551615 4198400 6788177 140725771439952 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 22085632 140725771442522 140725771442648 140725771442648 140725771448250 0
Current children cumulated CPU time: 3600.19 s
Current children cumulated vsize: 250192 KiB
Current children cumulated memory: 194408 KiB

Child status: 0

Real time (s): 2783.63
CPU time (s): 3600.23
CPU user time (s): 3597.83
CPU system time (s): 2.39395
CPU usage (%): 129.336
Max. virtual memory (cumulated for all children) (KiB): 292712
Max. memory (cumulated for all children) (KiB): 236912

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.83
system time used= 2.39395
maximum resident set size= 236912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 513551
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= 79938
involuntary context switches= 27481


# summary of solver processes directly reported to runsolver:
#   pid: 42368
#   total CPU time (s): 3600.23
#   total CPU user time (s): 3597.83
#   total CPU system time (s): 2.39395

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.08285 second user time and 13.4999 second system time

The end