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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4499624-1751404480/watcher-4499624-1751404480 -o /tmp/evaluation-result-4499624-1751404480/solver-4499624-1751404480 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751395822-56308 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 758774973 HOME/instance-4499624-1751404480.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=57777, runsolver pid=57774

[startup+0.100072 s]*
/proc/loadavg: 4.64 4.73 4.84 5/267 57779
/proc/meminfo: memFree=108595372/131249988 swapFree=33010160/33010684
[pid=57777] ppid=57774 vsize=134560 memory=53756 CPUtime=0.15 cores=5,7
/proc/57777/stat : 57777 (pb_competition_) R 57774 57777 56290 0 -1 4194304 9334 0 0 0 13 2 0 0 20 0 2 0 56126847 137789440 13439 18446744073709551615 4198400 6788177 140733466592032 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 7336896 7391280 38006784 140733466593626 140733466593752 140733466593752 140733466599354 0
/proc/57777/statm: 33640 13439 608 633 0 19067 0
[pid=57777/tid=57779] ppid=57774 vsize=134560 memory=4026531960 CPUtime=0.05 cores=5,7
/proc/57777/task/57779/stat : 57779 (pb_competition_) S 57774 57777 56290 0 -1 4194368 2598 0 0 0 5 0 0 0 20 0 2 0 56126848 137789440 13439 18446744073709551615 4198400 6788177 140733466592032 0 0 0 0 0 0 1 0 0 -1 5 0 0 0 0 0 7336896 7391280 38006784 140733466593626 140733466593752 140733466593752 140733466599354 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 134560 KiB
Current children cumulated memory: 53756 KiB

[startup+0.205699 s]*
/proc/loadavg: 4.64 4.73 4.84 5/267 57779
/proc/meminfo: memFree=108563620/131249988 swapFree=33010160/33010684
[pid=57777] ppid=57774 vsize=154680 memory=98088 CPUtime=0.31 cores=5,7
/proc/57777/stat : 57777 (pb_competition_) R 57774 57777 56290 0 -1 4194304 16328 0 0 0 27 4 0 0 20 0 2 0 56126847 158392320 24522 18446744073709551615 4198400 6788177 140733466592032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 38006784 140733466593626 140733466593752 140733466593752 140733466599354 0
/proc/57777/statm: 38670 24522 640 633 0 26073 0
[pid=57777/tid=57779] ppid=57774 vsize=154680 memory=664958721904869660 CPUtime=0.12 cores=5,7
/proc/57777/task/57779/stat : 57779 (pb_competition_) S 57774 57777 56290 0 -1 4194368 4575 0 0 0 11 1 0 0 20 0 2 0 56126848 158392320 24522 18446744073709551615 4198400 6788177 140733466592032 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 38006784 140733466593626 140733466593752 140733466593752 140733466599354 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 154680 KiB
Current children cumulated memory: 98088 KiB

[startup+0.305699 s]*
/proc/loadavg: 4.64 4.73 4.84 6/267 57779
/proc/meminfo: memFree=108555556/131249988 swapFree=33010160/33010684
[pid=57777] ppid=57774 vsize=161312 memory=104744 CPUtime=0.42 cores=5,7
/proc/57777/stat : 57777 (pb_competition_) R 57774 57777 56290 0 -1 4194304 17981 0 0 0 37 5 0 0 20 0 2 0 56126847 165183488 26186 18446744073709551615 4198400 6788177 140733466592032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 38006784 140733466593626 140733466593752 140733466593752 140733466599354 0
/proc/57777/statm: 40328 26186 640 633 0 27731 0
[pid=57777/tid=57779] ppid=57774 vsize=161312 memory=7970675930503594097 CPUtime=0.12 cores=5,7
/proc/57777/task/57779/stat : 57779 (pb_competition_) S 57774 57777 56290 0 -1 4194368 4575 0 0 0 11 1 0 0 20 0 2 0 56126848 165183488 26186 18446744073709551615 4198400 6788177 140733466592032 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 38006784 140733466593626 140733466593752 140733466593752 140733466599354 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 161312 KiB
Current children cumulated memory: 104744 KiB

