Name | normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-d6cube.opb |
MD5SUM | 889599bea53ff906bd4dd516c552c027 |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 123680 |
Biggest coefficient in the objective function | 524288 |
Number of bits for the biggest coefficient in the objective function | 20 |
Sum of the numbers in the objective function | 6484387800 |
Number of bits of the sum of numbers in the objective function | 33 |
Biggest number in a constraint | 188743680 |
Number of bits of the biggest number in a constraint | 28 |
Biggest sum of numbers in a constraint | 10767194085 |
Number of bits of the biggest sum of numbers | 34 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 1.12283 |
Number of variables | 123680 |
Total number of constraints | 404 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 404 |
Minimum length of a constraint | 20 |
Maximum length of a constraint | 123680 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-24 01:16:17 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=15667 boxname=wulflinc31 idbench=1206 idsolver=2 numberseed=0 MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7 /oldhome/oroussel/solvers/bsolo_lpr_cuts MD5SUM BENCH: 889599bea53ff906bd4dd516c552c027 /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-d6cube.opb REAL COMMAND: bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-d6cube.opb IDLAUNCH: 15667 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.153 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.153 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 642088 kB Buffers: 24532 kB Cached: 346484 kB SwapCached: 1352 kB Active: 265300 kB Inactive: 108248 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 641836 kB SwapTotal: 2097892 kB SwapFree: 2095532 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5104 kB Slab: 13208 kB Committed_AS: 63860 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-24 01:36:19 (client local time) WITH STATUS 0 IN 1200.21 SECONDS stats: 15667 7 1200.21 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.93 0.98 0.93 2/55 20733 Raw data (stat): 20733 (runsolver) R 20732 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 826186441 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0 Raw data (statm): 258 100 215 215 0 43 0 vsize: 1032 [startup+10.0005 s] Raw data (loadavg): 0.94 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 1188 0 0 0 990 5 0 0 25 0 1 0 826186441 16056320 1111 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3920 1111 1111 63 0 3857 0 vsize: 15680 [startup+20.0014 s] Raw data (loadavg): 0.95 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 1409 0 0 0 1990 5 0 0 25 0 1 0 826186441 16904192 1332 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4127 1332 1111 63 0 4064 0 vsize: 16508 [startup+30.0013 s] Raw data (loadavg): 0.96 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 1629 0 0 0 2989 6 0 0 25 0 1 0 826186441 17747968 1552 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4333 1552 1111 63 0 4270 0 vsize: 17332 [startup+40.0013 s] Raw data (loadavg): 0.96 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 1846 0 0 0 3989 6 0 0 25 0 1 0 826186441 18747392 1769 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4577 1769 1111 63 0 4514 0 vsize: 18308 [startup+50.0022 s] Raw data (loadavg): 0.97 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 2065 0 0 0 4988 8 0 0 25 0 1 0 826186441 19591168 1988 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4783 1988 1111 63 0 4720 0 vsize: 19132 [startup+60.0021 s] Raw data (loadavg): 0.97 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 2285 0 0 0 5987 9 0 0 25 0 1 0 826186441 20434944 2208 4294967295 134512640 134714508 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4989 2208 1111 63 0 4926 0 vsize: 19956 [startup+70.0034 s] Raw data (loadavg): 0.98 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 2510 0 0 0 6987 9 0 0 25 0 1 0 826186441 21417984 2433 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5229 2433 1111 63 0 5166 0 vsize: 20916 [startup+80.004 s] Raw data (loadavg): 0.98 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 2732 0 0 0 7987 9 0 0 25 0 1 0 826186441 22265856 2655 4294967295 134512640 134714508 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5436 2655 1111 63 0 5373 0 vsize: 21744 [startup+90.0043 s] Raw data (loadavg): 0.98 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 2951 0 0 0 8986 11 0 0 25 0 1 0 826186441 23244800 2874 4294967295 134512640 134714508 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5675 2874 1111 63 0 5612 0 vsize: 22700 [startup+100.005 s] Raw data (loadavg): 0.98 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 3171 0 0 0 9985 11 0 0 25 0 1 0 826186441 24092672 3094 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5882 3094 1111 63 0 5819 0 vsize: 23528 [startup+110.006 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 3398 0 0 0 10985 12 0 0 25 0 1 0 826186441 25079808 3321 4294967295 134512640 134714508 3221221776 3221220004 1077414432 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6123 3321 1111 63 0 6060 0 vsize: 24492 [startup+120.007 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 3618 0 0 0 11984 13 0 0 25 0 1 0 826186441 25927680 3541 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6330 3541 1111 63 0 6267 0 vsize: 25320 [startup+130.007 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 3844 0 0 0 12983 14 0 0 25 0 1 0 826186441 26927104 3767 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6574 3767 1111 63 0 6511 0 vsize: 26296 [startup+140.007 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 4066 0 0 0 13983 14 0 0 25 0 1 0 826186441 27774976 3989 4294967295 134512640 134714508 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6781 3989 1111 63 0 6718 0 vsize: 27124 [startup+150.008 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 4286 0 0 0 14982 15 0 0 25 0 1 0 826186441 28758016 4209 4294967295 134512640 134714508 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7021 4209 1111 63 0 6958 0 vsize: 28084 [startup+160.008 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 4514 0 0 0 15982 16 0 0 25 0 1 0 826186441 29605888 4437 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7228 4437 1111 63 0 7165 0 vsize: 28912 [startup+170.008 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 4734 0 0 0 16981 16 0 0 25 0 1 0 826186441 30588928 4657 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7468 4657 1111 63 0 7405 0 vsize: 29872 [startup+180.009 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 4961 0 0 0 17981 17 0 0 25 0 1 0 826186441 31432704 4884 4294967295 134512640 134714508 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7674 4884 1111 63 0 7611 0 vsize: 30696 [startup+190.01 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 5183 0 0 0 18981 17 0 0 25 0 1 0 826186441 32419840 5106 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7915 5106 1111 63 0 7852 0 vsize: 31660 [startup+200.01 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 5404 0 0 0 19980 18 0 0 25 0 1 0 826186441 33267712 5327 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8122 5327 1111 63 0 8059 0 vsize: 32488 [startup+210.011 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 5631 0 0 0 20980 18 0 0 25 0 1 0 826186441 34254848 5554 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8363 5554 1111 63 0 8300 0 vsize: 33452 [startup+220.011 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 5857 0 0 0 21980 19 0 0 25 0 1 0 826186441 35094528 5780 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8568 5780 1111 63 0 8505 0 vsize: 34272 [startup+230.012 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 6078 0 0 0 22979 19 0 0 25 0 1 0 826186441 36081664 6001 4294967295 134512640 134714508 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8809 6001 1111 63 0 8746 0 vsize: 35236 [startup+240.012 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 6305 0 0 0 23979 20 0 0 25 0 1 0 826186441 36925440 6228 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9015 6228 1111 63 0 8952 0 vsize: 36060 [startup+250.013 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 6542 0 0 0 24978 21 0 0 25 0 1 0 826186441 37924864 6465 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9259 6465 1111 63 0 9196 0 vsize: 37036 [startup+260.013 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 6769 0 0 0 25977 22 0 0 25 0 1 0 826186441 38907904 6692 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9499 6692 1111 63 0 9436 0 vsize: 37996 [startup+270.014 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 6996 0 0 0 26976 23 0 0 25 0 1 0 826186441 39890944 6919 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9739 6919 1111 63 0 9676 0 vsize: 38956 [startup+280.015 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 7224 0 0 0 27976 23 0 0 25 0 1 0 826186441 40738816 7147 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9946 7147 1111 63 0 9883 0 vsize: 39784 [startup+290.015 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 7452 0 0 0 28975 24 0 0 25 0 1 0 826186441 41725952 7375 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10187 7375 1111 63 0 10124 0 vsize: 40748 [startup+300.015 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 7678 0 0 0 29974 25 0 0 25 0 1 0 826186441 42565632 7601 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10392 7601 1111 63 0 10329 0 vsize: 41568 [startup+310.015 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 7906 0 0 0 30974 26 0 0 25 0 1 0 826186441 43552768 7829 4294967295 134512640 134714508 3221221776 3221220004 1077414432 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10633 7829 1111 63 0 10570 0 vsize: 42532 [startup+320.015 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 8135 0 0 0 31973 26 0 0 25 0 1 0 826186441 44539904 8058 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10874 8058 1111 63 0 10811 0 vsize: 43496 [startup+330.016 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 8362 0 0 0 32973 27 0 0 25 0 1 0 826186441 45387776 8285 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 11081 8285 1111 63 0 11018 0 vsize: 44324 [startup+340.016 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 8596 0 0 0 33972 28 0 0 25 0 1 0 826186441 46374912 8519 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 11322 8519 1111 63 0 11259 0 vsize: 45288 [startup+350.016 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 8823 0 0 0 34971 29 0 0 25 0 1 0 826186441 47353856 8746 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 11561 8746 1111 63 0 11498 0 vsize: 46244 [startup+360.016 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 9051 0 0 0 35971 29 0 0 25 0 1 0 826186441 48201728 8974 4294967295 134512640 134714508 3221221776 3221220004 1077414336 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 11768 8974 1111 63 0 11705 0 vsize: 47072 [startup+370.017 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 9285 0 0 0 36970 30 0 0 25 0 1 0 826186441 49188864 9208 4294967295 134512640 134714508 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12009 9208 1111 63 0 11946 0 vsize: 48036 [startup+380.018 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 9514 0 0 0 37970 31 0 0 25 0 1 0 826186441 50176000 9437 4294967295 134512640 134714508 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12250 9437 1111 63 0 12187 0 vsize: 49000 [startup+390.018 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 9740 0 0 0 38969 32 0 0 25 0 1 0 826186441 51015680 9663 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12455 9663 1111 63 0 12392 0 vsize: 49820 [startup+400.019 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 9975 0 0 0 39968 32 0 0 25 0 1 0 826186441 52002816 9898 4294967295 134512640 134714508 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12696 9898 1111 63 0 12633 0 vsize: 50784 [startup+410.019 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 10209 0 0 0 40967 33 0 0 25 0 1 0 826186441 52989952 10132 4294967295 134512640 134714508 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12937 10132 1111 63 0 12874 0 vsize: 51748 [startup+420.02 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 10437 0 0 0 41967 34 0 0 25 0 1 0 826186441 53833728 10360 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13143 10360 1111 63 0 13080 0 vsize: 52572 [startup+430.02 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 10672 0 0 0 42966 35 0 0 25 0 1 0 826186441 54820864 10595 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13384 10595 1111 63 0 13321 0 vsize: 53536 [startup+440.02 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 10899 0 0 0 43965 36 0 0 25 0 1 0 826186441 55803904 10822 4294967295 134512640 134714508 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13624 10822 1111 63 0 13561 0 vsize: 54496 [startup+450.02 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 11133 0 0 0 44964 37 0 0 25 0 1 0 826186441 56786944 11056 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13864 11056 1111 63 0 13801 0 vsize: 55456 [startup+460.021 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 11367 0 0 0 45963 39 0 0 25 0 1 0 826186441 57634816 11290 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14071 11290 1111 63 0 14008 0 vsize: 56284 [startup+470.021 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 11601 0 0 0 46962 40 0 0 25 0 1 0 826186441 58621952 11524 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 14312 11524 1111 63 0 14249 0 vsize: 57248 [startup+480.021 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 11828 0 0 0 47962 40 0 0 25 0 1 0 826186441 59609088 11751 4294967295 134512640 134714508 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 14553 11751 1111 63 0 14490 0 vsize: 58212 [startup+490.022 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 12079 0 0 0 48961 40 0 0 25 0 1 0 826186441 60678144 12002 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 14814 12002 1111 63 0 14751 0 vsize: 59256 [startup+500.022 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 12306 0 0 0 49961 41 0 0 25 0 1 0 826186441 61657088 12229 4294967295 134512640 134714508 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 15053 12229 1111 63 0 14990 0 vsize: 60212 [startup+510.022 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 12541 0 0 0 50960 42 0 0 25 0 1 0 826186441 62644224 12464 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 15294 12464 1111 63 0 15231 0 vsize: 61176 [startup+520.023 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 12776 0 0 0 51960 43 0 0 25 0 1 0 826186441 63627264 12699 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 15534 12699 1111 63 0 15471 0 vsize: 62136 [startup+530.024 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 13010 0 0 0 52959 43 0 0 25 0 1 0 826186441 64471040 12933 4294967295 134512640 134714508 3221221776 3221219644 1077253348 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 15740 12933 1111 63 0 15677 0 vsize: 62960 [startup+540.024 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 13244 0 0 0 53959 44 0 0 25 0 1 0 826186441 65458176 13167 4294967295 134512640 134714508 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 15981 13167 1111 63 0 15918 0 vsize: 63924 [startup+550.024 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 13478 0 0 0 54958 45 0 0 25 0 1 0 826186441 66441216 13401 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 16221 13401 1111 63 0 16158 0 vsize: 64884 [startup+560.025 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 13713 0 0 0 55958 45 0 0 25 0 1 0 826186441 67432448 13636 4294967295 134512640 134714508 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 16463 13636 1111 63 0 16400 0 vsize: 65852 [startup+570.025 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 13948 0 0 0 56958 46 0 0 25 0 1 0 826186441 68415488 13871 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 16703 13871 1111 63 0 16640 0 vsize: 66812 [startup+580.025 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 14183 0 0 0 57957 46 0 0 25 0 1 0 826186441 69255168 14106 4294967295 134512640 134714508 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 16908 14106 1111 63 0 16845 0 vsize: 67632 [startup+590.025 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 14415 0 0 0 58957 47 0 0 25 0 1 0 826186441 70246400 14338 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 17150 14338 1111 63 0 17087 0 vsize: 68600 [startup+600.024 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 14651 0 0 0 59956 47 0 0 25 0 1 0 826186441 71229440 14574 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 17390 14574 1111 63 0 17327 0 vsize: 69560 [startup+610.025 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 14886 0 0 0 60956 48 0 0 25 0 1 0 826186441 72216576 14809 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 17631 14809 1111 63 0 17568 0 vsize: 70524 [startup+620.025 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 15126 0 0 0 61956 48 0 0 25 0 1 0 826186441 73203712 15049 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 17872 15049 1111 63 0 17809 0 vsize: 71488 [startup+630.027 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 15362 0 0 0 62956 49 0 0 25 0 1 0 826186441 74190848 15285 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18113 15285 1111 63 0 18050 0 vsize: 72452 [startup+640.027 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 15602 0 0 0 63955 49 0 0 25 0 1 0 826186441 75169792 15525 4294967295 134512640 134714508 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18352 15525 1111 63 0 18289 0 vsize: 73408 [startup+650.027 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 15836 0 0 0 64955 50 0 0 25 0 1 0 826186441 76017664 15759 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18559 15759 1111 63 0 18496 0 vsize: 74236 [startup+660.027 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 16078 0 0 0 65955 50 0 0 25 0 1 0 826186441 77004800 16001 4294967295 134512640 134714508 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18800 16001 1111 63 0 18737 0 vsize: 75200 [startup+670.027 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 16319 0 0 0 66954 51 0 0 25 0 1 0 826186441 77991936 16242 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19041 16242 1111 63 0 18978 0 vsize: 76164 [startup+680.027 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 16554 0 0 0 67954 52 0 0 25 0 1 0 826186441 78979072 16477 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19282 16477 1111 63 0 19219 0 vsize: 77128 [startup+690.027 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 16794 0 0 0 68953 52 0 0 25 0 1 0 826186441 79958016 16717 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19521 16717 1111 63 0 19458 0 vsize: 78084 [startup+700.028 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 17036 0 0 0 69953 52 0 0 25 0 1 0 826186441 80945152 16959 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19762 16959 1111 63 0 19699 0 vsize: 79048 [startup+710.028 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 17271 0 0 0 70953 53 0 0 25 0 1 0 826186441 81932288 17194 4294967295 134512640 134714508 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20003 17194 1111 63 0 19940 0 vsize: 80012 [startup+720.029 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 17518 0 0 0 71953 53 0 0 25 0 1 0 826186441 82919424 17441 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20244 17441 1111 63 0 20181 0 vsize: 80976 [startup+730.029 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 17754 0 0 0 72952 54 0 0 25 0 1 0 826186441 83906560 17677 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20485 17677 1111 63 0 20422 0 vsize: 81940 [startup+740.029 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 18000 0 0 0 73952 54 0 0 25 0 1 0 826186441 84885504 17923 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20724 17923 1111 63 0 20661 0 vsize: 82896 [startup+750.03 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 18236 0 0 0 74952 54 0 0 25 0 1 0 826186441 85872640 18159 4294967295 134512640 134714508 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20965 18159 1111 63 0 20902 0 vsize: 83860 [startup+760.029 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 18484 0 0 0 75952 55 0 0 25 0 1 0 826186441 86859776 18407 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 21206 18407 1111 63 0 21143 0 vsize: 84824 [startup+770.029 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 18725 0 0 0 76952 55 0 0 25 0 1 0 826186441 87846912 18648 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 21447 18648 1111 63 0 21384 0 vsize: 85788 [startup+780.03 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 18968 0 0 0 77952 56 0 0 25 0 1 0 826186441 88834048 18891 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 21688 18891 1111 63 0 21625 0 vsize: 86752 [startup+790.03 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 19215 0 0 0 78951 56 0 0 25 0 1 0 826186441 89821184 19138 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 21929 19138 1111 63 0 21866 0 vsize: 87716 [startup+800.03 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 19456 0 0 0 79951 56 0 0 25 0 1 0 826186441 90800128 19379 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 22168 19379 1111 63 0 22105 0 vsize: 88672 [startup+810.03 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 19698 0 0 0 80950 57 0 0 25 0 1 0 826186441 91787264 19621 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 22409 19621 1111 63 0 22346 0 vsize: 89636 [startup+820.031 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 19945 0 0 0 81950 58 0 0 25 0 1 0 826186441 92913664 19868 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 22684 19868 1111 63 0 22621 0 vsize: 90736 [startup+830.031 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 20194 0 0 0 82950 58 0 0 25 0 1 0 826186441 93900800 20117 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 22925 20117 1111 63 0 22862 0 vsize: 91700 [startup+840.031 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 20436 0 0 0 83950 59 0 0 25 0 1 0 826186441 94887936 20359 4294967295 134512640 134714508 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 23166 20359 1111 63 0 23103 0 vsize: 92664 [startup+850.031 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 20684 0 0 0 84949 59 0 0 25 0 1 0 826186441 95875072 20607 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 23407 20607 1111 63 0 23344 0 vsize: 93628 [startup+860.031 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 20931 0 0 0 85949 59 0 0 25 0 1 0 826186441 96854016 20854 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 23646 20854 1111 63 0 23583 0 vsize: 94584 [startup+870.032 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 21173 0 0 0 86949 60 0 0 25 0 1 0 826186441 97841152 21096 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 23887 21096 1111 63 0 23824 0 vsize: 95548 [startup+880.032 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 21421 0 0 0 87948 60 0 0 25 0 1 0 826186441 98828288 21344 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24128 21344 1111 63 0 24065 0 vsize: 96512 [startup+890.032 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 21670 0 0 0 88948 61 0 0 25 0 1 0 826186441 99954688 21593 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24403 21593 1111 63 0 24340 0 vsize: 97612 [startup+900.033 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 21919 0 0 0 89947 62 0 0 25 0 1 0 826186441 100941824 21842 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24644 21842 1111 63 0 24581 0 vsize: 98576 [startup+910.033 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 22166 0 0 0 90947 63 0 0 25 0 1 0 826186441 101928960 22089 4294967295 134512640 134714508 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24885 22089 1111 63 0 24822 0 vsize: 99540 [startup+920.033 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 22415 0 0 0 91946 63 0 0 25 0 1 0 826186441 102907904 22338 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 25124 22338 1111 63 0 25061 0 vsize: 100496 [startup+930.034 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 22668 0 0 0 92946 64 0 0 25 0 1 0 826186441 104034304 22591 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 25399 22591 1111 63 0 25336 0 vsize: 101596 [startup+940.033 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 22916 0 0 0 93945 65 0 0 25 0 1 0 826186441 105021440 22839 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 25640 22839 1111 63 0 25577 0 vsize: 102560 [startup+950.033 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 23203 0 0 0 94945 65 0 0 25 0 1 0 826186441 106373120 23126 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 25970 23126 1111 63 0 25907 0 vsize: 103880 [startup+960.033 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 23451 0 0 0 95944 66 0 0 25 0 1 0 826186441 107495424 23374 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 26244 23374 1111 63 0 26181 0 vsize: 104976 [startup+970.034 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 23701 0 0 0 96944 66 0 0 25 0 1 0 826186441 108482560 23624 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 26485 23624 1111 63 0 26422 0 vsize: 105940 [startup+980.034 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 23956 0 0 0 97944 66 0 0 25 0 1 0 826186441 109469696 23879 4294967295 134512640 134714508 3221221776 3221220004 1077414407 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 26726 23879 1111 63 0 26663 0 vsize: 106904 [startup+990.034 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 24209 0 0 0 98943 67 0 0 25 0 1 0 826186441 110587904 24132 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 26999 24132 1111 63 0 26936 0 vsize: 107996 [startup+1000.04 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 24458 0 0 0 99943 68 0 0 25 0 1 0 826186441 111579136 24381 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 27241 24381 1111 63 0 27178 0 vsize: 108964 [startup+1010.04 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 24713 0 0 0 100943 69 0 0 25 0 1 0 826186441 112562176 24636 4294967295 134512640 134714508 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 27481 24636 1111 63 0 27418 0 vsize: 109924 [startup+1020.04 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 24968 0 0 0 101942 69 0 0 25 0 1 0 826186441 113688576 24891 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 27756 24891 1111 63 0 27693 0 vsize: 111024 [startup+1030.04 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 25224 0 0 0 102942 70 0 0 25 0 1 0 826186441 114675712 25147 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 27997 25147 1111 63 0 27934 0 vsize: 111988 [startup+1040.04 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 25479 0 0 0 103941 70 0 0 25 0 1 0 826186441 115662848 25402 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 28238 25402 1111 63 0 28175 0 vsize: 112952 [startup+1050.04 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 25733 0 0 0 104941 71 0 0 25 0 1 0 826186441 116789248 25656 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 28513 25656 1111 63 0 28450 0 vsize: 114052 [startup+1060.04 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 25990 0 0 0 105941 72 0 0 25 0 1 0 826186441 117772288 25913 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 28753 25913 1111 63 0 28690 0 vsize: 115012 [startup+1070.04 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 26243 0 0 0 106940 72 0 0 25 0 1 0 826186441 118898688 26166 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 29028 26166 1111 63 0 28965 0 vsize: 116112 [startup+1080.04 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 26499 0 0 0 107940 72 0 0 25 0 1 0 826186441 119885824 26422 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 29269 26422 1111 63 0 29206 0 vsize: 117076 [startup+1090.04 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 26761 0 0 0 108940 73 0 0 25 0 1 0 826186441 121012224 26684 4294967295 134512640 134714508 3221221776 3221220112 134566780 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 29544 26684 1111 63 0 29481 0 vsize: 118176 [startup+1100.04 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 27016 0 0 0 109940 73 0 0 25 0 1 0 826186441 121999360 26939 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 29785 26939 1111 63 0 29722 0 vsize: 119140 [startup+1110.04 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 27273 0 0 0 110940 73 0 0 25 0 1 0 826186441 122982400 27196 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30025 27196 1111 63 0 29962 0 vsize: 120100 [startup+1120.04 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 27534 0 0 0 111940 74 0 0 25 0 1 0 826186441 124112896 27457 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30301 27457 1111 63 0 30238 0 vsize: 121204 [startup+1130.04 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 27795 0 0 0 112939 74 0 0 25 0 1 0 826186441 125239296 27718 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30576 27718 1111 63 0 30513 0 vsize: 122304 [startup+1140.04 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 28052 0 0 0 113939 75 0 0 25 0 1 0 826186441 126226432 27975 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30817 27975 1111 63 0 30754 0 vsize: 123268 [startup+1150.04 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 28311 0 0 0 114939 75 0 0 25 0 1 0 826186441 127344640 28234 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31090 28234 1111 63 0 31027 0 vsize: 124360 [startup+1160.04 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 28568 0 0 0 115938 76 0 0 25 0 1 0 826186441 128331776 28491 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31331 28491 1111 63 0 31268 0 vsize: 125324 [startup+1170.04 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 28830 0 0 0 116938 76 0 0 25 0 1 0 826186441 129458176 28753 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31606 28753 1111 63 0 31543 0 vsize: 126424 [startup+1180.04 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 29091 0 0 0 117938 76 0 0 25 0 1 0 826186441 130445312 29014 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31847 29014 1111 63 0 31784 0 vsize: 127388 [startup+1190.04 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 29355 0 0 0 118938 77 0 0 25 0 1 0 826186441 131571712 29278 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 32122 29278 1111 63 0 32059 0 vsize: 128488 [startup+1200.04 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 29616 0 0 0 119937 77 0 0 25 0 1 0 826186441 132558848 29539 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 32363 29539 1111 63 0 32300 0 vsize: 129452 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.1 s] Raw data (loadavg): 0.99 0.98 0.93 1/55 20733 Raw data (stat): 20733 (bsolo_lpr_cuts) Z 20732 7876 7672 0 -1 1036 29616 0 0 0 119937 83 0 0 25 0 1 0 826186441 0 0 4294967295 0 0 0 0 0 0 0 1 0 3222412051 0 0 17 0 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child ended because it received signal 15 (SIGTERM) Real time (s): 1200.1 CPU time (s): 1200.21 CPU user time (s): 1199.38 CPU system time (s): 0.834873 CPU usage (%): 100.01 Max. virtual memory (Kb): 129452 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####