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 (63064 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=42364, runsolver pid=42360

[startup+0.100046 s]*
/proc/loadavg: 5.35 5.72 6.06 5/267 42371
/proc/meminfo: memFree=128092912/131250000 swapFree=33010684/33010684
[pid=42364] ppid=42360 vsize=145556 memory=61240 CPUtime=0.15 cores=0,2
/proc/42364/stat : 42364 (pb_competition_) R 42360 42364 41988 0 -1 4194304 9260 0 0 0 13 2 0 0 20 0 2 0 45005953 149049344 15310 18446744073709551615 4198400 6788177 140732221786752 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 7336896 7391280 23261184 140732221790554 140732221790680 140732221790680 140732221796282 0
/proc/42364/statm: 36422 15310 608 633 0 21449 0
[pid=42364/tid=42370] ppid=42360 vsize=145688 memory=4026532124 CPUtime=0.05 cores=0,2
/proc/42364/task/42370/stat : 42370 (pb_competition_) S 42360 42364 41988 0 -1 4194368 2198 0 0 0 5 0 0 0 20 0 2 0 45005954 149184512 15310 18446744073709551615 4198400 6788177 140732221786752 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 7336896 7391280 23261184 140732221790554 140732221790680 140732221790680 140732221796282 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 145556 KiB
Current children cumulated memory: 61240 KiB

[startup+0.205738 s]*
/proc/loadavg: 5.35 5.72 6.06 7/267 42371
/proc/meminfo: memFree=127997840/131250000 swapFree=33010684/33010684
[pid=42364] ppid=42360 vsize=164048 memory=106776 CPUtime=0.32 cores=0,2
/proc/42364/stat : 42364 (pb_competition_) R 42360 42364 41988 0 -1 4194304 16063 0 0 0 28 4 0 0 20 0 2 0 45005953 167985152 26694 18446744073709551615 4198400 6788177 140732221786752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 23261184 140732221790554 140732221790680 140732221790680 140732221796282 0
/proc/42364/statm: 41012 26694 640 633 0 28235 0
[pid=42364/tid=42370] ppid=42360 vsize=164048 memory=664958721904869660 CPUtime=0.13 cores=0,2
/proc/42364/task/42370/stat : 42370 (pb_competition_) S 42360 42364 41988 0 -1 4194368 4395 0 0 0 12 1 0 0 20 0 2 0 45005954 167985152 26694 18446744073709551615 4198400 6788177 140732221786752 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 23261184 140732221790554 140732221790680 140732221790680 140732221796282 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 164048 KiB
Current children cumulated memory: 106776 KiB

[startup+0.305837 s]*
/proc/loadavg: 5.35 5.72 6.06 7/267 42371
/proc/meminfo: memFree=127965760/131250000 swapFree=33010684/33010684
[pid=42364] ppid=42360 vsize=176076 memory=118808 CPUtime=0.43 cores=0,2
/proc/42364/stat : 42364 (pb_competition_) R 42360 42364 41988 0 -1 4194304 19070 0 0 0 38 5 0 0 20 0 2 0 45005953 180301824 29702 18446744073709551615 4198400 6788177 140732221786752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 23261184 140732221790554 140732221790680 140732221790680 140732221796282 0
/proc/42364/statm: 44019 29702 640 633 0 31242 0
[pid=42364/tid=42370] ppid=42360 vsize=176076 memory=7969830388798078829 CPUtime=0.13 cores=0,2
/proc/42364/task/42370/stat : 42370 (pb_competition_) S 42360 42364 41988 0 -1 4194368 4395 0 0 0 12 1 0 0 20 0 2 0 45005954 180301824 29702 18446744073709551615 4198400 6788177 140732221786752 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 23261184 140732221790554 140732221790680 140732221790680 140732221796282 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 176076 KiB
Current children cumulated memory: 118808 KiB

[startup+0.70021 s]
/proc/loadavg: 5.35 5.72 6.06 6/267 42371
/proc/meminfo: memFree=127901248/131250000 swapFree=33010684/33010684
[pid=42364] ppid=42360 vsize=292940 memory=235808 CPUtime=0.82 cores=0,2
/proc/42364/stat : 42364 (pb_competition_) R 42360 42364 41988 0 -1 4194304 46765 0 0 0 73 9 0 0 20 0 2 0 45005953 299970560 58952 18446744073709551615 4198400 6788177 140732221786752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 23261184 140732221790554 140732221790680 140732221790680 140732221796282 0
/proc/42364/statm: 73235 58952 640 633 0 60458 0
[pid=42364/tid=42370] ppid=42360 vsize=292940 memory=17792 CPUtime=0.13 cores=0,2
/proc/42364/task/42370/stat : 42370 (pb_competition_) S 42360 42364 41988 0 -1 4194368 4395 0 0 0 12 1 0 0 20 0 2 0 45005954 299970560 58952 18446744073709551615 4198400 6788177 140732221786752 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 23261184 140732221790554 140732221790680 140732221790680 140732221796282 0
Current children cumulated CPU time: 0.82 s
Current children cumulated vsize: 292940 KiB
Current children cumulated memory: 235808 KiB

[startup+1.50022 s]
/proc/loadavg: 5.24 5.69 6.05 6/267 42371
/proc/meminfo: memFree=127731776/131250000 swapFree=33010684/33010684
[pid=42364] ppid=42360 vsize=293336 memory=236192 CPUtime=1.99 cores=0,2
/proc/42364/stat : 42364 (pb_competition_) R 42360 42364 41988 0 -1 4194304 77671 0 0 0 188 11 0 0 20 0 2 0 45005953 300376064 59048 18446744073709551615 4198400 6788177 140732221786752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 23261184 140732221790554 140732221790680 140732221790680 140732221796282 0
/proc/42364/statm: 73334 59048 640 633 0 60557 0
[pid=42364/tid=42370] ppid=42360 vsize=293336 memory=17792 CPUtime=0.51 cores=0,2
/proc/42364/task/42370/stat : 42370 (pb_competition_) S 42360 42364 41988 0 -1 4194368 5151 0 0 0 50 1 0 0 20 0 2 0 45005954 300376064 59048 18446744073709551615 4198400 6788177 140732221786752 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 23261184 140732221790554 140732221790680 140732221790680 140732221796282 0
Current children cumulated CPU time: 1.99 s
Current children cumulated vsize: 293336 KiB
Current children cumulated memory: 236192 KiB

[startup+3.10551 s]
/proc/loadavg: 5.24 5.69 6.05 8/267 42371
/proc/meminfo: memFree=127731908/131250000 swapFree=33010684/33010684
[pid=42364] ppid=42360 vsize=293336 memory=236192 CPUtime=4.42 cores=0,2
/proc/42364/stat : 42364 (pb_competition_) R 42360 42364 41988 0 -1 4194304 78802 0 0 0 430 12 0 0 20 0 2 0 45005953 300376064 59048 18446744073709551615 4198400 6788177 140732221786752 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 23261184 140732221790554 140732221790680 140732221790680 140732221796282 0
/proc/42364/statm: 73334 59048 640 633 0 60557 0
[pid=42364/tid=42370] ppid=42360 vsize=293336 memory=236192 CPUtime=1.33 cores=0,2
/proc/42364/task/42370/stat : 42370 (pb_competition_) R 42360 42364 41988 0 -1 4194368 5151 0 0 0 132 1 0 0 20 0 2 0 45005954 300376064 59048 18446744073709551615 4198400 6788177 140732221786752 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 23261184 140732221790554 140732221790680 140732221790680 140732221796282 0
Current children cumulated CPU time: 4.42 s
Current children cumulated vsize: 293336 KiB
Current children cumulated memory: 236192 KiB

[startup+6.30019 s]
/proc/loadavg: 5.38 5.71 6.06 7/267 42371
/proc/meminfo: memFree=127732172/131250000 swapFree=33010684/33010684
[pid=42364] ppid=42360 vsize=293336 memory=236192 CPUtime=9.94 cores=0,2
/proc/42364/stat : 42364 (pb_competition_) R 42360 42364 41988 0 -1 4194304 136138 0 0 0 978 16 0 0 20 0 2 0 45005953 300376064 59048 18446744073709551615 4198400 6788177 140732221786752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 23261184 140732221790554 140732221790680 140732221790680 140732221796282 0
/proc/42364/statm: 73334 59048 640 633 0 60557 0
[pid=42364/tid=42370] ppid=42360 vsize=293336 memory=7969548913821106029 CPUtime=3.7 cores=0,2
/proc/42364/task/42370/stat : 42370 (pb_competition_) R 42360 42364 41988 0 -1 4194368 7091 0 0 0 368 2 0 0 20 0 2 0 45005954 300376064 59048 18446744073709551615 4198400 6788177 140732221786752 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 23261184 140732221790554 140732221790680 140732221790680 140732221796282 0
Current children cumulated CPU time: 9.94 s
Current children cumulated vsize: 293336 KiB
Current children cumulated memory: 236192 KiB

[startup+12.7002 s]
/proc/loadavg: 5.43 5.72 6.05 6/267 42371
/proc/meminfo: memFree=127732276/131250000 swapFree=33010684/33010684
[pid=42364] ppid=42360 vsize=293336 memory=236192 CPUtime=21.3 cores=0,2
/proc/42364/stat : 42364 (pb_competition_) R 42360 42364 41988 0 -1 4194304 192089 0 0 0 2109 21 0 0 20 0 2 0 45005953 300376064 59048 18446744073709551615 4198400 6788177 140732221786752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 23261184 140732221790554 140732221790680 140732221790680 140732221796282 0
/proc/42364/statm: 73334 59048 640 633 0 60557 0
[pid=42364/tid=42370] ppid=42360 vsize=293336 memory=236192 CPUtime=8.72 cores=0,2
/proc/42364/task/42370/stat : 42370 (pb_competition_) S 42360 42364 41988 0 -1 4194368 8465 0 0 0 870 2 0 0 20 0 2 0 45005954 300376064 59048 18446744073709551615 4198400 6788177 140732221786752 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 23261184 140732221790554 140732221790680 140732221790680 140732221796282 0
Current children cumulated CPU time: 21.3 s
Current children cumulated vsize: 293336 KiB
Current children cumulated memory: 236192 KiB

[startup+25.5002 s]
/proc/loadavg: 5.53 5.73 6.05 8/267 42371
/proc/meminfo: memFree=127732428/131250000 swapFree=33010684/33010684
[pid=42364] ppid=42360 vsize=293336 memory=236192 CPUtime=42.64 cores=0,2
/proc/42364/stat : 42364 (pb_competition_) R 42360 42364 41988 0 -1 4194304 253725 0 0 0 4235 29 0 0 20 0 2 0 45005953 300376064 59048 18446744073709551615 4198400 6788177 140732221786752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 23261184 140732221790554 140732221790680 140732221790680 140732221796282 0
/proc/42364/statm: 73334 59048 640 633 0 60557 0
[pid=42364/tid=42370] ppid=42360 vsize=293336 memory=236192 CPUtime=17.35 cores=0,2
/proc/42364/task/42370/stat : 42370 (pb_competition_) S 42360 42364 41988 0 -1 4194368 9858 0 0 0 1732 3 0 0 20 0 2 0 45005954 300376064 59048 18446744073709551615 4198400 6788177 140732221786752 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 23261184 140732221790554 140732221790680 140732221790680 140732221796282 0
Current children cumulated CPU time: 42.64 s
Current children cumulated vsize: 293336 KiB
Current children cumulated memory: 236192 KiB

[startup+51.1056 s]
/proc/loadavg: 5.69 5.75 6.05 7/267 42371
/proc/meminfo: memFree=127732212/131250000 swapFree=33010684/33010684
[pid=42364] ppid=42360 vsize=293336 memory=236192 CPUtime=84.22 cores=0,2
/proc/42364/stat : 42364 (pb_competition_) R 42360 42364 41988 0 -1 4194304 308005 0 0 0 8385 37 0 0 20 0 2 0 45005953 300376064 59048 18446744073709551615 4198400 6788177 140732221786752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 23261184 140732221790554 140732221790680 140732221790680 140732221796282 0
/proc/42364/statm: 73334 59048 640 633 0 60557 0
[pid=42364/tid=42370] ppid=42360 vsize=293336 memory=236192 CPUtime=33.54 cores=0,2
/proc/42364/task/42370/stat : 42370 (pb_competition_) R 42360 42364 41988 0 -1 4194368 10829 0 0 0 3348 6 0 0 20 0 2 0 45005954 300376064 59048 18446744073709551615 4198400 6788177 140732221786752 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 23261184 140732221790554 140732221790680 140732221790680 140732221796282 0
Current children cumulated CPU time: 84.22 s
Current children cumulated vsize: 293336 KiB
Current children cumulated memory: 236192 KiB

[startup+102.3 s]
/proc/loadavg: 5.42 5.67 6.01 6/267 42373
/proc/meminfo: memFree=127732008/131250000 swapFree=33010684/33010684
[pid=42364] ppid=42360 vsize=293336 memory=236192 CPUtime=154.7 cores=0,2
/proc/42364/stat : 42364 (pb_competition_) R 42360 42364 41988 0 -1 4194304 335854 0 0 0 15423 47 0 0 20 0 2 0 45005953 300376064 59048 18446744073709551615 4198400 6788177 140732221786752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 23261184 140732221790554 140732221790680 140732221790680 140732221796282 0
/proc/42364/statm: 73334 59048 640 633 0 60557 0
[pid=42364/tid=42370] ppid=42360 vsize=293336 memory=14720 CPUtime=53.14 cores=0,2
/proc/42364/task/42370/stat : 42370 (pb_competition_) S 42360 42364 41988 0 -1 4194368 11394 0 0 0 5306 8 0 0 20 0 2 0 45005954 300376064 59048 18446744073709551615 4198400 6788177 140732221786752 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 23261184 140732221790554 140732221790680 140732221790680 140732221796282 0
Current children cumulated CPU time: 154.7 s
Current children cumulated vsize: 293336 KiB
Current children cumulated memory: 236192 KiB

[startup+162.3 s]
/proc/loadavg: 5.55 5.66 5.98 7/268 42382
/proc/meminfo: memFree=127750640/131250000 swapFree=33010684/33010684
[pid=42364] ppid=42360 vsize=293336 memory=236192 CPUtime=234.31 cores=0,2
/proc/42364/stat : 42364 (pb_competition_) R 42360 42364 41988 0 -1 4194304 390066 0 0 0 23374 57 0 0 20 0 2 0 45005953 300376064 59048 18446744073709551615 4198400 6788177 140732221786752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 23261184 140732221790554 140732221790680 140732221790680 140732221796282 0
/proc/42364/statm: 73334 59048 640 633 0 60557 0
[pid=42364/tid=42370] ppid=42360 vsize=293336 memory=236192 CPUtime=73.17 cores=0,2
/proc/42364/task/42370/stat : 42370 (pb_competition_) S 42360 42364 41988 0 -1 4194368 12502 0 0 0 7306 11 0 0 20 0 2 0 45005954 300376064 59048 18446744073709551615 4198400 6788177 140732221786752 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 23261184 140732221790554 140732221790680 140732221790680 140732221796282 0
Current children cumulated CPU time: 234.31 s
Current children cumulated vsize: 293336 KiB
Current children cumulated memory: 236192 KiB

[startup+222.3 s]
/proc/loadavg: 5.38 5.57 5.93 7/268 42384
/proc/meminfo: memFree=127750512/131250000 swapFree=33010684/33010684
[pid=42364] ppid=42360 vsize=293336 memory=236192 CPUtime=311.28 cores=0,2
/proc/42364/stat : 42364 (pb_competition_) R 42360 42364 41988 0 -1 4194304 417377 0 0 0 31061 67 0 0 20 0 2 0 45005953 300376064 59048 18446744073709551615 4198400 6788177 140732221786752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 23261184 140732221790554 140732221790680 140732221790680 140732221796282 0
/proc/42364/statm: 73334 59048 640 633 0 60557 0
[pid=42364/tid=42370] ppid=42360 vsize=293336 memory=236192 CPUtime=90.51 cores=0,2
/proc/42364/task/42370/stat : 42370 (pb_competition_) S 42360 42364 41988 0 -1 4194368 12887 0 0 0 9037 14 0 0 20 0 2 0 45005954 300376064 59048 18446744073709551615 4198400 6788177 140732221786752 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 23261184 140732221790554 140732221790680 140732221790680 140732221796282 0
Current children cumulated CPU time: 311.28 s
Current children cumulated vsize: 293336 KiB
Current children cumulated memory: 236192 KiB

[startup+282.3 s]
/proc/loadavg: 5.26 5.50 5.88 7/268 42386
/proc/meminfo: memFree=127750120/131250000 swapFree=33010684/33010684
[pid=42364] ppid=42360 vsize=293336 memory=236192 CPUtime=389.66 cores=0,2
/proc/42364/stat : 42364 (pb_competition_) R 42360 42364 41988 0 -1 4194304 444622 0 0 0 38890 76 0 0 20 0 2 0 45005953 300376064 59048 18446744073709551615 4198400 6788177 140732221786752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 23261184 140732221790554 140732221790680 140732221790680 140732221796282 0
/proc/42364/statm: 73334 59048 640 633 0 60557 0
[pid=42364/tid=42370] ppid=42360 vsize=293336 memory=236192 CPUtime=109.3 cores=0,2
/proc/42364/task/42370/stat : 42370 (pb_competition_) S 42360 42364 41988 0 -1 4194368 13567 0 0 0 10913 17 0 0 20 0 2 0 45005954 300376064 59048 18446744073709551615 4198400 6788177 140732221786752 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 23261184 140732221790554 140732221790680 140732221790680 140732221796282 0
Current children cumulated CPU time: 389.66 s
Current children cumulated vsize: 293336 KiB
Current children cumulated memory: 236192 KiB

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

/proc/meminfo: memFree=128021656/131250000 swapFree=33010684/33010684
[pid=42364] ppid=42360 vsize=293336 memory=238112 CPUtime=2886.28 cores=0,2
/proc/42364/stat : 42364 (pb_competition_) R 42360 42364 41988 0 -1 4194304 532934 0 0 0 288360 268 0 0 20 0 2 0 45005953 300376064 59528 18446744073709551615 4198400 6788177 140732221786752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 23261184 140732221790554 140732221790680 140732221790680 140732221796282 0
/proc/42364/statm: 73334 59528 640 633 0 60557 0
[pid=42364/tid=42370] ppid=42360 vsize=293336 memory=238112 CPUtime=697.52 cores=0,2
/proc/42364/task/42370/stat : 42370 (pb_competition_) S 42360 42364 41988 0 -1 4194368 16939 0 0 0 69649 103 0 0 20 0 2 0 45005954 300376064 59528 18446744073709551615 4198400 6788177 140732221786752 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 23261184 140732221790554 140732221790680 140732221790680 140732221796282 0
Current children cumulated CPU time: 2886.28 s
Current children cumulated vsize: 293336 KiB
Current children cumulated memory: 238112 KiB

[startup+2262.3 s]
/proc/loadavg: 5.87 5.41 5.41 7/267 42613
/proc/meminfo: memFree=127920912/131250000 swapFree=33010684/33010684
[pid=42364] ppid=42360 vsize=293336 memory=238112 CPUtime=2962.64 cores=0,2
/proc/42364/stat : 42364 (pb_competition_) R 42360 42364 41988 0 -1 4194304 534223 0 0 0 295990 274 0 0 20 0 2 0 45005953 300376064 59528 18446744073709551615 4198400 6788177 140732221786752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 23261184 140732221790554 140732221790680 140732221790680 140732221796282 0
/proc/42364/statm: 73334 59528 640 633 0 60557 0
[pid=42364/tid=42370] ppid=42360 vsize=293336 memory=238112 CPUtime=714.18 cores=0,2
/proc/42364/task/42370/stat : 42370 (pb_competition_) S 42360 42364 41988 0 -1 4194368 16941 0 0 0 71312 106 0 0 20 0 2 0 45005954 300376064 59528 18446744073709551615 4198400 6788177 140732221786752 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 23261184 140732221790554 140732221790680 140732221790680 140732221796282 0
Current children cumulated CPU time: 2962.64 s
Current children cumulated vsize: 293336 KiB
Current children cumulated memory: 238112 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=42364] ppid=42360 vsize=293336 memory=238112 CPUtime=3038.64 cores=0,2
/proc/42364/stat : 42364 (pb_competition_) R 42360 42364 41988 0 -1 4194304 535512 0 0 0 303587 277 0 0 20 0 2 0 45005953 300376064 59528 18446744073709551615 4198400 6788177 140732221786752 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 23261184 140732221790554 140732221790680 140732221790680 140732221796282 0
/proc/42364/statm: 73334 59528 640 633 0 60557 0
[pid=42364/tid=42370] ppid=42360 vsize=293336 memory=238112 CPUtime=730.5 cores=0,2
/proc/42364/task/42370/stat : 42370 (pb_competition_) R 42360 42364 41988 0 -1 4194368 16942 0 0 0 72941 109 0 0 20 0 2 0 45005954 300376064 59528 18446744073709551615 4198400 6788177 140732221786752 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 23261184 140732221790554 140732221790680 140732221790680 140732221796282 0
Current children cumulated CPU time: 3038.64 s
Current children cumulated vsize: 293336 KiB
Current children cumulated memory: 238112 KiB