[startup+0.700223 s]
/proc/loadavg: 4.64 4.73 4.84 5/267 57779
/proc/meminfo: memFree=108523048/131249988 swapFree=33010160/33010684
[pid=57777] ppid=57774 vsize=266432 memory=209960 CPUtime=0.81 cores=5,7
/proc/57777/stat : 57777 (pb_competition_) R 57774 57777 56290 0 -1 4194304 44300 0 0 0 72 9 0 0 20 0 2 0 56126847 272826368 52490 18446744073709551615 4198400 6788177 140733466592032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 38006784 140733466593626 140733466593752 140733466593752 140733466599354 0
/proc/57777/statm: 66608 52490 640 633 0 54011 0
[pid=57777/tid=57779] ppid=57774 vsize=266432 memory=18432 CPUtime=0.12 cores=5,7
/proc/57777/task/57779/stat : 57779 (pb_competition_) S 57774 57777 56290 0 -1 4194368 4575 0 0 0 11 1 0 0 20 0 2 0 56126848 272826368 52490 18446744073709551615 4198400 6788177 140733466592032 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 38006784 140733466593626 140733466593752 140733466593752 140733466599354 0
Current children cumulated CPU time: 0.81 s
Current children cumulated vsize: 266432 KiB
Current children cumulated memory: 209960 KiB

[startup+1.50022 s]
/proc/loadavg: 4.64 4.73 4.84 6/267 57779
/proc/meminfo: memFree=108450472/131249988 swapFree=33010160/33010684
[pid=57777] ppid=57774 vsize=266564 memory=210088 CPUtime=1.76 cores=5,7
/proc/57777/stat : 57777 (pb_competition_) R 57774 57777 56290 0 -1 4194304 67500 0 0 0 166 10 0 0 20 0 2 0 56126847 272961536 52522 18446744073709551615 4198400 6788177 140733466592032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 38006784 140733466593626 140733466593752 140733466593752 140733466599354 0
/proc/57777/statm: 66641 52522 640 633 0 54044 0
[pid=57777/tid=57779] ppid=57774 vsize=266564 memory=18432 CPUtime=0.28 cores=5,7
/proc/57777/task/57779/stat : 57779 (pb_competition_) S 57774 57777 56290 0 -1 4194368 4788 0 0 0 27 1 0 0 20 0 2 0 56126848 272961536 52522 18446744073709551615 4198400 6788177 140733466592032 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 38006784 140733466593626 140733466593752 140733466593752 140733466599354 0
Current children cumulated CPU time: 1.76 s
Current children cumulated vsize: 266564 KiB
Current children cumulated memory: 210088 KiB

[startup+3.10567 s]
/proc/loadavg: 4.64 4.73 4.84 5/267 57779
/proc/meminfo: memFree=108450580/131249988 swapFree=33010160/33010684
[pid=57777] ppid=57774 vsize=266564 memory=210088 CPUtime=3.93 cores=5,7
/proc/57777/stat : 57777 (pb_competition_) R 57774 57777 56290 0 -1 4194304 70633 0 0 0 383 10 0 0 20 0 2 0 56126847 272961536 52522 18446744073709551615 4198400 6788177 140733466592032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 38006784 140733466593626 140733466593752 140733466593752 140733466599354 0
/proc/57777/statm: 66641 52522 640 633 0 54044 0
[pid=57777/tid=57779] ppid=57774 vsize=266564 memory=210088 CPUtime=0.86 cores=5,7
/proc/57777/task/57779/stat : 57779 (pb_competition_) S 57774 57777 56290 0 -1 4194368 4877 0 0 0 85 1 0 0 20 0 2 0 56126848 272961536 52522 18446744073709551615 4198400 6788177 140733466592032 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 38006784 140733466593626 140733466593752 140733466593752 140733466599354 0
Current children cumulated CPU time: 3.93 s
Current children cumulated vsize: 266564 KiB
Current children cumulated memory: 210088 KiB

[startup+6.3002 s]
/proc/loadavg: 4.67 4.74 4.85 5/267 57779
/proc/meminfo: memFree=108450580/131249988 swapFree=33010160/33010684
[pid=57777] ppid=57774 vsize=266564 memory=210216 CPUtime=7.89 cores=5,7
/proc/57777/stat : 57777 (pb_competition_) R 57774 57777 56290 0 -1 4194304 113786 0 0 0 776 13 0 0 20 0 2 0 56126847 272961536 52554 18446744073709551615 4198400 6788177 140733466592032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 38006784 140733466593626 140733466593752 140733466593752 140733466599354 0
/proc/57777/statm: 66641 52554 640 633 0 54044 0
[pid=57777/tid=57779] ppid=57774 vsize=266564 memory=18432 CPUtime=1.64 cores=5,7
/proc/57777/task/57779/stat : 57779 (pb_competition_) R 57774 57777 56290 0 -1 4194368 5304 0 0 0 163 1 0 0 20 0 2 0 56126848 272961536 52554 18446744073709551615 4198400 6788177 140733466592032 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 38006784 140733466593626 140733466593752 140733466593752 140733466599354 0
Current children cumulated CPU time: 7.89 s
Current children cumulated vsize: 266564 KiB
Current children cumulated memory: 210216 KiB

