Name | normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sctap2.opb |
MD5SUM | c56066a13a725fcc9c143db3d9f8cc06 |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 24450007 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 28200 |
Biggest coefficient in the objective function | 41943040 |
Number of bits for the biggest coefficient in the objective function | 26 |
Sum of the numbers in the objective function | 25763487750 |
Number of bits of the sum of numbers in the objective function | 35 |
Biggest number in a constraint | 41943040 |
Number of bits of the biggest number in a constraint | 26 |
Biggest sum of numbers in a constraint | 25763487750 |
Number of bits of the biggest sum of numbers | 35 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1189.2 |
Number of variables | 37600 |
Total number of constraints | 1090 |
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 | 1090 |
Minimum length of a constraint | 60 |
Maximum length of a constraint | 480 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc24 THE 2005-05-24 22:52:02 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=16317 boxname=wulflinc24 idbench=1256 idsolver=2 numberseed=0 MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7 /oldhome/oroussel/solvers/bsolo_lpr_cuts MD5SUM BENCH: c56066a13a725fcc9c143db3d9f8cc06 /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-13-7-sctap2.opb REAL COMMAND: bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-13-7-sctap2.opb IDLAUNCH: 16317 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.080 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 : 3 cpu MHz : 451.080 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: 888160 kB Buffers: 7920 kB Cached: 115424 kB SwapCached: 620 kB Active: 27752 kB Inactive: 98100 kB HighTotal: 131008 kB HighFree: 13748 kB LowTotal: 903652 kB LowFree: 874412 kB SwapTotal: 2097892 kB SwapFree: 2096776 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5656 kB Slab: 14964 kB Committed_AS: 63604 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-24 23:11:37 (client local time) WITH STATUS 0 IN 1175.11 SECONDS stats: 16317 7 1175.11 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 37600 variables and 1503 constraints. c After prepocess the problem consists of 20680 variables and 1973 constraints. c preprocess terminated 214.394 s c Initial Lower Bound: 220776 c Lower Bound Elapsed time: 8.7535 c Not use computed LB before first solution. s UNKNOWN c Exit Code: 0 c Total time: 1175.03 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.84 0.94 0.96 2/54 8787 Raw data (stat): 8787 (runsolver) R 8786 4613 4612 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 833979121 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.0002 s] Raw data (loadavg): 0.87 0.94 0.96 2/54 8787 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 1567 0 0 0 993 3 0 0 25 0 1 0 833979121 19038208 1491 4294967295 134512640 134714508 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4648 1491 1111 63 0 4585 0 vsize: 18592 [startup+20.0009 s] Raw data (loadavg): 0.89 0.94 0.96 2/54 8787 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 2613 0 0 0 1991 5 0 0 25 0 1 0 833979121 23265280 2537 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5680 2537 1111 63 0 5617 0 vsize: 22720 [startup+30.0008 s] Raw data (loadavg): 0.90 0.94 0.96 2/54 8787 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 3739 0 0 0 2990 7 0 0 25 0 1 0 833979121 27942912 3663 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6822 3663 1111 63 0 6759 0 vsize: 27288 [startup+40.0013 s] Raw data (loadavg): 0.92 0.94 0.96 2/54 8787 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 4900 0 0 0 3988 9 0 0 25 0 1 0 833979121 32743424 4824 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7994 4824 1111 63 0 7931 0 vsize: 31976 [startup+50.002 s] Raw data (loadavg): 0.93 0.94 0.96 2/54 8787 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 6086 0 0 0 4985 12 0 0 25 0 1 0 833979121 37548032 6010 4294967295 134512640 134714508 3221224576 3221222444 1077245976 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9167 6010 1111 63 0 9104 0 vsize: 36668 [startup+60.0022 s] Raw data (loadavg): 0.94 0.95 0.96 2/54 8787 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 7308 0 0 0 5984 14 0 0 25 0 1 0 833979121 42639360 7232 4294967295 134512640 134714508 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10410 7232 1111 63 0 10347 0 vsize: 41640 [startup+70.0024 s] Raw data (loadavg): 0.95 0.95 0.96 2/54 8787 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 8594 0 0 0 6982 16 0 0 25 0 1 0 833979121 47869952 8518 4294967295 134512640 134714508 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11687 8518 1111 63 0 11624 0 vsize: 46748 [startup+80.0021 s] Raw data (loadavg): 0.96 0.95 0.96 2/54 8787 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 9995 0 0 0 7980 18 0 0 25 0 1 0 833979121 53510144 9919 4294967295 134512640 134714508 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13064 9919 1111 63 0 13001 0 vsize: 52256 [startup+90.0031 s] Raw data (loadavg): 0.96 0.95 0.96 2/54 8787 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 11489 0 0 0 8977 21 0 0 25 0 1 0 833979121 59731968 11413 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14583 11413 1111 63 0 14520 0 vsize: 58332 [startup+100.003 s] Raw data (loadavg): 0.97 0.95 0.96 2/54 8787 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 13076 0 0 0 9974 24 0 0 25 0 1 0 833979121 66301952 13000 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16187 13000 1111 63 0 16124 0 vsize: 64748 [startup+110.002 s] Raw data (loadavg): 0.97 0.95 0.96 2/54 8787 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 14728 0 0 0 10971 28 0 0 25 0 1 0 833979121 73076736 14652 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17841 14652 1111 63 0 17778 0 vsize: 71364 [startup+120.004 s] Raw data (loadavg): 0.98 0.95 0.96 2/54 8787 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 16483 0 0 0 11968 31 0 0 25 0 1 0 833979121 80138240 16407 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19565 16407 1111 63 0 19502 0 vsize: 78260 [startup+130.004 s] Raw data (loadavg): 0.98 0.95 0.96 2/54 8787 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 18351 0 0 0 12964 35 0 0 25 0 1 0 833979121 87764992 18275 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21427 18275 1111 63 0 21364 0 vsize: 85708 [startup+140.004 s] Raw data (loadavg): 0.98 0.95 0.96 2/54 8787 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 20446 0 0 0 13961 38 0 0 25 0 1 0 833979121 96333824 20370 4294967295 134512640 134714508 3221224576 3221222596 1077414273 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23519 20370 1111 63 0 23456 0 vsize: 94076 [startup+150.006 s] Raw data (loadavg): 0.98 0.95 0.96 2/54 8787 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 29305 0 0 0 14939 60 0 0 25 0 1 0 833979121 132857856 29229 4294967295 134512640 134714508 3221224576 3221222860 1077399580 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 32436 29229 1111 63 0 32373 0 vsize: 129744 [startup+160.005 s] Raw data (loadavg): 0.99 0.96 0.96 2/54 8787 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 60364 0 0 0 15877 121 0 0 25 0 1 0 833979121 141295616 33392 4294967295 134512640 134714508 3221224576 3221223236 134627197 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 34496 33392 1111 63 0 34433 0 vsize: 137984 [startup+170.004 s] Raw data (loadavg): 0.99 0.96 0.96 2/54 8787 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 60376 0 0 0 16876 121 0 0 25 0 1 0 833979121 141430784 33404 4294967295 134512640 134714508 3221224576 3221223224 134558492 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 34529 33404 1111 63 0 34466 0 vsize: 138116 [startup+180.005 s] Raw data (loadavg): 0.99 0.96 0.96 2/54 8787 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 60390 0 0 0 17876 121 0 0 25 0 1 0 833979121 141430784 33418 4294967295 134512640 134714508 3221224576 3221223248 134627187 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 34529 33418 1111 63 0 34466 0 vsize: 138116 [startup+190.006 s] Raw data (loadavg): 0.99 0.96 0.96 2/54 8787 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 60404 0 0 0 18876 121 0 0 25 0 1 0 833979121 141565952 33432 4294967295 134512640 134714508 3221224576 3221223236 134627197 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 34562 33432 1111 63 0 34499 0 vsize: 138248 [startup+200.006 s] Raw data (loadavg): 0.99 0.96 0.96 2/54 8787 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 60420 0 0 0 19876 121 0 0 25 0 1 0 833979121 141565952 33448 4294967295 134512640 134714508 3221224576 3221223236 134627197 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 34562 33448 1111 63 0 34499 0 vsize: 138248 [startup+210.006 s] Raw data (loadavg): 0.99 0.96 0.96 2/54 8787 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 60429 0 0 0 20876 122 0 0 25 0 1 0 833979121 141565952 33457 4294967295 134512640 134714508 3221224576 3221223248 134627187 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 34562 33457 1111 63 0 34499 0 vsize: 138248 [startup+220.006 s] Raw data (loadavg): 0.99 0.96 0.96 2/54 8787 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 132484 0 0 0 21729 269 0 0 25 0 1 0 833979121 149573632 35323 4294967295 134512640 134714508 3221224576 3221222640 1074153663 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36517 35323 1111 63 0 36454 0 vsize: 146068 [startup+230.006 s] Raw data (loadavg): 0.99 0.96 0.96 2/54 8787 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 169470 0 0 0 22640 357 0 0 25 0 1 0 833979121 157806592 37056 4294967295 134512640 134714508 3221224576 3221221536 1075971301 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 38527 37056 1111 63 0 38464 0 vsize: 154108 [startup+240.007 s] Raw data (loadavg): 0.99 0.96 0.96 2/54 8787 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 195060 0 0 0 23583 414 0 0 25 0 1 0 833979121 169299968 39844 4294967295 134512640 134714508 3221224576 3221220656 1074794655 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 41333 39844 1111 63 0 41270 0 vsize: 165332 [startup+250.007 s] Raw data (loadavg): 0.99 0.96 0.96 2/54 8787 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 210646 0 0 0 24549 449 0 0 25 0 1 0 833979121 163045376 38685 4294967295 134512640 134714508 3221224576 3221223456 134577101 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39806 38685 1111 63 0 39743 0 vsize: 159224 [startup+260.007 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8787 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 210646 0 0 0 25549 449 0 0 25 0 1 0 833979121 163045376 38685 4294967295 134512640 134714508 3221224576 3221223356 134613500 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39806 38685 1111 63 0 39743 0 vsize: 159224 [startup+270.007 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8787 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 210646 0 0 0 26549 449 0 0 25 0 1 0 833979121 163045376 38685 4294967295 134512640 134714508 3221224576 3221223376 134597597 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39806 38685 1111 63 0 39743 0 vsize: 159224 [startup+280.007 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8787 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 210646 0 0 0 27549 449 0 0 25 0 1 0 833979121 163045376 38685 4294967295 134512640 134714508 3221224576 3221223456 134577041 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39806 38685 1111 63 0 39743 0 vsize: 159224 [startup+290.008 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8787 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 210648 0 0 0 28549 449 0 0 25 0 1 0 833979121 163045376 38687 4294967295 134512640 134714508 3221224576 3221223440 134576750 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39806 38687 1111 63 0 39743 0 vsize: 159224 [startup+300.008 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8787 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 210648 0 0 0 29549 449 0 0 25 0 1 0 833979121 163045376 38687 4294967295 134512640 134714508 3221224576 3221223456 134577104 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39806 38687 1111 63 0 39743 0 vsize: 159224 [startup+310.008 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8787 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 210648 0 0 0 30549 450 0 0 25 0 1 0 833979121 163045376 38687 4294967295 134512640 134714508 3221224576 3221223456 134577101 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39806 38687 1111 63 0 39743 0 vsize: 159224 [startup+320.008 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8787 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 210648 0 0 0 31549 450 0 0 25 0 1 0 833979121 163045376 38687 4294967295 134512640 134714508 3221224576 3221223352 134613539 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39806 38687 1111 63 0 39743 0 vsize: 159224 [startup+330.008 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8787 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 210650 0 0 0 32549 450 0 0 25 0 1 0 833979121 163045376 38689 4294967295 134512640 134714508 3221224576 3221223456 134577101 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39806 38689 1111 63 0 39743 0 vsize: 159224 [startup+340.008 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8787 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 210650 0 0 0 33549 450 0 0 25 0 1 0 833979121 163045376 38689 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39806 38689 1111 63 0 39743 0 vsize: 159224 [startup+350.009 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8787 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 210650 0 0 0 34549 450 0 0 25 0 1 0 833979121 163045376 38689 4294967295 134512640 134714508 3221224576 3221223376 134597663 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39806 38689 1111 63 0 39743 0 vsize: 159224 [startup+360.009 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8787 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 210650 0 0 0 35549 450 0 0 25 0 1 0 833979121 163045376 38689 4294967295 134512640 134714508 3221224576 3221223400 134558492 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39806 38689 1111 63 0 39743 0 vsize: 159224 [startup+370.01 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8787 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 210652 0 0 0 36550 450 0 0 25 0 1 0 833979121 163045376 38691 4294967295 134512640 134714508 3221224576 3221223456 134577114 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39806 38691 1111 63 0 39743 0 vsize: 159224 [startup+380.009 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8787 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 210652 0 0 0 37550 450 0 0 25 0 1 0 833979121 163045376 38691 4294967295 134512640 134714508 3221224576 3221223352 134600364 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39806 38691 1111 63 0 39743 0 vsize: 159224 [startup+390.01 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8787 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 210652 0 0 0 38550 450 0 0 25 0 1 0 833979121 163045376 38691 4294967295 134512640 134714508 3221224576 3221223456 134577104 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39806 38691 1111 63 0 39743 0 vsize: 159224 [startup+400.011 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8787 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 210654 0 0 0 39550 450 0 0 25 0 1 0 833979121 163045376 38693 4294967295 134512640 134714508 3221224576 3221223456 134577116 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39806 38693 1111 63 0 39743 0 vsize: 159224 [startup+410.01 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8787 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 210654 0 0 0 40550 450 0 0 25 0 1 0 833979121 163045376 38693 4294967295 134512640 134714508 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39806 38693 1111 63 0 39743 0 vsize: 159224 [startup+420.011 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8787 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 210654 0 0 0 41550 451 0 0 25 0 1 0 833979121 163045376 38693 4294967295 134512640 134714508 3221224576 3221223456 134577039 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39806 38693 1111 63 0 39743 0 vsize: 159224 [startup+430.011 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8787 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 210657 0 0 0 42550 451 0 0 25 0 1 0 833979121 163045376 38696 4294967295 134512640 134714508 3221224576 3221223456 134577116 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39806 38696 1111 63 0 39743 0 vsize: 159224 [startup+440.011 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8787 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 210657 0 0 0 43550 451 0 0 25 0 1 0 833979121 163045376 38696 4294967295 134512640 134714508 3221224576 3221223336 134613542 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39806 38696 1111 63 0 39743 0 vsize: 159224 [startup+450.012 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8787 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 210657 0 0 0 44550 451 0 0 25 0 1 0 833979121 163045376 38696 4294967295 134512640 134714508 3221224576 3221223400 134558492 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39806 38696 1111 63 0 39743 0 vsize: 159224 [startup+460.012 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8787 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 210657 0 0 0 45550 451 0 0 25 0 1 0 833979121 163045376 38696 4294967295 134512640 134714508 3221224576 3221223456 134577116 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39806 38696 1111 63 0 39743 0 vsize: 159224 [startup+470.012 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8787 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 210657 0 0 0 46550 452 0 0 25 0 1 0 833979121 163045376 38696 4294967295 134512640 134714508 3221224576 3221223400 134558492 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39806 38696 1111 63 0 39743 0 vsize: 159224 [startup+480.012 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8787 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 210657 0 0 0 47550 452 0 0 25 0 1 0 833979121 163045376 38696 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39806 38696 1111 63 0 39743 0 vsize: 159224 [startup+490.012 s] Raw data (loadavg): 1.23 1.02 0.97 2/54 8840 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 210657 0 0 0 48550 452 0 0 25 0 1 0 833979121 163045376 38696 4294967295 134512640 134714508 3221224576 3221223456 134577101 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39806 38696 1111 63 0 39743 0 vsize: 159224 [startup+500.012 s] Raw data (loadavg): 1.19 1.02 0.97 2/54 8840 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 210657 0 0 0 49550 452 0 0 25 0 1 0 833979121 163045376 38696 4294967295 134512640 134714508 3221224576 3221223400 134558492 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39806 38696 1111 63 0 39743 0 vsize: 159224 [startup+510.012 s] Raw data (loadavg): 1.16 1.02 0.97 2/54 8840 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 210659 0 0 0 50550 452 0 0 25 0 1 0 833979121 163045376 38698 4294967295 134512640 134714508 3221224576 3221223352 134600364 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39806 38698 1111 63 0 39743 0 vsize: 159224 [startup+520.012 s] Raw data (loadavg): 1.14 1.02 0.97 2/54 8840 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 210659 0 0 0 51550 453 0 0 25 0 1 0 833979121 163045376 38698 4294967295 134512640 134714508 3221224576 3221223336 134613542 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39806 38698 1111 63 0 39743 0 vsize: 159224 [startup+530.012 s] Raw data (loadavg): 1.12 1.02 0.97 2/54 8840 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 210659 0 0 0 52550 453 0 0 25 0 1 0 833979121 163045376 38698 4294967295 134512640 134714508 3221224576 3221223352 134613539 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39806 38698 1111 63 0 39743 0 vsize: 159224 [startup+540.013 s] Raw data (loadavg): 1.10 1.02 0.97 2/54 8840 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 210661 0 0 0 53550 453 0 0 25 0 1 0 833979121 163045376 38700 4294967295 134512640 134714508 3221224576 3221223456 134577116 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39806 38700 1111 63 0 39743 0 vsize: 159224 [startup+550.013 s] Raw data (loadavg): 1.08 1.01 0.97 2/54 8842 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 210661 0 0 0 54550 454 0 0 25 0 1 0 833979121 163045376 38700 4294967295 134512640 134714508 3221224576 3221223352 134600364 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39806 38700 1111 63 0 39743 0 vsize: 159224 [startup+560.013 s] Raw data (loadavg): 1.07 1.01 0.97 2/54 8842 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 210661 0 0 0 55550 454 0 0 25 0 1 0 833979121 163045376 38700 4294967295 134512640 134714508 3221224576 3221223356 134600365 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39806 38700 1111 63 0 39743 0 vsize: 159224 [startup+570.014 s] Raw data (loadavg): 1.06 1.01 0.97 2/54 8842 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 210661 0 0 0 56550 454 0 0 25 0 1 0 833979121 163045376 38700 4294967295 134512640 134714508 3221224576 3221223400 134558490 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39806 38700 1111 63 0 39743 0 vsize: 159224 [startup+580.013 s] Raw data (loadavg): 1.05 1.01 0.97 2/54 8842 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 210661 0 0 0 57550 454 0 0 25 0 1 0 833979121 163045376 38700 4294967295 134512640 134714508 3221224576 3221223352 134613539 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39806 38700 1111 63 0 39743 0 vsize: 159224 [startup+590.014 s] Raw data (loadavg): 1.04 1.01 0.97 2/54 8842 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 210661 0 0 0 58550 454 0 0 25 0 1 0 833979121 163045376 38700 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39806 38700 1111 63 0 39743 0 vsize: 159224 [startup+600.015 s] Raw data (loadavg): 1.03 1.01 0.97 2/54 8842 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 210661 0 0 0 59550 455 0 0 25 0 1 0 833979121 163045376 38700 4294967295 134512640 134714508 3221224576 3221223456 134577101 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39806 38700 1111 63 0 39743 0 vsize: 159224 [startup+610.014 s] Raw data (loadavg): 1.03 1.01 0.97 2/54 8842 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 210661 0 0 0 60550 455 0 0 25 0 1 0 833979121 163045376 38700 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39806 38700 1111 63 0 39743 0 vsize: 159224 [startup+620.014 s] Raw data (loadavg): 1.02 1.01 0.97 2/54 8842 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 210661 0 0 0 61550 455 0 0 25 0 1 0 833979121 163045376 38700 4294967295 134512640 134714508 3221224576 3221223376 134597769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39806 38700 1111 63 0 39743 0 vsize: 159224 [startup+630.014 s] Raw data (loadavg): 1.02 1.01 0.97 2/54 8842 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 210661 0 0 0 62550 455 0 0 25 0 1 0 833979121 163045376 38700 4294967295 134512640 134714508 3221224576 3221223400 134558492 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39806 38700 1111 63 0 39743 0 vsize: 159224 [startup+640.015 s] Raw data (loadavg): 1.02 1.01 0.97 2/54 8842 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 210661 0 0 0 63550 455 0 0 25 0 1 0 833979121 163045376 38700 4294967295 134512640 134714508 3221224576 3221223400 134558492 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39806 38700 1111 63 0 39743 0 vsize: 159224 [startup+650.014 s] Raw data (loadavg): 1.01 1.00 0.97 2/54 8842 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 210661 0 0 0 64550 455 0 0 25 0 1 0 833979121 163045376 38700 4294967295 134512640 134714508 3221224576 3221223456 134577088 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39806 38700 1111 63 0 39743 0 vsize: 159224 [startup+660.014 s] Raw data (loadavg): 1.01 1.00 0.97 2/54 8842 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 210661 0 0 0 65550 455 0 0 25 0 1 0 833979121 163045376 38700 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39806 38700 1111 63 0 39743 0 vsize: 159224 [startup+670.015 s] Raw data (loadavg): 1.01 1.00 0.97 2/54 8842 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 210661 0 0 0 66550 455 0 0 25 0 1 0 833979121 163045376 38700 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39806 38700 1111 63 0 39743 0 vsize: 159224 [startup+680.014 s] Raw data (loadavg): 1.01 1.00 0.97 2/54 8842 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 210661 0 0 0 67550 456 0 0 25 0 1 0 833979121 163045376 38700 4294967295 134512640 134714508 3221224576 3221223456 134577101 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39806 38700 1111 63 0 39743 0 vsize: 159224 [startup+690.014 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 8842 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 210661 0 0 0 68550 456 0 0 25 0 1 0 833979121 163045376 38700 4294967295 134512640 134714508 3221224576 3221223456 134577072 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39806 38700 1111 63 0 39743 0 vsize: 159224 [startup+700.015 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 8842 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 210661 0 0 0 69550 456 0 0 25 0 1 0 833979121 163045376 38700 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39806 38700 1111 63 0 39743 0 vsize: 159224 [startup+710.014 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 8842 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 210661 0 0 0 70550 456 0 0 25 0 1 0 833979121 163045376 38700 4294967295 134512640 134714508 3221224576 3221223352 134613539 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39806 38700 1111 63 0 39743 0 vsize: 159224 [startup+720.015 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 8842 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 210661 0 0 0 71550 456 0 0 25 0 1 0 833979121 163045376 38700 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39806 38700 1111 63 0 39743 0 vsize: 159224 [startup+730.015 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 8842 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 210661 0 0 0 72550 456 0 0 25 0 1 0 833979121 163045376 38700 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39806 38700 1111 63 0 39743 0 vsize: 159224 [startup+740.015 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 8842 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 210661 0 0 0 73550 457 0 0 25 0 1 0 833979121 163045376 38700 4294967295 134512640 134714508 3221224576 3221223456 134577101 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39806 38700 1111 63 0 39743 0 vsize: 159224 [startup+750.015 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 8842 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 210661 0 0 0 74550 457 0 0 25 0 1 0 833979121 163045376 38700 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39806 38700 1111 63 0 39743 0 vsize: 159224 [startup+760.014 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 8842 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 210661 0 0 0 75550 457 0 0 25 0 1 0 833979121 163045376 38700 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39806 38700 1111 63 0 39743 0 vsize: 159224 [startup+770.015 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 8842 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 210661 0 0 0 76550 457 0 0 25 0 1 0 833979121 163045376 38700 4294967295 134512640 134714508 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39806 38700 1111 63 0 39743 0 vsize: 159224 [startup+780.015 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 8842 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 210661 0 0 0 77550 458 0 0 25 0 1 0 833979121 163045376 38700 4294967295 134512640 134714508 3221224576 3221223376 134597692 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39806 38700 1111 63 0 39743 0 vsize: 159224 [startup+790.014 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 8842 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 210661 0 0 0 78550 458 0 0 25 0 1 0 833979121 163045376 38700 4294967295 134512640 134714508 3221224576 3221223456 134577072 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39806 38700 1111 63 0 39743 0 vsize: 159224 [startup+800.015 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 8842 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 210661 0 0 0 79550 458 0 0 25 0 1 0 833979121 163045376 38700 4294967295 134512640 134714508 3221224576 3221223352 134600364 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39806 38700 1111 63 0 39743 0 vsize: 159224 [startup+810.015 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 8842 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 210661 0 0 0 80550 458 0 0 25 0 1 0 833979121 163045376 38700 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39806 38700 1111 63 0 39743 0 vsize: 159224 [startup+820.015 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 8844 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 210661 0 0 0 81550 458 0 0 25 0 1 0 833979121 163045376 38700 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39806 38700 1111 63 0 39743 0 vsize: 159224 [startup+830.015 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 8844 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 210661 0 0 0 82550 459 0 0 25 0 1 0 833979121 163045376 38700 4294967295 134512640 134714508 3221224576 3221223456 134577101 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39806 38700 1111 63 0 39743 0 vsize: 159224 [startup+840.015 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 8844 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 210661 0 0 0 83550 459 0 0 25 0 1 0 833979121 163045376 38700 4294967295 134512640 134714508 3221224576 3221223456 134577114 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39806 38700 1111 63 0 39743 0 vsize: 159224 [startup+850.015 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 8844 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 210661 0 0 0 84550 459 0 0 25 0 1 0 833979121 163045376 38700 4294967295 134512640 134714508 3221224576 3221223456 134577101 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39806 38700 1111 63 0 39743 0 vsize: 159224 [startup+860.015 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 8844 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 210661 0 0 0 85550 459 0 0 25 0 1 0 833979121 163045376 38700 4294967295 134512640 134714508 3221224576 3221223456 134577072 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39806 38700 1111 63 0 39743 0 vsize: 159224 [startup+870.016 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 8844 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 210661 0 0 0 86550 459 0 0 25 0 1 0 833979121 163045376 38700 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39806 38700 1111 63 0 39743 0 vsize: 159224 [startup+880.015 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 8844 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 210661 0 0 0 87550 459 0 0 25 0 1 0 833979121 163045376 38700 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39806 38700 1111 63 0 39743 0 vsize: 159224 [startup+890.015 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 8844 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 210661 0 0 0 88550 459 0 0 25 0 1 0 833979121 163045376 38700 4294967295 134512640 134714508 3221224576 3221223336 134613542 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39806 38700 1111 63 0 39743 0 vsize: 159224 [startup+900.015 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 8844 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 210661 0 0 0 89550 459 0 0 25 0 1 0 833979121 163045376 38700 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39806 38700 1111 63 0 39743 0 vsize: 159224 [startup+910.016 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 8844 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 210661 0 0 0 90551 459 0 0 25 0 1 0 833979121 163045376 38700 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39806 38700 1111 63 0 39743 0 vsize: 159224 [startup+920.015 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 8844 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 210661 0 0 0 91551 460 0 0 25 0 1 0 833979121 163045376 38700 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39806 38700 1111 63 0 39743 0 vsize: 159224 [startup+930.019 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 8844 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 210661 0 0 0 92551 460 0 0 25 0 1 0 833979121 163045376 38700 4294967295 134512640 134714508 3221224576 3221223404 134558493 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39806 38700 1111 63 0 39743 0 vsize: 159224 [startup+940.024 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 8844 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 210661 0 0 0 93551 460 0 0 25 0 1 0 833979121 163045376 38700 4294967295 134512640 134714508 3221224576 3221223340 134613500 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39806 38700 1111 63 0 39743 0 vsize: 159224 [startup+950.029 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 8844 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 210661 0 0 0 94552 460 0 0 25 0 1 0 833979121 163045376 38700 4294967295 134512640 134714508 3221224576 3221223400 134558477 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39806 38700 1111 63 0 39743 0 vsize: 159224 [startup+960.029 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 8844 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 210661 0 0 0 95552 460 0 0 25 0 1 0 833979121 163045376 38700 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39806 38700 1111 63 0 39743 0 vsize: 159224 [startup+970.029 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 8844 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 210661 0 0 0 96552 461 0 0 25 0 1 0 833979121 163045376 38700 4294967295 134512640 134714508 3221224576 3221223456 134577072 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39806 38700 1111 63 0 39743 0 vsize: 159224 [startup+980.029 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 8844 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 210661 0 0 0 97552 461 0 0 25 0 1 0 833979121 163045376 38700 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39806 38700 1111 63 0 39743 0 vsize: 159224 [startup+990.028 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 8844 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 210661 0 0 0 98552 461 0 0 25 0 1 0 833979121 163045376 38700 4294967295 134512640 134714508 3221224576 3221223352 134613532 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39806 38700 1111 63 0 39743 0 vsize: 159224 [startup+1000.03 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 8844 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 210661 0 0 0 99552 461 0 0 25 0 1 0 833979121 163045376 38700 4294967295 134512640 134714508 3221224576 3221223456 134577072 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39806 38700 1111 63 0 39743 0 vsize: 159224 [startup+1010.03 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 8844 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 210661 0 0 0 100552 461 0 0 25 0 1 0 833979121 163045376 38700 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39806 38700 1111 63 0 39743 0 vsize: 159224 [startup+1020.03 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 8844 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 210661 0 0 0 101552 461 0 0 25 0 1 0 833979121 163045376 38700 4294967295 134512640 134714508 3221224576 3221223376 134597738 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39806 38700 1111 63 0 39743 0 vsize: 159224 [startup+1030.03 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 8844 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 210661 0 0 0 102552 461 0 0 25 0 1 0 833979121 163045376 38700 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39806 38700 1111 63 0 39743 0 vsize: 159224 [startup+1040.03 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 8844 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 210661 0 0 0 103552 461 0 0 25 0 1 0 833979121 163045376 38700 4294967295 134512640 134714508 3221224576 3221223456 134577116 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39806 38700 1111 63 0 39743 0 vsize: 159224 [startup+1050.03 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 8844 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 210661 0 0 0 104552 462 0 0 25 0 1 0 833979121 163045376 38700 4294967295 134512640 134714508 3221224576 3221223456 134577116 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39806 38700 1111 63 0 39743 0 vsize: 159224 [startup+1060.03 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 8844 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 210661 0 0 0 105552 462 0 0 25 0 1 0 833979121 163045376 38700 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39806 38700 1111 63 0 39743 0 vsize: 159224 [startup+1070.03 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 8844 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 210661 0 0 0 106552 462 0 0 25 0 1 0 833979121 163045376 38700 4294967295 134512640 134714508 3221224576 3221223376 134597769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39806 38700 1111 63 0 39743 0 vsize: 159224 [startup+1080.03 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 8844 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 210661 0 0 0 107552 463 0 0 25 0 1 0 833979121 163045376 38700 4294967295 134512640 134714508 3221224576 3221223404 134558493 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39806 38700 1111 63 0 39743 0 vsize: 159224 [startup+1090.03 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 8844 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 210661 0 0 0 108551 463 0 0 25 0 1 0 833979121 163045376 38700 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39806 38700 1111 63 0 39743 0 vsize: 159224 [startup+1100.03 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 8844 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 210661 0 0 0 109551 463 0 0 25 0 1 0 833979121 163045376 38700 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39806 38700 1111 63 0 39743 0 vsize: 159224 [startup+1110.03 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 8844 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 210661 0 0 0 110551 463 0 0 25 0 1 0 833979121 163045376 38700 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39806 38700 1111 63 0 39743 0 vsize: 159224 [startup+1120.03 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 8844 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 210661 0 0 0 111551 464 0 0 25 0 1 0 833979121 163045376 38700 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39806 38700 1111 63 0 39743 0 vsize: 159224 [startup+1130.03 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 8844 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 210661 0 0 0 112551 464 0 0 25 0 1 0 833979121 163045376 38700 4294967295 134512640 134714508 3221224576 3221223352 134613539 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39806 38700 1111 63 0 39743 0 vsize: 159224 [startup+1140.03 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 8844 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 210661 0 0 0 113551 464 0 0 25 0 1 0 833979121 163045376 38700 4294967295 134512640 134714508 3221224576 3221223348 134597630 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39806 38700 1111 63 0 39743 0 vsize: 159224 [startup+1150.03 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 8844 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 210661 0 0 0 114552 464 0 0 25 0 1 0 833979121 163045376 38700 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39806 38700 1111 63 0 39743 0 vsize: 159224 [startup+1160.03 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 8844 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 210661 0 0 0 115552 464 0 0 25 0 1 0 833979121 163045376 38700 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39806 38700 1111 63 0 39743 0 vsize: 159224 [startup+1170.03 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 8844 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 210661 0 0 0 116552 465 0 0 25 0 1 0 833979121 163045376 38700 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39806 38700 1111 63 0 39743 0 vsize: 159224 [startup+1174.97 s] Raw data (loadavg): 1.00 1.00 0.97 1/53 8844 Raw data (stat): 8787 (bsolo_lpr_cuts) R 8786 4613 4612 0 -1 0 210661 0 0 0 116552 465 0 0 25 0 1 0 833979121 163045376 38700 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39806 38700 1111 63 0 39743 0 vsize: 0 Child status: 0 Real time (s): 1174.97 CPU time (s): 1175.11 CPU user time (s): 1170.38 CPU system time (s): 4.72228 CPU usage (%): 100.012 Max. virtual memory (Kb): 165332 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####