Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-danoint.opb |
MD5SUM | 32dd768e34cdc0e1cb04afadbe97060d |
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 | 20 |
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 | 1048575 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 13107200 |
Number of bits of the biggest number in a constraint | 24 |
Biggest sum of numbers in a constraint | 52829966 |
Number of bits of the biggest sum of numbers | 26 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 1.36179 |
Number of variables | 9304 |
Total number of constraints | 728 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 72 |
Number of constraints which are nor clauses,nor cardinality constraints | 656 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 1000 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc11 THE 2005-05-24 21:34:34 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=17500 boxname=wulflinc11 idbench=1347 idsolver=2 numberseed=0 MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7 /oldhome/oroussel/solvers/bsolo_lpr_cuts MD5SUM BENCH: 32dd768e34cdc0e1cb04afadbe97060d /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-13-7-danoint.opb REAL COMMAND: bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-13-7-danoint.opb IDLAUNCH: 17500 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.028 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 : 2 cpu MHz : 451.028 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 : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 888104 kB Buffers: 21824 kB Cached: 98916 kB SwapCached: 640 kB Active: 19352 kB Inactive: 107308 kB HighTotal: 131008 kB HighFree: 102872 kB LowTotal: 903652 kB LowFree: 785232 kB SwapTotal: 2097136 kB SwapFree: 2095664 kB Dirty: 24 kB Writeback: 0 kB Mapped: 5472 kB Slab: 14336 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-24 21:54:10 (client local time) WITH STATUS 0 IN 1175.1 SECONDS stats: 17500 7 1175.1 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 9304 variables and 816 constraints. c After prepocess the problem consists of 6400 variables and 1490 constraints. c preprocess terminated 12.751 s c Initial Lower Bound: 7997 c Lower Bound Elapsed time: 40.895 c Not use computed LB before first solution. s UNKNOWN c Exit Code: 0 c Total time: 1175.06 s #### 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.90 0.93 0.97 2/54 31149 Raw data (stat): 31149 (runsolver) R 31148 25830 25829 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 775291341 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0001 s] Raw data (loadavg): 0.92 0.93 0.97 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 13136 0 0 0 960 36 0 0 25 0 1 0 775291341 57139200 13055 4294967295 134512640 134714508 3221224576 3221223248 134627170 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13950 13055 1111 63 0 13887 0 vsize: 55800 [startup+20.0005 s] Raw data (loadavg): 0.93 0.94 0.97 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 14621 0 0 0 1957 40 0 0 25 0 1 0 775291341 60030976 13837 4294967295 134512640 134714508 3221224576 3221220500 1074875787 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14656 13837 1111 63 0 14593 0 vsize: 58624 [startup+30.0011 s] Raw data (loadavg): 0.94 0.94 0.97 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 14627 0 0 0 2957 40 0 0 25 0 1 0 775291341 60051456 13843 4294967295 134512640 134714508 3221224576 3221220540 1074873465 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14661 13843 1111 63 0 14598 0 vsize: 58644 [startup+40.0022 s] Raw data (loadavg): 0.95 0.94 0.97 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 14629 0 0 0 3957 40 0 0 25 0 1 0 775291341 60051456 13845 4294967295 134512640 134714508 3221224576 3221220672 1074882610 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14661 13845 1111 63 0 14598 0 vsize: 58644 [startup+50.0029 s] Raw data (loadavg): 0.96 0.94 0.97 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15514 0 0 0 4955 42 0 0 25 0 1 0 775291341 57864192 13391 4294967295 134512640 134714508 3221224576 3221223024 134648533 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13391 1111 63 0 14064 0 vsize: 56508 [startup+60.0023 s] Raw data (loadavg): 1.04 0.96 0.97 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 5953 43 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+70.0037 s] Raw data (loadavg): 1.03 0.96 0.97 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 6953 44 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223184 134549470 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+80.0042 s] Raw data (loadavg): 1.03 0.96 0.97 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 7953 44 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+90.0047 s] Raw data (loadavg): 1.02 0.96 0.97 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 8953 45 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223084 134535903 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+100.005 s] Raw data (loadavg): 1.02 0.96 0.97 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 9953 45 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223184 134549313 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+110.005 s] Raw data (loadavg): 1.01 0.96 0.97 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 10953 45 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+120.005 s] Raw data (loadavg): 1.01 0.97 0.97 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 11953 45 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223320 134558492 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+130.006 s] Raw data (loadavg): 1.01 0.97 0.97 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 12952 46 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+140.006 s] Raw data (loadavg): 1.01 0.97 0.97 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 13951 47 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+150.006 s] Raw data (loadavg): 1.08 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 14951 47 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223184 134549474 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+160.007 s] Raw data (loadavg): 1.07 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 15951 48 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+170.007 s] Raw data (loadavg): 1.06 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 16951 48 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223184 134549334 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+180.007 s] Raw data (loadavg): 1.05 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 17950 49 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223376 134597769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+190.008 s] Raw data (loadavg): 1.04 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 18950 49 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+200.008 s] Raw data (loadavg): 1.03 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 19950 49 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+210.007 s] Raw data (loadavg): 1.03 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 20950 50 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+220.008 s] Raw data (loadavg): 1.02 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 21949 51 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223184 134549467 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+230.008 s] Raw data (loadavg): 1.02 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 22948 52 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+240.009 s] Raw data (loadavg): 1.02 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 23947 53 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+250.009 s] Raw data (loadavg): 1.01 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 24947 53 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223184 134549474 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+260.008 s] Raw data (loadavg): 1.01 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 25947 54 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+270.009 s] Raw data (loadavg): 1.01 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 26946 55 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+280.009 s] Raw data (loadavg): 1.01 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 27946 55 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223184 134549305 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+290.01 s] Raw data (loadavg): 1.00 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 28945 56 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223376 134597769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+300.009 s] Raw data (loadavg): 1.00 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 29945 57 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+310.009 s] Raw data (loadavg): 1.00 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 30944 57 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+320.009 s] Raw data (loadavg): 1.00 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 31944 58 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223184 134549305 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+330.01 s] Raw data (loadavg): 1.00 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 32944 58 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223360 134597580 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+340.012 s] Raw data (loadavg): 1.00 0.98 0.98 3/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 33944 58 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223184 134549318 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+350.012 s] Raw data (loadavg): 1.00 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 34943 59 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223312 134588000 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+360.011 s] Raw data (loadavg): 1.00 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 35943 60 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223184 134548846 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+370.011 s] Raw data (loadavg): 1.00 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 36943 60 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+380.011 s] Raw data (loadavg): 1.00 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 37942 60 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+390.011 s] Raw data (loadavg): 1.00 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 38942 61 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223184 134549313 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+400.012 s] Raw data (loadavg): 1.00 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 39942 61 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223336 134613542 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+410.012 s] Raw data (loadavg): 1.00 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 40942 62 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223184 134549474 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+420.013 s] Raw data (loadavg): 1.00 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 41942 62 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223336 134613501 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+430.013 s] Raw data (loadavg): 1.00 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 42941 63 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+440.014 s] Raw data (loadavg): 1.00 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 43941 64 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223352 134613539 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+450.013 s] Raw data (loadavg): 1.00 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 44940 64 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223184 134549305 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+460.013 s] Raw data (loadavg): 1.00 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 45939 65 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+470.014 s] Raw data (loadavg): 1.00 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 46939 66 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+480.014 s] Raw data (loadavg): 1.00 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 47938 66 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223352 134613539 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+490.014 s] Raw data (loadavg): 1.00 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 48938 67 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+500.015 s] Raw data (loadavg): 1.00 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 49938 68 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+510.015 s] Raw data (loadavg): 1.00 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 50937 68 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+520.015 s] Raw data (loadavg): 1.00 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 51937 69 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223184 134549318 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+530.015 s] Raw data (loadavg): 1.00 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 52936 69 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+540.015 s] Raw data (loadavg): 1.00 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 53936 70 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+550.015 s] Raw data (loadavg): 1.00 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 54936 70 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+560.015 s] Raw data (loadavg): 1.00 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 55935 71 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+570.016 s] Raw data (loadavg): 1.00 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 56935 72 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223184 134549474 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+580.015 s] Raw data (loadavg): 1.00 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 57934 72 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+590.017 s] Raw data (loadavg): 1.00 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 58934 73 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223184 134549305 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+600.016 s] Raw data (loadavg): 1.00 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 59933 74 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223184 134549467 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+610.016 s] Raw data (loadavg): 1.00 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 60933 74 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223184 134549470 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+620.017 s] Raw data (loadavg): 1.00 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 61932 75 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223184 134549313 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+630.016 s] Raw data (loadavg): 1.00 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 62932 76 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223184 134549318 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+640.017 s] Raw data (loadavg): 1.00 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 63931 76 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+650.017 s] Raw data (loadavg): 1.00 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 64931 77 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+660.017 s] Raw data (loadavg): 1.00 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 65931 77 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223184 134549467 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+670.017 s] Raw data (loadavg): 1.00 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 66930 78 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223356 134600348 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+680.018 s] Raw data (loadavg): 1.00 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 67930 79 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+690.018 s] Raw data (loadavg): 1.00 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 68930 79 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223152 134549463 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+700.018 s] Raw data (loadavg): 1.00 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 69929 80 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+710.018 s] Raw data (loadavg): 1.00 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 70929 80 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223340 134613543 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+720.019 s] Raw data (loadavg): 1.00 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 71928 81 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+730.019 s] Raw data (loadavg): 1.00 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 72928 82 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+740.019 s] Raw data (loadavg): 1.00 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 73927 83 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223340 134613543 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+750.02 s] Raw data (loadavg): 1.00 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 74927 83 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223184 134549305 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+760.02 s] Raw data (loadavg): 1.00 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 75926 84 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223336 134613509 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+770.02 s] Raw data (loadavg): 1.00 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 76926 85 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223352 134613539 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+780.02 s] Raw data (loadavg): 1.00 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 77925 85 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223264 134524466 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+790.022 s] Raw data (loadavg): 1.00 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 78925 86 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+800.022 s] Raw data (loadavg): 1.00 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 79925 86 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223336 134613542 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+810.022 s] Raw data (loadavg): 1.00 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 80924 87 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223376 134597769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+820.022 s] Raw data (loadavg): 1.00 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 81923 88 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+830.021 s] Raw data (loadavg): 1.00 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 82923 89 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+840.022 s] Raw data (loadavg): 1.00 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 83922 90 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223336 134613542 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+850.022 s] Raw data (loadavg): 1.00 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 84922 90 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+860.022 s] Raw data (loadavg): 1.00 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 85921 90 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+870.022 s] Raw data (loadavg): 1.00 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 86921 91 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+880.022 s] Raw data (loadavg): 1.00 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 87920 92 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+890.023 s] Raw data (loadavg): 1.00 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 88919 93 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223356 134613543 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+900.024 s] Raw data (loadavg): 1.00 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 89919 94 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+910.024 s] Raw data (loadavg): 1.00 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 90918 94 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223168 134543710 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+920.025 s] Raw data (loadavg): 1.00 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 91918 95 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223340 134613500 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+930.025 s] Raw data (loadavg): 1.00 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 92917 96 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223184 134549460 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+940.026 s] Raw data (loadavg): 1.00 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 93917 97 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223320 134672932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+950.027 s] Raw data (loadavg): 1.00 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 94917 97 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223352 134600364 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+960.026 s] Raw data (loadavg): 1.00 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 95916 98 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223184 134549470 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+970.028 s] Raw data (loadavg): 1.00 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 96915 99 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+980.028 s] Raw data (loadavg): 1.00 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 97915 99 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223184 134549313 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+990.029 s] Raw data (loadavg): 1.00 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 98915 100 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223184 134549334 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+1000.03 s] Raw data (loadavg): 1.00 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 99915 100 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+1010.03 s] Raw data (loadavg): 1.00 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 100914 101 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223200 1076999581 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+1020.03 s] Raw data (loadavg): 1.00 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 101914 101 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+1030.03 s] Raw data (loadavg): 1.00 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 102913 102 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223304 134543830 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+1040.03 s] Raw data (loadavg): 1.00 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 103913 103 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+1050.03 s] Raw data (loadavg): 1.00 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 104913 103 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+1060.03 s] Raw data (loadavg): 1.00 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 105912 104 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+1070.03 s] Raw data (loadavg): 1.00 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 106912 104 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223336 134613542 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+1080.03 s] Raw data (loadavg): 1.00 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 107911 105 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223184 134549463 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+1090.03 s] Raw data (loadavg): 1.00 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 108911 106 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+1100.03 s] Raw data (loadavg): 1.00 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 109910 106 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+1110.03 s] Raw data (loadavg): 1.00 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 110910 107 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223184 134549305 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+1120.03 s] Raw data (loadavg): 1.00 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 111909 108 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223264 134524469 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+1130.03 s] Raw data (loadavg): 1.00 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 112909 108 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+1140.03 s] Raw data (loadavg): 1.00 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 113909 108 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+1150.04 s] Raw data (loadavg): 1.00 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 114910 108 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+1160.03 s] Raw data (loadavg): 1.00 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 115909 109 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223340 134613500 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+1170.03 s] Raw data (loadavg): 1.00 0.98 0.98 2/54 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 116907 111 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223336 134613542 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 56508 [startup+1174.94 s] Raw data (loadavg): 1.00 0.98 0.98 1/53 31149 Raw data (stat): 31149 (bsolo_lpr_cuts) R 31148 25830 25829 0 -1 0 15515 0 0 0 116907 111 0 0 25 0 1 0 775291341 57864192 13392 4294967295 134512640 134714508 3221224576 3221223336 134613542 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14127 13392 1111 63 0 14064 0 vsize: 0 Child status: 0 Real time (s): 1174.94 CPU time (s): 1175.1 CPU user time (s): 1173.95 CPU system time (s): 1.14482 CPU usage (%): 100.013 Max. virtual memory (Kb): 58644 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####