[startup+12.7002 s]
/proc/loadavg: 4.62 4.72 4.84 5/268 57781
/proc/meminfo: memFree=108450672/131249988 swapFree=33010160/33010684
[pid=57777] ppid=57774 vsize=266696 memory=210216 CPUtime=14.9 cores=5,7
/proc/57777/stat : 57777 (pb_competition_) R 57774 57777 56290 0 -1 4194304 164244 0 0 0 1472 18 0 0 20 0 2 0 56126847 273096704 52554 18446744073709551615 4198400 6788177 140733466592032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 38006784 140733466593626 140733466593752 140733466593752 140733466599354 0
/proc/57777/statm: 66674 52554 640 633 0 54077 0
[pid=57777/tid=57779] ppid=57774 vsize=266696 memory=210216 CPUtime=2.27 cores=5,7
/proc/57777/task/57779/stat : 57779 (pb_competition_) R 57774 57777 56290 0 -1 4194368 5656 0 0 0 225 2 0 0 20 0 2 0 56126848 273096704 52554 18446744073709551615 4198400 6788177 140733466592032 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 38006784 140733466593626 140733466593752 140733466593752 140733466599354 0
Current children cumulated CPU time: 14.9 s
Current children cumulated vsize: 266696 KiB
Current children cumulated memory: 210216 KiB

[startup+25.5002 s]
/proc/loadavg: 4.63 4.72 4.84 6/267 57781
/proc/meminfo: memFree=108434556/131249988 swapFree=33010160/33010684
[pid=57777] ppid=57774 vsize=266828 memory=210344 CPUtime=28.79 cores=5,7
/proc/57777/stat : 57777 (pb_competition_) R 57774 57777 56290 0 -1 4194304 223238 0 0 0 2857 22 0 0 20 0 2 0 56126847 273231872 52586 18446744073709551615 4198400 6788177 140733466592032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 38006784 140733466593626 140733466593752 140733466593752 140733466599354 0
/proc/57777/statm: 66707 52586 640 633 0 54110 0
[pid=57777/tid=57779] ppid=57774 vsize=266828 memory=210344 CPUtime=3.43 cores=5,7
/proc/57777/task/57779/stat : 57779 (pb_competition_) S 57774 57777 56290 0 -1 4194368 6004 0 0 0 341 2 0 0 20 0 2 0 56126848 273231872 52586 18446744073709551615 4198400 6788177 140733466592032 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 38006784 140733466593626 140733466593752 140733466593752 140733466599354 0
Current children cumulated CPU time: 28.79 s
Current children cumulated vsize: 266828 KiB
Current children cumulated memory: 210344 KiB

[startup+51.1057 s]
/proc/loadavg: 4.57 4.70 4.82 6/267 57781
/proc/meminfo: memFree=108409272/131249988 swapFree=33010160/33010684
[pid=57777] ppid=57774 vsize=266828 memory=210472 CPUtime=58.35 cores=5,7
/proc/57777/stat : 57777 (pb_competition_) R 57774 57777 56290 0 -1 4194304 273781 0 0 0 5806 29 0 0 20 0 2 0 56126847 273231872 52618 18446744073709551615 4198400 6788177 140733466592032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 38006784 140733466593626 140733466593752 140733466593752 140733466599354 0
/proc/57777/statm: 66707 52618 640 633 0 54110 0
[pid=57777/tid=57779] ppid=57774 vsize=266828 memory=18432 CPUtime=7.5 cores=5,7
/proc/57777/task/57779/stat : 57779 (pb_competition_) S 57774 57777 56290 0 -1 4194368 7224 0 0 0 747 3 0 0 20 0 2 0 56126848 273231872 52618 18446744073709551615 4198400 6788177 140733466592032 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 38006784 140733466593626 140733466593752 140733466593752 140733466599354 0
Current children cumulated CPU time: 58.35 s
Current children cumulated vsize: 266828 KiB
Current children cumulated memory: 210472 KiB

