Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-fixnet6.opb |
MD5SUM | 08a1ce7c6c4cc8e461ae1aeabdf15da0 |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3289593 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 8282 |
Biggest coefficient in the objective function | 1048576 |
Number of bits for the biggest coefficient in the objective function | 21 |
Sum of the numbers in the objective function | 524133752 |
Number of bits of the sum of numbers in the objective function | 29 |
Biggest number in a constraint | 1048576 |
Number of bits of the biggest number in a constraint | 21 |
Biggest sum of numbers in a constraint | 524133752 |
Number of bits of the biggest sum of numbers | 29 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1189.04 |
Number of variables | 9890 |
Total number of constraints | 978 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 378 |
Number of constraints which are nor clauses,nor cardinality constraints | 600 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 1072 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-22 11:34:52 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=17538 boxname=wulflinc31 idbench=1350 idsolver=1 numberseed=0 MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef /oldhome/oroussel/solvers/bsolo_lpr MD5SUM BENCH: 08a1ce7c6c4cc8e461ae1aeabdf15da0 /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-fixnet6.opb REAL COMMAND: bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-fixnet6.opb IDLAUNCH: 17538 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.153 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.153 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 642568 kB Buffers: 15328 kB Cached: 356448 kB SwapCached: 932 kB Active: 179632 kB Inactive: 194320 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 642316 kB SwapTotal: 2097892 kB SwapFree: 2095964 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5096 kB Slab: 12492 kB Committed_AS: 63860 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-22 11:54:28 (client local time) WITH STATUS 0 IN 1175.06 SECONDS stats: 17538 7 1175.06 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 9890 variables and 700 constraints. c After prepocess the problem consists of 5883 variables and 789 constraints. c preprocess terminated 755.284 s c Initial Lower Bound: 172728 c Lower Bound Elapsed time: 1.11075 c Not use computed LB before first solution. s UNKNOWN c Exit Code: 0 c Total time: 1175.01 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.99 0.98 0.92 2/55 24438 Raw data (stat): 24438 (runsolver) R 24437 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 812616443 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0 Raw data (statm): 258 100 215 215 0 43 0 vsize: 1032 [startup+10.0003 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 14310 0 0 0 961 34 0 0 25 0 1 0 812616443 61960192 14199 4294967295 134512640 134714508 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 15127 14204 1111 63 0 15064 0 vsize: 60508 [startup+20.0013 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 17664 0 0 0 1952 43 0 0 25 0 1 0 812616443 75153408 17453 4294967295 134512640 134714508 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18348 17453 1111 63 0 18285 0 vsize: 73392 [startup+30.0022 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 17701 0 0 0 2952 44 0 0 25 0 1 0 812616443 75153408 17453 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18348 17453 1111 63 0 18285 0 vsize: 73392 [startup+40.0021 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 17770 0 0 0 3951 44 0 0 25 0 1 0 812616443 75153408 17453 4294967295 134512640 134714508 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18348 17453 1111 63 0 18285 0 vsize: 73392 [startup+50.002 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 17946 0 0 0 4950 45 0 0 25 0 1 0 812616443 75153408 17453 4294967295 134512640 134714508 3221221776 3221220424 134558492 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18348 17453 1111 63 0 18285 0 vsize: 73392 [startup+60.002 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 17962 0 0 0 5950 46 0 0 25 0 1 0 812616443 75153408 17453 4294967295 134512640 134714508 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18348 17453 1111 63 0 18285 0 vsize: 73392 [startup+70.0029 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 18176 0 0 0 6949 47 0 0 25 0 1 0 812616443 75153408 17453 4294967295 134512640 134714508 3221221776 3221220416 134557562 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18348 17453 1111 63 0 18285 0 vsize: 73392 [startup+80.0039 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 18488 0 0 0 7948 48 0 0 25 0 1 0 812616443 75153408 17453 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18348 17453 1111 63 0 18285 0 vsize: 73392 [startup+90.0038 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 19148 0 0 0 8946 51 0 0 25 0 1 0 812616443 75153408 17453 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18348 17453 1111 63 0 18285 0 vsize: 73392 [startup+100.004 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 20500 0 0 0 9941 56 0 0 25 0 1 0 812616443 75153408 17453 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18348 17453 1111 63 0 18285 0 vsize: 73392 [startup+110.005 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 24553 0 0 0 10928 69 0 0 25 0 1 0 812616443 75313152 17479 4294967295 134512640 134714508 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18387 17479 1111 63 0 18324 0 vsize: 73548 [startup+120.006 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 29122 0 0 0 11915 82 0 0 25 0 1 0 812616443 75153408 17453 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18348 17453 1111 63 0 18285 0 vsize: 73392 [startup+130.007 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 33688 0 0 0 12904 94 0 0 25 0 1 0 812616443 75153408 17453 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18348 17453 1111 63 0 18285 0 vsize: 73392 [startup+140.006 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 39356 0 0 0 13888 109 0 0 25 0 1 0 812616443 75153408 17453 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18348 17453 1111 63 0 18285 0 vsize: 73392 [startup+150.006 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 45196 0 0 0 14872 125 0 0 25 0 1 0 812616443 75153408 17453 4294967295 134512640 134714508 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18348 17453 1111 63 0 18285 0 vsize: 73392 [startup+160.007 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 52286 0 0 0 15855 143 0 0 25 0 1 0 812616443 75153408 17453 4294967295 134512640 134714508 3221221776 3221220496 134618229 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18348 17453 1111 63 0 18285 0 vsize: 73392 [startup+170.007 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 59757 0 0 0 16836 162 0 0 25 0 1 0 812616443 75153408 17453 4294967295 134512640 134714508 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18348 17453 1111 63 0 18285 0 vsize: 73392 [startup+180.008 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 68723 0 0 0 17811 186 0 0 25 0 1 0 812616443 75153408 17453 4294967295 134512640 134714508 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18348 17453 1111 63 0 18285 0 vsize: 73392 [startup+190.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 77729 0 0 0 18787 211 0 0 25 0 1 0 812616443 75153408 17453 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18348 17453 1111 63 0 18285 0 vsize: 73392 [startup+200.009 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 86942 0 0 0 19763 234 0 0 25 0 1 0 812616443 75468800 17483 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18425 17489 1111 63 0 18362 0 vsize: 73700 [startup+210.009 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 97212 0 0 0 20737 261 0 0 25 0 1 0 812616443 75153408 17453 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18348 17453 1111 63 0 18285 0 vsize: 73392 [startup+220.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 107620 0 0 0 21710 288 0 0 25 0 1 0 812616443 75153408 17453 4294967295 134512640 134714508 3221221776 3221220200 1077377316 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18348 17453 1111 63 0 18285 0 vsize: 73392 [startup+230.011 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 118812 0 0 0 22682 316 0 0 25 0 1 0 812616443 75153408 17453 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18348 17453 1111 63 0 18285 0 vsize: 73392 [startup+240.011 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 130472 0 0 0 23650 348 0 0 25 0 1 0 812616443 75153408 17453 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18348 17453 1111 63 0 18285 0 vsize: 73392 [startup+250.011 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 142322 0 0 0 24617 381 0 0 25 0 1 0 812616443 75153408 17453 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18348 17453 1111 63 0 18285 0 vsize: 73392 [startup+260.012 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 154185 0 0 0 25587 412 0 0 25 0 1 0 812616443 75153408 17453 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18348 17453 1111 63 0 18285 0 vsize: 73392 [startup+270.012 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 167360 0 0 0 26554 444 0 0 25 0 1 0 812616443 75153408 17453 4294967295 134512640 134714508 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18348 17453 1111 63 0 18285 0 vsize: 73392 [startup+280.012 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 180693 0 0 0 27517 481 0 0 25 0 1 0 812616443 75153408 17453 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18348 17453 1111 63 0 18285 0 vsize: 73392 [startup+290.013 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 194110 0 0 0 28483 516 0 0 25 0 1 0 812616443 75153408 17453 4294967295 134512640 134714508 3221221776 3221220260 1077374174 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18348 17453 1111 63 0 18285 0 vsize: 73392 [startup+300.012 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 198283 0 0 0 29474 525 0 0 25 0 1 0 812616443 75632640 17570 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18465 17570 1111 63 0 18402 0 vsize: 73860 [startup+310.013 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 198360 0 0 0 30473 526 0 0 25 0 1 0 812616443 75632640 17570 4294967295 134512640 134714508 3221221776 3221220416 134606456 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18465 17570 1111 63 0 18402 0 vsize: 73860 [startup+320.013 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 198459 0 0 0 31473 526 0 0 25 0 1 0 812616443 75632640 17570 4294967295 134512640 134714508 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18465 17570 1111 63 0 18402 0 vsize: 73860 [startup+330.014 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 198629 0 0 0 32472 527 0 0 25 0 1 0 812616443 75632640 17570 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18465 17570 1111 63 0 18402 0 vsize: 73860 [startup+340.015 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 198748 0 0 0 33472 527 0 0 25 0 1 0 812616443 75632640 17570 4294967295 134512640 134714508 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18465 17570 1111 63 0 18402 0 vsize: 73860 [startup+350.015 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 198930 0 0 0 34471 529 0 0 25 0 1 0 812616443 75632640 17570 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18465 17570 1111 63 0 18402 0 vsize: 73860 [startup+360.015 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 199112 0 0 0 35470 530 0 0 25 0 1 0 812616443 75632640 17570 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18465 17570 1111 63 0 18402 0 vsize: 73860 [startup+370.015 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 200146 0 0 0 36467 533 0 0 25 0 1 0 812616443 75632640 17570 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18465 17570 1111 63 0 18402 0 vsize: 73860 [startup+380.015 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 201672 0 0 0 37461 539 0 0 25 0 1 0 812616443 75632640 17570 4294967295 134512640 134714508 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18465 17570 1111 63 0 18402 0 vsize: 73860 [startup+390.016 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 202879 0 0 0 38457 543 0 0 25 0 1 0 812616443 75632640 17570 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18465 17570 1111 63 0 18402 0 vsize: 73860 [startup+400.016 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 205659 0 0 0 39447 553 0 0 25 0 1 0 812616443 75632640 17570 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18465 17570 1111 63 0 18402 0 vsize: 73860 [startup+410.017 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 208507 0 0 0 40439 561 0 0 25 0 1 0 812616443 75632640 17570 4294967295 134512640 134714508 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18465 17570 1111 63 0 18402 0 vsize: 73860 [startup+420.018 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 211471 0 0 0 41430 570 0 0 25 0 1 0 812616443 75632640 17570 4294967295 134512640 134714508 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18465 17570 1111 63 0 18402 0 vsize: 73860 [startup+430.018 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 213850 0 0 0 42423 578 0 0 25 0 1 0 812616443 75718656 17591 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18486 17591 1111 63 0 18423 0 vsize: 73944 [startup+440.019 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 215202 0 0 0 43418 583 0 0 25 0 1 0 812616443 75718656 17591 4294967295 134512640 134714508 3221221776 3221220200 1077377854 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18486 17591 1111 63 0 18423 0 vsize: 73944 [startup+450.019 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 216786 0 0 0 44411 589 0 0 25 0 1 0 812616443 75718656 17591 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18486 17591 1111 63 0 18423 0 vsize: 73944 [startup+460.02 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 218460 0 0 0 45406 595 0 0 25 0 1 0 812616443 75718656 17591 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18486 17591 1111 63 0 18423 0 vsize: 73944 [startup+470.02 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 221526 0 0 0 46396 605 0 0 25 0 1 0 812616443 75718656 17591 4294967295 134512640 134714508 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18486 17591 1111 63 0 18423 0 vsize: 73944 [startup+480.02 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 224671 0 0 0 47387 614 0 0 25 0 1 0 812616443 75718656 17591 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18486 17591 1111 63 0 18423 0 vsize: 73944 [startup+490.021 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 229069 0 0 0 48374 627 0 0 25 0 1 0 812616443 75718656 17591 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18486 17591 1111 63 0 18423 0 vsize: 73944 [startup+500.02 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 233435 0 0 0 49361 640 0 0 25 0 1 0 812616443 75718656 17591 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18486 17591 1111 63 0 18423 0 vsize: 73944 [startup+510.022 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 237862 0 0 0 50348 653 0 0 25 0 1 0 812616443 75718656 17591 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18486 17591 1111 63 0 18423 0 vsize: 73944 [startup+520.025 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 242817 0 0 0 51335 667 0 0 25 0 1 0 812616443 75718656 17591 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18486 17591 1111 63 0 18423 0 vsize: 73944 [startup+530.025 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 248838 0 0 0 52317 685 0 0 25 0 1 0 812616443 75718656 17591 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18486 17591 1111 63 0 18423 0 vsize: 73944 [startup+540.025 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 254852 0 0 0 53301 701 0 0 25 0 1 0 812616443 75718656 17591 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18486 17591 1111 63 0 18423 0 vsize: 73944 [startup+550.025 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 260924 0 0 0 54284 718 0 0 25 0 1 0 812616443 75718656 17591 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18486 17591 1111 63 0 18423 0 vsize: 73944 [startup+560.026 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 267024 0 0 0 55267 734 0 0 25 0 1 0 812616443 75718656 17591 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18486 17591 1111 63 0 18423 0 vsize: 73944 [startup+570.026 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 274598 0 0 0 56248 754 0 0 25 0 1 0 812616443 75718656 17591 4294967295 134512640 134714508 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18486 17591 1111 63 0 18423 0 vsize: 73944 [startup+580.026 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 281837 0 0 0 57228 774 0 0 25 0 1 0 812616443 75718656 17591 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18486 17591 1111 63 0 18423 0 vsize: 73944 [startup+590.027 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 289121 0 0 0 58208 794 0 0 25 0 1 0 812616443 75718656 17591 4294967295 134512640 134714508 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18486 17591 1111 63 0 18423 0 vsize: 73944 [startup+600.027 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 296666 0 0 0 59188 814 0 0 25 0 1 0 812616443 75718656 17591 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18486 17591 1111 63 0 18423 0 vsize: 73944 [startup+610.027 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 303950 0 0 0 60168 834 0 0 25 0 1 0 812616443 75718656 17591 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18486 17591 1111 63 0 18423 0 vsize: 73944 [startup+620.027 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 304514 0 0 0 61166 836 0 0 25 0 1 0 812616443 76042240 17670 4294967295 134512640 134714508 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18565 17670 1111 63 0 18502 0 vsize: 74260 [startup+630.028 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 304695 0 0 0 62165 837 0 0 25 0 1 0 812616443 76795904 17851 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18749 17851 1111 63 0 18686 0 vsize: 74996 [startup+640.029 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 304695 0 0 0 63165 837 0 0 25 0 1 0 812616443 76795904 17851 4294967295 134512640 134714508 3221221776 3221220416 134606456 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18749 17851 1111 63 0 18686 0 vsize: 74996 [startup+650.028 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 304695 0 0 0 64165 837 0 0 25 0 1 0 812616443 76795904 17851 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18749 17851 1111 63 0 18686 0 vsize: 74996 [startup+660.029 s] Raw data (loadavg): 1.06 1.00 0.93 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 304695 0 0 0 65165 838 0 0 25 0 1 0 812616443 76795904 17851 4294967295 134512640 134714508 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18749 17851 1111 63 0 18686 0 vsize: 74996 [startup+670.03 s] Raw data (loadavg): 1.05 1.00 0.93 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 304695 0 0 0 66165 838 0 0 25 0 1 0 812616443 76795904 17851 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18749 17851 1111 63 0 18686 0 vsize: 74996 [startup+680.029 s] Raw data (loadavg): 1.04 1.00 0.93 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 304695 0 0 0 67165 838 0 0 25 0 1 0 812616443 76795904 17851 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18749 17851 1111 63 0 18686 0 vsize: 74996 [startup+690.03 s] Raw data (loadavg): 1.04 1.00 0.93 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 304695 0 0 0 68165 838 0 0 25 0 1 0 812616443 76795904 17851 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18749 17851 1111 63 0 18686 0 vsize: 74996 [startup+700.03 s] Raw data (loadavg): 1.03 1.00 0.93 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 304695 0 0 0 69164 838 0 0 25 0 1 0 812616443 76795904 17851 4294967295 134512640 134714508 3221221776 3221220200 1077378083 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18749 17851 1111 63 0 18686 0 vsize: 74996 [startup+710.031 s] Raw data (loadavg): 1.03 1.00 0.93 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 304695 0 0 0 70164 839 0 0 25 0 1 0 812616443 76795904 17851 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18749 17851 1111 63 0 18686 0 vsize: 74996 [startup+720.031 s] Raw data (loadavg): 1.02 1.00 0.93 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 304695 0 0 0 71164 839 0 0 25 0 1 0 812616443 76795904 17851 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18749 17851 1111 63 0 18686 0 vsize: 74996 [startup+730.031 s] Raw data (loadavg): 1.02 1.00 0.93 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 304695 0 0 0 72164 839 0 0 25 0 1 0 812616443 76795904 17851 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18749 17851 1111 63 0 18686 0 vsize: 74996 [startup+740.032 s] Raw data (loadavg): 1.01 1.00 0.93 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 304695 0 0 0 73163 840 0 0 25 0 1 0 812616443 76795904 17851 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18749 17851 1111 63 0 18686 0 vsize: 74996 [startup+750.032 s] Raw data (loadavg): 1.01 1.00 0.93 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 304695 0 0 0 74163 841 0 0 25 0 1 0 812616443 76795904 17851 4294967295 134512640 134714508 3221221776 3221220448 134627250 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18749 17851 1111 63 0 18686 0 vsize: 74996 [startup+760.036 s] Raw data (loadavg): 1.01 1.00 0.93 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 306858 0 0 0 75157 847 0 0 25 0 1 0 812616443 77053952 18061 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18812 18061 1111 63 0 18749 0 vsize: 75248 [startup+770.036 s] Raw data (loadavg): 1.01 1.00 0.93 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 306862 0 0 0 76157 847 0 0 25 0 1 0 812616443 77053952 18065 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18812 18065 1111 63 0 18749 0 vsize: 75248 [startup+780.035 s] Raw data (loadavg): 1.01 1.00 0.93 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 306865 0 0 0 77155 849 0 0 25 0 1 0 812616443 77053952 18068 4294967295 134512640 134714508 3221221776 3221220576 134597700 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18812 18068 1111 63 0 18749 0 vsize: 75248 [startup+790.035 s] Raw data (loadavg): 1.08 1.01 0.93 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 306865 0 0 0 78154 850 0 0 25 0 1 0 812616443 77053952 18068 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18812 18068 1111 63 0 18749 0 vsize: 75248 [startup+800.036 s] Raw data (loadavg): 1.07 1.01 0.93 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 306865 0 0 0 79154 851 0 0 25 0 1 0 812616443 77053952 18068 4294967295 134512640 134714508 3221221776 3221220552 134613539 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18812 18068 1111 63 0 18749 0 vsize: 75248 [startup+810.037 s] Raw data (loadavg): 1.06 1.01 0.93 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 306865 0 0 0 80153 851 0 0 25 0 1 0 812616443 77053952 18068 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18812 18068 1111 63 0 18749 0 vsize: 75248 [startup+820.036 s] Raw data (loadavg): 1.05 1.01 0.93 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 306865 0 0 0 81152 852 0 0 25 0 1 0 812616443 77053952 18068 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18812 18068 1111 63 0 18749 0 vsize: 75248 [startup+830.036 s] Raw data (loadavg): 1.04 1.01 0.93 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 306865 0 0 0 82152 853 0 0 25 0 1 0 812616443 77053952 18068 4294967295 134512640 134714508 3221221776 3221220552 134600364 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18812 18068 1111 63 0 18749 0 vsize: 75248 [startup+840.036 s] Raw data (loadavg): 1.04 1.01 0.93 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 306865 0 0 0 83152 853 0 0 25 0 1 0 812616443 77053952 18068 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18812 18068 1111 63 0 18749 0 vsize: 75248 [startup+850.036 s] Raw data (loadavg): 1.03 1.01 0.93 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 306865 0 0 0 84152 854 0 0 25 0 1 0 812616443 77053952 18068 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18812 18068 1111 63 0 18749 0 vsize: 75248 [startup+860.037 s] Raw data (loadavg): 1.02 1.01 0.93 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 306865 0 0 0 85152 854 0 0 25 0 1 0 812616443 77053952 18068 4294967295 134512640 134714508 3221221776 3221220576 134597733 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18812 18068 1111 63 0 18749 0 vsize: 75248 [startup+870.037 s] Raw data (loadavg): 1.02 1.01 0.93 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 306865 0 0 0 86151 855 0 0 25 0 1 0 812616443 77053952 18068 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18812 18068 1111 63 0 18749 0 vsize: 75248 [startup+880.037 s] Raw data (loadavg): 1.02 1.00 0.93 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 306865 0 0 0 87150 855 0 0 25 0 1 0 812616443 77053952 18068 4294967295 134512640 134714508 3221221776 3221220552 134600364 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18812 18068 1111 63 0 18749 0 vsize: 75248 [startup+890.037 s] Raw data (loadavg): 1.01 1.00 0.93 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 306865 0 0 0 88150 856 0 0 25 0 1 0 812616443 77053952 18068 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18812 18068 1111 63 0 18749 0 vsize: 75248 [startup+900.037 s] Raw data (loadavg): 1.01 1.00 0.93 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 306865 0 0 0 89149 857 0 0 25 0 1 0 812616443 77053952 18068 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18812 18068 1111 63 0 18749 0 vsize: 75248 [startup+910.037 s] Raw data (loadavg): 1.01 1.00 0.93 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 306865 0 0 0 90149 858 0 0 25 0 1 0 812616443 77053952 18068 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18812 18068 1111 63 0 18749 0 vsize: 75248 [startup+920.037 s] Raw data (loadavg): 1.01 1.00 0.93 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 306865 0 0 0 91148 858 0 0 25 0 1 0 812616443 77053952 18068 4294967295 134512640 134714508 3221221776 3221220576 134597777 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18812 18068 1111 63 0 18749 0 vsize: 75248 [startup+930.037 s] Raw data (loadavg): 1.01 1.00 0.93 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 306865 0 0 0 92148 859 0 0 25 0 1 0 812616443 77053952 18068 4294967295 134512640 134714508 3221221776 3221220552 134613539 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18812 18068 1111 63 0 18749 0 vsize: 75248 [startup+940.037 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 306865 0 0 0 93148 859 0 0 25 0 1 0 812616443 77053952 18068 4294967295 134512640 134714508 3221221776 3221220556 134600348 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18812 18068 1111 63 0 18749 0 vsize: 75248 [startup+950.037 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 306865 0 0 0 94147 860 0 0 25 0 1 0 812616443 77053952 18068 4294967295 134512640 134714508 3221221776 3221220552 134613539 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18812 18068 1111 63 0 18749 0 vsize: 75248 [startup+960.037 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 306865 0 0 0 95147 860 0 0 25 0 1 0 812616443 77053952 18068 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18812 18068 1111 63 0 18749 0 vsize: 75248 [startup+970.037 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 306865 0 0 0 96146 861 0 0 25 0 1 0 812616443 77053952 18068 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18812 18068 1111 63 0 18749 0 vsize: 75248 [startup+980.037 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 306865 0 0 0 97146 862 0 0 25 0 1 0 812616443 77053952 18068 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18812 18068 1111 63 0 18749 0 vsize: 75248 [startup+990.037 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 306865 0 0 0 98145 862 0 0 25 0 1 0 812616443 77053952 18068 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18812 18068 1111 63 0 18749 0 vsize: 75248 [startup+1000.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 306865 0 0 0 99145 862 0 0 25 0 1 0 812616443 77053952 18068 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18812 18068 1111 63 0 18749 0 vsize: 75248 [startup+1010.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 306865 0 0 0 100145 863 0 0 25 0 1 0 812616443 77053952 18068 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18812 18068 1111 63 0 18749 0 vsize: 75248 [startup+1020.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 306865 0 0 0 101144 864 0 0 25 0 1 0 812616443 77053952 18068 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18812 18068 1111 63 0 18749 0 vsize: 75248 [startup+1030.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 306865 0 0 0 102144 864 0 0 25 0 1 0 812616443 77053952 18068 4294967295 134512640 134714508 3221221776 3221220576 134597597 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18812 18068 1111 63 0 18749 0 vsize: 75248 [startup+1040.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 306865 0 0 0 103143 865 0 0 25 0 1 0 812616443 77053952 18068 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18812 18068 1111 63 0 18749 0 vsize: 75248 [startup+1050.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 306865 0 0 0 104143 866 0 0 25 0 1 0 812616443 77053952 18068 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18812 18068 1111 63 0 18749 0 vsize: 75248 [startup+1060.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 306865 0 0 0 105143 866 0 0 25 0 1 0 812616443 77053952 18068 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18812 18068 1111 63 0 18749 0 vsize: 75248 [startup+1070.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 306865 0 0 0 106142 867 0 0 25 0 1 0 812616443 77053952 18068 4294967295 134512640 134714508 3221221776 3221220552 134613526 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18812 18068 1111 63 0 18749 0 vsize: 75248 [startup+1080.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 306865 0 0 0 107142 867 0 0 25 0 1 0 812616443 77053952 18068 4294967295 134512640 134714508 3221221776 3221220568 134597569 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18812 18068 1111 63 0 18749 0 vsize: 75248 [startup+1090.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 306865 0 0 0 108141 868 0 0 25 0 1 0 812616443 77053952 18068 4294967295 134512640 134714508 3221221776 3221220552 134600364 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18812 18068 1111 63 0 18749 0 vsize: 75248 [startup+1100.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 306865 0 0 0 109141 869 0 0 25 0 1 0 812616443 77053952 18068 4294967295 134512640 134714508 3221221776 3221220552 134613530 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18812 18068 1111 63 0 18749 0 vsize: 75248 [startup+1110.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 306865 0 0 0 110141 869 0 0 25 0 1 0 812616443 77053952 18068 4294967295 134512640 134714508 3221221776 3221220576 134597777 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18812 18068 1111 63 0 18749 0 vsize: 75248 [startup+1120.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 306865 0 0 0 111140 870 0 0 25 0 1 0 812616443 77053952 18068 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18812 18068 1111 63 0 18749 0 vsize: 75248 [startup+1130.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 306865 0 0 0 112140 870 0 0 25 0 1 0 812616443 77053952 18068 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18812 18068 1111 63 0 18749 0 vsize: 75248 [startup+1140.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 306865 0 0 0 113140 871 0 0 25 0 1 0 812616443 77053952 18068 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18812 18068 1111 63 0 18749 0 vsize: 75248 [startup+1150.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 306865 0 0 0 114139 871 0 0 25 0 1 0 812616443 77053952 18068 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18812 18068 1111 63 0 18749 0 vsize: 75248 [startup+1160.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 306865 0 0 0 115139 872 0 0 25 0 1 0 812616443 77053952 18068 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18812 18068 1111 63 0 18749 0 vsize: 75248 [startup+1170.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 306865 0 0 0 116138 872 0 0 25 0 1 0 812616443 77053952 18068 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18812 18068 1111 63 0 18749 0 vsize: 75248 [startup+1174.99 s] Raw data (loadavg): 1.00 1.00 0.93 1/54 24438 Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 306865 0 0 0 116138 872 0 0 25 0 1 0 812616443 77053952 18068 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18812 18068 1111 63 0 18749 0 vsize: 0 Child status: 0 Real time (s): 1174.99 CPU time (s): 1175.06 CPU user time (s): 1166.3 CPU system time (s): 8.76367 CPU usage (%): 100.006 Max. virtual memory (Kb): 75248 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####