[startup+2382.3 s]
/proc/loadavg: 6.83 5.86 5.58 7/267 42617
/proc/meminfo: memFree=127891640/131250000 swapFree=33010684/33010684
[pid=42364] ppid=42360 vsize=293336 memory=238112 CPUtime=3116.43 cores=0,2
/proc/42364/stat : 42364 (pb_competition_) R 42360 42364 41988 0 -1 4194304 536801 0 0 0 311360 283 0 0 20 0 2 0 45005953 300376064 59528 18446744073709551615 4198400 6788177 140732221786752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 23261184 140732221790554 140732221790680 140732221790680 140732221796282 0
/proc/42364/statm: 73334 59528 640 633 0 60557 0
[pid=42364/tid=42370] ppid=42360 vsize=293336 memory=238112 CPUtime=748.63 cores=0,2
/proc/42364/task/42370/stat : 42370 (pb_competition_) S 42360 42364 41988 0 -1 4194368 16945 0 0 0 74752 111 0 0 20 0 2 0 45005954 300376064 59528 18446744073709551615 4198400 6788177 140732221786752 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 23261184 140732221790554 140732221790680 140732221790680 140732221796282 0
Current children cumulated CPU time: 3116.43 s
Current children cumulated vsize: 293336 KiB
Current children cumulated memory: 238112 KiB

