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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4498382-1751388638/watcher-4498382-1751388638 -o /tmp/evaluation-result-4498382-1751388638/solver-4498382-1751388638 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751382437-58272 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 756267113 HOME/instance-4498382-1751388638.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=59043, runsolver pid=59040

[startup+0.100063 s]*
/proc/loadavg: 5.64 5.81 5.72 6/268 59045
/proc/meminfo: memFree=129340716/131250000 swapFree=33010684/33010684
[pid=59043] ppid=59040 vsize=105508 memory=34832 CPUtime=0.12 cores=0,2
/proc/59043/stat : 59043 (pb_competition_) R 59040 59043 58262 0 -1 4194304 8407 0 0 0 11 1 0 0 20 0 2 0 54544064 108040192 8708 18446744073709551615 4198400 6788177 140730733287888 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 7336896 7391280 22962176 140730733295962 140730733296088 140730733296088 140730733301690 0
/proc/59043/statm: 26377 8708 576 633 0 10262 0
[pid=59043/tid=59045] ppid=59040 vsize=105508 memory=4026531960 CPUtime=0.01 cores=0,2
/proc/59043/task/59045/stat : 59045 (pb_competition_) S 59040 59043 58262 0 -1 4194368 1087 0 0 0 1 0 0 0 20 0 2 0 54544064 108040192 8708 18446744073709551615 4198400 6788177 140730733287888 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 7336896 7391280 22962176 140730733295962 140730733296088 140730733296088 140730733301690 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 105508 KiB
Current children cumulated memory: 34832 KiB

[startup+0.205634 s]*
/proc/loadavg: 5.64 5.81 5.72 6/268 59045
/proc/meminfo: memFree=129321060/131250000 swapFree=33010684/33010684
[pid=59043] ppid=59040 vsize=123248 memory=52560 CPUtime=0.22 cores=0,2
/proc/59043/stat : 59043 (pb_competition_) R 59040 59043 58262 0 -1 4194304 13528 0 0 0 20 2 0 0 20 0 2 0 54544064 126205952 13140 18446744073709551615 4198400 6788177 140730733287888 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 7336896 7391280 22962176 140730733295962 140730733296088 140730733296088 140730733301690 0
/proc/59043/statm: 30812 13140 576 633 0 14697 0
[pid=59043/tid=59045] ppid=59040 vsize=123248 memory=664958721904869660 CPUtime=0.01 cores=0,2
/proc/59043/task/59045/stat : 59045 (pb_competition_) S 59040 59043 58262 0 -1 4194368 1087 0 0 0 1 0 0 0 20 0 2 0 54544064 126205952 13140 18446744073709551615 4198400 6788177 140730733287888 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 7336896 7391280 22962176 140730733295962 140730733296088 140730733296088 140730733301690 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 123248 KiB
Current children cumulated memory: 52560 KiB

[startup+0.305618 s]*
/proc/loadavg: 5.64 5.81 5.72 7/268 59045
/proc/meminfo: memFree=129303420/131250000 swapFree=33010684/33010684
[pid=59043] ppid=59040 vsize=139400 memory=70736 CPUtime=0.35 cores=0,2
/proc/59043/stat : 59043 (pb_competition_) R 59040 59043 58262 0 -1 4194304 18101 0 0 0 32 3 0 0 20 0 2 0 54544064 142745600 17684 18446744073709551615 4198400 6788177 140730733287888 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 7336896 7391280 22962176 140730733295962 140730733296088 140730733296088 140730733301690 0
/proc/59043/statm: 34850 17684 608 633 0 19250 0
[pid=59043/tid=59045] ppid=59040 vsize=139400 memory=7969546702030388586 CPUtime=0.04 cores=0,2
/proc/59043/task/59045/stat : 59045 (pb_competition_) S 59040 59043 58262 0 -1 4194368 1604 0 0 0 4 0 0 0 20 0 2 0 54544064 142745600 17684 18446744073709551615 4198400 6788177 140730733287888 0 0 0 0 0 0 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 22962176 140730733295962 140730733296088 140730733296088 140730733301690 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 139400 KiB
Current children cumulated memory: 70736 KiB

