runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3461211-1307068973/watcher-3461211-1307068973 -o /tmp/evaluation-result-3461211-1307068973/solver-3461211-1307068973 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461211-1307068973.opb
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.00 2.01 2.00 3/400 24295
/proc/meminfo: memFree=29761408/32950904 swapFree=56615552/67111528
[pid=24295] ppid=24293 vsize=11796 CPUtime=0 cores=0,2,4,6
/proc/24295/stat : 24295 (runsolver) R 24293 24295 19672 0 -1 4202560 42 0 0 0 0 0 0 0 25 0 1 0 818497091 12079104 50 33554432000 4194304 5432328 140735633431024 18446744073709551615 4881591 0 2147483391 4096 24578 0 0 0 17 6 0 0 0
/proc/24295/statm: 2949 50 31 303 0 2643 0
[startup+0.037974 s]
/proc/loadavg: 2.00 2.01 2.00 3/400 24295
/proc/meminfo: memFree=29761408/32950904 swapFree=56615552/67111528
[pid=24295] ppid=24293 vsize=6640 CPUtime=0.02 cores=0,2,4,6
/proc/24295/stat : 24295 (wbo1.6) R 24293 24295 19672 0 -1 4202496 647 0 0 0 2 0 0 0 25 0 1 0 818497091 6799360 600 33554432000 4194304 5714214 140736219897456 18446744073709551615 5208701 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/24295/statm: 1660 600 243 372 0 426 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 6640
[startup+0.101046 s]
/proc/loadavg: 2.00 2.01 2.00 3/400 24295
/proc/meminfo: memFree=29761408/32950904 swapFree=56615552/67111528
[pid=24295] ppid=24293 vsize=8416 CPUtime=0.08 cores=0,2,4,6
/proc/24295/stat : 24295 (wbo1.6) R 24293 24295 19672 0 -1 4202496 1303 0 0 0 8 0 0 0 25 0 1 0 818497091 8617984 1256 33554432000 4194304 5714214 140736219897456 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/24295/statm: 2104 1257 468 372 0 870 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 8416
[startup+0.301014 s]
/proc/loadavg: 2.00 2.01 2.00 3/400 24295
/proc/meminfo: memFree=29761408/32950904 swapFree=56615552/67111528
[pid=24295] ppid=24293 vsize=15688 CPUtime=0.27 cores=0,2,4,6
/proc/24295/stat : 24295 (wbo1.6) R 24293 24295 19672 0 -1 4202496 4765 0 0 0 27 0 0 0 18 0 1 0 818497091 16064512 3625 33554432000 4194304 5714214 140736219897456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/24295/statm: 3922 3625 179 372 0 3547 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 15688
[startup+0.700805 s]
/proc/loadavg: 2.00 2.01 2.00 3/400 24295
/proc/meminfo: memFree=29761408/32950904 swapFree=56615552/67111528
[pid=24295] ppid=24293 vsize=15688 CPUtime=0.68 cores=0,2,4,6
/proc/24295/stat : 24295 (wbo1.6) R 24293 24295 19672 0 -1 4202496 4766 0 0 0 67 1 0 0 18 0 1 0 818497091 16064512 3626 33554432000 4194304 5714214 140736219897456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/24295/statm: 3922 3626 180 372 0 3547 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 15688
[startup+1.50071 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 24296
/proc/meminfo: memFree=29745652/32950904 swapFree=56615552/67111528
[pid=24295] ppid=24293 vsize=16480 CPUtime=1.48 cores=0,2,4,6
/proc/24295/stat : 24295 (wbo1.6) R 24293 24295 19672 0 -1 4202496 4955 0 0 0 147 1 0 0 19 0 1 0 818497091 16875520 3815 33554432000 4194304 5714214 140736219897456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/24295/statm: 4120 3815 180 372 0 3745 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 16480
[startup+3.10051 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 24296
/proc/meminfo: memFree=29741064/32950904 swapFree=56615552/67111528
[pid=24295] ppid=24293 vsize=22632 CPUtime=3.07 cores=0,2,4,6
/proc/24295/stat : 24295 (wbo1.6) R 24293 24295 19672 0 -1 4202496 6486 0 0 0 305 2 0 0 23 0 1 0 818497091 23175168 5346 33554432000 4194304 5714214 140736219897456 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/24295/statm: 5658 5346 180 372 0 5283 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 22632
[startup+6.30094 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 24296
/proc/meminfo: memFree=29727796/32950904 swapFree=56615552/67111528
[pid=24295] ppid=24293 vsize=32420 CPUtime=6.28 cores=0,2,4,6
/proc/24295/stat : 24295 (wbo1.6) R 24293 24295 19672 0 -1 4202496 8919 0 0 0 623 5 0 0 25 0 1 0 818497091 33198080 7779 33554432000 4194304 5714214 140736219897456 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/24295/statm: 8105 7779 180 372 0 7730 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 32420
[startup+12.7008 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 24296
/proc/meminfo: memFree=29710632/32950904 swapFree=56615552/67111528
[pid=24295] ppid=24293 vsize=48500 CPUtime=12.68 cores=0,2,4,6
/proc/24295/stat : 24295 (wbo1.6) R 24293 24295 19672 0 -1 4202496 12889 0 0 0 1259 9 0 0 25 0 1 0 818497091 49664000 11749 33554432000 4194304 5714214 140736219897456 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/24295/statm: 12125 11749 180 372 0 11750 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 48500
[startup+25.5005 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 24296
/proc/meminfo: memFree=29682848/32950904 swapFree=56615552/67111528
[pid=24295] ppid=24293 vsize=70384 CPUtime=25.47 cores=0,2,4,6
/proc/24295/stat : 24295 (wbo1.6) R 24293 24295 19672 0 -1 4202496 18340 0 0 0 2535 12 0 0 25 0 1 0 818497091 72073216 17200 33554432000 4194304 5714214 140736219897456 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/24295/statm: 17596 17201 180 372 0 17221 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 70384
[startup+51.101 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 24297
/proc/meminfo: memFree=29659600/32950904 swapFree=56615552/67111528
[pid=24295] ppid=24293 vsize=88328 CPUtime=51.08 cores=0,2,4,6
/proc/24295/stat : 24295 (wbo1.6) R 24293 24295 19672 0 -1 4202496 22828 0 0 0 5089 19 0 0 25 0 1 0 818497091 90447872 21688 33554432000 4194304 5714214 140736219897456 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/24295/statm: 22082 21688 180 372 0 21707 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 88328
[startup+102.315 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 24298
/proc/meminfo: memFree=29607992/32950904 swapFree=56615552/67111528
[pid=24295] ppid=24293 vsize=123792 CPUtime=102.29 cores=0,2,4,6
/proc/24295/stat : 24295 (wbo1.6) R 24293 24295 19672 0 -1 4202496 31583 0 0 0 10200 29 0 0 25 0 1 0 818497091 126763008 30443 33554432000 4194304 5714214 140736219897456 18446744073709551615 4319364 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/24295/statm: 30948 30443 180 372 0 30573 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 123792
[startup+162.301 s]
/proc/loadavg: 2.10 2.03 2.01 3/401 24300
/proc/meminfo: memFree=29578456/32950904 swapFree=56615552/67111528
[pid=24295] ppid=24293 vsize=134196 CPUtime=162.28 cores=0,2,4,6
/proc/24295/stat : 24295 (wbo1.6) R 24293 24295 19672 0 -1 4202496 34141 0 0 0 16190 38 0 0 25 0 1 0 818497091 137416704 33001 33554432000 4194304 5714214 140736219897456 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/24295/statm: 33549 33001 180 372 0 33174 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 134196
[startup+222.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/401 24302
/proc/meminfo: memFree=29546564/32950904 swapFree=56615552/67111528
[pid=24295] ppid=24293 vsize=156936 CPUtime=222.27 cores=0,2,4,6
/proc/24295/stat : 24295 (wbo1.6) R 24293 24295 19672 0 -1 4202496 39810 0 0 0 22177 50 0 0 25 0 1 0 818497091 160702464 38670 33554432000 4194304 5714214 140736219897456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24295/statm: 39234 38670 180 372 0 38859 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 156936
[startup+282.301 s]
/proc/loadavg: 2.06 2.04 2.01 3/401 24303
/proc/meminfo: memFree=29506612/32950904 swapFree=56615552/67111528
[pid=24295] ppid=24293 vsize=181080 CPUtime=282.27 cores=0,2,4,6
/proc/24295/stat : 24295 (wbo1.6) R 24293 24295 19672 0 -1 4202496 45807 0 0 0 28165 62 0 0 25 0 1 0 818497091 185425920 44667 33554432000 4194304 5714214 140736219897456 18446744073709551615 4319878 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24295/statm: 45270 44667 180 372 0 44895 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 181080
[startup+342.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/401 24305
/proc/meminfo: memFree=29488860/32950904 swapFree=56615552/67111528
[pid=24295] ppid=24293 vsize=183868 CPUtime=342.27 cores=0,2,4,6
/proc/24295/stat : 24295 (wbo1.6) R 24293 24295 19672 0 -1 4202496 46466 0 0 0 34154 73 0 0 25 0 1 0 818497091 188280832 45326 33554432000 4194304 5714214 140736219897456 18446744073709551615 4319414 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24295/statm: 45967 45326 180 372 0 45592 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 183868
[startup+402.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/401 24306
/proc/meminfo: memFree=29444692/32950904 swapFree=56615552/67111528
[pid=24295] ppid=24293 vsize=216052 CPUtime=402.27 cores=0,2,4,6
/proc/24295/stat : 24295 (wbo1.6) R 24293 24295 19672 0 -1 4202496 54492 0 0 0 40142 85 0 0 25 0 1 0 818497091 221237248 53352 33554432000 4194304 5714214 140736219897456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24295/statm: 54013 53352 180 372 0 53638 0
Current children cumulated CPU time (s) 402.27
Current children cumulated vsize (KiB) 216052
[startup+462.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/401 24336
/proc/meminfo: memFree=29987888/32950904 swapFree=56615552/67111528
[pid=24295] ppid=24293 vsize=218436 CPUtime=462.27 cores=0,2,4,6
/proc/24295/stat : 24295 (wbo1.6) R 24293 24295 19672 0 -1 4202496 55016 0 0 0 46132 95 0 0 25 0 1 0 818497091 223678464 53876 33554432000 4194304 5714214 140736219897456 18446744073709551615 4319266 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24295/statm: 54609 53876 180 372 0 54234 0
Current children cumulated CPU time (s) 462.27
Current children cumulated vsize (KiB) 218436
[startup+522.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 24338
/proc/meminfo: memFree=29930788/32950904 swapFree=56615552/67111528
[pid=24295] ppid=24293 vsize=228456 CPUtime=522.27 cores=0,2,4,6
/proc/24295/stat : 24295 (wbo1.6) R 24293 24295 19672 0 -1 4202496 57469 0 0 0 52119 108 0 0 25 0 1 0 818497091 233938944 56329 33554432000 4194304 5714214 140736219897456 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24295/statm: 57114 56329 180 372 0 56739 0
Current children cumulated CPU time (s) 522.27
Current children cumulated vsize (KiB) 228456
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 24339
/proc/meminfo: memFree=29906448/32950904 swapFree=56615552/67111528
[pid=24295] ppid=24293 vsize=235580 CPUtime=582.27 cores=0,2,4,6
/proc/24295/stat : 24295 (wbo1.6) R 24293 24295 19672 0 -1 4202496 59248 0 0 0 58105 122 0 0 25 0 1 0 818497091 241233920 58108 33554432000 4194304 5714214 140736219897456 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24295/statm: 58895 58108 180 372 0 58520 0
Current children cumulated CPU time (s) 582.27
Current children cumulated vsize (KiB) 235580
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.10 2.03 2.01 3/401 24346
/proc/meminfo: memFree=29819168/32950904 swapFree=56615552/67111528
[pid=24295] ppid=24293 vsize=296732 CPUtime=822.28 cores=0,2,4,6
/proc/24295/stat : 24295 (wbo1.6) R 24293 24295 19672 0 -1 4202496 74194 0 0 0 82053 175 0 0 25 0 1 0 818497091 303853568 73054 33554432000 4194304 5714214 140736219897456 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24295/statm: 74183 73054 180 372 0 73808 0
Current children cumulated CPU time (s) 822.28
Current children cumulated vsize (KiB) 296732
[startup+882.301 s]
/proc/loadavg: 2.03 2.02 2.00 3/401 24347
/proc/meminfo: memFree=29792968/32950904 swapFree=56615552/67111528
[pid=24295] ppid=24293 vsize=297144 CPUtime=882.28 cores=0,2,4,6
/proc/24295/stat : 24295 (wbo1.6) R 24293 24295 19672 0 -1 4202496 74297 0 0 0 88037 191 0 0 25 0 1 0 818497091 304275456 73157 33554432000 4194304 5714214 140736219897456 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24295/statm: 74286 73157 180 372 0 73911 0
Current children cumulated CPU time (s) 882.28
Current children cumulated vsize (KiB) 297144
[startup+942.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/401 24349
/proc/meminfo: memFree=29781280/32950904 swapFree=56615552/67111528
[pid=24295] ppid=24293 vsize=297144 CPUtime=942.28 cores=0,2,4,6
/proc/24295/stat : 24295 (wbo1.6) R 24293 24295 19672 0 -1 4202496 74309 0 0 0 94025 203 0 0 25 0 1 0 818497091 304275456 73169 33554432000 4194304 5714214 140736219897456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24295/statm: 74286 73169 180 372 0 73911 0
Current children cumulated CPU time (s) 942.28
Current children cumulated vsize (KiB) 297144
[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 24350
/proc/meminfo: memFree=29763644/32950904 swapFree=56615552/67111528
[pid=24295] ppid=24293 vsize=314448 CPUtime=1002.28 cores=0,2,4,6
/proc/24295/stat : 24295 (wbo1.6) R 24293 24295 19672 0 -1 4202496 78587 0 0 0 100011 217 0 0 25 0 1 0 818497091 321994752 77447 33554432000 4194304 5714214 140736219897456 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24295/statm: 78612 77447 180 372 0 78237 0
Current children cumulated CPU time (s) 1002.28
Current children cumulated vsize (KiB) 314448
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 24352
/proc/meminfo: memFree=29754424/32950904 swapFree=56615552/67111528
[pid=24295] ppid=24293 vsize=316376 CPUtime=1062.28 cores=0,2,4,6
/proc/24295/stat : 24295 (wbo1.6) R 24293 24295 19672 0 -1 4202496 79013 0 0 0 105996 232 0 0 25 0 1 0 818497091 323969024 77873 33554432000 4194304 5714214 140736219897456 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24295/statm: 79094 77873 180 372 0 78719 0
Current children cumulated CPU time (s) 1062.28
Current children cumulated vsize (KiB) 316376
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 24363
/proc/meminfo: memFree=29738028/32950904 swapFree=56615552/67111528
[pid=24295] ppid=24293 vsize=328864 CPUtime=1122.28 cores=0,2,4,6
/proc/24295/stat : 24295 (wbo1.6) R 24293 24295 19672 0 -1 4202496 82100 0 0 0 111987 241 0 0 25 0 1 0 818497091 336756736 80960 33554432000 4194304 5714214 140736219897456 18446744073709551615 4319428 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24295/statm: 82216 80960 180 372 0 81841 0
Current children cumulated CPU time (s) 1122.28
Current children cumulated vsize (KiB) 328864
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 24364
/proc/meminfo: memFree=29716916/32950904 swapFree=56615552/67111528
[pid=24295] ppid=24293 vsize=342204 CPUtime=1182.28 cores=0,2,4,6
/proc/24295/stat : 24295 (wbo1.6) R 24293 24295 19672 0 -1 4202496 85409 0 0 0 117970 258 0 0 25 0 1 0 818497091 350416896 84269 33554432000 4194304 5714214 140736219897456 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24295/statm: 85551 84269 180 372 0 85176 0
Current children cumulated CPU time (s) 1182.28
Current children cumulated vsize (KiB) 342204
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 24366
/proc/meminfo: memFree=29696036/32950904 swapFree=56615552/67111528
[pid=24295] ppid=24293 vsize=343048 CPUtime=1242.29 cores=0,2,4,6
/proc/24295/stat : 24295 (wbo1.6) R 24293 24295 19672 0 -1 4202496 85598 0 0 0 123959 270 0 0 25 0 1 0 818497091 351281152 84458 33554432000 4194304 5714214 140736219897456 18446744073709551615 4319355 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24295/statm: 85762 84458 180 372 0 85387 0
Current children cumulated CPU time (s) 1242.29
Current children cumulated vsize (KiB) 343048
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 24370
/proc/meminfo: memFree=29672144/32950904 swapFree=56615552/67111528
[pid=24295] ppid=24293 vsize=344836 CPUtime=1302.3 cores=0,2,4,6
/proc/24295/stat : 24295 (wbo1.6) R 24293 24295 19672 0 -1 4202496 86004 0 0 0 129951 279 0 0 25 0 1 0 818497091 353112064 84864 33554432000 4194304 5714214 140736219897456 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24295/statm: 86209 84864 180 372 0 85834 0
Current children cumulated CPU time (s) 1302.3
Current children cumulated vsize (KiB) 344836
[startup+1362.3 s]
/proc/loadavg: 2.13 2.03 2.01 3/401 24372
/proc/meminfo: memFree=29642076/32950904 swapFree=56615552/67111528
[pid=24295] ppid=24293 vsize=364616 CPUtime=1362.29 cores=0,2,4,6
/proc/24295/stat : 24295 (wbo1.6) R 24293 24295 19672 0 -1 4202496 90934 0 0 0 135940 289 0 0 25 0 1 0 818497091 373366784 89794 33554432000 4194304 5714214 140736219897456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24295/statm: 91154 89794 180 372 0 90779 0
Current children cumulated CPU time (s) 1362.29
Current children cumulated vsize (KiB) 364616
[startup+1422.31 s]
/proc/loadavg: 2.05 2.02 2.00 3/401 24374
/proc/meminfo: memFree=29619832/32950904 swapFree=56615552/67111528
[pid=24295] ppid=24293 vsize=365884 CPUtime=1422.31 cores=0,2,4,6
/proc/24295/stat : 24295 (wbo1.6) R 24293 24295 19672 0 -1 4202496 91221 0 0 0 141927 304 0 0 25 0 1 0 818497091 374665216 90081 33554432000 4194304 5714214 140736219897456 18446744073709551615 4319349 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24295/statm: 91471 90081 180 372 0 91096 0
Current children cumulated CPU time (s) 1422.31
Current children cumulated vsize (KiB) 365884
[startup+1482.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/401 24375
/proc/meminfo: memFree=29600592/32950904 swapFree=56615552/67111528
[pid=24295] ppid=24293 vsize=366644 CPUtime=1482.3 cores=0,2,4,6
/proc/24295/stat : 24295 (wbo1.6) R 24293 24295 19672 0 -1 4202496 91405 0 0 0 147916 314 0 0 25 0 1 0 818497091 375443456 90265 33554432000 4194304 5714214 140736219897456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24295/statm: 91661 90265 180 372 0 91286 0
Current children cumulated CPU time (s) 1482.3
Current children cumulated vsize (KiB) 366644
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 24377
/proc/meminfo: memFree=29567584/32950904 swapFree=56615552/67111528
[pid=24295] ppid=24293 vsize=379276 CPUtime=1542.29 cores=0,2,4,6
/proc/24295/stat : 24295 (wbo1.6) R 24293 24295 19672 0 -1 4202496 94533 0 0 0 153906 323 0 0 25 0 1 0 818497091 388378624 93393 33554432000 4194304 5714214 140736219897456 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24295/statm: 94819 93393 180 372 0 94444 0
Current children cumulated CPU time (s) 1542.29
Current children cumulated vsize (KiB) 379276
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 24378
/proc/meminfo: memFree=29525536/32950904 swapFree=56615552/67111528
[pid=24295] ppid=24293 vsize=392288 CPUtime=1602.29 cores=0,2,4,6
/proc/24295/stat : 24295 (wbo1.6) R 24293 24295 19672 0 -1 4202496 97794 0 0 0 159893 336 0 0 25 0 1 0 818497091 401702912 96654 33554432000 4194304 5714214 140736219897456 18446744073709551615 4319292 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24295/statm: 98072 96654 180 372 0 97697 0
Current children cumulated CPU time (s) 1602.29
Current children cumulated vsize (KiB) 392288
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 24380
/proc/meminfo: memFree=29517452/32950904 swapFree=56615552/67111528
[pid=24295] ppid=24293 vsize=392816 CPUtime=1662.29 cores=0,2,4,6
/proc/24295/stat : 24295 (wbo1.6) R 24293 24295 19672 0 -1 4202496 97916 0 0 0 165880 349 0 0 25 0 1 0 818497091 402243584 96776 33554432000 4194304 5714214 140736219897456 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24295/statm: 98204 96776 180 372 0 97829 0
Current children cumulated CPU time (s) 1662.29
Current children cumulated vsize (KiB) 392816
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 24382
/proc/meminfo: memFree=29497096/32950904 swapFree=56615552/67111528
[pid=24295] ppid=24293 vsize=409488 CPUtime=1722.3 cores=0,2,4,6
/proc/24295/stat : 24295 (wbo1.6) R 24293 24295 19672 0 -1 4202496 102062 0 0 0 171864 366 0 0 25 0 1 0 818497091 419315712 100922 33554432000 4194304 5714214 140736219897456 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24295/statm: 102372 100922 180 372 0 101997 0
Current children cumulated CPU time (s) 1722.3
Current children cumulated vsize (KiB) 409488
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 24383
/proc/meminfo: memFree=29461720/32950904 swapFree=56615552/67111528
[pid=24295] ppid=24293 vsize=427944 CPUtime=1782.3 cores=0,2,4,6
/proc/24295/stat : 24295 (wbo1.6) R 24293 24295 19672 0 -1 4202496 106684 0 0 0 177846 384 0 0 25 0 1 0 818497091 438214656 105544 33554432000 4194304 5714214 140736219897456 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24295/statm: 106986 105544 180 372 0 106611 0
Current children cumulated CPU time (s) 1782.3
Current children cumulated vsize (KiB) 427944
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 24384
/proc/meminfo: memFree=29453776/32950904 swapFree=56615552/67111528
[pid=24295] ppid=24293 vsize=428952 CPUtime=1800.01 cores=0,2,4,6
/proc/24295/stat : 24295 (wbo1.6) R 24293 24295 19672 0 -1 4202496 106899 0 0 0 179613 388 0 0 25 0 1 0 818497091 439246848 105759 33554432000 4194304 5714214 140736219897456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24295/statm: 107238 105759 180 372 0 106863 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 428952
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.03
CPU time (s): 1800.04
CPU user time (s): 1796.14
CPU system time (s): 3.90141
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 428952
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.14
system time used= 3.90141
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 106899
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= 6
involuntary context switches= 2481
runsolver used 6.87296 second user time and 16.0556 second system time
The end