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-3733233-1338711775/watcher-3733233-1338711775 -o /tmp/evaluation-result-3733233-1338711775/solver-3733233-1338711775 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3733233-1338711775.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/176 9421
/proc/meminfo: memFree=25708540/32873844 swapFree=7628/7628
[pid=9421] ppid=9419 vsize=12964 CPUtime=0 cores=1,3,5,7
/proc/9421/stat : 9421 (bsolo) R 9419 9421 8349 0 -1 4202496 369 0 0 0 0 0 0 0 20 0 1 0 337301894 13275136 323 33554432000 134512640 137136520 4287926512 4287924760 136504651 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9421/statm: 3241 323 189 641 0 2124 0
[startup+0.00646505 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 9421
/proc/meminfo: memFree=25708540/32873844 swapFree=7628/7628
[pid=9421] ppid=9419 vsize=12964 CPUtime=0 cores=1,3,5,7
/proc/9421/stat : 9421 (bsolo) R 9419 9421 8349 0 -1 4202496 373 0 0 0 0 0 0 0 20 0 1 0 337301894 13275136 327 33554432000 134512640 137136520 4287926512 4287925280 134519899 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9421/statm: 3241 328 190 641 0 2124 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12964
[startup+0.100285 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 9421
/proc/meminfo: memFree=25708540/32873844 swapFree=7628/7628
[pid=9421] ppid=9419 vsize=18872 CPUtime=0.09 cores=1,3,5,7
/proc/9421/stat : 9421 (bsolo) R 9419 9421 8349 0 -1 4202496 2187 0 0 0 9 0 0 0 20 0 1 0 337301894 19324928 2141 33554432000 134512640 137136520 4287926512 4287925040 136575102 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9421/statm: 4718 2141 541 641 0 3601 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18872
[startup+0.300297 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 9421
/proc/meminfo: memFree=25708540/32873844 swapFree=7628/7628
[pid=9421] ppid=9419 vsize=24980 CPUtime=0.29 cores=1,3,5,7
/proc/9421/stat : 9421 (bsolo) R 9419 9421 8349 0 -1 4202496 4327 0 0 0 29 0 0 0 20 0 1 0 337301894 25579520 3808 33554432000 134512640 137136520 4287926512 4287911196 136568305 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9421/statm: 6245 3808 190 641 0 5601 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24980
[startup+0.70029 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 9421
/proc/meminfo: memFree=25708540/32873844 swapFree=7628/7628
[pid=9421] ppid=9419 vsize=24980 CPUtime=0.69 cores=1,3,5,7
/proc/9421/stat : 9421 (bsolo) R 9419 9421 8349 0 -1 4202496 4327 0 0 0 65 4 0 0 20 0 1 0 337301894 25579520 3808 33554432000 134512640 137136520 4287926512 4287911196 136568305 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9421/statm: 6245 3808 190 641 0 5601 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24980
[startup+1.50029 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9422
/proc/meminfo: memFree=25693172/32873844 swapFree=7628/7628
[pid=9421] ppid=9419 vsize=33640 CPUtime=1.49 cores=1,3,5,7
/proc/9421/stat : 9421 (bsolo) R 9419 9421 8349 0 -1 4202496 7689 0 0 0 145 4 0 0 20 0 1 0 337301894 34447360 5974 33554432000 134512640 137136520 4287926512 4287925440 134543957 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9421/statm: 8410 5974 196 641 0 7766 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 33640
[startup+3.10028 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9422
/proc/meminfo: memFree=25676812/32873844 swapFree=7628/7628
[pid=9421] ppid=9419 vsize=55692 CPUtime=3.09 cores=1,3,5,7
/proc/9421/stat : 9421 (bsolo) R 9419 9421 8349 0 -1 4202496 13216 0 0 0 304 5 0 0 20 0 1 0 337301894 57028608 11501 33554432000 134512640 137136520 4287926512 4287925064 136502115 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9421/statm: 13923 11501 196 641 0 13279 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 55692
[startup+6.30029 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9422
/proc/meminfo: memFree=25635520/32873844 swapFree=7628/7628
[pid=9421] ppid=9419 vsize=93100 CPUtime=6.29 cores=1,3,5,7
/proc/9421/stat : 9421 (bsolo) R 9419 9421 8349 0 -1 4202496 22563 0 0 0 622 7 0 0 20 0 1 0 337301894 95334400 20848 33554432000 134512640 137136520 4287926512 4287925440 134544112 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9421/statm: 23275 20848 197 641 0 22631 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 93100
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9422
/proc/meminfo: memFree=25571296/32873844 swapFree=7628/7628
[pid=9421] ppid=9419 vsize=152212 CPUtime=12.69 cores=1,3,5,7
/proc/9421/stat : 9421 (bsolo) R 9419 9421 8349 0 -1 4202496 37319 0 0 0 1259 10 0 0 20 0 1 0 337301894 155865088 35604 33554432000 134512640 137136520 4287926512 4287925440 134544245 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9421/statm: 38053 35604 197 641 0 37409 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 152212
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9422
/proc/meminfo: memFree=25472824/32873844 swapFree=7628/7628
[pid=9421] ppid=9419 vsize=248284 CPUtime=25.48 cores=1,3,5,7
/proc/9421/stat : 9421 (bsolo) R 9419 9421 8349 0 -1 4202496 61352 0 0 0 2532 16 0 0 20 0 1 0 337301894 254242816 59637 33554432000 134512640 137136520 4287926512 4287925040 134600223 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9421/statm: 62071 59637 197 641 0 61427 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 248284
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9422
/proc/meminfo: memFree=25308476/32873844 swapFree=7628/7628
[pid=9421] ppid=9419 vsize=414468 CPUtime=51.08 cores=1,3,5,7
/proc/9421/stat : 9421 (bsolo) R 9419 9421 8349 0 -1 4202496 102896 0 0 0 5080 28 0 0 20 0 1 0 337301894 424415232 101181 33554432000 134512640 137136520 4287926512 4287924948 136498324 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9421/statm: 103617 101181 197 641 0 102973 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 414468
[startup+102.307 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 9423
/proc/meminfo: memFree=25057420/32873844 swapFree=7628/7628
[pid=9421] ppid=9419 vsize=660936 CPUtime=102.28 cores=1,3,5,7
/proc/9421/stat : 9421 (bsolo) R 9419 9421 8349 0 -1 4202496 164525 0 0 0 10181 47 0 0 20 0 1 0 337301894 676798464 162810 33554432000 134512640 137136520 4287926512 4287925440 134543971 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9421/statm: 165234 162810 197 641 0 164590 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 660936
[startup+162.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 9423
/proc/meminfo: memFree=24803992/32873844 swapFree=7628/7628
[pid=9421] ppid=9419 vsize=915112 CPUtime=162.26 cores=1,3,5,7
/proc/9421/stat : 9421 (bsolo) R 9419 9421 8349 0 -1 4202496 228060 0 0 0 16161 65 0 0 20 0 1 0 337301894 937074688 226345 33554432000 134512640 137136520 4287926512 4287925440 134543933 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9421/statm: 228778 226345 197 641 0 228134 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 915112
[startup+222.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 9423
/proc/meminfo: memFree=24618020/32873844 swapFree=7628/7628
[pid=9421] ppid=9419 vsize=1098424 CPUtime=222.26 cores=1,3,5,7
/proc/9421/stat : 9421 (bsolo) R 9419 9421 8349 0 -1 4202496 273888 0 0 0 22146 80 0 0 20 0 1 0 337301894 1124786176 272173 33554432000 134512640 137136520 4287926512 4287925440 134543831 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9421/statm: 274606 272173 197 641 0 273962 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 1098424
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9423
/proc/meminfo: memFree=24557784/32873844 swapFree=7628/7628
[pid=9421] ppid=9419 vsize=1157632 CPUtime=282.25 cores=1,3,5,7
/proc/9421/stat : 9421 (bsolo) R 9419 9421 8349 0 -1 4202496 288773 0 0 0 28138 87 0 0 20 0 1 0 337301894 1185415168 286979 33554432000 134512640 137136520 4287926512 4287925440 134544112 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9421/statm: 289408 286979 197 641 0 288764 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 1157632
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9471
/proc/meminfo: memFree=25122348/32873844 swapFree=7628/7628
[pid=9421] ppid=9419 vsize=1157632 CPUtime=342.21 cores=1,3,5,7
/proc/9421/stat : 9421 (bsolo) R 9419 9421 8349 0 -1 4202496 288808 0 0 0 34129 92 0 0 20 0 1 0 337301894 1185415168 286980 33554432000 134512640 137136520 4287926512 4287925440 134544140 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9421/statm: 289408 286980 197 641 0 288764 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 1157632
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9472
/proc/meminfo: memFree=24720616/32873844 swapFree=7628/7628
[pid=9421] ppid=9419 vsize=1157632 CPUtime=402.17 cores=1,3,5,7
/proc/9421/stat : 9421 (bsolo) R 9419 9421 8349 0 -1 4202496 288838 0 0 0 40123 94 0 0 20 0 1 0 337301894 1185415168 286980 33554432000 134512640 137136520 4287926512 4287924968 136502148 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9421/statm: 289408 286980 197 641 0 288764 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 1157632
[startup+462.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 9475
/proc/meminfo: memFree=24459864/32873844 swapFree=7628/7628
[pid=9421] ppid=9419 vsize=1157632 CPUtime=462.13 cores=1,3,5,7
/proc/9421/stat : 9421 (bsolo) R 9419 9421 8349 0 -1 4202496 288867 0 0 0 46117 96 0 0 20 0 1 0 337301894 1185415168 286980 33554432000 134512640 137136520 4287926512 4287925044 134551802 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9421/statm: 289408 286980 197 641 0 288764 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 1157632
[startup+522.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 9475
/proc/meminfo: memFree=24128944/32873844 swapFree=7628/7628
[pid=9421] ppid=9419 vsize=1220188 CPUtime=522.1 cores=1,3,5,7
/proc/9421/stat : 9421 (bsolo) R 9419 9421 8349 0 -1 4202496 304529 0 0 0 52107 103 0 0 20 0 1 0 337301894 1249472512 302600 33554432000 134512640 137136520 4287926512 4287925408 134543831 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9421/statm: 305047 302600 197 641 0 304403 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 1220188
[startup+582.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 9475
/proc/meminfo: memFree=23781028/32873844 swapFree=7628/7628
[pid=9421] ppid=9419 vsize=1383352 CPUtime=582.06 cores=1,3,5,7
/proc/9421/stat : 9421 (bsolo) R 9419 9421 8349 0 -1 4202496 345367 0 0 0 58092 114 0 0 20 0 1 0 337301894 1416552448 343394 33554432000 134512640 137136520 4287926512 4287925408 134543865 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9421/statm: 345838 343394 197 641 0 345194 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 1383352
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=22726660/32873844 swapFree=7628/7628
[pid=9421] ppid=9419 vsize=1392364 CPUtime=1121.77 cores=1,3,5,7
/proc/9421/stat : 9421 (bsolo) R 9419 9421 8349 0 -1 4202496 347998 0 0 0 112038 139 0 0 20 0 1 0 337301894 1425780736 345663 33554432000 134512640 137136520 4287926512 4287925440 134544402 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9421/statm: 348091 345663 197 641 0 347447 0
Current children cumulated CPU time (s) 1121.77
Current children cumulated vsize (KiB) 1392364
[startup+1182.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 9481
/proc/meminfo: memFree=22726384/32873844 swapFree=7628/7628
[pid=9421] ppid=9419 vsize=1392364 CPUtime=1181.76 cores=1,3,5,7
/proc/9421/stat : 9421 (bsolo) R 9419 9421 8349 0 -1 4202496 348006 0 0 0 118035 141 0 0 20 0 1 0 337301894 1425780736 345663 33554432000 134512640 137136520 4287926512 4287925440 134543948 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9421/statm: 348091 345663 197 641 0 347447 0
Current children cumulated CPU time (s) 1181.76
Current children cumulated vsize (KiB) 1392364
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 9481
/proc/meminfo: memFree=22726164/32873844 swapFree=7628/7628
[pid=9421] ppid=9419 vsize=1392364 CPUtime=1241.75 cores=1,3,5,7
/proc/9421/stat : 9421 (bsolo) R 9419 9421 8349 0 -1 4202496 348006 0 0 0 124031 144 0 0 20 0 1 0 337301894 1425780736 345663 33554432000 134512640 137136520 4287926512 4287925136 134542165 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9421/statm: 348091 345663 197 641 0 347447 0
Current children cumulated CPU time (s) 1241.75
Current children cumulated vsize (KiB) 1392364
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9482
/proc/meminfo: memFree=22726068/32873844 swapFree=7628/7628
[pid=9421] ppid=9419 vsize=1392364 CPUtime=1301.74 cores=1,3,5,7
/proc/9421/stat : 9421 (bsolo) R 9419 9421 8349 0 -1 4202496 348006 0 0 0 130027 147 0 0 20 0 1 0 337301894 1425780736 345663 33554432000 134512640 137136520 4287926512 4287925104 134616512 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9421/statm: 348091 345663 197 641 0 347447 0
Current children cumulated CPU time (s) 1301.74
Current children cumulated vsize (KiB) 1392364
[startup+1362.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 9482
/proc/meminfo: memFree=22726096/32873844 swapFree=7628/7628
[pid=9421] ppid=9419 vsize=1392364 CPUtime=1361.73 cores=1,3,5,7
/proc/9421/stat : 9421 (bsolo) R 9419 9421 8349 0 -1 4202496 348006 0 0 0 136023 150 0 0 20 0 1 0 337301894 1425780736 345663 33554432000 134512640 137136520 4287926512 4287925440 134544402 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9421/statm: 348091 345663 197 641 0 347447 0
Current children cumulated CPU time (s) 1361.73
Current children cumulated vsize (KiB) 1392364
[startup+1422.31 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 9482
/proc/meminfo: memFree=22726000/32873844 swapFree=7628/7628
[pid=9421] ppid=9419 vsize=1392364 CPUtime=1421.73 cores=1,3,5,7
/proc/9421/stat : 9421 (bsolo) R 9419 9421 8349 0 -1 4202496 348006 0 0 0 142020 153 0 0 20 0 1 0 337301894 1425780736 345663 33554432000 134512640 137136520 4287926512 4287925628 136568305 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9421/statm: 348091 345663 197 641 0 347447 0
Current children cumulated CPU time (s) 1421.73
Current children cumulated vsize (KiB) 1392364
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9482
/proc/meminfo: memFree=22725904/32873844 swapFree=7628/7628
[pid=9421] ppid=9419 vsize=1392364 CPUtime=1481.71 cores=1,3,5,7
/proc/9421/stat : 9421 (bsolo) R 9419 9421 8349 0 -1 4202496 348006 0 0 0 148015 156 0 0 20 0 1 0 337301894 1425780736 345663 33554432000 134512640 137136520 4287926512 4287925440 134543865 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9421/statm: 348091 345663 197 641 0 347447 0
Current children cumulated CPU time (s) 1481.71
Current children cumulated vsize (KiB) 1392364
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9482
/proc/meminfo: memFree=22725932/32873844 swapFree=7628/7628
[pid=9421] ppid=9419 vsize=1392364 CPUtime=1541.71 cores=1,3,5,7
/proc/9421/stat : 9421 (bsolo) R 9419 9421 8349 0 -1 4202496 348006 0 0 0 154012 159 0 0 20 0 1 0 337301894 1425780736 345663 33554432000 134512640 137136520 4287926512 4287925440 134543865 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9421/statm: 348091 345663 197 641 0 347447 0
Current children cumulated CPU time (s) 1541.71
Current children cumulated vsize (KiB) 1392364
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9483
/proc/meminfo: memFree=22725960/32873844 swapFree=7628/7628
[pid=9421] ppid=9419 vsize=1392364 CPUtime=1601.7 cores=1,3,5,7
/proc/9421/stat : 9421 (bsolo) R 9419 9421 8349 0 -1 4202496 348006 0 0 0 160009 161 0 0 20 0 1 0 337301894 1425780736 345663 33554432000 134512640 137136520 4287926512 4287925440 134544112 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9421/statm: 348091 345663 197 641 0 347447 0
Current children cumulated CPU time (s) 1601.7
Current children cumulated vsize (KiB) 1392364
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9486
/proc/meminfo: memFree=22726104/32873844 swapFree=7628/7628
[pid=9421] ppid=9419 vsize=1392364 CPUtime=1661.69 cores=1,3,5,7
/proc/9421/stat : 9421 (bsolo) R 9419 9421 8349 0 -1 4202496 348006 0 0 0 166005 164 0 0 20 0 1 0 337301894 1425780736 345663 33554432000 134512640 137136520 4287926512 4287925628 136568305 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9421/statm: 348091 345663 197 641 0 347447 0
Current children cumulated CPU time (s) 1661.69
Current children cumulated vsize (KiB) 1392364
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9486
/proc/meminfo: memFree=22711632/32873844 swapFree=7628/7628
[pid=9421] ppid=9419 vsize=1409064 CPUtime=1721.68 cores=1,3,5,7
/proc/9421/stat : 9421 (bsolo) R 9419 9421 8349 0 -1 4202496 352180 0 0 0 171999 169 0 0 20 0 1 0 337301894 1442881536 349837 33554432000 134512640 137136520 4287926512 4287925440 134544148 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9421/statm: 352266 349837 197 641 0 351622 0
Current children cumulated CPU time (s) 1721.68
Current children cumulated vsize (KiB) 1409064
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9486
/proc/meminfo: memFree=22601548/32873844 swapFree=7628/7628
[pid=9421] ppid=9419 vsize=1495384 CPUtime=1781.67 cores=1,3,5,7
/proc/9421/stat : 9421 (bsolo) R 9419 9421 8349 0 -1 4202496 373747 0 0 0 177990 177 0 0 20 0 1 0 337301894 1531273216 371404 33554432000 134512640 137136520 4287926512 4287925040 134600223 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9421/statm: 373846 371404 197 641 0 373202 0
Current children cumulated CPU time (s) 1781.67
Current children cumulated vsize (KiB) 1495384
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9486
/proc/meminfo: memFree=22578592/32873844 swapFree=7628/7628
[pid=9421] ppid=9419 vsize=1505760 CPUtime=1791.27 cores=1,3,5,7
/proc/9421/stat : 9421 (bsolo) R 9419 9421 8349 0 -1 4202496 376353 0 0 0 178949 178 0 0 20 0 1 0 337301894 1541898240 374010 33554432000 134512640 137136520 4287926512 4287925440 134543865 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9421/statm: 376440 374010 197 641 0 375796 0
Current children cumulated CPU time (s) 1791.27
Current children cumulated vsize (KiB) 1505760
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9486
/proc/meminfo: memFree=22571772/32873844 swapFree=7628/7628
[pid=9421] ppid=9419 vsize=1508856 CPUtime=1794.47 cores=1,3,5,7
/proc/9421/stat : 9421 (bsolo) R 9419 9421 8349 0 -1 4202496 377109 0 0 0 179269 178 0 0 20 0 1 0 337301894 1545068544 374766 33554432000 134512640 137136520 4287926512 4287925440 134543819 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9421/statm: 377214 374766 197 641 0 376570 0
Current children cumulated CPU time (s) 1794.47
Current children cumulated vsize (KiB) 1508856
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9486
/proc/meminfo: memFree=22570036/32873844 swapFree=7628/7628
[pid=9421] ppid=9419 vsize=1509924 CPUtime=1796.07 cores=1,3,5,7
/proc/9421/stat : 9421 (bsolo) R 9419 9421 8349 0 -1 4202496 377389 0 0 0 179428 179 0 0 20 0 1 0 337301894 1546162176 375046 33554432000 134512640 137136520 4287926512 4287925440 134543831 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9421/statm: 377481 375046 197 641 0 376837 0
Current children cumulated CPU time (s) 1796.07
Current children cumulated vsize (KiB) 1509924
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9486
/proc/meminfo: memFree=22567680/32873844 swapFree=7628/7628
[pid=9421] ppid=9419 vsize=1510872 CPUtime=1796.87 cores=1,3,5,7
/proc/9421/stat : 9421 (bsolo) R 9419 9421 8349 0 -1 4202496 377633 0 0 0 179508 179 0 0 20 0 1 0 337301894 1547132928 375290 33554432000 134512640 137136520 4287926512 4287912000 134572140 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9421/statm: 377718 375290 197 641 0 377074 0
Current children cumulated CPU time (s) 1796.87
Current children cumulated vsize (KiB) 1510872
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9486
/proc/meminfo: memFree=22567680/32873844 swapFree=7628/7628
[pid=9421] ppid=9419 vsize=1511820 CPUtime=1797.67 cores=1,3,5,7
/proc/9421/stat : 9421 (bsolo) R 9419 9421 8349 0 -1 4202496 377860 0 0 0 179588 179 0 0 20 0 1 0 337301894 1548103680 375517 33554432000 134512640 137136520 4287926512 4287925440 134543948 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9421/statm: 377955 375517 197 641 0 377311 0
Current children cumulated CPU time (s) 1797.67
Current children cumulated vsize (KiB) 1511820
[startup+1798.51 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9486
/proc/meminfo: memFree=22565184/32873844 swapFree=7628/7628
[pid=9421] ppid=9419 vsize=1512084 CPUtime=1797.88 cores=1,3,5,7
/proc/9421/stat : 9421 (bsolo) R 9419 9421 8349 0 -1 4202496 377915 0 0 0 179609 179 0 0 20 0 1 0 337301894 1548374016 375572 33554432000 134512640 137136520 4287926512 4287925440 134543831 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9421/statm: 378021 375572 197 641 0 377377 0
Current children cumulated CPU time (s) 1797.88
Current children cumulated vsize (KiB) 1512084
[startup+1798.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9486
/proc/meminfo: memFree=22565184/32873844 swapFree=7628/7628
[pid=9421] ppid=9419 vsize=1512084 CPUtime=1797.97 cores=1,3,5,7
/proc/9421/stat : 9421 (bsolo) R 9419 9421 8349 0 -1 4202496 377940 0 0 0 179618 179 0 0 20 0 1 0 337301894 1548374016 375597 33554432000 134512640 137136520 4287926512 4287925440 134543948 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9421/statm: 378021 375597 197 641 0 377377 0
Current children cumulated CPU time (s) 1797.97
Current children cumulated vsize (KiB) 1512084
Child status: 0
Real time (s): 1798.66
CPU time (s): 1798.04
CPU user time (s): 1796.23
CPU system time (s): 1.80772
CPU usage (%): 99.9654
Max. virtual memory (cumulated for all children) (KiB): 1512084
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.23
system time used= 1.80773
maximum resident set size= 1502432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 377952
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= 458
involuntary context switches= 1852
runsolver used 2.84357 second user time and 7.77482 second system time
The end