[startup+0.700206 s]
/proc/loadavg: 5.64 5.81 5.72 6/268 59045
/proc/meminfo: memFree=129163100/131250000 swapFree=33010684/33010684
[pid=59043] ppid=59040 vsize=291072 memory=242412 CPUtime=0.88 cores=0,2
/proc/59043/stat : 59043 (pb_competition_) R 59040 59043 58262 0 -1 4194304 39507 0 0 0 81 7 0 0 20 0 2 0 54544064 298057728 60603 18446744073709551615 4198400 6788177 140730733287888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 22962176 140730733295962 140730733296088 140730733296088 140730733301690 0
/proc/59043/statm: 72768 60603 640 633 0 62115 0
[pid=59043/tid=59045] ppid=59040 vsize=291072 memory=13952 CPUtime=0.19 cores=0,2
/proc/59043/task/59045/stat : 59045 (pb_competition_) S 59040 59043 58262 0 -1 4194368 6551 0 0 0 18 1 0 0 20 0 2 0 54544064 298057728 60603 18446744073709551615 4198400 6788177 140730733287888 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 22962176 140730733295962 140730733296088 140730733296088 140730733301690 0
Current children cumulated CPU time: 0.88 s
Current children cumulated vsize: 291072 KiB
Current children cumulated memory: 242412 KiB

[startup+1.50019 s]
/proc/loadavg: 5.64 5.81 5.72 7/268 59045
/proc/meminfo: memFree=129110620/131250000 swapFree=33010684/33010684
[pid=59043] ppid=59040 vsize=404716 memory=356036 CPUtime=1.67 cores=0,2
/proc/59043/stat : 59043 (pb_competition_) R 59040 59043 58262 0 -1 4194304 106278 0 0 0 153 14 0 0 20 0 2 0 54544064 414429184 89009 18446744073709551615 4198400 6788177 140730733287888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 22962176 140730733295962 140730733296088 140730733296088 140730733301690 0
/proc/59043/statm: 101179 89009 640 633 0 90526 0
[pid=59043/tid=59045] ppid=59040 vsize=404716 memory=13952 CPUtime=0.19 cores=0,2
/proc/59043/task/59045/stat : 59045 (pb_competition_) S 59040 59043 58262 0 -1 4194368 6551 0 0 0 18 1 0 0 20 0 2 0 54544064 414429184 89009 18446744073709551615 4198400 6788177 140730733287888 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 22962176 140730733295962 140730733296088 140730733296088 140730733301690 0
Current children cumulated CPU time: 1.67 s
Current children cumulated vsize: 404716 KiB
Current children cumulated memory: 356036 KiB

[startup+3.1056 s]
/proc/loadavg: 5.64 5.81 5.72 7/268 59045
/proc/meminfo: memFree=128751740/131250000 swapFree=33010684/33010684
[pid=59043] ppid=59040 vsize=663840 memory=615236 CPUtime=3.28 cores=0,2
/proc/59043/stat : 59043 (pb_competition_) R 59040 59043 58262 0 -1 4194304 208872 0 0 0 300 28 0 0 20 0 2 0 54544064 679772160 153809 18446744073709551615 4198400 6788177 140730733287888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 22962176 140730733295962 140730733296088 140730733296088 140730733301690 0
/proc/59043/statm: 165960 153809 640 633 0 155307 0
[pid=59043/tid=59045] ppid=59040 vsize=663840 memory=364792 CPUtime=0.19 cores=0,2
/proc/59043/task/59045/stat : 59045 (pb_competition_) S 59040 59043 58262 0 -1 4194368 7268 0 0 0 18 1 0 0 20 0 2 0 54544064 679772160 153809 18446744073709551615 4198400 6788177 140730733287888 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 22962176 140730733295962 140730733296088 140730733296088 140730733301690 0
Current children cumulated CPU time: 3.28 s
Current children cumulated vsize: 663840 KiB
Current children cumulated memory: 615236 KiB

[startup+6.30018 s]
/proc/loadavg: 5.59 5.80 5.71 7/268 59046
/proc/meminfo: memFree=128743548/131250000 swapFree=33010684/33010684
[pid=59043] ppid=59040 vsize=664032 memory=615444 CPUtime=6.72 cores=0,2
/proc/59043/stat : 59043 (pb_competition_) R 59040 59043 58262 0 -1 4194304 339305 0 0 0 627 45 0 0 20 0 2 0 54544064 679968768 153861 18446744073709551615 4198400 6788177 140730733287888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 22962176 140730733295962 140730733296088 140730733296088 140730733301690 0
/proc/59043/statm: 166008 153861 640 633 0 155355 0
[pid=59043/tid=59045] ppid=59040 vsize=664032 memory=13952 CPUtime=0.45 cores=0,2
/proc/59043/task/59045/stat : 59045 (pb_competition_) S 59040 59043 58262 0 -1 4194368 7315 0 0 0 44 1 0 0 20 0 2 0 54544064 679968768 153861 18446744073709551615 4198400 6788177 140730733287888 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 22962176 140730733295962 140730733296088 140730733296088 140730733301690 0
Current children cumulated CPU time: 6.72 s
Current children cumulated vsize: 664032 KiB
Current children cumulated memory: 615444 KiB

