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-3708411-1338180508/watcher-3708411-1338180508 -o /tmp/evaluation-result-3708411-1338180508/solver-3708411-1338180508 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3708411-1338180508.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/174 1301
/proc/meminfo: memFree=27991188/32873852 swapFree=6848/6848
[pid=1301] ppid=1299 vsize=11108 CPUtime=0 cores=1,3,5,7
/proc/1301/stat : 1301 (bsolo) R 1299 1301 31475 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284176261 11374592 310 33554432000 134512640 137138936 4287127440 4287125592 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1301/statm: 2777 311 175 642 0 2124 0
[startup+0.0584649 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 1301
/proc/meminfo: memFree=27991188/32873852 swapFree=6848/6848
[pid=1301] ppid=1299 vsize=12024 CPUtime=0.05 cores=1,3,5,7
/proc/1301/stat : 1301 (bsolo) R 1299 1301 31475 0 -1 4202496 626 0 0 0 5 0 0 0 20 0 1 0 284176261 12312576 570 33554432000 134512640 137138936 4287127440 4287093884 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1301/statm: 3006 570 185 642 0 2362 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 12024
[startup+0.100211 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 1301
/proc/meminfo: memFree=27991188/32873852 swapFree=6848/6848
[pid=1301] ppid=1299 vsize=12024 CPUtime=0.09 cores=1,3,5,7
/proc/1301/stat : 1301 (bsolo) R 1299 1301 31475 0 -1 4202496 626 0 0 0 9 0 0 0 20 0 1 0 284176261 12312576 570 33554432000 134512640 137138936 4287127440 4287093884 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1301/statm: 3006 570 185 642 0 2362 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12024
[startup+0.300181 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 1301
/proc/meminfo: memFree=27991188/32873852 swapFree=6848/6848
[pid=1301] ppid=1299 vsize=12024 CPUtime=0.29 cores=1,3,5,7
/proc/1301/stat : 1301 (bsolo) R 1299 1301 31475 0 -1 4202496 626 0 0 0 29 0 0 0 20 0 1 0 284176261 12312576 570 33554432000 134512640 137138936 4287127440 4287093884 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1301/statm: 3006 570 185 642 0 2362 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12024
[startup+0.700181 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 1301
/proc/meminfo: memFree=27991188/32873852 swapFree=6848/6848
[pid=1301] ppid=1299 vsize=12720 CPUtime=0.69 cores=1,3,5,7
/proc/1301/stat : 1301 (bsolo) R 1299 1301 31475 0 -1 4202496 845 0 0 0 69 0 0 0 20 0 1 0 284176261 13025280 744 33554432000 134512640 137138936 4287127440 4287126556 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1301/statm: 3180 744 192 642 0 2536 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12720
[startup+1.50018 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1302
/proc/meminfo: memFree=27987684/32873852 swapFree=6848/6848
[pid=1301] ppid=1299 vsize=16660 CPUtime=1.49 cores=1,3,5,7
/proc/1301/stat : 1301 (bsolo) R 1299 1301 31475 0 -1 4202496 1845 0 0 0 148 1 0 0 20 0 1 0 284176261 17059840 1744 33554432000 134512640 137138936 4287127440 4287126368 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1301/statm: 4165 1744 192 642 0 3521 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16660
[startup+3.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1302
/proc/meminfo: memFree=27981360/32873852 swapFree=6848/6848
[pid=1301] ppid=1299 vsize=23952 CPUtime=3.08 cores=1,3,5,7
/proc/1301/stat : 1301 (bsolo) R 1299 1301 31475 0 -1 4202496 3648 0 0 0 306 2 0 0 20 0 1 0 284176261 24526848 3547 33554432000 134512640 137138936 4287127440 4287126556 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1301/statm: 5988 3547 192 642 0 5344 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 23952
[startup+6.30025 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1302
/proc/meminfo: memFree=27967720/32873852 swapFree=6848/6848
[pid=1301] ppid=1299 vsize=35460 CPUtime=6.28 cores=1,3,5,7
/proc/1301/stat : 1301 (bsolo) R 1299 1301 31475 0 -1 4202496 6521 0 0 0 624 4 0 0 20 0 1 0 284176261 36311040 6420 33554432000 134512640 137138936 4287127440 4287126556 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1301/statm: 8865 6420 192 642 0 8221 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 35460
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1302
/proc/meminfo: memFree=27947028/32873852 swapFree=6848/6848
[pid=1301] ppid=1299 vsize=53688 CPUtime=12.68 cores=1,3,5,7
/proc/1301/stat : 1301 (bsolo) R 1299 1301 31475 0 -1 4202496 11080 0 0 0 1263 5 0 0 20 0 1 0 284176261 54976512 10979 33554432000 134512640 137138936 4287127440 4287126556 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1301/statm: 13422 10979 192 642 0 12778 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 53688
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1302
/proc/meminfo: memFree=27920492/32873852 swapFree=6848/6848
[pid=1301] ppid=1299 vsize=76680 CPUtime=25.48 cores=1,3,5,7
/proc/1301/stat : 1301 (bsolo) R 1299 1301 31475 0 -1 4202496 16838 0 0 0 2540 8 0 0 20 0 1 0 284176261 78520320 16737 33554432000 134512640 137138936 4287127440 4287126556 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1301/statm: 19170 16737 192 642 0 18526 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 76680
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1302
/proc/meminfo: memFree=27883044/32873852 swapFree=6848/6848
[pid=1301] ppid=1299 vsize=110328 CPUtime=51.08 cores=1,3,5,7
/proc/1301/stat : 1301 (bsolo) R 1299 1301 31475 0 -1 4202496 25237 0 0 0 5094 14 0 0 20 0 1 0 284176261 112975872 25136 33554432000 134512640 137138936 4287127440 4287126368 134542295 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1301/statm: 27582 25136 192 642 0 26938 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 110328
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 1305
/proc/meminfo: memFree=27854880/32873852 swapFree=6848/6848
[pid=1301] ppid=1299 vsize=127812 CPUtime=102.28 cores=1,3,5,7
/proc/1301/stat : 1301 (bsolo) R 1299 1301 31475 0 -1 4202496 29702 0 0 0 10209 19 0 0 20 0 1 0 284176261 130879488 29521 33554432000 134512640 137138936 4287127440 4287126368 134542295 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1301/statm: 31953 29521 192 642 0 31309 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 127812
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1305
/proc/meminfo: memFree=27833940/32873852 swapFree=6848/6848
[pid=1301] ppid=1299 vsize=139760 CPUtime=162.26 cores=1,3,5,7
/proc/1301/stat : 1301 (bsolo) R 1299 1301 31475 0 -1 4202496 32688 0 0 0 16197 29 0 0 20 0 1 0 284176261 143114240 32507 33554432000 134512640 137138936 4287127440 4287126556 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1301/statm: 34940 32507 192 642 0 34296 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 139760
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1305
/proc/meminfo: memFree=27805916/32873852 swapFree=6848/6848
[pid=1301] ppid=1299 vsize=155968 CPUtime=222.25 cores=1,3,5,7
/proc/1301/stat : 1301 (bsolo) R 1299 1301 31475 0 -1 4202496 36843 0 0 0 22190 35 0 0 20 0 1 0 284176261 159711232 36564 33554432000 134512640 137138936 4287127440 4287126556 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1301/statm: 38992 36564 192 642 0 38348 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 155968
[startup+282.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/175 1306
/proc/meminfo: memFree=27794548/32873852 swapFree=6848/6848
[pid=1301] ppid=1299 vsize=155968 CPUtime=282.24 cores=1,3,5,7
/proc/1301/stat : 1301 (bsolo) R 1299 1301 31475 0 -1 4202496 36843 0 0 0 28183 41 0 0 20 0 1 0 284176261 159711232 36564 33554432000 134512640 137138936 4287127440 4287126556 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1301/statm: 38992 36564 192 642 0 38348 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 155968
[startup+342.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 1306
/proc/meminfo: memFree=27763468/32873852 swapFree=6848/6848
[pid=1301] ppid=1299 vsize=173560 CPUtime=342.2 cores=1,3,5,7
/proc/1301/stat : 1301 (bsolo) R 1299 1301 31475 0 -1 4202496 41381 0 0 0 34174 46 0 0 20 0 1 0 284176261 177725440 40955 33554432000 134512640 137138936 4287127440 4287126480 134540747 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1301/statm: 43390 40955 192 642 0 42746 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 173560
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1306
/proc/meminfo: memFree=27749876/32873852 swapFree=6848/6848
[pid=1301] ppid=1299 vsize=173560 CPUtime=402.16 cores=1,3,5,7
/proc/1301/stat : 1301 (bsolo) R 1299 1301 31475 0 -1 4202496 41419 0 0 0 40163 53 0 0 20 0 1 0 284176261 177725440 40955 33554432000 134512640 137138936 4287127440 4287126368 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1301/statm: 43390 40955 192 642 0 42746 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 173560
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1306
/proc/meminfo: memFree=27726192/32873852 swapFree=6848/6848
[pid=1301] ppid=1299 vsize=182432 CPUtime=462.15 cores=1,3,5,7
/proc/1301/stat : 1301 (bsolo) R 1299 1301 31475 0 -1 4202496 43767 0 0 0 46155 60 0 0 20 0 1 0 284176261 186810368 43185 33554432000 134512640 137138936 4287127440 4287126480 134540747 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1301/statm: 45608 43185 192 642 0 44964 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 182432
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1306
/proc/meminfo: memFree=27711064/32873852 swapFree=6848/6848
[pid=1301] ppid=1299 vsize=182432 CPUtime=522.14 cores=1,3,5,7
/proc/1301/stat : 1301 (bsolo) R 1299 1301 31475 0 -1 4202496 43767 0 0 0 52145 69 0 0 20 0 1 0 284176261 186810368 43185 33554432000 134512640 137138936 4287127440 4287126556 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1301/statm: 45608 43185 192 642 0 44964 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 182432
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1307
/proc/meminfo: memFree=27697796/32873852 swapFree=6848/6848
[pid=1301] ppid=1299 vsize=182908 CPUtime=582.13 cores=1,3,5,7
/proc/1301/stat : 1301 (bsolo) R 1299 1301 31475 0 -1 4202496 43856 0 0 0 58137 76 0 0 20 0 1 0 284176261 187297792 43274 33554432000 134512640 137138936 4287127440 4287126556 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1301/statm: 45727 43274 192 642 0 45083 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 182908
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=27941892/32873852 swapFree=6848/6848
[pid=1301] ppid=1299 vsize=199172 CPUtime=1062.06 cores=1,3,5,7
/proc/1301/stat : 1301 (bsolo) R 1299 1301 31475 0 -1 4202496 47953 0 0 0 106079 127 0 0 20 0 1 0 284176261 203952128 47366 33554432000 134512640 137138936 4287127440 4287123828 136500251 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1301/statm: 49793 47366 192 642 0 49149 0
Current children cumulated CPU time (s) 1062.06
Current children cumulated vsize (KiB) 199172
[startup+1122.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 1378
/proc/meminfo: memFree=27834908/32873852 swapFree=6848/6848
[pid=1301] ppid=1299 vsize=200256 CPUtime=1122.04 cores=1,3,5,7
/proc/1301/stat : 1301 (bsolo) R 1299 1301 31475 0 -1 4202496 48330 0 0 0 112074 130 0 0 20 0 1 0 284176261 205062144 47613 33554432000 134512640 137138936 4287127440 4287126556 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1301/statm: 50064 47613 192 642 0 49420 0
Current children cumulated CPU time (s) 1122.04
Current children cumulated vsize (KiB) 200256
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/174 1378
/proc/meminfo: memFree=27777780/32873852 swapFree=6848/6848
[pid=1301] ppid=1299 vsize=200256 CPUtime=1182.04 cores=1,3,5,7
/proc/1301/stat : 1301 (bsolo) R 1299 1301 31475 0 -1 4202496 48330 0 0 0 118069 135 0 0 20 0 1 0 284176261 205062144 47613 33554432000 134512640 137138936 4287127440 4287125976 136504083 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1301/statm: 50064 47613 192 642 0 49420 0
Current children cumulated CPU time (s) 1182.04
Current children cumulated vsize (KiB) 200256
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1379
/proc/meminfo: memFree=27712824/32873852 swapFree=6848/6848
[pid=1301] ppid=1299 vsize=211168 CPUtime=1242.03 cores=1,3,5,7
/proc/1301/stat : 1301 (bsolo) R 1299 1301 31475 0 -1 4202496 51200 0 0 0 124063 140 0 0 20 0 1 0 284176261 216236032 50353 33554432000 134512640 137138936 4287127440 4287126480 134540740 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1301/statm: 52792 50353 192 642 0 52148 0
Current children cumulated CPU time (s) 1242.03
Current children cumulated vsize (KiB) 211168
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 1382
/proc/meminfo: memFree=27662128/32873852 swapFree=6848/6848
[pid=1301] ppid=1299 vsize=211168 CPUtime=1302.02 cores=1,3,5,7
/proc/1301/stat : 1301 (bsolo) R 1299 1301 31475 0 -1 4202496 51200 0 0 0 130057 145 0 0 20 0 1 0 284176261 216236032 50353 33554432000 134512640 137138936 4287127440 4287126368 134542525 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1301/statm: 52792 50353 192 642 0 52148 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 211168
[startup+1362.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/175 1382
/proc/meminfo: memFree=27612708/32873852 swapFree=6848/6848
[pid=1301] ppid=1299 vsize=211168 CPUtime=1362.01 cores=1,3,5,7
/proc/1301/stat : 1301 (bsolo) R 1299 1301 31475 0 -1 4202496 51200 0 0 0 136049 152 0 0 20 0 1 0 284176261 216236032 50353 33554432000 134512640 137138936 4287127440 4287126368 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1301/statm: 52792 50353 192 642 0 52148 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 211168
[startup+1422.31 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 1382
/proc/meminfo: memFree=27533900/32873852 swapFree=6848/6848
[pid=1301] ppid=1299 vsize=223660 CPUtime=1422 cores=1,3,5,7
/proc/1301/stat : 1301 (bsolo) R 1299 1301 31475 0 -1 4202496 54457 0 0 0 142042 158 0 0 20 0 1 0 284176261 229027840 53464 33554432000 134512640 137138936 4287127440 4287126480 134540747 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1301/statm: 55915 53464 192 642 0 55271 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 223660
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1382
/proc/meminfo: memFree=27471124/32873852 swapFree=6848/6848
[pid=1301] ppid=1299 vsize=223660 CPUtime=1481.98 cores=1,3,5,7
/proc/1301/stat : 1301 (bsolo) R 1299 1301 31475 0 -1 4202496 54473 0 0 0 148033 165 0 0 20 0 1 0 284176261 229027840 53464 33554432000 134512640 137138936 4287127440 4287126556 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1301/statm: 55915 53464 192 642 0 55271 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 223660
[startup+1542.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/175 1383
/proc/meminfo: memFree=27408504/32873852 swapFree=6848/6848
[pid=1301] ppid=1299 vsize=223660 CPUtime=1541.96 cores=1,3,5,7
/proc/1301/stat : 1301 (bsolo) R 1299 1301 31475 0 -1 4202496 54473 0 0 0 154026 170 0 0 20 0 1 0 284176261 229027840 53464 33554432000 134512640 137138936 4287127440 4287126556 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1301/statm: 55915 53464 192 642 0 55271 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 223660
[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 1383
/proc/meminfo: memFree=27370684/32873852 swapFree=6848/6848
[pid=1301] ppid=1299 vsize=223660 CPUtime=1601.96 cores=1,3,5,7
/proc/1301/stat : 1301 (bsolo) R 1299 1301 31475 0 -1 4202496 54616 0 0 0 160022 174 0 0 20 0 1 0 284176261 229027840 53464 33554432000 134512640 137138936 4287127440 4287126480 134540747 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1301/statm: 55915 53464 192 642 0 55271 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 223660
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1383
/proc/meminfo: memFree=27339932/32873852 swapFree=6848/6848
[pid=1301] ppid=1299 vsize=223660 CPUtime=1661.95 cores=1,3,5,7
/proc/1301/stat : 1301 (bsolo) R 1299 1301 31475 0 -1 4202496 54616 0 0 0 166016 179 0 0 20 0 1 0 284176261 229027840 53464 33554432000 134512640 137138936 4287127440 4287126556 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1301/statm: 55915 53464 192 642 0 55271 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 223660
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1383
/proc/meminfo: memFree=27308312/32873852 swapFree=6848/6848
[pid=1301] ppid=1299 vsize=223660 CPUtime=1721.94 cores=1,3,5,7
/proc/1301/stat : 1301 (bsolo) R 1299 1301 31475 0 -1 4202496 54616 0 0 0 172010 184 0 0 20 0 1 0 284176261 229027840 53464 33554432000 134512640 137138936 4287127440 4287126368 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1301/statm: 55915 53464 192 642 0 55271 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 223660
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1383
/proc/meminfo: memFree=27275824/32873852 swapFree=6848/6848
[pid=1301] ppid=1299 vsize=223660 CPUtime=1781.93 cores=1,3,5,7
/proc/1301/stat : 1301 (bsolo) R 1299 1301 31475 0 -1 4202496 54616 0 0 0 178004 189 0 0 20 0 1 0 284176261 229027840 53464 33554432000 134512640 137138936 4287127440 4287126368 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1301/statm: 55915 53464 192 642 0 55271 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 223660
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1383
/proc/meminfo: memFree=27268508/32873852 swapFree=6848/6848
[pid=1301] ppid=1299 vsize=225700 CPUtime=1791.54 cores=1,3,5,7
/proc/1301/stat : 1301 (bsolo) R 1299 1301 31475 0 -1 4202496 55140 0 0 0 178964 190 0 0 20 0 1 0 284176261 231116800 53988 33554432000 134512640 137138936 4287127440 4287126368 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1301/statm: 56425 53988 192 642 0 55781 0
Current children cumulated CPU time (s) 1791.54
Current children cumulated vsize (KiB) 225700
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 1383
/proc/meminfo: memFree=27263308/32873852 swapFree=6848/6848
[pid=1301] ppid=1299 vsize=228252 CPUtime=1794.73 cores=1,3,5,7
/proc/1301/stat : 1301 (bsolo) R 1299 1301 31475 0 -1 4202496 55772 0 0 0 179282 191 0 0 20 0 1 0 284176261 233730048 54620 33554432000 134512640 137138936 4287127440 4287126328 135984556 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1301/statm: 57063 54620 192 642 0 56419 0
Current children cumulated CPU time (s) 1794.73
Current children cumulated vsize (KiB) 228252
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 1383
/proc/meminfo: memFree=27261696/32873852 swapFree=6848/6848
[pid=1301] ppid=1299 vsize=229324 CPUtime=1796.33 cores=1,3,5,7
/proc/1301/stat : 1301 (bsolo) R 1299 1301 31475 0 -1 4202496 56052 0 0 0 179441 192 0 0 20 0 1 0 284176261 234827776 54900 33554432000 134512640 137138936 4287127440 4287126556 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1301/statm: 57331 54900 192 642 0 56687 0
Current children cumulated CPU time (s) 1796.33
Current children cumulated vsize (KiB) 229324
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 1383
/proc/meminfo: memFree=27260580/32873852 swapFree=6848/6848
[pid=1301] ppid=1299 vsize=229740 CPUtime=1797.13 cores=1,3,5,7
/proc/1301/stat : 1301 (bsolo) R 1299 1301 31475 0 -1 4202496 56156 0 0 0 179521 192 0 0 20 0 1 0 284176261 235253760 55004 33554432000 134512640 137138936 4287127440 4287126288 136297655 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1301/statm: 57435 55004 192 642 0 56791 0
Current children cumulated CPU time (s) 1797.13
Current children cumulated vsize (KiB) 229740
[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 1383
/proc/meminfo: memFree=27260580/32873852 swapFree=6848/6848
[pid=1301] ppid=1299 vsize=230008 CPUtime=1797.53 cores=1,3,5,7
/proc/1301/stat : 1301 (bsolo) R 1299 1301 31475 0 -1 4202496 56203 0 0 0 179561 192 0 0 20 0 1 0 284176261 235528192 55051 33554432000 134512640 137138936 4287127440 4287126368 134542513 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1301/statm: 57502 55051 192 642 0 56858 0
Current children cumulated CPU time (s) 1797.53
Current children cumulated vsize (KiB) 230008
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 1383
/proc/meminfo: memFree=27260580/32873852 swapFree=6848/6848
[pid=1301] ppid=1299 vsize=230140 CPUtime=1797.93 cores=1,3,5,7
/proc/1301/stat : 1301 (bsolo) R 1299 1301 31475 0 -1 4202496 56255 0 0 0 179601 192 0 0 20 0 1 0 284176261 235663360 55103 33554432000 134512640 137138936 4287127440 4287126556 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1301/statm: 57535 55103 192 642 0 56891 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 230140
Child status: 0
Real time (s): 1798.37
CPU time (s): 1798.01
CPU user time (s): 1796.08
CPU system time (s): 1.92371
CPU usage (%): 99.9799
Max. virtual memory (cumulated for all children) (KiB): 230140
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.08
system time used= 1.92371
maximum resident set size= 220448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56264
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= 105
involuntary context switches= 1848
runsolver used 2.83257 second user time and 9.02763 second system time
The end