[startup+102.3 s]
/proc/loadavg: 4.60 4.68 4.81 5/268 57784
/proc/meminfo: memFree=108422732/131249988 swapFree=33010160/33010684
[pid=57777] ppid=57774 vsize=267224 memory=210856 CPUtime=114.36 cores=5,7
/proc/57777/stat : 57777 (pb_competition_) R 57774 57777 56290 0 -1 4194304 356348 0 0 0 11397 39 0 0 20 0 2 0 56126847 273637376 52714 18446744073709551615 4198400 6788177 140733466592032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 38006784 140733466593626 140733466593752 140733466593752 140733466599354 0
/proc/57777/statm: 66806 52714 640 633 0 54209 0
[pid=57777/tid=57779] ppid=57774 vsize=267224 memory=18432 CPUtime=12.59 cores=5,7
/proc/57777/task/57779/stat : 57779 (pb_competition_) S 57774 57777 56290 0 -1 4194368 8755 0 0 0 1253 6 0 0 20 0 2 0 56126848 273637376 52714 18446744073709551615 4198400 6788177 140733466592032 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 38006784 140733466593626 140733466593752 140733466593752 140733466599354 0
Current children cumulated CPU time: 114.36 s
Current children cumulated vsize: 267224 KiB
Current children cumulated memory: 210856 KiB

[startup+162.3 s]
/proc/loadavg: 4.52 4.65 4.80 6/268 57786
/proc/meminfo: memFree=108424564/131249988 swapFree=33010160/33010684
[pid=57777] ppid=57774 vsize=267356 memory=210856 CPUtime=180.83 cores=5,7
/proc/57777/stat : 57777 (pb_competition_) R 57774 57777 56290 0 -1 4194304 400154 0 0 0 18036 47 0 0 20 0 2 0 56126847 273772544 52714 18446744073709551615 4198400 6788177 140733466592032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 38006784 140733466593626 140733466593752 140733466593752 140733466599354 0
/proc/57777/statm: 66839 52714 640 633 0 54242 0
[pid=57777/tid=57779] ppid=57774 vsize=267356 memory=5632 CPUtime=19.37 cores=5,7
/proc/57777/task/57779/stat : 57779 (pb_competition_) S 57774 57777 56290 0 -1 4194368 9294 0 0 0 1928 9 0 0 20 0 2 0 56126848 273772544 52714 18446744073709551615 4198400 6788177 140733466592032 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 38006784 140733466593626 140733466593752 140733466593752 140733466599354 0
Current children cumulated CPU time: 180.83 s
Current children cumulated vsize: 267356 KiB
Current children cumulated memory: 210856 KiB

[startup+222.3 s]
/proc/loadavg: 4.42 4.59 4.77 7/268 57788
/proc/meminfo: memFree=108428224/131249988 swapFree=33010160/33010684
[pid=57777] ppid=57774 vsize=267356 memory=210984 CPUtime=247.87 cores=5,7
/proc/57777/stat : 57777 (pb_competition_) R 57774 57777 56290 0 -1 4194304 405874 0 0 0 24734 53 0 0 20 0 2 0 56126847 273772544 52746 18446744073709551615 4198400 6788177 140733466592032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 38006784 140733466593626 140733466593752 140733466593752 140733466599354 0
/proc/57777/statm: 66839 52746 640 633 0 54242 0
[pid=57777/tid=57779] ppid=57774 vsize=267356 memory=18432 CPUtime=26.7 cores=5,7
/proc/57777/task/57779/stat : 57779 (pb_competition_) S 57774 57777 56290 0 -1 4194368 9320 0 0 0 2658 12 0 0 20 0 2 0 56126848 273772544 52746 18446744073709551615 4198400 6788177 140733466592032 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 38006784 140733466593626 140733466593752 140733466593752 140733466599354 0
Current children cumulated CPU time: 247.87 s
Current children cumulated vsize: 267356 KiB
Current children cumulated memory: 210984 KiB