[startup+12.7002 s]
/proc/loadavg: 5.46 5.77 5.70 6/268 59046
/proc/meminfo: memFree=128743568/131250000 swapFree=33010684/33010684
[pid=59043] ppid=59040 vsize=654656 memory=606224 CPUtime=15.54 cores=0,2
/proc/59043/stat : 59043 (pb_competition_) R 59040 59043 58262 0 -1 4194304 544567 0 0 0 1491 63 0 0 20 0 2 0 54544064 670367744 151556 18446744073709551615 4198400 6788177 140730733287888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 22962176 140730733295962 140730733296088 140730733296088 140730733301690 0
/proc/59043/statm: 163664 151556 640 633 0 153011 0
[pid=59043/tid=59045] ppid=59040 vsize=654656 memory=606224 CPUtime=2.9 cores=0,2
/proc/59043/task/59045/stat : 59045 (pb_competition_) S 59040 59043 58262 0 -1 4194368 11022 0 0 0 288 2 0 0 20 0 2 0 54544064 670367744 151556 18446744073709551615 4198400 6788177 140730733287888 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 22962176 140730733295962 140730733296088 140730733296088 140730733301690 0
Current children cumulated CPU time: 15.54 s
Current children cumulated vsize: 654656 KiB
Current children cumulated memory: 606224 KiB

[startup+25.5002 s]
/proc/loadavg: 5.65 5.79 5.71 6/268 59046
/proc/meminfo: memFree=128741692/131250000 swapFree=33010684/33010684
[pid=59043] ppid=59040 vsize=654656 memory=606252 CPUtime=37.44 cores=0,2
/proc/59043/stat : 59043 (pb_competition_) R 59040 59043 58262 0 -1 4194304 699744 0 0 0 3667 77 0 0 20 0 2 0 54544064 670367744 151563 18446744073709551615 4198400 6788177 140730733287888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 22962176 140730733295962 140730733296088 140730733296088 140730733301690 0
/proc/59043/statm: 163664 151563 640 633 0 153011 0
[pid=59043/tid=59045] ppid=59040 vsize=654656 memory=606252 CPUtime=12.11 cores=0,2
/proc/59043/task/59045/stat : 59045 (pb_competition_) R 59040 59043 58262 0 -1 4194368 16272 0 0 0 1207 4 0 0 20 0 2 0 54544064 670367744 151563 18446744073709551615 4198400 6788177 140730733287888 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 22962176 140730733295962 140730733296088 140730733296088 140730733301690 0
Current children cumulated CPU time: 37.44 s
Current children cumulated vsize: 654656 KiB
Current children cumulated memory: 606252 KiB

[startup+51.1056 s]
/proc/loadavg: 5.42 5.73 5.70 6/268 59047
/proc/meminfo: memFree=128739664/131250000 swapFree=33010684/33010684
[pid=59043] ppid=59040 vsize=654656 memory=606252 CPUtime=75.16 cores=0,2
/proc/59043/stat : 59043 (pb_competition_) R 59040 59043 58262 0 -1 4194304 1075297 0 0 0 7379 137 0 0 20 0 2 0 54544064 670367744 151563 18446744073709551615 4198400 6788177 140730733287888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 22962176 140730733295962 140730733296088 140730733296088 140730733301690 0
/proc/59043/statm: 163664 151563 640 633 0 153011 0
[pid=59043/tid=59045] ppid=59040 vsize=654656 memory=13952 CPUtime=24.39 cores=0,2
/proc/59043/task/59045/stat : 59045 (pb_competition_) R 59040 59043 58262 0 -1 4194368 22395 0 0 0 2432 7 0 0 20 0 2 0 54544064 670367744 151563 18446744073709551615 4198400 6788177 140730733287888 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 22962176 140730733295962 140730733296088 140730733296088 140730733301690 0
Current children cumulated CPU time: 75.16 s
Current children cumulated vsize: 654656 KiB
Current children cumulated memory: 606252 KiB

