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-3463410-1307642141/watcher-3463410-1307642141 -o /tmp/evaluation-result-3463410-1307642141/solver-3463410-1307642141 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463410-1307642141.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: 1.93 4.79 6.49 2/176 21121
/proc/meminfo: memFree=32103864/32951124 swapFree=67052292/67111528
[pid=21121] ppid=21116 vsize=11016 CPUtime=0 cores=1,3,5,7
/proc/21121/stat : 21121 (bsolo) R 21116 21121 19795 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 875815111 11280384 279 33554432000 134512640 137138936 4293958688 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21121/statm: 2754 279 180 642 0 2089 0
[startup+0.040362 s]
/proc/loadavg: 1.93 4.79 6.49 2/176 21121
/proc/meminfo: memFree=32103864/32951124 swapFree=67052292/67111528
[pid=21121] ppid=21116 vsize=11320 CPUtime=0.03 cores=1,3,5,7
/proc/21121/stat : 21121 (bsolo) R 21116 21121 19795 0 -1 4202496 462 0 0 0 3 0 0 0 20 0 1 0 875815111 11591680 395 33554432000 134512640 137138936 4293958688 18446744073709551615 134603166 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21121/statm: 2830 395 192 642 0 2186 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 11320
[startup+0.10035 s]
/proc/loadavg: 1.93 4.79 6.49 2/176 21121
/proc/meminfo: memFree=32103864/32951124 swapFree=67052292/67111528
[pid=21121] ppid=21116 vsize=11576 CPUtime=0.09 cores=1,3,5,7
/proc/21121/stat : 21121 (bsolo) R 21116 21121 19795 0 -1 4202496 532 0 0 0 9 0 0 0 20 0 1 0 875815111 11853824 465 33554432000 134512640 137138936 4293958688 18446744073709551615 134618019 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21121/statm: 2894 465 192 642 0 2250 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11576
[startup+0.300328 s]
/proc/loadavg: 1.93 4.79 6.49 2/176 21121
/proc/meminfo: memFree=32103864/32951124 swapFree=67052292/67111528
[pid=21121] ppid=21116 vsize=12324 CPUtime=0.29 cores=1,3,5,7
/proc/21121/stat : 21121 (bsolo) R 21116 21121 19795 0 -1 4202496 704 0 0 0 29 0 0 0 21 0 1 0 875815111 12619776 637 33554432000 134512640 137138936 4293958688 18446744073709551615 134542766 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21121/statm: 3081 637 192 642 0 2437 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12324
[startup+0.700245 s]
/proc/loadavg: 1.93 4.79 6.49 2/176 21121
/proc/meminfo: memFree=32103864/32951124 swapFree=67052292/67111528
[pid=21121] ppid=21116 vsize=13188 CPUtime=0.69 cores=1,3,5,7
/proc/21121/stat : 21121 (bsolo) R 21116 21121 19795 0 -1 4202496 933 0 0 0 69 0 0 0 22 0 1 0 875815111 13504512 866 33554432000 134512640 137138936 4293958688 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21121/statm: 3297 866 192 642 0 2653 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13188
[startup+1.5001 s]
/proc/loadavg: 1.93 4.79 6.49 3/178 21123
/proc/meminfo: memFree=32098440/32951124 swapFree=67052292/67111528
[pid=21121] ppid=21116 vsize=13440 CPUtime=1.49 cores=1,3,5,7
/proc/21121/stat : 21121 (bsolo) R 21116 21121 19795 0 -1 4202496 983 0 0 0 149 0 0 0 25 0 1 0 875815111 13762560 916 33554432000 134512640 137138936 4293958688 18446744073709551615 134542252 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21121/statm: 3360 916 192 642 0 2716 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13440
[startup+3.10082 s]
/proc/loadavg: 1.93 4.79 6.49 3/178 21123
/proc/meminfo: memFree=32096456/32951124 swapFree=67052292/67111528
[pid=21121] ppid=21116 vsize=14180 CPUtime=3.09 cores=1,3,5,7
/proc/21121/stat : 21121 (bsolo) R 21116 21121 19795 0 -1 4202496 1167 0 0 0 308 1 0 0 25 0 1 0 875815111 14520320 1100 33554432000 134512640 137138936 4293958688 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21121/statm: 3545 1100 192 642 0 2901 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14180
[startup+6.30025 s]
/proc/loadavg: 1.94 4.75 6.46 3/178 21123
/proc/meminfo: memFree=32095580/32951124 swapFree=67052292/67111528
[pid=21121] ppid=21116 vsize=14428 CPUtime=6.29 cores=1,3,5,7
/proc/21121/stat : 21121 (bsolo) R 21116 21121 19795 0 -1 4202496 1226 0 0 0 626 3 0 0 25 0 1 0 875815111 14774272 1159 33554432000 134512640 137138936 4293958688 18446744073709551615 134606691 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21121/statm: 3607 1159 192 642 0 2963 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14428
[startup+12.7001 s]
/proc/loadavg: 1.94 4.70 6.44 3/178 21123
/proc/meminfo: memFree=32093008/32951124 swapFree=67052292/67111528
[pid=21121] ppid=21116 vsize=15160 CPUtime=12.69 cores=1,3,5,7
/proc/21121/stat : 21121 (bsolo) R 21116 21121 19795 0 -1 4202496 1430 0 0 0 1264 5 0 0 25 0 1 0 875815111 15523840 1363 33554432000 134512640 137138936 4293958688 18446744073709551615 134542854 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21121/statm: 3790 1363 192 642 0 3146 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15160
[startup+25.5009 s]
/proc/loadavg: 1.96 4.57 6.37 3/178 21124
/proc/meminfo: memFree=32091628/32951124 swapFree=67052292/67111528
[pid=21121] ppid=21116 vsize=15648 CPUtime=25.49 cores=1,3,5,7
/proc/21121/stat : 21121 (bsolo) R 21116 21121 19795 0 -1 4202496 1539 0 0 0 2540 9 0 0 25 0 1 0 875815111 16023552 1472 33554432000 134512640 137138936 4293958688 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21121/statm: 3912 1472 192 642 0 3268 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 15648
[startup+51.1003 s]
/proc/loadavg: 1.97 4.36 6.25 3/178 21124
/proc/meminfo: memFree=32089484/32951124 swapFree=67052292/67111528
[pid=21121] ppid=21116 vsize=17440 CPUtime=51.09 cores=1,3,5,7
/proc/21121/stat : 21121 (bsolo) R 21116 21121 19795 0 -1 4202496 1980 0 0 0 5092 17 0 0 25 0 1 0 875815111 17858560 1913 33554432000 134512640 137138936 4293958688 18446744073709551615 135984569 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21121/statm: 4360 1913 192 642 0 3716 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 17440
[startup+102.306 s]
/proc/loadavg: 1.98 4.00 6.02 3/178 21126
/proc/meminfo: memFree=32087848/32951124 swapFree=67052292/67111528
[pid=21121] ppid=21116 vsize=17436 CPUtime=102.29 cores=1,3,5,7
/proc/21121/stat : 21121 (bsolo) R 21116 21121 19795 0 -1 4202496 1980 0 0 0 10197 32 0 0 25 0 1 0 875815111 17854464 1913 33554432000 134512640 137138936 4293958688 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21121/statm: 4359 1913 192 642 0 3715 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 17436
[startup+162.301 s]
/proc/loadavg: 1.99 3.63 5.77 3/178 21127
/proc/meminfo: memFree=32086324/32951124 swapFree=67052292/67111528
[pid=21121] ppid=21116 vsize=18004 CPUtime=162.29 cores=1,3,5,7
/proc/21121/stat : 21121 (bsolo) R 21116 21121 19795 0 -1 4202496 2122 0 0 0 16180 49 0 0 25 0 1 0 875815111 18436096 2055 33554432000 134512640 137138936 4293958688 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21121/statm: 4501 2055 192 642 0 3857 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 18004
[startup+222.301 s]
/proc/loadavg: 1.99 3.33 5.53 3/178 21129
/proc/meminfo: memFree=32084800/32951124 swapFree=67052292/67111528
[pid=21121] ppid=21116 vsize=19440 CPUtime=222.3 cores=1,3,5,7
/proc/21121/stat : 21121 (bsolo) R 21116 21121 19795 0 -1 4202496 2481 0 0 0 22167 63 0 0 25 0 1 0 875815111 19906560 2414 33554432000 134512640 137138936 4293958688 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21121/statm: 4860 2414 192 642 0 4216 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 19440
[startup+282.3 s]
/proc/loadavg: 1.99 3.09 5.31 3/178 21131
/proc/meminfo: memFree=32085036/32951124 swapFree=67052292/67111528
[pid=21121] ppid=21116 vsize=19432 CPUtime=282.29 cores=1,3,5,7
/proc/21121/stat : 21121 (bsolo) R 21116 21121 19795 0 -1 4202496 2481 0 0 0 28150 79 0 0 25 0 1 0 875815111 19898368 2414 33554432000 134512640 137138936 4293958688 18446744073709551615 136504809 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21121/statm: 4858 2414 192 642 0 4214 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 19432
[startup+342.301 s]
/proc/loadavg: 1.99 2.89 5.10 3/178 21141
/proc/meminfo: memFree=32083228/32951124 swapFree=67052292/67111528
[pid=21121] ppid=21116 vsize=19412 CPUtime=342.3 cores=1,3,5,7
/proc/21121/stat : 21121 (bsolo) R 21116 21121 19795 0 -1 4202496 2483 0 0 0 34133 97 0 0 25 0 1 0 875815111 19877888 2416 33554432000 134512640 137138936 4293958688 18446744073709551615 134606979 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21121/statm: 4853 2416 192 642 0 4209 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 19412
[startup+402.3 s]
/proc/loadavg: 1.99 2.72 4.90 3/178 21143
/proc/meminfo: memFree=32082704/32951124 swapFree=67052292/67111528
[pid=21121] ppid=21116 vsize=19864 CPUtime=402.3 cores=1,3,5,7
/proc/21121/stat : 21121 (bsolo) R 21116 21121 19795 0 -1 4202496 2591 0 0 0 40117 113 0 0 25 0 1 0 875815111 20340736 2524 33554432000 134512640 137138936 4293958688 18446744073709551615 136504093 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21121/statm: 4966 2524 192 642 0 4322 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 19864
[startup+462.301 s]
/proc/loadavg: 1.99 2.59 4.71 3/178 21144
/proc/meminfo: memFree=32082540/32951124 swapFree=67052292/67111528
[pid=21121] ppid=21116 vsize=19864 CPUtime=462.3 cores=1,3,5,7
/proc/21121/stat : 21121 (bsolo) R 21116 21121 19795 0 -1 4202496 2591 0 0 0 46101 129 0 0 25 0 1 0 875815111 20340736 2524 33554432000 134512640 137138936 4293958688 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21121/statm: 4966 2524 192 642 0 4322 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 19864
[startup+522.301 s]
/proc/loadavg: 1.99 2.48 4.54 3/178 21149
/proc/meminfo: memFree=32081836/32951124 swapFree=67052292/67111528
[pid=21121] ppid=21116 vsize=20052 CPUtime=522.3 cores=1,3,5,7
/proc/21121/stat : 21121 (bsolo) R 21116 21121 19795 0 -1 4202496 2638 0 0 0 52089 141 0 0 25 0 1 0 875815111 20533248 2571 33554432000 134512640 137138936 4293958688 18446744073709551615 134543403 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21121/statm: 5013 2571 192 642 0 4369 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 20052
[startup+582.3 s]
/proc/loadavg: 2.06 2.42 4.39 3/178 21151
/proc/meminfo: memFree=32081784/32951124 swapFree=67052292/67111528
[pid=21121] ppid=21116 vsize=20052 CPUtime=582.31 cores=1,3,5,7
/proc/21121/stat : 21121 (bsolo) R 21116 21121 19795 0 -1 4202496 2638 0 0 0 58075 156 0 0 25 0 1 0 875815111 20533248 2571 33554432000 134512640 137138936 4293958688 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21121/statm: 5013 2571 192 642 0 4369 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 20052
[startup+642.301 s]
/proc/loadavg: 2.02 2.34 4.24 3/178 21152
/proc/meminfo: memFree=32081872/32951124 swapFree=67052292/67111528
[pid=21121] ppid=21116 vsize=20032 CPUtime=642.31 cores=1,3,5,7
/proc/21121/stat : 21121 (bsolo) R 21116 21121 19795 0 -1 4202496 2649 0 0 0 64061 170 0 0 25 0 1 0 875815111 20512768 2582 33554432000 134512640 137138936 4293958688 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21121/statm: 5008 2582 192 642 0 4364 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 20032
[startup+702.301 s]
/proc/loadavg: 2.01 2.27 4.09 3/178 21154
/proc/meminfo: memFree=32080848/32951124 swapFree=67052292/67111528
[pid=21121] ppid=21116 vsize=20740 CPUtime=702.31 cores=1,3,5,7
/proc/21121/stat : 21121 (bsolo) R 21116 21121 19795 0 -1 4202496 2827 0 0 0 70050 181 0 0 25 0 1 0 875815111 21237760 2760 33554432000 134512640 137138936 4293958688 18446744073709551615 136504102 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21121/statm: 5185 2760 192 642 0 4541 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 20740
[startup+762.306 s]
/proc/loadavg: 2.00 2.22 3.96 3/178 21155
/proc/meminfo: memFree=32079944/32951124 swapFree=67052292/67111528
[pid=21121] ppid=21116 vsize=21768 CPUtime=762.32 cores=1,3,5,7
/proc/21121/stat : 21121 (bsolo) R 21116 21121 19795 0 -1 4202496 3067 0 0 0 76037 195 0 0 25 0 1 0 875815111 22290432 3000 33554432000 134512640 137138936 4293958688 18446744073709551615 135984556 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21121/statm: 5442 3000 192 642 0 4798 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 21768
[startup+822.301 s]
/proc/loadavg: 2.00 2.18 3.84 3/178 21157
/proc/meminfo: memFree=32078928/32951124 swapFree=67052292/67111528
[pid=21121] ppid=21116 vsize=21768 CPUtime=822.31 cores=1,3,5,7
/proc/21121/stat : 21121 (bsolo) R 21116 21121 19795 0 -1 4202496 3084 0 0 0 82024 207 0 0 25 0 1 0 875815111 22290432 3017 33554432000 134512640 137138936 4293958688 18446744073709551615 134575184 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21121/statm: 5442 3017 192 642 0 4798 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 21768
[startup+882.3 s]
/proc/loadavg: 2.00 2.14 3.72 3/178 21159
/proc/meminfo: memFree=32079140/32951124 swapFree=67052292/67111528
[pid=21121] ppid=21116 vsize=21768 CPUtime=882.31 cores=1,3,5,7
/proc/21121/stat : 21121 (bsolo) R 21116 21121 19795 0 -1 4202496 3084 0 0 0 88011 220 0 0 25 0 1 0 875815111 22290432 3017 33554432000 134512640 137138936 4293958688 18446744073709551615 136501673 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21121/statm: 5442 3017 192 642 0 4798 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 21768
[startup+942.301 s]
/proc/loadavg: 2.00 2.11 3.61 3/178 21160
/proc/meminfo: memFree=32078600/32951124 swapFree=67052292/67111528
[pid=21121] ppid=21116 vsize=21764 CPUtime=942.31 cores=1,3,5,7
/proc/21121/stat : 21121 (bsolo) R 21116 21121 19795 0 -1 4202496 3084 0 0 0 93998 233 0 0 25 0 1 0 875815111 22286336 3016 33554432000 134512640 137138936 4293958688 18446744073709551615 134542513 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21121/statm: 5441 3016 192 642 0 4797 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 21764
[startup+1002.3 s]
/proc/loadavg: 2.00 2.09 3.50 3/178 21238
/proc/meminfo: memFree=32045988/32951124 swapFree=67052292/67111528
[pid=21121] ppid=21116 vsize=21760 CPUtime=1002.32 cores=1,3,5,7
/proc/21121/stat : 21121 (bsolo) R 21116 21121 19795 0 -1 4202496 3084 0 0 0 99985 247 0 0 25 0 1 0 875815111 22282240 3015 33554432000 134512640 137138936 4293958688 18446744073709551615 134542764 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21121/statm: 5440 3015 192 642 0 4796 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 21760
[startup+1062.3 s]
/proc/loadavg: 2.00 2.07 3.41 3/178 21239
/proc/meminfo: memFree=32009368/32951124 swapFree=67052292/67111528
[pid=21121] ppid=21116 vsize=21760 CPUtime=1062.31 cores=1,3,5,7
/proc/21121/stat : 21121 (bsolo) R 21116 21121 19795 0 -1 4202496 3084 0 0 0 105974 257 0 0 25 0 1 0 875815111 22282240 3015 33554432000 134512640 137138936 4293958688 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21121/statm: 5440 3015 192 642 0 4796 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 21760
Solver just ended. Dumping a history of the last processes samples
[startup+1075.1 s]
/proc/loadavg: 2.00 2.07 3.38 3/178 21240
/proc/meminfo: memFree=32004028/32951124 swapFree=67052292/67111528
[pid=21121] ppid=21116 vsize=21760 CPUtime=1075.12 cores=1,3,5,7
/proc/21121/stat : 21121 (bsolo) R 21116 21121 19795 0 -1 4202496 3084 0 0 0 107253 259 0 0 25 0 1 0 875815111 22282240 3015 33554432000 134512640 137138936 4293958688 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21121/statm: 5440 3015 192 642 0 4796 0
Current children cumulated CPU time (s) 1075.12
Current children cumulated vsize (KiB) 21760
[startup+1081.5 s]
/proc/loadavg: 2.00 2.07 3.38 3/178 21240
/proc/meminfo: memFree=32004020/32951124 swapFree=67052292/67111528
[pid=21121] ppid=21116 vsize=21760 CPUtime=1081.52 cores=1,3,5,7
/proc/21121/stat : 21121 (bsolo) R 21116 21121 19795 0 -1 4202496 3084 0 0 0 107892 260 0 0 25 0 1 0 875815111 22282240 3015 33554432000 134512640 137138936 4293958688 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21121/statm: 5440 3015 192 642 0 4796 0
Current children cumulated CPU time (s) 1081.52
Current children cumulated vsize (KiB) 21760
[startup+1084.7 s]
/proc/loadavg: 2.08 2.08 3.37 3/178 21240
/proc/meminfo: memFree=32004020/32951124 swapFree=67052292/67111528
[pid=21121] ppid=21116 vsize=21760 CPUtime=1084.72 cores=1,3,5,7
/proc/21121/stat : 21121 (bsolo) R 21116 21121 19795 0 -1 4202496 3084 0 0 0 108212 260 0 0 25 0 1 0 875815111 22282240 3015 33554432000 134512640 137138936 4293958688 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21121/statm: 5440 3015 192 642 0 4796 0
Current children cumulated CPU time (s) 1084.72
Current children cumulated vsize (KiB) 21760
[startup+1086.3 s]
/proc/loadavg: 2.08 2.08 3.37 3/178 21240
/proc/meminfo: memFree=32004020/32951124 swapFree=67052292/67111528
[pid=21121] ppid=21116 vsize=21760 CPUtime=1086.31 cores=1,3,5,7
/proc/21121/stat : 21121 (bsolo) R 21116 21121 19795 0 -1 4202496 3084 0 0 0 108371 260 0 0 25 0 1 0 875815111 22282240 3015 33554432000 134512640 137138936 4293958688 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21121/statm: 5440 3015 192 642 0 4796 0
Current children cumulated CPU time (s) 1086.31
Current children cumulated vsize (KiB) 21760
[startup+1086.7 s]
/proc/loadavg: 2.08 2.08 3.37 3/178 21240
/proc/meminfo: memFree=32004020/32951124 swapFree=67052292/67111528
[pid=21121] ppid=21116 vsize=21760 CPUtime=1086.72 cores=1,3,5,7
/proc/21121/stat : 21121 (bsolo) R 21116 21121 19795 0 -1 4202496 3084 0 0 0 108412 260 0 0 25 0 1 0 875815111 22282240 3015 33554432000 134512640 137138936 4293958688 18446744073709551615 134542434 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21121/statm: 5440 3015 192 642 0 4796 0
Current children cumulated CPU time (s) 1086.72
Current children cumulated vsize (KiB) 21760
[startup+1087.1 s]
/proc/loadavg: 2.08 2.08 3.37 3/178 21240
/proc/meminfo: memFree=32004020/32951124 swapFree=67052292/67111528
[pid=21121] ppid=21116 vsize=21760 CPUtime=1087.11 cores=1,3,5,7
/proc/21121/stat : 21121 (bsolo) R 21116 21121 19795 0 -1 4202496 3084 0 0 0 108451 260 0 0 25 0 1 0 875815111 22282240 3015 33554432000 134512640 137138936 4293958688 18446744073709551615 136506283 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21121/statm: 5440 3015 192 642 0 4796 0
Current children cumulated CPU time (s) 1087.11
Current children cumulated vsize (KiB) 21760
Child status: 0
Real time (s): 1087.15
CPU time (s): 1087.17
CPU user time (s): 1084.56
CPU system time (s): 2.6106
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 21768
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1084.56
system time used= 2.6106
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3084
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= 2718
runsolver used 1.55976 second user time and 4.23336 second system time
The end