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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525486-1751625612/watcher-4525486-1751625612 -o /tmp/evaluation-result-4525486-1751625612/solver-4525486-1751625612 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751623775-88095 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 2015939469 HOME/instance-4525486-1751625612.wbo 

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
solver pid=88325, runsolver pid=88322
Current StackSize limit: 8192 KiB


[startup+0.100072 s]*
/proc/loadavg: 7.79 7.86 7.05 6/249 88328
/proc/meminfo: memFree=129724892/131382120 swapFree=33010160/33010684
[pid=88325] ppid=88322 vsize=91724 memory=19516 CPUtime=0.16 cores=0,2
/proc/88325/stat : 88325 (pb_competition_) R 88322 88325 88085 0 -1 4194304 4001 0 0 0 15 1 0 0 20 0 2 0 78240360 93925376 4879 18446744073709551615 4198400 6788177 140732089719744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 25800704 140732089723223 140732089723350 140732089723350 140732089728954 0
/proc/88325/statm: 22931 4879 672 633 0 6357 0
[pid=88325/tid=88327] ppid=88322 vsize=91724 memory=4026531959 CPUtime=0.05 cores=0,2
/proc/88325/task/88327/stat : 88327 (pb_competition_) S 88322 88325 88085 0 -1 4194368 599 0 0 0 5 0 0 0 20 0 2 0 78240361 93925376 4879 18446744073709551615 4198400 6788177 140732089719744 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 25800704 140732089723223 140732089723350 140732089723350 140732089728954 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 91724 KiB
Current children cumulated memory: 19516 KiB

[startup+0.213333 s]*
/proc/loadavg: 7.79 7.86 7.05 7/254 88337
/proc/meminfo: memFree=129708328/131382120 swapFree=33010160/33010684
[pid=88325] ppid=88322 vsize=105992 memory=33724 CPUtime=0.28 cores=0,2
/proc/88325/stat : 88325 (pb_competition_) R 88322 88325 88085 0 -1 4194304 7557 0 0 0 26 2 0 0 20 0 2 0 78240360 108535808 8431 18446744073709551615 4198400 6788177 140732089719744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 25800704 140732089723223 140732089723350 140732089723350 140732089728954 0
/proc/88325/statm: 26498 8431 672 633 0 9924 0
[pid=88325/tid=88327] ppid=88322 vsize=105992 memory=664958721904869660 CPUtime=0.06 cores=0,2
/proc/88325/task/88327/stat : 88327 (pb_competition_) S 88322 88325 88085 0 -1 4194368 599 0 0 0 6 0 0 0 20 0 2 0 78240361 108535808 8463 18446744073709551615 4198400 6788177 140732089719744 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 25800704 140732089723223 140732089723350 140732089723350 140732089728954 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 105992 KiB
Current children cumulated memory: 33724 KiB

[startup+0.31355 s]*
/proc/loadavg: 7.79 7.86 7.05 8/255 88338
/proc/meminfo: memFree=129684556/131382120 swapFree=33010160/33010684
[pid=88325] ppid=88322 vsize=108128 memory=35900 CPUtime=0.41 cores=0,2
/proc/88325/stat : 88325 (pb_competition_) R 88322 88325 88085 0 -1 4194304 8105 0 0 0 39 2 0 0 20 0 2 0 78240360 110723072 8975 18446744073709551615 4198400 6788177 140732089719744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 25800704 140732089723223 140732089723350 140732089723350 140732089728954 0
/proc/88325/statm: 27032 8975 672 633 0 10458 0
[pid=88325/tid=88327] ppid=88322 vsize=108128 memory=-7168741860503163492 CPUtime=0.08 cores=0,2
/proc/88325/task/88327/stat : 88327 (pb_competition_) S 88322 88325 88085 0 -1 4194368 599 0 0 0 8 0 0 0 20 0 2 0 78240361 110723072 8975 18446744073709551615 4198400 6788177 140732089719744 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 25800704 140732089723223 140732089723350 140732089723350 140732089728954 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 108128 KiB
Current children cumulated memory: 35900 KiB