[startup+102.3 s]
/proc/loadavg: 5.45 5.68 5.68 8/268 59048
/proc/meminfo: memFree=128727492/131250000 swapFree=33010684/33010684
[pid=59043] ppid=59040 vsize=654656 memory=606252 CPUtime=143.87 cores=0,2
/proc/59043/stat : 59043 (pb_competition_) R 59040 59043 58262 0 -1 4194304 1616878 0 0 0 14142 245 0 0 20 0 2 0 54544064 670367744 151563 18446744073709551615 4198400 6788177 140730733287888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 22962176 140730733295962 140730733296088 140730733296088 140730733301690 0
/proc/59043/statm: 163664 151563 640 633 0 153011 0
[pid=59043/tid=59045] ppid=59040 vsize=654656 memory=13952 CPUtime=42.19 cores=0,2
/proc/59043/task/59045/stat : 59045 (pb_competition_) S 59040 59043 58262 0 -1 4194368 27354 0 0 0 4208 11 0 0 20 0 2 0 54544064 670367744 151563 18446744073709551615 4198400 6788177 140730733287888 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 22962176 140730733295962 140730733296088 140730733296088 140730733301690 0
Current children cumulated CPU time: 143.87 s
Current children cumulated vsize: 654656 KiB
Current children cumulated memory: 606252 KiB

[startup+162.3 s]
/proc/loadavg: 5.37 5.63 5.66 6/268 59053
/proc/meminfo: memFree=128758652/131250000 swapFree=33010684/33010684
[pid=59043] ppid=59040 vsize=654656 memory=606296 CPUtime=225.19 cores=0,2
/proc/59043/stat : 59043 (pb_competition_) R 59040 59043 58262 0 -1 4194304 2495264 0 0 0 22090 429 0 0 20 0 2 0 54544064 670367744 151574 18446744073709551615 4198400 6788177 140730733287888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 22962176 140730733295962 140730733296088 140730733296088 140730733301690 0
/proc/59043/statm: 163664 151574 640 633 0 153011 0
[pid=59043/tid=59045] ppid=59040 vsize=654656 memory=610784 CPUtime=63.81 cores=0,2
/proc/59043/task/59045/stat : 59045 (pb_competition_) S 59040 59043 58262 0 -1 4194368 31018 0 0 0 6367 14 0 0 20 0 2 0 54544064 670367744 151574 18446744073709551615 4198400 6788177 140730733287888 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 22962176 140730733295962 140730733296088 140730733296088 140730733301690 0
Current children cumulated CPU time: 225.19 s
Current children cumulated vsize: 654656 KiB
Current children cumulated memory: 606296 KiB

[startup+222.3 s]
/proc/loadavg: 5.43 5.59 5.64 7/268 59056
/proc/meminfo: memFree=128735072/131250000 swapFree=33010684/33010684
[pid=59043] ppid=59040 vsize=654656 memory=606252 CPUtime=307.66 cores=0,2
/proc/59043/stat : 59043 (pb_competition_) R 59040 59043 58262 0 -1 4194304 3175824 0 0 0 30180 586 0 0 20 0 2 0 54544064 670367744 151563 18446744073709551615 4198400 6788177 140730733287888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 22962176 140730733295962 140730733296088 140730733296088 140730733301690 0
/proc/59043/statm: 163664 151563 640 633 0 153011 0
[pid=59043/tid=59045] ppid=59040 vsize=654656 memory=13952 CPUtime=86.63 cores=0,2
/proc/59043/task/59045/stat : 59045 (pb_competition_) R 59040 59043 58262 0 -1 4194368 31904 0 0 0 8644 19 0 0 20 0 2 0 54544064 670367744 151563 18446744073709551615 4198400 6788177 140730733287888 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 22962176 140730733295962 140730733296088 140730733296088 140730733301690 0
Current children cumulated CPU time: 307.66 s
Current children cumulated vsize: 654656 KiB
Current children cumulated memory: 606252 KiB

