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-3742544-1338786921/watcher-3742544-1338786921 -o /tmp/evaluation-result-3742544-1338786921/solver-3742544-1338786921 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3742544-1338786921.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.00 2.00 2.00 3/178 28556
/proc/meminfo: memFree=28006896/32873844 swapFree=7620/7620
[pid=28556] ppid=28554 vsize=20144 CPUtime=0 cores=1,3,5,7
/proc/28556/stat : 28556 (bsolo) R 28554 28556 27119 0 -1 4202496 403 0 0 0 0 0 0 0 20 0 1 0 344816916 20627456 357 33554432000 134512640 137136520 4286978928 4286977280 136575102 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28556/statm: 5036 358 186 641 0 4112 0
[startup+0.078987 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 28556
/proc/meminfo: memFree=28006896/32873844 swapFree=7620/7620
[pid=28556] ppid=28554 vsize=15216 CPUtime=0.07 cores=1,3,5,7
/proc/28556/stat : 28556 (bsolo) R 28554 28556 27119 0 -1 4202496 1358 0 0 0 7 0 0 0 20 0 1 0 344816916 15581184 1312 33554432000 134512640 137136520 4286978928 4286977456 134517302 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28556/statm: 3804 1312 413 641 0 2880 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 15216
[startup+0.100258 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 28556
/proc/meminfo: memFree=28006896/32873844 swapFree=7620/7620
[pid=28556] ppid=28554 vsize=17176 CPUtime=0.09 cores=1,3,5,7
/proc/28556/stat : 28556 (bsolo) R 28554 28556 27119 0 -1 4202496 2125 0 0 0 9 0 0 0 20 0 1 0 344816916 17588224 1799 33554432000 134512640 137136520 4286978928 4286776268 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28556/statm: 4294 1799 189 641 0 3650 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17176
[startup+0.300219 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 28556
/proc/meminfo: memFree=28006896/32873844 swapFree=7620/7620
[pid=28556] ppid=28554 vsize=17176 CPUtime=0.29 cores=1,3,5,7
/proc/28556/stat : 28556 (bsolo) R 28554 28556 27119 0 -1 4202496 2130 0 0 0 29 0 0 0 20 0 1 0 344816916 17588224 1804 33554432000 134512640 137136520 4286978928 4286776268 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28556/statm: 4294 1804 189 641 0 3650 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17176
[startup+0.700221 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 28556
/proc/meminfo: memFree=28006896/32873844 swapFree=7620/7620
[pid=28556] ppid=28554 vsize=17176 CPUtime=0.69 cores=1,3,5,7
/proc/28556/stat : 28556 (bsolo) R 28554 28556 27119 0 -1 4202496 2131 0 0 0 69 0 0 0 20 0 1 0 344816916 17588224 1805 33554432000 134512640 137136520 4286978928 4286776268 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28556/statm: 4294 1805 189 641 0 3650 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17176
[startup+1.50022 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28557
/proc/meminfo: memFree=27999044/32873844 swapFree=7620/7620
[pid=28556] ppid=28554 vsize=17176 CPUtime=1.49 cores=1,3,5,7
/proc/28556/stat : 28556 (bsolo) R 28554 28556 27119 0 -1 4202496 2131 0 0 0 149 0 0 0 20 0 1 0 344816916 17588224 1805 33554432000 134512640 137136520 4286978928 4286776268 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28556/statm: 4294 1805 189 641 0 3650 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17176
[startup+3.10021 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28557
/proc/meminfo: memFree=27997308/32873844 swapFree=7620/7620
[pid=28556] ppid=28554 vsize=17176 CPUtime=3.09 cores=1,3,5,7
/proc/28556/stat : 28556 (bsolo) R 28554 28556 27119 0 -1 4202496 2132 0 0 0 309 0 0 0 20 0 1 0 344816916 17588224 1806 33554432000 134512640 137136520 4286978928 4286776268 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28556/statm: 4294 1806 189 641 0 3650 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17176
[startup+6.30022 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28557
/proc/meminfo: memFree=27995084/32873844 swapFree=7620/7620
[pid=28556] ppid=28554 vsize=17176 CPUtime=6.29 cores=1,3,5,7
/proc/28556/stat : 28556 (bsolo) R 28554 28556 27119 0 -1 4202496 2134 0 0 0 628 1 0 0 20 0 1 0 344816916 17588224 1808 33554432000 134512640 137136520 4286978928 4286776268 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28556/statm: 4294 1808 189 641 0 3650 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17176
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28557
/proc/meminfo: memFree=27979592/32873844 swapFree=7620/7620
[pid=28556] ppid=28554 vsize=25172 CPUtime=12.69 cores=1,3,5,7
/proc/28556/stat : 28556 (bsolo) R 28554 28556 27119 0 -1 4202496 4310 0 0 0 1252 17 0 0 20 0 1 0 344816916 25776128 3819 33554432000 134512640 137136520 4286978928 4286977696 134576310 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28556/statm: 6293 3819 198 641 0 5649 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 25172
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28557
/proc/meminfo: memFree=27946856/32873844 swapFree=7620/7620
[pid=28556] ppid=28554 vsize=43348 CPUtime=25.49 cores=1,3,5,7
/proc/28556/stat : 28556 (bsolo) R 28554 28556 27119 0 -1 4202496 8856 0 0 0 2509 40 0 0 20 0 1 0 344816916 44388352 8365 33554432000 134512640 137136520 4286978928 4286978044 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28556/statm: 10837 8365 198 641 0 10193 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 43348
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28557
/proc/meminfo: memFree=27886420/32873844 swapFree=7620/7620
[pid=28556] ppid=28554 vsize=72820 CPUtime=51.08 cores=1,3,5,7
/proc/28556/stat : 28556 (bsolo) R 28554 28556 27119 0 -1 4202496 16225 0 0 0 5033 75 0 0 20 0 1 0 344816916 74567680 15734 33554432000 134512640 137136520 4286978928 4286978044 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28556/statm: 18205 15734 198 641 0 17561 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 72820
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28557
/proc/meminfo: memFree=27762856/32873844 swapFree=7620/7620
[pid=28556] ppid=28554 vsize=134364 CPUtime=102.28 cores=1,3,5,7
/proc/28556/stat : 28556 (bsolo) R 28554 28556 27119 0 -1 4202496 31612 0 0 0 10118 110 0 0 20 0 1 0 344816916 137588736 31121 33554432000 134512640 137136520 4286978928 4286977856 134543831 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28556/statm: 33591 31121 198 641 0 32947 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 134364
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28557
/proc/meminfo: memFree=27591332/32873844 swapFree=7620/7620
[pid=28556] ppid=28554 vsize=234620 CPUtime=162.22 cores=1,3,5,7
/proc/28556/stat : 28556 (bsolo) R 28554 28556 27119 0 -1 4202496 56725 0 0 0 16090 132 0 0 20 0 1 0 344816916 240250880 56188 33554432000 134512640 137136520 4286978928 4286977336 136502442 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28556/statm: 58655 56188 198 641 0 58011 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 234620
[startup+222.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 28557
/proc/meminfo: memFree=27459920/32873844 swapFree=7620/7620
[pid=28556] ppid=28554 vsize=322284 CPUtime=222.18 cores=1,3,5,7
/proc/28556/stat : 28556 (bsolo) R 28554 28556 27119 0 -1 4202496 78707 0 0 0 22068 150 0 0 20 0 1 0 344816916 330018816 78124 33554432000 134512640 137136520 4286978928 4286977856 134544148 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28556/statm: 80571 78124 198 641 0 79927 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 322284
[startup+282.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/180 28561
/proc/meminfo: memFree=27355284/32873844 swapFree=7620/7620
[pid=28556] ppid=28554 vsize=388964 CPUtime=282.12 cores=1,3,5,7
/proc/28556/stat : 28556 (bsolo) R 28554 28556 27119 0 -1 4202496 95405 0 0 0 28049 163 0 0 20 0 1 0 344816916 398299136 94776 33554432000 134512640 137136520 4286978928 4286977520 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28556/statm: 97241 94776 198 641 0 96597 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 388964
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28561
/proc/meminfo: memFree=27248308/32873844 swapFree=7620/7620
[pid=28556] ppid=28554 vsize=446708 CPUtime=342.08 cores=1,3,5,7
/proc/28556/stat : 28556 (bsolo) R 28554 28556 27119 0 -1 4202496 109889 0 0 0 34031 177 0 0 20 0 1 0 344816916 457428992 109213 33554432000 134512640 137136520 4286978928 4286977856 134544256 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28556/statm: 111677 109213 198 641 0 111033 0
Current children cumulated CPU time (s) 342.08
Current children cumulated vsize (KiB) 446708
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28561
/proc/meminfo: memFree=27160328/32873844 swapFree=7620/7620
[pid=28556] ppid=28554 vsize=488852 CPUtime=402.05 cores=1,3,5,7
/proc/28556/stat : 28556 (bsolo) R 28554 28556 27119 0 -1 4202496 120454 0 0 0 40009 196 0 0 20 0 1 0 344816916 500584448 120223 33554432000 134512640 137136520 4286978928 4286978044 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28556/statm: 122213 120223 198 641 0 121569 0
Current children cumulated CPU time (s) 402.05
Current children cumulated vsize (KiB) 488852
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28561
/proc/meminfo: memFree=27077124/32873844 swapFree=7620/7620
[pid=28556] ppid=28554 vsize=539452 CPUtime=462.03 cores=1,3,5,7
/proc/28556/stat : 28556 (bsolo) R 28554 28556 27119 0 -1 4202496 133104 0 0 0 45992 211 0 0 20 0 1 0 344816916 552398848 132873 33554432000 134512640 137136520 4286978928 4286977856 134543927 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28556/statm: 134863 132873 198 641 0 134219 0
Current children cumulated CPU time (s) 462.03
Current children cumulated vsize (KiB) 539452
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28561
/proc/meminfo: memFree=26968748/32873844 swapFree=7620/7620
[pid=28556] ppid=28554 vsize=583608 CPUtime=522.02 cores=1,3,5,7
/proc/28556/stat : 28556 (bsolo) R 28554 28556 27119 0 -1 4202496 144143 0 0 0 51982 220 0 0 20 0 1 0 344816916 597614592 143912 33554432000 134512640 137136520 4286978928 4286977856 134543939 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28556/statm: 145902 143912 198 641 0 145258 0
Current children cumulated CPU time (s) 522.02
Current children cumulated vsize (KiB) 583608
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28562
/proc/meminfo: memFree=26874012/32873844 swapFree=7620/7620
[pid=28556] ppid=28554 vsize=630824 CPUtime=582.02 cores=1,3,5,7
/proc/28556/stat : 28556 (bsolo) R 28554 28556 27119 0 -1 4202496 155946 0 0 0 57970 232 0 0 20 0 1 0 344816916 645963776 155715 33554432000 134512640 137136520 4286978928 4286977856 134543939 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28556/statm: 157706 155715 198 641 0 157062 0
Current children cumulated CPU time (s) 582.02
Current children cumulated vsize (KiB) 630824
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=25758252/32873844 swapFree=7620/7620
[pid=28556] ppid=28554 vsize=1314376 CPUtime=1121.93 cores=1,3,5,7
/proc/28556/stat : 28556 (bsolo) R 28554 28556 27119 0 -1 4202496 326838 0 0 0 111888 305 0 0 20 0 1 0 344816916 1345921024 326607 33554432000 134512640 137136520 4286978928 4286978044 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28556/statm: 328594 326607 198 641 0 327950 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 1314376
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 28614
/proc/meminfo: memFree=27484060/32873844 swapFree=7620/7620
[pid=28556] ppid=28554 vsize=1347636 CPUtime=1181.92 cores=1,3,5,7
/proc/28556/stat : 28556 (bsolo) R 28554 28556 27119 0 -1 4202496 335178 0 0 0 117880 312 0 0 20 0 1 0 344816916 1379979264 334947 33554432000 134512640 137136520 4286978928 4286977552 134554009 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28556/statm: 336909 334947 198 641 0 336265 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 1347636
[startup+1242.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 28663
/proc/meminfo: memFree=27468188/32873844 swapFree=7620/7620
[pid=28556] ppid=28554 vsize=1385492 CPUtime=1241.92 cores=1,3,5,7
/proc/28556/stat : 28556 (bsolo) R 28554 28556 27119 0 -1 4202496 344629 0 0 0 123873 319 0 0 20 0 1 0 344816916 1418743808 344398 33554432000 134512640 137136520 4286978928 4286977856 134544148 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28556/statm: 346373 344398 198 641 0 345729 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 1385492
[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 28663
/proc/meminfo: memFree=27326208/32873844 swapFree=7620/7620
[pid=28556] ppid=28554 vsize=1410084 CPUtime=1301.91 cores=1,3,5,7
/proc/28556/stat : 28556 (bsolo) R 28554 28556 27119 0 -1 4202496 350765 0 0 0 129866 325 0 0 20 0 1 0 344816916 1443926016 350534 33554432000 134512640 137136520 4286978928 4286977856 134543865 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28556/statm: 352521 350534 198 641 0 351877 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 1410084
[startup+1362.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 28663
/proc/meminfo: memFree=27220064/32873844 swapFree=7620/7620
[pid=28556] ppid=28554 vsize=1443324 CPUtime=1361.9 cores=1,3,5,7
/proc/28556/stat : 28556 (bsolo) R 28554 28556 27119 0 -1 4202496 359088 0 0 0 135854 336 0 0 20 0 1 0 344816916 1477963776 358857 33554432000 134512640 137136520 4286978928 4286977208 136504651 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28556/statm: 360831 358857 198 641 0 360187 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 1443324
[startup+1422.31 s]
/proc/loadavg: 2.06 2.03 2.00 3/179 28663
/proc/meminfo: memFree=27092964/32873844 swapFree=7620/7620
[pid=28556] ppid=28554 vsize=1483400 CPUtime=1421.9 cores=1,3,5,7
/proc/28556/stat : 28556 (bsolo) R 28554 28556 27119 0 -1 4202496 369100 0 0 0 141846 344 0 0 20 0 1 0 344816916 1519001600 368869 33554432000 134512640 137136520 4286978928 4286977856 134544256 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28556/statm: 370850 368869 198 641 0 370206 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 1483400
[startup+1482.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/180 28666
/proc/meminfo: memFree=27001716/32873844 swapFree=7620/7620
[pid=28556] ppid=28554 vsize=1513368 CPUtime=1481.86 cores=1,3,5,7
/proc/28556/stat : 28556 (bsolo) R 28554 28556 27119 0 -1 4202496 376614 0 0 0 147835 351 0 0 20 0 1 0 344816916 1549688832 376355 33554432000 134512640 137136520 4286978928 4286977856 134544245 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28556/statm: 378342 376355 198 641 0 377698 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 1513368
[startup+1542.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 28667
/proc/meminfo: memFree=26906428/32873844 swapFree=7620/7620
[pid=28556] ppid=28554 vsize=1574012 CPUtime=1541.82 cores=1,3,5,7
/proc/28556/stat : 28556 (bsolo) R 28554 28556 27119 0 -1 4202496 391842 0 0 0 153826 356 0 0 20 0 1 0 344816916 1611788288 391542 33554432000 134512640 137136520 4286978928 4286977856 134543918 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28556/statm: 393503 391542 198 641 0 392859 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 1574012
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 28667
/proc/meminfo: memFree=26823996/32873844 swapFree=7620/7620
[pid=28556] ppid=28554 vsize=1620056 CPUtime=1601.8 cores=1,3,5,7
/proc/28556/stat : 28556 (bsolo) R 28554 28556 27119 0 -1 4202496 403360 0 0 0 159819 361 0 0 20 0 1 0 344816916 1658937344 403031 33554432000 134512640 137136520 4286978928 4286977856 134543865 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28556/statm: 405014 403031 198 641 0 404370 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 1620056
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 28715
/proc/meminfo: memFree=27215592/32873844 swapFree=7620/7620
[pid=28556] ppid=28554 vsize=1662588 CPUtime=1661.77 cores=1,3,5,7
/proc/28556/stat : 28556 (bsolo) R 28554 28556 27119 0 -1 4202496 414037 0 0 0 165812 365 0 0 20 0 1 0 344816916 1702490112 413683 33554432000 134512640 137136520 4286978928 4286977856 134543831 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28556/statm: 415647 413683 198 641 0 415003 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 1662588
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28763
/proc/meminfo: memFree=27187744/32873844 swapFree=7620/7620
[pid=28556] ppid=28554 vsize=1699764 CPUtime=1721.74 cores=1,3,5,7
/proc/28556/stat : 28556 (bsolo) R 28554 28556 27119 0 -1 4202496 423344 0 0 0 171805 369 0 0 20 0 1 0 344816916 1740558336 422968 33554432000 134512640 137136520 4286978928 4286977856 134544148 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28556/statm: 424941 422968 198 641 0 424297 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 1699764
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 28763
/proc/meminfo: memFree=27142148/32873844 swapFree=7620/7620
[pid=28556] ppid=28554 vsize=1740752 CPUtime=1781.73 cores=1,3,5,7
/proc/28556/stat : 28556 (bsolo) R 28554 28556 27119 0 -1 4202496 433598 0 0 0 177800 373 0 0 20 0 1 0 344816916 1782530048 433211 33554432000 134512640 137136520 4286978928 4286977824 134544148 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28556/statm: 435188 433211 198 641 0 434544 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 1740752
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 28811
/proc/meminfo: memFree=27141116/32873844 swapFree=7620/7620
[pid=28556] ppid=28554 vsize=1747420 CPUtime=1791.33 cores=1,3,5,7
/proc/28556/stat : 28556 (bsolo) R 28554 28556 27119 0 -1 4202496 435264 0 0 0 178759 374 0 0 20 0 1 0 344816916 1789358080 434873 33554432000 134512640 137136520 4286978928 4286977856 134543948 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28556/statm: 436855 434873 198 641 0 436211 0
Current children cumulated CPU time (s) 1791.33
Current children cumulated vsize (KiB) 1747420
[startup+1795.1 s]
/proc/loadavg: 2.08 2.02 2.01 3/178 28812
/proc/meminfo: memFree=27137016/32873844 swapFree=7620/7620
[pid=28556] ppid=28554 vsize=1750136 CPUtime=1794.53 cores=1,3,5,7
/proc/28556/stat : 28556 (bsolo) R 28554 28556 27119 0 -1 4202496 435957 0 0 0 179079 374 0 0 20 0 1 0 344816916 1792139264 435566 33554432000 134512640 137136520 4286978928 4286977640 136502195 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28556/statm: 437534 435566 198 641 0 436890 0
Current children cumulated CPU time (s) 1794.53
Current children cumulated vsize (KiB) 1750136
[startup+1796.7 s]
/proc/loadavg: 2.23 2.05 2.02 3/178 28812
/proc/meminfo: memFree=27135528/32873844 swapFree=7620/7620
[pid=28556] ppid=28554 vsize=1751756 CPUtime=1796.12 cores=1,3,5,7
/proc/28556/stat : 28556 (bsolo) R 28554 28556 27119 0 -1 4202496 436352 0 0 0 179238 374 0 0 20 0 1 0 344816916 1793798144 435961 33554432000 134512640 137136520 4286978928 4286978044 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28556/statm: 437939 435961 198 641 0 437295 0
Current children cumulated CPU time (s) 1796.12
Current children cumulated vsize (KiB) 1751756
[startup+1797.5 s]
/proc/loadavg: 2.23 2.05 2.02 3/178 28812
/proc/meminfo: memFree=27134280/32873844 swapFree=7620/7620
[pid=28556] ppid=28554 vsize=1752608 CPUtime=1796.92 cores=1,3,5,7
/proc/28556/stat : 28556 (bsolo) R 28554 28556 27119 0 -1 4202496 436570 0 0 0 179318 374 0 0 20 0 1 0 344816916 1794670592 436175 33554432000 134512640 137136520 4286978928 4286977856 134543971 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28556/statm: 438152 436175 198 641 0 437508 0
Current children cumulated CPU time (s) 1796.92
Current children cumulated vsize (KiB) 1752608
[startup+1798.3 s]
/proc/loadavg: 2.23 2.05 2.02 3/178 28812
/proc/meminfo: memFree=27134280/32873844 swapFree=7620/7620
[pid=28556] ppid=28554 vsize=1753724 CPUtime=1797.72 cores=1,3,5,7
/proc/28556/stat : 28556 (bsolo) R 28554 28556 27119 0 -1 4202496 436845 0 0 0 179398 374 0 0 20 0 1 0 344816916 1795813376 436450 33554432000 134512640 137136520 4286978928 4286977856 134544777 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28556/statm: 438431 436450 198 641 0 437787 0
Current children cumulated CPU time (s) 1797.72
Current children cumulated vsize (KiB) 1753724
[startup+1798.51 s]
/proc/loadavg: 2.23 2.05 2.02 3/178 28812
/proc/meminfo: memFree=27132676/32873844 swapFree=7620/7620
[pid=28556] ppid=28554 vsize=1753868 CPUtime=1797.93 cores=1,3,5,7
/proc/28556/stat : 28556 (bsolo) R 28554 28556 27119 0 -1 4202496 436888 0 0 0 179419 374 0 0 20 0 1 0 344816916 1795960832 436493 33554432000 134512640 137136520 4286978928 4286977856 134544157 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28556/statm: 438467 436493 198 641 0 437823 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 1753868
[startup+1798.6 s]
/proc/loadavg: 2.23 2.05 2.02 3/178 28812
/proc/meminfo: memFree=27132676/32873844 swapFree=7620/7620
[pid=28556] ppid=28554 vsize=0 CPUtime=1798.02 cores=1,3,5,7
/proc/28556/stat : 28556 (bsolo) R 28554 28556 27119 0 -1 4202500 436924 0 0 0 179426 376 0 0 20 0 1 0 344816916 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28556/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.02
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 1798.64
CPU time (s): 1798.07
CPU user time (s): 1794.27
CPU system time (s): 3.80042
CPU usage (%): 99.9682
Max. virtual memory (cumulated for all children) (KiB): 1753868
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.27
system time used= 3.80042
maximum resident set size= 1746112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 436924
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= 388
involuntary context switches= 1834
runsolver used 2.5986 second user time and 8.85465 second system time
The end