[startup+282.3 s]
/proc/loadavg: 4.49 4.58 4.75 6/268 57790
/proc/meminfo: memFree=108419200/131249988 swapFree=33010160/33010684
[pid=57777] ppid=57774 vsize=267356 memory=211496 CPUtime=314.95 cores=5,7
/proc/57777/stat : 57777 (pb_competition_) R 57774 57777 56290 0 -1 4194304 407283 0 0 0 31436 59 0 0 20 0 2 0 56126847 273772544 52874 18446744073709551615 4198400 6788177 140733466592032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 38006784 140733466593626 140733466593752 140733466593752 140733466599354 0
/proc/57777/statm: 66839 52874 640 633 0 54242 0
[pid=57777/tid=57779] ppid=57774 vsize=267356 memory=211496 CPUtime=34.06 cores=5,7
/proc/57777/task/57779/stat : 57779 (pb_competition_) S 57774 57777 56290 0 -1 4194368 9361 0 0 0 3391 15 0 0 20 0 2 0 56126848 273772544 52874 18446744073709551615 4198400 6788177 140733466592032 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 38006784 140733466593626 140733466593752 140733466593752 140733466599354 0
Current children cumulated CPU time: 314.95 s
Current children cumulated vsize: 267356 KiB
Current children cumulated memory: 211496 KiB

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

/proc/meminfo: memFree=108533188/131249988 swapFree=33010160/33010684
[pid=57777] ppid=57774 vsize=267620 memory=211752 CPUtime=2954.3 cores=5,7
/proc/57777/stat : 57777 (pb_competition_) R 57774 57777 56290 0 -1 4194304 465742 0 0 0 295182 248 0 0 20 0 2 0 56126847 274042880 52938 18446744073709551615 4198400 6788177 140733466592032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 38006784 140733466593626 140733466593752 140733466593752 140733466599354 0
/proc/57777/statm: 66905 52938 640 633 0 54308 0
[pid=57777/tid=57779] ppid=57774 vsize=267620 memory=211752 CPUtime=284.83 cores=5,7
/proc/57777/task/57779/stat : 57779 (pb_competition_) S 57774 57777 56290 0 -1 4194368 10714 0 0 0 28375 108 0 0 20 0 2 0 56126848 274042880 52938 18446744073709551615 4198400 6788177 140733466592032 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 38006784 140733466593626 140733466593752 140733466593752 140733466599354 0
Current children cumulated CPU time: 2954.3 s
Current children cumulated vsize: 267620 KiB
Current children cumulated memory: 211752 KiB

[startup+2742.3 s]
/proc/loadavg: 4.51 4.61 4.66 5/267 58015
/proc/meminfo: memFree=108531820/131249988 swapFree=33010160/33010684
[pid=57777] ppid=57774 vsize=267620 memory=211752 CPUtime=3021.23 cores=5,7
/proc/57777/stat : 57777 (pb_competition_) R 57774 57777 56290 0 -1 4194304 467198 0 0 0 301869 254 0 0 20 0 2 0 56126847 274042880 52938 18446744073709551615 4198400 6788177 140733466592032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 38006784 140733466593626 140733466593752 140733466593752 140733466599354 0
/proc/57777/statm: 66905 52938 640 633 0 54308 0
[pid=57777/tid=57779] ppid=57774 vsize=267620 memory=211752 CPUtime=292.05 cores=5,7
/proc/57777/task/57779/stat : 57779 (pb_competition_) S 57774 57777 56290 0 -1 4194368 10739 0 0 0 29095 110 0 0 20 0 2 0 56126848 274042880 52938 18446744073709551615 4198400 6788177 140733466592032 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 38006784 140733466593626 140733466593752 140733466593752 140733466599354 0
Current children cumulated CPU time: 3021.23 s
Current children cumulated vsize: 267620 KiB
Current children cumulated memory: 211752 KiB

[startup+2802.3 s]
/proc/loadavg: 4.42 4.56 4.64 6/270 58045
/proc/meminfo: memFree=108529516/131249988 swapFree=33010160/33010684
[pid=57777] ppid=57774 vsize=267620 memory=211752 CPUtime=3087.75 cores=5,7
/proc/57777/stat : 57777 (pb_competition_) R 57774 57777 56290 0 -1 4194304 468655 0 0 0 308514 261 0 0 20 0 2 0 56126847 274042880 52938 18446744073709551615 4198400 6788177 140733466592032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 38006784 140733466593626 140733466593752 140733466593752 140733466599354 0
/proc/57777/statm: 66905 52938 640 633 0 54308 0
[pid=57777/tid=57779] ppid=57774 vsize=267620 memory=211752 CPUtime=298.88 cores=5,7
/proc/57777/task/57779/stat : 57779 (pb_competition_) S 57774 57777 56290 0 -1 4194368 10741 0 0 0 29775 113 0 0 20 0 2 0 56126848 274042880 52938 18446744073709551615 4198400 6788177 140733466592032 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 38006784 140733466593626 140733466593752 140733466593752 140733466599354 0
Current children cumulated CPU time: 3087.75 s
Current children cumulated vsize: 267620 KiB
Current children cumulated memory: 211752 KiB