[startup+282.3 s]
/proc/loadavg: 5.27 5.54 5.62 6/268 59058
/proc/meminfo: memFree=128751420/131250000 swapFree=33010684/33010684
[pid=59043] ppid=59040 vsize=654656 memory=606144 CPUtime=392.82 cores=0,2
/proc/59043/stat : 59043 (pb_competition_) R 59040 59043 58262 0 -1 4194304 3829844 0 0 0 38549 733 0 0 20 0 2 0 54544064 670367744 151536 18446744073709551615 4198400 6788177 140730733287888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 22962176 140730733295962 140730733296088 140730733296088 140730733301690 0
/proc/59043/statm: 163664 151536 640 633 0 153011 0
[pid=59043/tid=59045] ppid=59040 vsize=654656 memory=606304 CPUtime=112.12 cores=0,2
/proc/59043/task/59045/stat : 59045 (pb_competition_) R 59040 59043 58262 0 -1 4194368 32505 0 0 0 11188 24 0 0 20 0 2 0 54544064 670367744 151536 18446744073709551615 4198400 6788177 140730733287888 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 22962176 140730733295962 140730733296088 140730733296088 140730733301690 0
Current children cumulated CPU time: 392.82 s
Current children cumulated vsize: 654656 KiB
Current children cumulated memory: 606144 KiB

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

/proc/meminfo: memFree=128301412/131250000 swapFree=33010684/33010684
[pid=59043] ppid=59040 vsize=661348 memory=612704 CPUtime=2867.99 cores=0,2
/proc/59043/stat : 59043 (pb_competition_) R 59040 59043 58262 0 -1 4194304 34384806 0 0 0 279651 7148 0 0 20 0 2 0 54544064 677220352 153176 18446744073709551615 4198400 6788177 140730733287888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 22962176 140730733295962 140730733296088 140730733296088 140730733301690 0
/proc/59043/statm: 165337 153176 640 633 0 154684 0
[pid=59043/tid=59045] ppid=59040 vsize=661348 memory=619232 CPUtime=796.8 cores=0,2
/proc/59043/task/59045/stat : 59045 (pb_competition_) S 59040 59043 58262 0 -1 4194368 42997 0 0 0 79515 165 0 0 20 0 2 0 54544064 677220352 153208 18446744073709551615 4198400 6788177 140730733287888 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 22962176 140730733295962 140730733296088 140730733296088 140730733301690 0
Current children cumulated CPU time: 2867.99 s
Current children cumulated vsize: 661348 KiB
Current children cumulated memory: 612704 KiB

[startup+2142.3 s]
/proc/loadavg: 5.98 5.84 5.68 7/267 59251
/proc/meminfo: memFree=128283732/131250000 swapFree=33010684/33010684
[pid=59043] ppid=59040 vsize=660556 memory=611936 CPUtime=2950.97 cores=0,2
/proc/59043/stat : 59043 (pb_competition_) R 59040 59043 58262 0 -1 4194304 35524693 0 0 0 287730 7367 0 0 20 0 2 0 54544064 676409344 152984 18446744073709551615 4198400 6788177 140730733287888 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 22962176 140730733295962 140730733296088 140730733296088 140730733301690 0
/proc/59043/statm: 165139 152984 640 633 0 154486 0
[pid=59043/tid=59045] ppid=59040 vsize=660556 memory=619232 CPUtime=820.07 cores=0,2
/proc/59043/task/59045/stat : 59045 (pb_competition_) S 59040 59043 58262 0 -1 4194368 43037 0 0 0 81838 169 0 0 20 0 2 0 54544064 676409344 152984 18446744073709551615 4198400 6788177 140730733287888 0 0 0 0 0 8404994 1 0 0 -1 0 0 0 0 0 0 7336896 7391280 22962176 140730733295962 140730733296088 140730733296088 140730733301690 0
Current children cumulated CPU time: 2950.97 s
Current children cumulated vsize: 660556 KiB
Current children cumulated memory: 611936 KiB

[startup+2202.3 s]
/proc/loadavg: 6.46 6.02 5.75 7/267 59253
/proc/meminfo: memFree=128289708/131250000 swapFree=33010684/33010684
[pid=59043] ppid=59040 vsize=654656 memory=606252 CPUtime=3034.96 cores=0,2
/proc/59043/stat : 59043 (pb_competition_) R 59040 59043 58262 0 -1 4194304 36545217 0 0 0 295916 7580 0 0 20 0 2 0 54544064 670367744 151563 18446744073709551615 4198400 6788177 140730733287888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 22962176 140730733295962 140730733296088 140730733296088 140730733301690 0
/proc/59043/statm: 163664 151563 640 633 0 153011 0
[pid=59043/tid=59045] ppid=59040 vsize=654656 memory=619232 CPUtime=844.38 cores=0,2
/proc/59043/task/59045/stat : 59045 (pb_competition_) R 59040 59043 58262 0 -1 4194368 43079 0 0 0 84265 173 0 0 20 0 2 0 54544064 670367744 151563 18446744073709551615 4198400 6788177 140730733287888 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 22962176 140730733295962 140730733296088 140730733296088 140730733301690 0
Current children cumulated CPU time: 3034.96 s
Current children cumulated vsize: 654656 KiB
Current children cumulated memory: 606252 KiB