[startup+2442.3 s]
/proc/loadavg: 6.84 6.06 5.67 8/267 42630
/proc/meminfo: memFree=127886412/131250000 swapFree=33010684/33010684
[pid=42364] ppid=42360 vsize=293336 memory=238112 CPUtime=3193.78 cores=0,2
/proc/42364/stat : 42364 (pb_competition_) R 42360 42364 41988 0 -1 4194304 538089 0 0 0 319091 287 0 0 20 0 2 0 45005953 300376064 59528 18446744073709551615 4198400 6788177 140732221786752 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 23261184 140732221790554 140732221790680 140732221790680 140732221796282 0
/proc/42364/statm: 73334 59528 640 633 0 60557 0
[pid=42364/tid=42370] ppid=42360 vsize=293336 memory=238112 CPUtime=766.33 cores=0,2
/proc/42364/task/42370/stat : 42370 (pb_competition_) S 42360 42364 41988 0 -1 4194368 17179 0 0 0 76519 114 0 0 20 0 2 0 45005954 300376064 59528 18446744073709551615 4198400 6788177 140732221786752 0 0 0 0 0 8404994 1 0 0 -1 0 0 0 0 0 0 7336896 7391280 23261184 140732221790554 140732221790680 140732221790680 140732221796282 0
Current children cumulated CPU time: 3193.78 s
Current children cumulated vsize: 293336 KiB
Current children cumulated memory: 238112 KiB

