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-3463581-1307176262/watcher-3463581-1307176262 -o /tmp/evaluation-result-3463581-1307176262/solver-3463581-1307176262 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463581-1307176262.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/505 10824
/proc/meminfo: memFree=30236988/32951124 swapFree=51712236/67111528
[pid=10824] ppid=10822 vsize=11236 CPUtime=0 cores=1,3,5,7
/proc/10824/stat : 10824 (bsolo) R 10822 10824 9506 0 -1 4202496 362 0 0 0 0 0 0 0 25 0 1 0 829228862 11505664 316 33554432000 134512640 137138936 4293076096 18446744073709551615 134517592 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10824/statm: 2809 316 189 642 0 2123 0

[startup+0.0886099 s]
/proc/loadavg: 2.00 2.01 2.00 3/505 10824
/proc/meminfo: memFree=30236988/32951124 swapFree=51712236/67111528
[pid=10824] ppid=10822 vsize=11920 CPUtime=0.07 cores=1,3,5,7
/proc/10824/stat : 10824 (bsolo) R 10822 10824 9506 0 -1 4202496 703 0 0 0 7 0 0 0 25 0 1 0 829228862 12206080 576 33554432000 134512640 137138936 4293076096 18446744073709551615 135745460 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10824/statm: 2980 576 218 642 0 2336 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11920

[startup+0.100608 s]
/proc/loadavg: 2.00 2.01 2.00 3/505 10824
/proc/meminfo: memFree=30236988/32951124 swapFree=51712236/67111528
[pid=10824] ppid=10822 vsize=11900 CPUtime=0.08 cores=1,3,5,7
/proc/10824/stat : 10824 (bsolo) R 10822 10824 9506 0 -1 4202496 755 0 0 0 8 0 0 0 25 0 1 0 829228862 12185600 578 33554432000 134512640 137138936 4293076096 18446744073709551615 135745139 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10824/statm: 2975 578 218 642 0 2331 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 11900

[startup+0.300572 s]
/proc/loadavg: 2.00 2.01 2.00 3/505 10824
/proc/meminfo: memFree=30236988/32951124 swapFree=51712236/67111528
[pid=10824] ppid=10822 vsize=14776 CPUtime=0.29 cores=1,3,5,7
/proc/10824/stat : 10824 (bsolo) R 10822 10824 9506 0 -1 4202496 4438 0 0 0 28 1 0 0 25 0 1 0 829228862 15130624 996 33554432000 134512640 137138936 4293076096 18446744073709551615 135457167 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10824/statm: 3694 996 278 642 0 3050 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14776

[startup+0.700504 s]
/proc/loadavg: 2.00 2.01 2.00 3/505 10824
/proc/meminfo: memFree=30236988/32951124 swapFree=51712236/67111528
[pid=10824] ppid=10822 vsize=15712 CPUtime=0.69 cores=1,3,5,7
/proc/10824/stat : 10824 (bsolo) R 10822 10824 9506 0 -1 4202496 5407 0 0 0 68 1 0 0 25 0 1 0 829228862 16089088 1049 33554432000 134512640 137138936 4293076096 18446744073709551615 134713063 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10824/statm: 3928 1049 278 642 0 3284 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15712

[startup+1.50036 s]
/proc/loadavg: 2.00 2.01 2.00 3/506 10825
/proc/meminfo: memFree=30232768/32951124 swapFree=51712236/67111528
[pid=10824] ppid=10822 vsize=16780 CPUtime=1.49 cores=1,3,5,7
/proc/10824/stat : 10824 (bsolo) R 10822 10824 9506 0 -1 4202496 8054 0 0 0 148 1 0 0 25 0 1 0 829228862 17182720 1014 33554432000 134512640 137138936 4293076096 18446744073709551615 135457640 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10824/statm: 4195 1014 282 642 0 3551 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16780

[startup+3.10108 s]
/proc/loadavg: 2.00 2.01 2.00 3/506 10825
/proc/meminfo: memFree=30231528/32951124 swapFree=51712236/67111528
[pid=10824] ppid=10822 vsize=18548 CPUtime=3.09 cores=1,3,5,7
/proc/10824/stat : 10824 (bsolo) R 10822 10824 9506 0 -1 4202496 13675 0 0 0 307 2 0 0 25 0 1 0 829228862 18993152 1200 33554432000 134512640 137138936 4293076096 18446744073709551615 134734957 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10824/statm: 4637 1200 282 642 0 3993 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18548