[startup+2262.3 s]
/proc/loadavg: 5.86 5.95 5.74 6/268 59260
/proc/meminfo: memFree=128307168/131250000 swapFree=33010684/33010684
[pid=59043] ppid=59040 vsize=659376 memory=610972 CPUtime=3118.36 cores=0,2
/proc/59043/stat : 59043 (pb_competition_) R 59040 59043 58262 0 -1 4194304 37383487 0 0 0 304063 7773 0 0 20 0 2 0 54544064 675201024 152743 18446744073709551615 4198400 6788177 140730733287888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 22962176 140730733295962 140730733296088 140730733296088 140730733301690 0
/proc/59043/statm: 164844 152743 640 633 0 154191 0
[pid=59043/tid=59045] ppid=59040 vsize=659376 memory=606252 CPUtime=868.14 cores=0,2
/proc/59043/task/59045/stat : 59045 (pb_competition_) R 59040 59043 58262 0 -1 4194368 43117 0 0 0 86636 178 0 0 20 0 2 0 54544064 675201024 152743 18446744073709551615 4198400 6788177 140730733287888 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 22962176 140730733295962 140730733296088 140730733296088 140730733301690 0
Current children cumulated CPU time: 3118.36 s
Current children cumulated vsize: 659376 KiB
Current children cumulated memory: 610972 KiB

[startup+2322.3 s]
/proc/loadavg: 5.93 5.94 5.76 8/267 59306
/proc/meminfo: memFree=128361872/131250000 swapFree=33010684/33010684
[pid=59043] ppid=59040 vsize=654656 memory=606208 CPUtime=3202.93 cores=0,2
/proc/59043/stat : 59043 (pb_competition_) R 59040 59043 58262 0 -1 4194304 38189812 0 0 0 312330 7963 0 0 20 0 2 0 54544064 670367744 151552 18446744073709551615 4198400 6788177 140730733287888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 22962176 140730733295962 140730733296088 140730733296088 140730733301690 0
/proc/59043/statm: 163664 151552 640 633 0 153011 0
[pid=59043/tid=59045] ppid=59040 vsize=654656 memory=606252 CPUtime=893.04 cores=0,2
/proc/59043/task/59045/stat : 59045 (pb_competition_) S 59040 59043 58262 0 -1 4194368 43132 0 0 0 89122 182 0 0 20 0 2 0 54544064 670367744 151552 18446744073709551615 4198400 6788177 140730733287888 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 22962176 140730733295962 140730733296088 140730733296088 140730733301690 0
Current children cumulated CPU time: 3202.93 s
Current children cumulated vsize: 654656 KiB
Current children cumulated memory: 606208 KiB

[startup+2382.3 s]
/proc/loadavg: 5.86 5.91 5.75 6/267 59308
/proc/meminfo: memFree=128336660/131250000 swapFree=33010684/33010684
[pid=59043] ppid=59040 vsize=659376 memory=610972 CPUtime=3288.92 cores=0,2
/proc/59043/stat : 59043 (pb_competition_) R 59040 59043 58262 0 -1 4194304 39081221 0 0 0 320747 8145 0 0 20 0 2 0 54544064 675201024 152743 18446744073709551615 4198400 6788177 140730733287888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 22962176 140730733295962 140730733296088 140730733296088 140730733301690 0
/proc/59043/statm: 164844 152743 640 633 0 154191 0
[pid=59043/tid=59045] ppid=59040 vsize=659376 memory=606252 CPUtime=919.37 cores=0,2
/proc/59043/task/59045/stat : 59045 (pb_competition_) R 59040 59043 58262 0 -1 4194368 43156 0 0 0 91751 186 0 0 20 0 2 0 54544064 675201024 152743 18446744073709551615 4198400 6788177 140730733287888 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 22962176 140730733295962 140730733296088 140730733296088 140730733301690 0
Current children cumulated CPU time: 3288.92 s
Current children cumulated vsize: 659376 KiB
Current children cumulated memory: 610972 KiB