[startup+0.700354 s]
/proc/loadavg: 7.79 7.86 7.05 6/250 88346
/proc/meminfo: memFree=129664460/131382120 swapFree=33010160/33010684
[pid=88325] ppid=88322 vsize=108392 memory=36156 CPUtime=0.86 cores=0,2
/proc/88325/stat : 88325 (pb_competition_) R 88322 88325 88085 0 -1 4194304 8170 0 0 0 84 2 0 0 20 0 2 0 78240360 110993408 9039 18446744073709551615 4198400 6788177 140732089719744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 25800704 140732089723223 140732089723350 140732089723350 140732089728954 0
/proc/88325/statm: 27098 9039 672 633 0 10524 0
[pid=88325/tid=88327] ppid=88322 vsize=108392 memory=18432 CPUtime=0.17 cores=0,2
/proc/88325/task/88327/stat : 88327 (pb_competition_) S 88322 88325 88085 0 -1 4194368 599 0 0 0 17 0 0 0 20 0 2 0 78240361 110993408 9039 18446744073709551615 4198400 6788177 140732089719744 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 25800704 140732089723223 140732089723350 140732089723350 140732089728954 0
Current children cumulated CPU time: 0.86 s
Current children cumulated vsize: 108392 KiB
Current children cumulated memory: 36156 KiB

[startup+1.50033 s]
/proc/loadavg: 7.79 7.86 7.05 5/250 88346
/proc/meminfo: memFree=129606956/131382120 swapFree=33010160/33010684
[pid=88325] ppid=88322 vsize=109400 memory=37280 CPUtime=1.92 cores=0,2
/proc/88325/stat : 88325 (pb_competition_) R 88322 88325 88085 0 -1 4194304 19588 0 0 0 188 4 0 0 20 0 2 0 78240360 112025600 9320 18446744073709551615 4198400 6788177 140732089719744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 25800704 140732089723223 140732089723350 140732089723350 140732089728954 0
/proc/88325/statm: 27350 9320 672 633 0 10776 0
[pid=88325/tid=88327] ppid=88322 vsize=109400 memory=18432 CPUtime=0.43 cores=0,2
/proc/88325/task/88327/stat : 88327 (pb_competition_) S 88322 88325 88085 0 -1 4194368 1029 0 0 0 43 0 0 0 20 0 2 0 78240361 112025600 9320 18446744073709551615 4198400 6788177 140732089719744 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 25800704 140732089723223 140732089723350 140732089723350 140732089728954 0
Current children cumulated CPU time: 1.92 s
Current children cumulated vsize: 109400 KiB
Current children cumulated memory: 37280 KiB

[startup+3.11309 s]
/proc/loadavg: 7.48 7.80 7.03 6/255 88384
/proc/meminfo: memFree=129157284/131382120 swapFree=33010160/33010684
[pid=88325] ppid=88322 vsize=109532 memory=37408 CPUtime=3.68 cores=0,2
/proc/88325/stat : 88325 (pb_competition_) R 88322 88325 88085 0 -1 4194304 19949 0 0 0 363 5 0 0 20 0 2 0 78240360 112160768 9352 18446744073709551615 4198400 6788177 140732089719744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 25800704 140732089723223 140732089723350 140732089723350 140732089728954 0
/proc/88325/statm: 27383 9352 672 633 0 10809 0
[pid=88325/tid=88327] ppid=88322 vsize=109532 memory=36284 CPUtime=0.57 cores=0,2
/proc/88325/task/88327/stat : 88327 (pb_competition_) S 88322 88325 88085 0 -1 4194368 1031 0 0 0 57 0 0 0 20 0 2 0 78240361 112160768 9352 18446744073709551615 4198400 6788177 140732089719744 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 25800704 140732089723223 140732089723350 140732089723350 140732089728954 0
Current children cumulated CPU time: 3.68 s
Current children cumulated vsize: 109532 KiB
Current children cumulated memory: 37408 KiB

[startup+6.30038 s]
/proc/loadavg: 7.48 7.80 7.03 6/255 88384
/proc/meminfo: memFree=128896376/131382120 swapFree=33010160/33010684
[pid=88325] ppid=88322 vsize=109532 memory=37408 CPUtime=6.84 cores=0,2
/proc/88325/stat : 88325 (pb_competition_) R 88322 88325 88085 0 -1 4194304 25544 0 0 0 677 7 0 0 20 0 2 0 78240360 112160768 9352 18446744073709551615 4198400 6788177 140732089719744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 25800704 140732089723223 140732089723350 140732089723350 140732089728954 0
/proc/88325/statm: 27383 9352 672 633 0 10809 0
[pid=88325/tid=88327] ppid=88322 vsize=109532 memory=36284 CPUtime=0.57 cores=0,2
/proc/88325/task/88327/stat : 88327 (pb_competition_) S 88322 88325 88085 0 -1 4194368 1031 0 0 0 57 0 0 0 20 0 2 0 78240361 112160768 9352 18446744073709551615 4198400 6788177 140732089719744 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 25800704 140732089723223 140732089723350 140732089723350 140732089728954 0
Current children cumulated CPU time: 6.84 s
Current children cumulated vsize: 109532 KiB
Current children cumulated memory: 37408 KiB