[startup+2502.3 s]
/proc/loadavg: 6.56 6.11 5.71 7/267 42632
/proc/meminfo: memFree=127909184/131250000 swapFree=33010684/33010684
[pid=42364] ppid=42360 vsize=293336 memory=238112 CPUtime=3271.08 cores=0,2
/proc/42364/stat : 42364 (pb_competition_) R 42360 42364 41988 0 -1 4194304 539378 0 0 0 326816 292 0 0 20 0 2 0 45005953 300376064 59528 18446744073709551615 4198400 6788177 140732221786752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 23261184 140732221790554 140732221790680 140732221790680 140732221796282 0
/proc/42364/statm: 73334 59528 640 633 0 60557 0
[pid=42364/tid=42370] ppid=42360 vsize=293336 memory=238112 CPUtime=783.97 cores=0,2
/proc/42364/task/42370/stat : 42370 (pb_competition_) R 42360 42364 41988 0 -1 4194368 17180 0 0 0 78281 116 0 0 20 0 2 0 45005954 300376064 59528 18446744073709551615 4198400 6788177 140732221786752 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 23261184 140732221790554 140732221790680 140732221790680 140732221796282 0
Current children cumulated CPU time: 3271.08 s
Current children cumulated vsize: 293336 KiB
Current children cumulated memory: 238112 KiB

