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-3729642-1338682442/watcher-3729642-1338682442 -o /tmp/evaluation-result-3729642-1338682442/solver-3729642-1338682442 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3729642-1338682442.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.00 1.91 3/176 30181
/proc/meminfo: memFree=31446200/32873844 swapFree=7116/7116
[pid=30181] ppid=30179 vsize=11016 CPUtime=0 cores=0,2,4,6
/proc/30181/stat : 30181 (bsolo) R 30179 30181 29538 0 -1 4202496 343 0 0 0 0 0 0 0 20 0 1 0 334371167 11280384 297 33554432000 134512640 137136520 4294601824 4294600216 136504651 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30181/statm: 2754 297 187 641 0 2089 0
[startup+0.101712 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 30181
/proc/meminfo: memFree=31446200/32873844 swapFree=7116/7116
[pid=30181] ppid=30179 vsize=11704 CPUtime=0.1 cores=0,2,4,6
/proc/30181/stat : 30181 (bsolo) R 30179 30181 29538 0 -1 4202496 555 0 0 0 10 0 0 0 20 0 1 0 334371167 11984896 488 33554432000 134512640 137136520 4294601824 4294600940 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30181/statm: 2926 488 196 641 0 2282 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 11704
[startup+0.200281 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 30181
/proc/meminfo: memFree=31446200/32873844 swapFree=7116/7116
[pid=30181] ppid=30179 vsize=12080 CPUtime=0.19 cores=0,2,4,6
/proc/30181/stat : 30181 (bsolo) R 30179 30181 29538 0 -1 4202496 649 0 0 0 19 0 0 0 20 0 1 0 334371167 12369920 582 33554432000 134512640 137136520 4294601824 4294600752 134544852 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30181/statm: 3020 582 196 641 0 2376 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 12080
[startup+0.300309 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 30181
/proc/meminfo: memFree=31446200/32873844 swapFree=7116/7116
[pid=30181] ppid=30179 vsize=12332 CPUtime=0.29 cores=0,2,4,6
/proc/30181/stat : 30181 (bsolo) R 30179 30181 29538 0 -1 4202496 720 0 0 0 29 0 0 0 20 0 1 0 334371167 12627968 653 33554432000 134512640 137136520 4294601824 4294600752 134544384 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30181/statm: 3083 653 196 641 0 2439 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12332
[startup+0.700292 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 30181
/proc/meminfo: memFree=31446200/32873844 swapFree=7116/7116
[pid=30181] ppid=30179 vsize=13300 CPUtime=0.69 cores=0,2,4,6
/proc/30181/stat : 30181 (bsolo) R 30179 30181 29538 0 -1 4202496 943 0 0 0 69 0 0 0 20 0 1 0 334371167 13619200 876 33554432000 134512640 137136520 4294601824 4294600752 134543831 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30181/statm: 3325 876 196 641 0 2681 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13300
[startup+1.50028 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 30182
/proc/meminfo: memFree=31443044/32873844 swapFree=7116/7116
[pid=30181] ppid=30179 vsize=13424 CPUtime=1.49 cores=0,2,4,6
/proc/30181/stat : 30181 (bsolo) R 30179 30181 29538 0 -1 4202496 989 0 0 0 149 0 0 0 20 0 1 0 334371167 13746176 922 33554432000 134512640 137136520 4294601824 4294600572 136293435 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30181/statm: 3356 922 197 641 0 2712 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13424
[startup+3.10028 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 30182
/proc/meminfo: memFree=31442912/32873844 swapFree=7116/7116
[pid=30181] ppid=30179 vsize=14040 CPUtime=3.09 cores=0,2,4,6
/proc/30181/stat : 30181 (bsolo) R 30179 30181 29538 0 -1 4202496 1127 0 0 0 308 1 0 0 20 0 1 0 334371167 14376960 1060 33554432000 134512640 137136520 4294601824 4294600720 134544019 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30181/statm: 3510 1060 197 641 0 2866 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14040
[startup+6.30029 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 30182
/proc/meminfo: memFree=31441928/32873844 swapFree=7116/7116
[pid=30181] ppid=30179 vsize=14652 CPUtime=6.29 cores=0,2,4,6
/proc/30181/stat : 30181 (bsolo) R 30179 30181 29538 0 -1 4202496 1282 0 0 0 628 1 0 0 20 0 1 0 334371167 15003648 1215 33554432000 134512640 137136520 4294601824 4294600752 134543819 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30181/statm: 3663 1215 197 641 0 3019 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14652
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 30182
/proc/meminfo: memFree=31438780/32873844 swapFree=7116/7116
[pid=30181] ppid=30179 vsize=15140 CPUtime=12.69 cores=0,2,4,6
/proc/30181/stat : 30181 (bsolo) R 30179 30181 29538 0 -1 4202496 1424 0 0 0 1266 3 0 0 20 0 1 0 334371167 15503360 1864 33554432000 134512640 137136520 4294601824 4294600240 136501952 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30181/statm: 3785 1864 197 641 0 3141 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15140
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 30182
/proc/meminfo: memFree=31438656/32873844 swapFree=7116/7116
[pid=30181] ppid=30179 vsize=15752 CPUtime=25.49 cores=0,2,4,6
/proc/30181/stat : 30181 (bsolo) R 30179 30181 29538 0 -1 4202496 1566 0 0 0 2543 6 0 0 20 0 1 0 334371167 16130048 2006 33554432000 134512640 137136520 4294601824 4294600940 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30181/statm: 3938 2006 197 641 0 3294 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 15752
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 30182
/proc/meminfo: memFree=31437288/32873844 swapFree=7116/7116
[pid=30181] ppid=30179 vsize=17332 CPUtime=51.08 cores=0,2,4,6
/proc/30181/stat : 30181 (bsolo) R 30179 30181 29538 0 -1 4202496 1971 0 0 0 5097 11 0 0 20 0 1 0 334371167 17747968 2409 33554432000 134512640 137136520 4294601824 4294600752 134543971 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30181/statm: 4333 2409 197 641 0 3689 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 17332
[startup+102.3 s]
/proc/loadavg: 2.03 2.01 1.92 3/177 30183
/proc/meminfo: memFree=31435480/32873844 swapFree=7116/7116
[pid=30181] ppid=30179 vsize=18044 CPUtime=102.28 cores=0,2,4,6
/proc/30181/stat : 30181 (bsolo) R 30179 30181 29538 0 -1 4202496 2159 0 0 0 10207 21 0 0 20 0 1 0 334371167 18477056 2596 33554432000 134512640 137136520 4294601824 4294598096 134600233 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30181/statm: 4511 2596 197 641 0 3867 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 18044
[startup+162.3 s]
/proc/loadavg: 2.01 2.01 1.92 3/177 30184
/proc/meminfo: memFree=31435108/32873844 swapFree=7116/7116
[pid=30181] ppid=30179 vsize=18160 CPUtime=162.26 cores=0,2,4,6
/proc/30181/stat : 30181 (bsolo) R 30179 30181 29538 0 -1 4202496 2181 0 0 0 16195 31 0 0 20 0 1 0 334371167 18595840 2617 33554432000 134512640 137136520 4294601824 4294600864 134540850 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30181/statm: 4540 2617 197 641 0 3896 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 18160
[startup+222.306 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 30184
/proc/meminfo: memFree=31434612/32873844 swapFree=7116/7116
[pid=30181] ppid=30179 vsize=18744 CPUtime=222.26 cores=0,2,4,6
/proc/30181/stat : 30181 (bsolo) R 30179 30181 29538 0 -1 4202496 2321 0 0 0 22184 42 0 0 20 0 1 0 334371167 19193856 2757 33554432000 134512640 137136520 4294601824 4294600940 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30181/statm: 4686 2757 197 641 0 4042 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 18744
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 30184
/proc/meminfo: memFree=31433248/32873844 swapFree=7116/7116
[pid=30181] ppid=30179 vsize=19096 CPUtime=282.25 cores=0,2,4,6
/proc/30181/stat : 30181 (bsolo) R 30179 30181 29538 0 -1 4202496 2405 0 0 0 28173 52 0 0 20 0 1 0 334371167 19554304 2841 33554432000 134512640 137136520 4294601824 4294600752 134543971 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30181/statm: 4774 2841 197 641 0 4130 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 19096
[startup+342.3 s]
/proc/loadavg: 2.10 2.03 1.93 3/177 30232
/proc/meminfo: memFree=31437036/32873844 swapFree=7116/7116
[pid=30181] ppid=30179 vsize=19580 CPUtime=342.23 cores=0,2,4,6
/proc/30181/stat : 30181 (bsolo) R 30179 30181 29538 0 -1 4202496 2530 0 0 0 34163 60 0 0 20 0 1 0 334371167 20049920 2966 33554432000 134512640 137136520 4294601824 4294600752 134544547 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30181/statm: 4895 2966 197 641 0 4251 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 19580
[startup+402.3 s]
/proc/loadavg: 2.04 2.02 1.93 3/178 30235
/proc/meminfo: memFree=31435972/32873844 swapFree=7116/7116
[pid=30181] ppid=30179 vsize=19268 CPUtime=402.23 cores=0,2,4,6
/proc/30181/stat : 30181 (bsolo) R 30179 30181 29538 0 -1 4202496 2530 0 0 0 40152 71 0 0 20 0 1 0 334371167 19730432 2903 33554432000 134512640 137136520 4294601824 4294600720 134544135 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30181/statm: 4817 2903 197 641 0 4173 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 19268
[startup+462.3 s]
/proc/loadavg: 2.01 2.02 1.93 3/177 30236
/proc/meminfo: memFree=31434488/32873844 swapFree=7116/7116
[pid=30181] ppid=30179 vsize=20416 CPUtime=462.22 cores=0,2,4,6
/proc/30181/stat : 30181 (bsolo) R 30179 30181 29538 0 -1 4202496 2791 0 0 0 46143 79 0 0 20 0 1 0 334371167 20905984 3163 33554432000 134512640 137136520 4294601824 4294600684 136518953 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30181/statm: 5104 3163 197 641 0 4460 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 20416
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/177 30236
/proc/meminfo: memFree=31433124/32873844 swapFree=7116/7116
[pid=30181] ppid=30179 vsize=20540 CPUtime=522.21 cores=0,2,4,6
/proc/30181/stat : 30181 (bsolo) R 30179 30181 29538 0 -1 4202496 2847 0 0 0 52131 90 0 0 20 0 1 0 334371167 21032960 3219 33554432000 134512640 137136520 4294601824 4294600752 134544402 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30181/statm: 5135 3219 197 641 0 4491 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 20540
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/177 30236
/proc/meminfo: memFree=31432316/32873844 swapFree=7116/7116
[pid=30181] ppid=30179 vsize=20540 CPUtime=582.2 cores=0,2,4,6
/proc/30181/stat : 30181 (bsolo) R 30179 30181 29538 0 -1 4202496 2847 0 0 0 58122 98 0 0 20 0 1 0 334371167 21032960 3219 33554432000 134512640 137136520 4294601824 4294600536 136502029 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30181/statm: 5135 3219 197 641 0 4491 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 20540
[startup+642.3 s]
/proc/loadavg: 2.06 2.02 1.94 3/177 30236
/proc/meminfo: memFree=31432316/32873844 swapFree=7116/7116
[pid=30181] ppid=30179 vsize=20784 CPUtime=642.2 cores=0,2,4,6
/proc/30181/stat : 30181 (bsolo) R 30179 30181 29538 0 -1 4202496 2901 0 0 0 64114 106 0 0 20 0 1 0 334371167 21282816 3273 33554432000 134512640 137136520 4294601824 4294600356 134551589 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30181/statm: 5196 3273 197 641 0 4552 0
Current children cumulated CPU time (s) 642.2
Current children cumulated vsize (KiB) 20784
[startup+702.3 s]
/proc/loadavg: 2.02 2.01 1.94 3/177 30332
/proc/meminfo: memFree=31436560/32873844 swapFree=7116/7116
[pid=30181] ppid=30179 vsize=20784 CPUtime=702.19 cores=0,2,4,6
/proc/30181/stat : 30181 (bsolo) R 30179 30181 29538 0 -1 4202496 2902 0 0 0 70103 116 0 0 20 0 1 0 334371167 21282816 3274 33554432000 134512640 137136520 4294601824 4294598688 134600383 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30181/statm: 5196 3274 197 641 0 4552 0
Current children cumulated CPU time (s) 702.19
Current children cumulated vsize (KiB) 20784
[startup+762.3 s]
/proc/loadavg: 2.10 2.04 1.95 3/177 30333
/proc/meminfo: memFree=31434180/32873844 swapFree=7116/7116
[pid=30181] ppid=30179 vsize=20744 CPUtime=762.18 cores=0,2,4,6
/proc/30181/stat : 30181 (bsolo) R 30179 30181 29538 0 -1 4202496 2902 0 0 0 76093 125 0 0 20 0 1 0 334371167 21241856 3272 33554432000 134512640 137136520 4294601824 4294598552 134599180 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30181/statm: 5186 3272 197 641 0 4542 0
Current children cumulated CPU time (s) 762.18
Current children cumulated vsize (KiB) 20744
[startup+822.3 s]
/proc/loadavg: 2.04 2.03 1.95 3/177 30333
/proc/meminfo: memFree=31433064/32873844 swapFree=7116/7116
[pid=30181] ppid=30179 vsize=20856 CPUtime=822.17 cores=0,2,4,6
/proc/30181/stat : 30181 (bsolo) R 30179 30181 29538 0 -1 4202496 2929 0 0 0 82084 133 0 0 20 0 1 0 334371167 21356544 3299 33554432000 134512640 137136520 4294601824 4294600752 134544396 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30181/statm: 5214 3299 197 641 0 4570 0
Current children cumulated CPU time (s) 822.17
Current children cumulated vsize (KiB) 20856
[startup+882.306 s]
/proc/loadavg: 2.01 2.02 1.95 3/177 30333
/proc/meminfo: memFree=31431760/32873844 swapFree=7116/7116
[pid=30181] ppid=30179 vsize=20856 CPUtime=882.16 cores=0,2,4,6
/proc/30181/stat : 30181 (bsolo) R 30179 30181 29538 0 -1 4202496 2929 0 0 0 88076 140 0 0 20 0 1 0 334371167 21356544 3299 33554432000 134512640 137136520 4294601824 4294600752 134543865 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30181/statm: 5214 3299 197 641 0 4570 0
Current children cumulated CPU time (s) 882.16
Current children cumulated vsize (KiB) 20856
Solver just ended. Dumping a history of the last processes samples
[startup+896 s]
/proc/loadavg: 2.01 2.02 1.95 3/177 30333
/proc/meminfo: memFree=31432008/32873844 swapFree=7116/7116
[pid=30181] ppid=30179 vsize=20856 CPUtime=895.86 cores=0,2,4,6
/proc/30181/stat : 30181 (bsolo) R 30179 30181 29538 0 -1 4202496 2929 0 0 0 89444 142 0 0 20 0 1 0 334371167 21356544 3299 33554432000 134512640 137136520 4294601824 4294600752 134543865 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30181/statm: 5214 3299 197 641 0 4570 0
Current children cumulated CPU time (s) 895.86
Current children cumulated vsize (KiB) 20856
[startup+908.8 s]
/proc/loadavg: 2.01 2.02 1.95 3/177 30333
/proc/meminfo: memFree=31432256/32873844 swapFree=7116/7116
[pid=30181] ppid=30179 vsize=20856 CPUtime=908.65 cores=0,2,4,6
/proc/30181/stat : 30181 (bsolo) R 30179 30181 29538 0 -1 4202496 2929 0 0 0 90721 144 0 0 20 0 1 0 334371167 21356544 3299 33554432000 134512640 137136520 4294601824 4294600752 134543927 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30181/statm: 5214 3299 197 641 0 4570 0
Current children cumulated CPU time (s) 908.65
Current children cumulated vsize (KiB) 20856
[startup+921.6 s]
/proc/loadavg: 2.00 2.02 1.95 3/177 30333
/proc/meminfo: memFree=31432256/32873844 swapFree=7116/7116
[pid=30181] ppid=30179 vsize=20856 CPUtime=921.45 cores=0,2,4,6
/proc/30181/stat : 30181 (bsolo) R 30179 30181 29538 0 -1 4202496 2929 0 0 0 91999 146 0 0 20 0 1 0 334371167 21356544 3299 33554432000 134512640 137136520 4294601824 4294600720 134544402 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30181/statm: 5214 3299 197 641 0 4570 0
Current children cumulated CPU time (s) 921.45
Current children cumulated vsize (KiB) 20856
[startup+928 s]
/proc/loadavg: 2.00 2.02 1.95 3/177 30333
/proc/meminfo: memFree=31432132/32873844 swapFree=7116/7116
[pid=30181] ppid=30179 vsize=20856 CPUtime=927.85 cores=0,2,4,6
/proc/30181/stat : 30181 (bsolo) R 30179 30181 29538 0 -1 4202496 2929 0 0 0 92638 147 0 0 20 0 1 0 334371167 21356544 3299 33554432000 134512640 137136520 4294601824 4294600744 135982500 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30181/statm: 5214 3299 197 641 0 4570 0
Current children cumulated CPU time (s) 927.85
Current children cumulated vsize (KiB) 20856
[startup+929.606 s]
/proc/loadavg: 2.00 2.02 1.95 3/177 30333
/proc/meminfo: memFree=31432256/32873844 swapFree=7116/7116
[pid=30181] ppid=30179 vsize=20856 CPUtime=929.46 cores=0,2,4,6
/proc/30181/stat : 30181 (bsolo) R 30179 30181 29538 0 -1 4202496 2929 0 0 0 92799 147 0 0 20 0 1 0 334371167 21356544 3299 33554432000 134512640 137136520 4294601824 4294598552 134599295 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30181/statm: 5214 3299 197 641 0 4570 0
Current children cumulated CPU time (s) 929.46
Current children cumulated vsize (KiB) 20856
[startup+931.2 s]
/proc/loadavg: 2.00 2.02 1.95 3/177 30333
/proc/meminfo: memFree=31432256/32873844 swapFree=7116/7116
[pid=30181] ppid=30179 vsize=20856 CPUtime=931.05 cores=0,2,4,6
/proc/30181/stat : 30181 (bsolo) R 30179 30181 29538 0 -1 4202496 2929 0 0 0 92958 147 0 0 20 0 1 0 334371167 21356544 3299 33554432000 134512640 137136520 4294601824 4294600684 136518971 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30181/statm: 5214 3299 197 641 0 4570 0
Current children cumulated CPU time (s) 931.05
Current children cumulated vsize (KiB) 20856
[startup+932 s]
/proc/loadavg: 2.00 2.02 1.95 3/177 30333
/proc/meminfo: memFree=31432256/32873844 swapFree=7116/7116
[pid=30181] ppid=30179 vsize=20856 CPUtime=931.85 cores=0,2,4,6
/proc/30181/stat : 30181 (bsolo) R 30179 30181 29538 0 -1 4202496 2929 0 0 0 93038 147 0 0 20 0 1 0 334371167 21356544 3299 33554432000 134512640 137136520 4294601824 4294597928 134599125 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30181/statm: 5214 3299 197 641 0 4570 0
Current children cumulated CPU time (s) 931.85
Current children cumulated vsize (KiB) 20856
[startup+932.2 s]
/proc/loadavg: 2.00 2.02 1.95 3/177 30333
/proc/meminfo: memFree=31432256/32873844 swapFree=7116/7116
[pid=30181] ppid=30179 vsize=20856 CPUtime=932.05 cores=0,2,4,6
/proc/30181/stat : 30181 (bsolo) R 30179 30181 29538 0 -1 4202496 2929 0 0 0 93058 147 0 0 20 0 1 0 334371167 21356544 3299 33554432000 134512640 137136520 4294601824 4294600592 134574438 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30181/statm: 5214 3299 197 641 0 4570 0
Current children cumulated CPU time (s) 932.05
Current children cumulated vsize (KiB) 20856
Child status: 0
Real time (s): 932.217
CPU time (s): 932.074
CPU user time (s): 930.6
CPU system time (s): 1.47478
CPU usage (%): 99.9847
Max. virtual memory (cumulated for all children) (KiB): 20856
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 930.6
system time used= 1.47477
maximum resident set size= 13196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2930
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= 5
involuntary context switches= 984
runsolver used 2.33164 second user time and 10.8483 second system time
The end