runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3739352-1338747852/watcher-3739352-1338747852 -o /tmp/evaluation-result-3739352-1338747852/solver-3739352-1338747852 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3739352-1338747852.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.16 2.04 2.01 2/176 25909
/proc/meminfo: memFree=28729740/32873844 swapFree=6872/6872
[pid=25909] ppid=25907 vsize=4920 CPUtime=0 cores=1,3,5,7
/proc/25909/stat : 25909 (bsolo3.0.17) R 25907 25909 23291 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 340913738 5038080 455 33554432000 134512640 135840783 4291188592 4291187040 1582375 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25909/statm: 1230 455 337 325 0 142 0
[startup+0.0837921 s]
/proc/loadavg: 2.16 2.04 2.01 2/176 25909
/proc/meminfo: memFree=28729740/32873844 swapFree=6872/6872
[pid=25909] ppid=25907 vsize=6440 CPUtime=0.07 cores=1,3,5,7
/proc/25909/stat : 25909 (bsolo3.0.17) R 25907 25909 23291 0 -1 4202496 953 0 0 0 7 0 0 0 20 0 1 0 340913738 6594560 865 33554432000 134512640 135840783 4291188592 4291151804 15066160 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25909/statm: 1610 865 345 325 0 546 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 6440
[startup+0.100224 s]
/proc/loadavg: 2.16 2.04 2.01 2/176 25909
/proc/meminfo: memFree=28729740/32873844 swapFree=6872/6872
[pid=25909] ppid=25907 vsize=6440 CPUtime=0.09 cores=1,3,5,7
/proc/25909/stat : 25909 (bsolo3.0.17) R 25907 25909 23291 0 -1 4202496 953 0 0 0 9 0 0 0 20 0 1 0 340913738 6594560 865 33554432000 134512640 135840783 4291188592 4291151804 15066160 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25909/statm: 1610 865 345 325 0 546 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6440
[startup+0.300205 s]
/proc/loadavg: 2.16 2.04 2.01 2/176 25909
/proc/meminfo: memFree=28729740/32873844 swapFree=6872/6872
[pid=25909] ppid=25907 vsize=7416 CPUtime=0.29 cores=1,3,5,7
/proc/25909/stat : 25909 (bsolo3.0.17) R 25907 25909 23291 0 -1 4202496 1219 0 0 0 29 0 0 0 20 0 1 0 340913738 7593984 1124 33554432000 134512640 135840783 4291188592 4291187104 1582375 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25909/statm: 1854 1124 349 325 0 790 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7416
[startup+0.700205 s]
/proc/loadavg: 2.16 2.04 2.01 2/176 25909
/proc/meminfo: memFree=28729740/32873844 swapFree=6872/6872
[pid=25909] ppid=25907 vsize=8696 CPUtime=0.69 cores=1,3,5,7
/proc/25909/stat : 25909 (bsolo3.0.17) R 25907 25909 23291 0 -1 4202496 1529 0 0 0 69 0 0 0 20 0 1 0 340913738 8904704 1434 33554432000 134512640 135840783 4291188592 4291187904 134551455 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25909/statm: 2174 1434 349 325 0 1110 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8696
[startup+1.5002 s]
/proc/loadavg: 2.16 2.04 2.01 3/177 25910
/proc/meminfo: memFree=28719912/32873844 swapFree=6872/6872
[pid=25909] ppid=25907 vsize=11812 CPUtime=1.49 cores=1,3,5,7
/proc/25909/stat : 25909 (bsolo3.0.17) R 25907 25909 23291 0 -1 4202496 2293 0 0 0 149 0 0 0 20 0 1 0 340913738 12095488 2198 33554432000 134512640 135840783 4291188592 4291187088 15066160 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25909/statm: 2953 2198 349 325 0 1889 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11812
[startup+3.10029 s]
/proc/loadavg: 2.16 2.04 2.01 3/177 25910
/proc/meminfo: memFree=28715796/32873844 swapFree=6872/6872
[pid=25909] ppid=25907 vsize=15548 CPUtime=3.09 cores=1,3,5,7
/proc/25909/stat : 25909 (bsolo3.0.17) R 25907 25909 23291 0 -1 4202496 3255 0 0 0 308 1 0 0 20 0 1 0 340913738 15921152 3161 33554432000 134512640 135840783 4291188592 4291187952 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25909/statm: 3887 3161 349 325 0 2823 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15548
[startup+6.30028 s]
/proc/loadavg: 2.15 2.04 2.01 3/177 25910
/proc/meminfo: memFree=28696780/32873844 swapFree=6872/6872
[pid=25909] ppid=25907 vsize=23160 CPUtime=6.28 cores=1,3,5,7
/proc/25909/stat : 25909 (bsolo3.0.17) R 25907 25909 23291 0 -1 4202496 5153 0 0 0 627 1 0 0 20 0 1 0 340913738 23715840 5059 33554432000 134512640 135840783 4291188592 4291187952 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25909/statm: 5790 5059 349 325 0 4726 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 23160
[startup+12.7003 s]
/proc/loadavg: 2.14 2.04 2.01 3/177 25910
/proc/meminfo: memFree=28667812/32873844 swapFree=6872/6872
[pid=25909] ppid=25907 vsize=40012 CPUtime=12.68 cores=1,3,5,7
/proc/25909/stat : 25909 (bsolo3.0.17) R 25907 25909 23291 0 -1 4202496 9368 0 0 0 1266 2 0 0 20 0 1 0 340913738 40972288 9274 33554432000 134512640 135840783 4291188592 4291187952 134551081 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25909/statm: 10003 9274 349 325 0 8939 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 40012
[startup+25.5003 s]
/proc/loadavg: 2.11 2.04 2.01 3/177 25910
/proc/meminfo: memFree=28632992/32873844 swapFree=6872/6872
[pid=25909] ppid=25907 vsize=59260 CPUtime=25.48 cores=1,3,5,7
/proc/25909/stat : 25909 (bsolo3.0.17) R 25907 25909 23291 0 -1 4202496 14168 0 0 0 2544 4 0 0 20 0 1 0 340913738 60682240 14074 33554432000 134512640 135840783 4291188592 4291187952 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25909/statm: 14815 14074 349 325 0 13751 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 59260
[startup+51.1003 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 25910
/proc/meminfo: memFree=28585716/32873844 swapFree=6872/6872
[pid=25909] ppid=25907 vsize=86544 CPUtime=51.08 cores=1,3,5,7
/proc/25909/stat : 25909 (bsolo3.0.17) R 25907 25909 23291 0 -1 4202496 21004 0 0 0 5101 7 0 0 20 0 1 0 340913738 88621056 20910 33554432000 134512640 135840783 4291188592 4291187952 134551093 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25909/statm: 21636 20910 349 325 0 20572 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 86544
[startup+102.307 s]
/proc/loadavg: 2.07 2.04 2.00 3/177 25910
/proc/meminfo: memFree=28517940/32873844 swapFree=6872/6872
[pid=25909] ppid=25907 vsize=118096 CPUtime=102.24 cores=1,3,5,7
/proc/25909/stat : 25909 (bsolo3.0.17) R 25907 25909 23291 0 -1 4202496 28921 0 0 0 10213 11 0 0 20 0 1 0 340913738 120930304 28795 33554432000 134512640 135840783 4291188592 4291187952 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25909/statm: 29524 28795 349 325 0 28460 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 118096
[startup+162.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/177 25910
/proc/meminfo: memFree=28442868/32873844 swapFree=6872/6872
[pid=25909] ppid=25907 vsize=150700 CPUtime=162.21 cores=1,3,5,7
/proc/25909/stat : 25909 (bsolo3.0.17) R 25907 25909 23291 0 -1 4202496 37105 0 0 0 16205 16 0 0 20 0 1 0 340913738 154316800 36953 33554432000 134512640 135840783 4291188592 4291187904 9568801 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25909/statm: 37675 36953 349 325 0 36611 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 150700
[startup+222.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/177 25910
/proc/meminfo: memFree=28367848/32873844 swapFree=6872/6872
[pid=25909] ppid=25907 vsize=186472 CPUtime=222.19 cores=1,3,5,7
/proc/25909/stat : 25909 (bsolo3.0.17) R 25907 25909 23291 0 -1 4202496 46050 0 0 0 22199 20 0 0 20 0 1 0 340913738 190947328 45898 33554432000 134512640 135840783 4291188592 4291187952 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25909/statm: 46618 45898 349 325 0 45554 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 186472
[startup+282.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 25910
/proc/meminfo: memFree=28316264/32873844 swapFree=6872/6872
[pid=25909] ppid=25907 vsize=211652 CPUtime=282.18 cores=1,3,5,7
/proc/25909/stat : 25909 (bsolo3.0.17) R 25907 25909 23291 0 -1 4202496 52326 0 0 0 28194 24 0 0 20 0 1 0 340913738 216731648 52174 33554432000 134512640 135840783 4291188592 4291187952 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25909/statm: 52913 52174 349 325 0 51849 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 211652
[startup+342.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 25911
/proc/meminfo: memFree=28265356/32873844 swapFree=6872/6872
[pid=25909] ppid=25907 vsize=235168 CPUtime=342.17 cores=1,3,5,7
/proc/25909/stat : 25909 (bsolo3.0.17) R 25907 25909 23291 0 -1 4202496 58227 0 0 0 34190 27 0 0 20 0 1 0 340913738 240812032 58072 33554432000 134512640 135840783 4291188592 4291187952 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25909/statm: 58792 58072 349 325 0 57728 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 235168
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 25914
/proc/meminfo: memFree=28227804/32873844 swapFree=6872/6872
[pid=25909] ppid=25907 vsize=247300 CPUtime=402.11 cores=1,3,5,7
/proc/25909/stat : 25909 (bsolo3.0.17) R 25907 25909 23291 0 -1 4202496 61287 0 0 0 40181 30 0 0 20 0 1 0 340913738 253235200 61084 33554432000 134512640 135840783 4291188592 4291187952 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25909/statm: 61825 61084 349 325 0 60761 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 247300
[startup+462.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 25914
/proc/meminfo: memFree=28189052/32873844 swapFree=6872/6872
[pid=25909] ppid=25907 vsize=262944 CPUtime=462.1 cores=1,3,5,7
/proc/25909/stat : 25909 (bsolo3.0.17) R 25907 25909 23291 0 -1 4202496 65223 0 0 0 46177 33 0 0 20 0 1 0 340913738 269254656 65015 33554432000 134512640 135840783 4291188592 4291187952 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25909/statm: 65736 65015 349 325 0 64672 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 262944
[startup+522.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 25914
/proc/meminfo: memFree=28153216/32873844 swapFree=6872/6872
[pid=25909] ppid=25907 vsize=275896 CPUtime=522.09 cores=1,3,5,7
/proc/25909/stat : 25909 (bsolo3.0.17) R 25907 25909 23291 0 -1 4202496 68438 0 0 0 52174 35 0 0 20 0 1 0 340913738 282517504 68230 33554432000 134512640 135840783 4291188592 4291187952 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25909/statm: 68974 68230 349 325 0 67910 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 275896
[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 25914
/proc/meminfo: memFree=28125300/32873844 swapFree=6872/6872
[pid=25909] ppid=25907 vsize=287436 CPUtime=582.09 cores=1,3,5,7
/proc/25909/stat : 25909 (bsolo3.0.17) R 25907 25909 23291 0 -1 4202496 71323 0 0 0 58171 38 0 0 20 0 1 0 340913738 294334464 71115 33554432000 134512640 135840783 4291188592 4291187952 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25909/statm: 71859 71115 349 325 0 70795 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 287436
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25916
/proc/meminfo: memFree=27995208/32873844 swapFree=6872/6872
[pid=25909] ppid=25907 vsize=349884 CPUtime=822 cores=1,3,5,7
/proc/25909/stat : 25909 (bsolo3.0.17) R 25907 25909 23291 0 -1 4202496 86982 0 0 0 82151 49 0 0 20 0 1 0 340913738 358281216 86727 33554432000 134512640 135840783 4291188592 4291187952 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25909/statm: 87471 86727 349 325 0 86407 0
Current children cumulated CPU time (s) 822
Current children cumulated vsize (KiB) 349884
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25916
/proc/meminfo: memFree=27964264/32873844 swapFree=6872/6872
[pid=25909] ppid=25907 vsize=367220 CPUtime=881.99 cores=1,3,5,7
/proc/25909/stat : 25909 (bsolo3.0.17) R 25907 25909 23291 0 -1 4202496 91315 0 0 0 88147 52 0 0 20 0 1 0 340913738 376033280 91057 33554432000 134512640 135840783 4291188592 4291187952 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25909/statm: 91805 91057 349 325 0 90741 0
Current children cumulated CPU time (s) 881.99
Current children cumulated vsize (KiB) 367220
[startup+942.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 25917
/proc/meminfo: memFree=27945168/32873844 swapFree=6872/6872
[pid=25909] ppid=25907 vsize=386216 CPUtime=941.98 cores=1,3,5,7
/proc/25909/stat : 25909 (bsolo3.0.17) R 25907 25909 23291 0 -1 4202496 96072 0 0 0 94143 55 0 0 20 0 1 0 340913738 395485184 95814 33554432000 134512640 135840783 4291188592 4291187952 134550782 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25909/statm: 96554 95814 349 325 0 95490 0
Current children cumulated CPU time (s) 941.98
Current children cumulated vsize (KiB) 386216
[startup+1002.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 25920
/proc/meminfo: memFree=27928792/32873844 swapFree=6872/6872
[pid=25909] ppid=25907 vsize=402860 CPUtime=1001.98 cores=1,3,5,7
/proc/25909/stat : 25909 (bsolo3.0.17) R 25907 25909 23291 0 -1 4202496 100231 0 0 0 100140 58 0 0 20 0 1 0 340913738 412528640 99973 33554432000 134512640 135840783 4291188592 4291187828 1577130 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25909/statm: 100715 99973 349 325 0 99651 0
Current children cumulated CPU time (s) 1001.98
Current children cumulated vsize (KiB) 402860
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25920
/proc/meminfo: memFree=27914556/32873844 swapFree=6872/6872
[pid=25909] ppid=25907 vsize=416872 CPUtime=1061.97 cores=1,3,5,7
/proc/25909/stat : 25909 (bsolo3.0.17) R 25907 25909 23291 0 -1 4202496 103736 0 0 0 106136 61 0 0 20 0 1 0 340913738 426876928 103478 33554432000 134512640 135840783 4291188592 4291187952 134551200 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25909/statm: 104218 103478 349 325 0 103154 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 416872
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25920
/proc/meminfo: memFree=27900208/32873844 swapFree=6872/6872
[pid=25909] ppid=25907 vsize=431356 CPUtime=1121.96 cores=1,3,5,7
/proc/25909/stat : 25909 (bsolo3.0.17) R 25907 25909 23291 0 -1 4202496 107374 0 0 0 112133 63 0 0 20 0 1 0 340913738 441708544 107116 33554432000 134512640 135840783 4291188592 4291187952 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25909/statm: 107839 107116 349 325 0 106775 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 431356
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25920
/proc/meminfo: memFree=27885576/32873844 swapFree=6872/6872
[pid=25909] ppid=25907 vsize=446244 CPUtime=1181.95 cores=1,3,5,7
/proc/25909/stat : 25909 (bsolo3.0.17) R 25907 25909 23291 0 -1 4202496 111092 0 0 0 118130 65 0 0 20 0 1 0 340913738 456953856 110834 33554432000 134512640 135840783 4291188592 4291187952 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25909/statm: 111561 110834 349 325 0 110497 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 446244
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25921
/proc/meminfo: memFree=27870200/32873844 swapFree=6872/6872
[pid=25909] ppid=25907 vsize=461320 CPUtime=1241.94 cores=1,3,5,7
/proc/25909/stat : 25909 (bsolo3.0.17) R 25907 25909 23291 0 -1 4202496 114848 0 0 0 124127 67 0 0 20 0 1 0 340913738 472391680 114590 33554432000 134512640 135840783 4291188592 4291187952 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25909/statm: 115330 114590 349 325 0 114266 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 461320
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25921
/proc/meminfo: memFree=27857344/32873844 swapFree=6872/6872
[pid=25909] ppid=25907 vsize=473864 CPUtime=1301.92 cores=1,3,5,7
/proc/25909/stat : 25909 (bsolo3.0.17) R 25907 25909 23291 0 -1 4202496 118007 0 0 0 130122 70 0 0 20 0 1 0 340913738 485236736 117738 33554432000 134512640 135840783 4291188592 4291187952 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25909/statm: 118466 117738 349 325 0 117402 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 473864
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25921
/proc/meminfo: memFree=27844476/32873844 swapFree=6872/6872
[pid=25909] ppid=25907 vsize=486904 CPUtime=1361.86 cores=1,3,5,7
/proc/25909/stat : 25909 (bsolo3.0.17) R 25907 25909 23291 0 -1 4202496 121299 0 0 0 136114 72 0 0 20 0 1 0 340913738 498589696 120982 33554432000 134512640 135840783 4291188592 4291187952 134551532 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25909/statm: 121726 120982 349 325 0 120662 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 486904
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25921
/proc/meminfo: memFree=27830632/32873844 swapFree=6872/6872
[pid=25909] ppid=25907 vsize=500700 CPUtime=1421.85 cores=1,3,5,7
/proc/25909/stat : 25909 (bsolo3.0.17) R 25907 25909 23291 0 -1 4202496 124768 0 0 0 142111 74 0 0 20 0 1 0 340913738 512716800 124442 33554432000 134512640 135840783 4291188592 4291187952 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25909/statm: 125175 124442 349 325 0 124111 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 500700
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25921
/proc/meminfo: memFree=27818232/32873844 swapFree=6872/6872
[pid=25909] ppid=25907 vsize=513212 CPUtime=1481.84 cores=1,3,5,7
/proc/25909/stat : 25909 (bsolo3.0.17) R 25907 25909 23291 0 -1 4202496 127886 0 0 0 148107 77 0 0 20 0 1 0 340913738 525529088 127560 33554432000 134512640 135840783 4291188592 4291187952 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25909/statm: 128303 127560 349 325 0 127239 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 513212
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25922
/proc/meminfo: memFree=27798640/32873844 swapFree=6872/6872
[pid=25909] ppid=25907 vsize=526160 CPUtime=1541.83 cores=1,3,5,7
/proc/25909/stat : 25909 (bsolo3.0.17) R 25907 25909 23291 0 -1 4202496 131139 0 0 0 154104 79 0 0 20 0 1 0 340913738 538787840 130813 33554432000 134512640 135840783 4291188592 4291187952 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25909/statm: 131540 130813 349 325 0 130476 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 526160
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 25925
/proc/meminfo: memFree=27766888/32873844 swapFree=6872/6872
[pid=25909] ppid=25907 vsize=540216 CPUtime=1601.82 cores=1,3,5,7
/proc/25909/stat : 25909 (bsolo3.0.17) R 25907 25909 23291 0 -1 4202496 134652 0 0 0 160101 81 0 0 20 0 1 0 340913738 553181184 134326 33554432000 134512640 135840783 4291188592 4291187952 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25909/statm: 135054 134326 349 325 0 133990 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 540216
[startup+1662.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 25925
/proc/meminfo: memFree=27741564/32873844 swapFree=6872/6872
[pid=25909] ppid=25907 vsize=547448 CPUtime=1661.81 cores=1,3,5,7
/proc/25909/stat : 25909 (bsolo3.0.17) R 25907 25909 23291 0 -1 4202496 136749 0 0 0 166099 82 0 0 20 0 1 0 340913738 560586752 136144 33554432000 134512640 135840783 4291188592 4291187784 1569056 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25909/statm: 136862 136144 349 325 0 135798 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 547448
[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 25925
/proc/meminfo: memFree=27728668/32873844 swapFree=6872/6872
[pid=25909] ppid=25907 vsize=547448 CPUtime=1721.8 cores=1,3,5,7
/proc/25909/stat : 25909 (bsolo3.0.17) R 25907 25909 23291 0 -1 4202496 136749 0 0 0 172098 82 0 0 20 0 1 0 340913738 560586752 136144 33554432000 134512640 135840783 4291188592 4291187952 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25909/statm: 136862 136144 349 325 0 135798 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 547448
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25925
/proc/meminfo: memFree=27715152/32873844 swapFree=6872/6872
[pid=25909] ppid=25907 vsize=547448 CPUtime=1781.79 cores=1,3,5,7
/proc/25909/stat : 25909 (bsolo3.0.17) R 25907 25909 23291 0 -1 4202496 136749 0 0 0 178097 82 0 0 20 0 1 0 340913738 560586752 136144 33554432000 134512640 135840783 4291188592 4291187952 134551052 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25909/statm: 136862 136144 349 325 0 135798 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 547448
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.00 2.00 2.00 2/176 25926
/proc/meminfo: memFree=28184544/32873844 swapFree=6872/6872
[pid=25909] ppid=25907 vsize=547448 CPUtime=1800.1 cores=1,3,5,7
/proc/25909/stat : 25909 (bsolo3.0.17) R 25907 25909 23291 0 -1 4202496 136749 0 0 0 179928 82 0 0 20 0 1 0 340913738 560586752 136144 33554432000 134512640 135840783 4291188592 4291187952 134550808 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25909/statm: 136862 136144 349 325 0 135798 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 547448
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.62
CPU time (s): 1800.12
CPU user time (s): 1799.29
CPU system time (s): 0.829873
CPU usage (%): 99.9721
Max. virtual memory (cumulated for all children) (KiB): 548564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.29
system time used= 0.829873
maximum resident set size= 545692
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 136752
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= 243
involuntary context switches= 1845
runsolver used 6.581 second user time and 7.40387 second system time
The end