runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3462957-1307177309/watcher-3462957-1307177309 -o /tmp/evaluation-result-3462957-1307177309/solver-3462957-1307177309 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462957-1307177309.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.13 2.08 2.02 2/515 17914
/proc/meminfo: memFree=22031024/32950928 swapFree=58671692/67111528
[pid=17914] ppid=17912 vsize=13288 CPUtime=0.01 cores=0,2,4,6
/proc/17914/stat : 17914 (bsolo) R 17912 17914 16455 0 -1 4202496 503 0 0 0 1 0 0 0 25 0 1 0 907961544 13606912 458 33554432000 134512640 137138936 4294100016 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17914/statm: 3322 458 205 642 0 2230 0
[startup+0.089588 s]
/proc/loadavg: 2.13 2.08 2.02 2/515 17914
/proc/meminfo: memFree=22031024/32950928 swapFree=58671692/67111528
[pid=17914] ppid=17912 vsize=17828 CPUtime=0.08 cores=0,2,4,6
/proc/17914/stat : 17914 (bsolo) R 17912 17914 16455 0 -1 4202496 1929 0 0 0 8 0 0 0 25 0 1 0 907961544 18255872 1884 33554432000 134512640 137138936 4294100016 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17914/statm: 4457 1884 486 642 0 3365 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 17828
[startup+0.100588 s]
/proc/loadavg: 2.13 2.08 2.02 2/515 17914
/proc/meminfo: memFree=22031024/32950928 swapFree=58671692/67111528
[pid=17914] ppid=17912 vsize=18512 CPUtime=0.09 cores=0,2,4,6
/proc/17914/stat : 17914 (bsolo) R 17912 17914 16455 0 -1 4202496 2118 0 0 0 9 0 0 0 25 0 1 0 907961544 18956288 2073 33554432000 134512640 137138936 4294100016 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17914/statm: 4628 2075 525 642 0 3536 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18512
[startup+0.300562 s]
/proc/loadavg: 2.13 2.08 2.02 2/515 17914
/proc/meminfo: memFree=22031024/32950928 swapFree=58671692/67111528
[pid=17914] ppid=17912 vsize=22748 CPUtime=0.29 cores=0,2,4,6
/proc/17914/stat : 17914 (bsolo) R 17912 17914 16455 0 -1 4202496 3727 0 0 0 29 0 0 0 25 0 1 0 907961544 23293952 3234 33554432000 134512640 137138936 4294100016 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17914/statm: 5687 3237 185 642 0 5043 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22748
[startup+0.700472 s]
/proc/loadavg: 2.13 2.08 2.02 2/515 17914
/proc/meminfo: memFree=22031024/32950928 swapFree=58671692/67111528
[pid=17914] ppid=17912 vsize=23188 CPUtime=0.69 cores=0,2,4,6
/proc/17914/stat : 17914 (bsolo) R 17912 17914 16455 0 -1 4202496 4965 0 0 0 66 3 0 0 25 0 1 0 907961544 23744512 3354 33554432000 134512640 137138936 4294100016 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17914/statm: 5797 3354 192 642 0 5153 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 23188
[startup+1.50033 s]
/proc/loadavg: 2.13 2.08 2.02 3/516 17915
/proc/meminfo: memFree=22012788/32950928 swapFree=58671692/67111528
[pid=17914] ppid=17912 vsize=31036 CPUtime=1.49 cores=0,2,4,6
/proc/17914/stat : 17914 (bsolo) R 17912 17914 16455 0 -1 4202496 6919 0 0 0 145 4 0 0 25 0 1 0 907961544 31780864 5308 33554432000 134512640 137138936 4294100016 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17914/statm: 7759 5308 192 642 0 7115 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 31036
[startup+3.10102 s]
/proc/loadavg: 2.13 2.08 2.02 3/516 17915
/proc/meminfo: memFree=21998900/32950928 swapFree=58671692/67111528
[pid=17914] ppid=17912 vsize=41916 CPUtime=3.1 cores=0,2,4,6
/proc/17914/stat : 17914 (bsolo) R 17912 17914 16455 0 -1 4202496 9653 0 0 0 305 5 0 0 25 0 1 0 907961544 42921984 8042 33554432000 134512640 137138936 4294100016 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17914/statm: 10479 8042 192 642 0 9835 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 41916
[startup+6.30035 s]
/proc/loadavg: 2.28 2.11 2.03 3/516 17916
/proc/meminfo: memFree=21969396/32950928 swapFree=58671692/67111528
[pid=17914] ppid=17912 vsize=58220 CPUtime=6.27 cores=0,2,4,6
/proc/17914/stat : 17914 (bsolo) R 17912 17914 16455 0 -1 4202496 13727 0 0 0 622 5 0 0 25 0 1 0 907961544 59617280 12116 33554432000 134512640 137138936 4294100016 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17914/statm: 14555 12116 192 642 0 13911 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 58220
[startup+12.7012 s]
/proc/loadavg: 2.26 2.11 2.03 3/516 17916
/proc/meminfo: memFree=21936232/32950928 swapFree=58671692/67111528
[pid=17914] ppid=17912 vsize=84164 CPUtime=12.65 cores=0,2,4,6
/proc/17914/stat : 17914 (bsolo) R 17912 17914 16455 0 -1 4202496 20231 0 0 0 1258 7 0 0 25 0 1 0 907961544 86183936 18620 33554432000 134512640 137138936 4294100016 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17914/statm: 21041 18620 192 642 0 20397 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 84164
[startup+25.5008 s]
/proc/loadavg: 2.27 2.12 2.03 3/516 17916
/proc/meminfo: memFree=21894200/32950928 swapFree=58671692/67111528
[pid=17914] ppid=17912 vsize=123824 CPUtime=25.45 cores=0,2,4,6
/proc/17914/stat : 17914 (bsolo) R 17912 17914 16455 0 -1 4202496 30117 0 0 0 2536 9 0 0 25 0 1 0 907961544 126795776 28506 33554432000 134512640 137138936 4294100016 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17914/statm: 30956 28506 192 642 0 30312 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 123824
[startup+51.1009 s]
/proc/loadavg: 2.18 2.11 2.03 3/516 17917
/proc/meminfo: memFree=21834768/32950928 swapFree=58671692/67111528
[pid=17914] ppid=17912 vsize=184080 CPUtime=51.05 cores=0,2,4,6
/proc/17914/stat : 17914 (bsolo) R 17912 17914 16455 0 -1 4202496 45208 0 0 0 5092 13 0 0 25 0 1 0 907961544 188497920 43597 33554432000 134512640 137138936 4294100016 18446744073709551615 134542513 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17914/statm: 46020 43597 192 642 0 45376 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 184080
[startup+102.32 s]
/proc/loadavg: 2.08 2.09 2.02 3/516 17918
/proc/meminfo: memFree=21736372/32950928 swapFree=58671692/67111528
[pid=17914] ppid=17912 vsize=280064 CPUtime=102.27 cores=0,2,4,6
/proc/17914/stat : 17914 (bsolo) R 17912 17914 16455 0 -1 4202496 69185 0 0 0 10206 21 0 0 25 0 1 0 907961544 286785536 67574 33554432000 134512640 137138936 4294100016 18446744073709551615 134606673 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17914/statm: 70016 67574 192 642 0 69372 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 280064
[startup+162.301 s]
/proc/loadavg: 2.03 2.07 2.02 3/516 17920
/proc/meminfo: memFree=21626348/32950928 swapFree=58671692/67111528
[pid=17914] ppid=17912 vsize=378460 CPUtime=162.26 cores=0,2,4,6
/proc/17914/stat : 17914 (bsolo) R 17912 17914 16455 0 -1 4202496 93804 0 0 0 16199 27 0 0 25 0 1 0 907961544 387543040 92193 33554432000 134512640 137138936 4294100016 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17914/statm: 94615 92193 192 642 0 93971 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 378460
[startup+222.3 s]
/proc/loadavg: 2.01 2.06 2.01 3/516 17921
/proc/meminfo: memFree=21572120/32950928 swapFree=58671692/67111528
[pid=17914] ppid=17912 vsize=432384 CPUtime=222.26 cores=0,2,4,6
/proc/17914/stat : 17914 (bsolo) R 17912 17914 16455 0 -1 4202496 107337 0 0 0 22194 32 0 0 25 0 1 0 907961544 442761216 105649 33554432000 134512640 137138936 4294100016 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17914/statm: 108096 105649 192 642 0 107452 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 432384
[startup+282.301 s]
/proc/loadavg: 2.00 2.04 2.00 3/516 17923
/proc/meminfo: memFree=21572960/32950928 swapFree=58671692/67111528
[pid=17914] ppid=17912 vsize=432384 CPUtime=282.26 cores=0,2,4,6
/proc/17914/stat : 17914 (bsolo) R 17912 17914 16455 0 -1 4202496 107337 0 0 0 28193 33 0 0 25 0 1 0 907961544 442761216 105649 33554432000 134512640 137138936 4294100016 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17914/statm: 108096 105649 192 642 0 107452 0
Current children cumulated CPU time (s) 282.26
Current children cumulated vsize (KiB) 432384
[startup+342.301 s]
/proc/loadavg: 2.16 2.07 2.01 3/516 17925
/proc/meminfo: memFree=21512908/32950928 swapFree=58671692/67111528
[pid=17914] ppid=17912 vsize=477720 CPUtime=342.26 cores=0,2,4,6
/proc/17914/stat : 17914 (bsolo) R 17912 17914 16455 0 -1 4202496 118670 0 0 0 34190 36 0 0 25 0 1 0 907961544 489185280 116982 33554432000 134512640 137138936 4294100016 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17914/statm: 119430 116982 192 642 0 118786 0
Current children cumulated CPU time (s) 342.26
Current children cumulated vsize (KiB) 477720
[startup+402.3 s]
/proc/loadavg: 2.13 2.07 2.01 3/516 17926
/proc/meminfo: memFree=21371752/32950928 swapFree=58671692/67111528
[pid=17914] ppid=17912 vsize=567096 CPUtime=402.26 cores=0,2,4,6
/proc/17914/stat : 17914 (bsolo) R 17912 17914 16455 0 -1 4202496 141027 0 0 0 40187 39 0 0 25 0 1 0 907961544 580706304 139339 33554432000 134512640 137138936 4294100016 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17914/statm: 141774 139339 192 642 0 141130 0
Current children cumulated CPU time (s) 402.26
Current children cumulated vsize (KiB) 567096
[startup+462.301 s]
/proc/loadavg: 2.05 2.05 2.00 3/516 17928
/proc/meminfo: memFree=21285652/32950928 swapFree=58671692/67111528
[pid=17914] ppid=17912 vsize=652068 CPUtime=462.26 cores=0,2,4,6
/proc/17914/stat : 17914 (bsolo) R 17912 17914 16455 0 -1 4202496 162264 0 0 0 46184 42 0 0 25 0 1 0 907961544 667717632 160576 33554432000 134512640 137138936 4294100016 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17914/statm: 163017 160576 192 642 0 162373 0
Current children cumulated CPU time (s) 462.26
Current children cumulated vsize (KiB) 652068
[startup+522.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/516 17929
/proc/meminfo: memFree=21201180/32950928 swapFree=58671692/67111528
[pid=17914] ppid=17912 vsize=737712 CPUtime=522.26 cores=0,2,4,6
/proc/17914/stat : 17914 (bsolo) R 17912 17914 16455 0 -1 4202496 183671 0 0 0 52181 45 0 0 25 0 1 0 907961544 755417088 181983 33554432000 134512640 137138936 4294100016 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17914/statm: 184428 181983 192 642 0 183784 0
Current children cumulated CPU time (s) 522.26
Current children cumulated vsize (KiB) 737712
[startup+582.301 s]
/proc/loadavg: 2.15 2.07 2.01 3/516 17931
/proc/meminfo: memFree=21131072/32950928 swapFree=58671692/67111528
[pid=17914] ppid=17912 vsize=806168 CPUtime=582.27 cores=0,2,4,6
/proc/17914/stat : 17914 (bsolo) R 17912 17914 16455 0 -1 4202496 200803 0 0 0 58179 48 0 0 25 0 1 0 907961544 825516032 199115 33554432000 134512640 137138936 4294100016 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17914/statm: 201542 199115 192 642 0 200898 0
Current children cumulated CPU time (s) 582.27
Current children cumulated vsize (KiB) 806168
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=20889312/32950928 swapFree=58671692/67111528
[pid=17914] ppid=17912 vsize=1047000 CPUtime=1122.28 cores=0,2,4,6
/proc/17914/stat : 17914 (bsolo) R 17912 17914 16455 0 -1 4202496 261094 0 0 0 112161 67 0 0 25 0 1 0 907961544 1072128000 259314 33554432000 134512640 137138936 4294100016 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17914/statm: 261750 259314 192 642 0 261106 0
Current children cumulated CPU time (s) 1122.28
Current children cumulated vsize (KiB) 1047000
[startup+1182.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/516 17958
/proc/meminfo: memFree=20888172/32950928 swapFree=58671692/67111528
[pid=17914] ppid=17912 vsize=1047000 CPUtime=1182.28 cores=0,2,4,6
/proc/17914/stat : 17914 (bsolo) R 17912 17914 16455 0 -1 4202496 261094 0 0 0 118160 68 0 0 25 0 1 0 907961544 1072128000 259314 33554432000 134512640 137138936 4294100016 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17914/statm: 261750 259314 192 642 0 261106 0
Current children cumulated CPU time (s) 1182.28
Current children cumulated vsize (KiB) 1047000
[startup+1242.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/516 17988
/proc/meminfo: memFree=21962336/32950928 swapFree=58671692/67111528
[pid=17914] ppid=17912 vsize=1047000 CPUtime=1242.29 cores=0,2,4,6
/proc/17914/stat : 17914 (bsolo) R 17912 17914 16455 0 -1 4202496 261094 0 0 0 124160 69 0 0 25 0 1 0 907961544 1072128000 259314 33554432000 134512640 137138936 4294100016 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17914/statm: 261750 259314 192 642 0 261106 0
Current children cumulated CPU time (s) 1242.29
Current children cumulated vsize (KiB) 1047000
[startup+1302.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/516 17989
/proc/meminfo: memFree=21853576/32950928 swapFree=58671692/67111528
[pid=17914] ppid=17912 vsize=1047016 CPUtime=1302.3 cores=0,2,4,6
/proc/17914/stat : 17914 (bsolo) R 17912 17914 16455 0 -1 4202496 261098 0 0 0 130161 69 0 0 25 0 1 0 907961544 1072144384 259318 33554432000 134512640 137138936 4294100016 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17914/statm: 261754 259318 192 642 0 261110 0
Current children cumulated CPU time (s) 1302.3
Current children cumulated vsize (KiB) 1047016
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/516 17991
/proc/meminfo: memFree=21832592/32950928 swapFree=58671692/67111528
[pid=17914] ppid=17912 vsize=1047156 CPUtime=1362.29 cores=0,2,4,6
/proc/17914/stat : 17914 (bsolo) R 17912 17914 16455 0 -1 4202496 261230 0 0 0 136159 70 0 0 25 0 1 0 907961544 1072287744 259352 33554432000 134512640 137138936 4294100016 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17914/statm: 261789 259352 192 642 0 261145 0
Current children cumulated CPU time (s) 1362.29
Current children cumulated vsize (KiB) 1047156
[startup+1422.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/516 17992
/proc/meminfo: memFree=21813464/32950928 swapFree=58671692/67111528
[pid=17914] ppid=17912 vsize=1047156 CPUtime=1422.32 cores=0,2,4,6
/proc/17914/stat : 17914 (bsolo) R 17912 17914 16455 0 -1 4202496 261230 0 0 0 142161 71 0 0 25 0 1 0 907961544 1072287744 259352 33554432000 134512640 137138936 4294100016 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17914/statm: 261789 259352 192 642 0 261145 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 1047156
[startup+1482.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/516 17994
/proc/meminfo: memFree=21790000/32950928 swapFree=58671692/67111528
[pid=17914] ppid=17912 vsize=1047156 CPUtime=1482.3 cores=0,2,4,6
/proc/17914/stat : 17914 (bsolo) R 17912 17914 16455 0 -1 4202496 261230 0 0 0 148158 72 0 0 25 0 1 0 907961544 1072287744 259352 33554432000 134512640 137138936 4294100016 18446744073709551615 134606670 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17914/statm: 261789 259352 192 642 0 261145 0
Current children cumulated CPU time (s) 1482.3
Current children cumulated vsize (KiB) 1047156
[startup+1542.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/516 17996
/proc/meminfo: memFree=21789360/32950928 swapFree=58671692/67111528
[pid=17914] ppid=17912 vsize=1047156 CPUtime=1542.29 cores=0,2,4,6
/proc/17914/stat : 17914 (bsolo) R 17912 17914 16455 0 -1 4202496 261230 0 0 0 154157 72 0 0 25 0 1 0 907961544 1072287744 259352 33554432000 134512640 137138936 4294100016 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17914/statm: 261789 259352 192 642 0 261145 0
Current children cumulated CPU time (s) 1542.29
Current children cumulated vsize (KiB) 1047156
[startup+1602.3 s]
/proc/loadavg: 2.14 2.06 2.01 3/516 17997
/proc/meminfo: memFree=21763772/32950928 swapFree=58671692/67111528
[pid=17914] ppid=17912 vsize=1047156 CPUtime=1602.3 cores=0,2,4,6
/proc/17914/stat : 17914 (bsolo) R 17912 17914 16455 0 -1 4202496 261230 0 0 0 160157 73 0 0 25 0 1 0 907961544 1072287744 259352 33554432000 134512640 137138936 4294100016 18446744073709551615 134542776 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17914/statm: 261789 259352 192 642 0 261145 0
Current children cumulated CPU time (s) 1602.3
Current children cumulated vsize (KiB) 1047156
[startup+1662.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/516 17999
/proc/meminfo: memFree=21764116/32950928 swapFree=58671692/67111528
[pid=17914] ppid=17912 vsize=1047156 CPUtime=1662.3 cores=0,2,4,6
/proc/17914/stat : 17914 (bsolo) R 17912 17914 16455 0 -1 4202496 261230 0 0 0 166156 74 0 0 25 0 1 0 907961544 1072287744 259352 33554432000 134512640 137138936 4294100016 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17914/statm: 261789 259352 192 642 0 261145 0
Current children cumulated CPU time (s) 1662.3
Current children cumulated vsize (KiB) 1047156
[startup+1722.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/516 18000
/proc/meminfo: memFree=21763960/32950928 swapFree=58671692/67111528
[pid=17914] ppid=17912 vsize=1047156 CPUtime=1722.3 cores=0,2,4,6
/proc/17914/stat : 17914 (bsolo) R 17912 17914 16455 0 -1 4202496 261230 0 0 0 172155 75 0 0 25 0 1 0 907961544 1072287744 259352 33554432000 134512640 137138936 4294100016 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17914/statm: 261789 259352 192 642 0 261145 0
Current children cumulated CPU time (s) 1722.3
Current children cumulated vsize (KiB) 1047156
[startup+1782.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/516 18002
/proc/meminfo: memFree=21763072/32950928 swapFree=58671692/67111528
[pid=17914] ppid=17912 vsize=1047156 CPUtime=1782.31 cores=0,2,4,6
/proc/17914/stat : 17914 (bsolo) R 17912 17914 16455 0 -1 4202496 261230 0 0 0 178155 76 0 0 25 0 1 0 907961544 1072287744 259352 33554432000 134512640 137138936 4294100016 18446744073709551615 134542513 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17914/statm: 261789 259352 192 642 0 261145 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 1047156
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.01 2.03 2.00 3/516 18002
/proc/meminfo: memFree=21763076/32950928 swapFree=58671692/67111528
[pid=17914] ppid=17912 vsize=1047156 CPUtime=1785.51 cores=0,2,4,6
/proc/17914/stat : 17914 (bsolo) R 17912 17914 16455 0 -1 4202496 261230 0 0 0 178475 76 0 0 25 0 1 0 907961544 1072287744 259352 33554432000 134512640 137138936 4294100016 18446744073709551615 134542613 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17914/statm: 261789 259352 192 642 0 261145 0
Current children cumulated CPU time (s) 1785.51
Current children cumulated vsize (KiB) 1047156
[startup+1791.92 s]
/proc/loadavg: 2.01 2.03 2.00 3/516 18002
/proc/meminfo: memFree=21764176/32950928 swapFree=58671692/67111528
[pid=17914] ppid=17912 vsize=1047156 CPUtime=1791.93 cores=0,2,4,6
/proc/17914/stat : 17914 (bsolo) R 17912 17914 16455 0 -1 4202496 261230 0 0 0 179117 76 0 0 25 0 1 0 907961544 1072287744 259352 33554432000 134512640 137138936 4294100016 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17914/statm: 261789 259352 192 642 0 261145 0
Current children cumulated CPU time (s) 1791.93
Current children cumulated vsize (KiB) 1047156
[startup+1795.1 s]
/proc/loadavg: 2.01 2.03 2.00 3/516 18002
/proc/meminfo: memFree=21764172/32950928 swapFree=58671692/67111528
[pid=17914] ppid=17912 vsize=1047156 CPUtime=1795.12 cores=0,2,4,6
/proc/17914/stat : 17914 (bsolo) R 17912 17914 16455 0 -1 4202496 261230 0 0 0 179436 76 0 0 25 0 1 0 907961544 1072287744 259352 33554432000 134512640 137138936 4294100016 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17914/statm: 261789 259352 192 642 0 261145 0
Current children cumulated CPU time (s) 1795.12
Current children cumulated vsize (KiB) 1047156
[startup+1796.7 s]
/proc/loadavg: 2.01 2.03 2.00 3/516 18002
/proc/meminfo: memFree=21764172/32950928 swapFree=58671692/67111528
[pid=17914] ppid=17912 vsize=1047156 CPUtime=1796.71 cores=0,2,4,6
/proc/17914/stat : 17914 (bsolo) R 17912 17914 16455 0 -1 4202496 261230 0 0 0 179595 76 0 0 25 0 1 0 907961544 1072287744 259352 33554432000 134512640 137138936 4294100016 18446744073709551615 134542613 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17914/statm: 261789 259352 192 642 0 261145 0
Current children cumulated CPU time (s) 1796.71
Current children cumulated vsize (KiB) 1047156
[startup+1797.5 s]
/proc/loadavg: 2.01 2.03 2.00 3/516 18002
/proc/meminfo: memFree=21763676/32950928 swapFree=58671692/67111528
[pid=17914] ppid=17912 vsize=1047156 CPUtime=1797.51 cores=0,2,4,6
/proc/17914/stat : 17914 (bsolo) R 17912 17914 16455 0 -1 4202496 261230 0 0 0 179675 76 0 0 25 0 1 0 907961544 1072287744 259352 33554432000 134512640 137138936 4294100016 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17914/statm: 261789 259352 192 642 0 261145 0
Current children cumulated CPU time (s) 1797.51
Current children cumulated vsize (KiB) 1047156
[startup+1797.9 s]
/proc/loadavg: 2.01 2.03 2.00 3/516 18002
/proc/meminfo: memFree=21763676/32950928 swapFree=58671692/67111528
[pid=17914] ppid=17912 vsize=1047156 CPUtime=1797.91 cores=0,2,4,6
/proc/17914/stat : 17914 (bsolo) R 17912 17914 16455 0 -1 4202496 261230 0 0 0 179715 76 0 0 25 0 1 0 907961544 1072287744 259352 33554432000 134512640 137138936 4294100016 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17914/statm: 261789 259352 192 642 0 261145 0
Current children cumulated CPU time (s) 1797.91
Current children cumulated vsize (KiB) 1047156
[startup+1798 s]
/proc/loadavg: 2.01 2.03 2.00 3/516 18002
/proc/meminfo: memFree=21763676/32950928 swapFree=58671692/67111528
[pid=17914] ppid=17912 vsize=1047156 CPUtime=1798.01 cores=0,2,4,6
/proc/17914/stat : 17914 (bsolo) R 17912 17914 16455 0 -1 4202496 261230 0 0 0 179725 76 0 0 25 0 1 0 907961544 1072287744 259352 33554432000 134512640 137138936 4294100016 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17914/statm: 261789 259352 192 642 0 261145 0
Current children cumulated CPU time (s) 1798.01
Current children cumulated vsize (KiB) 1047156
Child status: 0
Real time (s): 1798.09
CPU time (s): 1798.1
CPU user time (s): 1797.29
CPU system time (s): 0.810876
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 1047368
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.29
system time used= 0.810876
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 261230
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= 5
involuntary context switches= 3898
runsolver used 9.68653 second user time and 21.3698 second system time
The end