[startup+2862.3 s]
/proc/loadavg: 4.65 4.60 4.64 6/270 58046
/proc/meminfo: memFree=108530864/131249988 swapFree=33010160/33010684
[pid=57777] ppid=57774 vsize=267620 memory=211752 CPUtime=3153.73 cores=5,7
/proc/57777/stat : 57777 (pb_competition_) R 57774 57777 56290 0 -1 4194304 470120 0 0 0 315107 266 0 0 20 0 2 0 56126847 274042880 52938 18446744073709551615 4198400 6788177 140733466592032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 38006784 140733466593626 140733466593752 140733466593752 140733466599354 0
/proc/57777/statm: 66905 52938 640 633 0 54308 0
[pid=57777/tid=57779] ppid=57774 vsize=267620 memory=211752 CPUtime=305.15 cores=5,7
/proc/57777/task/57779/stat : 57779 (pb_competition_) S 57774 57777 56290 0 -1 4194368 10780 0 0 0 30399 116 0 0 20 0 2 0 56126848 274042880 52938 18446744073709551615 4198400 6788177 140733466592032 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 38006784 140733466593626 140733466593752 140733466593752 140733466599354 0
Current children cumulated CPU time: 3153.73 s
Current children cumulated vsize: 267620 KiB
Current children cumulated memory: 211752 KiB

[startup+2922.3 s]
/proc/loadavg: 4.54 4.58 4.63 5/271 58049
/proc/meminfo: memFree=108529352/131249988 swapFree=33010160/33010684
[pid=57777] ppid=57774 vsize=267620 memory=211752 CPUtime=3220.1 cores=5,7
/proc/57777/stat : 57777 (pb_competition_) R 57774 57777 56290 0 -1 4194304 471582 0 0 0 321740 270 0 0 20 0 2 0 56126847 274042880 52938 18446744073709551615 4198400 6788177 140733466592032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 38006784 140733466593626 140733466593752 140733466593752 140733466599354 0
/proc/57777/statm: 66905 52938 640 633 0 54308 0
[pid=57777/tid=57779] ppid=57774 vsize=267620 memory=211752 CPUtime=311.81 cores=5,7
/proc/57777/task/57779/stat : 57779 (pb_competition_) S 57774 57777 56290 0 -1 4194368 10871 0 0 0 31063 118 0 0 20 0 2 0 56126848 274042880 52938 18446744073709551615 4198400 6788177 140733466592032 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 38006784 140733466593626 140733466593752 140733466593752 140733466599354 0
Current children cumulated CPU time: 3220.1 s
Current children cumulated vsize: 267620 KiB
Current children cumulated memory: 211752 KiB

[startup+2982.3 s]
/proc/loadavg: 4.77 4.63 4.65 6/271 58051
/proc/meminfo: memFree=108530496/131249988 swapFree=33010160/33010684
[pid=57777] ppid=57774 vsize=267620 memory=211752 CPUtime=3286.61 cores=5,7
/proc/57777/stat : 57777 (pb_competition_) R 57774 57777 56290 0 -1 4194304 473060 0 0 0 328385 276 0 0 20 0 2 0 56126847 274042880 52938 18446744073709551615 4198400 6788177 140733466592032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 38006784 140733466593626 140733466593752 140733466593752 140733466599354 0
/proc/57777/statm: 66905 52938 640 633 0 54308 0
[pid=57777/tid=57779] ppid=57774 vsize=267620 memory=211752 CPUtime=318.6 cores=5,7
/proc/57777/task/57779/stat : 57779 (pb_competition_) S 57774 57777 56290 0 -1 4194368 10893 0 0 0 31740 120 0 0 20 0 2 0 56126848 274042880 52938 18446744073709551615 4198400 6788177 140733466592032 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 38006784 140733466593626 140733466593752 140733466593752 140733466599354 0
Current children cumulated CPU time: 3286.61 s
Current children cumulated vsize: 267620 KiB
Current children cumulated memory: 211752 KiB