[startup+12.7004 s]
/proc/loadavg: 7.37 7.77 7.02 5/255 88384
/proc/meminfo: memFree=128896416/131382120 swapFree=33010160/33010684
[pid=88325] ppid=88322 vsize=109532 memory=37408 CPUtime=13.21 cores=0,2
/proc/88325/stat : 88325 (pb_competition_) R 88322 88325 88085 0 -1 4194304 31468 0 0 0 1310 11 0 0 20 0 2 0 78240360 112160768 9352 18446744073709551615 4198400 6788177 140732089719744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 25800704 140732089723223 140732089723350 140732089723350 140732089728954 0
/proc/88325/statm: 27383 9352 672 633 0 10809 0
[pid=88325/tid=88327] ppid=88322 vsize=109532 memory=36284 CPUtime=0.57 cores=0,2
/proc/88325/task/88327/stat : 88327 (pb_competition_) S 88322 88325 88085 0 -1 4194368 1031 0 0 0 57 0 0 0 20 0 2 0 78240361 112160768 9352 18446744073709551615 4198400 6788177 140732089719744 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 25800704 140732089723223 140732089723350 140732089723350 140732089728954 0
Current children cumulated CPU time: 13.21 s
Current children cumulated vsize: 109532 KiB
Current children cumulated memory: 37408 KiB

[startup+25.5004 s]
/proc/loadavg: 6.84 7.63 6.99 6/255 88384
/proc/meminfo: memFree=128872272/131382120 swapFree=33010160/33010684
[pid=88325] ppid=88322 vsize=109532 memory=37408 CPUtime=25.94 cores=0,2
/proc/88325/stat : 88325 (pb_competition_) R 88322 88325 88085 0 -1 4194304 42929 0 0 0 2574 20 0 0 20 0 2 0 78240360 112160768 9352 18446744073709551615 4198400 6788177 140732089719744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 25800704 140732089723223 140732089723350 140732089723350 140732089728954 0
/proc/88325/statm: 27383 9352 672 633 0 10809 0
[pid=88325/tid=88327] ppid=88322 vsize=109532 memory=36284 CPUtime=0.57 cores=0,2
/proc/88325/task/88327/stat : 88327 (pb_competition_) S 88322 88325 88085 0 -1 4194368 1031 0 0 0 57 0 0 0 20 0 2 0 78240361 112160768 9352 18446744073709551615 4198400 6788177 140732089719744 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 25800704 140732089723223 140732089723350 140732089723350 140732089728954 0
Current children cumulated CPU time: 25.94 s
Current children cumulated vsize: 109532 KiB
Current children cumulated memory: 37408 KiB

[startup+51.1137 s]
/proc/loadavg: 6.19 7.42 6.94 6/255 88384
/proc/meminfo: memFree=128868256/131382120 swapFree=33010160/33010684
[pid=88325] ppid=88322 vsize=109532 memory=37408 CPUtime=51.42 cores=0,2
/proc/88325/stat : 88325 (pb_competition_) R 88322 88325 88085 0 -1 4194304 53440 0 0 0 5109 33 0 0 20 0 2 0 78240360 112160768 9352 18446744073709551615 4198400 6788177 140732089719744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 25800704 140732089723223 140732089723350 140732089723350 140732089728954 0
/proc/88325/statm: 27383 9352 672 633 0 10809 0
[pid=88325/tid=88327] ppid=88322 vsize=109532 memory=37408 CPUtime=0.57 cores=0,2
/proc/88325/task/88327/stat : 88327 (pb_competition_) S 88322 88325 88085 0 -1 4194368 1031 0 0 0 57 0 0 0 20 0 2 0 78240361 112160768 9352 18446744073709551615 4198400 6788177 140732089719744 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 25800704 140732089723223 140732089723350 140732089723350 140732089728954 0
Current children cumulated CPU time: 51.42 s
Current children cumulated vsize: 109532 KiB
Current children cumulated memory: 37408 KiB