[startup+2442.3 s]
/proc/loadavg: 6.43 6.04 5.81 5/267 59311
/proc/meminfo: memFree=128275164/131250000 swapFree=33010684/33010684
[pid=59043] ppid=59040 vsize=659376 memory=610972 CPUtime=3374.89 cores=0,2
/proc/59043/stat : 59043 (pb_competition_) R 59040 59043 58262 0 -1 4194304 39984885 0 0 0 329161 8328 0 0 20 0 2 0 54544064 675201024 152743 18446744073709551615 4198400 6788177 140730733287888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 22962176 140730733295962 140730733296088 140730733296088 140730733301690 0
/proc/59043/statm: 164844 152743 640 633 0 154191 0
[pid=59043/tid=59045] ppid=59040 vsize=659376 memory=606252 CPUtime=945.68 cores=0,2
/proc/59043/task/59045/stat : 59045 (pb_competition_) R 59040 59043 58262 0 -1 4194368 43194 0 0 0 94378 190 0 0 20 0 2 0 54544064 675201024 152743 18446744073709551615 4198400 6788177 140730733287888 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 22962176 140730733295962 140730733296088 140730733296088 140730733301690 0
Current children cumulated CPU time: 3374.89 s
Current children cumulated vsize: 659376 KiB
Current children cumulated memory: 610972 KiB

[startup+2502.3 s]
/proc/loadavg: 6.18 6.02 5.82 9/267 59313
/proc/meminfo: memFree=128289676/131250000 swapFree=33010684/33010684
[pid=59043] ppid=59040 vsize=659376 memory=610964 CPUtime=3459.75 cores=0,2
/proc/59043/stat : 59043 (pb_competition_) R 59040 59043 58262 0 -1 4194304 40966521 0 0 0 337450 8525 0 0 20 0 2 0 54544064 675201024 152741 18446744073709551615 4198400 6788177 140730733287888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 22962176 140730733295962 140730733296088 140730733296088 140730733301690 0
/proc/59043/statm: 164844 152741 640 633 0 154191 0
[pid=59043/tid=59045] ppid=59040 vsize=659376 memory=13952 CPUtime=970.86 cores=0,2
/proc/59043/task/59045/stat : 59045 (pb_competition_) R 59040 59043 58262 0 -1 4194368 43231 0 0 0 96891 195 0 0 20 0 2 0 54544064 675201024 152741 18446744073709551615 4198400 6788177 140730733287888 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 22962176 140730733295962 140730733296088 140730733296088 140730733301690 0
Current children cumulated CPU time: 3459.75 s
Current children cumulated vsize: 659376 KiB
Current children cumulated memory: 610964 KiB

[startup+2562.3 s]
/proc/loadavg: 6.48 6.14 5.87 6/266 59315
/proc/meminfo: memFree=128314240/131250000 swapFree=33010684/33010684
[pid=59043] ppid=59040 vsize=665148 memory=616604 CPUtime=3542.68 cores=0,2
/proc/59043/stat : 59043 (pb_competition_) R 59040 59043 58262 0 -1 4194304 42089890 0 0 0 345519 8749 0 0 20 0 2 0 54544064 681111552 154151 18446744073709551615 4198400 6788177 140730733287888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 22962176 140730733295962 140730733296088 140730733296088 140730733301690 0
/proc/59043/statm: 166287 154151 640 633 0 155634 0
[pid=59043/tid=59045] ppid=59040 vsize=665280 memory=610972 CPUtime=994.1 cores=0,2
/proc/59043/task/59045/stat : 59045 (pb_competition_) S 59040 59043 58262 0 -1 4194368 43255 0 0 0 99212 198 0 0 20 0 2 0 54544064 681246720 154151 18446744073709551615 4198400 6788177 140730733287888 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 22962176 140730733295962 140730733296088 140730733296088 140730733301690 0
Current children cumulated CPU time: 3542.68 s
Current children cumulated vsize: 665148 KiB
Current children cumulated memory: 616604 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2603.5 s]
/proc/loadavg: 6.43 6.17 5.90 7/266 59316
/proc/meminfo: memFree=128284152/131250000 swapFree=33010684/33010684
[pid=59043] ppid=59040 vsize=659376 memory=610972 CPUtime=3600.07 cores=0,2
/proc/59043/stat : 59043 (pb_competition_) R 59040 59043 58262 0 -1 4194304 42861816 0 0 0 351101 8906 0 0 20 0 2 0 54544064 675201024 152743 18446744073709551615 4198400 6788177 140730733287888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 22962176 140730733295962 140730733296088 140730733296088 140730733301690 0
/proc/59043/statm: 164844 152743 640 633 0 154191 0
[pid=59043/tid=59045] ppid=59040 vsize=659376 memory=621536 CPUtime=1010.5 cores=0,2
/proc/59043/task/59045/stat : 59045 (pb_competition_) S 59040 59043 58262 0 -1 4194368 43258 0 0 0 100848 202 0 0 20 0 2 0 54544064 675201024 152743 18446744073709551615 4198400 6788177 140730733287888 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 22962176 140730733295962 140730733296088 140730733296088 140730733301690 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 659376 KiB
Current children cumulated memory: 610972 KiB

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

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

