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-3478764-1307436783/watcher-3478764-1307436783 -o /tmp/evaluation-result-3478764-1307436783/solver-3478764-1307436783 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3478764-1307436783.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: 0.00 0.00 0.00 2/532 16421
/proc/meminfo: memFree=28663612/32951124 swapFree=58212616/67111528
[pid=16421] ppid=16419 vsize=55316 CPUtime=0 cores=1,3,5,7
/proc/16421/stat : 16421 (bsolo) R 16419 16421 16389 0 -1 4202496 402 0 0 0 0 0 0 0 21 0 1 0 855276409 56643584 356 33554432000 134512640 137138936 4290758240 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16421/statm: 13829 356 200 642 0 2156 0
[startup+0.0822689 s]
/proc/loadavg: 0.00 0.00 0.00 2/532 16421
/proc/meminfo: memFree=28663612/32951124 swapFree=58212616/67111528
[pid=16421] ppid=16419 vsize=58864 CPUtime=0.07 cores=1,3,5,7
/proc/16421/stat : 16421 (bsolo) R 16419 16421 16389 0 -1 4202496 1595 0 0 0 7 0 0 0 21 0 1 0 855276409 60276736 1549 33554432000 134512640 137138936 4290758240 18446744073709551615 134517592 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16421/statm: 14716 1549 485 642 0 3043 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 58864
[startup+0.10025 s]
/proc/loadavg: 0.00 0.00 0.00 2/532 16421
/proc/meminfo: memFree=28663612/32951124 swapFree=58212616/67111528
[pid=16421] ppid=16419 vsize=59820 CPUtime=0.09 cores=1,3,5,7
/proc/16421/stat : 16421 (bsolo) R 16419 16421 16389 0 -1 4202496 1885 0 0 0 9 0 0 0 21 0 1 0 855276409 61255680 1839 33554432000 134512640 137138936 4290758240 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16421/statm: 14955 1840 557 642 0 3282 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 59820
[startup+0.30023 s]
/proc/loadavg: 0.00 0.00 0.00 2/532 16421
/proc/meminfo: memFree=28663612/32951124 swapFree=58212616/67111528
[pid=16421] ppid=16419 vsize=68964 CPUtime=0.29 cores=1,3,5,7
/proc/16421/stat : 16421 (bsolo) R 16419 16421 16389 0 -1 4202496 4960 0 0 0 29 0 0 0 22 0 1 0 855276409 70619136 4914 33554432000 134512640 137138936 4290758240 18446744073709551615 134517403 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16421/statm: 17241 4915 1325 642 0 5568 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 68964
[startup+0.700147 s]
/proc/loadavg: 0.00 0.00 0.00 2/532 16421
/proc/meminfo: memFree=28663612/32951124 swapFree=58212616/67111528
[pid=16421] ppid=16419 vsize=87132 CPUtime=0.69 cores=1,3,5,7
/proc/16421/stat : 16421 (bsolo) R 16419 16421 16389 0 -1 4202496 11030 0 0 0 68 1 0 0 24 0 1 0 855276409 89223168 10984 33554432000 134512640 137138936 4290758240 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16421/statm: 21783 10984 2858 642 0 10110 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 87132
[startup+1.50102 s]
/proc/loadavg: 0.00 0.00 0.00 3/533 16422
/proc/meminfo: memFree=28564520/32951124 swapFree=58212616/67111528
[pid=16421] ppid=16419 vsize=119852 CPUtime=1.49 cores=1,3,5,7
/proc/16421/stat : 16421 (bsolo) R 16419 16421 16389 0 -1 4202496 22191 0 0 0 147 2 0 0 25 0 1 0 855276409 122728448 22105 33554432000 134512640 137138936 4290758240 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16421/statm: 29963 22105 5810 642 0 18290 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 119852
[startup+3.10073 s]
/proc/loadavg: 0.16 0.03 0.01 3/533 16422
/proc/meminfo: memFree=28463324/32951124 swapFree=58212616/67111528
[pid=16421] ppid=16419 vsize=146108 CPUtime=3.09 cores=1,3,5,7
/proc/16421/stat : 16421 (bsolo) R 16419 16421 16389 0 -1 4202496 45118 0 0 0 304 5 0 0 25 0 1 0 855276409 149614592 33924 33554432000 134512640 137138936 4290758240 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16421/statm: 36527 33930 181 642 0 35883 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 146108
[startup+6.30116 s]
/proc/loadavg: 0.16 0.03 0.01 3/533 16422
/proc/meminfo: memFree=28105052/32951124 swapFree=58212616/67111528
[pid=16421] ppid=16419 vsize=251196 CPUtime=6.29 cores=1,3,5,7
/proc/16421/stat : 16421 (bsolo) R 16419 16421 16389 0 -1 4202496 71423 0 0 0 614 15 0 0 25 0 1 0 855276409 257224704 60141 33554432000 134512640 137138936 4290758240 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16421/statm: 62799 60141 184 642 0 62155 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 251196
[startup+12.701 s]
/proc/loadavg: 0.44 0.10 0.03 3/533 16422
/proc/meminfo: memFree=27762144/32951124 swapFree=58212616/67111528
[pid=16421] ppid=16419 vsize=251196 CPUtime=12.7 cores=1,3,5,7
/proc/16421/stat : 16421 (bsolo) R 16419 16421 16389 0 -1 4202496 71430 0 0 0 1245 25 0 0 25 0 1 0 855276409 257224704 60148 33554432000 134512640 137138936 4290758240 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16421/statm: 62799 60148 184 642 0 62155 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 251196
[startup+25.5008 s]
/proc/loadavg: 0.68 0.16 0.05 3/536 16428
/proc/meminfo: memFree=27358588/32951124 swapFree=58212616/67111528
[pid=16421] ppid=16419 vsize=251196 CPUtime=25.49 cores=1,3,5,7
/proc/16421/stat : 16421 (bsolo) R 16419 16421 16389 0 -1 4202496 71438 0 0 0 2514 35 0 0 25 0 1 0 855276409 257224704 60156 33554432000 134512640 137138936 4290758240 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16421/statm: 62799 60156 184 642 0 62155 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 251196
[startup+51.1003 s]
/proc/loadavg: 1.20 0.32 0.11 3/536 16429
/proc/meminfo: memFree=26555220/32951124 swapFree=58212616/67111528
[pid=16421] ppid=16419 vsize=251328 CPUtime=51.1 cores=1,3,5,7
/proc/16421/stat : 16421 (bsolo) R 16419 16421 16389 0 -1 4202496 71449 0 0 0 5058 52 0 0 25 0 1 0 855276409 257359872 60167 33554432000 134512640 137138936 4290758240 18446744073709551615 134540051 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16421/statm: 62832 60167 184 642 0 62188 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 251328
[startup+102.3 s]
/proc/loadavg: 1.68 0.60 0.21 3/536 16430
/proc/meminfo: memFree=24346856/32951124 swapFree=58212616/67111528
[pid=16421] ppid=16419 vsize=251328 CPUtime=102.29 cores=1,3,5,7
/proc/16421/stat : 16421 (bsolo) R 16419 16421 16389 0 -1 4202496 71465 0 0 0 10155 74 0 0 25 0 1 0 855276409 257359872 60183 33554432000 134512640 137138936 4290758240 18446744073709551615 134540164 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16421/statm: 62832 60183 184 642 0 62188 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 251328
[startup+162.301 s]
/proc/loadavg: 1.88 0.85 0.32 3/536 16432
/proc/meminfo: memFree=24346568/32951124 swapFree=58212616/67111528
[pid=16421] ppid=16419 vsize=251460 CPUtime=162.3 cores=1,3,5,7
/proc/16421/stat : 16421 (bsolo) R 16419 16421 16389 0 -1 4202496 71480 0 0 0 16132 98 0 0 25 0 1 0 855276409 257495040 60198 33554432000 134512640 137138936 4290758240 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16421/statm: 62865 60198 184 642 0 62221 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 251460
[startup+222.301 s]
/proc/loadavg: 2.08 1.09 0.44 3/536 16434
/proc/meminfo: memFree=24354452/32951124 swapFree=58212616/67111528
[pid=16421] ppid=16419 vsize=244284 CPUtime=222.29 cores=1,3,5,7
/proc/16421/stat : 16421 (bsolo) R 16419 16421 16389 0 -1 4202496 85227 0 0 0 22044 185 0 0 25 0 1 0 855276409 250146816 58409 33554432000 134512640 137138936 4290758240 18446744073709551615 136504512 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16421/statm: 61071 58409 192 642 0 60427 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 244284
[startup+282.321 s]
/proc/loadavg: 2.08 1.27 0.54 3/536 16435
/proc/meminfo: memFree=24318716/32951124 swapFree=58212616/67111528
[pid=16421] ppid=16419 vsize=312132 CPUtime=282.32 cores=1,3,5,7
/proc/16421/stat : 16421 (bsolo) R 16419 16421 16389 0 -1 4202496 102189 0 0 0 28024 208 0 0 25 0 1 0 855276409 319623168 75371 33554432000 134512640 137138936 4290758240 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16421/statm: 78033 75371 192 642 0 77389 0
Current children cumulated CPU time (s) 282.32
Current children cumulated vsize (KiB) 312132
[startup+342.301 s]
/proc/loadavg: 2.03 1.40 0.62 3/536 16437
/proc/meminfo: memFree=24264380/32951124 swapFree=58212616/67111528
[pid=16421] ppid=16419 vsize=365940 CPUtime=342.3 cores=1,3,5,7
/proc/16421/stat : 16421 (bsolo) R 16419 16421 16389 0 -1 4202496 115641 0 0 0 34016 214 0 0 25 0 1 0 855276409 374722560 88823 33554432000 134512640 137138936 4290758240 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16421/statm: 91485 88823 192 642 0 90841 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 365940
[startup+402.3 s]
/proc/loadavg: 2.01 1.51 0.71 3/536 16438
/proc/meminfo: memFree=24226652/32951124 swapFree=58212616/67111528
[pid=16421] ppid=16419 vsize=403560 CPUtime=402.3 cores=1,3,5,7
/proc/16421/stat : 16421 (bsolo) R 16419 16421 16389 0 -1 4202496 125046 0 0 0 40013 217 0 0 25 0 1 0 855276409 413245440 98228 33554432000 134512640 137138936 4290758240 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16421/statm: 100890 98228 192 642 0 100246 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 403560
[startup+462.301 s]
/proc/loadavg: 2.00 1.59 0.79 3/536 16440
/proc/meminfo: memFree=24193268/32951124 swapFree=58212616/67111528
[pid=16421] ppid=16419 vsize=437504 CPUtime=462.3 cores=1,3,5,7
/proc/16421/stat : 16421 (bsolo) R 16419 16421 16389 0 -1 4202496 133534 0 0 0 46010 220 0 0 25 0 1 0 855276409 448004096 106716 33554432000 134512640 137138936 4290758240 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16421/statm: 109376 106716 192 642 0 108732 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 437504
[startup+522.3 s]
/proc/loadavg: 2.07 1.69 0.87 3/536 16451
/proc/meminfo: memFree=24162892/32951124 swapFree=58212616/67111528
[pid=16421] ppid=16419 vsize=467108 CPUtime=522.3 cores=1,3,5,7
/proc/16421/stat : 16421 (bsolo) R 16419 16421 16389 0 -1 4202496 140933 0 0 0 52002 228 0 0 25 0 1 0 855276409 478318592 114115 33554432000 134512640 137138936 4290758240 18446744073709551615 134542286 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16421/statm: 116777 114115 192 642 0 116133 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 467108
[startup+582.301 s]
/proc/loadavg: 2.09 1.77 0.95 3/536 16452
/proc/meminfo: memFree=24136696/32951124 swapFree=58212616/67111528
[pid=16421] ppid=16419 vsize=494080 CPUtime=582.3 cores=1,3,5,7
/proc/16421/stat : 16421 (bsolo) R 16419 16421 16389 0 -1 4202496 147676 0 0 0 58000 230 0 0 25 0 1 0 855276409 505937920 120858 33554432000 134512640 137138936 4290758240 18446744073709551615 134542286 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16421/statm: 123520 120858 192 642 0 122876 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 494080
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=23932692/32951124 swapFree=58212616/67111528
[pid=16421] ppid=16419 vsize=698132 CPUtime=1062.31 cores=1,3,5,7
/proc/16421/stat : 16421 (bsolo) R 16419 16421 16389 0 -1 4202496 198693 0 0 0 105948 283 0 0 25 0 1 0 855276409 714887168 171875 33554432000 134512640 137138936 4290758240 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16421/statm: 174533 171875 192 642 0 173889 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 698132
[startup+1122.3 s]
/proc/loadavg: 2.08 2.00 1.42 3/536 16470
/proc/meminfo: memFree=23892992/32951124 swapFree=58212616/67111528
[pid=16421] ppid=16419 vsize=737816 CPUtime=1122.32 cores=1,3,5,7
/proc/16421/stat : 16421 (bsolo) R 16419 16421 16389 0 -1 4202496 208635 0 0 0 111946 286 0 0 25 0 1 0 855276409 755523584 181817 33554432000 134512640 137138936 4290758240 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16421/statm: 184454 181817 192 642 0 183810 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 737816
[startup+1182.3 s]
/proc/loadavg: 2.03 2.00 1.45 3/536 16471
/proc/meminfo: memFree=23847832/32951124 swapFree=58212616/67111528
[pid=16421] ppid=16419 vsize=781736 CPUtime=1182.32 cores=1,3,5,7
/proc/16421/stat : 16421 (bsolo) R 16419 16421 16389 0 -1 4202496 219593 0 0 0 117944 288 0 0 25 0 1 0 855276409 800497664 192775 33554432000 134512640 137138936 4290758240 18446744073709551615 134542354 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16421/statm: 195434 192775 192 642 0 194790 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 781736
[startup+1242.3 s]
/proc/loadavg: 2.01 2.00 1.48 3/536 16473
/proc/meminfo: memFree=23818052/32951124 swapFree=58212616/67111528
[pid=16421] ppid=16419 vsize=811968 CPUtime=1242.32 cores=1,3,5,7
/proc/16421/stat : 16421 (bsolo) R 16419 16421 16389 0 -1 4202496 227152 0 0 0 123942 290 0 0 25 0 1 0 855276409 831455232 200334 33554432000 134512640 137138936 4290758240 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16421/statm: 202992 200334 192 642 0 202348 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 811968
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.51 3/536 16474
/proc/meminfo: memFree=23792852/32951124 swapFree=58212616/67111528
[pid=16421] ppid=16419 vsize=835756 CPUtime=1302.32 cores=1,3,5,7
/proc/16421/stat : 16421 (bsolo) R 16419 16421 16389 0 -1 4202496 233099 0 0 0 129940 292 0 0 25 0 1 0 855276409 855814144 206281 33554432000 134512640 137138936 4290758240 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16421/statm: 208939 206281 192 642 0 208295 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 835756
[startup+1362.3 s]
/proc/loadavg: 2.09 2.03 1.55 3/536 16476
/proc/meminfo: memFree=23775100/32951124 swapFree=58212616/67111528
[pid=16421] ppid=16419 vsize=855220 CPUtime=1362.32 cores=1,3,5,7
/proc/16421/stat : 16421 (bsolo) R 16419 16421 16389 0 -1 4202496 237965 0 0 0 135921 311 0 0 25 0 1 0 855276409 875745280 211147 33554432000 134512640 137138936 4290758240 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16421/statm: 213805 211147 192 642 0 213161 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 855220
[startup+1422.3 s]
/proc/loadavg: 2.07 2.03 1.58 4/536 16478
/proc/meminfo: memFree=23759320/32951124 swapFree=58212616/67111528
[pid=16421] ppid=16419 vsize=871164 CPUtime=1422.32 cores=1,3,5,7
/proc/16421/stat : 16421 (bsolo) R 16419 16421 16389 0 -1 4202496 241951 0 0 0 141919 313 0 0 25 0 1 0 855276409 892071936 215133 33554432000 134512640 137138936 4290758240 18446744073709551615 136504096 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16421/statm: 217791 215133 192 642 0 217147 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 871164
[startup+1482.3 s]
/proc/loadavg: 2.02 2.03 1.60 3/536 16479
/proc/meminfo: memFree=23733884/32951124 swapFree=58212616/67111528
[pid=16421] ppid=16419 vsize=895892 CPUtime=1482.33 cores=1,3,5,7
/proc/16421/stat : 16421 (bsolo) R 16419 16421 16389 0 -1 4202496 248133 0 0 0 147918 315 0 0 25 0 1 0 855276409 917393408 221315 33554432000 134512640 137138936 4290758240 18446744073709551615 134609387 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16421/statm: 223973 221315 192 642 0 223329 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 895892
[startup+1542.3 s]
/proc/loadavg: 2.01 2.02 1.63 3/536 16481
/proc/meminfo: memFree=23648288/32951124 swapFree=58212616/67111528
[pid=16421] ppid=16419 vsize=927364 CPUtime=1542.32 cores=1,3,5,7
/proc/16421/stat : 16421 (bsolo) R 16419 16421 16389 0 -1 4202496 256001 0 0 0 153915 317 0 0 25 0 1 0 855276409 949620736 229183 33554432000 134512640 137138936 4290758240 18446744073709551615 136502600 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16421/statm: 231841 229183 192 642 0 231197 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 927364
[startup+1602.32 s]
/proc/loadavg: 2.00 2.01 1.65 3/536 16482
/proc/meminfo: memFree=23557136/32951124 swapFree=58212616/67111528
[pid=16421] ppid=16419 vsize=948976 CPUtime=1602.35 cores=1,3,5,7
/proc/16421/stat : 16421 (bsolo) R 16419 16421 16389 0 -1 4202496 261404 0 0 0 159916 319 0 0 25 0 1 0 855276409 971751424 234586 33554432000 134512640 137138936 4290758240 18446744073709551615 136296993 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16421/statm: 237244 234586 192 642 0 236600 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 948976
[startup+1662.3 s]
/proc/loadavg: 2.12 2.04 1.67 3/536 16484
/proc/meminfo: memFree=23493124/32951124 swapFree=58212616/67111528
[pid=16421] ppid=16419 vsize=976016 CPUtime=1662.32 cores=1,3,5,7
/proc/16421/stat : 16421 (bsolo) R 16419 16421 16389 0 -1 4202496 268164 0 0 0 165911 321 0 0 25 0 1 0 855276409 999440384 241346 33554432000 134512640 137138936 4290758240 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16421/statm: 244004 241346 192 642 0 243360 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 976016
[startup+1722.3 s]
/proc/loadavg: 2.10 2.04 1.70 3/536 16486
/proc/meminfo: memFree=23386216/32951124 swapFree=58212616/67111528
[pid=16421] ppid=16419 vsize=994668 CPUtime=1722.33 cores=1,3,5,7
/proc/16421/stat : 16421 (bsolo) R 16419 16421 16389 0 -1 4202496 272828 0 0 0 171910 323 0 0 25 0 1 0 855276409 1018540032 246010 33554432000 134512640 137138936 4290758240 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16421/statm: 248667 246010 192 642 0 248023 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 994668
[startup+1782.3 s]
/proc/loadavg: 2.04 2.03 1.71 3/536 16487
/proc/meminfo: memFree=23276828/32951124 swapFree=58212616/67111528
[pid=16421] ppid=16419 vsize=1014120 CPUtime=1782.32 cores=1,3,5,7
/proc/16421/stat : 16421 (bsolo) R 16419 16421 16389 0 -1 4202496 277690 0 0 0 177908 324 0 0 25 0 1 0 855276409 1038458880 250872 33554432000 134512640 137138936 4290758240 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16421/statm: 253530 250872 192 642 0 252886 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 1014120
Solver just ended. Dumping a history of the last processes samples
[startup+1786.2 s]
/proc/loadavg: 2.04 2.03 1.71 3/536 16487
/proc/meminfo: memFree=23269264/32951124 swapFree=58212616/67111528
[pid=16421] ppid=16419 vsize=1014896 CPUtime=1786.22 cores=1,3,5,7
/proc/16421/stat : 16421 (bsolo) R 16419 16421 16389 0 -1 4202496 277884 0 0 0 178298 324 0 0 25 0 1 0 855276409 1039253504 251066 33554432000 134512640 137138936 4290758240 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16421/statm: 253724 251066 192 642 0 253080 0
Current children cumulated CPU time (s) 1786.22
Current children cumulated vsize (KiB) 1014896
[startup+1792.62 s]
/proc/loadavg: 2.03 2.03 1.72 3/536 16488
/proc/meminfo: memFree=23262064/32951124 swapFree=58212616/67111528
[pid=16421] ppid=16419 vsize=1017168 CPUtime=1792.65 cores=1,3,5,7
/proc/16421/stat : 16421 (bsolo) R 16419 16421 16389 0 -1 4202496 278451 0 0 0 178940 325 0 0 25 0 1 0 855276409 1041580032 251633 33554432000 134512640 137138936 4290758240 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16421/statm: 254292 251633 192 642 0 253648 0
Current children cumulated CPU time (s) 1792.65
Current children cumulated vsize (KiB) 1017168
[startup+1795.8 s]
/proc/loadavg: 2.03 2.03 1.72 3/536 16488
/proc/meminfo: memFree=23255364/32951124 swapFree=58212616/67111528
[pid=16421] ppid=16419 vsize=1018024 CPUtime=1795.84 cores=1,3,5,7
/proc/16421/stat : 16421 (bsolo) R 16419 16421 16389 0 -1 4202496 278666 0 0 0 179259 325 0 0 25 0 1 0 855276409 1042456576 251848 33554432000 134512640 137138936 4290758240 18446744073709551615 134543082 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16421/statm: 254506 251848 192 642 0 253862 0
Current children cumulated CPU time (s) 1795.84
Current children cumulated vsize (KiB) 1018024
[startup+1797.4 s]
/proc/loadavg: 2.03 2.03 1.72 3/536 16488
/proc/meminfo: memFree=23253132/32951124 swapFree=58212616/67111528
[pid=16421] ppid=16419 vsize=1018784 CPUtime=1797.43 cores=1,3,5,7
/proc/16421/stat : 16421 (bsolo) R 16419 16421 16389 0 -1 4202496 278856 0 0 0 179418 325 0 0 25 0 1 0 855276409 1043234816 252038 33554432000 134512640 137138936 4290758240 18446744073709551615 134575390 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16421/statm: 254696 252038 192 642 0 254052 0
Current children cumulated CPU time (s) 1797.43
Current children cumulated vsize (KiB) 1018784
[startup+1797.8 s]
/proc/loadavg: 2.03 2.03 1.72 3/536 16488
/proc/meminfo: memFree=23253132/32951124 swapFree=58212616/67111528
[pid=16421] ppid=16419 vsize=1018784 CPUtime=1797.83 cores=1,3,5,7
/proc/16421/stat : 16421 (bsolo) R 16419 16421 16389 0 -1 4202496 278856 0 0 0 179458 325 0 0 25 0 1 0 855276409 1043234816 252038 33554432000 134512640 137138936 4290758240 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16421/statm: 254696 252038 192 642 0 254052 0
Current children cumulated CPU time (s) 1797.83
Current children cumulated vsize (KiB) 1018784
[startup+1798 s]
/proc/loadavg: 2.03 2.03 1.72 3/536 16488
/proc/meminfo: memFree=23462940/32951124 swapFree=58212616/67111528
[pid=16421] ppid=16419 vsize=0 CPUtime=1798.04 cores=1,3,5,7
/proc/16421/stat : 16421 (bsolo) R 16419 16421 16389 0 -1 4202500 278856 0 0 0 179477 327 0 0 25 0 1 0 855276409 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/16421/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.04
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 1798.03
CPU time (s): 1798.07
CPU user time (s): 1794.78
CPU system time (s): 3.2935
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1018784
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.78
system time used= 3.2935
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 278856
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= 19617
runsolver used 9.02163 second user time and 22.5736 second system time
The end