[startup+102.3 s]
/proc/loadavg: 5.57 7.06 6.84 6/254 88386
/proc/meminfo: memFree=128844568/131382120 swapFree=33010160/33010684
[pid=88325] ppid=88322 vsize=109532 memory=37408 CPUtime=102.41 cores=0,2
/proc/88325/stat : 88325 (pb_competition_) R 88322 88325 88085 0 -1 4194304 54844 0 0 0 10181 60 0 0 20 0 2 0 78240360 112160768 9352 18446744073709551615 4198400 6788177 140732089719744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 25800704 140732089723223 140732089723350 140732089723350 140732089728954 0
/proc/88325/statm: 27383 9352 672 633 0 10809 0
[pid=88325/tid=88327] ppid=88322 vsize=109532 memory=37408 CPUtime=0.57 cores=0,2
/proc/88325/task/88327/stat : 88327 (pb_competition_) S 88322 88325 88085 0 -1 4194368 1031 0 0 0 57 0 0 0 20 0 2 0 78240361 112160768 9352 18446744073709551615 4198400 6788177 140732089719744 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 25800704 140732089723223 140732089723350 140732089723350 140732089728954 0
Current children cumulated CPU time: 102.41 s
Current children cumulated vsize: 109532 KiB
Current children cumulated memory: 37408 KiB

[startup+162.3 s]
/proc/loadavg: 4.81 6.57 6.68 5/254 88433
/proc/meminfo: memFree=128686868/131382120 swapFree=33010160/33010684
[pid=88325] ppid=88322 vsize=109532 memory=37408 CPUtime=162.19 cores=0,2
/proc/88325/stat : 88325 (pb_competition_) R 88322 88325 88085 0 -1 4194304 57201 0 0 0 16131 88 0 0 20 0 2 0 78240360 112160768 9352 18446744073709551615 4198400 6788177 140732089719744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 25800704 140732089723223 140732089723350 140732089723350 140732089728954 0
/proc/88325/statm: 27383 9352 672 633 0 10809 0
[pid=88325/tid=88327] ppid=88322 vsize=109532 memory=37408 CPUtime=0.57 cores=0,2
/proc/88325/task/88327/stat : 88327 (pb_competition_) S 88322 88325 88085 0 -1 4194368 1031 0 0 0 57 0 0 0 20 0 2 0 78240361 112160768 9352 18446744073709551615 4198400 6788177 140732089719744 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 25800704 140732089723223 140732089723350 140732089723350 140732089728954 0
Current children cumulated CPU time: 162.19 s
Current children cumulated vsize: 109532 KiB
Current children cumulated memory: 37408 KiB

[startup+222.3 s]
/proc/loadavg: 4.50 6.16 6.53 5/254 88435
/proc/meminfo: memFree=128696024/131382120 swapFree=33010160/33010684
[pid=88325] ppid=88322 vsize=109532 memory=37408 CPUtime=221.94 cores=0,2
/proc/88325/stat : 88325 (pb_competition_) R 88322 88325 88085 0 -1 4194304 58394 0 0 0 22078 116 0 0 20 0 2 0 78240360 112160768 9352 18446744073709551615 4198400 6788177 140732089719744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 25800704 140732089723223 140732089723350 140732089723350 140732089728954 0
/proc/88325/statm: 27383 9352 672 633 0 10809 0
[pid=88325/tid=88327] ppid=88322 vsize=109532 memory=16248 CPUtime=0.57 cores=0,2
/proc/88325/task/88327/stat : 88327 (pb_competition_) S 88322 88325 88085 0 -1 4194368 1031 0 0 0 57 0 0 0 20 0 2 0 78240361 112160768 9352 18446744073709551615 4198400 6788177 140732089719744 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 25800704 140732089723223 140732089723350 140732089723350 140732089728954 0
Current children cumulated CPU time: 221.94 s
Current children cumulated vsize: 109532 KiB
Current children cumulated memory: 37408 KiB