[startup+3042.3 s]
/proc/loadavg: 4.71 4.64 4.65 5/271 58053
/proc/meminfo: memFree=108534664/131249988 swapFree=33010160/33010684
[pid=57777] ppid=57774 vsize=267620 memory=211752 CPUtime=3353.04 cores=5,7
/proc/57777/stat : 57777 (pb_competition_) R 57774 57777 56290 0 -1 4194304 474524 0 0 0 335023 281 0 0 20 0 2 0 56126847 274042880 52938 18446744073709551615 4198400 6788177 140733466592032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 38006784 140733466593626 140733466593752 140733466593752 140733466599354 0
/proc/57777/statm: 66905 52938 640 633 0 54308 0
[pid=57777/tid=57779] ppid=57774 vsize=267620 memory=14444 CPUtime=325.32 cores=5,7
/proc/57777/task/57779/stat : 57779 (pb_competition_) S 57774 57777 56290 0 -1 4194368 10923 0 0 0 32409 123 0 0 20 0 2 0 56126848 274042880 52938 18446744073709551615 4198400 6788177 140733466592032 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 38006784 140733466593626 140733466593752 140733466593752 140733466599354 0
Current children cumulated CPU time: 3353.04 s
Current children cumulated vsize: 267620 KiB
Current children cumulated memory: 211752 KiB

[startup+3102.3 s]
/proc/loadavg: 4.52 4.61 4.63 5/268 58059
/proc/meminfo: memFree=108534940/131249988 swapFree=33010160/33010684
[pid=57777] ppid=57774 vsize=267620 memory=211752 CPUtime=3419.21 cores=5,7
/proc/57777/stat : 57777 (pb_competition_) R 57774 57777 56290 0 -1 4194304 475984 0 0 0 341635 286 0 0 20 0 2 0 56126847 274042880 52938 18446744073709551615 4198400 6788177 140733466592032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 38006784 140733466593626 140733466593752 140733466593752 140733466599354 0
/proc/57777/statm: 66905 52938 640 633 0 54308 0
[pid=57777/tid=57779] ppid=57774 vsize=267620 memory=14444 CPUtime=331.81 cores=5,7
/proc/57777/task/57779/stat : 57779 (pb_competition_) S 57774 57777 56290 0 -1 4194368 10944 0 0 0 33055 126 0 0 20 0 2 0 56126848 274042880 52938 18446744073709551615 4198400 6788177 140733466592032 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 38006784 140733466593626 140733466593752 140733466593752 140733466599354 0
Current children cumulated CPU time: 3419.21 s
Current children cumulated vsize: 267620 KiB
Current children cumulated memory: 211752 KiB

[startup+3162.3 s]
/proc/loadavg: 4.84 4.67 4.65 5/269 58062
/proc/meminfo: memFree=108534420/131249988 swapFree=33010160/33010684
[pid=57777] ppid=57774 vsize=267620 memory=211752 CPUtime=3485.08 cores=5,7
/proc/57777/stat : 57777 (pb_competition_) R 57774 57777 56290 0 -1 4194304 477446 0 0 0 348219 289 0 0 20 0 2 0 56126847 274042880 52938 18446744073709551615 4198400 6788177 140733466592032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 38006784 140733466593626 140733466593752 140733466593752 140733466599354 0
/proc/57777/statm: 66905 52938 640 633 0 54308 0
[pid=57777/tid=57779] ppid=57774 vsize=267620 memory=14444 CPUtime=337.97 cores=5,7
/proc/57777/task/57779/stat : 57779 (pb_competition_) S 57774 57777 56290 0 -1 4194368 10949 0 0 0 33669 128 0 0 20 0 2 0 56126848 274042880 52938 18446744073709551615 4198400 6788177 140733466592032 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 38006784 140733466593626 140733466593752 140733466593752 140733466599354 0
Current children cumulated CPU time: 3485.08 s
Current children cumulated vsize: 267620 KiB
Current children cumulated memory: 211752 KiB