[startup+6.30051 s]
/proc/loadavg: 2.00 2.01 2.00 3/506 10825
/proc/meminfo: memFree=30231280/32951124 swapFree=51712236/67111528
[pid=10824] ppid=10822 vsize=18156 CPUtime=6.28 cores=1,3,5,7
/proc/10824/stat : 10824 (bsolo) R 10822 10824 9506 0 -1 4202496 28414 0 0 0 625 3 0 0 25 0 1 0 829228862 18591744 1096 33554432000 134512640 137138936 4293076096 18446744073709551615 135457616 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10824/statm: 4539 1096 282 642 0 3895 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 18156

[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 2.00 3/506 10825
/proc/meminfo: memFree=30229932/32951124 swapFree=51712236/67111528
[pid=10824] ppid=10822 vsize=19128 CPUtime=12.69 cores=1,3,5,7
/proc/10824/stat : 10824 (bsolo) R 10822 10824 9506 0 -1 4202496 53792 0 0 0 1263 6 0 0 25 0 1 0 829228862 19587072 1114 33554432000 134512640 137138936 4293076096 18446744073709551615 135439635 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10824/statm: 4782 1114 283 642 0 4138 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19128

[startup+25.5001 s]
/proc/loadavg: 2.00 2.01 2.00 3/506 10825
/proc/meminfo: memFree=30230800/32951124 swapFree=51712236/67111528
[pid=10824] ppid=10822 vsize=17556 CPUtime=25.49 cores=1,3,5,7
/proc/10824/stat : 10824 (bsolo) R 10822 10824 9506 0 -1 4202496 122444 0 0 0 2534 15 0 0 25 0 1 0 829228862 17977344 1043 33554432000 134512640 137138936 4293076096 18446744073709551615 135432986 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10824/statm: 4389 1045 287 642 0 3745 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 17556

[startup+51.1006 s]
/proc/loadavg: 2.06 2.02 2.00 3/506 10826
/proc/meminfo: memFree=30230492/32951124 swapFree=51712236/67111528
[pid=10824] ppid=10822 vsize=19236 CPUtime=51.09 cores=1,3,5,7
/proc/10824/stat : 10824 (bsolo) R 10822 10824 9506 0 -1 4202496 263710 0 0 0 5078 31 0 0 25 0 1 0 829228862 19697664 1122 33554432000 134512640 137138936 4293076096 18446744073709551615 135443685 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10824/statm: 4809 1122 287 642 0 4165 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 19236

[startup+102.319 s]
/proc/loadavg: 2.24 2.06 2.02 3/506 10827
/proc/meminfo: memFree=30228744/32951124 swapFree=51712236/67111528
[pid=10824] ppid=10822 vsize=19244 CPUtime=102.3 cores=1,3,5,7
/proc/10824/stat : 10824 (bsolo) R 10822 10824 9506 0 -1 4202496 485377 0 0 0 10170 60 0 0 25 0 1 0 829228862 19705856 1208 33554432000 134512640 137138936 4293076096 18446744073709551615 135449769 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/10824/statm: 4811 1208 287 642 0 4167 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 19244

[startup+162.301 s]
/proc/loadavg: 2.15 2.07 2.01 3/506 10829
/proc/meminfo: memFree=30227600/32951124 swapFree=51712236/67111528
[pid=10824] ppid=10822 vsize=20352 CPUtime=162.29 cores=1,3,5,7
/proc/10824/stat : 10824 (bsolo) R 10822 10824 9506 0 -1 4202496 832964 0 0 0 16124 105 0 0 25 0 1 0 829228862 20840448 1414 33554432000 134512640 137138936 4293076096 18446744073709551615 135456742 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/10824/statm: 5088 1414 287 642 0 4444 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 20352

[startup+222.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/506 10831
/proc/meminfo: memFree=30221984/32951124 swapFree=51712236/67111528
[pid=10824] ppid=10822 vsize=20412 CPUtime=222.28 cores=1,3,5,7
/proc/10824/stat : 10824 (bsolo) R 10822 10824 9506 0 -1 4202496 1095835 0 0 0 22089 139 0 0 25 0 1 0 829228862 20901888 1567 33554432000 134512640 137138936 4293076096 18446744073709551615 135465891 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/10824/statm: 5103 1567 287 642 0 4459 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 20412

[startup+282.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/506 10832
/proc/meminfo: memFree=30221600/32951124 swapFree=51712236/67111528
[pid=10824] ppid=10822 vsize=20920 CPUtime=282.28 cores=1,3,5,7
/proc/10824/stat : 10824 (bsolo) R 10822 10824 9506 0 -1 4202496 1358854 0 0 0 28053 175 0 0 25 0 1 0 829228862 21422080 1774 33554432000 134512640 137138936 4293076096 18446744073709551615 135446673 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/10824/statm: 5230 1774 287 642 0 4586 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 20920

[startup+342.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/506 10834
/proc/meminfo: memFree=30221952/32951124 swapFree=51712236/67111528
[pid=10824] ppid=10822 vsize=21832 CPUtime=342.29 cores=1,3,5,7
/proc/10824/stat : 10824 (bsolo) R 10822 10824 9506 0 -1 4202496 1616341 0 0 0 34024 205 0 0 25 0 1 0 829228862 22355968 2003 33554432000 134512640 137138936 4293076096 18446744073709551615 135457104 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/10824/statm: 5458 2003 287 642 0 4814 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 21832

[startup+402.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/506 10835
/proc/meminfo: memFree=30221200/32951124 swapFree=51712236/67111528
[pid=10824] ppid=10822 vsize=22096 CPUtime=402.29 cores=1,3,5,7
/proc/10824/stat : 10824 (bsolo) R 10822 10824 9506 0 -1 4202496 1873522 0 0 0 39992 237 0 0 25 0 1 0 829228862 22626304 1913 33554432000 134512640 137138936 4293076096 18446744073709551615 135457157 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/10824/statm: 5524 1913 287 642 0 4880 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 22096

[startup+462.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/506 10837
/proc/meminfo: memFree=30220040/32951124 swapFree=51712236/67111528
[pid=10824] ppid=10822 vsize=23388 CPUtime=462.29 cores=1,3,5,7
/proc/10824/stat : 10824 (bsolo) R 10822 10824 9506 0 -1 4202496 2134889 0 0 0 45960 269 0 0 25 0 1 0 829228862 23949312 2200 33554432000 134512640 137138936 4293076096 18446744073709551615 134769589 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/10824/statm: 5847 2200 287 642 0 5203 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 23388

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/506 10839
/proc/meminfo: memFree=30219136/32951124 swapFree=51712236/67111528
[pid=10824] ppid=10822 vsize=22296 CPUtime=522.29 cores=1,3,5,7
/proc/10824/stat : 10824 (bsolo) R 10822 10824 9506 0 -1 4202496 2399621 0 0 0 51924 305 0 0 25 0 1 0 829228862 22831104 2276 33554432000 134512640 137138936 4293076096 18446744073709551615 135380937 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/10824/statm: 5574 2279 287 642 0 4930 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 22296

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/506 10840
/proc/meminfo: memFree=30218864/32951124 swapFree=51712236/67111528
[pid=10824] ppid=10822 vsize=24748 CPUtime=582.29 cores=1,3,5,7
/proc/10824/stat : 10824 (bsolo) R 10822 10824 9506 0 -1 4202496 2650424 0 0 0 57890 339 0 0 25 0 1 0 829228862 25341952 2534 33554432000 134512640 137138936 4293076096 18446744073709551615 135446723 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/10824/statm: 6187 2534 287 642 0 5543 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 24748

[startup+642.3 s]

################
# More data... #
################

[startup+822.3 s]
/proc/loadavg: 2.03 2.06 2.02 3/506 10847
/proc/meminfo: memFree=30218780/32951124 swapFree=51712236/67111528
[pid=10824] ppid=10822 vsize=25416 CPUtime=822.3 cores=1,3,5,7
/proc/10824/stat : 10824 (bsolo) R 10822 10824 9506 0 -1 4202496 3745655 0 0 0 81756 474 0 0 25 0 1 0 829228862 26025984 2657 33554432000 134512640 137138936 4293076096 18446744073709551615 135333115 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/10824/statm: 6354 2657 287 642 0 5710 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 25416

[startup+882.301 s]
/proc/loadavg: 2.01 2.05 2.01 3/506 10848
/proc/meminfo: memFree=30218368/32951124 swapFree=51712236/67111528
[pid=10824] ppid=10822 vsize=24880 CPUtime=882.3 cores=1,3,5,7
/proc/10824/stat : 10824 (bsolo) R 10822 10824 9506 0 -1 4202496 3963112 0 0 0 87728 502 0 0 25 0 1 0 829228862 25477120 2537 33554432000 134512640 137138936 4293076096 18446744073709551615 134769623 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/10824/statm: 6220 2537 287 642 0 5576 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 24880

[startup+942.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/506 10850
/proc/meminfo: memFree=30205184/32951124 swapFree=51712236/67111528
[pid=10824] ppid=10822 vsize=24752 CPUtime=942.3 cores=1,3,5,7
/proc/10824/stat : 10824 (bsolo) R 10822 10824 9506 0 -1 4202496 4178443 0 0 0 93699 531 0 0 25 0 1 0 829228862 25346048 2575 33554432000 134512640 137138936 4293076096 18446744073709551615 135248530 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/10824/statm: 6188 2575 287 642 0 5544 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 24752

[startup+1002.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/506 10851
/proc/meminfo: memFree=30204664/32951124 swapFree=51712236/67111528
[pid=10824] ppid=10822 vsize=24756 CPUtime=1002.3 cores=1,3,5,7
/proc/10824/stat : 10824 (bsolo) R 10822 10824 9506 0 -1 4202496 4383770 0 0 0 99671 559 0 0 25 0 1 0 829228862 25350144 2631 33554432000 134512640 137138936 4293076096 18446744073709551615 135358713 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/10824/statm: 6189 2631 287 642 0 5545 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 24756

[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/506 10934
/proc/meminfo: memFree=30317752/32951124 swapFree=51712236/67111528
[pid=10824] ppid=10822 vsize=24752 CPUtime=1062.3 cores=1,3,5,7
/proc/10824/stat : 10824 (bsolo) R 10822 10824 9506 0 -1 4202496 4596640 0 0 0 105642 588 0 0 25 0 1 0 829228862 25346048 2528 33554432000 134512640 137138936 4293076096 18446744073709551615 135081442 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/10824/statm: 6188 2528 287 642 0 5544 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 24752

[startup+1122.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/506 10936
/proc/meminfo: memFree=30317356/32951124 swapFree=51712236/67111528
[pid=10824] ppid=10822 vsize=24728 CPUtime=1122.31 cores=1,3,5,7
/proc/10824/stat : 10824 (bsolo) R 10822 10824 9506 0 -1 4202496 4805904 0 0 0 111613 618 0 0 25 0 1 0 829228862 25321472 2695 33554432000 134512640 137138936 4293076096 18446744073709551615 135463577 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/10824/statm: 6182 2695 287 642 0 5538 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 24728

[startup+1182.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/506 10937
/proc/meminfo: memFree=30315836/32951124 swapFree=51712236/67111528
[pid=10824] ppid=10822 vsize=25192 CPUtime=1182.31 cores=1,3,5,7
/proc/10824/stat : 10824 (bsolo) R 10822 10824 9506 0 -1 4202496 5019956 0 0 0 117584 647 0 0 25 0 1 0 829228862 25796608 2624 33554432000 134512640 137138936 4293076096 18446744073709551615 135466088 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/10824/statm: 6298 2624 287 642 0 5654 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 25192

[startup+1242.3 s]
/proc/loadavg: 2.11 2.05 2.01 3/506 10939
/proc/meminfo: memFree=30316540/32951124 swapFree=51712236/67111528
[pid=10824] ppid=10822 vsize=24584 CPUtime=1242.31 cores=1,3,5,7
/proc/10824/stat : 10824 (bsolo) R 10822 10824 9506 0 -1 4202496 5228476 0 0 0 123554 677 0 0 25 0 1 0 829228862 25174016 2385 33554432000 134512640 137138936 4293076096 18446744073709551615 135457386 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/10824/statm: 6146 2385 287 642 0 5502 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 24584

[startup+1302.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/506 10940
/proc/meminfo: memFree=30316512/32951124 swapFree=51712236/67111528
[pid=10824] ppid=10822 vsize=24656 CPUtime=1302.32 cores=1,3,5,7
/proc/10824/stat : 10824 (bsolo) R 10822 10824 9506 0 -1 4202496 5434529 0 0 0 129525 707 0 0 25 0 1 0 829228862 25247744 2609 33554432000 134512640 137138936 4293076096 18446744073709551615 135444639 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/10824/statm: 6164 2609 287 642 0 5520 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 24656

[startup+1362.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/506 10942
/proc/meminfo: memFree=30315612/32951124 swapFree=51712236/67111528
[pid=10824] ppid=10822 vsize=24524 CPUtime=1362.31 cores=1,3,5,7
/proc/10824/stat : 10824 (bsolo) R 10822 10824 9506 0 -1 4202496 5644906 0 0 0 135495 736 0 0 25 0 1 0 829228862 25112576 2379 33554432000 134512640 137138936 4293076096 18446744073709551615 135339225 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/10824/statm: 6131 2379 287 642 0 5487 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 24524

[startup+1422.32 s]
/proc/loadavg: 2.01 2.03 2.00 3/506 10944
/proc/meminfo: memFree=30316208/32951124 swapFree=51712236/67111528
[pid=10824] ppid=10822 vsize=24624 CPUtime=1422.33 cores=1,3,5,7
/proc/10824/stat : 10824 (bsolo) R 10822 10824 9506 0 -1 4202496 5871101 0 0 0 141469 764 0 0 25 0 1 0 829228862 25214976 2482 33554432000 134512640 137138936 4293076096 18446744073709551615 134768977 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/10824/statm: 6156 2482 287 642 0 5512 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 24624

[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/506 10945
/proc/meminfo: memFree=30315432/32951124 swapFree=51712236/67111528
[pid=10824] ppid=10822 vsize=24996 CPUtime=1482.31 cores=1,3,5,7
/proc/10824/stat : 10824 (bsolo) R 10822 10824 9506 0 -1 4202496 6080574 0 0 0 147441 790 0 0 25 0 1 0 829228862 25595904 2603 33554432000 134512640 137138936 4293076096 18446744073709551615 134769591 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/10824/statm: 6249 2603 287 642 0 5605 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 24996

[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/506 10947
/proc/meminfo: memFree=30315656/32951124 swapFree=51712236/67111528
[pid=10824] ppid=10822 vsize=24480 CPUtime=1542.31 cores=1,3,5,7
/proc/10824/stat : 10824 (bsolo) R 10822 10824 9506 0 -1 4202496 6286201 0 0 0 153414 817 0 0 25 0 1 0 829228862 25067520 2622 33554432000 134512640 137138936 4293076096 18446744073709551615 135457124 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/10824/statm: 6120 2622 287 642 0 5476 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 24480

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/506 10948
/proc/meminfo: memFree=30315752/32951124 swapFree=51712236/67111528
[pid=10824] ppid=10822 vsize=24956 CPUtime=1602.31 cores=1,3,5,7
/proc/10824/stat : 10824 (bsolo) R 10822 10824 9506 0 -1 4202496 6483947 0 0 0 159387 844 0 0 25 0 1 0 829228862 25554944 2497 33554432000 134512640 137138936 4293076096 18446744073709551615 135441009 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/10824/statm: 6239 2497 287 642 0 5595 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 24956

[startup+1662.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/506 10950
/proc/meminfo: memFree=30315112/32951124 swapFree=51712236/67111528
[pid=10824] ppid=10822 vsize=24604 CPUtime=1662.31 cores=1,3,5,7
/proc/10824/stat : 10824 (bsolo) R 10822 10824 9506 0 -1 4202496 6685507 0 0 0 165361 870 0 0 25 0 1 0 829228862 25194496 2687 33554432000 134512640 137138936 4293076096 18446744073709551615 135344661 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/10824/statm: 6151 2687 287 642 0 5507 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 24604

[startup+1722.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/506 10952
/proc/meminfo: memFree=30315316/32951124 swapFree=51712236/67111528
[pid=10824] ppid=10822 vsize=25024 CPUtime=1722.32 cores=1,3,5,7
/proc/10824/stat : 10824 (bsolo) R 10822 10824 9506 0 -1 4202496 6886178 0 0 0 171335 897 0 0 25 0 1 0 829228862 25624576 2499 33554432000 134512640 137138936 4293076096 18446744073709551615 135446727 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/10824/statm: 6256 2499 287 642 0 5612 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 25024

[startup+1782.3 s]
/proc/loadavg: 2.16 2.05 2.01 3/506 10953
/proc/meminfo: memFree=30314540/32951124 swapFree=51712236/67111528
[pid=10824] ppid=10822 vsize=24612 CPUtime=1782.32 cores=1,3,5,7
/proc/10824/stat : 10824 (bsolo) R 10822 10824 9506 0 -1 4202496 7087511 0 0 0 177309 923 0 0 25 0 1 0 829228862 25202688 2443 33554432000 134512640 137138936 4293076096 18446744073709551615 135345219 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/10824/statm: 6153 2443 287 642 0 5509 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 24612



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.11 2.05 2.01 3/506 10963
/proc/meminfo: memFree=30312400/32951124 swapFree=51712236/67111528
[pid=10824] ppid=10822 vsize=24488 CPUtime=1800.02 cores=1,3,5,7
/proc/10824/stat : 10824 (bsolo) R 10822 10824 9506 0 -1 4202496 7145566 0 0 0 179071 931 0 0 25 0 1 0 829228862 25075712 2654 33554432000 134512640 137138936 4293076096 18446744073709551615 135444639 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/10824/statm: 6122 2654 287 642 0 5478 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 24488

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.02
CPU time (s): 1800.05
CPU user time (s): 1790.73
CPU system time (s): 9.31958
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 25676

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.73
system time used= 9.31958
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7145639
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= 1451

runsolver used 8.42172 second user time and 19.533 second system time

The end