[startup+282.3 s]
/proc/loadavg: 4.62 5.88 6.41 6/255 88440
/proc/meminfo: memFree=128693480/131382120 swapFree=33010160/33010684
[pid=88325] ppid=88322 vsize=109532 memory=37408 CPUtime=281.69 cores=0,2
/proc/88325/stat : 88325 (pb_competition_) R 88322 88325 88085 0 -1 4194304 59569 0 0 0 28027 142 0 0 20 0 2 0 78240360 112160768 9352 18446744073709551615 4198400 6788177 140732089719744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 25800704 140732089723223 140732089723350 140732089723350 140732089728954 0
/proc/88325/statm: 27383 9352 672 633 0 10809 0
[pid=88325/tid=88327] ppid=88322 vsize=109532 memory=37408 CPUtime=0.57 cores=0,2
/proc/88325/task/88327/stat : 88327 (pb_competition_) S 88322 88325 88085 0 -1 4194368 1031 0 0 0 57 0 0 0 20 0 2 0 78240361 112160768 9352 18446744073709551615 4198400 6788177 140732089719744 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 25800704 140732089723223 140732089723350 140732089723350 140732089728954 0
Current children cumulated CPU time: 281.69 s
Current children cumulated vsize: 109532 KiB
Current children cumulated memory: 37408 KiB

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

/proc/meminfo: memFree=128643860/131382120 swapFree=33010160/33010684
[pid=88325] ppid=88322 vsize=109532 memory=37408 CPUtime=3054.18 cores=0,2
/proc/88325/stat : 88325 (pb_competition_) R 88322 88325 88085 0 -1 4194304 78526 0 0 0 303926 1492 0 0 20 0 2 0 78240360 112160768 9352 18446744073709551615 4198400 6788177 140732089719744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 25800704 140732089723223 140732089723350 140732089723350 140732089728954 0
/proc/88325/statm: 27383 9352 672 633 0 10809 0
[pid=88325/tid=88327] ppid=88322 vsize=109532 memory=37408 CPUtime=143.87 cores=0,2
/proc/88325/task/88327/stat : 88327 (pb_competition_) S 88322 88325 88085 0 -1 4194368 1054 0 0 0 14316 71 0 0 20 0 2 0 78240361 112160768 9352 18446744073709551615 4198400 6788177 140732089719744 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 25800704 140732089723223 140732089723350 140732089723350 140732089728954 0
Current children cumulated CPU time: 3054.18 s
Current children cumulated vsize: 109532 KiB
Current children cumulated memory: 37408 KiB

[startup+2982.3 s]
/proc/loadavg: 4.10 4.15 4.38 5/254 88578
/proc/meminfo: memFree=128643848/131382120 swapFree=33010160/33010684
[pid=88325] ppid=88322 vsize=109532 memory=37408 CPUtime=3113.98 cores=0,2
/proc/88325/stat : 88325 (pb_competition_) R 88322 88325 88085 0 -1 4194304 78537 0 0 0 309880 1518 0 0 20 0 2 0 78240360 112160768 9352 18446744073709551615 4198400 6788177 140732089719744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 25800704 140732089723223 140732089723350 140732089723350 140732089728954 0
/proc/88325/statm: 27383 9352 672 633 0 10809 0
[pid=88325/tid=88327] ppid=88322 vsize=109532 memory=16248 CPUtime=143.87 cores=0,2
/proc/88325/task/88327/stat : 88327 (pb_competition_) S 88322 88325 88085 0 -1 4194368 1054 0 0 0 14316 71 0 0 20 0 2 0 78240361 112160768 9352 18446744073709551615 4198400 6788177 140732089719744 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 25800704 140732089723223 140732089723350 140732089723350 140732089728954 0
Current children cumulated CPU time: 3113.98 s
Current children cumulated vsize: 109532 KiB
Current children cumulated memory: 37408 KiB

