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 (59202 MiB free)
  memory of node 1: 64507 MiB (47389 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4499394-1751401309/watcher-4499394-1751401309 -o /tmp/evaluation-result-4499394-1751401309/solver-4499394-1751401309 -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 758774973 HOME/instance-4499394-1751401309.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=57378, runsolver pid=57375

[startup+0.100071 s]*
/proc/loadavg: 6.20 6.38 6.36 8/267 57380
/proc/meminfo: memFree=109134716/131249988 swapFree=33010160/33010684
[pid=57378] ppid=57375 vsize=114232 memory=48096 CPUtime=0.16 cores=1,3
/proc/57378/stat : 57378 (pb_competition_) R 57375 57378 56290 0 -1 4194304 8407 0 0 0 14 2 0 0 20 0 2 0 55809797 116973568 12024 18446744073709551615 4198400 6788177 140734969454576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 19931136 140734969461082 140734969461208 140734969461208 140734969466810 0
/proc/57378/statm: 28558 12024 640 633 0 13588 0
[pid=57378/tid=57380] ppid=57375 vsize=114232 memory=4026531960 CPUtime=0.06 cores=1,3
/proc/57378/task/57380/stat : 57380 (pb_competition_) S 57375 57378 56290 0 -1 4194368 2202 0 0 0 6 0 0 0 20 0 2 0 55809797 116973568 12056 18446744073709551615 4198400 6788177 140734969454576 0 0 0 0 0 8404994 1 0 0 -1 1 0 0 0 0 0 7336896 7391280 19931136 140734969461082 140734969461208 140734969461208 140734969466810 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 114232 KiB
Current children cumulated memory: 48096 KiB

[startup+0.206006 s]*
/proc/loadavg: 6.20 6.38 6.36 7/267 57380
/proc/meminfo: memFree=109107248/131249988 swapFree=33010160/33010684
[pid=57378] ppid=57375 vsize=134772 memory=68832 CPUtime=0.25 cores=1,3
/proc/57378/stat : 57378 (pb_competition_) R 57375 57378 56290 0 -1 4194304 13581 0 0 0 23 2 0 0 20 0 2 0 55809797 138006528 17208 18446744073709551615 4198400 6788177 140734969454576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 19931136 140734969461082 140734969461208 140734969461208 140734969466810 0
/proc/57378/statm: 33693 17208 640 633 0 18723 0
[pid=57378/tid=57380] ppid=57375 vsize=134772 memory=664958721904869660 CPUtime=0.06 cores=1,3
/proc/57378/task/57380/stat : 57380 (pb_competition_) S 57375 57378 56290 0 -1 4194368 2202 0 0 0 6 0 0 0 20 0 2 0 55809797 138006528 17208 18446744073709551615 4198400 6788177 140734969454576 0 0 0 0 0 8404994 1 0 0 -1 1 0 0 0 0 0 7336896 7391280 19931136 140734969461082 140734969461208 140734969461208 140734969466810 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 134772 KiB
Current children cumulated memory: 68832 KiB

[startup+0.305629 s]*
/proc/loadavg: 6.20 6.38 6.36 8/267 57380
/proc/meminfo: memFree=109091120/131249988 swapFree=33010160/33010684
[pid=57378] ppid=57375 vsize=154260 memory=87520 CPUtime=0.36 cores=1,3
/proc/57378/stat : 57378 (pb_competition_) R 57375 57378 56290 0 -1 4194304 18259 0 0 0 33 3 0 0 20 0 2 0 55809797 157962240 21880 18446744073709551615 4198400 6788177 140734969454576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 19931136 140734969461082 140734969461208 140734969461208 140734969466810 0
/proc/57378/statm: 38565 21880 640 633 0 23595 0
[pid=57378/tid=57380] ppid=57375 vsize=154260 memory=7970957388300501101 CPUtime=0.06 cores=1,3
/proc/57378/task/57380/stat : 57380 (pb_competition_) S 57375 57378 56290 0 -1 4194368 2202 0 0 0 6 0 0 0 20 0 2 0 55809797 157962240 21912 18446744073709551615 4198400 6788177 140734969454576 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 19931136 140734969461082 140734969461208 140734969461208 140734969466810 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 154260 KiB
Current children cumulated memory: 87520 KiB

[startup+0.700243 s]
/proc/loadavg: 6.20 6.38 6.36 7/267 57380
/proc/meminfo: memFree=109074992/131249988 swapFree=33010160/33010684
[pid=57378] ppid=57375 vsize=169236 memory=103392 CPUtime=0.83 cores=1,3
/proc/57378/stat : 57378 (pb_competition_) R 57375 57378 56290 0 -1 4194304 22217 0 0 0 79 4 0 0 20 0 2 0 55809797 173297664 25848 18446744073709551615 4198400 6788177 140734969454576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 19931136 140734969461082 140734969461208 140734969461208 140734969466810 0
/proc/57378/statm: 42309 25848 640 633 0 27339 0
[pid=57378/tid=57380] ppid=57375 vsize=169236 memory=18432 CPUtime=0.14 cores=1,3
/proc/57378/task/57380/stat : 57380 (pb_competition_) S 57375 57378 56290 0 -1 4194368 2202 0 0 0 14 0 0 0 20 0 2 0 55809797 173297664 25848 18446744073709551615 4198400 6788177 140734969454576 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 19931136 140734969461082 140734969461208 140734969461208 140734969466810 0
Current children cumulated CPU time: 0.83 s
Current children cumulated vsize: 169236 KiB
Current children cumulated memory: 103392 KiB

[startup+1.50023 s]
/proc/loadavg: 6.20 6.38 6.36 6/267 57380
/proc/meminfo: memFree=109075576/131249988 swapFree=33010160/33010684
[pid=57378] ppid=57375 vsize=169236 memory=103392 CPUtime=1.94 cores=1,3
/proc/57378/stat : 57378 (pb_competition_) R 57375 57378 56290 0 -1 4194304 32980 0 0 0 189 5 0 0 20 0 2 0 55809797 173297664 25848 18446744073709551615 4198400 6788177 140734969454576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 19931136 140734969461082 140734969461208 140734969461208 140734969466810 0
/proc/57378/statm: 42309 25848 640 633 0 27339 0
[pid=57378/tid=57380] ppid=57375 vsize=169236 memory=18432 CPUtime=0.47 cores=1,3
/proc/57378/task/57380/stat : 57380 (pb_competition_) R 57375 57378 56290 0 -1 4194368 2455 0 0 0 46 1 0 0 20 0 2 0 55809797 173297664 25848 18446744073709551615 4198400 6788177 140734969454576 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 19931136 140734969461082 140734969461208 140734969461208 140734969466810 0
Current children cumulated CPU time: 1.94 s
Current children cumulated vsize: 169236 KiB
Current children cumulated memory: 103392 KiB

[startup+3.10572 s]
/proc/loadavg: 6.20 6.38 6.36 8/267 57380
/proc/meminfo: memFree=109075576/131249988 swapFree=33010160/33010684
[pid=57378] ppid=57375 vsize=169236 memory=103392 CPUtime=4 cores=1,3
/proc/57378/stat : 57378 (pb_competition_) R 57375 57378 56290 0 -1 4194304 41496 0 0 0 394 6 0 0 20 0 2 0 55809797 173297664 25848 18446744073709551615 4198400 6788177 140734969454576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 19931136 140734969461082 140734969461208 140734969461208 140734969466810 0
/proc/57378/statm: 42309 25848 640 633 0 27339 0
[pid=57378/tid=57380] ppid=57375 vsize=169236 memory=103392 CPUtime=0.93 cores=1,3
/proc/57378/task/57380/stat : 57380 (pb_competition_) S 57375 57378 56290 0 -1 4194368 2489 0 0 0 92 1 0 0 20 0 2 0 55809797 173297664 25848 18446744073709551615 4198400 6788177 140734969454576 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 19931136 140734969461082 140734969461208 140734969461208 140734969466810 0
Current children cumulated CPU time: 4 s
Current children cumulated vsize: 169236 KiB
Current children cumulated memory: 103392 KiB

[startup+6.30022 s]
/proc/loadavg: 6.03 6.34 6.35 8/267 57380
/proc/meminfo: memFree=109076036/131249988 swapFree=33010160/33010684
[pid=57378] ppid=57375 vsize=169368 memory=103520 CPUtime=7.61 cores=1,3
/proc/57378/stat : 57378 (pb_competition_) R 57375 57378 56290 0 -1 4194304 60984 0 0 0 753 8 0 0 20 0 2 0 55809797 173432832 25880 18446744073709551615 4198400 6788177 140734969454576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 19931136 140734969461082 140734969461208 140734969461208 140734969466810 0
/proc/57378/statm: 42342 25880 640 633 0 27372 0
[pid=57378/tid=57380] ppid=57375 vsize=169368 memory=18432 CPUtime=1.36 cores=1,3
/proc/57378/task/57380/stat : 57380 (pb_competition_) S 57375 57378 56290 0 -1 4194368 2739 0 0 0 135 1 0 0 20 0 2 0 55809797 173432832 25880 18446744073709551615 4198400 6788177 140734969454576 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 19931136 140734969461082 140734969461208 140734969461208 140734969466810 0
Current children cumulated CPU time: 7.61 s
Current children cumulated vsize: 169368 KiB
Current children cumulated memory: 103520 KiB

[startup+12.7002 s]
/proc/loadavg: 6.03 6.33 6.35 9/267 57380
/proc/meminfo: memFree=109076652/131249988 swapFree=33010160/33010684
[pid=57378] ppid=57375 vsize=169500 memory=103648 CPUtime=15.12 cores=1,3
/proc/57378/stat : 57378 (pb_competition_) R 57375 57378 56290 0 -1 4194304 86335 0 0 0 1501 11 0 0 20 0 2 0 55809797 173568000 25912 18446744073709551615 4198400 6788177 140734969454576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 19931136 140734969461082 140734969461208 140734969461208 140734969466810 0
/proc/57378/statm: 42375 25912 640 633 0 27405 0
[pid=57378/tid=57380] ppid=57375 vsize=169500 memory=103648 CPUtime=2.53 cores=1,3
/proc/57378/task/57380/stat : 57380 (pb_competition_) S 57375 57378 56290 0 -1 4194368 3117 0 0 0 251 2 0 0 20 0 2 0 55809797 173568000 25912 18446744073709551615 4198400 6788177 140734969454576 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 19931136 140734969461082 140734969461208 140734969461208 140734969466810 0
Current children cumulated CPU time: 15.12 s
Current children cumulated vsize: 169500 KiB
Current children cumulated memory: 103648 KiB

[startup+25.5002 s]
/proc/loadavg: 6.01 6.32 6.34 8/267 57380
/proc/meminfo: memFree=109076664/131249988 swapFree=33010160/33010684
[pid=57378] ppid=57375 vsize=169500 memory=103648 CPUtime=30.51 cores=1,3
/proc/57378/stat : 57378 (pb_competition_) R 57375 57378 56290 0 -1 4194304 110018 0 0 0 3035 16 0 0 20 0 2 0 55809797 173568000 25912 18446744073709551615 4198400 6788177 140734969454576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 19931136 140734969461082 140734969461208 140734969461208 140734969466810 0
/proc/57378/statm: 42375 25912 640 633 0 27405 0
[pid=57378/tid=57380] ppid=57375 vsize=169500 memory=103648 CPUtime=5.2 cores=1,3
/proc/57378/task/57380/stat : 57380 (pb_competition_) S 57375 57378 56290 0 -1 4194368 3610 0 0 0 517 3 0 0 20 0 2 0 55809797 173568000 25912 18446744073709551615 4198400 6788177 140734969454576 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 19931136 140734969461082 140734969461208 140734969461208 140734969466810 0
Current children cumulated CPU time: 30.51 s
Current children cumulated vsize: 169500 KiB
Current children cumulated memory: 103648 KiB

[startup+51.1057 s]
/proc/loadavg: 6.48 6.40 6.37 8/267 57382
/proc/meminfo: memFree=109077680/131249988 swapFree=33010160/33010684
[pid=57378] ppid=57375 vsize=169632 memory=103776 CPUtime=60.4 cores=1,3
/proc/57378/stat : 57378 (pb_competition_) R 57375 57378 56290 0 -1 4194304 138220 0 0 0 6017 23 0 0 20 0 2 0 55809797 173703168 25944 18446744073709551615 4198400 6788177 140734969454576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 19931136 140734969461082 140734969461208 140734969461208 140734969466810 0
/proc/57378/statm: 42408 25944 640 633 0 27438 0
[pid=57378/tid=57380] ppid=57375 vsize=169632 memory=18432 CPUtime=9.67 cores=1,3
/proc/57378/task/57380/stat : 57380 (pb_competition_) S 57375 57378 56290 0 -1 4194368 4153 0 0 0 962 5 0 0 20 0 2 0 55809797 173703168 25944 18446744073709551615 4198400 6788177 140734969454576 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 19931136 140734969461082 140734969461208 140734969461208 140734969466810 0
Current children cumulated CPU time: 60.4 s
Current children cumulated vsize: 169632 KiB
Current children cumulated memory: 103776 KiB

[startup+102.3 s]
/proc/loadavg: 6.73 6.47 6.39 6/268 57388
/proc/meminfo: memFree=109078084/131249988 swapFree=33010160/33010684
[pid=57378] ppid=57375 vsize=169632 memory=103776 CPUtime=120.62 cores=1,3
/proc/57378/stat : 57378 (pb_competition_) R 57375 57378 56290 0 -1 4194304 173922 0 0 0 12029 33 0 0 20 0 2 0 55809797 173703168 25944 18446744073709551615 4198400 6788177 140734969454576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 19931136 140734969461082 140734969461208 140734969461208 140734969466810 0
/proc/57378/statm: 42408 25944 640 633 0 27438 0
[pid=57378/tid=57380] ppid=57375 vsize=169632 memory=18432 CPUtime=19.04 cores=1,3
/proc/57378/task/57380/stat : 57380 (pb_competition_) S 57375 57378 56290 0 -1 4194368 5000 0 0 0 1896 8 0 0 20 0 2 0 55809797 173703168 25944 18446744073709551615 4198400 6788177 140734969454576 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 19931136 140734969461082 140734969461208 140734969461208 140734969466810 0
Current children cumulated CPU time: 120.62 s
Current children cumulated vsize: 169632 KiB
Current children cumulated memory: 103776 KiB

[startup+162.3 s]
/proc/loadavg: 6.47 6.44 6.39 7/268 57436
/proc/meminfo: memFree=109034888/131249988 swapFree=33010160/33010684
[pid=57378] ppid=57375 vsize=169632 memory=103776 CPUtime=191.51 cores=1,3
/proc/57378/stat : 57378 (pb_competition_) R 57375 57378 56290 0 -1 4194304 191945 0 0 0 19107 44 0 0 20 0 2 0 55809797 173703168 25944 18446744073709551615 4198400 6788177 140734969454576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 19931136 140734969461082 140734969461208 140734969461208 140734969466810 0
/proc/57378/statm: 42408 25944 640 633 0 27438 0
[pid=57378/tid=57380] ppid=57375 vsize=169632 memory=103776 CPUtime=30.3 cores=1,3
/proc/57378/task/57380/stat : 57380 (pb_competition_) S 57375 57378 56290 0 -1 4194368 5349 0 0 0 3018 12 0 0 20 0 2 0 55809797 173703168 25944 18446744073709551615 4198400 6788177 140734969454576 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 19931136 140734969461082 140734969461208 140734969461208 140734969466810 0
Current children cumulated CPU time: 191.51 s
Current children cumulated vsize: 169632 KiB
Current children cumulated memory: 103776 KiB

[startup+222.3 s]
/proc/loadavg: 6.38 6.42 6.38 6/268 57438
/proc/meminfo: memFree=109031260/131249988 swapFree=33010160/33010684
[pid=57378] ppid=57375 vsize=169632 memory=104672 CPUtime=256.76 cores=1,3
/proc/57378/stat : 57378 (pb_competition_) R 57375 57378 56290 0 -1 4194304 193212 0 0 0 25625 51 0 0 20 0 2 0 55809797 173703168 26168 18446744073709551615 4198400 6788177 140734969454576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 19931136 140734969461082 140734969461208 140734969461208 140734969466810 0
/proc/57378/statm: 42408 26168 640 633 0 27438 0
[pid=57378/tid=57380] ppid=57375 vsize=169632 memory=104672 CPUtime=35.83 cores=1,3
/proc/57378/task/57380/stat : 57380 (pb_competition_) S 57375 57378 56290 0 -1 4194368 5349 0 0 0 3568 15 0 0 20 0 2 0 55809797 173703168 26168 18446744073709551615 4198400 6788177 140734969454576 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 19931136 140734969461082 140734969461208 140734969461208 140734969466810 0
Current children cumulated CPU time: 256.76 s
Current children cumulated vsize: 169632 KiB
Current children cumulated memory: 104672 KiB

[startup+282.3 s]
/proc/loadavg: 5.78 6.24 6.32 6/268 57440
/proc/meminfo: memFree=109034316/131249988 swapFree=33010160/33010684
[pid=57378] ppid=57375 vsize=169632 memory=104672 CPUtime=320.57 cores=1,3
/proc/57378/stat : 57378 (pb_competition_) R 57375 57378 56290 0 -1 4194304 194471 0 0 0 32000 57 0 0 20 0 2 0 55809797 173703168 26168 18446744073709551615 4198400 6788177 140734969454576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 19931136 140734969461082 140734969461208 140734969461208 140734969466810 0
/proc/57378/statm: 42408 26168 640 633 0 27438 0
[pid=57378/tid=57380] ppid=57375 vsize=169632 memory=14444 CPUtime=39.92 cores=1,3
/proc/57378/task/57380/stat : 57380 (pb_competition_) S 57375 57378 56290 0 -1 4194368 5439 0 0 0 3975 17 0 0 20 0 2 0 55809797 173703168 26168 18446744073709551615 4198400 6788177 140734969454576 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 19931136 140734969461082 140734969461208 140734969461208 140734969466810 0
Current children cumulated CPU time: 320.57 s
Current children cumulated vsize: 169632 KiB

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

/proc/meminfo: memFree=108653008/131249988 swapFree=33010160/33010684
[pid=57378] ppid=57375 vsize=169764 memory=104800 CPUtime=2858.68 cores=1,3
/proc/57378/stat : 57378 (pb_competition_) R 57375 57378 56290 0 -1 4194304 235142 0 0 0 285496 372 0 0 20 0 2 0 55809797 173838336 26200 18446744073709551615 4198400 6788177 140734969454576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 19931136 140734969461082 140734969461208 140734969461208 140734969466810 0
/proc/57378/statm: 42441 26200 640 633 0 27471 0
[pid=57378/tid=57380] ppid=57375 vsize=169764 memory=14444 CPUtime=429.01 cores=1,3
/proc/57378/task/57380/stat : 57380 (pb_competition_) R 57375 57378 56290 0 -1 4194368 7014 0 0 0 42729 172 0 0 20 0 2 0 55809797 173838336 26200 18446744073709551615 4198400 6788177 140734969454576 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 19931136 140734969461082 140734969461208 140734969461208 140734969466810 0
Current children cumulated CPU time: 2858.68 s
Current children cumulated vsize: 169764 KiB
Current children cumulated memory: 104800 KiB

[startup+2502.3 s]
/proc/loadavg: 4.65 4.72 4.93 5/266 57649
/proc/meminfo: memFree=108652872/131249988 swapFree=33010160/33010684
[pid=57378] ppid=57375 vsize=169764 memory=104800 CPUtime=2929.79 cores=1,3
/proc/57378/stat : 57378 (pb_competition_) R 57375 57378 56290 0 -1 4194304 236401 0 0 0 292599 380 0 0 20 0 2 0 55809797 173838336 26200 18446744073709551615 4198400 6788177 140734969454576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 19931136 140734969461082 140734969461208 140734969461208 140734969466810 0
/proc/57378/statm: 42441 26200 640 633 0 27471 0
[pid=57378/tid=57380] ppid=57375 vsize=169764 memory=14444 CPUtime=440.42 cores=1,3
/proc/57378/task/57380/stat : 57380 (pb_competition_) S 57375 57378 56290 0 -1 4194368 7052 0 0 0 43866 176 0 0 20 0 2 0 55809797 173838336 26200 18446744073709551615 4198400 6788177 140734969454576 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 19931136 140734969461082 140734969461208 140734969461208 140734969466810 0
Current children cumulated CPU time: 2929.79 s
Current children cumulated vsize: 169764 KiB
Current children cumulated memory: 104800 KiB

[startup+2562.3 s]
/proc/loadavg: 5.17 4.86 4.96 5/268 57657
/proc/meminfo: memFree=108652768/131249988 swapFree=33010160/33010684
[pid=57378] ppid=57375 vsize=169764 memory=104800 CPUtime=3000.7 cores=1,3
/proc/57378/stat : 57378 (pb_competition_) R 57375 57378 56290 0 -1 4194304 237655 0 0 0 299680 390 0 0 20 0 2 0 55809797 173838336 26200 18446744073709551615 4198400 6788177 140734969454576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 19931136 140734969461082 140734969461208 140734969461208 140734969466810 0
/proc/57378/statm: 42441 26200 640 633 0 27471 0
[pid=57378/tid=57380] ppid=57375 vsize=169764 memory=104800 CPUtime=451.64 cores=1,3
/proc/57378/task/57380/stat : 57380 (pb_competition_) S 57375 57378 56290 0 -1 4194368 7070 0 0 0 44983 181 0 0 20 0 2 0 55809797 173838336 26200 18446744073709551615 4198400 6788177 140734969454576 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 19931136 140734969461082 140734969461208 140734969461208 140734969466810 0
Current children cumulated CPU time: 3000.7 s
Current children cumulated vsize: 169764 KiB
Current children cumulated memory: 104800 KiB

[startup+2622.3 s]
/proc/loadavg: 4.67 4.78 4.93 6/268 57659
/proc/meminfo: memFree=108652880/131249988 swapFree=33010160/33010684
[pid=57378] ppid=57375 vsize=169764 memory=104800 CPUtime=3071.55 cores=1,3
/proc/57378/stat : 57378 (pb_competition_) R 57375 57378 56290 0 -1 4194304 238916 0 0 0 306755 400 0 0 20 0 2 0 55809797 173838336 26200 18446744073709551615 4198400 6788177 140734969454576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 19931136 140734969461082 140734969461208 140734969461208 140734969466810 0
/proc/57378/statm: 42441 26200 640 633 0 27471 0
[pid=57378/tid=57380] ppid=57375 vsize=169764 memory=14444 CPUtime=462.8 cores=1,3
/proc/57378/task/57380/stat : 57380 (pb_competition_) S 57375 57378 56290 0 -1 4194368 7080 0 0 0 46095 185 0 0 20 0 2 0 55809797 173838336 26200 18446744073709551615 4198400 6788177 140734969454576 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 19931136 140734969461082 140734969461208 140734969461208 140734969466810 0
Current children cumulated CPU time: 3071.55 s
Current children cumulated vsize: 169764 KiB
Current children cumulated memory: 104800 KiB

[startup+2682.3 s]
/proc/loadavg: 4.88 4.82 4.93 5/268 57661
/proc/meminfo: memFree=108652560/131249988 swapFree=33010160/33010684
[pid=57378] ppid=57375 vsize=169764 memory=104800 CPUtime=3142.77 cores=1,3
/proc/57378/stat : 57378 (pb_competition_) R 57375 57378 56290 0 -1 4194304 240176 0 0 0 313867 410 0 0 20 0 2 0 55809797 173838336 26200 18446744073709551615 4198400 6788177 140734969454576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 19931136 140734969461082 140734969461208 140734969461208 140734969466810 0
/proc/57378/statm: 42441 26200 640 633 0 27471 0
[pid=57378/tid=57380] ppid=57375 vsize=169764 memory=104800 CPUtime=474.36 cores=1,3
/proc/57378/task/57380/stat : 57380 (pb_competition_) S 57375 57378 56290 0 -1 4194368 7082 0 0 0 47246 190 0 0 20 0 2 0 55809797 173838336 26200 18446744073709551615 4198400 6788177 140734969454576 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 19931136 140734969461082 140734969461208 140734969461208 140734969466810 0
Current children cumulated CPU time: 3142.77 s
Current children cumulated vsize: 169764 KiB
Current children cumulated memory: 104800 KiB

[startup+2742.3 s]
/proc/loadavg: 4.69 4.79 4.91 5/268 57663
/proc/meminfo: memFree=108652628/131249988 swapFree=33010160/33010684
[pid=57378] ppid=57375 vsize=169764 memory=104800 CPUtime=3213.16 cores=1,3
/proc/57378/stat : 57378 (pb_competition_) R 57375 57378 56290 0 -1 4194304 241465 0 0 0 320896 420 0 0 20 0 2 0 55809797 173838336 26200 18446744073709551615 4198400 6788177 140734969454576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 19931136 140734969461082 140734969461208 140734969461208 140734969466810 0
/proc/57378/statm: 42441 26200 640 633 0 27471 0
[pid=57378/tid=57380] ppid=57375 vsize=169764 memory=104800 CPUtime=485.07 cores=1,3
/proc/57378/task/57380/stat : 57380 (pb_competition_) S 57375 57378 56290 0 -1 4194368 7084 0 0 0 48312 195 0 0 20 0 2 0 55809797 173838336 26200 18446744073709551615 4198400 6788177 140734969454576 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 19931136 140734969461082 140734969461208 140734969461208 140734969466810 0
Current children cumulated CPU time: 3213.16 s
Current children cumulated vsize: 169764 KiB
Current children cumulated memory: 104800 KiB

[startup+2802.3 s]
/proc/loadavg: 4.53 4.73 4.88 6/268 57665
/proc/meminfo: memFree=108652540/131249988 swapFree=33010160/33010684
[pid=57378] ppid=57375 vsize=169764 memory=104800 CPUtime=3283.9 cores=1,3
/proc/57378/stat : 57378 (pb_competition_) R 57375 57378 56290 0 -1 4194304 242727 0 0 0 327961 429 0 0 20 0 2 0 55809797 173838336 26200 18446744073709551615 4198400 6788177 140734969454576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 19931136 140734969461082 140734969461208 140734969461208 140734969466810 0
/proc/57378/statm: 42441 26200 640 633 0 27471 0
[pid=57378/tid=57380] ppid=57375 vsize=169764 memory=14444 CPUtime=496.09 cores=1,3
/proc/57378/task/57380/stat : 57380 (pb_competition_) S 57375 57378 56290 0 -1 4194368 7193 0 0 0 49410 199 0 0 20 0 2 0 55809797 173838336 26200 18446744073709551615 4198400 6788177 140734969454576 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 19931136 140734969461082 140734969461208 140734969461208 140734969466810 0
Current children cumulated CPU time: 3283.9 s
Current children cumulated vsize: 169764 KiB
Current children cumulated memory: 104800 KiB

[startup+2862.3 s]
/proc/loadavg: 4.81 4.77 4.89 5/267 57670
/proc/meminfo: memFree=108652536/131249988 swapFree=33010160/33010684
[pid=57378] ppid=57375 vsize=169764 memory=104800 CPUtime=3354.23 cores=1,3
/proc/57378/stat : 57378 (pb_competition_) R 57375 57378 56290 0 -1 4194304 244031 0 0 0 334985 438 0 0 20 0 2 0 55809797 173838336 26200 18446744073709551615 4198400 6788177 140734969454576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 19931136 140734969461082 140734969461208 140734969461208 140734969466810 0
/proc/57378/statm: 42441 26200 640 633 0 27471 0
[pid=57378/tid=57380] ppid=57375 vsize=169764 memory=104800 CPUtime=506.72 cores=1,3
/proc/57378/task/57380/stat : 57380 (pb_competition_) S 57375 57378 56290 0 -1 4194368 7197 0 0 0 50467 205 0 0 20 0 2 0 55809797 173838336 26200 18446744073709551615 4198400 6788177 140734969454576 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 19931136 140734969461082 140734969461208 140734969461208 140734969466810 0
Current children cumulated CPU time: 3354.23 s
Current children cumulated vsize: 169764 KiB
Current children cumulated memory: 104800 KiB

[startup+2922.3 s]
/proc/loadavg: 4.64 4.72 4.86 6/268 57673
/proc/meminfo: memFree=108660520/131249988 swapFree=33010160/33010684
[pid=57378] ppid=57375 vsize=169764 memory=104800 CPUtime=3424.92 cores=1,3
/proc/57378/stat : 57378 (pb_competition_) R 57375 57378 56290 0 -1 4194304 245293 0 0 0 342044 448 0 0 20 0 2 0 55809797 173838336 26200 18446744073709551615 4198400 6788177 140734969454576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 19931136 140734969461082 140734969461208 140734969461208 140734969466810 0
/proc/57378/statm: 42441 26200 640 633 0 27471 0
[pid=57378/tid=57380] ppid=57375 vsize=169764 memory=104800 CPUtime=517.7 cores=1,3
/proc/57378/task/57380/stat : 57380 (pb_competition_) S 57375 57378 56290 0 -1 4194368 7215 0 0 0 51562 208 0 0 20 0 2 0 55809797 173838336 26200 18446744073709551615 4198400 6788177 140734969454576 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 19931136 140734969461082 140734969461208 140734969461208 140734969466810 0
Current children cumulated CPU time: 3424.92 s
Current children cumulated vsize: 169764 KiB
Current children cumulated memory: 104800 KiB

[startup+2982.3 s]
/proc/loadavg: 4.83 4.77 4.87 6/268 57677
/proc/meminfo: memFree=108659836/131249988 swapFree=33010160/33010684
[pid=57378] ppid=57375 vsize=169764 memory=104800 CPUtime=3495.53 cores=1,3
/proc/57378/stat : 57378 (pb_competition_) R 57375 57378 56290 0 -1 4194304 246564 0 0 0 349096 457 0 0 20 0 2 0 55809797 173838336 26200 18446744073709551615 4198400 6788177 140734969454576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 19931136 140734969461082 140734969461208 140734969461208 140734969466810 0
/proc/57378/statm: 42441 26200 640 633 0 27471 0
[pid=57378/tid=57380] ppid=57375 vsize=169764 memory=104800 CPUtime=528.62 cores=1,3
/proc/57378/task/57380/stat : 57380 (pb_competition_) S 57375 57378 56290 0 -1 4194368 7237 0 0 0 52650 212 0 0 20 0 2 0 55809797 173838336 26200 18446744073709551615 4198400 6788177 140734969454576 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 19931136 140734969461082 140734969461208 140734969461208 140734969466810 0
Current children cumulated CPU time: 3495.53 s
Current children cumulated vsize: 169764 KiB
Current children cumulated memory: 104800 KiB

[startup+3042.3 s]
/proc/loadavg: 4.80 4.78 4.87 7/268 57679
/proc/meminfo: memFree=108659772/131249988 swapFree=33010160/33010684
[pid=57378] ppid=57375 vsize=169764 memory=104800 CPUtime=3566.2 cores=1,3
/proc/57378/stat : 57378 (pb_competition_) R 57375 57378 56290 0 -1 4194304 247823 0 0 0 356154 466 0 0 20 0 2 0 55809797 173838336 26200 18446744073709551615 4198400 6788177 140734969454576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 19931136 140734969461082 140734969461208 140734969461208 140734969466810 0
/proc/57378/statm: 42441 26200 640 633 0 27471 0
[pid=57378/tid=57380] ppid=57375 vsize=169764 memory=14444 CPUtime=539.59 cores=1,3
/proc/57378/task/57380/stat : 57380 (pb_competition_) S 57375 57378 56290 0 -1 4194368 7267 0 0 0 53742 217 0 0 20 0 2 0 55809797 173838336 26200 18446744073709551615 4198400 6788177 140734969454576 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 19931136 140734969461082 140734969461208 140734969461208 140734969466810 0
Current children cumulated CPU time: 3566.2 s
Current children cumulated vsize: 169764 KiB
Current children cumulated memory: 104800 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3071.2 s]
/proc/loadavg: 4.81 4.79 4.87 6/268 57681
/proc/meminfo: memFree=108659572/131249988 swapFree=33010160/33010684
[pid=57378] ppid=57375 vsize=169764 memory=104800 CPUtime=3600.08 cores=1,3
/proc/57378/stat : 57378 (pb_competition_) R 57375 57378 56290 0 -1 4194304 247831 0 0 0 359537 471 0 0 20 0 2 0 55809797 173838336 26200 18446744073709551615 4198400 6788177 140734969454576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 19931136 140734969461082 140734969461208 140734969461208 140734969466810 0
/proc/57378/statm: 42441 26200 640 633 0 27471 0
[pid=57378/tid=57380] ppid=57375 vsize=169764 memory=104800 CPUtime=544.71 cores=1,3
/proc/57378/task/57380/stat : 57380 (pb_competition_) S 57375 57378 56290 0 -1 4194368 7267 0 0 0 54252 219 0 0 20 0 2 0 55809797 173838336 26200 18446744073709551615 4198400 6788177 140734969454576 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 19931136 140734969461082 140734969461208 140734969461208 140734969466810 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 169764 KiB
Current children cumulated memory: 104800 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.43 s, system=4.71662 s

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

Child status: 0

Real time (s): 3071.26
CPU time (s): 3600.14
CPU user time (s): 3595.43
CPU system time (s): 4.71662
CPU usage (%): 117.22
Max. virtual memory (cumulated for all children) (KiB): 169764
Max. memory (cumulated for all children) (KiB): 104800

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.43
system time used= 4.71662
maximum resident set size= 104800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 254311
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= 294200
involuntary context switches= 15518


# summary of solver processes directly reported to runsolver:
#   pid: 57378
#   total CPU time (s): 3600.14
#   total CPU user time (s): 3595.43
#   total CPU system time (s): 4.71662

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.40093 second user time and 14.7004 second system time

The end