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-3462691-1307181773/watcher-3462691-1307181773 -o /tmp/evaluation-result-3462691-1307181773/solver-3462691-1307181773 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462691-1307181773.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.13 2.03 2.01 2/437 11346
/proc/meminfo: memFree=23638308/32951124 swapFree=50923800/67111528
[pid=11346] ppid=11344 vsize=12008 CPUtime=0 cores=1,3,5,7
/proc/11346/stat : 11346 (bsolo) R 11344 11346 9722 0 -1 4202496 598 0 0 0 0 0 0 0 18 0 1 0 810592958 12296192 543 33554432000 134512640 137138936 4289644768 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11346/statm: 3002 543 185 642 0 2358 0
[startup+0.0648061 s]
/proc/loadavg: 2.13 2.03 2.01 2/437 11346
/proc/meminfo: memFree=23638308/32951124 swapFree=50923800/67111528
[pid=11346] ppid=11344 vsize=12296 CPUtime=0.05 cores=1,3,5,7
/proc/11346/stat : 11346 (bsolo) R 11344 11346 9722 0 -1 4202496 723 0 0 0 5 0 0 0 18 0 1 0 810592958 12591104 620 33554432000 134512640 137138936 4289644768 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11346/statm: 3074 620 192 642 0 2430 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 12296
[startup+0.100802 s]
/proc/loadavg: 2.13 2.03 2.01 2/437 11346
/proc/meminfo: memFree=23638308/32951124 swapFree=50923800/67111528
[pid=11346] ppid=11344 vsize=12296 CPUtime=0.09 cores=1,3,5,7
/proc/11346/stat : 11346 (bsolo) R 11344 11346 9722 0 -1 4202496 726 0 0 0 9 0 0 0 18 0 1 0 810592958 12591104 623 33554432000 134512640 137138936 4289644768 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11346/statm: 3074 623 192 642 0 2430 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12296
[startup+0.300761 s]
/proc/loadavg: 2.13 2.03 2.01 2/437 11346
/proc/meminfo: memFree=23638308/32951124 swapFree=50923800/67111528
[pid=11346] ppid=11344 vsize=13076 CPUtime=0.29 cores=1,3,5,7
/proc/11346/stat : 11346 (bsolo) R 11344 11346 9722 0 -1 4202496 937 0 0 0 29 0 0 0 18 0 1 0 810592958 13389824 834 33554432000 134512640 137138936 4289644768 18446744073709551615 134606686 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11346/statm: 3269 834 192 642 0 2625 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13076
[startup+0.700682 s]
/proc/loadavg: 2.13 2.03 2.01 2/437 11346
/proc/meminfo: memFree=23638308/32951124 swapFree=50923800/67111528
[pid=11346] ppid=11344 vsize=14428 CPUtime=0.69 cores=1,3,5,7
/proc/11346/stat : 11346 (bsolo) R 11344 11346 9722 0 -1 4202496 1263 0 0 0 68 1 0 0 18 0 1 0 810592958 14774272 1160 33554432000 134512640 137138936 4289644768 18446744073709551615 136501668 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11346/statm: 3607 1160 192 642 0 2963 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14428
[startup+1.50052 s]
/proc/loadavg: 2.12 2.03 2.01 3/438 11347
/proc/meminfo: memFree=23632720/32951124 swapFree=50923800/67111528
[pid=11346] ppid=11344 vsize=16560 CPUtime=1.49 cores=1,3,5,7
/proc/11346/stat : 11346 (bsolo) R 11344 11346 9722 0 -1 4202496 1807 0 0 0 148 1 0 0 20 0 1 0 810592958 16957440 1704 33554432000 134512640 137138936 4289644768 18446744073709551615 134575242 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11346/statm: 4140 1704 192 642 0 3496 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16560
[startup+3.1002 s]
/proc/loadavg: 2.12 2.03 2.01 3/438 11347
/proc/meminfo: memFree=23628560/32951124 swapFree=50923800/67111528
[pid=11346] ppid=11344 vsize=21368 CPUtime=3.09 cores=1,3,5,7
/proc/11346/stat : 11346 (bsolo) R 11344 11346 9722 0 -1 4202496 2999 0 0 0 307 2 0 0 25 0 1 0 810592958 21880832 2896 33554432000 134512640 137138936 4289644768 18446744073709551615 136504089 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11346/statm: 5342 2896 192 642 0 4698 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21368
[startup+6.30057 s]
/proc/loadavg: 2.12 2.03 2.01 3/438 11347
/proc/meminfo: memFree=23619528/32951124 swapFree=50923800/67111528
[pid=11346] ppid=11344 vsize=29592 CPUtime=6.29 cores=1,3,5,7
/proc/11346/stat : 11346 (bsolo) R 11344 11346 9722 0 -1 4202496 5073 0 0 0 626 3 0 0 25 0 1 0 810592958 30302208 4970 33554432000 134512640 137138936 4289644768 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11346/statm: 7398 4970 192 642 0 6754 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 29592
[startup+12.7003 s]
/proc/loadavg: 2.10 2.03 2.01 3/438 11347
/proc/meminfo: memFree=23606232/32951124 swapFree=50923800/67111528
[pid=11346] ppid=11344 vsize=40056 CPUtime=12.69 cores=1,3,5,7
/proc/11346/stat : 11346 (bsolo) R 11344 11346 9722 0 -1 4202496 7683 0 0 0 1264 5 0 0 25 0 1 0 810592958 41017344 7580 33554432000 134512640 137138936 4289644768 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11346/statm: 10014 7580 192 642 0 9370 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 40056
[startup+25.5008 s]
/proc/loadavg: 2.09 2.03 2.01 3/438 11347
/proc/meminfo: memFree=23597432/32951124 swapFree=50923800/67111528
[pid=11346] ppid=11344 vsize=49348 CPUtime=25.49 cores=1,3,5,7
/proc/11346/stat : 11346 (bsolo) R 11344 11346 9722 0 -1 4202496 10001 0 0 0 2542 7 0 0 25 0 1 0 810592958 50532352 9898 33554432000 134512640 137138936 4289644768 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11346/statm: 12337 9898 192 642 0 11693 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 49348
[startup+51.1007 s]
/proc/loadavg: 2.06 2.03 2.00 3/438 11348
/proc/meminfo: memFree=23571944/32951124 swapFree=50923800/67111528
[pid=11346] ppid=11344 vsize=74316 CPUtime=51.1 cores=1,3,5,7
/proc/11346/stat : 11346 (bsolo) R 11344 11346 9722 0 -1 4202496 16304 0 0 0 5098 12 0 0 25 0 1 0 810592958 76099584 16149 33554432000 134512640 137138936 4289644768 18446744073709551615 134573202 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11346/statm: 18579 16149 192 642 0 17935 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 74316
[startup+102.317 s]
/proc/loadavg: 2.02 2.02 2.00 3/438 11349
/proc/meminfo: memFree=23525544/32951124 swapFree=50923800/67111528
[pid=11346] ppid=11344 vsize=99012 CPUtime=102.31 cores=1,3,5,7
/proc/11346/stat : 11346 (bsolo) R 11344 11346 9722 0 -1 4202496 22532 0 0 0 10211 20 0 0 25 0 1 0 810592958 101388288 22314 33554432000 134512640 137138936 4289644768 18446744073709551615 134542513 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11346/statm: 24753 22314 192 642 0 24109 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 99012
[startup+162.301 s]
/proc/loadavg: 2.12 2.05 2.01 3/438 11351
/proc/meminfo: memFree=23524648/32951124 swapFree=50923800/67111528
[pid=11346] ppid=11344 vsize=99012 CPUtime=162.3 cores=1,3,5,7
/proc/11346/stat : 11346 (bsolo) R 11344 11346 9722 0 -1 4202496 22532 0 0 0 16200 30 0 0 25 0 1 0 810592958 101388288 22314 33554432000 134512640 137138936 4289644768 18446744073709551615 136500245 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11346/statm: 24753 22314 192 642 0 24109 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 99012
[startup+222.301 s]
/proc/loadavg: 2.10 2.05 2.01 3/438 11352
/proc/meminfo: memFree=23522264/32951124 swapFree=50923800/67111528
[pid=11346] ppid=11344 vsize=102904 CPUtime=222.3 cores=1,3,5,7
/proc/11346/stat : 11346 (bsolo) R 11344 11346 9722 0 -1 4202496 23488 0 0 0 22195 35 0 0 25 0 1 0 810592958 105373696 23270 33554432000 134512640 137138936 4289644768 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11346/statm: 25726 23270 192 642 0 25082 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 102904
[startup+282.301 s]
/proc/loadavg: 2.03 2.04 2.00 3/438 11354
/proc/meminfo: memFree=23501904/32951124 swapFree=50923800/67111528
[pid=11346] ppid=11344 vsize=123512 CPUtime=282.3 cores=1,3,5,7
/proc/11346/stat : 11346 (bsolo) R 11344 11346 9722 0 -1 4202496 28640 0 0 0 28187 43 0 0 25 0 1 0 810592958 126476288 28422 33554432000 134512640 137138936 4289644768 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11346/statm: 30878 28422 192 642 0 30234 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 123512
[startup+342.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/438 11356
/proc/meminfo: memFree=23479940/32951124 swapFree=50923800/67111528
[pid=11346] ppid=11344 vsize=145624 CPUtime=342.31 cores=1,3,5,7
/proc/11346/stat : 11346 (bsolo) R 11344 11346 9722 0 -1 4202496 34169 0 0 0 34183 48 0 0 25 0 1 0 810592958 149118976 33951 33554432000 134512640 137138936 4289644768 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11346/statm: 36406 33951 192 642 0 35762 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 145624
[startup+402.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/438 11357
/proc/meminfo: memFree=23449664/32951124 swapFree=50923800/67111528
[pid=11346] ppid=11344 vsize=175296 CPUtime=402.3 cores=1,3,5,7
/proc/11346/stat : 11346 (bsolo) R 11344 11346 9722 0 -1 4202496 41671 0 0 0 40176 54 0 0 25 0 1 0 810592958 179503104 41389 33554432000 134512640 137138936 4289644768 18446744073709551615 134574740 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11346/statm: 43824 41389 192 642 0 43180 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 175296
[startup+462.301 s]
/proc/loadavg: 2.10 2.05 2.01 3/438 11359
/proc/meminfo: memFree=23436136/32951124 swapFree=50923800/67111528
[pid=11346] ppid=11344 vsize=189988 CPUtime=462.31 cores=1,3,5,7
/proc/11346/stat : 11346 (bsolo) R 11344 11346 9722 0 -1 4202496 45353 0 0 0 46172 59 0 0 25 0 1 0 810592958 194547712 45071 33554432000 134512640 137138936 4289644768 18446744073709551615 134542620 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11346/statm: 47497 45071 192 642 0 46853 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 189988
[startup+522.301 s]
/proc/loadavg: 2.08 2.05 2.01 3/438 11360
/proc/meminfo: memFree=23421980/32951124 swapFree=50923800/67111528
[pid=11346] ppid=11344 vsize=203460 CPUtime=522.31 cores=1,3,5,7
/proc/11346/stat : 11346 (bsolo) R 11344 11346 9722 0 -1 4202496 48690 0 0 0 52167 64 0 0 25 0 1 0 810592958 208343040 48408 33554432000 134512640 137138936 4289644768 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11346/statm: 50865 48408 192 642 0 50221 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 203460
[startup+582.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/438 11362
/proc/meminfo: memFree=23407088/32951124 swapFree=50923800/67111528
[pid=11346] ppid=11344 vsize=217620 CPUtime=582.32 cores=1,3,5,7
/proc/11346/stat : 11346 (bsolo) R 11344 11346 9722 0 -1 4202496 52326 0 0 0 58162 70 0 0 25 0 1 0 810592958 222842880 51974 33554432000 134512640 137138936 4289644768 18446744073709551615 134542354 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11346/statm: 54405 51974 192 642 0 53761 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 217620
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=24279056/32951124 swapFree=50923800/67111528
[pid=11346] ppid=11344 vsize=245792 CPUtime=1062.34 cores=1,3,5,7
/proc/11346/stat : 11346 (bsolo) R 11344 11346 9722 0 -1 4202496 59421 0 0 0 106126 108 0 0 25 0 1 0 810592958 251691008 58992 33554432000 134512640 137138936 4289644768 18446744073709551615 136500576 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11346/statm: 61448 58992 192 642 0 60804 0
Current children cumulated CPU time (s) 1062.34
Current children cumulated vsize (KiB) 245792
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/438 11411
/proc/meminfo: memFree=24272204/32951124 swapFree=50923800/67111528
[pid=11346] ppid=11344 vsize=245284 CPUtime=1122.35 cores=1,3,5,7
/proc/11346/stat : 11346 (bsolo) R 11344 11346 9722 0 -1 4202496 59421 0 0 0 112119 116 0 0 25 0 1 0 810592958 251170816 58897 33554432000 134512640 137138936 4289644768 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11346/statm: 61321 58897 192 642 0 60677 0
Current children cumulated CPU time (s) 1122.35
Current children cumulated vsize (KiB) 245284
[startup+1182.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/438 11413
/proc/meminfo: memFree=24272548/32951124 swapFree=50923800/67111528
[pid=11346] ppid=11344 vsize=245288 CPUtime=1182.35 cores=1,3,5,7
/proc/11346/stat : 11346 (bsolo) R 11344 11346 9722 0 -1 4202496 59422 0 0 0 118113 122 0 0 25 0 1 0 810592958 251174912 58898 33554432000 134512640 137138936 4289644768 18446744073709551615 136504035 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11346/statm: 61322 58898 192 642 0 60678 0
Current children cumulated CPU time (s) 1182.35
Current children cumulated vsize (KiB) 245288
[startup+1242.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/438 11415
/proc/meminfo: memFree=24266456/32951124 swapFree=50923800/67111528
[pid=11346] ppid=11344 vsize=245316 CPUtime=1242.35 cores=1,3,5,7
/proc/11346/stat : 11346 (bsolo) R 11344 11346 9722 0 -1 4202496 59429 0 0 0 124107 128 0 0 25 0 1 0 810592958 251203584 58905 33554432000 134512640 137138936 4289644768 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11346/statm: 61329 58905 192 642 0 60685 0
Current children cumulated CPU time (s) 1242.35
Current children cumulated vsize (KiB) 245316
[startup+1302.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/438 11418
/proc/meminfo: memFree=24265568/32951124 swapFree=50923800/67111528
[pid=11346] ppid=11344 vsize=245316 CPUtime=1302.36 cores=1,3,5,7
/proc/11346/stat : 11346 (bsolo) R 11344 11346 9722 0 -1 4202496 59429 0 0 0 130105 131 0 0 25 0 1 0 810592958 251203584 58905 33554432000 134512640 137138936 4289644768 18446744073709551615 134542202 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11346/statm: 61329 58905 192 642 0 60685 0
Current children cumulated CPU time (s) 1302.36
Current children cumulated vsize (KiB) 245316
[startup+1362.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/438 11424
/proc/meminfo: memFree=24257192/32951124 swapFree=50923800/67111528
[pid=11346] ppid=11344 vsize=245316 CPUtime=1362.35 cores=1,3,5,7
/proc/11346/stat : 11346 (bsolo) R 11344 11346 9722 0 -1 4202496 59429 0 0 0 136100 135 0 0 25 0 1 0 810592958 251203584 58905 33554432000 134512640 137138936 4289644768 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11346/statm: 61329 58905 192 642 0 60685 0
Current children cumulated CPU time (s) 1362.35
Current children cumulated vsize (KiB) 245316
[startup+1422.32 s]
/proc/loadavg: 2.06 2.04 2.00 3/438 11425
/proc/meminfo: memFree=24257276/32951124 swapFree=50923800/67111528
[pid=11346] ppid=11344 vsize=245316 CPUtime=1422.38 cores=1,3,5,7
/proc/11346/stat : 11346 (bsolo) R 11344 11346 9722 0 -1 4202496 59429 0 0 0 142098 140 0 0 25 0 1 0 810592958 251203584 58905 33554432000 134512640 137138936 4289644768 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11346/statm: 61329 58905 192 642 0 60685 0
Current children cumulated CPU time (s) 1422.38
Current children cumulated vsize (KiB) 245316
[startup+1482.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/438 11427
/proc/meminfo: memFree=24256876/32951124 swapFree=50923800/67111528
[pid=11346] ppid=11344 vsize=245316 CPUtime=1482.36 cores=1,3,5,7
/proc/11346/stat : 11346 (bsolo) R 11344 11346 9722 0 -1 4202496 59429 0 0 0 148091 145 0 0 25 0 1 0 810592958 251203584 58905 33554432000 134512640 137138936 4289644768 18446744073709551615 134606670 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11346/statm: 61329 58905 192 642 0 60685 0
Current children cumulated CPU time (s) 1482.36
Current children cumulated vsize (KiB) 245316
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/438 11430
/proc/meminfo: memFree=24257324/32951124 swapFree=50923800/67111528
[pid=11346] ppid=11344 vsize=245316 CPUtime=1542.36 cores=1,3,5,7
/proc/11346/stat : 11346 (bsolo) R 11344 11346 9722 0 -1 4202496 59429 0 0 0 154088 148 0 0 25 0 1 0 810592958 251203584 58905 33554432000 134512640 137138936 4289644768 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11346/statm: 61329 58905 192 642 0 60685 0
Current children cumulated CPU time (s) 1542.36
Current children cumulated vsize (KiB) 245316
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/438 11431
/proc/meminfo: memFree=24257416/32951124 swapFree=50923800/67111528
[pid=11346] ppid=11344 vsize=245316 CPUtime=1602.36 cores=1,3,5,7
/proc/11346/stat : 11346 (bsolo) R 11344 11346 9722 0 -1 4202496 59429 0 0 0 160081 155 0 0 25 0 1 0 810592958 251203584 58905 33554432000 134512640 137138936 4289644768 18446744073709551615 134543241 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11346/statm: 61329 58905 192 642 0 60685 0
Current children cumulated CPU time (s) 1602.36
Current children cumulated vsize (KiB) 245316
[startup+1662.3 s]
/proc/loadavg: 2.15 2.04 2.01 3/438 11433
/proc/meminfo: memFree=24248472/32951124 swapFree=50923800/67111528
[pid=11346] ppid=11344 vsize=245316 CPUtime=1662.37 cores=1,3,5,7
/proc/11346/stat : 11346 (bsolo) R 11344 11346 9722 0 -1 4202496 59429 0 0 0 166077 160 0 0 25 0 1 0 810592958 251203584 58905 33554432000 134512640 137138936 4289644768 18446744073709551615 134543140 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11346/statm: 61329 58905 192 642 0 60685 0
Current children cumulated CPU time (s) 1662.37
Current children cumulated vsize (KiB) 245316
[startup+1722.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/438 11435
/proc/meminfo: memFree=24248812/32951124 swapFree=50923800/67111528
[pid=11346] ppid=11344 vsize=245316 CPUtime=1722.37 cores=1,3,5,7
/proc/11346/stat : 11346 (bsolo) R 11344 11346 9722 0 -1 4202496 59429 0 0 0 172073 164 0 0 25 0 1 0 810592958 251203584 58905 33554432000 134512640 137138936 4289644768 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11346/statm: 61329 58905 192 642 0 60685 0
Current children cumulated CPU time (s) 1722.37
Current children cumulated vsize (KiB) 245316
[startup+1782.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/438 11437
/proc/meminfo: memFree=24247300/32951124 swapFree=50923800/67111528
[pid=11346] ppid=11344 vsize=245316 CPUtime=1782.37 cores=1,3,5,7
/proc/11346/stat : 11346 (bsolo) R 11344 11346 9722 0 -1 4202496 59429 0 0 0 178067 170 0 0 25 0 1 0 810592958 251203584 58905 33554432000 134512640 137138936 4289644768 18446744073709551615 134542808 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11346/statm: 61329 58905 192 642 0 60685 0
Current children cumulated CPU time (s) 1782.37
Current children cumulated vsize (KiB) 245316
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.04 2.04 2.00 3/438 11437
/proc/meminfo: memFree=24248416/32951124 swapFree=50923800/67111528
[pid=11346] ppid=11344 vsize=245316 CPUtime=1785.57 cores=1,3,5,7
/proc/11346/stat : 11346 (bsolo) R 11344 11346 9722 0 -1 4202496 59429 0 0 0 178387 170 0 0 25 0 1 0 810592958 251203584 58905 33554432000 134512640 137138936 4289644768 18446744073709551615 134542202 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11346/statm: 61329 58905 192 642 0 60685 0
Current children cumulated CPU time (s) 1785.57
Current children cumulated vsize (KiB) 245316
[startup+1791.92 s]
/proc/loadavg: 2.04 2.04 2.00 3/438 11437
/proc/meminfo: memFree=24248412/32951124 swapFree=50923800/67111528
[pid=11346] ppid=11344 vsize=245316 CPUtime=1791.99 cores=1,3,5,7
/proc/11346/stat : 11346 (bsolo) R 11344 11346 9722 0 -1 4202496 59429 0 0 0 179028 171 0 0 25 0 1 0 810592958 251203584 58905 33554432000 134512640 137138936 4289644768 18446744073709551615 134542460 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11346/statm: 61329 58905 192 642 0 60685 0
Current children cumulated CPU time (s) 1791.99
Current children cumulated vsize (KiB) 245316
[startup+1795.1 s]
/proc/loadavg: 2.04 2.04 2.00 3/438 11437
/proc/meminfo: memFree=24248412/32951124 swapFree=50923800/67111528
[pid=11346] ppid=11344 vsize=245316 CPUtime=1795.18 cores=1,3,5,7
/proc/11346/stat : 11346 (bsolo) R 11344 11346 9722 0 -1 4202496 59429 0 0 0 179347 171 0 0 25 0 1 0 810592958 251203584 58905 33554432000 134512640 137138936 4289644768 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11346/statm: 61329 58905 192 642 0 60685 0
Current children cumulated CPU time (s) 1795.18
Current children cumulated vsize (KiB) 245316
[startup+1796.7 s]
/proc/loadavg: 2.03 2.03 2.00 3/438 11437
/proc/meminfo: memFree=24248412/32951124 swapFree=50923800/67111528
[pid=11346] ppid=11344 vsize=245316 CPUtime=1796.77 cores=1,3,5,7
/proc/11346/stat : 11346 (bsolo) R 11344 11346 9722 0 -1 4202496 59429 0 0 0 179506 171 0 0 25 0 1 0 810592958 251203584 58905 33554432000 134512640 137138936 4289644768 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11346/statm: 61329 58905 192 642 0 60685 0
Current children cumulated CPU time (s) 1796.77
Current children cumulated vsize (KiB) 245316
[startup+1797.5 s]
/proc/loadavg: 2.03 2.03 2.00 3/438 11437
/proc/meminfo: memFree=24248288/32951124 swapFree=50923800/67111528
[pid=11346] ppid=11344 vsize=245316 CPUtime=1797.57 cores=1,3,5,7
/proc/11346/stat : 11346 (bsolo) R 11344 11346 9722 0 -1 4202496 59429 0 0 0 179586 171 0 0 25 0 1 0 810592958 251203584 58905 33554432000 134512640 137138936 4289644768 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11346/statm: 61329 58905 192 642 0 60685 0
Current children cumulated CPU time (s) 1797.57
Current children cumulated vsize (KiB) 245316
[startup+1797.9 s]
/proc/loadavg: 2.03 2.03 2.00 3/438 11437
/proc/meminfo: memFree=24248288/32951124 swapFree=50923800/67111528
[pid=11346] ppid=11344 vsize=245316 CPUtime=1797.98 cores=1,3,5,7
/proc/11346/stat : 11346 (bsolo) R 11344 11346 9722 0 -1 4202496 59429 0 0 0 179626 172 0 0 25 0 1 0 810592958 251203584 58905 33554432000 134512640 137138936 4289644768 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11346/statm: 61329 58905 192 642 0 60685 0
Current children cumulated CPU time (s) 1797.98
Current children cumulated vsize (KiB) 245316
Child status: 0
Real time (s): 1797.93
CPU time (s): 1798.02
CPU user time (s): 1796.28
CPU system time (s): 1.73074
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 245792
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.28
system time used= 1.73074
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59430
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= 6
involuntary context switches= 2498
runsolver used 7.39687 second user time and 17.6493 second system time
The end