[startup+2562.3 s]
/proc/loadavg: 6.37 6.14 5.75 6/267 42634
/proc/meminfo: memFree=127914416/131250000 swapFree=33010684/33010684
[pid=42364] ppid=42360 vsize=293336 memory=238112 CPUtime=3349.11 cores=0,2
/proc/42364/stat : 42364 (pb_competition_) R 42360 42364 41988 0 -1 4194304 539378 0 0 0 334615 296 0 0 20 0 2 0 45005953 300376064 59528 18446744073709551615 4198400 6788177 140732221786752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 23261184 140732221790554 140732221790680 140732221790680 140732221796282 0
/proc/42364/statm: 73334 59528 640 633 0 60557 0
[pid=42364/tid=42370] ppid=42360 vsize=293336 memory=238112 CPUtime=802.33 cores=0,2
/proc/42364/task/42370/stat : 42370 (pb_competition_) S 42360 42364 41988 0 -1 4194368 17180 0 0 0 80114 119 0 0 20 0 2 0 45005954 300376064 59528 18446744073709551615 4198400 6788177 140732221786752 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 23261184 140732221790554 140732221790680 140732221790680 140732221796282 0
Current children cumulated CPU time: 3349.11 s
Current children cumulated vsize: 293336 KiB
Current children cumulated memory: 238112 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=42364] ppid=42360 vsize=293336 memory=238112 CPUtime=3429.13 cores=0,2
/proc/42364/stat : 42364 (pb_competition_) R 42360 42364 41988 0 -1 4194304 540668 0 0 0 342612 301 0 0 20 0 2 0 45005953 300376064 59528 18446744073709551615 4198400 6788177 140732221786752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 23261184 140732221790554 140732221790680 140732221790680 140732221796282 0
/proc/42364/statm: 73334 59528 640 633 0 60557 0
[pid=42364/tid=42370] ppid=42360 vsize=293336 memory=238112 CPUtime=822.67 cores=0,2
/proc/42364/task/42370/stat : 42370 (pb_competition_) S 42360 42364 41988 0 -1 4194368 17184 0 0 0 82145 122 0 0 20 0 2 0 45005954 300376064 59528 18446744073709551615 4198400 6788177 140732221786752 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 23261184 140732221790554 140732221790680 140732221790680 140732221796282 0
Current children cumulated CPU time: 3429.13 s
Current children cumulated vsize: 293336 KiB
Current children cumulated memory: 238112 KiB

