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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (58856 MiB free)
  memory of node 1: 64507 MiB (47341 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4499578-1751404383/watcher-4499578-1751404383 -o /tmp/evaluation-result-4499578-1751404383/solver-4499578-1751404383 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751395822-56307 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 1117529031 HOME/instance-4499578-1751404383.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=57725, runsolver pid=57722

[startup+0.100062 s]*
/proc/loadavg: 4.81 4.79 4.87 6/268 57727
/proc/meminfo: memFree=108708328/131249988 swapFree=33010160/33010684
[pid=57725] ppid=57722 vsize=136356 memory=63560 CPUtime=0.15 cores=1,3
/proc/57725/stat : 57725 (pb_competition_) R 57722 57725 56290 0 -1 4194304 9737 0 0 0 13 2 0 0 20 0 2 0 56117145 139628544 15890 18446744073709551615 4198400 6788177 140733672442480 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 7336896 7391280 35921920 140733672446297 140733672446424 140733672446424 140733672452026 0
/proc/57725/statm: 34122 15890 608 633 0 19490 0
[pid=57725/tid=57727] ppid=57722 vsize=136488 memory=4026531960 CPUtime=0.05 cores=1,3
/proc/57725/task/57727/stat : 57727 (pb_competition_) S 57722 57725 56290 0 -1 4194368 2539 0 0 0 5 0 0 0 20 0 2 0 56117146 139763712 15890 18446744073709551615 4198400 6788177 140733672442480 0 0 0 0 0 0 1 0 0 -1 1 0 0 0 0 0 7336896 7391280 35921920 140733672446297 140733672446424 140733672446424 140733672452026 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 136356 KiB
Current children cumulated memory: 63560 KiB

[startup+0.205859 s]*
/proc/loadavg: 4.81 4.79 4.87 5/268 57727
/proc/meminfo: memFree=108664040/131249988 swapFree=33010160/33010684
[pid=57725] ppid=57722 vsize=153016 memory=96088 CPUtime=0.32 cores=1,3
/proc/57725/stat : 57725 (pb_competition_) R 57722 57725 56290 0 -1 4194304 15796 0 0 0 27 5 0 0 20 0 2 0 56117145 156688384 24022 18446744073709551615 4198400 6788177 140733672442480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 35921920 140733672446297 140733672446424 140733672446424 140733672452026 0
/proc/57725/statm: 38254 24022 640 633 0 25554 0
[pid=57725/tid=57727] ppid=57722 vsize=153016 memory=664958721904869660 CPUtime=0.11 cores=1,3
/proc/57725/task/57727/stat : 57727 (pb_competition_) S 57722 57725 56290 0 -1 4194368 4472 0 0 0 10 1 0 0 20 0 2 0 56117146 156688384 24022 18446744073709551615 4198400 6788177 140733672442480 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 35921920 140733672446297 140733672446424 140733672446424 140733672452026 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 153016 KiB
Current children cumulated memory: 96088 KiB

[startup+0.305836 s]*
/proc/loadavg: 4.81 4.79 4.87 5/268 57727
/proc/meminfo: memFree=108655724/131249988 swapFree=33010160/33010684
[pid=57725] ppid=57722 vsize=159580 memory=102744 CPUtime=0.42 cores=1,3
/proc/57725/stat : 57725 (pb_competition_) R 57722 57725 56290 0 -1 4194304 17464 0 0 0 37 5 0 0 20 0 2 0 56117145 163409920 25686 18446744073709551615 4198400 6788177 140733672442480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 35921920 140733672446297 140733672446424 140733672446424 140733672452026 0
/proc/57725/statm: 39895 25686 640 633 0 27195 0
[pid=57725/tid=57727] ppid=57722 vsize=159580 memory=7970107482991901553 CPUtime=0.11 cores=1,3
/proc/57725/task/57727/stat : 57727 (pb_competition_) S 57722 57725 56290 0 -1 4194368 4472 0 0 0 10 1 0 0 20 0 2 0 56117146 163409920 25686 18446744073709551615 4198400 6788177 140733672442480 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 35921920 140733672446297 140733672446424 140733672446424 140733672452026 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 159580 KiB
Current children cumulated memory: 102744 KiB

[startup+0.700213 s]
/proc/loadavg: 4.81 4.79 4.87 5/268 57727
/proc/meminfo: memFree=108623468/131249988 swapFree=33010160/33010684
[pid=57725] ppid=57722 vsize=262344 memory=205528 CPUtime=0.81 cores=1,3
/proc/57725/stat : 57725 (pb_competition_) R 57722 57725 56290 0 -1 4194304 43160 0 0 0 72 9 0 0 20 0 2 0 56117145 268640256 51382 18446744073709551615 4198400 6788177 140733672442480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 35921920 140733672446297 140733672446424 140733672446424 140733672452026 0
/proc/57725/statm: 65586 51382 640 633 0 52886 0
[pid=57725/tid=57727] ppid=57722 vsize=262344 memory=18432 CPUtime=0.12 cores=1,3
/proc/57725/task/57727/stat : 57727 (pb_competition_) S 57722 57725 56290 0 -1 4194368 4472 0 0 0 11 1 0 0 20 0 2 0 56117146 268640256 51382 18446744073709551615 4198400 6788177 140733672442480 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 35921920 140733672446297 140733672446424 140733672446424 140733672452026 0
Current children cumulated CPU time: 0.81 s
Current children cumulated vsize: 262344 KiB
Current children cumulated memory: 205528 KiB

[startup+1.50022 s]
/proc/loadavg: 4.75 4.77 4.87 5/268 57727
/proc/meminfo: memFree=108558956/131249988 swapFree=33010160/33010684
[pid=57725] ppid=57722 vsize=262344 memory=205528 CPUtime=1.72 cores=1,3
/proc/57725/stat : 57725 (pb_competition_) R 57722 57725 56290 0 -1 4194304 66435 0 0 0 161 11 0 0 20 0 2 0 56117145 268640256 51382 18446744073709551615 4198400 6788177 140733672442480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 35921920 140733672446297 140733672446424 140733672446424 140733672452026 0
/proc/57725/statm: 65586 51382 640 633 0 52886 0
[pid=57725/tid=57727] ppid=57722 vsize=262344 memory=18432 CPUtime=0.24 cores=1,3
/proc/57725/task/57727/stat : 57727 (pb_competition_) S 57722 57725 56290 0 -1 4194368 4788 0 0 0 22 2 0 0 20 0 2 0 56117146 268640256 51382 18446744073709551615 4198400 6788177 140733672442480 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 35921920 140733672446297 140733672446424 140733672446424 140733672452026 0
Current children cumulated CPU time: 1.72 s
Current children cumulated vsize: 262344 KiB
Current children cumulated memory: 205528 KiB

[startup+3.10582 s]
/proc/loadavg: 4.75 4.77 4.87 5/268 57727
/proc/meminfo: memFree=108559188/131249988 swapFree=33010160/33010684
[pid=57725] ppid=57722 vsize=262344 memory=205528 CPUtime=3.72 cores=1,3
/proc/57725/stat : 57725 (pb_competition_) R 57722 57725 56290 0 -1 4194304 68487 0 0 0 361 11 0 0 20 0 2 0 56117145 268640256 51382 18446744073709551615 4198400 6788177 140733672442480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 35921920 140733672446297 140733672446424 140733672446424 140733672452026 0
/proc/57725/statm: 65586 51382 640 633 0 52886 0
[pid=57725/tid=57727] ppid=57722 vsize=262344 memory=205528 CPUtime=0.65 cores=1,3
/proc/57725/task/57727/stat : 57727 (pb_competition_) S 57722 57725 56290 0 -1 4194368 4835 0 0 0 63 2 0 0 20 0 2 0 56117146 268640256 51382 18446744073709551615 4198400 6788177 140733672442480 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 35921920 140733672446297 140733672446424 140733672446424 140733672452026 0
Current children cumulated CPU time: 3.72 s
Current children cumulated vsize: 262344 KiB
Current children cumulated memory: 205528 KiB

[startup+6.30016 s]
/proc/loadavg: 4.85 4.79 4.87 7/268 57727
/proc/meminfo: memFree=108559188/131249988 swapFree=33010160/33010684
[pid=57725] ppid=57722 vsize=262476 memory=205528 CPUtime=7.34 cores=1,3
/proc/57725/stat : 57725 (pb_competition_) R 57722 57725 56290 0 -1 4194304 114599 0 0 0 719 15 0 0 20 0 2 0 56117145 268775424 51382 18446744073709551615 4198400 6788177 140733672442480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 35921920 140733672446297 140733672446424 140733672446424 140733672452026 0
/proc/57725/statm: 65619 51382 640 633 0 52919 0
[pid=57725/tid=57727] ppid=57722 vsize=262476 memory=18432 CPUtime=1.09 cores=1,3
/proc/57725/task/57727/stat : 57727 (pb_competition_) S 57722 57725 56290 0 -1 4194368 5061 0 0 0 107 2 0 0 20 0 2 0 56117146 268775424 51382 18446744073709551615 4198400 6788177 140733672442480 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 35921920 140733672446297 140733672446424 140733672446424 140733672452026 0
Current children cumulated CPU time: 7.34 s
Current children cumulated vsize: 262476 KiB
Current children cumulated memory: 205528 KiB

[startup+12.7002 s]
/proc/loadavg: 4.86 4.80 4.88 6/268 57727
/proc/meminfo: memFree=108559188/131249988 swapFree=33010160/33010684
[pid=57725] ppid=57722 vsize=262476 memory=205656 CPUtime=14.55 cores=1,3
/proc/57725/stat : 57725 (pb_competition_) R 57722 57725 56290 0 -1 4194304 157522 0 0 0 1435 20 0 0 20 0 2 0 56117145 268775424 51414 18446744073709551615 4198400 6788177 140733672442480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 35921920 140733672446297 140733672446424 140733672446424 140733672452026 0
/proc/57725/statm: 65619 51414 640 633 0 52919 0
[pid=57725/tid=57727] ppid=57722 vsize=262476 memory=205656 CPUtime=1.91 cores=1,3
/proc/57725/task/57727/stat : 57727 (pb_competition_) S 57722 57725 56290 0 -1 4194368 5759 0 0 0 189 2 0 0 20 0 2 0 56117146 268775424 51414 18446744073709551615 4198400 6788177 140733672442480 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 35921920 140733672446297 140733672446424 140733672446424 140733672452026 0
Current children cumulated CPU time: 14.55 s
Current children cumulated vsize: 262476 KiB
Current children cumulated memory: 205656 KiB

[startup+25.5002 s]
/proc/loadavg: 4.81 4.79 4.87 5/268 57727
/proc/meminfo: memFree=108558936/131249988 swapFree=33010160/33010684
[pid=57725] ppid=57722 vsize=262608 memory=205784 CPUtime=28.8 cores=1,3
/proc/57725/stat : 57725 (pb_competition_) R 57722 57725 56290 0 -1 4194304 210897 0 0 0 2855 25 0 0 20 0 2 0 56117145 268910592 51446 18446744073709551615 4198400 6788177 140733672442480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 35921920 140733672446297 140733672446424 140733672446424 140733672452026 0
/proc/57725/statm: 65652 51446 640 633 0 52952 0
[pid=57725/tid=57727] ppid=57722 vsize=262608 memory=205784 CPUtime=3.43 cores=1,3
/proc/57725/task/57727/stat : 57727 (pb_competition_) S 57722 57725 56290 0 -1 4194368 6444 0 0 0 340 3 0 0 20 0 2 0 56117146 268910592 51446 18446744073709551615 4198400 6788177 140733672442480 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 35921920 140733672446297 140733672446424 140733672446424 140733672452026 0
Current children cumulated CPU time: 28.8 s
Current children cumulated vsize: 262608 KiB
Current children cumulated memory: 205784 KiB

[startup+51.1057 s]
/proc/loadavg: 4.57 4.73 4.85 6/268 57728
/proc/meminfo: memFree=108559016/131249988 swapFree=33010160/33010684
[pid=57725] ppid=57722 vsize=262872 memory=206040 CPUtime=57.32 cores=1,3
/proc/57725/stat : 57725 (pb_competition_) R 57722 57725 56290 0 -1 4194304 268122 0 0 0 5702 30 0 0 20 0 2 0 56117145 269180928 51510 18446744073709551615 4198400 6788177 140733672442480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 35921920 140733672446297 140733672446424 140733672446424 140733672452026 0
/proc/57725/statm: 65718 51510 640 633 0 53018 0
[pid=57725/tid=57727] ppid=57722 vsize=262872 memory=18432 CPUtime=6.47 cores=1,3
/proc/57725/task/57727/stat : 57727 (pb_competition_) S 57722 57725 56290 0 -1 4194368 7295 0 0 0 644 3 0 0 20 0 2 0 56117146 269180928 51510 18446744073709551615 4198400 6788177 140733672442480 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 35921920 140733672446297 140733672446424 140733672446424 140733672452026 0
Current children cumulated CPU time: 57.32 s
Current children cumulated vsize: 262872 KiB
Current children cumulated memory: 206040 KiB

[startup+102.3 s]
/proc/loadavg: 4.67 4.74 4.85 6/267 57779
/proc/meminfo: memFree=108450580/131249988 swapFree=33010160/33010684
[pid=57725] ppid=57722 vsize=262872 memory=206040 CPUtime=116.06 cores=1,3
/proc/57725/stat : 57725 (pb_competition_) R 57722 57725 56290 0 -1 4194304 333421 0 0 0 11566 40 0 0 20 0 2 0 56117145 269180928 51510 18446744073709551615 4198400 6788177 140733672442480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 35921920 140733672446297 140733672446424 140733672446424 140733672452026 0
/proc/57725/statm: 65718 51510 640 633 0 53018 0
[pid=57725/tid=57727] ppid=57722 vsize=262872 memory=18432 CPUtime=14.28 cores=1,3
/proc/57725/task/57727/stat : 57727 (pb_competition_) S 57722 57725 56290 0 -1 4194368 8512 0 0 0 1423 5 0 0 20 0 2 0 56117146 269180928 51510 18446744073709551615 4198400 6788177 140733672442480 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 35921920 140733672446297 140733672446424 140733672446424 140733672452026 0
Current children cumulated CPU time: 116.06 s
Current children cumulated vsize: 262872 KiB
Current children cumulated memory: 206040 KiB

[startup+162.3 s]
/proc/loadavg: 4.44 4.66 4.81 7/267 57782
/proc/meminfo: memFree=108432852/131249988 swapFree=33010160/33010684
[pid=57725] ppid=57722 vsize=263004 memory=206168 CPUtime=183.18 cores=1,3
/proc/57725/stat : 57725 (pb_competition_) R 57722 57725 56290 0 -1 4194304 355563 0 0 0 18272 46 0 0 20 0 2 0 56117145 269316096 51542 18446744073709551615 4198400 6788177 140733672442480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 35921920 140733672446297 140733672446424 140733672446424 140733672452026 0
/proc/57725/statm: 65751 51542 640 633 0 53051 0
[pid=57725/tid=57727] ppid=57722 vsize=263004 memory=206168 CPUtime=21.7 cores=1,3
/proc/57725/task/57727/stat : 57727 (pb_competition_) S 57722 57725 56290 0 -1 4194368 8532 0 0 0 2163 7 0 0 20 0 2 0 56117146 269316096 51542 18446744073709551615 4198400 6788177 140733672442480 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 35921920 140733672446297 140733672446424 140733672446424 140733672452026 0
Current children cumulated CPU time: 183.18 s
Current children cumulated vsize: 263004 KiB
Current children cumulated memory: 206168 KiB

[startup+222.3 s]
/proc/loadavg: 4.53 4.66 4.80 7/268 57785
/proc/meminfo: memFree=108422700/131249988 swapFree=33010160/33010684
[pid=57725] ppid=57722 vsize=263004 memory=207320 CPUtime=249.8 cores=1,3
/proc/57725/stat : 57725 (pb_competition_) R 57722 57725 56290 0 -1 4194304 355574 0 0 0 24930 50 0 0 20 0 2 0 56117145 269316096 51830 18446744073709551615 4198400 6788177 140733672442480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 35921920 140733672446297 140733672446424 140733672446424 140733672452026 0
/proc/57725/statm: 65751 51830 640 633 0 53051 0
[pid=57725/tid=57727] ppid=57722 vsize=263004 memory=18432 CPUtime=28.64 cores=1,3
/proc/57725/task/57727/stat : 57727 (pb_competition_) S 57722 57725 56290 0 -1 4194368 8532 0 0 0 2854 10 0 0 20 0 2 0 56117146 269316096 51830 18446744073709551615 4198400 6788177 140733672442480 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 35921920 140733672446297 140733672446424 140733672446424 140733672452026 0
Current children cumulated CPU time: 249.8 s
Current children cumulated vsize: 263004 KiB
Current children cumulated memory: 207320 KiB

[startup+282.3 s]
/proc/loadavg: 4.50 4.63 4.79 6/268 57787
/proc/meminfo: memFree=108424268/131249988 swapFree=33010160/33010684
[pid=57725] ppid=57722 vsize=263004 memory=207320 CPUtime=314.92 cores=1,3
/proc/57725/stat : 57725 (pb_competition_) R 57722 57725 56290 0 -1 4194304 356838 0 0 0 31438 54 0 0 20 0 2 0 56117145 269316096 51830 18446744073709551615 4198400 6788177 140733672442480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 35921920 140733672446297 140733672446424 140733672446424 140733672452026 0
/proc/57725/statm: 65751 51830 640 633 0 53051 0
[pid=57725/tid=57727] ppid=57722 vsize=263004 memory=207320 CPUtime=34.05 cores=1,3
/proc/57725/task/57727/stat : 57727 (pb_competition_) S 57722 57725 56290 0 -1 4194368 8578 0 0 0 3393 12 0 0 20 0 2 0 56117146 269316096 51830 18446744073709551615 4198400 6788177 140733672442480 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 35921920 140733672446297 140733672446424 140733672446424 140733672452026 0
Current children cumulated CPU time: 314.92 s
Current children cumulated vsize: 263004 KiB
Current children cumulated memory: 207320 KiB

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

/proc/meminfo: memFree=108532960/131249988 swapFree=33010160/33010684
[pid=57725] ppid=57722 vsize=263136 memory=207448 CPUtime=2942.19 cores=1,3
/proc/57725/stat : 57725 (pb_competition_) R 57722 57725 56290 0 -1 4194304 403795 0 0 0 293992 227 0 0 20 0 2 0 56117145 269451264 51862 18446744073709551615 4198400 6788177 140733672442480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 35921920 140733672446297 140733672446424 140733672446424 140733672452026 0
/proc/57725/statm: 65784 51862 640 633 0 53084 0
[pid=57725/tid=57727] ppid=57722 vsize=263136 memory=207448 CPUtime=272.63 cores=1,3
/proc/57725/task/57727/stat : 57727 (pb_competition_) S 57722 57725 56290 0 -1 4194368 9391 0 0 0 27159 104 0 0 20 0 2 0 56117146 269451264 51862 18446744073709551615 4198400 6788177 140733672442480 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 35921920 140733672446297 140733672446424 140733672446424 140733672452026 0
Current children cumulated CPU time: 2942.19 s
Current children cumulated vsize: 263136 KiB
Current children cumulated memory: 207448 KiB

[startup+2742.3 s]
/proc/loadavg: 4.71 4.66 4.68 7/266 58008
/proc/meminfo: memFree=108533336/131249988 swapFree=33010160/33010684
[pid=57725] ppid=57722 vsize=263136 memory=207448 CPUtime=3007.42 cores=1,3
/proc/57725/stat : 57725 (pb_competition_) R 57722 57725 56290 0 -1 4194304 405057 0 0 0 300511 231 0 0 20 0 2 0 56117145 269451264 51862 18446744073709551615 4198400 6788177 140733672442480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 35921920 140733672446297 140733672446424 140733672446424 140733672452026 0
/proc/57725/statm: 65784 51862 640 633 0 53084 0
[pid=57725/tid=57727] ppid=57722 vsize=263136 memory=207448 CPUtime=278.16 cores=1,3
/proc/57725/task/57727/stat : 57727 (pb_competition_) S 57722 57725 56290 0 -1 4194368 9404 0 0 0 27710 106 0 0 20 0 2 0 56117146 269451264 51862 18446744073709551615 4198400 6788177 140733672442480 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 35921920 140733672446297 140733672446424 140733672446424 140733672452026 0
Current children cumulated CPU time: 3007.42 s
Current children cumulated vsize: 263136 KiB
Current children cumulated memory: 207448 KiB

[startup+2802.3 s]
/proc/loadavg: 4.55 4.63 4.67 6/266 58010
/proc/meminfo: memFree=108533252/131249988 swapFree=33010160/33010684
[pid=57725] ppid=57722 vsize=263136 memory=207448 CPUtime=3074.42 cores=1,3
/proc/57725/stat : 57725 (pb_competition_) R 57722 57725 56290 0 -1 4194304 406325 0 0 0 307206 236 0 0 20 0 2 0 56117145 269451264 51862 18446744073709551615 4198400 6788177 140733672442480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 35921920 140733672446297 140733672446424 140733672446424 140733672452026 0
/proc/57725/statm: 65784 51862 640 633 0 53084 0
[pid=57725/tid=57727] ppid=57722 vsize=263136 memory=207448 CPUtime=285.46 cores=1,3
/proc/57725/task/57727/stat : 57727 (pb_competition_) S 57722 57725 56290 0 -1 4194368 9405 0 0 0 28437 109 0 0 20 0 2 0 56117146 269451264 51862 18446744073709551615 4198400 6788177 140733672442480 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 35921920 140733672446297 140733672446424 140733672446424 140733672452026 0
Current children cumulated CPU time: 3074.42 s
Current children cumulated vsize: 263136 KiB
Current children cumulated memory: 207448 KiB

[startup+2862.3 s]
/proc/loadavg: 4.42 4.58 4.65 9/267 58015
/proc/meminfo: memFree=108533204/131249988 swapFree=33010160/33010684
[pid=57725] ppid=57722 vsize=263136 memory=207448 CPUtime=3141.09 cores=1,3
/proc/57725/stat : 57725 (pb_competition_) R 57722 57725 56290 0 -1 4194304 407592 0 0 0 313868 241 0 0 20 0 2 0 56117145 269451264 51862 18446744073709551615 4198400 6788177 140733672442480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 35921920 140733672446297 140733672446424 140733672446424 140733672452026 0
/proc/57725/statm: 65784 51862 640 633 0 53084 0
[pid=57725/tid=57727] ppid=57722 vsize=263136 memory=207448 CPUtime=292.41 cores=1,3
/proc/57725/task/57727/stat : 57727 (pb_competition_) S 57722 57725 56290 0 -1 4194368 9453 0 0 0 29130 111 0 0 20 0 2 0 56117146 269451264 51862 18446744073709551615 4198400 6788177 140733672442480 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 35921920 140733672446297 140733672446424 140733672446424 140733672452026 0
Current children cumulated CPU time: 3141.09 s
Current children cumulated vsize: 263136 KiB
Current children cumulated memory: 207448 KiB

[startup+2922.3 s]
/proc/loadavg: 4.47 4.56 4.63 6/270 58045
/proc/meminfo: memFree=108531168/131249988 swapFree=33010160/33010684
[pid=57725] ppid=57722 vsize=263136 memory=207448 CPUtime=3207.22 cores=1,3
/proc/57725/stat : 57725 (pb_competition_) R 57722 57725 56290 0 -1 4194304 408881 0 0 0 320477 245 0 0 20 0 2 0 56117145 269451264 51862 18446744073709551615 4198400 6788177 140733672442480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 35921920 140733672446297 140733672446424 140733672446424 140733672452026 0
/proc/57725/statm: 65784 51862 640 633 0 53084 0
[pid=57725/tid=57727] ppid=57722 vsize=263136 memory=14444 CPUtime=298.83 cores=1,3
/proc/57725/task/57727/stat : 57727 (pb_competition_) R 57722 57725 56290 0 -1 4194368 9510 0 0 0 29770 113 0 0 20 0 2 0 56117146 269451264 51862 18446744073709551615 4198400 6788177 140733672442480 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 35921920 140733672446297 140733672446424 140733672446424 140733672452026 0
Current children cumulated CPU time: 3207.22 s
Current children cumulated vsize: 263136 KiB
Current children cumulated memory: 207448 KiB

[startup+2982.3 s]
/proc/loadavg: 4.64 4.60 4.64 6/271 58048
/proc/meminfo: memFree=108529704/131249988 swapFree=33010160/33010684
[pid=57725] ppid=57722 vsize=263136 memory=207448 CPUtime=3273.55 cores=1,3
/proc/57725/stat : 57725 (pb_competition_) R 57722 57725 56290 0 -1 4194304 410153 0 0 0 327105 250 0 0 20 0 2 0 56117145 269451264 51862 18446744073709551615 4198400 6788177 140733672442480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 35921920 140733672446297 140733672446424 140733672446424 140733672452026 0
/proc/57725/statm: 65784 51862 640 633 0 53084 0
[pid=57725/tid=57727] ppid=57722 vsize=263136 memory=207448 CPUtime=305.45 cores=1,3
/proc/57725/task/57727/stat : 57727 (pb_competition_) S 57722 57725 56290 0 -1 4194368 9528 0 0 0 30429 116 0 0 20 0 2 0 56117146 269451264 51862 18446744073709551615 4198400 6788177 140733672442480 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 35921920 140733672446297 140733672446424 140733672446424 140733672452026 0
Current children cumulated CPU time: 3273.55 s
Current children cumulated vsize: 263136 KiB
Current children cumulated memory: 207448 KiB

[startup+3042.3 s]
/proc/loadavg: 4.58 4.58 4.63 6/271 58050
/proc/meminfo: memFree=108530648/131249988 swapFree=33010160/33010684
[pid=57725] ppid=57722 vsize=263136 memory=207448 CPUtime=3340.03 cores=1,3
/proc/57725/stat : 57725 (pb_competition_) R 57722 57725 56290 0 -1 4194304 411419 0 0 0 333749 254 0 0 20 0 2 0 56117145 269451264 51862 18446744073709551615 4198400 6788177 140733672442480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 35921920 140733672446297 140733672446424 140733672446424 140733672452026 0
/proc/57725/statm: 65784 51862 640 633 0 53084 0
[pid=57725/tid=57727] ppid=57722 vsize=263136 memory=207448 CPUtime=312.23 cores=1,3
/proc/57725/task/57727/stat : 57727 (pb_competition_) S 57722 57725 56290 0 -1 4194368 9538 0 0 0 31106 117 0 0 20 0 2 0 56117146 269451264 51862 18446744073709551615 4198400 6788177 140733672442480 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 35921920 140733672446297 140733672446424 140733672446424 140733672452026 0
Current children cumulated CPU time: 3340.03 s
Current children cumulated vsize: 263136 KiB
Current children cumulated memory: 207448 KiB

[startup+3102.3 s]
/proc/loadavg: 4.65 4.61 4.64 6/271 58052
/proc/meminfo: memFree=108535160/131249988 swapFree=33010160/33010684
[pid=57725] ppid=57722 vsize=263136 memory=207448 CPUtime=3406.17 cores=1,3
/proc/57725/stat : 57725 (pb_competition_) R 57722 57725 56290 0 -1 4194304 412691 0 0 0 340359 258 0 0 20 0 2 0 56117145 269451264 51862 18446744073709551615 4198400 6788177 140733672442480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 35921920 140733672446297 140733672446424 140733672446424 140733672452026 0
/proc/57725/statm: 65784 51862 640 633 0 53084 0
[pid=57725/tid=57727] ppid=57722 vsize=263136 memory=207448 CPUtime=318.65 cores=1,3
/proc/57725/task/57727/stat : 57727 (pb_competition_) S 57722 57725 56290 0 -1 4194368 9587 0 0 0 31745 120 0 0 20 0 2 0 56117146 269451264 51862 18446744073709551615 4198400 6788177 140733672442480 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 35921920 140733672446297 140733672446424 140733672446424 140733672452026 0
Current children cumulated CPU time: 3406.17 s
Current children cumulated vsize: 263136 KiB
Current children cumulated memory: 207448 KiB

[startup+3162.3 s]
/proc/loadavg: 4.71 4.65 4.65 6/271 58058
/proc/meminfo: memFree=108535428/131249988 swapFree=33010160/33010684
[pid=57725] ppid=57722 vsize=263136 memory=207448 CPUtime=3471.65 cores=1,3
/proc/57725/stat : 57725 (pb_competition_) R 57722 57725 56290 0 -1 4194304 413963 0 0 0 346903 262 0 0 20 0 2 0 56117145 269451264 51862 18446744073709551615 4198400 6788177 140733672442480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 35921920 140733672446297 140733672446424 140733672446424 140733672452026 0
/proc/57725/statm: 65784 51862 640 633 0 53084 0
[pid=57725/tid=57727] ppid=57722 vsize=263136 memory=14444 CPUtime=324.42 cores=1,3
/proc/57725/task/57727/stat : 57727 (pb_competition_) S 57722 57725 56290 0 -1 4194368 9622 0 0 0 32319 123 0 0 20 0 2 0 56117146 269451264 51862 18446744073709551615 4198400 6788177 140733672442480 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 35921920 140733672446297 140733672446424 140733672446424 140733672452026 0
Current children cumulated CPU time: 3471.65 s
Current children cumulated vsize: 263136 KiB
Current children cumulated memory: 207448 KiB

[startup+3222.3 s]
/proc/loadavg: 4.50 4.59 4.63 7/269 58061
/proc/meminfo: memFree=108534556/131249988 swapFree=33010160/33010684
[pid=57725] ppid=57722 vsize=263136 memory=207448 CPUtime=3537.92 cores=1,3
/proc/57725/stat : 57725 (pb_competition_) R 57722 57725 56290 0 -1 4194304 415232 0 0 0 353525 267 0 0 20 0 2 0 56117145 269451264 51862 18446744073709551615 4198400 6788177 140733672442480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 35921920 140733672446297 140733672446424 140733672446424 140733672452026 0
/proc/57725/statm: 65784 51862 640 633 0 53084 0
[pid=57725/tid=57727] ppid=57722 vsize=263136 memory=14444 CPUtime=330.97 cores=1,3
/proc/57725/task/57727/stat : 57727 (pb_competition_) R 57722 57725 56290 0 -1 4194368 9662 0 0 0 32972 125 0 0 20 0 2 0 56117146 269451264 51862 18446744073709551615 4198400 6788177 140733672442480 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 35921920 140733672446297 140733672446424 140733672446424 140733672452026 0
Current children cumulated CPU time: 3537.92 s
Current children cumulated vsize: 263136 KiB
Current children cumulated memory: 207448 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3278.5 s]
/proc/loadavg: 4.76 4.66 4.65 6/268 58063
/proc/meminfo: memFree=108533892/131249988 swapFree=33010160/33010684
[pid=57725] ppid=57722 vsize=263136 memory=207448 CPUtime=3600.08 cores=1,3
/proc/57725/stat : 57725 (pb_competition_) R 57722 57725 56290 0 -1 4194304 416505 0 0 0 359737 271 0 0 20 0 2 0 56117145 269451264 51862 18446744073709551615 4198400 6788177 140733672442480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 35921920 140733672446297 140733672446424 140733672446424 140733672452026 0
/proc/57725/statm: 65784 51862 640 633 0 53084 0
[pid=57725/tid=57727] ppid=57722 vsize=263136 memory=207448 CPUtime=337.21 cores=1,3
/proc/57725/task/57727/stat : 57727 (pb_competition_) S 57722 57725 56290 0 -1 4194368 9685 0 0 0 33594 127 0 0 20 0 2 0 56117146 269451264 51862 18446744073709551615 4198400 6788177 140733672442480 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 35921920 140733672446297 140733672446424 140733672446424 140733672452026 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 263136 KiB
Current children cumulated memory: 207448 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.48 s, system=2.73079 s

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

