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-3708313-1338221720/watcher-3708313-1338221720 -o /tmp/evaluation-result-3708313-1338221720/solver-3708313-1338221720 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3708313-1338221720.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 27627
/proc/meminfo: memFree=31327588/32873844 swapFree=7372/7372
[pid=27627] ppid=27625 vsize=11308 CPUtime=0 cores=0,2,4,6
/proc/27627/stat : 27627 (bsolo) R 27625 27627 24082 0 -1 4202496 346 0 0 0 0 0 0 0 20 0 1 0 288300553 11579392 299 33554432000 134512640 137138936 4290864336 4290862584 136506715 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/27627/statm: 2827 299 177 642 0 2093 0
[startup+0.0986621 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 27627
/proc/meminfo: memFree=31327588/32873844 swapFree=7372/7372
[pid=27627] ppid=27625 vsize=13364 CPUtime=0.08 cores=0,2,4,6
/proc/27627/stat : 27627 (bsolo) R 27625 27627 24082 0 -1 4202496 1143 0 0 0 8 0 0 0 20 0 1 0 288300553 13684736 904 33554432000 134512640 137138936 4290864336 4290862768 136364961 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/27627/statm: 3341 904 192 642 0 2697 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 13364
[startup+0.100216 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 27627
/proc/meminfo: memFree=31327588/32873844 swapFree=7372/7372
[pid=27627] ppid=27625 vsize=13364 CPUtime=0.09 cores=0,2,4,6
/proc/27627/stat : 27627 (bsolo) R 27625 27627 24082 0 -1 4202496 1143 0 0 0 9 0 0 0 20 0 1 0 288300553 13684736 904 33554432000 134512640 137138936 4290864336 4290862680 134599780 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/27627/statm: 3341 904 192 642 0 2697 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13364
[startup+0.300177 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 27627
/proc/meminfo: memFree=31327588/32873844 swapFree=7372/7372
[pid=27627] ppid=27625 vsize=14096 CPUtime=0.29 cores=0,2,4,6
/proc/27627/stat : 27627 (bsolo) R 27625 27627 24082 0 -1 4202496 1319 0 0 0 29 0 0 0 20 0 1 0 288300553 14434304 1080 33554432000 134512640 137138936 4290864336 4290862760 134606944 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/27627/statm: 3524 1080 192 642 0 2880 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14096
[startup+0.700179 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 27627
/proc/meminfo: memFree=31327588/32873844 swapFree=7372/7372
[pid=27627] ppid=27625 vsize=16244 CPUtime=0.68 cores=0,2,4,6
/proc/27627/stat : 27627 (bsolo) R 27625 27627 24082 0 -1 4202496 1856 0 0 0 68 0 0 0 20 0 1 0 288300553 16633856 1617 33554432000 134512640 137138936 4290864336 4290859624 134599804 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/27627/statm: 4061 1617 192 642 0 3417 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 16244
[startup+1.50024 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 27628
/proc/meminfo: memFree=31320752/32873844 swapFree=7372/7372
[pid=27627] ppid=27625 vsize=20140 CPUtime=1.49 cores=0,2,4,6
/proc/27627/stat : 27627 (bsolo) R 27625 27627 24082 0 -1 4202496 2832 0 0 0 148 1 0 0 20 0 1 0 288300553 20623360 2593 33554432000 134512640 137138936 4290864336 4290863452 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27627/statm: 5035 2593 192 642 0 4391 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20140
[startup+3.10025 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 27628
/proc/meminfo: memFree=31315916/32873844 swapFree=7372/7372
[pid=27627] ppid=27625 vsize=22612 CPUtime=3.09 cores=0,2,4,6
/proc/27627/stat : 27627 (bsolo) R 27625 27627 24082 0 -1 4202496 3444 0 0 0 308 1 0 0 20 0 1 0 288300553 23154688 3205 33554432000 134512640 137138936 4290864336 4290862616 136506715 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27627/statm: 5653 3205 192 642 0 5009 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22612
[startup+6.30025 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 27628
/proc/meminfo: memFree=31313196/32873844 swapFree=7372/7372
[pid=27627] ppid=27625 vsize=24760 CPUtime=6.28 cores=0,2,4,6
/proc/27627/stat : 27627 (bsolo) R 27625 27627 24082 0 -1 4202496 3984 0 0 0 627 1 0 0 20 0 1 0 288300553 25354240 3745 33554432000 134512640 137138936 4290864336 4290863264 134542214 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27627/statm: 6190 3745 192 642 0 5546 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 24760
[startup+12.7003 s]
/proc/loadavg: 1.94 1.98 1.99 3/177 27628
/proc/meminfo: memFree=31310632/32873844 swapFree=7372/7372
[pid=27627] ppid=27625 vsize=27688 CPUtime=12.68 cores=0,2,4,6
/proc/27627/stat : 27627 (bsolo) R 27625 27627 24082 0 -1 4202496 4731 0 0 0 1266 2 0 0 20 0 1 0 288300553 28352512 4492 33554432000 134512640 137138936 4290864336 4290863452 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27627/statm: 6922 4492 192 642 0 6278 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 27688
[startup+25.5003 s]
/proc/loadavg: 1.95 1.98 1.99 3/177 27628
/proc/meminfo: memFree=31307424/32873844 swapFree=7372/7372
[pid=27627] ppid=27625 vsize=30452 CPUtime=25.48 cores=0,2,4,6
/proc/27627/stat : 27627 (bsolo) R 27625 27627 24082 0 -1 4202496 5409 0 0 0 2544 4 0 0 20 0 1 0 288300553 31182848 5170 33554432000 134512640 137138936 4290864336 4290862880 134607615 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27627/statm: 7613 5170 192 642 0 6969 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 30452
[startup+51.1003 s]
/proc/loadavg: 1.96 1.98 1.99 3/177 27628
/proc/meminfo: memFree=31300604/32873844 swapFree=7372/7372
[pid=27627] ppid=27625 vsize=35484 CPUtime=51.08 cores=0,2,4,6
/proc/27627/stat : 27627 (bsolo) R 27625 27627 24082 0 -1 4202496 6682 0 0 0 5101 7 0 0 20 0 1 0 288300553 36335616 6443 33554432000 134512640 137138936 4290864336 4290860320 134603296 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27627/statm: 8871 6443 192 642 0 8227 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 35484
[startup+102.306 s]
/proc/loadavg: 1.98 1.98 1.99 3/177 27628
/proc/meminfo: memFree=31294692/32873844 swapFree=7372/7372
[pid=27627] ppid=27625 vsize=39764 CPUtime=102.28 cores=0,2,4,6
/proc/27627/stat : 27627 (bsolo) R 27625 27627 24082 0 -1 4202496 7743 0 0 0 10216 12 0 0 20 0 1 0 288300553 40718336 7502 33554432000 134512640 137138936 4290864336 4290862944 134552210 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27627/statm: 9941 7502 192 642 0 9297 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 39764
[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 27628
/proc/meminfo: memFree=31290268/32873844 swapFree=7372/7372
[pid=27627] ppid=27625 vsize=41924 CPUtime=162.25 cores=0,2,4,6
/proc/27627/stat : 27627 (bsolo) R 27625 27627 24082 0 -1 4202496 8324 0 0 0 16207 18 0 0 20 0 1 0 288300553 42930176 8059 33554432000 134512640 137138936 4290864336 4290863264 134542128 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27627/statm: 10481 8059 192 642 0 9837 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 41924
[startup+222.3 s]
/proc/loadavg: 2.12 2.02 2.01 3/177 27628
/proc/meminfo: memFree=31284992/32873844 swapFree=7372/7372
[pid=27627] ppid=27625 vsize=45292 CPUtime=222.24 cores=0,2,4,6
/proc/27627/stat : 27627 (bsolo) R 27625 27627 24082 0 -1 4202496 9159 0 0 0 22201 23 0 0 20 0 1 0 288300553 46379008 8888 33554432000 134512640 137138936 4290864336 4290862944 134544461 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27627/statm: 11323 8888 192 642 0 10679 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 45292
[startup+282.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 27631
/proc/meminfo: memFree=31278584/32873844 swapFree=7372/7372
[pid=27627] ppid=27625 vsize=46140 CPUtime=282.23 cores=0,2,4,6
/proc/27627/stat : 27627 (bsolo) R 27625 27627 24082 0 -1 4202496 9398 0 0 0 28194 29 0 0 20 0 1 0 288300553 47247360 9113 33554432000 134512640 137138936 4290864336 4290863264 134542295 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27627/statm: 11535 9113 192 642 0 10891 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 46140
[startup+342.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 27632
/proc/meminfo: memFree=31271404/32873844 swapFree=7372/7372
[pid=27627] ppid=27625 vsize=50204 CPUtime=342.22 cores=0,2,4,6
/proc/27627/stat : 27627 (bsolo) R 27625 27627 24082 0 -1 4202496 10404 0 0 0 34188 34 0 0 20 0 1 0 288300553 51408896 10118 33554432000 134512640 137138936 4290864336 4290863076 136296964 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27627/statm: 12551 10118 192 642 0 11907 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 50204
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27632
/proc/meminfo: memFree=31268172/32873844 swapFree=7372/7372
[pid=27627] ppid=27625 vsize=50180 CPUtime=402.21 cores=0,2,4,6
/proc/27627/stat : 27627 (bsolo) R 27625 27627 24082 0 -1 4202496 10406 0 0 0 40181 40 0 0 20 0 1 0 288300553 51384320 10118 33554432000 134512640 137138936 4290864336 4290863440 134543488 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27627/statm: 12545 10118 192 642 0 11901 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 50180
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27632
/proc/meminfo: memFree=31268296/32873844 swapFree=7372/7372
[pid=27627] ppid=27625 vsize=51348 CPUtime=462.2 cores=0,2,4,6
/proc/27627/stat : 27627 (bsolo) R 27625 27627 24082 0 -1 4202496 10735 0 0 0 46175 45 0 0 20 0 1 0 288300553 52580352 10406 33554432000 134512640 137138936 4290864336 4290863264 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27627/statm: 12837 10406 192 642 0 12193 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 51348
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27632
/proc/meminfo: memFree=31263084/32873844 swapFree=7372/7372
[pid=27627] ppid=27625 vsize=54160 CPUtime=522.19 cores=0,2,4,6
/proc/27627/stat : 27627 (bsolo) R 27625 27627 24082 0 -1 4202496 11439 0 0 0 52167 52 0 0 20 0 1 0 288300553 55459840 11110 33554432000 134512640 137138936 4290864336 4290863452 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27627/statm: 13540 11110 192 642 0 12896 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 54160
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27632
/proc/meminfo: memFree=31259296/32873844 swapFree=7372/7372
[pid=27627] ppid=27625 vsize=55556 CPUtime=582.18 cores=0,2,4,6
/proc/27627/stat : 27627 (bsolo) R 27625 27627 24082 0 -1 4202496 11811 0 0 0 58160 58 0 0 20 0 1 0 288300553 56889344 11467 33554432000 134512640 137138936 4290864336 4290859944 134600437 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27627/statm: 13889 11467 192 642 0 13245 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 55556
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=31439776/32873844 swapFree=7372/7372
[pid=27627] ppid=27625 vsize=60992 CPUtime=1062.1 cores=0,2,4,6
/proc/27627/stat : 27627 (bsolo) R 27625 27627 24082 0 -1 4202496 13240 0 0 0 106111 99 0 0 20 0 1 0 288300553 62455808 12822 33554432000 134512640 137138936 4290864336 4290862616 136504048 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27627/statm: 15248 12822 192 642 0 14604 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 60992
[startup+1122.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 27713
/proc/meminfo: memFree=31436664/32873844 swapFree=7372/7372
[pid=27627] ppid=27625 vsize=60940 CPUtime=1122.1 cores=0,2,4,6
/proc/27627/stat : 27627 (bsolo) R 27625 27627 24082 0 -1 4202496 13242 0 0 0 112106 104 0 0 20 0 1 0 288300553 62402560 12812 33554432000 134512640 137138936 4290864336 4290863196 136520965 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27627/statm: 15235 12812 192 642 0 14591 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 60940
[startup+1182.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 27713
/proc/meminfo: memFree=31423684/32873844 swapFree=7372/7372
[pid=27627] ppid=27625 vsize=61320 CPUtime=1182.08 cores=0,2,4,6
/proc/27627/stat : 27627 (bsolo) R 27625 27627 24082 0 -1 4202496 13336 0 0 0 118098 110 0 0 20 0 1 0 288300553 62791680 12906 33554432000 134512640 137138936 4290864336 4290863264 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27627/statm: 15330 12906 192 642 0 14686 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 61320
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27714
/proc/meminfo: memFree=31390684/32873844 swapFree=7372/7372
[pid=27627] ppid=27625 vsize=61956 CPUtime=1242.07 cores=0,2,4,6
/proc/27627/stat : 27627 (bsolo) R 27625 27627 24082 0 -1 4202496 13511 0 0 0 124091 116 0 0 20 0 1 0 288300553 63442944 13067 33554432000 134512640 137138936 4290864336 4290863264 134542480 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27627/statm: 15489 13067 192 642 0 14845 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 61956
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27714
/proc/meminfo: memFree=31363188/32873844 swapFree=7372/7372
[pid=27627] ppid=27625 vsize=61948 CPUtime=1302.07 cores=0,2,4,6
/proc/27627/stat : 27627 (bsolo) R 27625 27627 24082 0 -1 4202496 13511 0 0 0 130085 122 0 0 20 0 1 0 288300553 63434752 13065 33554432000 134512640 137138936 4290864336 4290863452 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27627/statm: 15487 13065 192 642 0 14843 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 61948
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27714
/proc/meminfo: memFree=31361248/32873844 swapFree=7372/7372
[pid=27627] ppid=27625 vsize=61948 CPUtime=1362.05 cores=0,2,4,6
/proc/27627/stat : 27627 (bsolo) R 27625 27627 24082 0 -1 4202496 13511 0 0 0 136077 128 0 0 20 0 1 0 288300553 63434752 13065 33554432000 134512640 137138936 4290864336 4290863264 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27627/statm: 15487 13065 192 642 0 14843 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 61948
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27714
/proc/meminfo: memFree=31346352/32873844 swapFree=7372/7372
[pid=27627] ppid=27625 vsize=61936 CPUtime=1422.05 cores=0,2,4,6
/proc/27627/stat : 27627 (bsolo) R 27625 27627 24082 0 -1 4202496 13511 0 0 0 142071 134 0 0 20 0 1 0 288300553 63422464 13062 33554432000 134512640 137138936 4290864336 4290863452 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27627/statm: 15484 13062 192 642 0 14840 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 61936
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 27717
/proc/meminfo: memFree=31291604/32873844 swapFree=7372/7372
[pid=27627] ppid=27625 vsize=64396 CPUtime=1482.03 cores=0,2,4,6
/proc/27627/stat : 27627 (bsolo) R 27625 27627 24082 0 -1 4202496 14124 0 0 0 148065 138 0 0 20 0 1 0 288300553 65941504 13675 33554432000 134512640 137138936 4290864336 4290863264 134542325 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27627/statm: 16099 13675 192 642 0 15455 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 64396
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27718
/proc/meminfo: memFree=31253328/32873844 swapFree=7372/7372
[pid=27627] ppid=27625 vsize=64388 CPUtime=1542.02 cores=0,2,4,6
/proc/27627/stat : 27627 (bsolo) R 27625 27627 24082 0 -1 4202496 14124 0 0 0 154060 142 0 0 20 0 1 0 288300553 65933312 13675 33554432000 134512640 137138936 4290864336 4290863452 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27627/statm: 16097 13675 192 642 0 15453 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 64388
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27718
/proc/meminfo: memFree=31206452/32873844 swapFree=7372/7372
[pid=27627] ppid=27625 vsize=64384 CPUtime=1602.02 cores=0,2,4,6
/proc/27627/stat : 27627 (bsolo) R 27625 27627 24082 0 -1 4202496 14125 0 0 0 160055 147 0 0 20 0 1 0 288300553 65929216 13674 33554432000 134512640 137138936 4290864336 4290863264 134542480 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27627/statm: 16096 13674 192 642 0 15452 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 64384
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27718
/proc/meminfo: memFree=31142336/32873844 swapFree=7372/7372
[pid=27627] ppid=27625 vsize=64380 CPUtime=1662.01 cores=0,2,4,6
/proc/27627/stat : 27627 (bsolo) R 27625 27627 24082 0 -1 4202496 14125 0 0 0 166048 153 0 0 20 0 1 0 288300553 65925120 13673 33554432000 134512640 137138936 4290864336 4290863452 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27627/statm: 16095 13673 192 642 0 15451 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 64380
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27718
/proc/meminfo: memFree=31144640/32873844 swapFree=7372/7372
[pid=27627] ppid=27625 vsize=66188 CPUtime=1722 cores=0,2,4,6
/proc/27627/stat : 27627 (bsolo) R 27625 27627 24082 0 -1 4202496 14573 0 0 0 172043 157 0 0 20 0 1 0 288300553 67776512 14121 33554432000 134512640 137138936 4290864336 4290863264 134542022 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27627/statm: 16547 14121 192 642 0 15903 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 66188
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27718
/proc/meminfo: memFree=31118764/32873844 swapFree=7372/7372
[pid=27627] ppid=27625 vsize=66284 CPUtime=1781.98 cores=0,2,4,6
/proc/27627/stat : 27627 (bsolo) R 27625 27627 24082 0 -1 4202496 14608 0 0 0 178037 161 0 0 20 0 1 0 288300553 67874816 14149 33554432000 134512640 137138936 4290864336 4290862788 136511187 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27627/statm: 16571 14149 192 642 0 15927 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 66284
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 27718
/proc/meminfo: memFree=31129748/32873844 swapFree=7372/7372
[pid=27627] ppid=27625 vsize=66284 CPUtime=1791.59 cores=0,2,4,6
/proc/27627/stat : 27627 (bsolo) R 27625 27627 24082 0 -1 4202496 14608 0 0 0 178997 162 0 0 20 0 1 0 288300553 67874816 14149 33554432000 134512640 137138936 4290864336 4290863088 134576319 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27627/statm: 16571 14149 192 642 0 15927 0
Current children cumulated CPU time (s) 1791.59
Current children cumulated vsize (KiB) 66284
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27718
/proc/meminfo: memFree=31124912/32873844 swapFree=7372/7372
[pid=27627] ppid=27625 vsize=66284 CPUtime=1794.79 cores=0,2,4,6
/proc/27627/stat : 27627 (bsolo) R 27625 27627 24082 0 -1 4202496 14608 0 0 0 179316 163 0 0 20 0 1 0 288300553 67874816 14149 33554432000 134512640 137138936 4290864336 4290862480 134603164 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27627/statm: 16571 14149 192 642 0 15927 0
Current children cumulated CPU time (s) 1794.79
Current children cumulated vsize (KiB) 66284
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27718
/proc/meminfo: memFree=31124168/32873844 swapFree=7372/7372
[pid=27627] ppid=27625 vsize=66284 CPUtime=1796.38 cores=0,2,4,6
/proc/27627/stat : 27627 (bsolo) R 27625 27627 24082 0 -1 4202496 14608 0 0 0 179475 163 0 0 20 0 1 0 288300553 67874816 14149 33554432000 134512640 137138936 4290864336 4290863452 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27627/statm: 16571 14149 192 642 0 15927 0
Current children cumulated CPU time (s) 1796.38
Current children cumulated vsize (KiB) 66284
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27718
/proc/meminfo: memFree=31122680/32873844 swapFree=7372/7372
[pid=27627] ppid=27625 vsize=66284 CPUtime=1797.18 cores=0,2,4,6
/proc/27627/stat : 27627 (bsolo) R 27625 27627 24082 0 -1 4202496 14608 0 0 0 179555 163 0 0 20 0 1 0 288300553 67874816 14149 33554432000 134512640 137138936 4290864336 4290863264 134542325 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27627/statm: 16571 14149 192 642 0 15927 0
Current children cumulated CPU time (s) 1797.18
Current children cumulated vsize (KiB) 66284
[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27718
/proc/meminfo: memFree=31122680/32873844 swapFree=7372/7372
[pid=27627] ppid=27625 vsize=66284 CPUtime=1797.59 cores=0,2,4,6
/proc/27627/stat : 27627 (bsolo) R 27625 27627 24082 0 -1 4202496 14608 0 0 0 179595 164 0 0 20 0 1 0 288300553 67874816 14149 33554432000 134512640 137138936 4290864336 4290863264 134542053 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27627/statm: 16571 14149 192 642 0 15927 0
Current children cumulated CPU time (s) 1797.59
Current children cumulated vsize (KiB) 66284
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27718
/proc/meminfo: memFree=31122680/32873844 swapFree=7372/7372
[pid=27627] ppid=27625 vsize=66284 CPUtime=1797.99 cores=0,2,4,6
/proc/27627/stat : 27627 (bsolo) R 27625 27627 24082 0 -1 4202496 14608 0 0 0 179635 164 0 0 20 0 1 0 288300553 67874816 14149 33554432000 134512640 137138936 4290864336 4290863252 136297620 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27627/statm: 16571 14149 192 642 0 15927 0
Current children cumulated CPU time (s) 1797.99
Current children cumulated vsize (KiB) 66284
Child status: 0
Real time (s): 1798.32
CPU time (s): 1798.01
CPU user time (s): 1796.37
CPU system time (s): 1.64275
CPU usage (%): 99.9831
Max. virtual memory (cumulated for all children) (KiB): 66328
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.37
system time used= 1.64275
maximum resident set size= 56624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14608
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= 29
involuntary context switches= 2056
runsolver used 3.20651 second user time and 6.99993 second system time
The end