[startup+3222.3 s]
/proc/loadavg: 4.36 4.57 4.62 4/261 58095
/proc/meminfo: memFree=108756860/131249988 swapFree=33010160/33010684
[pid=57777] ppid=57774 vsize=267620 memory=211752 CPUtime=3551.76 cores=5,7
/proc/57777/stat : 57777 (pb_competition_) R 57774 57777 56290 0 -1 4194304 478907 0 0 0 354883 293 0 0 20 0 2 0 56126847 274042880 52938 18446744073709551615 4198400 6788177 140733466592032 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 38006784 140733466593626 140733466593752 140733466593752 140733466599354 0
/proc/57777/statm: 66905 52938 640 633 0 54308 0
[pid=57777/tid=57779] ppid=57774 vsize=267620 memory=18432 CPUtime=344.97 cores=5,7
/proc/57777/task/57779/stat : 57779 (pb_competition_) S 57774 57777 56290 0 -1 4194368 10965 0 0 0 34368 129 0 0 20 0 2 0 56126848 274042880 52938 18446744073709551615 4198400 6788177 140733466592032 0 0 0 0 0 8404994 1 0 0 -1 5 0 0 0 0 0 7336896 7391280 38006784 140733466593626 140733466593752 140733466593752 140733466599354 0
Current children cumulated CPU time: 3551.76 s
Current children cumulated vsize: 267620 KiB
Current children cumulated memory: 211752 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3266.3 s]
/proc/loadavg: 3.93 4.43 4.57 5/261 58097
/proc/meminfo: memFree=108758656/131249988 swapFree=33010160/33010684
[pid=57777] ppid=57774 vsize=267752 memory=211752 CPUtime=3600.1 cores=5,7
/proc/57777/stat : 57777 (pb_competition_) R 57774 57777 56290 0 -1 4194304 478963 0 0 0 359713 297 0 0 20 0 2 0 56126847 274178048 52938 18446744073709551615 4198400 6788177 140733466592032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 38006784 140733466593626 140733466593752 140733466593752 140733466599354 0
/proc/57777/statm: 66938 52938 640 633 0 54341 0
[pid=57777/tid=57779] ppid=57774 vsize=267752 memory=18432 CPUtime=349.56 cores=5,7
/proc/57777/task/57779/stat : 57779 (pb_competition_) R 57774 57777 56290 0 -1 4194368 10966 0 0 0 34825 131 0 0 20 0 2 0 56126848 274178048 52938 18446744073709551615 4198400 6788177 140733466592032 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 38006784 140733466593626 140733466593752 140733466593752 140733466599354 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 267752 KiB
Current children cumulated memory: 211752 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.24 s, system=2.98374 s

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

[startup+3266.4 s]
/proc/loadavg: 3.93 4.43 4.57 5/261 58097
/proc/meminfo: memFree=108758656/131249988 swapFree=33010160/33010684
[pid=57777] ppid=57774 vsize=234148 memory=178228 CPUtime=3600.2 cores=5,7
/proc/57777/stat : 57777 (pb_competition_) R 57774 57777 56290 0 -1 4194304 487767 0 0 0 359723 297 0 0 20 0 2 0 56126847 239767552 44557 18446744073709551615 4198400 6788177 140733466592032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 38006784 140733466593626 140733466593752 140733466593752 140733466599354 0
/proc/57777/statm: 58537 44557 640 633 0 45940 0
[pid=57777/tid=57779] ppid=57774 vsize=234148 memory=10624 CPUtime=349.56 cores=5,7
/proc/57777/task/57779/stat : 57779 (pb_competition_) S 57774 57777 56290 0 -1 4194368 10966 0 0 0 34825 131 0 0 20 0 2 0 56126848 239767552 44557 18446744073709551615 4198400 6788177 140733466592032 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 38006784 140733466593626 140733466593752 140733466593752 140733466599354 0
Current children cumulated CPU time: 3600.2 s
Current children cumulated vsize: 234148 KiB
Current children cumulated memory: 178228 KiB

Child status: 0

Real time (s): 3266.42
CPU time (s): 3600.22
CPU user time (s): 3597.24
CPU system time (s): 2.98374
CPU usage (%): 110.219
Max. virtual memory (cumulated for all children) (KiB): 267752
Max. memory (cumulated for all children) (KiB): 211752

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.24
system time used= 2.98374
maximum resident set size= 211752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 491439
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= 147976
involuntary context switches= 9758


# summary of solver processes directly reported to runsolver:
#   pid: 57777
#   total CPU time (s): 3600.22
#   total CPU user time (s): 3597.24
#   total CPU system time (s): 2.98374

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.50864 second user time and 15.6793 second system time

The end