[startup+3278.6 s]
/proc/loadavg: 4.76 4.66 4.65 6/268 58063
/proc/meminfo: memFree=108533892/131249988 swapFree=33010160/33010684
[pid=57725] ppid=57722 vsize=230292 memory=174652 CPUtime=3600.19 cores=1,3
/proc/57725/stat : 57725 (pb_competition_) R 57722 57725 56290 0 -1 4194304 423899 0 0 0 359747 272 0 0 20 0 2 0 56117145 235819008 43663 18446744073709551615 4198400 6788177 140733672442480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 35921920 140733672446297 140733672446424 140733672446424 140733672452026 0
/proc/57725/statm: 57573 43663 640 633 0 44873 0
[pid=57725/tid=57727] ppid=57722 vsize=230292 memory=18432 CPUtime=337.21 cores=1,3
/proc/57725/task/57727/stat : 57727 (pb_competition_) S 57722 57725 56290 0 -1 4194368 9685 0 0 0 33594 127 0 0 20 0 2 0 56117146 235819008 43663 18446744073709551615 4198400 6788177 140733672442480 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 35921920 140733672446297 140733672446424 140733672446424 140733672452026 0
Current children cumulated CPU time: 3600.19 s
Current children cumulated vsize: 230292 KiB
Current children cumulated memory: 174652 KiB

Child status: 0

Real time (s): 3278.62
CPU time (s): 3600.21
CPU user time (s): 3597.48
CPU system time (s): 2.73079
CPU usage (%): 109.809
Max. virtual memory (cumulated for all children) (KiB): 263136
Max. memory (cumulated for all children) (KiB): 207448

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.48
system time used= 2.73079
maximum resident set size= 207448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 428348
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= 146508
involuntary context switches= 7953


# summary of solver processes directly reported to runsolver:
#   pid: 57725
#   total CPU time (s): 3600.21
#   total CPU user time (s): 3597.48
#   total CPU system time (s): 2.73079

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.01346 second user time and 15.6956 second system time

The end