[startup+3042.3 s]
/proc/loadavg: 4.15 4.15 4.36 5/254 88580
/proc/meminfo: memFree=128643632/131382120 swapFree=33010160/33010684
[pid=88325] ppid=88322 vsize=109532 memory=37408 CPUtime=3173.78 cores=0,2
/proc/88325/stat : 88325 (pb_competition_) R 88322 88325 88085 0 -1 4194304 78537 0 0 0 315832 1546 0 0 20 0 2 0 78240360 112160768 9352 18446744073709551615 4198400 6788177 140732089719744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 25800704 140732089723223 140732089723350 140732089723350 140732089728954 0
/proc/88325/statm: 27383 9352 672 633 0 10809 0
[pid=88325/tid=88327] ppid=88322 vsize=109532 memory=10496 CPUtime=143.87 cores=0,2
/proc/88325/task/88327/stat : 88327 (pb_competition_) S 88322 88325 88085 0 -1 4194368 1054 0 0 0 14316 71 0 0 20 0 2 0 78240361 112160768 9352 18446744073709551615 4198400 6788177 140732089719744 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 25800704 140732089723223 140732089723350 140732089723350 140732089728954 0
Current children cumulated CPU time: 3173.78 s
Current children cumulated vsize: 109532 KiB
Current children cumulated memory: 37408 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.14 4.35 5/254 88582
/proc/meminfo: memFree=128642908/131382120 swapFree=33010160/33010684
[pid=88325] ppid=88322 vsize=109532 memory=37408 CPUtime=3233.57 cores=0,2
/proc/88325/stat : 88325 (pb_competition_) R 88322 88325 88085 0 -1 4194304 79721 0 0 0 321780 1577 0 0 20 0 2 0 78240360 112160768 9352 18446744073709551615 4198400 6788177 140732089719744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 25800704 140732089723223 140732089723350 140732089723350 140732089728954 0
/proc/88325/statm: 27383 9352 672 633 0 10809 0
[pid=88325/tid=88327] ppid=88322 vsize=109532 memory=16248 CPUtime=143.87 cores=0,2
/proc/88325/task/88327/stat : 88327 (pb_competition_) S 88322 88325 88085 0 -1 4194368 1054 0 0 0 14316 71 0 0 20 0 2 0 78240361 112160768 9352 18446744073709551615 4198400 6788177 140732089719744 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 25800704 140732089723223 140732089723350 140732089723350 140732089728954 0
Current children cumulated CPU time: 3233.57 s
Current children cumulated vsize: 109532 KiB
Current children cumulated memory: 37408 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.13 4.33 5/254 88584
/proc/meminfo: memFree=128641452/131382120 swapFree=33010160/33010684
[pid=88325] ppid=88322 vsize=109532 memory=37408 CPUtime=3293.37 cores=0,2
/proc/88325/stat : 88325 (pb_competition_) R 88322 88325 88085 0 -1 4194304 79721 0 0 0 327733 1604 0 0 20 0 2 0 78240360 112160768 9352 18446744073709551615 4198400 6788177 140732089719744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 25800704 140732089723223 140732089723350 140732089723350 140732089728954 0
/proc/88325/statm: 27383 9352 672 633 0 10809 0
[pid=88325/tid=88327] ppid=88322 vsize=109532 memory=37408 CPUtime=143.87 cores=0,2
/proc/88325/task/88327/stat : 88327 (pb_competition_) S 88322 88325 88085 0 -1 4194368 1054 0 0 0 14316 71 0 0 20 0 2 0 78240361 112160768 9352 18446744073709551615 4198400 6788177 140732089719744 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 25800704 140732089723223 140732089723350 140732089723350 140732089728954 0
Current children cumulated CPU time: 3293.37 s
Current children cumulated vsize: 109532 KiB
Current children cumulated memory: 37408 KiB

[startup+3222.3 s]
/proc/loadavg: 4.21 4.16 4.33 5/254 88586
/proc/meminfo: memFree=128639056/131382120 swapFree=33010160/33010684
[pid=88325] ppid=88322 vsize=109532 memory=37408 CPUtime=3353.17 cores=0,2
/proc/88325/stat : 88325 (pb_competition_) R 88322 88325 88085 0 -1 4194304 80897 0 0 0 333683 1634 0 0 20 0 2 0 78240360 112160768 9352 18446744073709551615 4198400 6788177 140732089719744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 25800704 140732089723223 140732089723350 140732089723350 140732089728954 0
/proc/88325/statm: 27383 9352 672 633 0 10809 0
[pid=88325/tid=88327] ppid=88322 vsize=109532 memory=37408 CPUtime=143.87 cores=0,2
/proc/88325/task/88327/stat : 88327 (pb_competition_) S 88322 88325 88085 0 -1 4194368 1054 0 0 0 14316 71 0 0 20 0 2 0 78240361 112160768 9352 18446744073709551615 4198400 6788177 140732089719744 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 25800704 140732089723223 140732089723350 140732089723350 140732089728954 0
Current children cumulated CPU time: 3353.17 s
Current children cumulated vsize: 109532 KiB
Current children cumulated memory: 37408 KiB

