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-3460733-1307071234/watcher-3460733-1307071234 -o /tmp/evaluation-result-3460733-1307071234/solver-3460733-1307071234 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460733-1307071234.opb
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.00 2.01 2.00 2/400 24532
/proc/meminfo: memFree=30014664/32950904 swapFree=56615552/67111528
[pid=24532] ppid=24530 vsize=8660 CPUtime=0.01 cores=1,3,5,7
/proc/24532/stat : 24532 (wbo1.6) R 24530 24532 19672 0 -1 4202496 592 0 0 0 1 0 0 0 25 0 1 0 818723159 8867840 545 33554432000 4194304 5714214 140736650302832 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24532/statm: 2165 545 208 372 0 411 0
[startup+0.114225 s]
/proc/loadavg: 2.00 2.01 2.00 2/400 24532
/proc/meminfo: memFree=30014664/32950904 swapFree=56615552/67111528
[pid=24532] ppid=24530 vsize=17360 CPUtime=0.11 cores=1,3,5,7
/proc/24532/stat : 24532 (wbo1.6) R 24530 24532 19672 0 -1 4202496 3101 0 0 0 11 0 0 0 25 0 1 0 818723159 17776640 3021 33554432000 4194304 5714214 140736650302832 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24532/statm: 4340 3021 580 372 0 2586 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 17360
[startup+0.201212 s]
/proc/loadavg: 2.00 2.01 2.00 2/400 24532
/proc/meminfo: memFree=30014664/32950904 swapFree=56615552/67111528
[pid=24532] ppid=24530 vsize=25484 CPUtime=0.19 cores=1,3,5,7
/proc/24532/stat : 24532 (wbo1.6) R 24530 24532 19672 0 -1 4202496 5257 0 0 0 19 0 0 0 25 0 1 0 818723159 26095616 4998 33554432000 4194304 5714214 140736650302832 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24532/statm: 6371 4999 883 372 0 4617 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 25484
[startup+0.301193 s]
/proc/loadavg: 2.00 2.01 2.00 2/400 24532
/proc/meminfo: memFree=30014664/32950904 swapFree=56615552/67111528
[pid=24532] ppid=24530 vsize=34660 CPUtime=0.29 cores=1,3,5,7
/proc/24532/stat : 24532 (wbo1.6) R 24530 24532 19672 0 -1 4202496 7787 0 0 0 29 0 0 0 25 0 1 0 818723159 35491840 7359 33554432000 4194304 5714214 140736650302832 18446744073709551615 4237244 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24532/statm: 8665 7359 1228 372 0 6911 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34660
[startup+0.701129 s]
/proc/loadavg: 2.00 2.01 2.00 2/400 24532
/proc/meminfo: memFree=30014664/32950904 swapFree=56615552/67111528
[pid=24532] ppid=24530 vsize=83140 CPUtime=0.69 cores=1,3,5,7
/proc/24532/stat : 24532 (wbo1.6) R 24530 24532 19672 0 -1 4202496 23651 0 0 0 66 3 0 0 25 0 1 0 818723159 85135360 20032 33554432000 4194304 5714214 140736650302832 18446744073709551615 4319243 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24532/statm: 20785 20032 179 372 0 20410 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 83140
[startup+1.50092 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 24533
/proc/meminfo: memFree=29934084/32950904 swapFree=56615552/67111528
[pid=24532] ppid=24530 vsize=83140 CPUtime=1.49 cores=1,3,5,7
/proc/24532/stat : 24532 (wbo1.6) R 24530 24532 19672 0 -1 4202496 23652 0 0 0 146 3 0 0 25 0 1 0 818723159 85135360 20033 33554432000 4194304 5714214 140736650302832 18446744073709551615 4319243 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24532/statm: 20785 20033 180 372 0 20410 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 83140
[startup+3.10064 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 24533
/proc/meminfo: memFree=29932884/32950904 swapFree=56615552/67111528
[pid=24532] ppid=24530 vsize=83140 CPUtime=3.09 cores=1,3,5,7
/proc/24532/stat : 24532 (wbo1.6) R 24530 24532 19672 0 -1 4202496 23652 0 0 0 306 3 0 0 25 0 1 0 818723159 85135360 20033 33554432000 4194304 5714214 140736650302832 18446744073709551615 4319450 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24532/statm: 20785 20033 180 372 0 20410 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 83140
[startup+6.30113 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 24533
/proc/meminfo: memFree=29933236/32950904 swapFree=56615552/67111528
[pid=24532] ppid=24530 vsize=83140 CPUtime=6.29 cores=1,3,5,7
/proc/24532/stat : 24532 (wbo1.6) R 24530 24532 19672 0 -1 4202496 23652 0 0 0 625 4 0 0 25 0 1 0 818723159 85135360 20033 33554432000 4194304 5714214 140736650302832 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24532/statm: 20785 20033 180 372 0 20410 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 83140
[startup+12.7009 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 24533
/proc/meminfo: memFree=29932748/32950904 swapFree=56615552/67111528
[pid=24532] ppid=24530 vsize=83140 CPUtime=12.69 cores=1,3,5,7
/proc/24532/stat : 24532 (wbo1.6) R 24530 24532 19672 0 -1 4202496 23652 0 0 0 1264 5 0 0 25 0 1 0 818723159 85135360 20033 33554432000 4194304 5714214 140736650302832 18446744073709551615 4310639 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24532/statm: 20785 20033 180 372 0 20410 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 83140
[startup+25.5007 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 24534
/proc/meminfo: memFree=29932372/32950904 swapFree=56615552/67111528
[pid=24532] ppid=24530 vsize=83140 CPUtime=25.49 cores=1,3,5,7
/proc/24532/stat : 24532 (wbo1.6) R 24530 24532 19672 0 -1 4202496 23789 0 0 0 2543 6 0 0 25 0 1 0 818723159 85135360 20170 33554432000 4194304 5714214 140736650302832 18446744073709551615 4319243 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24532/statm: 20785 20170 180 372 0 20410 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 83140
[startup+51.1011 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 24534
/proc/meminfo: memFree=29928352/32950904 swapFree=56615552/67111528
[pid=24532] ppid=24530 vsize=87220 CPUtime=51.09 cores=1,3,5,7
/proc/24532/stat : 24532 (wbo1.6) R 24530 24532 19672 0 -1 4202496 24787 0 0 0 5100 9 0 0 25 0 1 0 818723159 89313280 21168 33554432000 4194304 5714214 140736650302832 18446744073709551615 4310992 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24532/statm: 21805 21168 180 372 0 21430 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 87220
[startup+102.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 24536
/proc/meminfo: memFree=29921596/32950904 swapFree=56615552/67111528
[pid=24532] ppid=24530 vsize=93208 CPUtime=102.31 cores=1,3,5,7
/proc/24532/stat : 24532 (wbo1.6) R 24530 24532 19672 0 -1 4202496 26263 0 0 0 10215 16 0 0 25 0 1 0 818723159 95444992 22644 33554432000 4194304 5714214 140736650302832 18446744073709551615 4319182 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24532/statm: 23302 22644 180 372 0 22927 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 93208
[startup+162.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/401 24537
/proc/meminfo: memFree=29913888/32950904 swapFree=56615552/67111528
[pid=24532] ppid=24530 vsize=97132 CPUtime=162.29 cores=1,3,5,7
/proc/24532/stat : 24532 (wbo1.6) R 24530 24532 19672 0 -1 4202496 27201 0 0 0 16208 21 0 0 25 0 1 0 818723159 99463168 23582 33554432000 4194304 5714214 140736650302832 18446744073709551615 4305219 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24532/statm: 24283 23582 180 372 0 23908 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 97132
[startup+222.316 s]
/proc/loadavg: 2.08 2.04 2.01 3/401 24539
/proc/meminfo: memFree=29900956/32950904 swapFree=56615552/67111528
[pid=24532] ppid=24530 vsize=102388 CPUtime=222.31 cores=1,3,5,7
/proc/24532/stat : 24532 (wbo1.6) R 24530 24532 19672 0 -1 4202496 28463 0 0 0 22204 27 0 0 25 0 1 0 818723159 104845312 24844 33554432000 4194304 5714214 140736650302832 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24532/statm: 25597 24844 180 372 0 25222 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 102388
[startup+282.301 s]
/proc/loadavg: 2.03 2.03 2.00 3/401 24541
/proc/meminfo: memFree=29883448/32950904 swapFree=56615552/67111528
[pid=24532] ppid=24530 vsize=108852 CPUtime=282.3 cores=1,3,5,7
/proc/24532/stat : 24532 (wbo1.6) R 24530 24532 19672 0 -1 4202496 29983 0 0 0 28196 34 0 0 25 0 1 0 818723159 111464448 26364 33554432000 4194304 5714214 140736650302832 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24532/statm: 27213 26364 180 372 0 26838 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 108852
[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/401 24542
/proc/meminfo: memFree=29850312/32950904 swapFree=56615552/67111528
[pid=24532] ppid=24530 vsize=114476 CPUtime=342.29 cores=1,3,5,7
/proc/24532/stat : 24532 (wbo1.6) R 24530 24532 19672 0 -1 4202496 31423 0 0 0 34190 39 0 0 25 0 1 0 818723159 117223424 27804 33554432000 4194304 5714214 140736650302832 18446744073709551615 4305289 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24532/statm: 28619 27804 180 372 0 28244 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 114476
[startup+402.301 s]
/proc/loadavg: 2.04 2.03 2.00 3/401 24544
/proc/meminfo: memFree=29842976/32950904 swapFree=56615552/67111528
[pid=24532] ppid=24530 vsize=119760 CPUtime=402.3 cores=1,3,5,7
/proc/24532/stat : 24532 (wbo1.6) R 24530 24532 19672 0 -1 4202496 32775 0 0 0 40184 46 0 0 25 0 1 0 818723159 122634240 29156 33554432000 4194304 5714214 140736650302832 18446744073709551615 4200618 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24532/statm: 29940 29156 180 372 0 29565 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 119760
[startup+462.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/401 24545
/proc/meminfo: memFree=29829300/32950904 swapFree=56615552/67111528
[pid=24532] ppid=24530 vsize=125780 CPUtime=462.3 cores=1,3,5,7
/proc/24532/stat : 24532 (wbo1.6) R 24530 24532 19672 0 -1 4202496 34238 0 0 0 46179 51 0 0 25 0 1 0 818723159 128798720 30619 33554432000 4194304 5714214 140736650302832 18446744073709551615 4319228 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24532/statm: 31445 30619 180 372 0 31070 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 125780
[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/401 24547
/proc/meminfo: memFree=29824180/32950904 swapFree=56615552/67111528
[pid=24532] ppid=24530 vsize=131364 CPUtime=522.3 cores=1,3,5,7
/proc/24532/stat : 24532 (wbo1.6) R 24530 24532 19672 0 -1 4202496 35503 0 0 0 52175 55 0 0 25 0 1 0 818723159 134516736 31884 33554432000 4194304 5714214 140736650302832 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24532/statm: 32841 31884 180 372 0 32466 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 131364
[startup+582.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 24549
/proc/meminfo: memFree=29812364/32950904 swapFree=56615552/67111528
[pid=24532] ppid=24530 vsize=135416 CPUtime=582.3 cores=1,3,5,7
/proc/24532/stat : 24532 (wbo1.6) R 24530 24532 19672 0 -1 4202496 36574 0 0 0 58169 61 0 0 25 0 1 0 818723159 138665984 32955 33554432000 4194304 5714214 140736650302832 18446744073709551615 4319167 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24532/statm: 33854 32955 180 372 0 33479 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 135416
[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 24550
/proc/meminfo: memFree=29792132/32950904 swapFree=56615552/67111528
[pid=24532] ppid=24530 vsize=141176 CPUtime=642.31 cores=1,3,5,7
/proc/24532/stat : 24532 (wbo1.6) R 24530 24532 19672 0 -1 4202496 37997 0 0 0 64163 68 0 0 25 0 1 0 818723159 144564224 34378 33554432000 4194304 5714214 140736650302832 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24532/statm: 35294 34378 180 372 0 34919 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 141176
[startup+702.301 s]
/proc/loadavg: 2.15 2.03 2.01 3/401 24552
/proc/meminfo: memFree=29780196/32950904 swapFree=56615552/67111528
[pid=24532] ppid=24530 vsize=145236 CPUtime=702.31 cores=1,3,5,7
/proc/24532/stat : 24532 (wbo1.6) R 24530 24532 19672 0 -1 4202496 39055 0 0 0 70160 71 0 0 25 0 1 0 818723159 148721664 35436 33554432000 4194304 5714214 140736650302832 18446744073709551615 4319182 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24532/statm: 36309 35436 180 372 0 35934 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 145236
[startup+762.301 s]
/proc/loadavg: 2.12 2.04 2.01 3/401 24553
/proc/meminfo: memFree=29760708/32950904 swapFree=56615552/67111528
[pid=24532] ppid=24530 vsize=149296 CPUtime=762.32 cores=1,3,5,7
/proc/24532/stat : 24532 (wbo1.6) R 24530 24532 19672 0 -1 4202496 40052 0 0 0 76157 75 0 0 25 0 1 0 818723159 152879104 36433 33554432000 4194304 5714214 140736650302832 18446744073709551615 4309121 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24532/statm: 37324 36433 180 372 0 36949 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 149296
[startup+822.301 s]
/proc/loadavg: 2.04 2.03 2.00 4/401 24555
/proc/meminfo: memFree=29747032/32950904 swapFree=56615552/67111528
[pid=24532] ppid=24530 vsize=154020 CPUtime=822.31 cores=1,3,5,7
/proc/24532/stat : 24532 (wbo1.6) R 24530 24532 19672 0 -1 4202496 41056 0 0 0 82150 81 0 0 25 0 1 0 818723159 157716480 37437 33554432000 4194304 5714214 140736650302832 18446744073709551615 4319243 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24532/statm: 38505 37437 180 372 0 38130 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 154020
[startup+882.315 s]
/proc/loadavg: 2.01 2.02 2.00 3/401 24557
/proc/meminfo: memFree=29739580/32950904 swapFree=56615552/67111528
[pid=24532] ppid=24530 vsize=157812 CPUtime=882.33 cores=1,3,5,7
/proc/24532/stat : 24532 (wbo1.6) R 24530 24532 19672 0 -1 4202496 42018 0 0 0 88149 84 0 0 25 0 1 0 818723159 161599488 38399 33554432000 4194304 5714214 140736650302832 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24532/statm: 39453 38399 180 372 0 39078 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 157812
[startup+942.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/401 24558
/proc/meminfo: memFree=29724928/32950904 swapFree=56615552/67111528
[pid=24532] ppid=24530 vsize=161616 CPUtime=942.31 cores=1,3,5,7
/proc/24532/stat : 24532 (wbo1.6) R 24530 24532 19672 0 -1 4202496 43011 0 0 0 94143 88 0 0 25 0 1 0 818723159 165494784 39392 33554432000 4194304 5714214 140736650302832 18446744073709551615 4322687 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24532/statm: 40404 39392 180 372 0 40029 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 161616
[startup+1002.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/401 24560
/proc/meminfo: memFree=29705192/32950904 swapFree=56615552/67111528
[pid=24532] ppid=24530 vsize=165264 CPUtime=1002.31 cores=1,3,5,7
/proc/24532/stat : 24532 (wbo1.6) R 24530 24532 19672 0 -1 4202496 43918 0 0 0 100138 93 0 0 25 0 1 0 818723159 169230336 40299 33554432000 4194304 5714214 140736650302832 18446744073709551615 4319243 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24532/statm: 41316 40299 180 372 0 40941 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 165264
Solver just ended. Dumping a history of the last processes samples
[startup+1024 s]
/proc/loadavg: 2.01 2.02 2.00 3/401 24560
/proc/meminfo: memFree=29703820/32950904 swapFree=56615552/67111528
[pid=24532] ppid=24530 vsize=166188 CPUtime=1024.01 cores=1,3,5,7
/proc/24532/stat : 24532 (wbo1.6) R 24530 24532 19672 0 -1 4202496 44174 0 0 0 102306 95 0 0 25 0 1 0 818723159 170176512 40555 33554432000 4194304 5714214 140736650302832 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24532/statm: 41547 40555 180 372 0 41172 0
Current children cumulated CPU time (s) 1024.01
Current children cumulated vsize (KiB) 166188
[startup+1036.8 s]
/proc/loadavg: 2.01 2.02 2.00 3/401 24561
/proc/meminfo: memFree=29703324/32950904 swapFree=56615552/67111528
[pid=24532] ppid=24530 vsize=166716 CPUtime=1036.82 cores=1,3,5,7
/proc/24532/stat : 24532 (wbo1.6) R 24530 24532 19672 0 -1 4202496 44338 0 0 0 103586 96 0 0 25 0 1 0 818723159 170717184 40719 33554432000 4194304 5714214 140736650302832 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24532/statm: 41679 40719 180 372 0 41304 0
Current children cumulated CPU time (s) 1036.82
Current children cumulated vsize (KiB) 166716
[startup+1043.2 s]
/proc/loadavg: 2.01 2.02 2.00 3/401 24561
/proc/meminfo: memFree=29702944/32950904 swapFree=56615552/67111528
[pid=24532] ppid=24530 vsize=166980 CPUtime=1043.22 cores=1,3,5,7
/proc/24532/stat : 24532 (wbo1.6) R 24530 24532 19672 0 -1 4202496 44410 0 0 0 104225 97 0 0 25 0 1 0 818723159 170987520 40791 33554432000 4194304 5714214 140736650302832 18446744073709551615 4319243 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24532/statm: 41745 40791 180 372 0 41370 0
Current children cumulated CPU time (s) 1043.22
Current children cumulated vsize (KiB) 166980
[startup+1049.6 s]
/proc/loadavg: 2.01 2.02 2.00 3/401 24561
/proc/meminfo: memFree=29702196/32950904 swapFree=56615552/67111528
[pid=24532] ppid=24530 vsize=167376 CPUtime=1049.61 cores=1,3,5,7
/proc/24532/stat : 24532 (wbo1.6) R 24530 24532 19672 0 -1 4202496 44501 0 0 0 104864 97 0 0 25 0 1 0 818723159 171393024 40882 33554432000 4194304 5714214 140736650302832 18446744073709551615 4319243 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24532/statm: 41844 40882 180 372 0 41469 0
Current children cumulated CPU time (s) 1049.61
Current children cumulated vsize (KiB) 167376
[startup+1052.82 s]
/proc/loadavg: 2.01 2.02 2.00 3/401 24561
/proc/meminfo: memFree=29702068/32950904 swapFree=56615552/67111528
[pid=24532] ppid=24530 vsize=167508 CPUtime=1052.83 cores=1,3,5,7
/proc/24532/stat : 24532 (wbo1.6) R 24530 24532 19672 0 -1 4202496 44546 0 0 0 105186 97 0 0 25 0 1 0 818723159 171528192 40927 33554432000 4194304 5714214 140736650302832 18446744073709551615 4309554 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24532/statm: 41877 40927 180 372 0 41502 0
Current children cumulated CPU time (s) 1052.83
Current children cumulated vsize (KiB) 167508
[startup+1053.6 s]
/proc/loadavg: 2.01 2.02 2.00 3/401 24561
/proc/meminfo: memFree=29702068/32950904 swapFree=56615552/67111528
[pid=24532] ppid=24530 vsize=167640 CPUtime=1053.61 cores=1,3,5,7
/proc/24532/stat : 24532 (wbo1.6) R 24530 24532 19672 0 -1 4202496 44563 0 0 0 105264 97 0 0 25 0 1 0 818723159 171663360 40944 33554432000 4194304 5714214 140736650302832 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24532/statm: 41910 40944 180 372 0 41535 0
Current children cumulated CPU time (s) 1053.61
Current children cumulated vsize (KiB) 167640
[startup+1054.4 s]
/proc/loadavg: 2.01 2.02 2.00 3/401 24561
/proc/meminfo: memFree=29701944/32950904 swapFree=56615552/67111528
[pid=24532] ppid=24530 vsize=167640 CPUtime=1054.41 cores=1,3,5,7
/proc/24532/stat : 24532 (wbo1.6) R 24530 24532 19672 0 -1 4202496 44576 0 0 0 105344 97 0 0 25 0 1 0 818723159 171663360 40957 33554432000 4194304 5714214 140736650302832 18446744073709551615 4319187 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24532/statm: 41910 40957 180 372 0 41535 0
Current children cumulated CPU time (s) 1054.41
Current children cumulated vsize (KiB) 167640
[startup+1054.8 s]
/proc/loadavg: 2.01 2.02 2.00 3/401 24561
/proc/meminfo: memFree=29701944/32950904 swapFree=56615552/67111528
[pid=24532] ppid=24530 vsize=167640 CPUtime=1054.81 cores=1,3,5,7
/proc/24532/stat : 24532 (wbo1.6) R 24530 24532 19672 0 -1 4202496 44583 0 0 0 105384 97 0 0 25 0 1 0 818723159 171663360 40964 33554432000 4194304 5714214 140736650302832 18446744073709551615 4319243 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24532/statm: 41910 40964 180 372 0 41535 0
Current children cumulated CPU time (s) 1054.81
Current children cumulated vsize (KiB) 167640
[startup+1054.9 s]
/proc/loadavg: 2.01 2.02 2.00 3/401 24561
/proc/meminfo: memFree=29702064/32950904 swapFree=56615552/67111528
[pid=24532] ppid=24530 vsize=167640 CPUtime=1054.94 cores=1,3,5,7
/proc/24532/stat : 24532 (wbo1.6) R 24530 24532 19672 0 -1 4202496 44584 0 0 0 105396 98 0 0 25 0 1 0 818723159 171663360 40965 33554432000 4194304 5714214 140736650302832 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24532/statm: 41910 40965 180 372 0 41535 0
Current children cumulated CPU time (s) 1054.94
Current children cumulated vsize (KiB) 167640
Child status: 0
Real time (s): 1054.97
CPU time (s): 1054.99
CPU user time (s): 1054.01
CPU system time (s): 0.988849
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 167640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1054.01
system time used= 0.988849
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44652
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= 12264
runsolver used 3.90141 second user time and 9.58554 second system time
The end