runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3704849-1338109809/watcher-3704849-1338109809 -o /tmp/evaluation-result-3704849-1338109809/solver-3704849-1338109809 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3704849-1338109809.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.02 2.02 2.00 3/178 18734
/proc/meminfo: memFree=30939184/32873648 swapFree=7112/7112
[pid=18734] ppid=18732 vsize=10392 CPUtime=0 cores=1,3,5,7
/proc/18734/stat : 18734 (wbo1.7) R 18732 18734 12452 0 -1 4202496 319 0 0 0 0 0 0 0 20 0 1 0 277106860 10641408 272 33554432000 4194304 5963574 140735464710256 140734156596216 5135642 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/18734/statm: 2598 272 173 432 0 349 0
[startup+0.076069 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 18734
/proc/meminfo: memFree=30939184/32873648 swapFree=7112/7112
[pid=18734] ppid=18732 vsize=13924 CPUtime=0.07 cores=1,3,5,7
/proc/18734/stat : 18734 (wbo1.7) R 18732 18734 12452 0 -1 4202496 1437 0 0 0 7 0 0 0 20 0 1 0 277106860 14258176 1390 33554432000 4194304 5963574 140735464710256 140734156596216 5135642 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/18734/statm: 3481 1391 443 432 0 1232 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 13924
[startup+0.100229 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 18734
/proc/meminfo: memFree=30939184/32873648 swapFree=7112/7112
[pid=18734] ppid=18732 vsize=15164 CPUtime=0.09 cores=1,3,5,7
/proc/18734/stat : 18734 (wbo1.7) R 18732 18734 12452 0 -1 4202496 1865 0 0 0 9 0 0 0 20 0 1 0 277106860 15527936 1785 33554432000 4194304 5963574 140735464710256 140735464709016 4344320 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/18734/statm: 3791 1786 542 432 0 1542 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15164
[startup+0.3002 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 18734
/proc/meminfo: memFree=30939184/32873648 swapFree=7112/7112
[pid=18734] ppid=18732 vsize=24372 CPUtime=0.29 cores=1,3,5,7
/proc/18734/stat : 18734 (wbo1.7) R 18732 18734 12452 0 -1 4202496 4982 0 0 0 29 0 0 0 20 0 1 0 277106860 24956928 4837 33554432000 4194304 5963574 140735464710256 140735464709016 5135642 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/18734/statm: 6093 4837 1322 432 0 3844 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24372
[startup+0.700316 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 18734
/proc/meminfo: memFree=30939184/32873648 swapFree=7112/7112
[pid=18734] ppid=18732 vsize=105624 CPUtime=0.69 cores=1,3,5,7
/proc/18734/stat : 18734 (wbo1.7) S 18732 18734 12452 0 -1 4202496 15134 0 0 0 67 2 0 0 20 0 2 0 277106860 108158976 12700 33554432000 4194304 5963574 140735464710256 140735464709776 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18734/statm: 26406 12700 187 432 0 25971 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 105624
[startup+1.50032 s]
/proc/loadavg: 2.02 2.02 2.00 3/180 18736
/proc/meminfo: memFree=30889212/32873648 swapFree=7112/7112
[pid=18734] ppid=18732 vsize=105624 CPUtime=1.49 cores=1,3,5,7
/proc/18734/stat : 18734 (wbo1.7) S 18732 18734 12452 0 -1 4202496 15539 0 0 0 147 2 0 0 20 0 2 0 277106860 108158976 13105 33554432000 4194304 5963574 140735464710256 140735464709776 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18734/statm: 26406 13105 187 432 0 25971 0
[pid=18734/tid=18736] ppid=18732 vsize=105624 CPUtime=1.02 cores=1,3,5,7
/proc/18734/task/18736/stat : 18736 (wbo1.7) R 18732 18734 12452 0 -1 4202560 7433 0 0 0 100 2 0 0 20 0 2 0 277106908 108158976 13105 33554432000 4194304 5963574 140735464710256 139864003409912 4402957 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 105624
[startup+3.10023 s]
/proc/loadavg: 2.02 2.02 2.00 3/180 18736
/proc/meminfo: memFree=30886476/32873648 swapFree=7112/7112
[pid=18734] ppid=18732 vsize=105624 CPUtime=3.09 cores=1,3,5,7
/proc/18734/stat : 18734 (wbo1.7) S 18732 18734 12452 0 -1 4202496 16306 0 0 0 307 2 0 0 20 0 2 0 277106860 108158976 13872 33554432000 4194304 5963574 140735464710256 140735464709776 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18734/statm: 26406 13872 187 432 0 25971 0
[pid=18734/tid=18736] ppid=18732 vsize=105624 CPUtime=2.62 cores=1,3,5,7
/proc/18734/task/18736/stat : 18736 (wbo1.7) R 18732 18734 12452 0 -1 4202560 8200 0 0 0 260 2 0 0 20 0 2 0 277106908 108158976 13872 33554432000 4194304 5963574 140735464710256 139864003409912 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 105624
[startup+6.30027 s]
/proc/loadavg: 2.02 2.02 2.00 3/180 18736
/proc/meminfo: memFree=30881228/32873648 swapFree=7112/7112
[pid=18734] ppid=18732 vsize=105624 CPUtime=6.28 cores=1,3,5,7
/proc/18734/stat : 18734 (wbo1.7) S 18732 18734 12452 0 -1 4202496 17484 0 0 0 626 2 0 0 20 0 2 0 277106860 108158976 15050 33554432000 4194304 5963574 140735464710256 140735464709776 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18734/statm: 26406 15050 187 432 0 25971 0
[pid=18734/tid=18736] ppid=18732 vsize=105624 CPUtime=5.81 cores=1,3,5,7
/proc/18734/task/18736/stat : 18736 (wbo1.7) R 18732 18734 12452 0 -1 4202560 9378 0 0 0 579 2 0 0 20 0 2 0 277106908 108158976 15050 33554432000 4194304 5963574 140735464710256 139864003409960 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 105624
[startup+12.7003 s]
/proc/loadavg: 2.09 2.03 2.00 3/180 18736
/proc/meminfo: memFree=30873564/32873648 swapFree=7112/7112
[pid=18734] ppid=18732 vsize=105624 CPUtime=12.69 cores=1,3,5,7
/proc/18734/stat : 18734 (wbo1.7) S 18732 18734 12452 0 -1 4202496 19169 0 0 0 1266 3 0 0 20 0 2 0 277106860 108158976 16735 33554432000 4194304 5963574 140735464710256 140735464709776 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18734/statm: 26406 16735 187 432 0 25971 0
[pid=18734/tid=18736] ppid=18732 vsize=105624 CPUtime=12.21 cores=1,3,5,7
/proc/18734/task/18736/stat : 18736 (wbo1.7) R 18732 18734 12452 0 -1 4202560 11063 0 0 0 1219 2 0 0 20 0 2 0 277106908 108158976 16735 33554432000 4194304 5963574 140735464710256 139864003409960 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 105624
[startup+25.5003 s]
/proc/loadavg: 2.08 2.03 2.00 3/180 18736
/proc/meminfo: memFree=30860332/32873648 swapFree=7112/7112
[pid=18734] ppid=18732 vsize=105624 CPUtime=25.48 cores=1,3,5,7
/proc/18734/stat : 18734 (wbo1.7) S 18732 18734 12452 0 -1 4202496 22277 0 0 0 2543 5 0 0 20 0 2 0 277106860 108158976 19843 33554432000 4194304 5963574 140735464710256 140735464709776 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18734/statm: 26406 19843 187 432 0 25971 0
[pid=18734/tid=18736] ppid=18732 vsize=105624 CPUtime=25.01 cores=1,3,5,7
/proc/18734/task/18736/stat : 18736 (wbo1.7) R 18732 18734 12452 0 -1 4202560 14171 0 0 0 2496 5 0 0 20 0 2 0 277106908 108158976 19843 33554432000 4194304 5963574 140735464710256 139864003409720 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 105624
[startup+51.1002 s]
/proc/loadavg: 2.05 2.03 2.00 3/180 18736
/proc/meminfo: memFree=30845344/32873648 swapFree=7112/7112
[pid=18734] ppid=18732 vsize=171160 CPUtime=51.08 cores=1,3,5,7
/proc/18734/stat : 18734 (wbo1.7) S 18732 18734 12452 0 -1 4202496 26110 0 0 0 5100 8 0 0 20 0 2 0 277106860 175267840 23676 33554432000 4194304 5963574 140735464710256 140735464709776 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18734/statm: 42790 23676 187 432 0 42355 0
[pid=18734/tid=18736] ppid=18732 vsize=171160 CPUtime=50.61 cores=1,3,5,7
/proc/18734/task/18736/stat : 18736 (wbo1.7) R 18732 18734 12452 0 -1 4202560 18004 0 0 0 5054 7 0 0 20 0 2 0 277106908 175267840 23676 33554432000 4194304 5963574 140735464710256 139864003409960 4399474 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 171160
[startup+102.306 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 18737
/proc/meminfo: memFree=30822300/32873648 swapFree=7112/7112
[pid=18734] ppid=18732 vsize=171160 CPUtime=102.28 cores=1,3,5,7
/proc/18734/stat : 18734 (wbo1.7) S 18732 18734 12452 0 -1 4202496 31870 0 0 0 10216 12 0 0 20 0 2 0 277106860 175267840 29436 33554432000 4194304 5963574 140735464710256 140735464709776 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18734/statm: 42790 29436 187 432 0 42355 0
[pid=18734/tid=18736] ppid=18732 vsize=171160 CPUtime=101.82 cores=1,3,5,7
/proc/18734/task/18736/stat : 18736 (wbo1.7) R 18732 18734 12452 0 -1 4202560 23764 0 0 0 10169 13 0 0 20 0 2 0 277106908 175267840 29436 33554432000 4194304 5963574 140735464710256 139864003409720 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 171160
[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 18737
/proc/meminfo: memFree=30797932/32873648 swapFree=7112/7112
[pid=18734] ppid=18732 vsize=173592 CPUtime=162.27 cores=1,3,5,7
/proc/18734/stat : 18734 (wbo1.7) S 18732 18734 12452 0 -1 4202496 37485 0 0 0 16211 16 0 0 20 0 2 0 277106860 177758208 35562 33554432000 4194304 5963574 140735464710256 140735464709776 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18734/statm: 43398 35562 187 432 0 42963 0
[pid=18734/tid=18736] ppid=18732 vsize=173592 CPUtime=161.82 cores=1,3,5,7
/proc/18734/task/18736/stat : 18736 (wbo1.7) R 18732 18734 12452 0 -1 4202560 29379 0 0 0 16165 17 0 0 20 0 2 0 277106908 177758208 35562 33554432000 4194304 5963574 140735464710256 139864003409720 4222330 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 173592
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 18737
/proc/meminfo: memFree=30774376/32873648 swapFree=7112/7112
[pid=18734] ppid=18732 vsize=239128 CPUtime=222.23 cores=1,3,5,7
/proc/18734/stat : 18734 (wbo1.7) S 18732 18734 12452 0 -1 4202496 42319 0 0 0 22204 19 0 0 20 0 2 0 277106860 244867072 41291 33554432000 4194304 5963574 140735464710256 140735464709776 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18734/statm: 59782 41291 187 432 0 59347 0
[pid=18734/tid=18736] ppid=18732 vsize=239128 CPUtime=221.8 cores=1,3,5,7
/proc/18734/task/18736/stat : 18736 (wbo1.7) R 18732 18734 12452 0 -1 4202560 34213 0 0 0 22158 22 0 0 20 0 2 0 277106908 244867072 41291 33554432000 4194304 5963574 140735464710256 139864003409720 4399605 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 239128
Solver just ended. Dumping a history of the last processes samples
[startup+230.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 18737
/proc/meminfo: memFree=30772392/32873648 swapFree=7112/7112
[pid=18734] ppid=18732 vsize=239128 CPUtime=230.23 cores=1,3,5,7
/proc/18734/stat : 18734 (wbo1.7) S 18732 18734 12452 0 -1 4202496 42822 0 0 0 23003 20 0 0 20 0 2 0 277106860 244867072 41794 33554432000 4194304 5963574 140735464710256 140735464709776 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18734/statm: 59782 41794 187 432 0 59347 0
[pid=18734/tid=18736] ppid=18732 vsize=239128 CPUtime=229.8 cores=1,3,5,7
/proc/18734/task/18736/stat : 18736 (wbo1.7) R 18732 18734 12452 0 -1 4202560 34716 0 0 0 22957 23 0 0 20 0 2 0 277106908 244867072 41794 33554432000 4194304 5963574 140735464710256 139864003409720 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 230.23
Current children cumulated vsize (KiB) 239128
[startup+243.107 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 18737
/proc/meminfo: memFree=30769572/32873648 swapFree=7112/7112
[pid=18734] ppid=18732 vsize=239128 CPUtime=243.03 cores=1,3,5,7
/proc/18734/stat : 18734 (wbo1.7) S 18732 18734 12452 0 -1 4202496 43533 0 0 0 24282 21 0 0 20 0 2 0 277106860 244867072 42500 33554432000 4194304 5963574 140735464710256 140735464709776 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18734/statm: 59782 42500 187 432 0 59347 0
[pid=18734/tid=18736] ppid=18732 vsize=239128 CPUtime=242.59 cores=1,3,5,7
/proc/18734/task/18736/stat : 18736 (wbo1.7) R 18732 18734 12452 0 -1 4202560 35427 0 0 0 24235 24 0 0 20 0 2 0 277106908 244867072 42500 33554432000 4194304 5963574 140735464710256 139864003409720 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 243.03
Current children cumulated vsize (KiB) 239128
[startup+249.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 18737
/proc/meminfo: memFree=30768084/32873648 swapFree=7112/7112
[pid=18734] ppid=18732 vsize=239128 CPUtime=249.41 cores=1,3,5,7
/proc/18734/stat : 18734 (wbo1.7) S 18732 18734 12452 0 -1 4202496 43920 0 0 0 24920 21 0 0 20 0 2 0 277106860 244867072 42887 33554432000 4194304 5963574 140735464710256 140735464709776 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18734/statm: 59782 42887 187 432 0 59347 0
[pid=18734/tid=18736] ppid=18732 vsize=239128 CPUtime=248.99 cores=1,3,5,7
/proc/18734/task/18736/stat : 18736 (wbo1.7) R 18732 18734 12452 0 -1 4202560 35814 0 0 0 24875 24 0 0 20 0 2 0 277106908 244867072 42887 33554432000 4194304 5963574 140735464710256 139864003409912 5135572 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 249.41
Current children cumulated vsize (KiB) 239128
[startup+252.7 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 18737
/proc/meminfo: memFree=30767464/32873648 swapFree=7112/7112
[pid=18734] ppid=18732 vsize=239128 CPUtime=252.6 cores=1,3,5,7
/proc/18734/stat : 18734 (wbo1.7) S 18732 18734 12452 0 -1 4202496 44092 0 0 0 25239 21 0 0 20 0 2 0 277106860 244867072 43063 33554432000 4194304 5963574 140735464710256 140735464709776 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18734/statm: 59782 43063 187 432 0 59347 0
[pid=18734/tid=18736] ppid=18732 vsize=239128 CPUtime=252.18 cores=1,3,5,7
/proc/18734/task/18736/stat : 18736 (wbo1.7) R 18732 18734 12452 0 -1 4202560 35986 0 0 0 25194 24 0 0 20 0 2 0 277106908 244867072 43063 33554432000 4194304 5963574 140735464710256 139864003409720 4399511 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 252.6
Current children cumulated vsize (KiB) 239128
[startup+254.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 18737
/proc/meminfo: memFree=30766952/32873648 swapFree=7112/7112
[pid=18734] ppid=18732 vsize=239128 CPUtime=254.21 cores=1,3,5,7
/proc/18734/stat : 18734 (wbo1.7) S 18732 18734 12452 0 -1 4202496 44226 0 0 0 25399 22 0 0 20 0 2 0 277106860 244867072 43197 33554432000 4194304 5963574 140735464710256 140735464709776 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18734/statm: 59782 43197 187 432 0 59347 0
[pid=18734/tid=18736] ppid=18732 vsize=239128 CPUtime=253.78 cores=1,3,5,7
/proc/18734/task/18736/stat : 18736 (wbo1.7) R 18732 18734 12452 0 -1 4202560 36120 0 0 0 25354 24 0 0 20 0 2 0 277106908 244867072 43197 33554432000 4194304 5963574 140735464710256 139864003409720 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 254.21
Current children cumulated vsize (KiB) 239128
[startup+255.9 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 18737
/proc/meminfo: memFree=30766580/32873648 swapFree=7112/7112
[pid=18734] ppid=18732 vsize=239128 CPUtime=255.81 cores=1,3,5,7
/proc/18734/stat : 18734 (wbo1.7) S 18732 18734 12452 0 -1 4202496 44272 0 0 0 25559 22 0 0 20 0 2 0 277106860 244867072 43243 33554432000 4194304 5963574 140735464710256 140735464709776 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18734/statm: 59782 43243 187 432 0 59347 0
[pid=18734/tid=18736] ppid=18732 vsize=239128 CPUtime=255.38 cores=1,3,5,7
/proc/18734/task/18736/stat : 18736 (wbo1.7) R 18732 18734 12452 0 -1 4202560 36166 0 0 0 25513 25 0 0 20 0 2 0 277106908 244867072 43243 33554432000 4194304 5963574 140735464710256 139864003409912 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 255.81
Current children cumulated vsize (KiB) 239128
[startup+256.7 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 18737
/proc/meminfo: memFree=30766332/32873648 swapFree=7112/7112
[pid=18734] ppid=18732 vsize=239128 CPUtime=256.61 cores=1,3,5,7
/proc/18734/stat : 18734 (wbo1.7) S 18732 18734 12452 0 -1 4202496 44341 0 0 0 25639 22 0 0 20 0 2 0 277106860 244867072 43312 33554432000 4194304 5963574 140735464710256 140735464709776 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18734/statm: 59782 43312 187 432 0 59347 0
[pid=18734/tid=18736] ppid=18732 vsize=239128 CPUtime=256.18 cores=1,3,5,7
/proc/18734/task/18736/stat : 18736 (wbo1.7) R 18732 18734 12452 0 -1 4202560 36235 0 0 0 25593 25 0 0 20 0 2 0 277106908 244867072 43312 33554432000 4194304 5963574 140735464710256 139864003409912 4399459 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 256.61
Current children cumulated vsize (KiB) 239128
[startup+257.1 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 18737
/proc/meminfo: memFree=30766332/32873648 swapFree=7112/7112
[pid=18734] ppid=18732 vsize=239128 CPUtime=257.01 cores=1,3,5,7
/proc/18734/stat : 18734 (wbo1.7) S 18732 18734 12452 0 -1 4202496 44341 0 0 0 25679 22 0 0 20 0 2 0 277106860 244867072 43312 33554432000 4194304 5963574 140735464710256 140735464709776 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18734/statm: 59782 43312 187 432 0 59347 0
[pid=18734/tid=18736] ppid=18732 vsize=239128 CPUtime=256.58 cores=1,3,5,7
/proc/18734/task/18736/stat : 18736 (wbo1.7) R 18732 18734 12452 0 -1 4202560 36235 0 0 0 25633 25 0 0 20 0 2 0 277106908 244867072 43312 33554432000 4194304 5963574 140735464710256 139864003409720 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 257.01
Current children cumulated vsize (KiB) 239128
[startup+257.2 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 18737
/proc/meminfo: memFree=30766332/32873648 swapFree=7112/7112
[pid=18734] ppid=18732 vsize=239128 CPUtime=257.11 cores=1,3,5,7
/proc/18734/stat : 18734 (wbo1.7) S 18732 18734 12452 0 -1 4202496 44341 0 0 0 25689 22 0 0 20 0 2 0 277106860 244867072 43312 33554432000 4194304 5963574 140735464710256 140735464709776 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18734/statm: 59782 43312 187 432 0 59347 0
[pid=18734/tid=18736] ppid=18732 vsize=239128 CPUtime=256.68 cores=1,3,5,7
/proc/18734/task/18736/stat : 18736 (wbo1.7) R 18732 18734 12452 0 -1 4202560 36235 0 0 0 25643 25 0 0 20 0 2 0 277106908 244867072 43312 33554432000 4194304 5963574 140735464710256 139864003409720 4399971 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 257.11
Current children cumulated vsize (KiB) 239128
Child status: 255
Real time (s): 257.26
CPU time (s): 257.226
CPU user time (s): 256.951
CPU system time (s): 0.274958
CPU usage (%): 99.9869
Max. virtual memory (cumulated for all children) (KiB): 239128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 256.951
system time used= 0.274958
maximum resident set size= 173268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44346
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= 59
involuntary context switches= 264
runsolver used 0.859869 second user time and 2.27265 second system time
The end