[startup+3282.3 s]
/proc/loadavg: 4.38 4.22 4.34 5/253 88590
/proc/meminfo: memFree=128645580/131382120 swapFree=33010160/33010684
[pid=88325] ppid=88322 vsize=109532 memory=37408 CPUtime=3412.93 cores=0,2
/proc/88325/stat : 88325 (pb_competition_) R 88322 88325 88085 0 -1 4194304 80899 0 0 0 339630 1663 0 0 20 0 2 0 78240360 112160768 9352 18446744073709551615 4198400 6788177 140732089719744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 25800704 140732089723223 140732089723350 140732089723350 140732089728954 0
/proc/88325/statm: 27383 9352 672 633 0 10809 0
[pid=88325/tid=88327] ppid=88322 vsize=109532 memory=37408 CPUtime=143.87 cores=0,2
/proc/88325/task/88327/stat : 88327 (pb_competition_) S 88322 88325 88085 0 -1 4194368 1054 0 0 0 14316 71 0 0 20 0 2 0 78240361 112160768 9352 18446744073709551615 4198400 6788177 140732089719744 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 25800704 140732089723223 140732089723350 140732089723350 140732089728954 0
Current children cumulated CPU time: 3412.93 s
Current children cumulated vsize: 109532 KiB
Current children cumulated memory: 37408 KiB

[startup+3342.3 s]
/proc/loadavg: 4.28 4.23 4.33 5/254 88593
/proc/meminfo: memFree=128643096/131382120 swapFree=33010160/33010684
[pid=88325] ppid=88322 vsize=109532 memory=37408 CPUtime=3472.69 cores=0,2
/proc/88325/stat : 88325 (pb_competition_) R 88322 88325 88085 0 -1 4194304 80909 0 0 0 345580 1689 0 0 20 0 2 0 78240360 112160768 9352 18446744073709551615 4198400 6788177 140732089719744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 25800704 140732089723223 140732089723350 140732089723350 140732089728954 0
/proc/88325/statm: 27383 9352 672 633 0 10809 0
[pid=88325/tid=88327] ppid=88322 vsize=109532 memory=37408 CPUtime=143.87 cores=0,2
/proc/88325/task/88327/stat : 88327 (pb_competition_) S 88322 88325 88085 0 -1 4194368 1054 0 0 0 14316 71 0 0 20 0 2 0 78240361 112160768 9352 18446744073709551615 4198400 6788177 140732089719744 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 25800704 140732089723223 140732089723350 140732089723350 140732089728954 0
Current children cumulated CPU time: 3472.69 s
Current children cumulated vsize: 109532 KiB
Current children cumulated memory: 37408 KiB

[startup+3402.3 s]
/proc/loadavg: 4.29 4.24 4.33 5/254 88595
/proc/meminfo: memFree=128643112/131382120 swapFree=33010160/33010684
[pid=88325] ppid=88322 vsize=109532 memory=37408 CPUtime=3532.45 cores=0,2
/proc/88325/stat : 88325 (pb_competition_) R 88322 88325 88085 0 -1 4194304 80909 0 0 0 351528 1717 0 0 20 0 2 0 78240360 112160768 9352 18446744073709551615 4198400 6788177 140732089719744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 25800704 140732089723223 140732089723350 140732089723350 140732089728954 0
/proc/88325/statm: 27383 9352 672 633 0 10809 0
[pid=88325/tid=88327] ppid=88322 vsize=109532 memory=37408 CPUtime=143.87 cores=0,2
/proc/88325/task/88327/stat : 88327 (pb_competition_) S 88322 88325 88085 0 -1 4194368 1054 0 0 0 14316 71 0 0 20 0 2 0 78240361 112160768 9352 18446744073709551615 4198400 6788177 140732089719744 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 25800704 140732089723223 140732089723350 140732089723350 140732089728954 0
Current children cumulated CPU time: 3532.45 s
Current children cumulated vsize: 109532 KiB
Current children cumulated memory: 37408 KiB

