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-3462438-1307184781/watcher-3462438-1307184781 -o /tmp/evaluation-result-3462438-1307184781/solver-3462438-1307184781 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462438-1307184781.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.01 2.00 3/429 3279
/proc/meminfo: memFree=27980912/32951124 swapFree=43324008/67111528
[pid=3279] ppid=3276 vsize=11796 CPUtime=0 cores=1,3,5,7
/proc/3279/stat : 3279 (runsolver) R 3276 3279 585 0 -1 4202560 42 0 0 0 0 0 0 0 25 0 1 0 830078541 12079104 51 33554432000 4194304 5432328 140733297365264 18446744073709551615 4881591 0 2147483391 4096 24578 0 0 0 17 7 0 0 0
/proc/3279/statm: 2949 51 31 303 0 2643 0
[startup+0.043739 s]
/proc/loadavg: 2.00 2.01 2.00 3/429 3279
/proc/meminfo: memFree=27980912/32951124 swapFree=43324008/67111528
[pid=3279] ppid=3276 vsize=14628 CPUtime=0.02 cores=1,3,5,7
/proc/3279/stat : 3279 (bsolo) R 3276 3279 585 0 -1 4202496 1238 0 0 0 2 0 0 0 25 0 1 0 830078541 14979072 1192 33554432000 134512640 137138936 4292524224 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3279/statm: 3657 1193 209 642 0 2972 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 14628
[startup+0.100729 s]
/proc/loadavg: 2.00 2.01 2.00 3/429 3279
/proc/meminfo: memFree=27980912/32951124 swapFree=43324008/67111528
[pid=3279] ppid=3276 vsize=17580 CPUtime=0.08 cores=1,3,5,7
/proc/3279/stat : 3279 (bsolo) R 3276 3279 585 0 -1 4202496 2026 0 0 0 8 0 0 0 25 0 1 0 830078541 18001920 1939 33554432000 134512640 137138936 4292524224 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3279/statm: 4395 1939 185 642 0 3751 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 17580
[startup+0.30069 s]
/proc/loadavg: 2.00 2.01 2.00 3/429 3279
/proc/meminfo: memFree=27980912/32951124 swapFree=43324008/67111528
[pid=3279] ppid=3276 vsize=17700 CPUtime=0.28 cores=1,3,5,7
/proc/3279/stat : 3279 (bsolo) R 3276 3279 585 0 -1 4202496 2027 0 0 0 28 0 0 0 25 0 1 0 830078541 18124800 1940 33554432000 134512640 137138936 4292524224 18446744073709551615 136297647 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3279/statm: 4425 1940 185 642 0 3781 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 17700
[startup+0.700616 s]
/proc/loadavg: 2.00 2.01 2.00 3/429 3279
/proc/meminfo: memFree=27980912/32951124 swapFree=43324008/67111528
[pid=3279] ppid=3276 vsize=17700 CPUtime=0.68 cores=1,3,5,7
/proc/3279/stat : 3279 (bsolo) R 3276 3279 585 0 -1 4202496 2027 0 0 0 68 0 0 0 25 0 1 0 830078541 18124800 1940 33554432000 134512640 137138936 4292524224 18446744073709551615 134543413 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3279/statm: 4425 1940 185 642 0 3781 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 17700
[startup+1.50047 s]
/proc/loadavg: 2.00 2.01 2.00 3/430 3280
/proc/meminfo: memFree=27973484/32951124 swapFree=43324008/67111528
[pid=3279] ppid=3276 vsize=17700 CPUtime=1.48 cores=1,3,5,7
/proc/3279/stat : 3279 (bsolo) R 3276 3279 585 0 -1 4202496 2027 0 0 0 148 0 0 0 25 0 1 0 830078541 18124800 1940 33554432000 134512640 137138936 4292524224 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3279/statm: 4425 1940 185 642 0 3781 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 17700
[startup+3.10017 s]
/proc/loadavg: 2.00 2.01 2.00 3/430 3280
/proc/meminfo: memFree=27972616/32951124 swapFree=43324008/67111528
[pid=3279] ppid=3276 vsize=17700 CPUtime=3.08 cores=1,3,5,7
/proc/3279/stat : 3279 (bsolo) R 3276 3279 585 0 -1 4202496 2027 0 0 0 308 0 0 0 25 0 1 0 830078541 18124800 1940 33554432000 134512640 137138936 4292524224 18446744073709551615 134566350 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3279/statm: 4425 1940 185 642 0 3781 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 17700
[startup+6.30058 s]
/proc/loadavg: 2.00 2.01 2.00 3/430 3280
/proc/meminfo: memFree=27972328/32951124 swapFree=43324008/67111528
[pid=3279] ppid=3276 vsize=17700 CPUtime=6.28 cores=1,3,5,7
/proc/3279/stat : 3279 (bsolo) R 3276 3279 585 0 -1 4202496 2027 0 0 0 628 0 0 0 25 0 1 0 830078541 18124800 1940 33554432000 134512640 137138936 4292524224 18446744073709551615 136504449 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3279/statm: 4425 1940 185 642 0 3781 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 17700
[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 2.00 3/430 3280
/proc/meminfo: memFree=27971816/32951124 swapFree=43324008/67111528
[pid=3279] ppid=3276 vsize=17700 CPUtime=12.67 cores=1,3,5,7
/proc/3279/stat : 3279 (bsolo) R 3276 3279 585 0 -1 4202496 2028 0 0 0 1267 0 0 0 25 0 1 0 830078541 18124800 1941 33554432000 134512640 137138936 4292524224 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3279/statm: 4425 1941 185 642 0 3781 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 17700
[startup+25.501 s]
/proc/loadavg: 2.00 2.01 2.00 3/430 3281
/proc/meminfo: memFree=27952456/32951124 swapFree=43324008/67111528
[pid=3279] ppid=3276 vsize=38664 CPUtime=25.47 cores=1,3,5,7
/proc/3279/stat : 3279 (bsolo) R 3276 3279 585 0 -1 4202496 7698 0 0 0 2534 13 0 0 25 0 1 0 830078541 39591936 7220 33554432000 134512640 137138936 4292524224 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3279/statm: 9666 7220 192 642 0 9022 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 38664
[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.00 3/430 3281
/proc/meminfo: memFree=27889256/32951124 swapFree=43324008/67111528
[pid=3279] ppid=3276 vsize=101356 CPUtime=51.07 cores=1,3,5,7
/proc/3279/stat : 3279 (bsolo) R 3276 3279 585 0 -1 4202496 23376 0 0 0 5070 37 0 0 25 0 1 0 830078541 103788544 22898 33554432000 134512640 137138936 4292524224 18446744073709551615 134573857 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3279/statm: 25339 22898 192 642 0 24695 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 101356
[startup+102.317 s]
/proc/loadavg: 2.06 2.02 2.00 3/430 3284
/proc/meminfo: memFree=27795340/32951124 swapFree=43324008/67111528
[pid=3279] ppid=3276 vsize=194588 CPUtime=102.3 cores=1,3,5,7
/proc/3279/stat : 3279 (bsolo) R 3276 3279 585 0 -1 4202496 46680 0 0 0 10154 76 0 0 25 0 1 0 830078541 199258112 46202 33554432000 134512640 137138936 4292524224 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3279/statm: 48647 46202 192 642 0 48003 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 194588
[startup+162.301 s]
/proc/loadavg: 2.07 2.03 2.00 3/430 3285
/proc/meminfo: memFree=27707124/32951124 swapFree=43324008/67111528
[pid=3279] ppid=3276 vsize=281860 CPUtime=162.28 cores=1,3,5,7
/proc/3279/stat : 3279 (bsolo) R 3276 3279 585 0 -1 4202496 68489 0 0 0 16121 107 0 0 25 0 1 0 830078541 288624640 68011 33554432000 134512640 137138936 4292524224 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3279/statm: 70465 68011 192 642 0 69821 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 281860
[startup+222.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/430 3287
/proc/meminfo: memFree=27642480/32951124 swapFree=43324008/67111528
[pid=3279] ppid=3276 vsize=346308 CPUtime=222.28 cores=1,3,5,7
/proc/3279/stat : 3279 (bsolo) R 3276 3279 585 0 -1 4202496 84598 0 0 0 22099 129 0 0 25 0 1 0 830078541 354619392 84120 33554432000 134512640 137138936 4292524224 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3279/statm: 86577 84120 192 642 0 85933 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 346308
[startup+282.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/430 3290
/proc/meminfo: memFree=27588988/32951124 swapFree=43324008/67111528
[pid=3279] ppid=3276 vsize=400476 CPUtime=282.28 cores=1,3,5,7
/proc/3279/stat : 3279 (bsolo) R 3276 3279 585 0 -1 4202496 98168 0 0 0 28078 150 0 0 25 0 1 0 830078541 410087424 97690 33554432000 134512640 137138936 4292524224 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3279/statm: 100119 97690 192 642 0 99475 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 400476
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/430 3291
/proc/meminfo: memFree=27546292/32951124 swapFree=43324008/67111528
[pid=3279] ppid=3276 vsize=442244 CPUtime=342.29 cores=1,3,5,7
/proc/3279/stat : 3279 (bsolo) R 3276 3279 585 0 -1 4202496 108608 0 0 0 34058 171 0 0 25 0 1 0 830078541 452857856 108130 33554432000 134512640 137138936 4292524224 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3279/statm: 110561 108130 192 642 0 109917 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 442244
[startup+402.301 s]
/proc/loadavg: 2.10 2.04 2.01 3/430 3295
/proc/meminfo: memFree=27503736/32951124 swapFree=43324008/67111528
[pid=3279] ppid=3276 vsize=485564 CPUtime=402.29 cores=1,3,5,7
/proc/3279/stat : 3279 (bsolo) R 3276 3279 585 0 -1 4202496 119440 0 0 0 40038 191 0 0 25 0 1 0 830078541 497217536 118962 33554432000 134512640 137138936 4292524224 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3279/statm: 121391 118962 192 642 0 120747 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 485564
[startup+462.301 s]
/proc/loadavg: 2.03 2.03 2.00 3/430 3296
/proc/meminfo: memFree=27470568/32951124 swapFree=43324008/67111528
[pid=3279] ppid=3276 vsize=527816 CPUtime=462.29 cores=1,3,5,7
/proc/3279/stat : 3279 (bsolo) R 3276 3279 585 0 -1 4202496 129979 0 0 0 46019 210 0 0 25 0 1 0 830078541 540483584 129501 33554432000 134512640 137138936 4292524224 18446744073709551615 136511187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3279/statm: 131954 129501 192 642 0 131310 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 527816
[startup+522.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/430 3308
/proc/meminfo: memFree=27429524/32951124 swapFree=43324008/67111528
[pid=3279] ppid=3276 vsize=568020 CPUtime=522.29 cores=1,3,5,7
/proc/3279/stat : 3279 (bsolo) R 3276 3279 585 0 -1 4202496 140026 0 0 0 52002 227 0 0 25 0 1 0 830078541 581652480 139548 33554432000 134512640 137138936 4292524224 18446744073709551615 134542246 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3279/statm: 142005 139548 192 642 0 141361 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 568020
[startup+582.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/430 3310
/proc/meminfo: memFree=27394520/32951124 swapFree=43324008/67111528
[pid=3279] ppid=3276 vsize=602708 CPUtime=582.3 cores=1,3,5,7
/proc/3279/stat : 3279 (bsolo) R 3276 3279 585 0 -1 4202496 148698 0 0 0 57986 244 0 0 25 0 1 0 830078541 617172992 148220 33554432000 134512640 137138936 4292524224 18446744073709551615 134542764 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3279/statm: 150677 148220 192 642 0 150033 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 602708
[startup+642.3 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/430 3349
/proc/meminfo: memFree=28278868/32951124 swapFree=43324008/67111528
[pid=3279] ppid=3276 vsize=746756 CPUtime=822.3 cores=1,3,5,7
/proc/3279/stat : 3279 (bsolo) R 3276 3279 585 0 -1 4202496 184710 0 0 0 81924 306 0 0 25 0 1 0 830078541 764678144 184232 33554432000 134512640 137138936 4292524224 18446744073709551615 135984589 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3279/statm: 186689 184232 192 642 0 186045 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 746756
[startup+882.301 s]
/proc/loadavg: 2.15 2.04 2.01 3/430 3351
/proc/meminfo: memFree=28246580/32951124 swapFree=43324008/67111528
[pid=3279] ppid=3276 vsize=780056 CPUtime=882.3 cores=1,3,5,7
/proc/3279/stat : 3279 (bsolo) R 3276 3279 585 0 -1 4202496 193035 0 0 0 87904 326 0 0 25 0 1 0 830078541 798777344 192557 33554432000 134512640 137138936 4292524224 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3279/statm: 195014 192557 192 642 0 194370 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 780056
[startup+942.301 s]
/proc/loadavg: 2.12 2.04 2.01 3/430 3353
/proc/meminfo: memFree=28200812/32951124 swapFree=43324008/67111528
[pid=3279] ppid=3276 vsize=817768 CPUtime=942.31 cores=1,3,5,7
/proc/3279/stat : 3279 (bsolo) R 3276 3279 585 0 -1 4202496 202463 0 0 0 93890 341 0 0 25 0 1 0 830078541 837394432 201985 33554432000 134512640 137138936 4292524224 18446744073709551615 134543206 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3279/statm: 204442 201985 192 642 0 203798 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 817768
[startup+1002.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/430 3356
/proc/meminfo: memFree=28163064/32951124 swapFree=43324008/67111528
[pid=3279] ppid=3276 vsize=850204 CPUtime=1002.31 cores=1,3,5,7
/proc/3279/stat : 3279 (bsolo) R 3276 3279 585 0 -1 4202496 210587 0 0 0 99873 358 0 0 25 0 1 0 830078541 870608896 210109 33554432000 134512640 137138936 4292524224 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3279/statm: 212551 210109 192 642 0 211907 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 850204
[startup+1062.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/430 3357
/proc/meminfo: memFree=28122588/32951124 swapFree=43324008/67111528
[pid=3279] ppid=3276 vsize=877744 CPUtime=1062.31 cores=1,3,5,7
/proc/3279/stat : 3279 (bsolo) R 3276 3279 585 0 -1 4202496 217457 0 0 0 105862 369 0 0 25 0 1 0 830078541 898809856 216979 33554432000 134512640 137138936 4292524224 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3279/statm: 219436 216979 192 642 0 218792 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 877744
[startup+1122.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/430 3359
/proc/meminfo: memFree=28084596/32951124 swapFree=43324008/67111528
[pid=3279] ppid=3276 vsize=908816 CPUtime=1122.31 cores=1,3,5,7
/proc/3279/stat : 3279 (bsolo) R 3276 3279 585 0 -1 4202496 225249 0 0 0 111847 384 0 0 25 0 1 0 830078541 930627584 224771 33554432000 134512640 137138936 4292524224 18446744073709551615 134542766 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3279/statm: 227204 224771 192 642 0 226560 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 908816
[startup+1182.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/430 3362
/proc/meminfo: memFree=28056156/32951124 swapFree=43324008/67111528
[pid=3279] ppid=3276 vsize=937792 CPUtime=1182.32 cores=1,3,5,7
/proc/3279/stat : 3279 (bsolo) R 3276 3279 585 0 -1 4202496 232481 0 0 0 117831 401 0 0 25 0 1 0 830078541 960299008 232003 33554432000 134512640 137138936 4292524224 18446744073709551615 136506283 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3279/statm: 234448 232003 192 642 0 233804 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 937792
[startup+1242.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/430 3363
/proc/meminfo: memFree=28013076/32951124 swapFree=43324008/67111528
[pid=3279] ppid=3276 vsize=976636 CPUtime=1242.31 cores=1,3,5,7
/proc/3279/stat : 3279 (bsolo) R 3276 3279 585 0 -1 4202496 242211 0 0 0 123813 418 0 0 25 0 1 0 830078541 1000075264 241733 33554432000 134512640 137138936 4292524224 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3279/statm: 244159 241733 192 642 0 243515 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 976636
[startup+1302.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/430 3367
/proc/meminfo: memFree=27972856/32951124 swapFree=43324008/67111528
[pid=3279] ppid=3276 vsize=1015280 CPUtime=1302.32 cores=1,3,5,7
/proc/3279/stat : 3279 (bsolo) R 3276 3279 585 0 -1 4202496 251840 0 0 0 129800 432 0 0 25 0 1 0 830078541 1039646720 251362 33554432000 134512640 137138936 4292524224 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3279/statm: 253820 251362 192 642 0 253176 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 1015280
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/430 3368
/proc/meminfo: memFree=27948252/32951124 swapFree=43324008/67111528
[pid=3279] ppid=3276 vsize=1040404 CPUtime=1362.32 cores=1,3,5,7
/proc/3279/stat : 3279 (bsolo) R 3276 3279 585 0 -1 4202496 258493 0 0 0 135789 443 0 0 25 0 1 0 830078541 1065373696 257673 33554432000 134512640 137138936 4292524224 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3279/statm: 260101 257673 192 642 0 259457 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 1040404
[startup+1422.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/430 3370
/proc/meminfo: memFree=27948100/32951124 swapFree=43324008/67111528
[pid=3279] ppid=3276 vsize=1040404 CPUtime=1422.34 cores=1,3,5,7
/proc/3279/stat : 3279 (bsolo) R 3276 3279 585 0 -1 4202496 258493 0 0 0 141791 443 0 0 25 0 1 0 830078541 1065373696 257673 33554432000 134512640 137138936 4292524224 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3279/statm: 260101 257673 192 642 0 259457 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 1040404
[startup+1482.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/430 3373
/proc/meminfo: memFree=27947572/32951124 swapFree=43324008/67111528
[pid=3279] ppid=3276 vsize=1040404 CPUtime=1482.33 cores=1,3,5,7
/proc/3279/stat : 3279 (bsolo) R 3276 3279 585 0 -1 4202496 258493 0 0 0 147790 443 0 0 25 0 1 0 830078541 1065373696 257673 33554432000 134512640 137138936 4292524224 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3279/statm: 260101 257673 192 642 0 259457 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 1040404
[startup+1542.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/430 3374
/proc/meminfo: memFree=27948652/32951124 swapFree=43324008/67111528
[pid=3279] ppid=3276 vsize=1040404 CPUtime=1542.33 cores=1,3,5,7
/proc/3279/stat : 3279 (bsolo) R 3276 3279 585 0 -1 4202496 258493 0 0 0 153790 443 0 0 25 0 1 0 830078541 1065373696 257673 33554432000 134512640 137138936 4292524224 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3279/statm: 260101 257673 192 642 0 259457 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 1040404
[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/430 3376
/proc/meminfo: memFree=27948264/32951124 swapFree=43324008/67111528
[pid=3279] ppid=3276 vsize=1040404 CPUtime=1602.33 cores=1,3,5,7
/proc/3279/stat : 3279 (bsolo) R 3276 3279 585 0 -1 4202496 258493 0 0 0 159790 443 0 0 25 0 1 0 830078541 1065373696 257673 33554432000 134512640 137138936 4292524224 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3279/statm: 260101 257673 192 642 0 259457 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 1040404
[startup+1662.3 s]
/proc/loadavg: 2.16 2.05 2.01 3/430 3377
/proc/meminfo: memFree=27948092/32951124 swapFree=43324008/67111528
[pid=3279] ppid=3276 vsize=1040404 CPUtime=1662.33 cores=1,3,5,7
/proc/3279/stat : 3279 (bsolo) R 3276 3279 585 0 -1 4202496 258493 0 0 0 165790 443 0 0 25 0 1 0 830078541 1065373696 257673 33554432000 134512640 137138936 4292524224 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3279/statm: 260101 257673 192 642 0 259457 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 1040404
[startup+1722.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/430 3380
/proc/meminfo: memFree=27948424/32951124 swapFree=43324008/67111528
[pid=3279] ppid=3276 vsize=1040404 CPUtime=1722.34 cores=1,3,5,7
/proc/3279/stat : 3279 (bsolo) R 3276 3279 585 0 -1 4202496 258493 0 0 0 171791 443 0 0 25 0 1 0 830078541 1065373696 257673 33554432000 134512640 137138936 4292524224 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3279/statm: 260101 257673 192 642 0 259457 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 1040404
[startup+1782.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/430 3383
/proc/meminfo: memFree=27947400/32951124 swapFree=43324008/67111528
[pid=3279] ppid=3276 vsize=1040404 CPUtime=1782.34 cores=1,3,5,7
/proc/3279/stat : 3279 (bsolo) R 3276 3279 585 0 -1 4202496 258493 0 0 0 177791 443 0 0 25 0 1 0 830078541 1065373696 257673 33554432000 134512640 137138936 4292524224 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3279/statm: 260101 257673 192 642 0 259457 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 1040404
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.01 2.03 2.00 3/430 3383
/proc/meminfo: memFree=27948000/32951124 swapFree=43324008/67111528
[pid=3279] ppid=3276 vsize=1040404 CPUtime=1800.04 cores=1,3,5,7
/proc/3279/stat : 3279 (bsolo) R 3276 3279 585 0 -1 4202496 258493 0 0 0 179561 443 0 0 25 0 1 0 830078541 1065373696 257673 33554432000 134512640 137138936 4292524224 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3279/statm: 260101 257673 192 642 0 259457 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1040404
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 15
Real time (s): 1800.06
CPU time (s): 1800.1
CPU user time (s): 1795.63
CPU system time (s): 4.47232
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1041772
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.63
system time used= 4.47232
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 258493
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= 6
involuntary context switches= 4172
runsolver used 6.88495 second user time and 17.7193 second system time
The end