[startup+2682.3 s]
/proc/loadavg: 6.47 6.27 5.85 6/266 42644
/proc/meminfo: memFree=127929152/131250000 swapFree=33010684/33010684
[pid=42364] ppid=42360 vsize=293336 memory=238112 CPUtime=3507.72 cores=0,2
/proc/42364/stat : 42364 (pb_competition_) R 42360 42364 41988 0 -1 4194304 540669 0 0 0 350467 305 0 0 20 0 2 0 45005953 300376064 59528 18446744073709551615 4198400 6788177 140732221786752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 23261184 140732221790554 140732221790680 140732221790680 140732221796282 0
/proc/42364/statm: 73334 59528 640 633 0 60557 0
[pid=42364/tid=42370] ppid=42360 vsize=293336 memory=238112 CPUtime=841.59 cores=0,2
/proc/42364/task/42370/stat : 42370 (pb_competition_) R 42360 42364 41988 0 -1 4194368 17184 0 0 0 84035 124 0 0 20 0 2 0 45005954 300376064 59528 18446744073709551615 4198400 6788177 140732221786752 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 23261184 140732221790554 140732221790680 140732221790680 140732221796282 0
Current children cumulated CPU time: 3507.72 s
Current children cumulated vsize: 293336 KiB
Current children cumulated memory: 238112 KiB

