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-3707841-1338151012/watcher-3707841-1338151012 -o /tmp/evaluation-result-3707841-1338151012/solver-3707841-1338151012 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3707841-1338151012.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.93 1/171 28281
/proc/meminfo: memFree=27991420/32873648 swapFree=7104/7104
[pid=28281] ppid=28279 vsize=19216 CPUtime=0 cores=0,2,4,6
/proc/28281/stat : 28281 (bsolo) R 28279 28281 23788 0 -1 4202496 340 0 0 0 0 0 0 0 20 0 1 0 281226664 19677184 294 33554432000 134512640 137138936 4290456800 4290455016 136506715 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28281/statm: 4804 294 174 642 0 4048 0
[startup+0.0485051 s]
/proc/loadavg: 2.00 2.00 1.93 1/171 28281
/proc/meminfo: memFree=27991420/32873648 swapFree=7104/7104
[pid=28281] ppid=28279 vsize=13656 CPUtime=0.04 cores=0,2,4,6
/proc/28281/stat : 28281 (bsolo) R 28279 28281 23788 0 -1 4202496 1141 0 0 0 4 0 0 0 20 0 1 0 281226664 13983744 983 33554432000 134512640 137138936 4290456800 4290379276 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28281/statm: 3414 983 184 642 0 2770 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13656
[startup+0.100164 s]
/proc/loadavg: 2.00 2.00 1.93 1/171 28281
/proc/meminfo: memFree=27991420/32873648 swapFree=7104/7104
[pid=28281] ppid=28279 vsize=13772 CPUtime=0.09 cores=0,2,4,6
/proc/28281/stat : 28281 (bsolo) R 28279 28281 23788 0 -1 4202496 1198 0 0 0 9 0 0 0 20 0 1 0 281226664 14102528 1023 33554432000 134512640 137138936 4290456800 4290455728 134543015 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28281/statm: 3443 1023 192 642 0 2799 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13772
[startup+0.300166 s]
/proc/loadavg: 2.00 2.00 1.93 1/171 28281
/proc/meminfo: memFree=27991420/32873648 swapFree=7104/7104
[pid=28281] ppid=28279 vsize=13772 CPUtime=0.29 cores=0,2,4,6
/proc/28281/stat : 28281 (bsolo) R 28279 28281 23788 0 -1 4202496 1198 0 0 0 29 0 0 0 20 0 1 0 281226664 14102528 1023 33554432000 134512640 137138936 4290456800 4290455344 134607606 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28281/statm: 3443 1023 192 642 0 2799 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13772
[startup+0.700207 s]
/proc/loadavg: 2.00 2.00 1.93 1/171 28281
/proc/meminfo: memFree=27991420/32873648 swapFree=7104/7104
[pid=28281] ppid=28279 vsize=13976 CPUtime=0.69 cores=0,2,4,6
/proc/28281/stat : 28281 (bsolo) R 28279 28281 23788 0 -1 4202496 1231 0 0 0 69 0 0 0 20 0 1 0 281226664 14311424 1067 33554432000 134512640 137138936 4290456800 4290455652 136511155 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28281/statm: 3494 1067 192 642 0 2850 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13976
[startup+1.50017 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 28296
/proc/meminfo: memFree=27973560/32873648 swapFree=7104/7104
[pid=28281] ppid=28279 vsize=15612 CPUtime=1.49 cores=0,2,4,6
/proc/28281/stat : 28281 (bsolo) R 28279 28281 23788 0 -1 4202496 1653 0 0 0 149 0 0 0 20 0 1 0 281226664 15986688 1489 33554432000 134512640 137138936 4290456800 4290455336 136504102 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28281/statm: 3903 1489 192 642 0 3259 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15612
[startup+3.10017 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 28296
/proc/meminfo: memFree=27963260/32873648 swapFree=7104/7104
[pid=28281] ppid=28279 vsize=18456 CPUtime=3.08 cores=0,2,4,6
/proc/28281/stat : 28281 (bsolo) R 28279 28281 23788 0 -1 4202496 2350 0 0 0 308 0 0 0 20 0 1 0 281226664 18898944 2186 33554432000 134512640 137138936 4290456800 4290455552 134575626 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28281/statm: 4614 2186 192 642 0 3970 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 18456
[startup+6.30018 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 28296
/proc/meminfo: memFree=27942396/32873648 swapFree=7104/7104
[pid=28281] ppid=28279 vsize=18460 CPUtime=6.29 cores=0,2,4,6
/proc/28281/stat : 28281 (bsolo) R 28279 28281 23788 0 -1 4202496 2364 0 0 0 628 1 0 0 20 0 1 0 281226664 18903040 2200 33554432000 134512640 137138936 4290456800 4290455728 134542978 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28281/statm: 4615 2200 192 642 0 3971 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18460
[startup+12.7001 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 28296
/proc/meminfo: memFree=27903304/32873648 swapFree=7104/7104
[pid=28281] ppid=28279 vsize=19456 CPUtime=12.68 cores=0,2,4,6
/proc/28281/stat : 28281 (bsolo) R 28279 28281 23788 0 -1 4202496 2602 0 0 0 1267 1 0 0 20 0 1 0 281226664 19922944 2436 33554432000 134512640 137138936 4290456800 4290455380 136501687 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28281/statm: 4864 2436 192 642 0 4220 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 19456
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 28296
/proc/meminfo: memFree=27860720/32873648 swapFree=7104/7104
[pid=28281] ppid=28279 vsize=20644 CPUtime=25.49 cores=0,2,4,6
/proc/28281/stat : 28281 (bsolo) R 28279 28281 23788 0 -1 4202496 2909 0 0 0 2546 3 0 0 20 0 1 0 281226664 21139456 2743 33554432000 134512640 137138936 4290456800 4290455476 136511176 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28281/statm: 5161 2743 192 642 0 4517 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 20644
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 28296
/proc/meminfo: memFree=27787032/32873648 swapFree=7104/7104
[pid=28281] ppid=28279 vsize=20692 CPUtime=51.08 cores=0,2,4,6
/proc/28281/stat : 28281 (bsolo) R 28279 28281 23788 0 -1 4202496 2937 0 0 0 5103 5 0 0 20 0 1 0 281226664 21188608 2765 33554432000 134512640 137138936 4290456800 4290455728 134542752 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28281/statm: 5173 2765 192 642 0 4529 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 20692
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 28296
/proc/meminfo: memFree=27712784/32873648 swapFree=7104/7104
[pid=28281] ppid=28279 vsize=23240 CPUtime=102.28 cores=0,2,4,6
/proc/28281/stat : 28281 (bsolo) R 28279 28281 23788 0 -1 4202496 3549 0 0 0 10218 10 0 0 20 0 1 0 281226664 23797760 3377 33554432000 134512640 137138936 4290456800 4290455728 134542513 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28281/statm: 5810 3377 192 642 0 5166 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 23240
[startup+162.3 s]
/proc/loadavg: 2.07 2.02 1.94 3/177 28296
/proc/meminfo: memFree=27712832/32873648 swapFree=7104/7104
[pid=28281] ppid=28279 vsize=23712 CPUtime=162.26 cores=0,2,4,6
/proc/28281/stat : 28281 (bsolo) R 28279 28281 23788 0 -1 4202496 3696 0 0 0 16211 15 0 0 20 0 1 0 281226664 24281088 3515 33554432000 134512640 137138936 4290456800 4290454008 134599777 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28281/statm: 5928 3515 192 642 0 5284 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 23712
[startup+222.3 s]
/proc/loadavg: 2.02 2.01 1.94 3/178 28299
/proc/meminfo: memFree=27645340/32873648 swapFree=7104/7104
[pid=28281] ppid=28279 vsize=25008 CPUtime=222.25 cores=0,2,4,6
/proc/28281/stat : 28281 (bsolo) R 28279 28281 23788 0 -1 4202496 4032 0 0 0 22203 22 0 0 20 0 1 0 281226664 25608192 3841 33554432000 134512640 137138936 4290456800 4290455796 134555862 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28281/statm: 6252 3841 192 642 0 5608 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 25008
[startup+282.3 s]
/proc/loadavg: 2.01 2.00 1.94 3/177 28300
/proc/meminfo: memFree=27586212/32873648 swapFree=7104/7104
[pid=28281] ppid=28279 vsize=25256 CPUtime=282.24 cores=0,2,4,6
/proc/28281/stat : 28281 (bsolo) R 28279 28281 23788 0 -1 4202496 4080 0 0 0 28197 27 0 0 20 0 1 0 281226664 25862144 3889 33554432000 134512640 137138936 4290456800 4290455728 134542322 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28281/statm: 6314 3889 192 642 0 5670 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 25256
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 28300
/proc/meminfo: memFree=27583152/32873648 swapFree=7104/7104
[pid=28281] ppid=28279 vsize=25220 CPUtime=342.24 cores=0,2,4,6
/proc/28281/stat : 28281 (bsolo) R 28279 28281 23788 0 -1 4202496 4080 0 0 0 34192 32 0 0 20 0 1 0 281226664 25825280 3889 33554432000 134512640 137138936 4290456800 4290455552 134575263 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28281/statm: 6305 3889 192 642 0 5661 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 25220
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 28300
/proc/meminfo: memFree=27583180/32873648 swapFree=7104/7104
[pid=28281] ppid=28279 vsize=25216 CPUtime=402.22 cores=0,2,4,6
/proc/28281/stat : 28281 (bsolo) R 28279 28281 23788 0 -1 4202496 4080 0 0 0 40186 36 0 0 20 0 1 0 281226664 25821184 3889 33554432000 134512640 137138936 4290456800 4290455728 134542202 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28281/statm: 6304 3889 192 642 0 5660 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 25216
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 28300
/proc/meminfo: memFree=27584988/32873648 swapFree=7104/7104
[pid=28281] ppid=28279 vsize=25776 CPUtime=462.21 cores=0,2,4,6
/proc/28281/stat : 28281 (bsolo) R 28279 28281 23788 0 -1 4202496 4220 0 0 0 46180 41 0 0 20 0 1 0 281226664 26394624 4036 33554432000 134512640 137138936 4290456800 4290455264 136364664 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28281/statm: 6444 4036 192 642 0 5800 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 25776
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 28300
/proc/meminfo: memFree=27584864/32873648 swapFree=7104/7104
[pid=28281] ppid=28279 vsize=25936 CPUtime=522.2 cores=0,2,4,6
/proc/28281/stat : 28281 (bsolo) R 28279 28281 23788 0 -1 4202496 4269 0 0 0 52174 46 0 0 20 0 1 0 281226664 26558464 4076 33554432000 134512640 137138936 4290456800 4290455344 134618927 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28281/statm: 6484 4076 192 642 0 5840 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 25936
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/176 28300
/proc/meminfo: memFree=27584940/32873648 swapFree=7104/7104
[pid=28281] ppid=28279 vsize=25932 CPUtime=582.19 cores=0,2,4,6
/proc/28281/stat : 28281 (bsolo) R 28279 28281 23788 0 -1 4202496 4269 0 0 0 58168 51 0 0 20 0 1 0 281226664 26554368 4075 33554432000 134512640 137138936 4290456800 4290455728 134542662 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28281/statm: 6483 4075 192 642 0 5839 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 25932
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=27498420/32873648 swapFree=7104/7104
[pid=28281] ppid=28279 vsize=30536 CPUtime=1122.11 cores=0,2,4,6
/proc/28281/stat : 28281 (bsolo) R 28279 28281 23788 0 -1 4202496 5488 0 0 0 112118 93 0 0 20 0 1 0 281226664 31268864 5226 33554432000 134512640 137138936 4290456800 4290455728 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28281/statm: 7634 5226 192 642 0 6990 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 30536
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 28305
/proc/meminfo: memFree=27498420/32873648 swapFree=7104/7104
[pid=28281] ppid=28279 vsize=30536 CPUtime=1182.1 cores=0,2,4,6
/proc/28281/stat : 28281 (bsolo) R 28279 28281 23788 0 -1 4202496 5488 0 0 0 118111 99 0 0 20 0 1 0 281226664 31268864 5226 33554432000 134512640 137138936 4290456800 4290455728 134542752 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28281/statm: 7634 5226 192 642 0 6990 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 30536
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 28306
/proc/meminfo: memFree=27481444/32873648 swapFree=7104/7104
[pid=28281] ppid=28279 vsize=30536 CPUtime=1242.09 cores=0,2,4,6
/proc/28281/stat : 28281 (bsolo) R 28279 28281 23788 0 -1 4202496 5488 0 0 0 124106 103 0 0 20 0 1 0 281226664 31268864 5226 33554432000 134512640 137138936 4290456800 4290455916 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28281/statm: 7634 5226 192 642 0 6990 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 30536
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 28306
/proc/meminfo: memFree=27447084/32873648 swapFree=7104/7104
[pid=28281] ppid=28279 vsize=30524 CPUtime=1302.09 cores=0,2,4,6
/proc/28281/stat : 28281 (bsolo) R 28279 28281 23788 0 -1 4202496 5488 0 0 0 130101 108 0 0 20 0 1 0 281226664 31256576 5223 33554432000 134512640 137138936 4290456800 4290455916 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28281/statm: 7631 5223 192 642 0 6987 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 30524
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 28306
/proc/meminfo: memFree=27445348/32873648 swapFree=7104/7104
[pid=28281] ppid=28279 vsize=30524 CPUtime=1362.07 cores=0,2,4,6
/proc/28281/stat : 28281 (bsolo) R 28279 28281 23788 0 -1 4202496 5488 0 0 0 136094 113 0 0 20 0 1 0 281226664 31256576 5223 33554432000 134512640 137138936 4290456800 4290455224 134606961 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28281/statm: 7631 5223 192 642 0 6987 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 30524
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 28309
/proc/meminfo: memFree=27445592/32873648 swapFree=7104/7104
[pid=28281] ppid=28279 vsize=30940 CPUtime=1422.07 cores=0,2,4,6
/proc/28281/stat : 28281 (bsolo) R 28279 28281 23788 0 -1 4202496 5601 0 0 0 142089 118 0 0 20 0 1 0 281226664 31682560 5327 33554432000 134512640 137138936 4290456800 4290455916 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28281/statm: 7735 5327 192 642 0 7091 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 30940
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 28332
/proc/meminfo: memFree=27445328/32873648 swapFree=7104/7104
[pid=28281] ppid=28279 vsize=30984 CPUtime=1482.05 cores=0,2,4,6
/proc/28281/stat : 28281 (bsolo) R 28279 28281 23788 0 -1 4202496 5626 0 0 0 148084 121 0 0 20 0 1 0 281226664 31727616 5338 33554432000 134512640 137138936 4290456800 4290455728 134542295 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28281/statm: 7746 5338 192 642 0 7102 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 30984
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 28333
/proc/meminfo: memFree=27445472/32873648 swapFree=7104/7104
[pid=28281] ppid=28279 vsize=30984 CPUtime=1542.05 cores=0,2,4,6
/proc/28281/stat : 28281 (bsolo) R 28279 28281 23788 0 -1 4202496 5626 0 0 0 154078 127 0 0 20 0 1 0 281226664 31727616 5338 33554432000 134512640 137138936 4290456800 4290455512 136504096 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28281/statm: 7746 5338 192 642 0 7102 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 30984
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 28333
/proc/meminfo: memFree=27445192/32873648 swapFree=7104/7104
[pid=28281] ppid=28279 vsize=30976 CPUtime=1602.03 cores=0,2,4,6
/proc/28281/stat : 28281 (bsolo) R 28279 28281 23788 0 -1 4202496 5626 0 0 0 160070 133 0 0 20 0 1 0 281226664 31719424 5336 33554432000 134512640 137138936 4290456800 4290455728 134542613 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28281/statm: 7744 5336 192 642 0 7100 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 30976
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 28333
/proc/meminfo: memFree=27445228/32873648 swapFree=7104/7104
[pid=28281] ppid=28279 vsize=30812 CPUtime=1662.03 cores=0,2,4,6
/proc/28281/stat : 28281 (bsolo) R 28279 28281 23788 0 -1 4202496 5626 0 0 0 166066 137 0 0 20 0 1 0 281226664 31551488 5295 33554432000 134512640 137138936 4290456800 4290455728 134542339 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28281/statm: 7703 5295 192 642 0 7059 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 30812
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 28333
/proc/meminfo: memFree=27445104/32873648 swapFree=7104/7104
[pid=28281] ppid=28279 vsize=30812 CPUtime=1722.02 cores=0,2,4,6
/proc/28281/stat : 28281 (bsolo) R 28279 28281 23788 0 -1 4202496 5626 0 0 0 172061 141 0 0 20 0 1 0 281226664 31551488 5295 33554432000 134512640 137138936 4290456800 4290455552 134572783 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28281/statm: 7703 5295 192 642 0 7059 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 30812
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/176 28333
/proc/meminfo: memFree=27445492/32873648 swapFree=7104/7104
[pid=28281] ppid=28279 vsize=30812 CPUtime=1782 cores=0,2,4,6
/proc/28281/stat : 28281 (bsolo) R 28279 28281 23788 0 -1 4202496 5626 0 0 0 178055 145 0 0 20 0 1 0 281226664 31551488 5295 33554432000 134512640 137138936 4290456800 4290455916 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28281/statm: 7703 5295 192 642 0 7059 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 30812
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 28334
/proc/meminfo: memFree=27445496/32873648 swapFree=7104/7104
[pid=28281] ppid=28279 vsize=30812 CPUtime=1791.61 cores=0,2,4,6
/proc/28281/stat : 28281 (bsolo) R 28279 28281 23788 0 -1 4202496 5626 0 0 0 179015 146 0 0 20 0 1 0 281226664 31551488 5295 33554432000 134512640 137138936 4290456800 4290455904 134543481 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28281/statm: 7703 5295 192 642 0 7059 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (KiB) 30812
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 28334
/proc/meminfo: memFree=27445496/32873648 swapFree=7104/7104
[pid=28281] ppid=28279 vsize=30812 CPUtime=1794.81 cores=0,2,4,6
/proc/28281/stat : 28281 (bsolo) R 28279 28281 23788 0 -1 4202496 5626 0 0 0 179335 146 0 0 20 0 1 0 281226664 31551488 5295 33554432000 134512640 137138936 4290456800 4290455916 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28281/statm: 7703 5295 192 642 0 7059 0
Current children cumulated CPU time (s) 1794.81
Current children cumulated vsize (KiB) 30812
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 28334
/proc/meminfo: memFree=27445380/32873648 swapFree=7104/7104
[pid=28281] ppid=28279 vsize=30812 CPUtime=1796.4 cores=0,2,4,6
/proc/28281/stat : 28281 (bsolo) R 28279 28281 23788 0 -1 4202496 5626 0 0 0 179494 146 0 0 20 0 1 0 281226664 31551488 5295 33554432000 134512640 137138936 4290456800 4290455904 134543413 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28281/statm: 7703 5295 192 642 0 7059 0
Current children cumulated CPU time (s) 1796.4
Current children cumulated vsize (KiB) 30812
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 28334
/proc/meminfo: memFree=27445380/32873648 swapFree=7104/7104
[pid=28281] ppid=28279 vsize=30812 CPUtime=1797.2 cores=0,2,4,6
/proc/28281/stat : 28281 (bsolo) R 28279 28281 23788 0 -1 4202496 5626 0 0 0 179574 146 0 0 20 0 1 0 281226664 31551488 5295 33554432000 134512640 137138936 4290456800 4290455296 134618214 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28281/statm: 7703 5295 192 642 0 7059 0
Current children cumulated CPU time (s) 1797.2
Current children cumulated vsize (KiB) 30812
[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 28334
/proc/meminfo: memFree=27445380/32873648 swapFree=7104/7104
[pid=28281] ppid=28279 vsize=30812 CPUtime=1797.6 cores=0,2,4,6
/proc/28281/stat : 28281 (bsolo) R 28279 28281 23788 0 -1 4202496 5626 0 0 0 179614 146 0 0 20 0 1 0 281226664 31551488 5295 33554432000 134512640 137138936 4290456800 4290455728 134542325 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28281/statm: 7703 5295 192 642 0 7059 0
Current children cumulated CPU time (s) 1797.6
Current children cumulated vsize (KiB) 30812
[startup+1798.1 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 28334
/proc/meminfo: memFree=27445380/32873648 swapFree=7104/7104
[pid=28281] ppid=28279 vsize=30812 CPUtime=1797.8 cores=0,2,4,6
/proc/28281/stat : 28281 (bsolo) R 28279 28281 23788 0 -1 4202496 5626 0 0 0 179634 146 0 0 20 0 1 0 281226664 31551488 5295 33554432000 134512640 137138936 4290456800 4290455728 134542273 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28281/statm: 7703 5295 192 642 0 7059 0
Current children cumulated CPU time (s) 1797.8
Current children cumulated vsize (KiB) 30812
[startup+1798.2 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 28334
/proc/meminfo: memFree=27445380/32873648 swapFree=7104/7104
[pid=28281] ppid=28279 vsize=30812 CPUtime=1797.9 cores=0,2,4,6
/proc/28281/stat : 28281 (bsolo) R 28279 28281 23788 0 -1 4202496 5626 0 0 0 179644 146 0 0 20 0 1 0 281226664 31551488 5295 33554432000 134512640 137138936 4290456800 4290455728 134542316 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28281/statm: 7703 5295 192 642 0 7059 0
Current children cumulated CPU time (s) 1797.9
Current children cumulated vsize (KiB) 30812
Child status: 0
Real time (s): 1798.29
CPU time (s): 1798
CPU user time (s): 1796.53
CPU system time (s): 1.46978
CPU usage (%): 99.9841
Max. virtual memory (cumulated for all children) (KiB): 31068
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.53
system time used= 1.46978
maximum resident set size= 21404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5626
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= 2443
runsolver used 2.73658 second user time and 7.07192 second system time
The end