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-3707840-1338150868/watcher-3707840-1338150868 -o /tmp/evaluation-result-3707840-1338150868/solver-3707840-1338150868 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3707840-1338150868.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: 2.02 1.99 1.97 3/176 16891
/proc/meminfo: memFree=31190004/32873844 swapFree=6080/6080
[pid=16891] ppid=16889 vsize=19352 CPUtime=0 cores=0,2,4,6
/proc/16891/stat : 16891 (bsolo) R 16889 16891 24278 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281211352 19816448 310 33554432000 134512640 137138936 4294367584 4294366176 134531237 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/16891/statm: 4838 313 175 642 0 4082 0
[startup+0.0132011 s]
/proc/loadavg: 2.02 1.99 1.97 3/176 16891
/proc/meminfo: memFree=31190004/32873844 swapFree=6080/6080
[pid=16891] ppid=16889 vsize=11816 CPUtime=0.01 cores=0,2,4,6
/proc/16891/stat : 16891 (bsolo) R 16889 16891 24278 0 -1 4202496 481 0 0 0 1 0 0 0 20 0 1 0 281211352 12099584 434 33554432000 134512640 137138936 4294367584 4294366060 136296998 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/16891/statm: 2954 434 199 642 0 2198 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 11816
[startup+0.100201 s]
/proc/loadavg: 2.02 1.99 1.97 3/176 16891
/proc/meminfo: memFree=31190004/32873844 swapFree=6080/6080
[pid=16891] ppid=16889 vsize=13768 CPUtime=0.09 cores=0,2,4,6
/proc/16891/stat : 16891 (bsolo) R 16889 16891 24278 0 -1 4202496 1199 0 0 0 9 0 0 0 20 0 1 0 281211352 14098432 1022 33554432000 134512640 137138936 4294367584 4294366512 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/16891/statm: 3442 1022 192 642 0 2798 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13768
[startup+0.300174 s]
/proc/loadavg: 2.02 1.99 1.97 3/176 16891
/proc/meminfo: memFree=31190004/32873844 swapFree=6080/6080
[pid=16891] ppid=16889 vsize=13768 CPUtime=0.29 cores=0,2,4,6
/proc/16891/stat : 16891 (bsolo) R 16889 16891 24278 0 -1 4202496 1199 0 0 0 29 0 0 0 20 0 1 0 281211352 14098432 1022 33554432000 134512640 137138936 4294367584 4294366336 134572783 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/16891/statm: 3442 1022 192 642 0 2798 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13768
[startup+0.700176 s]
/proc/loadavg: 2.02 1.99 1.97 3/176 16891
/proc/meminfo: memFree=31190004/32873844 swapFree=6080/6080
[pid=16891] ppid=16889 vsize=13768 CPUtime=0.69 cores=0,2,4,6
/proc/16891/stat : 16891 (bsolo) R 16889 16891 24278 0 -1 4202496 1199 0 0 0 69 0 0 0 20 0 1 0 281211352 14098432 1022 33554432000 134512640 137138936 4294367584 4294366336 134575213 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/16891/statm: 3442 1022 192 642 0 2798 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13768
[startup+1.50018 s]
/proc/loadavg: 2.02 1.99 1.97 3/177 16892
/proc/meminfo: memFree=31186524/32873844 swapFree=6080/6080
[pid=16891] ppid=16889 vsize=14632 CPUtime=1.48 cores=0,2,4,6
/proc/16891/stat : 16891 (bsolo) R 16889 16891 24278 0 -1 4202496 1395 0 0 0 148 0 0 0 20 0 1 0 281211352 14983168 1218 33554432000 134512640 137138936 4294367584 4294366336 134575213 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/16891/statm: 3658 1218 192 642 0 3014 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 14632
[startup+3.10018 s]
/proc/loadavg: 2.02 1.99 1.97 3/177 16892
/proc/meminfo: memFree=31184904/32873844 swapFree=6080/6080
[pid=16891] ppid=16889 vsize=16128 CPUtime=3.09 cores=0,2,4,6
/proc/16891/stat : 16891 (bsolo) R 16889 16891 24278 0 -1 4202496 1769 0 0 0 308 1 0 0 20 0 1 0 281211352 16515072 1592 33554432000 134512640 137138936 4294367584 4294366512 134542469 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/16891/statm: 4032 1592 192 642 0 3388 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16128
[startup+6.30018 s]
/proc/loadavg: 2.02 1.99 1.97 3/177 16892
/proc/meminfo: memFree=31181928/32873844 swapFree=6080/6080
[pid=16891] ppid=16889 vsize=17852 CPUtime=6.28 cores=0,2,4,6
/proc/16891/stat : 16891 (bsolo) R 16889 16891 24278 0 -1 4202496 2200 0 0 0 627 1 0 0 20 0 1 0 281211352 18280448 2023 33554432000 134512640 137138936 4294367584 4294366512 134542424 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/16891/statm: 4463 2023 192 642 0 3819 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 17852
[startup+12.7002 s]
/proc/loadavg: 2.01 1.99 1.97 3/177 16892
/proc/meminfo: memFree=31181152/32873844 swapFree=6080/6080
[pid=16891] ppid=16889 vsize=18176 CPUtime=12.68 cores=0,2,4,6
/proc/16891/stat : 16891 (bsolo) R 16889 16891 24278 0 -1 4202496 2295 0 0 0 1266 2 0 0 20 0 1 0 281211352 18612224 2128 33554432000 134512640 137138936 4294367584 4294366512 134542662 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/16891/statm: 4544 2128 192 642 0 3900 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 18176
[startup+25.5002 s]
/proc/loadavg: 2.01 1.99 1.97 3/177 16892
/proc/meminfo: memFree=31180676/32873844 swapFree=6080/6080
[pid=16891] ppid=16889 vsize=19260 CPUtime=25.47 cores=0,2,4,6
/proc/16891/stat : 16891 (bsolo) R 16889 16891 24278 0 -1 4202496 2568 0 0 0 2543 4 0 0 20 0 1 0 281211352 19722240 2399 33554432000 134512640 137138936 4294367584 4294366700 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/16891/statm: 4815 2399 192 642 0 4171 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 19260
[startup+51.1002 s]
/proc/loadavg: 2.01 1.99 1.97 3/178 16893
/proc/meminfo: memFree=31174836/32873844 swapFree=6080/6080
[pid=16891] ppid=16889 vsize=21008 CPUtime=51.07 cores=0,2,4,6
/proc/16891/stat : 16891 (bsolo) R 16889 16891 24278 0 -1 4202496 3006 0 0 0 5100 7 0 0 20 0 1 0 281211352 21512192 2837 33554432000 134512640 137138936 4294367584 4294365812 136500372 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/16891/statm: 5252 2837 192 642 0 4608 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 21008
[startup+102.306 s]
/proc/loadavg: 2.04 2.00 1.98 3/177 16893
/proc/meminfo: memFree=31173352/32873844 swapFree=6080/6080
[pid=16891] ppid=16889 vsize=22788 CPUtime=102.25 cores=0,2,4,6
/proc/16891/stat : 16891 (bsolo) R 16889 16891 24278 0 -1 4202496 3445 0 0 0 10214 11 0 0 20 0 1 0 281211352 23334912 3274 33554432000 134512640 137138936 4294367584 4294366128 134607606 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/16891/statm: 5697 3274 192 642 0 5053 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 22788
[startup+162.3 s]
/proc/loadavg: 2.01 2.00 1.98 3/177 16893
/proc/meminfo: memFree=31172420/32873844 swapFree=6080/6080
[pid=16891] ppid=16889 vsize=23760 CPUtime=162.23 cores=0,2,4,6
/proc/16891/stat : 16891 (bsolo) R 16889 16891 24278 0 -1 4202496 3696 0 0 0 16206 17 0 0 20 0 1 0 281211352 24330240 3524 33554432000 134512640 137138936 4294367584 4294366512 134542252 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16891/statm: 5940 3524 192 642 0 5296 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 23760
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 16894
/proc/meminfo: memFree=31171800/32873844 swapFree=6080/6080
[pid=16891] ppid=16889 vsize=24444 CPUtime=222.22 cores=0,2,4,6
/proc/16891/stat : 16891 (bsolo) R 16889 16891 24278 0 -1 4202496 3872 0 0 0 22200 22 0 0 20 0 1 0 281211352 25030656 3700 33554432000 134512640 137138936 4294367584 4294366296 136504096 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16891/statm: 6111 3700 192 642 0 5467 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 24444
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 16894
/proc/meminfo: memFree=31171860/32873844 swapFree=6080/6080
[pid=16891] ppid=16889 vsize=24588 CPUtime=282.21 cores=0,2,4,6
/proc/16891/stat : 16891 (bsolo) R 16889 16891 24278 0 -1 4202496 3909 0 0 0 28194 27 0 0 20 0 1 0 281211352 25178112 3737 33554432000 134512640 137138936 4294367584 4294366588 136521046 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16891/statm: 6147 3737 192 642 0 5503 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 24588
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 16897
/proc/meminfo: memFree=31171100/32873844 swapFree=6080/6080
[pid=16891] ppid=16889 vsize=25064 CPUtime=342.21 cores=0,2,4,6
/proc/16891/stat : 16891 (bsolo) R 16889 16891 24278 0 -1 4202496 4025 0 0 0 34188 33 0 0 20 0 1 0 281211352 25665536 3853 33554432000 134512640 137138936 4294367584 4294366700 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16891/statm: 6266 3853 192 642 0 5622 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 25064
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 16897
/proc/meminfo: memFree=31171116/32873844 swapFree=6080/6080
[pid=16891] ppid=16889 vsize=25056 CPUtime=402.19 cores=0,2,4,6
/proc/16891/stat : 16891 (bsolo) R 16889 16891 24278 0 -1 4202496 4026 0 0 0 40181 38 0 0 20 0 1 0 281211352 25657344 3854 33554432000 134512640 137138936 4294367584 4294366700 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16891/statm: 6264 3854 192 642 0 5620 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 25056
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 16897
/proc/meminfo: memFree=31170120/32873844 swapFree=6080/6080
[pid=16891] ppid=16889 vsize=25900 CPUtime=462.18 cores=0,2,4,6
/proc/16891/stat : 16891 (bsolo) R 16889 16891 24278 0 -1 4202496 4236 0 0 0 46174 44 0 0 20 0 1 0 281211352 26521600 4063 33554432000 134512640 137138936 4294367584 4294366008 134606630 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16891/statm: 6475 4063 192 642 0 5831 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 25900
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 16898
/proc/meminfo: memFree=31168816/32873844 swapFree=6080/6080
[pid=16891] ppid=16889 vsize=26632 CPUtime=522.18 cores=0,2,4,6
/proc/16891/stat : 16891 (bsolo) R 16889 16891 24278 0 -1 4202496 4428 0 0 0 52169 49 0 0 20 0 1 0 281211352 27271168 4247 33554432000 134512640 137138936 4294367584 4294366700 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16891/statm: 6658 4247 192 642 0 6014 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 26632
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 16898
/proc/meminfo: memFree=31168816/32873844 swapFree=6080/6080
[pid=16891] ppid=16889 vsize=26676 CPUtime=582.16 cores=0,2,4,6
/proc/16891/stat : 16891 (bsolo) R 16889 16891 24278 0 -1 4202496 4448 0 0 0 58162 54 0 0 20 0 1 0 281211352 27316224 4260 33554432000 134512640 137138936 4294367584 4294366700 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16891/statm: 6669 4260 192 642 0 6025 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 26676
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=31164096/32873844 swapFree=6080/6080
[pid=16891] ppid=16889 vsize=29988 CPUtime=1062.1 cores=0,2,4,6
/proc/16891/stat : 16891 (bsolo) R 16889 16891 24278 0 -1 4202496 5306 0 0 0 106114 96 0 0 20 0 1 0 281211352 30707712 5088 33554432000 134512640 137138936 4294367584 4294366656 134557580 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16891/statm: 7497 5088 192 642 0 6853 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 29988
[startup+1122.3 s]
/proc/loadavg: 2.11 2.03 2.00 3/176 16903
/proc/meminfo: memFree=31164848/32873844 swapFree=6080/6080
[pid=16891] ppid=16889 vsize=30324 CPUtime=1122.08 cores=0,2,4,6
/proc/16891/stat : 16891 (bsolo) R 16889 16891 24278 0 -1 4202496 5379 0 0 0 112109 99 0 0 20 0 1 0 281211352 31051776 5161 33554432000 134512640 137138936 4294367584 4294366700 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16891/statm: 7581 5161 192 642 0 6937 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 30324
[startup+1182.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 16904
/proc/meminfo: memFree=31165212/32873844 swapFree=6080/6080
[pid=16891] ppid=16889 vsize=30288 CPUtime=1182.08 cores=0,2,4,6
/proc/16891/stat : 16891 (bsolo) R 16889 16891 24278 0 -1 4202496 5379 0 0 0 118103 105 0 0 20 0 1 0 281211352 31014912 5161 33554432000 134512640 137138936 4294367584 4294366700 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16891/statm: 7572 5161 192 642 0 6928 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 30288
[startup+1242.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 16904
/proc/meminfo: memFree=31159936/32873844 swapFree=6080/6080
[pid=16891] ppid=16889 vsize=30276 CPUtime=1242.07 cores=0,2,4,6
/proc/16891/stat : 16891 (bsolo) R 16889 16891 24278 0 -1 4202496 5379 0 0 0 124096 111 0 0 20 0 1 0 281211352 31002624 5160 33554432000 134512640 137138936 4294367584 4294366512 134542761 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16891/statm: 7569 5160 192 642 0 6925 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 30276
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 16904
/proc/meminfo: memFree=31159936/32873844 swapFree=6080/6080
[pid=16891] ppid=16889 vsize=30256 CPUtime=1302.06 cores=0,2,4,6
/proc/16891/stat : 16891 (bsolo) R 16889 16891 24278 0 -1 4202496 5379 0 0 0 130091 115 0 0 20 0 1 0 281211352 30982144 5155 33554432000 134512640 137138936 4294367584 4294366700 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16891/statm: 7564 5155 192 642 0 6920 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 30256
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 16942
/proc/meminfo: memFree=31187540/32873844 swapFree=6080/6080
[pid=16891] ppid=16889 vsize=30252 CPUtime=1362.04 cores=0,2,4,6
/proc/16891/stat : 16891 (bsolo) R 16889 16891 24278 0 -1 4202496 5379 0 0 0 136085 119 0 0 20 0 1 0 281211352 30978048 5154 33554432000 134512640 137138936 4294367584 4294366512 134542316 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16891/statm: 7563 5154 192 642 0 6919 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 30252
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16943
/proc/meminfo: memFree=31081628/32873844 swapFree=6080/6080
[pid=16891] ppid=16889 vsize=30244 CPUtime=1422.04 cores=0,2,4,6
/proc/16891/stat : 16891 (bsolo) R 16889 16891 24278 0 -1 4202496 5380 0 0 0 142078 126 0 0 20 0 1 0 281211352 30969856 5152 33554432000 134512640 137138936 4294367584 4294366700 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16891/statm: 7561 5152 192 642 0 6917 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 30244
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16943
/proc/meminfo: memFree=31046520/32873844 swapFree=6080/6080
[pid=16891] ppid=16889 vsize=30244 CPUtime=1482.03 cores=0,2,4,6
/proc/16891/stat : 16891 (bsolo) R 16889 16891 24278 0 -1 4202496 5380 0 0 0 148072 131 0 0 20 0 1 0 281211352 30969856 5152 33554432000 134512640 137138936 4294367584 4294366288 136297625 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16891/statm: 7561 5152 192 642 0 6917 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 30244
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16946
/proc/meminfo: memFree=31016752/32873844 swapFree=6080/6080
[pid=16891] ppid=16889 vsize=30084 CPUtime=1542.02 cores=0,2,4,6
/proc/16891/stat : 16891 (bsolo) R 16889 16891 24278 0 -1 4202496 5380 0 0 0 154066 136 0 0 20 0 1 0 281211352 30806016 5112 33554432000 134512640 137138936 4294367584 4294366700 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16891/statm: 7521 5112 192 642 0 6877 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 30084
[startup+1602.3 s]
/proc/loadavg: 2.08 2.03 2.01 3/178 16969
/proc/meminfo: memFree=31017340/32873844 swapFree=6080/6080
[pid=16891] ppid=16889 vsize=30084 CPUtime=1602.01 cores=0,2,4,6
/proc/16891/stat : 16891 (bsolo) R 16889 16891 24278 0 -1 4202496 5380 0 0 0 160061 140 0 0 20 0 1 0 281211352 30806016 5112 33554432000 134512640 137138936 4294367584 4294366700 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16891/statm: 7521 5112 192 642 0 6877 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 30084
[startup+1662.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 16969
/proc/meminfo: memFree=31017228/32873844 swapFree=6080/6080
[pid=16891] ppid=16889 vsize=30084 CPUtime=1662 cores=0,2,4,6
/proc/16891/stat : 16891 (bsolo) R 16889 16891 24278 0 -1 4202496 5380 0 0 0 166056 144 0 0 20 0 1 0 281211352 30806016 5112 33554432000 134512640 137138936 4294367584 4294366512 134542972 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16891/statm: 7521 5112 192 642 0 6877 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 30084
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 16970
/proc/meminfo: memFree=31000116/32873844 swapFree=6080/6080
[pid=16891] ppid=16889 vsize=30084 CPUtime=1721.99 cores=0,2,4,6
/proc/16891/stat : 16891 (bsolo) R 16889 16891 24278 0 -1 4202496 5380 0 0 0 172050 149 0 0 20 0 1 0 281211352 30806016 5112 33554432000 134512640 137138936 4294367584 4294366512 134542273 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16891/statm: 7521 5112 192 642 0 6877 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 30084
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 16970
/proc/meminfo: memFree=30999480/32873844 swapFree=6080/6080
[pid=16891] ppid=16889 vsize=30500 CPUtime=1781.98 cores=0,2,4,6
/proc/16891/stat : 16891 (bsolo) R 16889 16891 24278 0 -1 4202496 5472 0 0 0 178044 154 0 0 20 0 1 0 281211352 31232000 5204 33554432000 134512640 137138936 4294367584 4294366336 134575813 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16891/statm: 7625 5204 192 642 0 6981 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 30500
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 16970
/proc/meminfo: memFree=30999728/32873844 swapFree=6080/6080
[pid=16891] ppid=16889 vsize=30500 CPUtime=1791.59 cores=0,2,4,6
/proc/16891/stat : 16891 (bsolo) R 16889 16891 24278 0 -1 4202496 5472 0 0 0 179004 155 0 0 20 0 1 0 281211352 31232000 5204 33554432000 134512640 137138936 4294367584 4294366008 134606670 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16891/statm: 7625 5204 192 642 0 6981 0
Current children cumulated CPU time (s) 1791.59
Current children cumulated vsize (KiB) 30500
[startup+1795.1 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 16970
/proc/meminfo: memFree=30999728/32873844 swapFree=6080/6080
[pid=16891] ppid=16889 vsize=30500 CPUtime=1794.78 cores=0,2,4,6
/proc/16891/stat : 16891 (bsolo) R 16889 16891 24278 0 -1 4202496 5472 0 0 0 179323 155 0 0 20 0 1 0 281211352 31232000 5204 33554432000 134512640 137138936 4294367584 4294366700 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16891/statm: 7625 5204 192 642 0 6981 0
Current children cumulated CPU time (s) 1794.78
Current children cumulated vsize (KiB) 30500
[startup+1796.7 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 16970
/proc/meminfo: memFree=30999728/32873844 swapFree=6080/6080
[pid=16891] ppid=16889 vsize=30428 CPUtime=1796.38 cores=0,2,4,6
/proc/16891/stat : 16891 (bsolo) R 16889 16891 24278 0 -1 4202496 5472 0 0 0 179483 155 0 0 20 0 1 0 281211352 31158272 5198 33554432000 134512640 137138936 4294367584 4294366512 134542497 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16891/statm: 7607 5198 192 642 0 6963 0
Current children cumulated CPU time (s) 1796.38
Current children cumulated vsize (KiB) 30428
[startup+1797.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 16970
/proc/meminfo: memFree=30999728/32873844 swapFree=6080/6080
[pid=16891] ppid=16889 vsize=30428 CPUtime=1797.18 cores=0,2,4,6
/proc/16891/stat : 16891 (bsolo) R 16889 16891 24278 0 -1 4202496 5472 0 0 0 179563 155 0 0 20 0 1 0 281211352 31158272 5198 33554432000 134512640 137138936 4294367584 4294366512 134542776 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16891/statm: 7607 5198 192 642 0 6963 0
Current children cumulated CPU time (s) 1797.18
Current children cumulated vsize (KiB) 30428
[startup+1797.9 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 16970
/proc/meminfo: memFree=30999728/32873844 swapFree=6080/6080
[pid=16891] ppid=16889 vsize=30428 CPUtime=1797.58 cores=0,2,4,6
/proc/16891/stat : 16891 (bsolo) R 16889 16891 24278 0 -1 4202496 5472 0 0 0 179603 155 0 0 20 0 1 0 281211352 31158272 5198 33554432000 134512640 137138936 4294367584 4294366700 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16891/statm: 7607 5198 192 642 0 6963 0
Current children cumulated CPU time (s) 1797.58
Current children cumulated vsize (KiB) 30428
[startup+1798.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 16970
/proc/meminfo: memFree=30999728/32873844 swapFree=6080/6080
[pid=16891] ppid=16889 vsize=30428 CPUtime=1797.98 cores=0,2,4,6
/proc/16891/stat : 16891 (bsolo) R 16889 16891 24278 0 -1 4202496 5472 0 0 0 179643 155 0 0 20 0 1 0 281211352 31158272 5198 33554432000 134512640 137138936 4294367584 4294366700 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16891/statm: 7607 5198 192 642 0 6963 0
Current children cumulated CPU time (s) 1797.98
Current children cumulated vsize (KiB) 30428
Child status: 0
Real time (s): 1798.31
CPU time (s): 1798
CPU user time (s): 1796.44
CPU system time (s): 1.55876
CPU usage (%): 99.9828
Max. virtual memory (cumulated for all children) (KiB): 30500
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.44
system time used= 1.55876
maximum resident set size= 20816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5472
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= 12
involuntary context switches= 1984
runsolver used 3.12852 second user time and 7.35688 second system time
The end