[startup+3462.3 s]
/proc/loadavg: 4.18 4.23 4.32 5/255 88739
/proc/meminfo: memFree=129520340/131382120 swapFree=33010160/33010684
[pid=88325] ppid=88322 vsize=109532 memory=37408 CPUtime=3592.24 cores=0,2
/proc/88325/stat : 88325 (pb_competition_) R 88322 88325 88085 0 -1 4194304 82093 0 0 0 357475 1749 0 0 20 0 2 0 78240360 112160768 9352 18446744073709551615 4198400 6788177 140732089719744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 25800704 140732089723223 140732089723350 140732089723350 140732089728954 0
/proc/88325/statm: 27383 9352 672 633 0 10809 0
[pid=88325/tid=88327] ppid=88322 vsize=109532 memory=37408 CPUtime=143.87 cores=0,2
/proc/88325/task/88327/stat : 88327 (pb_competition_) S 88322 88325 88085 0 -1 4194368 1054 0 0 0 14316 71 0 0 20 0 2 0 78240361 112160768 9352 18446744073709551615 4198400 6788177 140732089719744 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 25800704 140732089723223 140732089723350 140732089723350 140732089728954 0
Current children cumulated CPU time: 3592.24 s
Current children cumulated vsize: 109532 KiB
Current children cumulated memory: 37408 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3470.11 s]
/proc/loadavg: 4.23 4.24 4.32 5/255 88739
/proc/meminfo: memFree=129520340/131382120 swapFree=33010160/33010684
[pid=88325] ppid=88322 vsize=109532 memory=37408 CPUtime=3600.04 cores=0,2
/proc/88325/stat : 88325 (pb_competition_) R 88322 88325 88085 0 -1 4194304 82093 0 0 0 358251 1753 0 0 20 0 2 0 78240360 112160768 9352 18446744073709551615 4198400 6788177 140732089719744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 25800704 140732089723223 140732089723350 140732089723350 140732089728954 0
/proc/88325/statm: 27383 9352 672 633 0 10809 0
[pid=88325/tid=88327] ppid=88322 vsize=109532 memory=37408 CPUtime=143.87 cores=0,2
/proc/88325/task/88327/stat : 88327 (pb_competition_) S 88322 88325 88085 0 -1 4194368 1054 0 0 0 14316 71 0 0 20 0 2 0 78240361 112160768 9352 18446744073709551615 4198400 6788177 140732089719744 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 25800704 140732089723223 140732089723350 140732089723350 140732089728954 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 109532 KiB
Current children cumulated memory: 37408 KiB

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

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

# cumulated CPU time of all completed processes:  user=3582.53 s, system=17.532 s

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

[startup+3470.11 s]
/proc/loadavg: 4.23 4.24 4.32 5/255 88739
/proc/meminfo: memFree=129520340/131382120 swapFree=33010160/33010684
[pid=88325] ppid=88322 vsize=109532 memory=37408 CPUtime=3600.04 cores=0,2
/proc/88325/stat : 88325 (pb_competition_) R 88322 88325 88085 0 -1 4194304 82093 0 0 0 358251 1753 0 0 20 0 2 0 78240360 112160768 9352 18446744073709551615 4198400 6788177 140732089719744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 25800704 140732089723223 140732089723350 140732089723350 140732089728954 0
/proc/88325/statm: 27383 9352 672 633 0 10809 0
[pid=88325/tid=88327] ppid=88322 vsize=109532 memory=37408 CPUtime=143.87 cores=0,2
/proc/88325/task/88327/stat : 88327 (pb_competition_) S 88322 88325 88085 0 -1 4194368 1054 0 0 0 14316 71 0 0 20 0 2 0 78240361 112160768 9352 18446744073709551615 4198400 6788177 140732089719744 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 25800704 140732089723223 140732089723350 140732089723350 140732089728954 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 109532 KiB
Current children cumulated memory: 37408 KiB

Child status: 0

Real time (s): 3470.13
CPU time (s): 3600.06
CPU user time (s): 3582.53
CPU system time (s): 17.532
CPU usage (%): 103.744
Max. virtual memory (cumulated for all children) (KiB): 109532
Max. memory (cumulated for all children) (KiB): 37408

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.53
system time used= 17.532
maximum resident set size= 37408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82455
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= 50523
involuntary context switches= 9796


# summary of solver processes directly reported to runsolver:
#   pid: 88325
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3582.53
#   total CPU system time (s): 17.532

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.9264 second user time and 34.2032 second system time

The end