[startup+2742.3 s]
/proc/loadavg: 6.51 6.31 5.89 8/266 42646
/proc/meminfo: memFree=127929048/131250000 swapFree=33010684/33010684
[pid=42364] ppid=42360 vsize=293336 memory=238112 CPUtime=3586.16 cores=0,2
/proc/42364/stat : 42364 (pb_competition_) R 42360 42364 41988 0 -1 4194304 541958 0 0 0 358306 310 0 0 20 0 2 0 45005953 300376064 59528 18446744073709551615 4198400 6788177 140732221786752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 23261184 140732221790554 140732221790680 140732221790680 140732221796282 0
/proc/42364/statm: 73334 59528 640 633 0 60557 0
[pid=42364/tid=42370] ppid=42360 vsize=293336 memory=238112 CPUtime=860.37 cores=0,2
/proc/42364/task/42370/stat : 42370 (pb_competition_) R 42360 42364 41988 0 -1 4194368 17188 0 0 0 85909 128 0 0 20 0 2 0 45005954 300376064 59528 18446744073709551615 4198400 6788177 140732221786752 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 23261184 140732221790554 140732221790680 140732221790680 140732221796282 0
Current children cumulated CPU time: 3586.16 s
Current children cumulated vsize: 293336 KiB
Current children cumulated memory: 238112 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2753 s]*
/proc/loadavg: 6.59 6.34 5.91 5/266 42647
/proc/meminfo: memFree=127926140/131250000 swapFree=33010684/33010684
[pid=42364] ppid=42360 vsize=293336 memory=238112 CPUtime=3600.09 cores=0,2
/proc/42364/stat : 42364 (pb_competition_) R 42360 42364 41988 0 -1 4194304 541958 0 0 0 359698 311 0 0 20 0 2 0 45005953 300376064 59528 18446744073709551615 4198400 6788177 140732221786752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 23261184 140732221790554 140732221790680 140732221790680 140732221796282 0
/proc/42364/statm: 73334 59528 640 633 0 60557 0
[pid=42364/tid=42370] ppid=42360 vsize=293336 memory=7971512654472952432 CPUtime=863.65 cores=0,2
/proc/42364/task/42370/stat : 42370 (pb_competition_) S 42360 42364 41988 0 -1 4194368 17188 0 0 0 86237 128 0 0 20 0 2 0 45005954 300376064 59528 18446744073709551615 4198400 6788177 140732221786752 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 23261184 140732221790554 140732221790680 140732221790680 140732221796282 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 293336 KiB
Current children cumulated memory: 238112 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.09 s, system=3.12633 s

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

