Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-a1c1s1.opb |
MD5SUM | 60a85eb68562d07c063b16fa35f27512 |
Bench Category | optimization, big integers (OPTBIGINT) |
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 | 27456 |
Biggest coefficient in the objective function | 1310720000000 |
Number of bits for the biggest coefficient in the objective function | 41 |
Sum of the numbers in the objective function | 254165973806800 |
Number of bits of the sum of numbers in the objective function | 48 |
Biggest number in a constraint | 1310720000000 |
Number of bits of the biggest number in a constraint | 41 |
Biggest sum of numbers in a constraint | 254165973806800 |
Number of bits of the biggest sum of numbers | 48 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.648901 |
Number of variables | 71616 |
Total number of constraints | 3312 |
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 | 3312 |
Minimum length of a constraint | 33 |
Maximum length of a constraint | 545 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc4 THE 2005-06-09 13:44:48 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=29554 boxname=wulflinc4 idbench=1338 idsolver=21 numberseed=0 MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2 MD5SUM BENCH: 60a85eb68562d07c063b16fa35f27512 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-a1c1s1.opb REAL COMMAND: bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-a1c1s1.opb IDLAUNCH: 29554 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.169 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 : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.169 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: 883276 kB Buffers: 7552 kB Cached: 122928 kB SwapCached: 896 kB Active: 30504 kB Inactive: 102036 kB HighTotal: 131008 kB HighFree: 22232 kB LowTotal: 903652 kB LowFree: 861044 kB SwapTotal: 2097136 kB SwapFree: 2095212 kB Dirty: 28 kB Writeback: 0 kB Mapped: 4924 kB Slab: 13116 kB Committed_AS: 71796 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-09 14:04:24 (client local time) WITH STATUS 0 IN 1175.2 SECONDS stats: 29554 7 1175.2 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 71616 variables and 4560 constraints. c After prepocess the problem consists of 59596 variables and 5084 constraints. c preprocess terminated 338.451 s c Initial Lower Bound: 716354236 c Lower Bound Elapsed time: 69.0347 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 Enforcing Stack size limit: 67108864 bytes Current StackSize limit: 67108864 bytes Raw data (loadavg): 0.92 0.95 0.90 1/54 17046 Raw data (stat): 17046 (runsolver) R 17045 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 910725215 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.0008 s] Raw data (loadavg): 0.93 0.96 0.91 2/54 17046 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 1482 0 0 0 994 3 0 0 25 0 1 0 910725215 18743296 1402 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4576 1402 1111 63 0 4513 0 vsize: 18304 [startup+20.0016 s] Raw data (loadavg): 0.94 0.96 0.91 2/54 17046 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2464 0 0 0 1992 5 0 0 25 0 1 0 910725215 22679552 2384 4294967295 134512640 134716908 3221224560 3221222788 1077414407 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5537 2384 1111 63 0 5474 0 vsize: 22148 [startup+30.0027 s] Raw data (loadavg): 0.95 0.96 0.91 2/54 17046 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 3517 0 0 0 2991 7 0 0 25 0 1 0 910725215 27066368 3437 4294967295 134512640 134716908 3221224560 3221222788 1077414424 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6608 3437 1111 63 0 6545 0 vsize: 26432 [startup+40.0033 s] Raw data (loadavg): 0.96 0.96 0.91 2/54 17046 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 4618 0 0 0 3989 9 0 0 25 0 1 0 910725215 31567872 4538 4294967295 134512640 134716908 3221224560 3221223216 134527953 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7707 4538 1111 63 0 7644 0 vsize: 30828 [startup+50.0031 s] Raw data (loadavg): 0.96 0.96 0.91 2/54 17046 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 5803 0 0 0 4987 11 0 0 25 0 1 0 910725215 36356096 5723 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8876 5723 1111 63 0 8813 0 vsize: 35504 [startup+60.0034 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 17046 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 7164 0 0 0 5984 14 0 0 25 0 1 0 910725215 42004480 7084 4294967295 134512640 134716908 3221224560 3221223216 134527935 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10255 7084 1111 63 0 10192 0 vsize: 41020 [startup+70.0032 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 17046 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 8558 0 0 0 6982 16 0 0 25 0 1 0 910725215 47775744 8478 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11664 8478 1111 63 0 11601 0 vsize: 46656 [startup+80.0037 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 17046 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 10033 0 0 0 7980 18 0 0 25 0 1 0 910725215 53690368 9953 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13108 9953 1111 63 0 13045 0 vsize: 52432 [startup+90.0039 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 17046 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 11568 0 0 0 8977 21 0 0 25 0 1 0 910725215 60026880 11488 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14655 11488 1111 63 0 14592 0 vsize: 58620 [startup+100.003 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 17046 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 13149 0 0 0 9973 25 0 0 25 0 1 0 910725215 66580480 13069 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16255 13069 1111 63 0 16192 0 vsize: 65020 [startup+110.004 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 17046 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 14790 0 0 0 10972 27 0 0 25 0 1 0 910725215 73338880 14710 4294967295 134512640 134716908 3221224560 3221223216 134527930 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17905 14710 1111 63 0 17842 0 vsize: 71620 [startup+120.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17046 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 16480 0 0 0 11969 30 0 0 25 0 1 0 910725215 80240640 16400 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19590 16400 1111 63 0 19527 0 vsize: 78360 [startup+130.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17046 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 18246 0 0 0 12966 34 0 0 25 0 1 0 910725215 87482368 18166 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21358 18166 1111 63 0 21295 0 vsize: 85432 [startup+140.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17046 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 36432 0 0 0 13928 71 0 0 25 0 1 0 910725215 161955840 36352 4294967295 134512640 134716908 3221224560 3221221036 1077196420 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39540 36352 1111 63 0 39477 0 vsize: 158160 [startup+150.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17046 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 54101 0 0 0 14894 105 0 0 25 0 1 0 910725215 233549824 53679 4294967295 134512640 134716908 3221224560 3221222200 1077360690 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 57019 53679 1111 63 0 56956 0 vsize: 228076 [startup+160.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17046 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 68266 0 0 0 15860 138 0 0 25 0 1 0 910725215 262606848 62668 4294967295 134512640 134716908 3221224560 3221223288 134675279 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 64113 62668 1111 63 0 64050 0 vsize: 256452 [startup+170.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17046 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 68327 0 0 0 16860 138 0 0 25 0 1 0 910725215 262742016 62729 4294967295 134512640 134716908 3221224560 3221223288 134675300 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 64146 62729 1111 63 0 64083 0 vsize: 256584 [startup+180.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17046 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 93857 0 0 0 17804 194 0 0 25 0 1 0 910725215 266715136 63689 4294967295 134512640 134716908 3221224560 3221223200 134606504 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 65046 63619 1111 63 0 64983 0 vsize: 260464 [startup+190.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17046 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 275601 0 0 0 18410 588 0 0 25 0 1 0 910725215 266264576 63573 4294967295 134512640 134716908 3221224560 3221223288 134675279 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 65006 63573 1111 63 0 64943 0 vsize: 260024 [startup+200.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17046 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 409557 0 0 0 19112 886 0 0 25 0 1 0 910725215 268075008 63969 4294967295 134512640 134716908 3221224560 3221223200 134606495 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 65448 63976 1111 63 0 65385 0 vsize: 261792 [startup+210.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17046 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 568442 0 0 0 19758 1241 0 0 25 0 1 0 910725215 267485184 63884 4294967295 134512640 134716908 3221224560 3221223288 134675281 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 65304 63884 1111 63 0 65241 0 vsize: 261216 [startup+220.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17046 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 718552 0 0 0 20429 1570 0 0 25 0 1 0 910725215 268886016 64054 4294967295 134512640 134716908 3221224560 3221223200 134606504 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 65646 64061 1111 63 0 65583 0 vsize: 262584 [startup+230.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17046 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 886578 0 0 0 21059 1940 0 0 25 0 1 0 910725215 268300288 64080 4294967295 134512640 134716908 3221224560 3221223360 134617640 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 65503 64080 1111 63 0 65440 0 vsize: 262012 [startup+240.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17046 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 1050130 0 0 0 21699 2300 0 0 25 0 1 0 910725215 269422592 64252 4294967295 134512640 134716908 3221224560 3221223200 134606495 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 65777 64259 1111 63 0 65714 0 vsize: 263108 [startup+250.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17046 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 1219875 0 0 0 22326 2673 0 0 25 0 1 0 910725215 269557760 64317 4294967295 134512640 134716908 3221224560 3221223200 134606504 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 65810 64323 1111 63 0 65747 0 vsize: 263240 [startup+260.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17046 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 1397573 0 0 0 22936 3064 0 0 25 0 1 0 910725215 269824000 64355 4294967295 134512640 134716908 3221224560 3221223200 134606504 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 65875 64361 1111 63 0 65812 0 vsize: 263500 [startup+270.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17046 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 1603168 0 0 0 23482 3518 0 0 25 0 1 0 910725215 269824000 64360 4294967295 134512640 134716908 3221224560 3221223200 134606504 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 65875 64368 1111 63 0 65812 0 vsize: 263500 [startup+280.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17046 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 1693689 0 0 0 24290 3710 0 0 25 0 1 0 910725215 269520896 64371 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 65801 64371 1111 63 0 65738 0 vsize: 263204 [startup+290.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17046 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 1693705 0 0 0 25290 3710 0 0 25 0 1 0 910725215 269520896 64387 4294967295 134512640 134716908 3221224560 3221223232 134627266 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 65801 64387 1111 63 0 65738 0 vsize: 263204 [startup+300.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17046 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 1693705 0 0 0 26290 3710 0 0 25 0 1 0 910725215 269520896 64387 4294967295 134512640 134716908 3221224560 3221223212 134558618 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 65801 64387 1111 63 0 65738 0 vsize: 263204 [startup+310.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17046 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 1693705 0 0 0 27290 3710 0 0 25 0 1 0 910725215 269520896 64387 4294967295 134512640 134716908 3221224560 3221223224 134627211 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 65801 64387 1111 63 0 65738 0 vsize: 263204 [startup+320.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17046 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 1693705 0 0 0 28290 3710 0 0 25 0 1 0 910725215 269520896 64387 4294967295 134512640 134716908 3221224560 3221223208 134558492 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 65801 64387 1111 63 0 65738 0 vsize: 263204 [startup+330.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17046 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 1693705 0 0 0 29291 3710 0 0 25 0 1 0 910725215 269520896 64387 4294967295 134512640 134716908 3221224560 3221223224 134627211 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 65801 64387 1111 63 0 65738 0 vsize: 263204 [startup+340.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17046 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 1718430 0 0 0 30231 3769 0 0 25 0 1 0 910725215 283537408 67622 4294967295 134512640 134716908 3221224560 3221222752 1074153672 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 69223 67622 1111 63 0 69160 0 vsize: 276892 [startup+350.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17046 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 1848027 0 0 0 30942 4058 0 0 25 0 1 0 910725215 283881472 67719 4294967295 134512640 134716908 3221224560 3221222464 1074153675 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 69307 67719 1111 63 0 69244 0 vsize: 277228 [startup+360.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17046 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 1956637 0 0 0 31695 4305 0 0 25 0 1 0 910725215 284127232 67792 4294967295 134512640 134716908 3221224560 3221222672 1074153672 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 69367 67792 1111 63 0 69304 0 vsize: 277468 [startup+370.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17046 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2050196 0 0 0 32474 4527 0 0 25 0 1 0 910725215 284897280 67860 4294967295 134512640 134716908 3221224560 3221222008 1077410279 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 69555 67871 1111 63 0 69492 0 vsize: 278220 [startup+380.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17046 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2127245 0 0 0 33285 4716 0 0 25 0 1 0 910725215 285376512 68049 4294967295 134512640 134716908 3221224560 3221222040 1074138158 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 69672 68054 1111 63 0 69609 0 vsize: 278688 [startup+390.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17046 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2194177 0 0 0 34121 4880 0 0 25 0 1 0 910725215 285511680 68131 4294967295 134512640 134716908 3221224560 3221221696 1074153663 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 69705 68131 1111 63 0 69642 0 vsize: 278820 [startup+400.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17046 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2252934 0 0 0 34977 5024 0 0 25 0 1 0 910725215 285904896 68228 4294967295 134512640 134716908 3221224560 3221222480 1074153660 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 69801 68228 1111 63 0 69738 0 vsize: 279204 [startup+410.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17046 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2307871 0 0 0 35840 5161 0 0 25 0 1 0 910725215 286138368 68285 4294967295 134512640 134716908 3221224560 3221222624 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 69858 68285 1111 63 0 69795 0 vsize: 279432 [startup+420.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17046 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2360151 0 0 0 36712 5289 0 0 25 0 1 0 910725215 286380032 68345 4294967295 134512640 134716908 3221224560 3221222416 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 69847 68275 1111 63 0 69784 0 vsize: 279668 [startup+430.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17046 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2409225 0 0 0 37593 5408 0 0 25 0 1 0 910725215 286396416 68349 4294967295 134512640 134716908 3221224560 3221222008 1077799185 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 70061 68353 1111 63 0 69998 0 vsize: 279684 [startup+440.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17046 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2418997 0 0 0 38571 5430 0 0 25 0 1 0 910725215 302456832 71706 4294967295 134512640 134716908 3221224560 3221220536 1074950210 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 73842 71706 1111 63 0 73779 0 vsize: 295368 [startup+450.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17046 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2419014 0 0 0 39571 5430 0 0 25 0 1 0 910725215 302456832 71723 4294967295 134512640 134716908 3221224560 3221220736 1074961301 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 73842 71723 1111 63 0 73779 0 vsize: 295368 [startup+460.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17046 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2419019 0 0 0 40571 5431 0 0 25 0 1 0 910725215 302456832 71728 4294967295 134512640 134716908 3221224560 3221220684 1075116741 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 73842 71728 1111 63 0 73779 0 vsize: 295368 [startup+470.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17046 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2419024 0 0 0 41571 5431 0 0 25 0 1 0 910725215 302456832 71733 4294967295 134512640 134716908 3221224560 3221221536 1074867308 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 73842 71733 1111 63 0 73779 0 vsize: 295368 [startup+480.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17046 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2419024 0 0 0 42571 5431 0 0 25 0 1 0 910725215 302456832 71733 4294967295 134512640 134716908 3221224560 3221220672 1076111666 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 73842 71733 1111 63 0 73779 0 vsize: 295368 [startup+490.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17046 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2419025 0 0 0 43572 5431 0 0 25 0 1 0 910725215 302456832 71734 4294967295 134512640 134716908 3221224560 3221220684 1075116862 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 73842 71734 1111 63 0 73779 0 vsize: 295368 [startup+500.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17046 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2419028 0 0 0 44572 5431 0 0 25 0 1 0 910725215 302456832 71737 4294967295 134512640 134716908 3221224560 3221221232 1076083593 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 73842 71737 1111 63 0 73779 0 vsize: 295368 [startup+510.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17046 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2419048 0 0 0 45572 5431 0 0 25 0 1 0 910725215 302456832 71757 4294967295 134512640 134716908 3221224560 3221220428 1074860626 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 73842 71757 1111 63 0 73779 0 vsize: 295368 [startup+520.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17046 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2419054 0 0 0 46572 5431 0 0 25 0 1 0 910725215 302456832 71763 4294967295 134512640 134716908 3221224560 3221220428 1074860630 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 73842 71763 1111 63 0 73779 0 vsize: 295368 [startup+530.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17046 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2419067 0 0 0 47572 5431 0 0 25 0 1 0 910725215 303194112 71776 4294967295 134512640 134716908 3221224560 3221220428 1074860626 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 74022 71776 1111 63 0 73959 0 vsize: 296088 [startup+540.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17046 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2419067 0 0 0 48572 5431 0 0 25 0 1 0 910725215 303194112 71776 4294967295 134512640 134716908 3221224560 3221220600 1077410279 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 74022 71776 1111 63 0 73959 0 vsize: 296088 [startup+550.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17046 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2419067 0 0 0 49573 5431 0 0 25 0 1 0 910725215 303194112 71776 4294967295 134512640 134716908 3221224560 3221220428 1074860626 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 74022 71776 1111 63 0 73959 0 vsize: 296088 [startup+560.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17046 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2423817 0 0 0 50562 5441 0 0 25 0 1 0 910725215 296804352 70274 4294967295 134512640 134716908 3221224560 3221220668 1075563081 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 72462 70274 1111 63 0 72399 0 vsize: 289848 [startup+570.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17046 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2424031 0 0 0 51562 5442 0 0 25 0 1 0 910725215 296804352 70488 4294967295 134512640 134716908 3221224560 3221220428 1074860626 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 72462 70488 1111 63 0 72399 0 vsize: 289848 [startup+580.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17046 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2424031 0 0 0 52562 5442 0 0 25 0 1 0 910725215 296804352 70488 4294967295 134512640 134716908 3221224560 3221221384 1074950096 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 72462 70488 1111 63 0 72399 0 vsize: 289848 [startup+590.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17046 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2424031 0 0 0 53562 5442 0 0 25 0 1 0 910725215 296804352 70488 4294967295 134512640 134716908 3221224560 3221220536 1074950210 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 72462 70488 1111 63 0 72399 0 vsize: 289848 [startup+600.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17046 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2437250 0 0 0 54536 5468 0 0 25 0 1 0 910725215 308563968 73076 4294967295 134512640 134716908 3221224560 3221220600 1077410279 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 75333 73076 1111 63 0 75270 0 vsize: 301332 [startup+610.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17046 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2441911 0 0 0 55527 5477 0 0 25 0 1 0 910725215 301973504 71702 4294967295 134512640 134716908 3221224560 3221221384 1074950102 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 73724 71702 1111 63 0 73661 0 vsize: 294896 [startup+620.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17046 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2441911 0 0 0 56527 5477 0 0 25 0 1 0 910725215 301973504 71702 4294967295 134512640 134716908 3221224560 3221220624 1074794686 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 73724 71702 1111 63 0 73661 0 vsize: 294896 [startup+630.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17046 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2460661 0 0 0 57487 5518 0 0 25 0 1 0 910725215 302092288 71761 4294967295 134512640 134716908 3221224560 3221221400 1075066488 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 73753 71761 1111 63 0 73690 0 vsize: 295012 [startup+640.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17046 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2460668 0 0 0 58487 5518 0 0 25 0 1 0 910725215 302092288 71768 4294967295 134512640 134716908 3221224560 3221220684 1075116586 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 73753 71768 1111 63 0 73690 0 vsize: 295012 [startup+650.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17046 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2460669 0 0 0 59487 5518 0 0 25 0 1 0 910725215 302092288 71769 4294967295 134512640 134716908 3221224560 3221220428 1074860566 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 73753 71769 1111 63 0 73690 0 vsize: 295012 [startup+660.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17046 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2460669 0 0 0 60487 5518 0 0 25 0 1 0 910725215 302092288 71769 4294967295 134512640 134716908 3221224560 3221220428 1074860617 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 73753 71769 1111 63 0 73690 0 vsize: 295012 [startup+670.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17046 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2460669 0 0 0 61487 5518 0 0 25 0 1 0 910725215 302092288 71769 4294967295 134512640 134716908 3221224560 3221220428 1074860626 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 73753 71769 1111 63 0 73690 0 vsize: 295012 [startup+680.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17046 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2460669 0 0 0 62488 5518 0 0 25 0 1 0 910725215 302092288 71769 4294967295 134512640 134716908 3221224560 3221221384 1074950114 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 73753 71769 1111 63 0 73690 0 vsize: 295012 [startup+690.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17046 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2473777 0 0 0 63459 5547 0 0 25 0 1 0 910725215 296427520 70803 4294967295 134512640 134716908 3221224560 3221222376 1074138315 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 72370 70803 1111 63 0 72307 0 vsize: 289480 [startup+700.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17046 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2476875 0 0 0 64453 5553 0 0 25 0 1 0 910725215 302387200 71822 4294967295 134512640 134716908 3221224560 3221220684 1075116513 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 73825 71822 1111 63 0 73762 0 vsize: 295300 [startup+710.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17046 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2476877 0 0 0 65453 5553 0 0 25 0 1 0 910725215 302387200 71824 4294967295 134512640 134716908 3221224560 3221220428 1074860626 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 73825 71824 1111 63 0 73762 0 vsize: 295300 [startup+720.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17046 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2476886 0 0 0 66453 5553 0 0 25 0 1 0 910725215 302387200 71833 4294967295 134512640 134716908 3221224560 3221220536 1074950198 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 73825 71833 1111 63 0 73762 0 vsize: 295300 [startup+730.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17046 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2476889 0 0 0 67454 5553 0 0 25 0 1 0 910725215 302387200 71836 4294967295 134512640 134716908 3221224560 3221221056 1074885325 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 73825 71836 1111 63 0 73762 0 vsize: 295300 [startup+740.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17046 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2476889 0 0 0 68454 5553 0 0 25 0 1 0 910725215 302387200 71836 4294967295 134512640 134716908 3221224560 3221221456 1075338960 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 73825 71836 1111 63 0 73762 0 vsize: 295300 [startup+750.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17046 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2476889 0 0 0 69454 5553 0 0 25 0 1 0 910725215 302387200 71836 4294967295 134512640 134716908 3221224560 3221220428 1074860620 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 73825 71836 1111 63 0 73762 0 vsize: 295300 [startup+760.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17046 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2485070 0 0 0 70434 5573 0 0 25 0 1 0 910725215 301756416 72025 4294967295 134512640 134716908 3221224560 3221222912 134606495 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 73671 72033 1111 63 0 73608 0 vsize: 294684 [startup+770.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17046 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2496941 0 0 0 71410 5597 0 0 25 0 1 0 910725215 302403584 71843 4294967295 134512640 134716908 3221224560 3221220428 1074860626 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 73829 71843 1111 63 0 73766 0 vsize: 295316 [startup+780.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17046 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2496944 0 0 0 72410 5597 0 0 25 0 1 0 910725215 302403584 71846 4294967295 134512640 134716908 3221224560 3221221368 1077410163 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 73829 71846 1111 63 0 73766 0 vsize: 295316 [startup+790.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17046 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2496956 0 0 0 73410 5598 0 0 25 0 1 0 910725215 302403584 71858 4294967295 134512640 134716908 3221224560 3221220460 1074860993 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 73829 71858 1111 63 0 73766 0 vsize: 295316 [startup+800.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17046 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2518319 0 0 0 74365 5642 0 0 25 0 1 0 910725215 302555136 71863 4294967295 134512640 134716908 3221224560 3221220428 1074860598 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 73866 71863 1111 63 0 73803 0 vsize: 295464 [startup+810.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17046 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2518351 0 0 0 75365 5643 0 0 25 0 1 0 910725215 302555136 71895 4294967295 134512640 134716908 3221224560 3221220624 1075084528 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 73866 71895 1111 63 0 73803 0 vsize: 295464 [startup+820.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17046 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2518352 0 0 0 76365 5643 0 0 25 0 1 0 910725215 302555136 71896 4294967295 134512640 134716908 3221224560 3221221232 1076083814 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 73866 71896 1111 63 0 73803 0 vsize: 295464 [startup+830.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17046 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2518361 0 0 0 77365 5643 0 0 25 0 1 0 910725215 302555136 71905 4294967295 134512640 134716908 3221224560 3221220428 1074860566 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 73866 71905 1111 63 0 73803 0 vsize: 295464 [startup+840.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17046 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2536152 0 0 0 78324 5685 0 0 25 0 1 0 910725215 308813824 73322 4294967295 134512640 134716908 3221224560 3221220800 1075113561 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 75394 73322 1111 63 0 75331 0 vsize: 301576 [startup+850.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17046 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2536170 0 0 0 79324 5685 0 0 25 0 1 0 910725215 309551104 73340 4294967295 134512640 134716908 3221224560 3221220624 1074794582 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 75574 73340 1111 63 0 75511 0 vsize: 302296 [startup+860.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17046 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2541186 0 0 0 80314 5695 0 0 25 0 1 0 910725215 302891008 71938 4294967295 134512640 134716908 3221224560 3221220624 1074794655 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 73948 71938 1111 63 0 73885 0 vsize: 295792 [startup+870.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17046 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2541191 0 0 0 81314 5695 0 0 25 0 1 0 910725215 302891008 71943 4294967295 134512640 134716908 3221224560 3221220328 1074789653 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 73948 71943 1111 63 0 73885 0 vsize: 295792 [startup+880.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17046 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2541191 0 0 0 82314 5695 0 0 25 0 1 0 910725215 302891008 71943 4294967295 134512640 134716908 3221224560 3221221528 1075007302 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 73948 71943 1111 63 0 73885 0 vsize: 295792 [startup+890.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17046 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2560455 0 0 0 83269 5740 0 0 25 0 1 0 910725215 308998144 73326 4294967295 134512640 134716908 3221224560 3221220428 1074860566 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 75439 73326 1111 63 0 75376 0 vsize: 301756 [startup+900.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17046 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2565178 0 0 0 84259 5750 0 0 25 0 1 0 910725215 303042560 71970 4294967295 134512640 134716908 3221224560 3221220428 1074860566 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 73985 71970 1111 63 0 73922 0 vsize: 295940 [startup+910.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17046 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2565218 0 0 0 85259 5751 0 0 25 0 1 0 910725215 303403008 72010 4294967295 134512640 134716908 3221224560 3221220428 1074860617 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 74073 72010 1111 63 0 74010 0 vsize: 296292 [startup+920.022 s] Raw data (loadavg): 1.07 0.99 0.91 2/54 17099 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2565230 0 0 0 86259 5751 0 0 25 0 1 0 910725215 303403008 72022 4294967295 134512640 134716908 3221224560 3221221392 1075960284 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 74073 72022 1111 63 0 74010 0 vsize: 296292 [startup+930.022 s] Raw data (loadavg): 1.06 0.99 0.91 2/54 17099 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2570271 0 0 0 87247 5763 0 0 25 0 1 0 910725215 297488384 71035 4294967295 134512640 134716908 3221224560 3221222784 1074039443 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 72629 71035 1111 63 0 72566 0 vsize: 290516 [startup+940.023 s] Raw data (loadavg): 1.05 0.99 0.91 2/54 17099 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2589303 0 0 0 88206 5804 0 0 25 0 1 0 910725215 303562752 72013 4294967295 134512640 134716908 3221224560 3221220972 1074971924 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 74112 72013 1111 63 0 74049 0 vsize: 296448 [startup+950.023 s] Raw data (loadavg): 1.04 0.99 0.91 2/54 17099 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2589318 0 0 0 89206 5804 0 0 25 0 1 0 910725215 303562752 72028 4294967295 134512640 134716908 3221224560 3221221504 1075971273 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 74112 72028 1111 63 0 74049 0 vsize: 296448 [startup+960.024 s] Raw data (loadavg): 1.04 0.99 0.91 2/54 17099 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2589318 0 0 0 90206 5804 0 0 25 0 1 0 910725215 303562752 72028 4294967295 134512640 134716908 3221224560 3221220536 1074950198 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 74112 72028 1111 63 0 74049 0 vsize: 296448 [startup+970.024 s] Raw data (loadavg): 1.03 0.99 0.91 2/54 17099 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2589318 0 0 0 91205 5805 0 0 25 0 1 0 910725215 303562752 72028 4294967295 134512640 134716908 3221224560 3221221120 1075967892 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 74112 72028 1111 63 0 74049 0 vsize: 296448 [startup+980.023 s] Raw data (loadavg): 1.03 0.99 0.91 2/54 17099 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2589328 0 0 0 92205 5805 0 0 25 0 1 0 910725215 303562752 72038 4294967295 134512640 134716908 3221224560 3221220684 1075116767 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 74112 72038 1111 63 0 74049 0 vsize: 296448 [startup+990.024 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 17101 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2589328 0 0 0 93205 5806 0 0 25 0 1 0 910725215 303562752 72038 4294967295 134512640 134716908 3221224560 3221220736 1074960909 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 74112 72038 1111 63 0 74049 0 vsize: 296448 [startup+1000.02 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 17101 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2601591 0 0 0 94177 5834 0 0 25 0 1 0 910725215 307728384 72782 4294967295 134512640 134716908 3221224560 3221222192 1075829963 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 75129 72782 1111 63 0 75066 0 vsize: 300516 [startup+1010.02 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 17101 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2609806 0 0 0 95158 5853 0 0 25 0 1 0 910725215 303575040 72039 4294967295 134512640 134716908 3221224560 3221220736 1074805815 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 74115 72039 1111 63 0 74052 0 vsize: 296460 [startup+1020.02 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 17101 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2609806 0 0 0 96158 5853 0 0 25 0 1 0 910725215 303575040 72039 4294967295 134512640 134716908 3221224560 3221220536 1074950180 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 74115 72039 1111 63 0 74052 0 vsize: 296460 [startup+1030.03 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 17101 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2609811 0 0 0 97157 5854 0 0 25 0 1 0 910725215 293359616 70205 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 71621 70205 1111 63 0 71558 0 vsize: 286484 [startup+1040.03 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 17101 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2609811 0 0 0 98157 5854 0 0 25 0 1 0 910725215 293359616 70205 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 71621 70205 1111 63 0 71558 0 vsize: 286484 [startup+1050.03 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 17101 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2609811 0 0 0 99157 5854 0 0 25 0 1 0 910725215 293359616 70205 4294967295 134512640 134716908 3221224560 3221223336 134600361 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 71621 70205 1111 63 0 71558 0 vsize: 286484 [startup+1060.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 17101 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2609812 0 0 0 100157 5854 0 0 25 0 1 0 910725215 293359616 70206 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 71621 70206 1111 63 0 71558 0 vsize: 286484 [startup+1070.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 17101 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2609812 0 0 0 101158 5854 0 0 25 0 1 0 910725215 293359616 70206 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 71621 70206 1111 63 0 71558 0 vsize: 286484 [startup+1080.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 17101 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2609812 0 0 0 102159 5854 0 0 25 0 1 0 910725215 293359616 70206 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 71621 70206 1111 63 0 71558 0 vsize: 286484 [startup+1090.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 17101 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2609812 0 0 0 103159 5854 0 0 25 0 1 0 910725215 293359616 70206 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 71621 70206 1111 63 0 71558 0 vsize: 286484 [startup+1100.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 17101 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2609812 0 0 0 104159 5855 0 0 25 0 1 0 910725215 293359616 70206 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 71621 70206 1111 63 0 71558 0 vsize: 286484 [startup+1110.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 17101 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2609812 0 0 0 105159 5855 0 0 25 0 1 0 910725215 293359616 70206 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 71621 70206 1111 63 0 71558 0 vsize: 286484 [startup+1120.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 17101 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2609812 0 0 0 106159 5855 0 0 25 0 1 0 910725215 293359616 70206 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 71621 70206 1111 63 0 71558 0 vsize: 286484 [startup+1130.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 17101 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2609812 0 0 0 107159 5855 0 0 25 0 1 0 910725215 293359616 70206 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 71621 70206 1111 63 0 71558 0 vsize: 286484 [startup+1140.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 17101 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2609812 0 0 0 108159 5855 0 0 25 0 1 0 910725215 293359616 70206 4294967295 134512640 134716908 3221224560 3221223352 134597668 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 71621 70206 1111 63 0 71558 0 vsize: 286484 [startup+1150.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 17101 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2609814 0 0 0 109159 5855 0 0 25 0 1 0 910725215 293359616 70208 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 71621 70208 1111 63 0 71558 0 vsize: 286484 [startup+1160.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 17101 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2609814 0 0 0 110159 5855 0 0 25 0 1 0 910725215 293359616 70208 4294967295 134512640 134716908 3221224560 3221223324 134613516 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 71621 70208 1111 63 0 71558 0 vsize: 286484 [startup+1170.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 17101 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2609814 0 0 0 111160 5855 0 0 25 0 1 0 910725215 293359616 70208 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 71621 70208 1111 63 0 71558 0 vsize: 286484 [startup+1175.08 s] Raw data (loadavg): 1.00 0.99 0.91 1/53 17101 Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2609814 0 0 0 111160 5855 0 0 25 0 1 0 910725215 293359616 70208 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 71621 70208 1111 63 0 71558 0 vsize: 0 Child status: 0 Real time (s): 1175.08 CPU time (s): 1175.2 CPU user time (s): 1116.51 CPU system time (s): 58.6861 CPU usage (%): 100.01 Max. virtual memory (Kb): 302296 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####