runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4098181-1466117275/watcher-4098181-1466117275 -o /tmp/evaluation-result-4098181-1466117275/solver-4098181-1466117275 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1466113195-23533 --watchdog 1960 open-wbo-lsu HOME/instance-4098181-1466117275.opb
pid=27688
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.03 2.03 2.00 3/176 27691
/proc/meminfo: memFree=31618184/32872528 swapFree=248296/248296
[pid=27691] ppid=27688 vsize=6744 CPUtime=0 cores=1,3,5,7
/proc/27691/stat : 27691 (open-wbo-lsu) R 27688 27691 21438 0 -1 4202496 1416 0 0 0 0 0 0 0 20 0 1 0 13777955 6905856 1291 33554432000 4194304 6058637 140735331392784 140735463008760 5042435 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/27691/statm: 1686 1291 1138 456 0 219 0
[startup+0.10016 s]
/proc/loadavg: 2.03 2.03 2.00 3/176 27691
/proc/meminfo: memFree=31618184/32872528 swapFree=248296/248296
[pid=27691] ppid=27688 vsize=7676 CPUtime=0.09 cores=1,3,5,7
/proc/27691/stat : 27691 (open-wbo-lsu) R 27688 27691 21438 0 -1 4202496 1662 0 0 0 9 0 0 0 20 0 1 0 13777955 7860224 1537 33554432000 4194304 6058637 140735331392784 140735463008760 5042435 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/27691/statm: 1919 1537 1138 456 0 452 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7676
[startup+0.200283 s]
/proc/loadavg: 2.03 2.03 2.00 3/176 27691
/proc/meminfo: memFree=31618184/32872528 swapFree=248296/248296
[pid=27691] ppid=27688 vsize=8084 CPUtime=0.19 cores=1,3,5,7
/proc/27691/stat : 27691 (open-wbo-lsu) R 27688 27691 21438 0 -1 4202496 1776 0 0 0 19 0 0 0 20 0 1 0 13777955 8278016 1651 33554432000 4194304 6058637 140735331392784 140735331391096 5042435 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/27691/statm: 2021 1651 1138 456 0 554 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 8084
[startup+0.300265 s]
/proc/loadavg: 2.03 2.03 2.00 3/176 27691
/proc/meminfo: memFree=31618184/32872528 swapFree=248296/248296
[pid=27691] ppid=27688 vsize=8540 CPUtime=0.29 cores=1,3,5,7
/proc/27691/stat : 27691 (open-wbo-lsu) R 27688 27691 21438 0 -1 4202496 1889 0 0 0 29 0 0 0 20 0 1 0 13777955 8744960 1764 33554432000 4194304 6058637 140735331392784 140735331391096 5130059 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/27691/statm: 2135 1764 1138 456 0 668 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8540
[startup+0.70024 s]
/proc/loadavg: 2.03 2.03 2.00 3/176 27691
/proc/meminfo: memFree=31618184/32872528 swapFree=248296/248296
[pid=27691] ppid=27688 vsize=17184 CPUtime=0.69 cores=1,3,5,7
/proc/27691/stat : 27691 (open-wbo-lsu) R 27688 27691 21438 0 -1 4202496 3892 0 0 0 69 0 0 0 20 0 1 0 13777955 17596416 3259 33554432000 4194304 6058637 140735331392784 140735331391096 5042435 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/27691/statm: 4296 3259 176 456 0 3832 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17184
[startup+1.50023 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 27692
/proc/meminfo: memFree=31600152/32872528 swapFree=248296/248296
[pid=27691] ppid=27688 vsize=18636 CPUtime=1.49 cores=1,3,5,7
/proc/27691/stat : 27691 (open-wbo-lsu) R 27688 27691 21438 0 -1 4202496 5614 0 0 0 149 0 0 0 20 0 1 0 13777955 19083264 4106 33554432000 4194304 6058637 140735331392784 140735331391816 4280035 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/27691/statm: 4659 4106 178 456 0 4195 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18636
[startup+3.10026 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 27692
/proc/meminfo: memFree=31554848/32872528 swapFree=248296/248296
[pid=27691] ppid=27688 vsize=31008 CPUtime=3.09 cores=1,3,5,7
/proc/27691/stat : 27691 (open-wbo-lsu) R 27688 27691 21438 0 -1 4202496 7222 0 0 0 308 1 0 0 20 0 1 0 13777955 31752192 7106 33554432000 4194304 6058637 140735331392784 140735331391400 4261333 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/27691/statm: 7752 7106 178 456 0 7288 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 31008
[startup+6.3003 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 27692
/proc/meminfo: memFree=31529180/32872528 swapFree=248296/248296
[pid=27691] ppid=27688 vsize=49684 CPUtime=6.29 cores=1,3,5,7
/proc/27691/stat : 27691 (open-wbo-lsu) R 27688 27691 21438 0 -1 4202496 7886 0 0 0 628 1 0 0 20 0 1 0 13777955 50876416 9154 33554432000 4194304 6058637 140735331392784 140735331391512 4254832 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/27691/statm: 12421 9154 178 456 0 11957 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 49684
[startup+12.7003 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 27692
/proc/meminfo: memFree=31489248/32872528 swapFree=248296/248296
[pid=27691] ppid=27688 vsize=68536 CPUtime=12.69 cores=1,3,5,7
/proc/27691/stat : 27691 (open-wbo-lsu) R 27688 27691 21438 0 -1 4202496 8578 0 0 0 1267 2 0 0 20 0 1 0 13777955 70180864 14443 33554432000 4194304 6058637 140735331392784 140735331391512 4277832 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/27691/statm: 17134 14443 178 456 0 16670 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 68536
[startup+25.5004 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 27692
/proc/meminfo: memFree=31468588/32872528 swapFree=248296/248296
[pid=27691] ppid=27688 vsize=68540 CPUtime=25.48 cores=1,3,5,7
/proc/27691/stat : 27691 (open-wbo-lsu) R 27688 27691 21438 0 -1 4202496 9988 0 0 0 2546 2 0 0 20 0 1 0 13777955 70184960 16441 33554432000 4194304 6058637 140735331392784 140735331391512 4278181 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/27691/statm: 17135 16441 178 456 0 16671 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 68540
[startup+51.1004 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 27692
/proc/meminfo: memFree=31498596/32872528 swapFree=248296/248296
[pid=27691] ppid=27688 vsize=80636 CPUtime=51.08 cores=1,3,5,7
/proc/27691/stat : 27691 (open-wbo-lsu) R 27688 27691 21438 0 -1 4202496 11173 0 0 0 5103 5 0 0 20 0 1 0 13777955 82571264 19752 33554432000 4194304 6058637 140735331392784 140735331391848 4278265 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/27691/statm: 20159 19752 178 456 0 19695 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 80636
[startup+102.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 27693
/proc/meminfo: memFree=31482192/32872528 swapFree=248296/248296
[pid=27691] ppid=27688 vsize=80636 CPUtime=102.27 cores=1,3,5,7
/proc/27691/stat : 27691 (open-wbo-lsu) R 27688 27691 21438 0 -1 4202496 12785 0 0 0 10218 9 0 0 20 0 1 0 13777955 82571264 19752 33554432000 4194304 6058637 140735331392784 140735331391848 4278255 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/27691/statm: 20159 19752 178 456 0 19695 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 80636
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 27698
/proc/meminfo: memFree=31398700/32872528 swapFree=248296/248296
[pid=27691] ppid=27688 vsize=160776 CPUtime=162.25 cores=1,3,5,7
/proc/27691/stat : 27691 (open-wbo-lsu) R 27688 27691 21438 0 -1 4202496 14986 0 0 0 16211 14 0 0 20 0 1 0 13777955 164634624 33254 33554432000 4194304 6058637 140735331392784 140735331391816 4277471 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/27691/statm: 40194 33254 178 456 0 39730 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 160776
[startup+222.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 27699
/proc/meminfo: memFree=31391264/32872528 swapFree=248296/248296
[pid=27691] ppid=27688 vsize=160776 CPUtime=222.25 cores=1,3,5,7
/proc/27691/stat : 27691 (open-wbo-lsu) R 27688 27691 21438 0 -1 4202496 16459 0 0 0 22208 17 0 0 20 0 1 0 13777955 164634624 33766 33554432000 4194304 6058637 140735331392784 140735331391816 4277655 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/27691/statm: 40194 33766 178 456 0 39730 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 160776
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27701
/proc/meminfo: memFree=31428376/32872528 swapFree=248296/248296
[pid=27691] ppid=27688 vsize=160776 CPUtime=282.24 cores=1,3,5,7
/proc/27691/stat : 27691 (open-wbo-lsu) R 27688 27691 21438 0 -1 4202496 17934 0 0 0 28203 21 0 0 20 0 1 0 13777955 164634624 33766 33554432000 4194304 6058637 140735331392784 140735331391816 4278328 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/27691/statm: 40194 33766 178 456 0 39730 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 160776
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27702
/proc/meminfo: memFree=31369584/32872528 swapFree=248296/248296
[pid=27691] ppid=27688 vsize=160776 CPUtime=342.23 cores=1,3,5,7
/proc/27691/stat : 27691 (open-wbo-lsu) R 27688 27691 21438 0 -1 4202496 19506 0 0 0 34199 24 0 0 20 0 1 0 13777955 164634624 38374 33554432000 4194304 6058637 140735331392784 140735331391816 4277708 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/27691/statm: 40194 38374 178 456 0 39730 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 160776
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27703
/proc/meminfo: memFree=31407368/32872528 swapFree=248296/248296
[pid=27691] ppid=27688 vsize=160776 CPUtime=402.23 cores=1,3,5,7
/proc/27691/stat : 27691 (open-wbo-lsu) R 27688 27691 21438 0 -1 4202496 21069 0 0 0 40195 28 0 0 20 0 1 0 13777955 164634624 39398 33554432000 4194304 6058637 140735331392784 140735331391816 4278171 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/27691/statm: 40194 39398 178 456 0 39730 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 160776
[startup+462.3 s]
/proc/loadavg: 1.69 1.93 1.97 2/170 27736
/proc/meminfo: memFree=31547720/32872528 swapFree=248296/248296
[pid=27691] ppid=27688 vsize=160776 CPUtime=462.21 cores=1,3,5,7
/proc/27691/stat : 27691 (open-wbo-lsu) R 27688 27691 21438 0 -1 4202496 22851 0 0 0 46191 30 0 0 20 0 1 0 13777955 164634624 39615 33554432000 4194304 6058637 140735331392784 140735331391816 4278190 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/27691/statm: 40194 39615 178 456 0 39730 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 160776
[startup+522.3 s]
/proc/loadavg: 1.41 1.79 1.92 2/170 27737
/proc/meminfo: memFree=31541164/32872528 swapFree=248296/248296
[pid=27691] ppid=27688 vsize=210864 CPUtime=522.2 cores=1,3,5,7
/proc/27691/stat : 27691 (open-wbo-lsu) R 27688 27691 21438 0 -1 4202496 25010 0 0 0 52186 34 0 0 20 0 1 0 13777955 215924736 41235 33554432000 4194304 6058637 140735331392784 140735331391816 4277708 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/27691/statm: 52716 41235 178 456 0 52252 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 210864
[startup+582.3 s]
/proc/loadavg: 1.15 1.64 1.86 2/170 27738
/proc/meminfo: memFree=31548644/32872528 swapFree=248296/248296
[pid=27691] ppid=27688 vsize=160776 CPUtime=582.2 cores=1,3,5,7
/proc/27691/stat : 27691 (open-wbo-lsu) R 27688 27691 21438 0 -1 4202496 25758 0 0 0 58183 37 0 0 20 0 1 0 13777955 164634624 39398 33554432000 4194304 6058637 140735331392784 140735331391816 4278160 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/27691/statm: 40194 39398 178 456 0 39730 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 160776
################
# More data... #
################
[startup+882.307 s]
/proc/loadavg: 1.02 1.27 1.63 2/170 27770
/proc/meminfo: memFree=31539024/32872528 swapFree=248296/248296
[pid=27691] ppid=27688 vsize=210864 CPUtime=882.13 cores=1,3,5,7
/proc/27691/stat : 27691 (open-wbo-lsu) R 27688 27691 21438 0 -1 4202496 32880 0 0 0 88161 52 0 0 20 0 1 0 13777955 215924736 41747 33554432000 4194304 6058637 140735331392784 140735331391816 4278181 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/27691/statm: 52716 41747 178 456 0 52252 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 210864
[startup+942.3 s]
/proc/loadavg: 1.01 1.22 1.59 2/170 27771
/proc/meminfo: memFree=31553020/32872528 swapFree=248296/248296
[pid=27691] ppid=27688 vsize=160776 CPUtime=942.12 cores=1,3,5,7
/proc/27691/stat : 27691 (open-wbo-lsu) R 27688 27691 21438 0 -1 4202496 33627 0 0 0 94158 54 0 0 20 0 1 0 13777955 164634624 38374 33554432000 4194304 6058637 140735331392784 140735331391816 4278265 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/27691/statm: 40194 38374 178 456 0 39730 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 160776
[startup+1002.3 s]
/proc/loadavg: 1.05 1.19 1.56 2/170 27772
/proc/meminfo: memFree=31573412/32872528 swapFree=248296/248296
[pid=27691] ppid=27688 vsize=160776 CPUtime=1002.11 cores=1,3,5,7
/proc/27691/stat : 27691 (open-wbo-lsu) R 27688 27691 21438 0 -1 4202496 35197 0 0 0 100154 57 0 0 20 0 1 0 13777955 164634624 33254 33554432000 4194304 6058637 140735331392784 140735331391816 4277708 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/27691/statm: 40194 33254 178 456 0 39730 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 160776
[startup+1062.3 s]
/proc/loadavg: 1.05 1.17 1.52 2/170 27774
/proc/meminfo: memFree=31521212/32872528 swapFree=248296/248296
[pid=27691] ppid=27688 vsize=210864 CPUtime=1062.1 cores=1,3,5,7
/proc/27691/stat : 27691 (open-wbo-lsu) R 27688 27691 21438 0 -1 4202496 36040 0 0 0 106151 59 0 0 20 0 1 0 13777955 215924736 46867 33554432000 4194304 6058637 140735331392784 140735331391816 4277708 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/27691/statm: 52716 46867 178 456 0 52252 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 210864
[startup+1122.3 s]
/proc/loadavg: 1.07 1.15 1.49 2/170 27775
/proc/meminfo: memFree=31556864/32872528 swapFree=248296/248296
[pid=27691] ppid=27688 vsize=160776 CPUtime=1122.08 cores=1,3,5,7
/proc/27691/stat : 27691 (open-wbo-lsu) R 27688 27691 21438 0 -1 4202496 36805 0 0 0 112147 61 0 0 20 0 1 0 13777955 164634624 37350 33554432000 4194304 6058637 140735331392784 140735331391816 4277672 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/27691/statm: 40194 37350 178 456 0 39730 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 160776
[startup+1182.3 s]
/proc/loadavg: 1.02 1.12 1.46 2/170 27776
/proc/meminfo: memFree=31520912/32872528 swapFree=248296/248296
[pid=27691] ppid=27688 vsize=210864 CPUtime=1182.08 cores=1,3,5,7
/proc/27691/stat : 27691 (open-wbo-lsu) R 27688 27691 21438 0 -1 4202496 37637 0 0 0 118145 63 0 0 20 0 1 0 13777955 215924736 46867 33554432000 4194304 6058637 140735331392784 140735331391816 4277708 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/27691/statm: 52716 46867 178 456 0 52252 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 210864
[startup+1242.3 s]
/proc/loadavg: 1.01 1.10 1.43 2/170 27777
/proc/meminfo: memFree=31551048/32872528 swapFree=248296/248296
[pid=27691] ppid=27688 vsize=160776 CPUtime=1242.07 cores=1,3,5,7
/proc/27691/stat : 27691 (open-wbo-lsu) R 27688 27691 21438 0 -1 4202496 38388 0 0 0 124141 66 0 0 20 0 1 0 13777955 164634624 38886 33554432000 4194304 6058637 140735331392784 140735331391816 4278328 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/27691/statm: 40194 38886 178 456 0 39730 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 160776
[startup+1302.3 s]
/proc/loadavg: 1.00 1.08 1.40 2/170 27778
/proc/meminfo: memFree=31585592/32872528 swapFree=248296/248296
[pid=27691] ppid=27688 vsize=129956 CPUtime=1302.06 cores=1,3,5,7
/proc/27691/stat : 27691 (open-wbo-lsu) R 27688 27691 21438 0 -1 4202496 39365 0 0 0 130138 68 0 0 20 0 1 0 13777955 133074944 30115 33554432000 4194304 6058637 140735331392784 140735331391848 4255178 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/27691/statm: 32489 30115 178 456 0 32025 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 129956
[startup+1362.3 s]
/proc/loadavg: 1.00 1.06 1.37 2/171 27783
/proc/meminfo: memFree=31541352/32872528 swapFree=248296/248296
[pid=27691] ppid=27688 vsize=210864 CPUtime=1362.04 cores=1,3,5,7
/proc/27691/stat : 27691 (open-wbo-lsu) R 27688 27691 21438 0 -1 4202496 40782 0 0 0 136134 70 0 0 20 0 1 0 13777955 215924736 41235 33554432000 4194304 6058637 140735331392784 140735331391816 4277708 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/27691/statm: 52716 41235 178 456 0 52252 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 210864
[startup+1422.3 s]
/proc/loadavg: 1.00 1.05 1.34 2/170 27784
/proc/meminfo: memFree=31577500/32872528 swapFree=248296/248296
[pid=27691] ppid=27688 vsize=160776 CPUtime=1422.05 cores=1,3,5,7
/proc/27691/stat : 27691 (open-wbo-lsu) R 27688 27691 21438 0 -1 4202496 41504 0 0 0 142132 73 0 0 20 0 1 0 13777955 164634624 32204 33554432000 4194304 6058637 140735331392784 140735331391816 4278190 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/27691/statm: 40194 32204 178 456 0 39730 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 160776
[startup+1482.3 s]
/proc/loadavg: 1.04 1.05 1.33 2/170 27785
/proc/meminfo: memFree=31535164/32872528 swapFree=248296/248296
[pid=27691] ppid=27688 vsize=210864 CPUtime=1482.02 cores=1,3,5,7
/proc/27691/stat : 27691 (open-wbo-lsu) R 27688 27691 21438 0 -1 4202496 42366 0 0 0 148128 74 0 0 20 0 1 0 13777955 215924736 42771 33554432000 4194304 6058637 140735331392784 140735331391816 4278229 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/27691/statm: 52716 42771 178 456 0 52252 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 210864
[startup+1542.31 s]
/proc/loadavg: 1.07 1.06 1.31 2/170 27786
/proc/meminfo: memFree=31575052/32872528 swapFree=248296/248296
[pid=27691] ppid=27688 vsize=160776 CPUtime=1542.01 cores=1,3,5,7
/proc/27691/stat : 27691 (open-wbo-lsu) R 27688 27691 21438 0 -1 4202496 43130 0 0 0 154125 76 0 0 20 0 1 0 13777955 164634624 32742 33554432000 4194304 6058637 140735331392784 140735331391816 4278265 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/27691/statm: 40194 32742 178 456 0 39730 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 160776
[startup+1602.3 s]
/proc/loadavg: 1.08 1.06 1.29 2/170 27787
/proc/meminfo: memFree=31534772/32872528 swapFree=248296/248296
[pid=27691] ppid=27688 vsize=210864 CPUtime=1602 cores=1,3,5,7
/proc/27691/stat : 27691 (open-wbo-lsu) R 27688 27691 21438 0 -1 4202496 43962 0 0 0 160122 78 0 0 20 0 1 0 13777955 215924736 42771 33554432000 4194304 6058637 140735331392784 140735331391816 4277708 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/27691/statm: 52716 42771 178 456 0 52252 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 210864
[startup+1662.3 s]
/proc/loadavg: 1.03 1.05 1.27 2/170 27789
/proc/meminfo: memFree=31579056/32872528 swapFree=248296/248296
[pid=27691] ppid=27688 vsize=129956 CPUtime=1661.99 cores=1,3,5,7
/proc/27691/stat : 27691 (open-wbo-lsu) R 27688 27691 21438 0 -1 4202496 44127 0 0 0 166120 79 0 0 20 0 1 0 13777955 133074944 31651 33554432000 4194304 6058637 140735331392784 140735331391848 4277708 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/27691/statm: 32489 31651 178 456 0 32025 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 129956
[startup+1722.3 s]
/proc/loadavg: 1.01 1.03 1.25 2/170 27790
/proc/meminfo: memFree=31536792/32872528 swapFree=248296/248296
[pid=27691] ppid=27688 vsize=210864 CPUtime=1721.98 cores=1,3,5,7
/proc/27691/stat : 27691 (open-wbo-lsu) R 27688 27691 21438 0 -1 4202496 45549 0 0 0 172117 81 0 0 20 0 1 0 13777955 215924736 42259 33554432000 4194304 6058637 140735331392784 140735331391816 4277708 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/27691/statm: 52716 42259 178 456 0 52252 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 210864
[startup+1782.3 s]
/proc/loadavg: 1.06 1.04 1.24 2/170 27791
/proc/meminfo: memFree=31503832/32872528 swapFree=248296/248296
[pid=27691] ppid=27688 vsize=210864 CPUtime=1781.95 cores=1,3,5,7
/proc/27691/stat : 27691 (open-wbo-lsu) R 27688 27691 21438 0 -1 4202496 45597 0 0 0 178113 82 0 0 20 0 1 0 13777955 215924736 50963 33554432000 4194304 6058637 140735331392784 140735331391816 4278165 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/27691/statm: 52716 50963 178 456 0 52252 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 210864
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 1.04 1.04 1.23 2/170 27791
/proc/meminfo: memFree=31566560/32872528 swapFree=248296/248296
[pid=27691] ppid=27688 vsize=160776 CPUtime=1800.05 cores=1,3,5,7
/proc/27691/stat : 27691 (open-wbo-lsu) R 27688 27691 21438 0 -1 4202496 46337 0 0 0 179922 83 0 0 20 0 1 0 13777955 164634624 34790 33554432000 4194304 6058637 140735331392784 140735331391816 4278190 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/27691/statm: 40194 34790 178 456 0 39730 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 160776
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 27691 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 40
Real time (s): 1800.4
CPU time (s): 1800.06
CPU user time (s): 1799.22
CPU system time (s): 0.836872
CPU usage (%): 99.981
Max. virtual memory (cumulated for all children) (KiB): 260184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.22
system time used= 0.836872
maximum resident set size= 251448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46340
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= 104
involuntary context switches= 1854
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.78527 second user time and 6.67598 second system time
The end