[startup+2753.11 s]
/proc/loadavg: 6.59 6.34 5.91 5/266 42647
/proc/meminfo: memFree=127926140/131250000 swapFree=33010684/33010684
[pid=42364] ppid=42360 vsize=250696 memory=195508 CPUtime=3600.19 cores=0,2
/proc/42364/stat : 42364 (pb_competition_) R 42360 42364 41988 0 -1 4194304 554078 0 0 0 359708 311 0 0 20 0 2 0 45005953 256712704 48877 18446744073709551615 4198400 6788177 140732221786752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 23261184 140732221790554 140732221790680 140732221790680 140732221796282 0
/proc/42364/statm: 62674 48877 640 633 0 49897 0
[pid=42364/tid=42370] ppid=42360 vsize=250696 memory=238112 CPUtime=863.65 cores=0,2
/proc/42364/task/42370/stat : 42370 (pb_competition_) S 42360 42364 41988 0 -1 4194368 17188 0 0 0 86237 128 0 0 20 0 2 0 45005954 256712704 48877 18446744073709551615 4198400 6788177 140732221786752 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 23261184 140732221790554 140732221790680 140732221790680 140732221796282 0
Current children cumulated CPU time: 3600.19 s
Current children cumulated vsize: 250696 KiB
Current children cumulated memory: 195508 KiB

Child status: 0

Real time (s): 2753.12
CPU time (s): 3600.21
CPU user time (s): 3597.09
CPU system time (s): 3.12633
CPU usage (%): 130.768
Max. virtual memory (cumulated for all children) (KiB): 293336
Max. memory (cumulated for all children) (KiB): 238112

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.09
system time used= 3.12633
maximum resident set size= 238112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 556558
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= 77488
involuntary context switches= 44123


# summary of solver processes directly reported to runsolver:
#   pid: 42364
#   total CPU time (s): 3600.21
#   total CPU user time (s): 3597.09
#   total CPU system time (s): 3.12633

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.43086 second user time and 13.2893 second system time

The end