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-3729666-1338679559/watcher-3729666-1338679559 -o /tmp/evaluation-result-3729666-1338679559/solver-3729666-1338679559 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3729666-1338679559.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: 1.96 1.90 1.46 3/174 25814
/proc/meminfo: memFree=25492856/32873852 swapFree=7624/7624
[pid=25814] ppid=25812 vsize=4772 CPUtime=0 cores=0,2,4,6
/proc/25814/stat : 25814 (bsolo3.0.17) R 25812 25814 25229 0 -1 4202496 465 0 0 0 0 0 0 0 20 0 1 0 334081324 4886528 401 33554432000 134512640 135840783 4290107520 4290106336 11867431 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25814/statm: 1193 401 326 325 0 108 0
[startup+0.0339591 s]
/proc/loadavg: 1.96 1.90 1.46 3/174 25814
/proc/meminfo: memFree=25492856/32873852 swapFree=7624/7624
[pid=25814] ppid=25812 vsize=5216 CPUtime=0.02 cores=0,2,4,6
/proc/25814/stat : 25814 (bsolo3.0.17) R 25812 25814 25229 0 -1 4202496 658 0 0 0 2 0 0 0 20 0 1 0 334081324 5341184 573 33554432000 134512640 135840783 4290107520 4290105168 11867431 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25814/statm: 1304 573 346 325 0 240 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5216
[startup+0.100255 s]
/proc/loadavg: 1.96 1.90 1.46 3/174 25814
/proc/meminfo: memFree=25492856/32873852 swapFree=7624/7624
[pid=25814] ppid=25812 vsize=5876 CPUtime=0.09 cores=0,2,4,6
/proc/25814/stat : 25814 (bsolo3.0.17) R 25812 25814 25229 0 -1 4202496 799 0 0 0 9 0 0 0 20 0 1 0 334081324 6017024 714 33554432000 134512640 135840783 4290107520 4290105648 11867431 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25814/statm: 1469 714 346 325 0 405 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5876
[startup+0.300223 s]
/proc/loadavg: 1.96 1.90 1.46 3/174 25814
/proc/meminfo: memFree=25492856/32873852 swapFree=7624/7624
[pid=25814] ppid=25812 vsize=6912 CPUtime=0.29 cores=0,2,4,6
/proc/25814/stat : 25814 (bsolo3.0.17) R 25812 25814 25229 0 -1 4202496 1061 0 0 0 29 0 0 0 20 0 1 0 334081324 7077888 976 33554432000 134512640 135840783 4290107520 4290105440 11867431 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25814/statm: 1728 976 346 325 0 664 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6912
[startup+0.70022 s]
/proc/loadavg: 1.96 1.90 1.46 3/174 25814
/proc/meminfo: memFree=25492856/32873852 swapFree=7624/7624
[pid=25814] ppid=25812 vsize=7836 CPUtime=0.69 cores=0,2,4,6
/proc/25814/stat : 25814 (bsolo3.0.17) R 25812 25814 25229 0 -1 4202496 1292 0 0 0 69 0 0 0 20 0 1 0 334081324 8024064 1207 33554432000 134512640 135840783 4290107520 4290106880 134551104 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25814/statm: 1959 1207 346 325 0 895 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7836
[startup+1.50022 s]
/proc/loadavg: 1.96 1.90 1.46 3/175 25815
/proc/meminfo: memFree=25488136/32873852 swapFree=7624/7624
[pid=25814] ppid=25812 vsize=8232 CPUtime=1.49 cores=0,2,4,6
/proc/25814/stat : 25814 (bsolo3.0.17) R 25812 25814 25229 0 -1 4202496 1391 0 0 0 149 0 0 0 20 0 1 0 334081324 8429568 1306 33554432000 134512640 135840783 4290107520 4290106872 4155564 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25814/statm: 2058 1306 346 325 0 994 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8232
[startup+3.10022 s]
/proc/loadavg: 1.96 1.90 1.46 3/175 25815
/proc/meminfo: memFree=25486012/32873852 swapFree=7624/7624
[pid=25814] ppid=25812 vsize=8876 CPUtime=3.09 cores=0,2,4,6
/proc/25814/stat : 25814 (bsolo3.0.17) R 25812 25814 25229 0 -1 4202496 1551 0 0 0 309 0 0 0 20 0 1 0 334081324 9089024 1466 33554432000 134512640 135840783 4290107520 4290106880 134550902 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25814/statm: 2219 1466 346 325 0 1155 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8876
[startup+6.30022 s]
/proc/loadavg: 1.96 1.90 1.46 3/175 25815
/proc/meminfo: memFree=25480044/32873852 swapFree=7624/7624
[pid=25814] ppid=25812 vsize=9536 CPUtime=6.29 cores=0,2,4,6
/proc/25814/stat : 25814 (bsolo3.0.17) R 25812 25814 25229 0 -1 4202496 1718 0 0 0 629 0 0 0 20 0 1 0 334081324 9764864 1633 33554432000 134512640 135840783 4290107520 4290106880 134551048 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25814/statm: 2384 1633 346 325 0 1320 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 9536
[startup+12.7002 s]
/proc/loadavg: 1.96 1.90 1.46 3/175 25815
/proc/meminfo: memFree=25470008/32873852 swapFree=7624/7624
[pid=25814] ppid=25812 vsize=9668 CPUtime=12.69 cores=0,2,4,6
/proc/25814/stat : 25814 (bsolo3.0.17) R 25812 25814 25229 0 -1 4202496 1759 0 0 0 1269 0 0 0 20 0 1 0 334081324 9900032 1674 33554432000 134512640 135840783 4290107520 4290106880 134550860 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25814/statm: 2417 1674 346 325 0 1353 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 9668
[startup+25.5002 s]
/proc/loadavg: 1.97 1.90 1.47 3/175 25815
/proc/meminfo: memFree=25447044/32873852 swapFree=7624/7624
[pid=25814] ppid=25812 vsize=10544 CPUtime=25.48 cores=0,2,4,6
/proc/25814/stat : 25814 (bsolo3.0.17) R 25812 25814 25229 0 -1 4202496 1972 0 0 0 2548 0 0 0 20 0 1 0 334081324 10797056 1887 33554432000 134512640 135840783 4290107520 4290106880 134551330 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25814/statm: 2636 1887 346 325 0 1572 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 10544
[startup+51.1002 s]
/proc/loadavg: 1.98 1.91 1.48 3/175 25815
/proc/meminfo: memFree=25409440/32873852 swapFree=7624/7624
[pid=25814] ppid=25812 vsize=11860 CPUtime=51.08 cores=0,2,4,6
/proc/25814/stat : 25814 (bsolo3.0.17) R 25812 25814 25229 0 -1 4202496 2302 0 0 0 5108 0 0 0 20 0 1 0 334081324 12144640 2217 33554432000 134512640 135840783 4290107520 4290106832 134551058 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25814/statm: 2965 2217 346 325 0 1901 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 11860
[startup+102.306 s]
/proc/loadavg: 1.99 1.92 1.51 3/175 25815
/proc/meminfo: memFree=25327520/32873852 swapFree=7624/7624
[pid=25814] ppid=25812 vsize=12180 CPUtime=102.28 cores=0,2,4,6
/proc/25814/stat : 25814 (bsolo3.0.17) R 25812 25814 25229 0 -1 4202496 2384 0 0 0 10228 0 0 0 20 0 1 0 334081324 12472320 2299 33554432000 134512640 135840783 4290107520 4290106756 11861963 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25814/statm: 3045 2299 346 325 0 1981 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 12180
[startup+162.3 s]
/proc/loadavg: 1.99 1.93 1.54 3/175 25815
/proc/meminfo: memFree=25235044/32873852 swapFree=7624/7624
[pid=25814] ppid=25812 vsize=13296 CPUtime=162.26 cores=0,2,4,6
/proc/25814/stat : 25814 (bsolo3.0.17) R 25812 25814 25229 0 -1 4202496 2666 0 0 0 16226 0 0 0 20 0 1 0 334081324 13615104 2581 33554432000 134512640 135840783 4290107520 4290106800 4542444 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25814/statm: 3324 2581 346 325 0 2260 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 13296
[startup+222.3 s]
/proc/loadavg: 1.99 1.94 1.56 3/175 25815
/proc/meminfo: memFree=25151124/32873852 swapFree=7624/7624
[pid=25814] ppid=25812 vsize=13804 CPUtime=222.25 cores=0,2,4,6
/proc/25814/stat : 25814 (bsolo3.0.17) R 25812 25814 25229 0 -1 4202496 2789 0 0 0 22225 0 0 0 20 0 1 0 334081324 14135296 2704 33554432000 134512640 135840783 4290107520 4290106880 134550804 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25814/statm: 3451 2704 346 325 0 2387 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 13804
[startup+282.3 s]
/proc/loadavg: 1.99 1.95 1.59 3/176 25819
/proc/meminfo: memFree=25068560/32873852 swapFree=7624/7624
[pid=25814] ppid=25812 vsize=13796 CPUtime=282.24 cores=0,2,4,6
/proc/25814/stat : 25814 (bsolo3.0.17) R 25812 25814 25229 0 -1 4202496 2789 0 0 0 28224 0 0 0 20 0 1 0 334081324 14127104 2704 33554432000 134512640 135840783 4290107520 4290106880 134551330 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25814/statm: 3449 2704 346 325 0 2385 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 13796
[startup+342.3 s]
/proc/loadavg: 1.99 1.95 1.61 3/175 25819
/proc/meminfo: memFree=24975596/32873852 swapFree=7624/7624
[pid=25814] ppid=25812 vsize=14780 CPUtime=342.23 cores=0,2,4,6
/proc/25814/stat : 25814 (bsolo3.0.17) R 25812 25814 25229 0 -1 4202496 3034 0 0 0 34223 0 0 0 20 0 1 0 334081324 15134720 2949 33554432000 134512640 135840783 4290107520 4290106880 134551318 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25814/statm: 3695 2949 346 325 0 2631 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 14780
[startup+402.3 s]
/proc/loadavg: 1.99 1.96 1.63 3/176 25820
/proc/meminfo: memFree=24907788/32873852 swapFree=7624/7624
[pid=25814] ppid=25812 vsize=15268 CPUtime=402.22 cores=0,2,4,6
/proc/25814/stat : 25814 (bsolo3.0.17) R 25812 25814 25229 0 -1 4202496 3159 0 0 0 40222 0 0 0 20 0 1 0 334081324 15634432 3074 33554432000 134512640 135840783 4290107520 4290106880 134551093 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25814/statm: 3817 3074 346 325 0 2753 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 15268
[startup+462.3 s]
/proc/loadavg: 1.99 1.97 1.65 3/175 25858
/proc/meminfo: memFree=28415264/32873852 swapFree=7624/7624
[pid=25814] ppid=25812 vsize=15232 CPUtime=462.21 cores=0,2,4,6
/proc/25814/stat : 25814 (bsolo3.0.17) R 25812 25814 25229 0 -1 4202496 3163 0 0 0 46221 0 0 0 20 0 1 0 334081324 15597568 3074 33554432000 134512640 135840783 4290107520 4290106832 134551048 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25814/statm: 3808 3074 346 325 0 2744 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 15232
[startup+522.3 s]
/proc/loadavg: 1.99 1.97 1.67 3/175 25858
/proc/meminfo: memFree=28412724/32873852 swapFree=7624/7624
[pid=25814] ppid=25812 vsize=15328 CPUtime=522.2 cores=0,2,4,6
/proc/25814/stat : 25814 (bsolo3.0.17) R 25812 25814 25229 0 -1 4202496 3201 0 0 0 52220 0 0 0 20 0 1 0 334081324 15695872 3093 33554432000 134512640 135840783 4290107520 4290106880 134551312 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25814/statm: 3832 3093 346 325 0 2768 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 15328
[startup+582.3 s]
/proc/loadavg: 1.99 1.97 1.69 3/175 25859
/proc/meminfo: memFree=28411048/32873852 swapFree=7624/7624
[pid=25814] ppid=25812 vsize=15544 CPUtime=582.19 cores=0,2,4,6
/proc/25814/stat : 25814 (bsolo3.0.17) R 25812 25814 25229 0 -1 4202496 3251 0 0 0 58219 0 0 0 20 0 1 0 334081324 15917056 3143 33554432000 134512640 135840783 4290107520 4290106824 11869893 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25814/statm: 3886 3143 346 325 0 2822 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 15544
[startup+642.3 s]
/proc/loadavg: 1.99 1.97 1.70 3/175 25859
/proc/meminfo: memFree=28410800/32873852 swapFree=7624/7624
[pid=25814] ppid=25812 vsize=15672 CPUtime=642.19 cores=0,2,4,6
/proc/25814/stat : 25814 (bsolo3.0.17) R 25812 25814 25229 0 -1 4202496 3295 0 0 0 64219 0 0 0 20 0 1 0 334081324 16048128 3187 33554432000 134512640 135840783 4290107520 4290106880 134551104 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25814/statm: 3918 3187 346 325 0 2854 0
Current children cumulated CPU time (s) 642.19
Current children cumulated vsize (KiB) 15672
[startup+702.3 s]
/proc/loadavg: 1.99 1.97 1.72 3/175 25859
/proc/meminfo: memFree=28410304/32873852 swapFree=7624/7624
[pid=25814] ppid=25812 vsize=15672 CPUtime=702.17 cores=0,2,4,6
/proc/25814/stat : 25814 (bsolo3.0.17) R 25812 25814 25229 0 -1 4202496 3296 0 0 0 70217 0 0 0 20 0 1 0 334081324 16048128 3188 33554432000 134512640 135840783 4290107520 4290106880 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25814/statm: 3918 3188 346 325 0 2854 0
Current children cumulated CPU time (s) 702.17
Current children cumulated vsize (KiB) 15672
[startup+762.306 s]
/proc/loadavg: 1.99 1.97 1.74 3/175 25859
/proc/meminfo: memFree=28409248/32873852 swapFree=7624/7624
[pid=25814] ppid=25812 vsize=16640 CPUtime=762.17 cores=0,2,4,6
/proc/25814/stat : 25814 (bsolo3.0.17) R 25812 25814 25229 0 -1 4202496 3534 0 0 0 76217 0 0 0 20 0 1 0 334081324 17039360 3425 33554432000 134512640 135840783 4290107520 4290106880 134550884 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25814/statm: 4160 3425 346 325 0 3096 0
Current children cumulated CPU time (s) 762.17
Current children cumulated vsize (KiB) 16640
[startup+822.3 s]
/proc/loadavg: 2.03 1.99 1.75 3/175 25859
/proc/meminfo: memFree=28408752/32873852 swapFree=7624/7624
[pid=25814] ppid=25812 vsize=16888 CPUtime=822.15 cores=0,2,4,6
/proc/25814/stat : 25814 (bsolo3.0.17) R 25812 25814 25229 0 -1 4202496 3593 0 0 0 82215 0 0 0 20 0 1 0 334081324 17293312 3484 33554432000 134512640 135840783 4290107520 4290106880 134550808 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25814/statm: 4222 3484 346 325 0 3158 0
Current children cumulated CPU time (s) 822.15
Current children cumulated vsize (KiB) 16888
Solver just ended. Dumping a history of the last processes samples
[startup+831.9 s]
/proc/loadavg: 2.02 1.99 1.75 3/175 25859
/proc/meminfo: memFree=28408752/32873852 swapFree=7624/7624
[pid=25814] ppid=25812 vsize=16888 CPUtime=831.75 cores=0,2,4,6
/proc/25814/stat : 25814 (bsolo3.0.17) R 25812 25814 25229 0 -1 4202496 3593 0 0 0 83175 0 0 0 20 0 1 0 334081324 17293312 3484 33554432000 134512640 135840783 4290107520 4290106880 134550832 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25814/statm: 4222 3484 346 325 0 3158 0
Current children cumulated CPU time (s) 831.75
Current children cumulated vsize (KiB) 16888
[startup+844.7 s]
/proc/loadavg: 2.02 1.99 1.76 3/176 25862
/proc/meminfo: memFree=28408588/32873852 swapFree=7624/7624
[pid=25814] ppid=25812 vsize=16884 CPUtime=844.56 cores=0,2,4,6
/proc/25814/stat : 25814 (bsolo3.0.17) R 25812 25814 25229 0 -1 4202496 3593 0 0 0 84456 0 0 0 20 0 1 0 334081324 17289216 3484 33554432000 134512640 135840783 4290107520 4290106872 4551176 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25814/statm: 4221 3484 346 325 0 3157 0
Current children cumulated CPU time (s) 844.56
Current children cumulated vsize (KiB) 16884
[startup+847.9 s]
/proc/loadavg: 2.02 1.99 1.76 3/176 25862
/proc/meminfo: memFree=28408464/32873852 swapFree=7624/7624
[pid=25814] ppid=25812 vsize=16884 CPUtime=847.75 cores=0,2,4,6
/proc/25814/stat : 25814 (bsolo3.0.17) R 25812 25814 25229 0 -1 4202496 3593 0 0 0 84775 0 0 0 20 0 1 0 334081324 17289216 3484 33554432000 134512640 135840783 4290107520 4290106844 11872784 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25814/statm: 4221 3484 346 325 0 3157 0
Current children cumulated CPU time (s) 847.75
Current children cumulated vsize (KiB) 16884
[startup+849.5 s]
/proc/loadavg: 2.02 1.99 1.76 3/176 25862
/proc/meminfo: memFree=28408464/32873852 swapFree=7624/7624
[pid=25814] ppid=25812 vsize=16884 CPUtime=849.35 cores=0,2,4,6
/proc/25814/stat : 25814 (bsolo3.0.17) R 25812 25814 25229 0 -1 4202496 3593 0 0 0 84935 0 0 0 20 0 1 0 334081324 17289216 3484 33554432000 134512640 135840783 4290107520 4290106880 134550887 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25814/statm: 4221 3484 346 325 0 3157 0
Current children cumulated CPU time (s) 849.35
Current children cumulated vsize (KiB) 16884
[startup+850.306 s]
/proc/loadavg: 2.02 1.99 1.76 3/176 25862
/proc/meminfo: memFree=28408588/32873852 swapFree=7624/7624
[pid=25814] ppid=25812 vsize=16884 CPUtime=850.16 cores=0,2,4,6
/proc/25814/stat : 25814 (bsolo3.0.17) R 25812 25814 25229 0 -1 4202496 3593 0 0 0 85016 0 0 0 20 0 1 0 334081324 17289216 3484 33554432000 134512640 135840783 4290107520 4290106880 134550804 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25814/statm: 4221 3484 346 325 0 3157 0
Current children cumulated CPU time (s) 850.16
Current children cumulated vsize (KiB) 16884
[startup+850.7 s]
/proc/loadavg: 2.02 1.99 1.76 3/176 25862
/proc/meminfo: memFree=28408588/32873852 swapFree=7624/7624
[pid=25814] ppid=25812 vsize=16884 CPUtime=850.55 cores=0,2,4,6
/proc/25814/stat : 25814 (bsolo3.0.17) R 25812 25814 25229 0 -1 4202496 3593 0 0 0 85055 0 0 0 20 0 1 0 334081324 17289216 3484 33554432000 134512640 135840783 4290107520 4290106880 134550884 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25814/statm: 4221 3484 346 325 0 3157 0
Current children cumulated CPU time (s) 850.55
Current children cumulated vsize (KiB) 16884
[startup+850.9 s]
/proc/loadavg: 2.02 1.99 1.76 3/176 25862
/proc/meminfo: memFree=28408588/32873852 swapFree=7624/7624
[pid=25814] ppid=25812 vsize=16884 CPUtime=850.75 cores=0,2,4,6
/proc/25814/stat : 25814 (bsolo3.0.17) R 25812 25814 25229 0 -1 4202496 3593 0 0 0 85075 0 0 0 20 0 1 0 334081324 17289216 3484 33554432000 134512640 135840783 4290107520 4290106800 11869792 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25814/statm: 4221 3484 346 325 0 3157 0
Current children cumulated CPU time (s) 850.75
Current children cumulated vsize (KiB) 16884
[startup+851 s]
/proc/loadavg: 2.02 1.99 1.76 3/176 25862
/proc/meminfo: memFree=28408588/32873852 swapFree=7624/7624
[pid=25814] ppid=25812 vsize=16884 CPUtime=850.85 cores=0,2,4,6
/proc/25814/stat : 25814 (bsolo3.0.17) R 25812 25814 25229 0 -1 4202496 3593 0 0 0 85085 0 0 0 20 0 1 0 334081324 17289216 3484 33554432000 134512640 135840783 4290107520 4290106880 134550764 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25814/statm: 4221 3484 346 325 0 3157 0
Current children cumulated CPU time (s) 850.85
Current children cumulated vsize (KiB) 16884
Child status: 0
Real time (s): 851.089
CPU time (s): 850.953
CPU user time (s): 850.944
CPU system time (s): 0.008998
CPU usage (%): 99.984
Max. virtual memory (cumulated for all children) (KiB): 16900
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 850.944
system time used= 0.008998
maximum resident set size= 13936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3596
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= 12
involuntary context switches= 883
runsolver used 1.3098 second user time and 3.33349 second system time
The end