# cumulated CPU time of all completed processes:  user=3511.35 s, system=89.092 s

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

[startup+2603.6 s]
/proc/loadavg: 6.43 6.17 5.90 7/266 59316
/proc/meminfo: memFree=128284152/131250000 swapFree=33010684/33010684
[pid=59043] ppid=59040 vsize=670164 memory=610972 CPUtime=3600.17 cores=0,2
/proc/59043/stat : 59043 (pb_competition_) R 59040 59043 58262 0 -1 4194304 42864001 0 0 0 351111 8906 0 0 20 0 2 0 54544064 686247936 152991 18446744073709551615 4198400 6788177 140730733287888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 22962176 140730733295962 140730733296088 140730733296088 140730733301690 0
/proc/59043/statm: 167541 152743 640 633 0 156888 0
[pid=59043/tid=59045] ppid=59040 vsize=670164 memory=5632 CPUtime=1010.5 cores=0,2
/proc/59043/task/59045/stat : 59045 (pb_competition_) S 59040 59043 58262 0 -1 4194368 43258 0 0 0 100848 202 0 0 20 0 2 0 54544064 686247936 152743 18446744073709551615 4198400 6788177 140730733287888 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 22962176 140730733295962 140730733296088 140730733296088 140730733301690 0
Current children cumulated CPU time: 3600.17 s
Current children cumulated vsize: 670164 KiB
Current children cumulated memory: 610972 KiB

[startup+2603.8 s]
/proc/loadavg: 6.43 6.17 5.90 7/266 59316
/proc/meminfo: memFree=128284152/131250000 swapFree=33010684/33010684
[pid=59043] ppid=59040 vsize=625000 memory=576596 CPUtime=3600.37 cores=0,2
/proc/59043/stat : 59043 (pb_competition_) R 59040 59043 58262 0 -1 4194304 42895648 0 0 0 351129 8908 0 0 20 0 2 0 54544064 640000000 144149 18446744073709551615 4198400 6788177 140730733287888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 22962176 140730733295962 140730733296088 140730733296088 140730733301690 0
/proc/59043/statm: 156250 144149 640 633 0 145597 0
[pid=59043/tid=59045] ppid=59040 vsize=625000 memory=245635481903 CPUtime=1010.5 cores=0,2
/proc/59043/task/59045/stat : 59045 (pb_competition_) S 59040 59043 58262 0 -1 4194368 43258 0 0 0 100848 202 0 0 20 0 2 0 54544064 640000000 144149 18446744073709551615 4198400 6788177 140730733287888 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 22962176 140730733295962 140730733296088 140730733296088 140730733301690 0
Current children cumulated CPU time: 3600.37 s
Current children cumulated vsize: 625000 KiB
Current children cumulated memory: 576596 KiB

Child status: 0

Real time (s): 2603.87
CPU time (s): 3600.45
CPU user time (s): 3511.35
CPU system time (s): 89.092
CPU usage (%): 138.273
Max. virtual memory (cumulated for all children) (KiB): 670296
Max. memory (cumulated for all children) (KiB): 621792

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3511.35
system time used= 89.092
maximum resident set size= 623844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42899752
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= 563145
involuntary context switches= 42729


# summary of solver processes directly reported to runsolver:
#   pid: 59043
#   total CPU time (s): 3600.45
#   total CPU user time (s): 3511.35
#   total CPU system time (s): 89.092

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.89489 second user time and 12.0234 second system time

The end