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-4102222-1466243256/watcher-4102222-1466243256 -o /tmp/evaluation-result-4102222-1466243256/solver-4102222-1466243256 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466241383-19987 --watchdog 1960 open-wbo HOME/instance-4102222-1466243256.opb
pid=20748
running on 4 cores: 0,2,4,6
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.14 2.22 2.18 3/176 20751
/proc/meminfo: memFree=30291192/32872528 swapFree=1431120/1543540
[pid=20751] ppid=20748 vsize=2676 CPUtime=0 cores=0,2,4,6
/proc/20751/stat : 20751 (open-wbo) R 20748 20751 19971 0 -1 4202496 415 0 0 0 0 0 0 0 20 0 1 0 26374282 2740224 290 33554432000 4194304 6059633 140733290114480 140734020529080 5043379 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/20751/statm: 669 290 185 456 0 153 0
[startup+0.100159 s]
/proc/loadavg: 2.14 2.22 2.18 3/176 20751
/proc/meminfo: memFree=30291192/32872528 swapFree=1431120/1543540
[pid=20751] ppid=20748 vsize=11280 CPUtime=0.09 cores=0,2,4,6
/proc/20751/stat : 20751 (open-wbo) R 20748 20751 19971 0 -1 4202496 1652 0 0 0 9 0 0 0 20 0 1 0 26374282 11550720 1459 33554432000 4194304 6059633 140733290114480 140734020529080 4280227 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/20751/statm: 2820 1459 180 456 0 2356 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11280
[startup+0.200346 s]
/proc/loadavg: 2.14 2.22 2.18 3/176 20751
/proc/meminfo: memFree=30291192/32872528 swapFree=1431120/1543540
[pid=20751] ppid=20748 vsize=12120 CPUtime=0.19 cores=0,2,4,6
/proc/20751/stat : 20751 (open-wbo) R 20748 20751 19971 0 -1 4202496 1813 0 0 0 19 0 0 0 20 0 1 0 26374282 12410880 1614 33554432000 4194304 6059633 140733290114480 140734020529080 4278425 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/20751/statm: 3030 1614 183 456 0 2566 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 12120
[startup+0.300262 s]
/proc/loadavg: 2.14 2.22 2.18 3/176 20751
/proc/meminfo: memFree=30291192/32872528 swapFree=1431120/1543540
[pid=20751] ppid=20748 vsize=12264 CPUtime=0.29 cores=0,2,4,6
/proc/20751/stat : 20751 (open-wbo) R 20748 20751 19971 0 -1 4202496 1880 0 0 0 29 0 0 0 20 0 1 0 26374282 12558336 1680 33554432000 4194304 6059633 140733290114480 140734020529080 4277900 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/20751/statm: 3066 1680 183 456 0 2602 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12264
[startup+0.700196 s]
/proc/loadavg: 2.14 2.22 2.18 3/176 20751
/proc/meminfo: memFree=30291192/32872528 swapFree=1431120/1543540
[pid=20751] ppid=20748 vsize=9336 CPUtime=0.68 cores=0,2,4,6
/proc/20751/stat : 20751 (open-wbo) R 20748 20751 19971 0 -1 4202496 2247 0 0 0 68 0 0 0 20 0 1 0 26374282 9560064 1806 33554432000 4194304 6059633 140733290114480 140734020529080 4280151 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/20751/statm: 2334 1806 185 456 0 1870 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 9336
[startup+1.50024 s]
/proc/loadavg: 2.14 2.22 2.18 3/177 20752
/proc/meminfo: memFree=30283868/32872528 swapFree=1431120/1543540
[pid=20751] ppid=20748 vsize=10436 CPUtime=1.48 cores=0,2,4,6
/proc/20751/stat : 20751 (open-wbo) R 20748 20751 19971 0 -1 4202496 2583 0 0 0 148 0 0 0 20 0 1 0 26374282 10686464 2127 33554432000 4194304 6059633 140733290114480 140733290113576 4255169 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/20751/statm: 2609 2127 185 456 0 2145 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 10436
[startup+3.10029 s]
/proc/loadavg: 2.14 2.22 2.18 3/177 20752
/proc/meminfo: memFree=30282760/32872528 swapFree=1431120/1543540
[pid=20751] ppid=20748 vsize=13344 CPUtime=3.08 cores=0,2,4,6
/proc/20751/stat : 20751 (open-wbo) R 20748 20751 19971 0 -1 4202496 3264 0 0 0 308 0 0 0 20 0 1 0 26374282 13664256 2840 33554432000 4194304 6059633 140733290114480 140733290113576 4277570 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/20751/statm: 3336 2840 186 456 0 2872 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 13344
[startup+6.30023 s]
/proc/loadavg: 2.21 2.23 2.18 3/177 20752
/proc/meminfo: memFree=30277752/32872528 swapFree=1431120/1543540
[pid=20751] ppid=20748 vsize=17772 CPUtime=6.29 cores=0,2,4,6
/proc/20751/stat : 20751 (open-wbo) R 20748 20751 19971 0 -1 4202496 3873 0 0 0 628 1 0 0 20 0 1 0 26374282 18198528 3915 33554432000 4194304 6059633 140733290114480 140733290113000 4280227 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/20751/statm: 4443 3915 187 456 0 3979 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17772
[startup+12.7003 s]
/proc/loadavg: 2.27 2.24 2.19 4/177 20752
/proc/meminfo: memFree=30272712/32872528 swapFree=1431120/1543540
[pid=20751] ppid=20748 vsize=26832 CPUtime=12.68 cores=0,2,4,6
/proc/20751/stat : 20751 (open-wbo) R 20748 20751 19971 0 -1 4202496 4601 0 0 0 1267 1 0 0 20 0 1 0 26374282 27475968 5100 33554432000 4194304 6059633 140733290114480 140733290113576 4255192 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/20751/statm: 6708 5100 187 456 0 6244 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 26832
[startup+25.5004 s]
/proc/loadavg: 2.21 2.23 2.18 4/177 20752
/proc/meminfo: memFree=30270812/32872528 swapFree=1431120/1543540
[pid=20751] ppid=20748 vsize=32104 CPUtime=25.48 cores=0,2,4,6
/proc/20751/stat : 20751 (open-wbo) R 20748 20751 19971 0 -1 4202496 5965 0 0 0 2547 1 0 0 20 0 1 0 26374282 32874496 7440 33554432000 4194304 6059633 140733290114480 140733290113576 4262374 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/20751/statm: 8026 7440 188 456 0 7562 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 32104
[startup+51.1004 s]
/proc/loadavg: 2.27 2.24 2.18 3/177 20752
/proc/meminfo: memFree=30262064/32872528 swapFree=1431120/1543540
[pid=20751] ppid=20748 vsize=34680 CPUtime=51.08 cores=0,2,4,6
/proc/20751/stat : 20751 (open-wbo) R 20748 20751 19971 0 -1 4202496 6080 0 0 0 5106 2 0 0 20 0 1 0 26374282 35512320 8061 33554432000 4194304 6059633 140733290114480 140733290113000 4277710 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/20751/statm: 8670 8061 188 456 0 8206 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 34680
[startup+102.3 s]
/proc/loadavg: 2.21 2.23 2.18 3/177 20754
/proc/meminfo: memFree=30241172/32872528 swapFree=1431120/1543540
[pid=20751] ppid=20748 vsize=53596 CPUtime=102.27 cores=0,2,4,6
/proc/20751/stat : 20751 (open-wbo) R 20748 20751 19971 0 -1 4202496 7202 0 0 0 10225 2 0 0 20 0 1 0 26374282 54882304 12148 33554432000 4194304 6059633 140733290114480 140733290113576 4278402 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/20751/statm: 13399 12148 188 456 0 12935 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 53596
[startup+162.3 s]
/proc/loadavg: 2.11 2.20 2.17 4/178 20758
/proc/meminfo: memFree=30231080/32872528 swapFree=1431120/1543540
[pid=20751] ppid=20748 vsize=53596 CPUtime=162.26 cores=0,2,4,6
/proc/20751/stat : 20751 (open-wbo) R 20748 20751 19971 0 -1 4202496 7696 0 0 0 16223 3 0 0 20 0 1 0 26374282 54882304 12710 33554432000 4194304 6059633 140733290114480 140733290113576 4255169 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/20751/statm: 13399 12710 188 456 0 12935 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 53596
[startup+222.307 s]
/proc/loadavg: 2.25 2.22 2.18 3/177 20759
/proc/meminfo: memFree=30202112/32872528 swapFree=1431120/1543540
[pid=20751] ppid=20748 vsize=78432 CPUtime=222.26 cores=0,2,4,6
/proc/20751/stat : 20751 (open-wbo) R 20748 20751 19971 0 -1 4202496 7942 0 0 0 22223 3 0 0 20 0 1 0 26374282 80314368 17551 33554432000 4194304 6059633 140733290114480 140733290113576 4255169 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/20751/statm: 19608 17551 188 456 0 19144 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 78432
[startup+282.3 s]
/proc/loadavg: 2.22 2.21 2.18 3/177 20760
/proc/meminfo: memFree=30198948/32872528 swapFree=1431120/1543540
[pid=20751] ppid=20748 vsize=78432 CPUtime=282.24 cores=0,2,4,6
/proc/20751/stat : 20751 (open-wbo) R 20748 20751 19971 0 -1 4202496 8283 0 0 0 28221 3 0 0 20 0 1 0 26374282 80314368 17887 33554432000 4194304 6059633 140733290114480 140733290113576 4262848 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/20751/statm: 19608 17887 188 456 0 19144 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 78432
[startup+342.3 s]
/proc/loadavg: 2.25 2.22 2.18 4/176 20761
/proc/meminfo: memFree=30196976/32872528 swapFree=1431120/1543540
[pid=20751] ppid=20748 vsize=78432 CPUtime=342.23 cores=0,2,4,6
/proc/20751/stat : 20751 (open-wbo) R 20748 20751 19971 0 -1 4202496 8480 0 0 0 34220 3 0 0 20 0 1 0 26374282 80314368 18595 33554432000 4194304 6059633 140733290114480 140733290113576 4277900 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/20751/statm: 19608 18595 188 456 0 19144 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 78432
[startup+402.3 s]
/proc/loadavg: 2.30 2.23 2.19 3/177 20764
/proc/meminfo: memFree=30192008/32872528 swapFree=1431120/1543540
[pid=20751] ppid=20748 vsize=78432 CPUtime=402.22 cores=0,2,4,6
/proc/20751/stat : 20751 (open-wbo) R 20748 20751 19971 0 -1 4202496 8487 0 0 0 40219 3 0 0 20 0 1 0 26374282 80314368 19113 33554432000 4194304 6059633 140733290114480 140733290113576 4255359 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/20751/statm: 19608 19113 188 456 0 19144 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 78432
[startup+462.3 s]
/proc/loadavg: 2.44 2.28 2.20 3/177 20765
/proc/meminfo: memFree=30191752/32872528 swapFree=1431120/1543540
[pid=20751] ppid=20748 vsize=78432 CPUtime=462.22 cores=0,2,4,6
/proc/20751/stat : 20751 (open-wbo) R 20748 20751 19971 0 -1 4202496 8565 0 0 0 46218 4 0 0 20 0 1 0 26374282 80314368 19120 33554432000 4194304 6059633 140733290114480 140733290113576 4278447 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/20751/statm: 19608 19120 188 456 0 19144 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 78432
[startup+522.3 s]
/proc/loadavg: 2.37 2.29 2.21 3/177 20766
/proc/meminfo: memFree=30156508/32872528 swapFree=1431120/1543540
[pid=20751] ppid=20748 vsize=127752 CPUtime=522.21 cores=0,2,4,6
/proc/20751/stat : 20751 (open-wbo) R 20748 20751 19971 0 -1 4202496 8713 0 0 0 52216 5 0 0 20 0 1 0 26374282 130818048 27372 33554432000 4194304 6059633 140733290114480 140733290113016 4278447 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/20751/statm: 31938 27372 188 456 0 31474 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 127752
[startup+582.3 s]
/proc/loadavg: 2.34 2.29 2.21 3/177 20767
/proc/meminfo: memFree=30185900/32872528 swapFree=1431120/1543540
[pid=20751] ppid=20748 vsize=78432 CPUtime=582.2 cores=0,2,4,6
/proc/20751/stat : 20751 (open-wbo) R 20748 20751 19971 0 -1 4202496 8787 0 0 0 58215 5 0 0 20 0 1 0 26374282 80314368 19126 33554432000 4194304 6059633 140733290114480 140733290113304 4255169 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/20751/statm: 19608 19126 188 456 0 19144 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 78432
################
# More data... #
################
[startup+942.3 s]
/proc/loadavg: 2.35 2.29 2.22 3/177 20800
/proc/meminfo: memFree=30119700/32872528 swapFree=1431120/1543540
[pid=20751] ppid=20748 vsize=139580 CPUtime=942.13 cores=0,2,4,6
/proc/20751/stat : 20751 (open-wbo) R 20748 20751 19971 0 -1 4202496 9669 0 0 0 94204 9 0 0 20 0 1 0 26374282 142929920 31881 33554432000 4194304 6059633 140733290114480 140733290113016 4277549 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/20751/statm: 34895 31881 188 456 0 34431 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 139580
[startup+1002.3 s]
/proc/loadavg: 2.18 2.25 2.21 3/177 20802
/proc/meminfo: memFree=30123668/32872528 swapFree=1431120/1543540
[pid=20751] ppid=20748 vsize=139580 CPUtime=1002.13 cores=0,2,4,6
/proc/20751/stat : 20751 (open-wbo) R 20748 20751 19971 0 -1 4202496 9746 0 0 0 100203 10 0 0 20 0 1 0 26374282 142929920 30348 33554432000 4194304 6059633 140733290114480 140733290113016 4255350 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/20751/statm: 34895 30348 188 456 0 34431 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 139580
[startup+1062.3 s]
/proc/loadavg: 2.24 2.26 2.21 3/177 20803
/proc/meminfo: memFree=30156376/32872528 swapFree=1431120/1543540
[pid=20751] ppid=20748 vsize=90260 CPUtime=1062.11 cores=0,2,4,6
/proc/20751/stat : 20751 (open-wbo) R 20748 20751 19971 0 -1 4202496 9756 0 0 0 106201 10 0 0 20 0 1 0 26374282 92426240 22103 33554432000 4194304 6059633 140733290114480 140733290113304 4278382 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/20751/statm: 22565 22103 188 456 0 22101 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 90260
[startup+1122.3 s]
/proc/loadavg: 2.22 2.26 2.21 4/177 20804
/proc/meminfo: memFree=30156592/32872528 swapFree=1431120/1543540
[pid=20751] ppid=20748 vsize=90260 CPUtime=1122.11 cores=0,2,4,6
/proc/20751/stat : 20751 (open-wbo) R 20748 20751 19971 0 -1 4202496 9835 0 0 0 112200 11 0 0 20 0 1 0 26374282 92426240 22103 33554432000 4194304 6059633 140733290114480 140733290113304 4255735 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/20751/statm: 22565 22103 188 456 0 22101 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 90260
[startup+1182.3 s]
/proc/loadavg: 2.13 2.22 2.20 3/177 20805
/proc/meminfo: memFree=30113336/32872528 swapFree=1431120/1543540
[pid=20751] ppid=20748 vsize=139580 CPUtime=1182.09 cores=0,2,4,6
/proc/20751/stat : 20751 (open-wbo) R 20748 20751 19971 0 -1 4202496 9913 0 0 0 118198 11 0 0 20 0 1 0 26374282 142929920 32912 33554432000 4194304 6059633 140733290114480 140733290113576 4255373 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/20751/statm: 34895 32912 188 456 0 34431 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 139580
[startup+1242.3 s]
/proc/loadavg: 2.20 2.22 2.19 3/177 20806
/proc/meminfo: memFree=30112156/32872528 swapFree=1431120/1543540
[pid=20751] ppid=20748 vsize=139580 CPUtime=1242.08 cores=0,2,4,6
/proc/20751/stat : 20751 (open-wbo) R 20748 20751 19971 0 -1 4202496 10370 0 0 0 124196 12 0 0 20 0 1 0 26374282 142929920 30864 33554432000 4194304 6059633 140733290114480 140733290113016 4277900 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/20751/statm: 34895 30864 188 456 0 34431 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 139580
[startup+1302.3 s]
/proc/loadavg: 2.25 2.24 2.20 3/177 20808
/proc/meminfo: memFree=30141892/32872528 swapFree=1431120/1543540
[pid=20751] ppid=20748 vsize=90260 CPUtime=1302.08 cores=0,2,4,6
/proc/20751/stat : 20751 (open-wbo) R 20748 20751 19971 0 -1 4202496 10967 0 0 0 130194 14 0 0 20 0 1 0 26374282 92426240 22107 33554432000 4194304 6059633 140733290114480 140733290113304 4246291 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/20751/statm: 22565 22107 188 456 0 22101 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 90260
[startup+1362.3 s]
/proc/loadavg: 2.22 2.22 2.19 3/178 20812
/proc/meminfo: memFree=30094512/32872528 swapFree=1431120/1543540
[pid=20751] ppid=20748 vsize=139580 CPUtime=1362.06 cores=0,2,4,6
/proc/20751/stat : 20751 (open-wbo) R 20748 20751 19971 0 -1 4202496 11046 0 0 0 136192 14 0 0 20 0 1 0 26374282 142929920 33939 33554432000 4194304 6059633 140733290114480 140733290113576 4278479 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/20751/statm: 34895 33939 188 456 0 34431 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 139580
[startup+1422.3 s]
/proc/loadavg: 2.19 2.21 2.18 3/177 20813
/proc/meminfo: memFree=30107256/32872528 swapFree=1431120/1543540
[pid=20751] ppid=20748 vsize=139580 CPUtime=1422.07 cores=0,2,4,6
/proc/20751/stat : 20751 (open-wbo) R 20748 20751 19971 0 -1 4202496 11704 0 0 0 142191 16 0 0 20 0 1 0 26374282 142929920 30867 33554432000 4194304 6059633 140733290114480 140733290113016 4255350 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/20751/statm: 34895 30867 188 456 0 34431 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 139580
[startup+1482.3 s]
/proc/loadavg: 2.25 2.22 2.19 3/177 20814
/proc/meminfo: memFree=30141828/32872528 swapFree=1431120/1543540
[pid=20751] ppid=20748 vsize=90260 CPUtime=1482.05 cores=0,2,4,6
/proc/20751/stat : 20751 (open-wbo) R 20748 20751 19971 0 -1 4202496 12302 0 0 0 148188 17 0 0 20 0 1 0 26374282 92426240 22110 33554432000 4194304 6059633 140733290114480 140733290113304 4255370 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/20751/statm: 22565 22110 188 456 0 22101 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 90260
[startup+1542.31 s]
/proc/loadavg: 2.14 2.19 2.18 4/177 20815
/proc/meminfo: memFree=30062200/32872528 swapFree=1431120/1543540
[pid=20751] ppid=20748 vsize=139580 CPUtime=1542.05 cores=0,2,4,6
/proc/20751/stat : 20751 (open-wbo) R 20748 20751 19971 0 -1 4202496 12379 0 0 0 154187 18 0 0 20 0 1 0 26374282 142929920 32918 33554432000 4194304 6059633 140733290114480 140733290113016 4278373 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/20751/statm: 34895 32918 188 456 0 34431 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 139580
[startup+1602.3 s]
/proc/loadavg: 2.09 2.17 2.17 3/177 20817
/proc/meminfo: memFree=30109436/32872528 swapFree=1431120/1543540
[pid=20751] ppid=20748 vsize=90260 CPUtime=1602.04 cores=0,2,4,6
/proc/20751/stat : 20751 (open-wbo) R 20748 20751 19971 0 -1 4202496 12968 0 0 0 160185 19 0 0 20 0 1 0 26374282 92426240 22110 33554432000 4194304 6059633 140733290114480 140733290113576 4262710 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/20751/statm: 22565 22110 188 456 0 22101 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 90260
[startup+1662.3 s]
/proc/loadavg: 2.23 2.19 2.18 3/177 20818
/proc/meminfo: memFree=30090844/32872528 swapFree=1431120/1543540
[pid=20751] ppid=20748 vsize=170400 CPUtime=1662.03 cores=0,2,4,6
/proc/20751/stat : 20751 (open-wbo) R 20748 20751 19971 0 -1 4202496 13633 0 0 0 166183 20 0 0 20 0 1 0 26374282 174489600 35033 33554432000 4194304 6059633 140733290114480 140733290113272 4255258 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/20751/statm: 42600 35033 188 456 0 42136 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 170400
[startup+1722.3 s]
/proc/loadavg: 2.20 2.19 2.18 3/177 20819
/proc/meminfo: memFree=30104912/32872528 swapFree=1431120/1543540
[pid=20751] ppid=20748 vsize=139580 CPUtime=1722.02 cores=0,2,4,6
/proc/20751/stat : 20751 (open-wbo) R 20748 20751 19971 0 -1 4202496 13715 0 0 0 172181 21 0 0 20 0 1 0 26374282 142929920 31386 33554432000 4194304 6059633 140733290114480 140733290113576 4277570 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/20751/statm: 34895 31386 188 456 0 34431 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 139580
[startup+1782.3 s]
/proc/loadavg: 2.24 2.20 2.18 3/177 20865
/proc/meminfo: memFree=30160772/32872528 swapFree=1431120/1543540
[pid=20751] ppid=20748 vsize=170400 CPUtime=1782.01 cores=0,2,4,6
/proc/20751/stat : 20751 (open-wbo) R 20748 20751 19971 0 -1 4202496 14305 0 0 0 178179 22 0 0 20 0 1 0 26374282 174489600 36573 33554432000 4194304 6059633 140733290114480 140733290113272 4277549 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/20751/statm: 42600 36573 188 456 0 42136 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 170400
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.25 2.20 2.18 3/177 20866
/proc/meminfo: memFree=30210048/32872528 swapFree=1431120/1543540
[pid=20751] ppid=20748 vsize=90260 CPUtime=1800 cores=0,2,4,6
/proc/20751/stat : 20751 (open-wbo) R 20748 20751 19971 0 -1 4202496 14306 0 0 0 179978 22 0 0 20 0 1 0 26374282 92426240 22114 33554432000 4194304 6059633 140733290114480 140733290113304 4255725 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/20751/statm: 22565 22114 188 456 0 22101 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 90260
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 20751 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1800.3 s]
/proc/loadavg: 2.25 2.20 2.18 3/177 20866
/proc/meminfo: memFree=30210048/32872528 swapFree=1431120/1543540
[pid=20751] ppid=20748 vsize=90260 CPUtime=1800 cores=0,2,4,6
/proc/20751/stat : 20751 (open-wbo) R 20748 20751 19971 0 -1 4202496 14306 0 0 0 179978 22 0 0 20 0 1 0 26374282 92426240 22114 33554432000 4194304 6059633 140733290114480 140733290113304 4255725 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/20751/statm: 22565 22114 188 456 0 22101 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 90260
Child status: 40
Real time (s): 1800.3
CPU time (s): 1800.01
CPU user time (s): 1799.79
CPU system time (s): 0.227965
CPU usage (%): 99.984
Max. virtual memory (cumulated for all children) (KiB): 170400
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.79
system time used= 0.227965
maximum resident set size= 148340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14309
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= 15
involuntary context switches= 1857
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.6422 second user time and 13.356 second system time
The end