Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-gen.opb |
MD5SUM | 650632b92fbb7592f9a040d6375b78e9 |
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 | 8814 |
Biggest coefficient in the objective function | 3375324200960 |
Number of bits for the biggest coefficient in the objective function | 42 |
Sum of the numbers in the objective function | 2061624536571104 |
Number of bits of the sum of numbers in the objective function | 51 |
Biggest number in a constraint | 3375324200960 |
Number of bits of the biggest number in a constraint | 42 |
Biggest sum of numbers in a constraint | 2061624536571104 |
Number of bits of the biggest sum of numbers | 51 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.116981 |
Number of variables | 12846 |
Total number of constraints | 1074 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 144 |
Number of constraints which are nor clauses,nor cardinality constraints | 930 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 192 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc1 THE 2005-06-08 09:07:47 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=28458 boxname=wulflinc1 idbench=1414 idsolver=20 numberseed=0 MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048 /oldhome/oroussel/solvers/bsolo_lpr-v2 MD5SUM BENCH: 650632b92fbb7592f9a040d6375b78e9 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-gen.opb REAL COMMAND: bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-gen.opb IDLAUNCH: 28458 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.053 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.053 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: 903252 kB Buffers: 17320 kB Cached: 89160 kB SwapCached: 1164 kB Active: 26432 kB Inactive: 82284 kB HighTotal: 131008 kB HighFree: 65240 kB LowTotal: 903652 kB LowFree: 838012 kB SwapTotal: 2097136 kB SwapFree: 2094844 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5260 kB Slab: 16972 kB Committed_AS: 92720 kB PageTables: 332 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-08 09:27:22 (client local time) WITH STATUS 0 IN 1175.13 SECONDS stats: 28458 7 1175.13 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 12846 variables and 1008 constraints. c After prepocess the problem consists of 8035 variables and 1863 constraints. c preprocess terminated 614.612 s c Initial Lower Bound: -3677 c Lower Bound Elapsed time: 1.04725 c Not use computed LB before first solution. s UNKNOWN c Exit Code: 0 c Total time: 1175 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.88 0.95 0.90 2/55 20991 Raw data (stat): 20991 (runsolver) R 20990 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 843574353 884736 94 4294967295 134512640 135332820 3221224464 3221219644 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 s] Raw data (loadavg): 0.90 0.96 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 3768 0 0 0 988 9 0 0 25 0 1 0 843574353 28307456 3688 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6911 3688 1111 63 0 6848 0 vsize: 27644 [startup+19.9999 s] Raw data (loadavg): 0.91 0.96 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 11717 0 0 0 1969 28 0 0 25 0 1 0 843574353 60919808 11637 4294967295 134512640 134716908 3221224576 3221221196 1077253638 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14873 11637 1111 63 0 14810 0 vsize: 59492 [startup+30.0008 s] Raw data (loadavg): 0.92 0.96 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 18136 0 0 0 2952 44 0 0 25 0 1 0 843574353 76099584 17671 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18579 17671 1111 63 0 18516 0 vsize: 74316 [startup+40.0004 s] Raw data (loadavg): 0.94 0.96 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 18136 0 0 0 3952 44 0 0 25 0 1 0 843574353 76099584 17671 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18579 17671 1111 63 0 18516 0 vsize: 74316 [startup+50.0012 s] Raw data (loadavg): 0.94 0.96 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 18136 0 0 0 4952 44 0 0 25 0 1 0 843574353 76099584 17671 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18579 17671 1111 63 0 18516 0 vsize: 74316 [startup+60.001 s] Raw data (loadavg): 0.95 0.96 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 18136 0 0 0 5952 44 0 0 25 0 1 0 843574353 76099584 17671 4294967295 134512640 134716908 3221224576 3221223216 134606472 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18579 17671 1111 63 0 18516 0 vsize: 74316 [startup+70.0008 s] Raw data (loadavg): 0.96 0.96 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 18136 0 0 0 6953 44 0 0 25 0 1 0 843574353 76099584 17671 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18579 17671 1111 63 0 18516 0 vsize: 74316 [startup+80.0016 s] Raw data (loadavg): 0.97 0.96 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 18136 0 0 0 7953 44 0 0 25 0 1 0 843574353 76099584 17671 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18579 17671 1111 63 0 18516 0 vsize: 74316 [startup+90.0014 s] Raw data (loadavg): 0.97 0.96 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 18136 0 0 0 8953 45 0 0 25 0 1 0 843574353 76099584 17671 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18579 17671 1111 63 0 18516 0 vsize: 74316 [startup+100.002 s] Raw data (loadavg): 0.97 0.96 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 18136 0 0 0 9953 45 0 0 25 0 1 0 843574353 76099584 17671 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18579 17671 1111 63 0 18516 0 vsize: 74316 [startup+110.003 s] Raw data (loadavg): 0.98 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 18136 0 0 0 10953 45 0 0 25 0 1 0 843574353 76099584 17671 4294967295 134512640 134716908 3221224576 3221223216 134606472 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18579 17671 1111 63 0 18516 0 vsize: 74316 [startup+120.003 s] Raw data (loadavg): 0.98 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 18136 0 0 0 11953 45 0 0 25 0 1 0 843574353 76099584 17671 4294967295 134512640 134716908 3221224576 3221223328 134630811 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18579 17671 1111 63 0 18516 0 vsize: 74316 [startup+130.002 s] Raw data (loadavg): 0.98 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 18136 0 0 0 12953 45 0 0 25 0 1 0 843574353 76099584 17671 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18579 17671 1111 63 0 18516 0 vsize: 74316 [startup+140.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 18136 0 0 0 13953 45 0 0 25 0 1 0 843574353 76099584 17671 4294967295 134512640 134716908 3221224576 3221223328 134630811 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18579 17671 1111 63 0 18516 0 vsize: 74316 [startup+150.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 18136 0 0 0 14954 45 0 0 25 0 1 0 843574353 76099584 17671 4294967295 134512640 134716908 3221224576 3221223216 134606472 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18579 17671 1111 63 0 18516 0 vsize: 74316 [startup+160.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 18136 0 0 0 15954 45 0 0 25 0 1 0 843574353 76099584 17671 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18579 17671 1111 63 0 18516 0 vsize: 74316 [startup+170.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 18136 0 0 0 16954 45 0 0 25 0 1 0 843574353 76099584 17671 4294967295 134512640 134716908 3221224576 3221223224 134532457 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18579 17671 1111 63 0 18516 0 vsize: 74316 [startup+180.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 18136 0 0 0 17954 45 0 0 25 0 1 0 843574353 76099584 17671 4294967295 134512640 134716908 3221224576 3221223216 134606472 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18579 17671 1111 63 0 18516 0 vsize: 74316 [startup+190.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 18136 0 0 0 18954 45 0 0 25 0 1 0 843574353 76099584 17671 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18579 17671 1111 63 0 18516 0 vsize: 74316 [startup+200.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 18136 0 0 0 19954 45 0 0 25 0 1 0 843574353 76099584 17671 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18579 17671 1111 63 0 18516 0 vsize: 74316 [startup+210.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 18136 0 0 0 20954 45 0 0 25 0 1 0 843574353 76099584 17671 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18579 17671 1111 63 0 18516 0 vsize: 74316 [startup+220.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 18136 0 0 0 21954 45 0 0 25 0 1 0 843574353 76099584 17671 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18579 17671 1111 63 0 18516 0 vsize: 74316 [startup+230.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 18136 0 0 0 22955 45 0 0 25 0 1 0 843574353 76099584 17671 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18579 17671 1111 63 0 18516 0 vsize: 74316 [startup+240.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 18136 0 0 0 23955 45 0 0 25 0 1 0 843574353 76099584 17671 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18579 17671 1111 63 0 18516 0 vsize: 74316 [startup+250.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 18136 0 0 0 24955 45 0 0 25 0 1 0 843574353 76099584 17671 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18579 17671 1111 63 0 18516 0 vsize: 74316 [startup+260.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 18136 0 0 0 25955 45 0 0 25 0 1 0 843574353 76099584 17671 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18579 17671 1111 63 0 18516 0 vsize: 74316 [startup+270.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 18136 0 0 0 26955 46 0 0 25 0 1 0 843574353 76099584 17671 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18579 17671 1111 63 0 18516 0 vsize: 74316 [startup+280.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 18136 0 0 0 27955 46 0 0 25 0 1 0 843574353 76099584 17671 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18579 17671 1111 63 0 18516 0 vsize: 74316 [startup+290.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 18136 0 0 0 28955 46 0 0 25 0 1 0 843574353 76099584 17671 4294967295 134512640 134716908 3221224576 3221223216 134606472 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18579 17671 1111 63 0 18516 0 vsize: 74316 [startup+300.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 18136 0 0 0 29956 46 0 0 25 0 1 0 843574353 76099584 17671 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18579 17671 1111 63 0 18516 0 vsize: 74316 [startup+310.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 18136 0 0 0 30956 46 0 0 25 0 1 0 843574353 76099584 17671 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18579 17671 1111 63 0 18516 0 vsize: 74316 [startup+320.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 18136 0 0 0 31956 46 0 0 25 0 1 0 843574353 76099584 17671 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18579 17671 1111 63 0 18516 0 vsize: 74316 [startup+330.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 18136 0 0 0 32956 46 0 0 25 0 1 0 843574353 76099584 17671 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18579 17671 1111 63 0 18516 0 vsize: 74316 [startup+340.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 18136 0 0 0 33956 46 0 0 25 0 1 0 843574353 76099584 17671 4294967295 134512640 134716908 3221224576 3221223216 134606472 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18579 17671 1111 63 0 18516 0 vsize: 74316 [startup+350.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 18136 0 0 0 34956 46 0 0 25 0 1 0 843574353 76099584 17671 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18579 17671 1111 63 0 18516 0 vsize: 74316 [startup+360.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 18136 0 0 0 35956 46 0 0 25 0 1 0 843574353 76099584 17671 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18579 17671 1111 63 0 18516 0 vsize: 74316 [startup+370.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 18136 0 0 0 36956 46 0 0 25 0 1 0 843574353 76099584 17671 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18579 17671 1111 63 0 18516 0 vsize: 74316 [startup+380.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 18136 0 0 0 37956 46 0 0 25 0 1 0 843574353 76099584 17671 4294967295 134512640 134716908 3221224576 3221223304 134675279 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18579 17671 1111 63 0 18516 0 vsize: 74316 [startup+390.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 18136 0 0 0 38957 46 0 0 25 0 1 0 843574353 76099584 17671 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18579 17671 1111 63 0 18516 0 vsize: 74316 [startup+400.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 53598 0 0 0 39868 135 0 0 25 0 1 0 843574353 76251136 17676 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18616 17679 1111 63 0 18553 0 vsize: 74464 [startup+410.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 138096 0 0 0 40660 343 0 0 25 0 1 0 843574353 76099584 17671 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18579 17671 1111 63 0 18516 0 vsize: 74316 [startup+420.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 220416 0 0 0 41456 548 0 0 25 0 1 0 843574353 76099584 17671 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18579 17671 1111 63 0 18516 0 vsize: 74316 [startup+430.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 302736 0 0 0 42250 753 0 0 25 0 1 0 843574353 76099584 17671 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18579 17671 1111 63 0 18516 0 vsize: 74316 [startup+440.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 385056 0 0 0 43050 954 0 0 25 0 1 0 843574353 76099584 17671 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18579 17671 1111 63 0 18516 0 vsize: 74316 [startup+450.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 467376 0 0 0 43849 1155 0 0 25 0 1 0 843574353 76099584 17671 4294967295 134512640 134716908 3221224576 3221223012 1077782939 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18579 17671 1111 63 0 18516 0 vsize: 74316 [startup+460.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 549592 0 0 0 44648 1356 0 0 25 0 1 0 843574353 77021184 17861 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18804 17867 1111 63 0 18741 0 vsize: 75216 [startup+470.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 631773 0 0 0 45450 1555 0 0 25 0 1 0 843574353 76406784 17722 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18654 17728 1111 63 0 18591 0 vsize: 74616 [startup+480.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 714042 0 0 0 46246 1759 0 0 25 0 1 0 843574353 76099584 17671 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18579 17671 1111 63 0 18516 0 vsize: 74316 [startup+490.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 796362 0 0 0 47042 1963 0 0 25 0 1 0 843574353 77332480 17965 4294967295 134512640 134716908 3221224576 3221223376 134617258 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18880 17965 1111 63 0 18817 0 vsize: 75520 [startup+500.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 878492 0 0 0 47838 2167 0 0 25 0 1 0 843574353 76558336 17775 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18729 17781 1111 63 0 18666 0 vsize: 74764 [startup+510.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 960708 0 0 0 48642 2364 0 0 25 0 1 0 843574353 76099584 17671 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18579 17671 1111 63 0 18516 0 vsize: 74316 [startup+520.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 1043028 0 0 0 49436 2569 0 0 25 0 1 0 843574353 76099584 17671 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18579 17671 1111 63 0 18516 0 vsize: 74316 [startup+530.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 1125348 0 0 0 50242 2764 0 0 25 0 1 0 843574353 76099584 17671 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18579 17671 1111 63 0 18516 0 vsize: 74316 [startup+540.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 1207668 0 0 0 51037 2968 0 0 25 0 1 0 843574353 76099584 17671 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18579 17671 1111 63 0 18516 0 vsize: 74316 [startup+550.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 1289988 0 0 0 51836 3170 0 0 25 0 1 0 843574353 77332480 17965 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18880 17965 1111 63 0 18817 0 vsize: 75520 [startup+560.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 1336146 0 0 0 52722 3284 0 0 25 0 1 0 843574353 76099584 17671 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18579 17671 1111 63 0 18516 0 vsize: 74316 [startup+570.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 1336146 0 0 0 53722 3284 0 0 25 0 1 0 843574353 76099584 17671 4294967295 134512640 134716908 3221224576 3221223248 134627257 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18579 17671 1111 63 0 18516 0 vsize: 74316 [startup+580.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 1336146 0 0 0 54723 3284 0 0 25 0 1 0 843574353 76099584 17671 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18579 17671 1111 63 0 18516 0 vsize: 74316 [startup+590.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 1336146 0 0 0 55723 3284 0 0 25 0 1 0 843574353 76099584 17671 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18579 17671 1111 63 0 18516 0 vsize: 74316 [startup+600.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 1336146 0 0 0 56723 3284 0 0 25 0 1 0 843574353 76099584 17671 4294967295 134512640 134716908 3221224576 3221223240 134627152 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18579 17671 1111 63 0 18516 0 vsize: 74316 [startup+610.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 1336146 0 0 0 57723 3284 0 0 25 0 1 0 843574353 76099584 17671 4294967295 134512640 134716908 3221224576 3221223224 134558609 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18579 17671 1111 63 0 18516 0 vsize: 74316 [startup+620.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 1340005 0 0 0 58713 3294 0 0 25 0 1 0 843574353 76451840 17899 4294967295 134512640 134716908 3221224576 3221223352 134613558 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18665 17899 1111 63 0 18602 0 vsize: 74660 [startup+630.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 1340006 0 0 0 59713 3294 0 0 25 0 1 0 843574353 76451840 17900 4294967295 134512640 134716908 3221224576 3221223444 134576744 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18665 17900 1111 63 0 18602 0 vsize: 74660 [startup+640.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 1340010 0 0 0 60713 3294 0 0 25 0 1 0 843574353 76451840 17904 4294967295 134512640 134716908 3221224576 3221223352 134613558 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18665 17904 1111 63 0 18602 0 vsize: 74660 [startup+650.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 1340347 0 0 0 61711 3296 0 0 25 0 1 0 843574353 77938688 18241 4294967295 134512640 134716908 3221224576 3221223352 134613555 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19028 18241 1111 63 0 18965 0 vsize: 76112 [startup+660.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 1341761 0 0 0 62708 3300 0 0 25 0 1 0 843574353 83615744 19655 4294967295 134512640 134716908 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20414 19655 1111 63 0 20351 0 vsize: 81656 [startup+670.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 1343107 0 0 0 63704 3304 0 0 25 0 1 0 843574353 89157632 21001 4294967295 134512640 134716908 3221224576 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21767 21001 1111 63 0 21704 0 vsize: 87068 [startup+680.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 1344350 0 0 0 64700 3308 0 0 25 0 1 0 843574353 94302208 22242 4294967295 134512640 134716908 3221224576 3221223456 134577101 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 23023 22242 1111 63 0 22960 0 vsize: 92092 [startup+690.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 1345437 0 0 0 65696 3312 0 0 25 0 1 0 843574353 98770944 23329 4294967295 134512640 134716908 3221224576 3221223340 134613516 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24114 23329 1111 63 0 24051 0 vsize: 96456 [startup+700.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 1346430 0 0 0 66694 3314 0 0 25 0 1 0 843574353 102842368 24320 4294967295 134512640 134716908 3221224576 3221223368 134597609 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25108 24320 1111 63 0 25045 0 vsize: 100432 [startup+710.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 1347451 0 0 0 67691 3318 0 0 25 0 1 0 843574353 107036672 25341 4294967295 134512640 134716908 3221224576 3221223456 134577088 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 26132 25341 1111 63 0 26069 0 vsize: 104528 [startup+720.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 1348426 0 0 0 68688 3320 0 0 25 0 1 0 843574353 111091712 26316 4294967295 134512640 134716908 3221224576 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27122 26316 1111 63 0 27059 0 vsize: 108488 [startup+730.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 1349438 0 0 0 69685 3324 0 0 25 0 1 0 843574353 115163136 27328 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28116 27328 1111 63 0 28053 0 vsize: 112464 [startup+740.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 1350451 0 0 0 70683 3326 0 0 25 0 1 0 843574353 119357440 28340 4294967295 134512640 134716908 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29140 28340 1111 63 0 29077 0 vsize: 116560 [startup+750.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 1351535 0 0 0 71680 3329 0 0 25 0 1 0 843574353 123817984 29424 4294967295 134512640 134716908 3221224576 3221223440 134576745 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30229 29424 1111 63 0 30166 0 vsize: 120916 [startup+760.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 1352444 0 0 0 72677 3332 0 0 25 0 1 0 843574353 127528960 30331 4294967295 134512640 134716908 3221224576 3221223456 134577101 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 31135 30331 1111 63 0 31072 0 vsize: 124540 [startup+770.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 1353380 0 0 0 73674 3335 0 0 25 0 1 0 843574353 131448832 31266 4294967295 134512640 134716908 3221224576 3221223376 134597692 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 32092 31267 1111 63 0 32029 0 vsize: 128368 [startup+780.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 1354452 0 0 0 74672 3338 0 0 25 0 1 0 843574353 135802880 32336 4294967295 134512640 134716908 3221224576 3221223212 134552672 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 33155 32336 1111 63 0 33092 0 vsize: 132620 [startup+790.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 1355478 0 0 0 75668 3342 0 0 25 0 1 0 843574353 139993088 33362 4294967295 134512640 134716908 3221224576 3221223408 134600260 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 34178 33362 1111 63 0 34115 0 vsize: 136712 [startup+800.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 1356562 0 0 0 76666 3344 0 0 25 0 1 0 843574353 144453632 34446 4294967295 134512640 134716908 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 35267 34446 1111 63 0 35204 0 vsize: 141068 [startup+810.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 1357590 0 0 0 77663 3348 0 0 25 0 1 0 843574353 148643840 35474 4294967295 134512640 134716908 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36290 35474 1111 63 0 36227 0 vsize: 145160 [startup+820.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 1358689 0 0 0 78660 3351 0 0 25 0 1 0 843574353 153182208 36568 4294967295 134512640 134716908 3221224576 3221223440 134576745 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37398 36568 1111 63 0 37335 0 vsize: 149592 [startup+830.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 1359608 0 0 0 79656 3354 0 0 25 0 1 0 843574353 157032448 37484 4294967295 134512640 134716908 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 38338 37484 1111 63 0 38275 0 vsize: 153352 [startup+840.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 1360530 0 0 0 80654 3357 0 0 25 0 1 0 843574353 160849920 38400 4294967295 134512640 134716908 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 39270 38400 1111 63 0 39207 0 vsize: 157080 [startup+850.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 1361397 0 0 0 81651 3360 0 0 25 0 1 0 843574353 164364288 39267 4294967295 134512640 134716908 3221224576 3221223456 134577101 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 40128 39267 1111 63 0 40065 0 vsize: 160512 [startup+860.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 1362157 0 0 0 82650 3362 0 0 25 0 1 0 843574353 167514112 40023 4294967295 134512640 134716908 3221224576 3221223336 134613542 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 40897 40023 1111 63 0 40834 0 vsize: 163588 [startup+870.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 1362849 0 0 0 83649 3363 0 0 25 0 1 0 843574353 170352640 40715 4294967295 134512640 134716908 3221224576 3221223456 134577041 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 41590 40715 1111 63 0 41527 0 vsize: 166360 [startup+880.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 1363563 0 0 0 84646 3365 0 0 25 0 1 0 843574353 173326336 41429 4294967295 134512640 134716908 3221224576 3221223376 134597645 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 42316 41429 1111 63 0 42253 0 vsize: 169264 [startup+890.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 1364150 0 0 0 85645 3367 0 0 25 0 1 0 843574353 175632384 42016 4294967295 134512640 134716908 3221224576 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 42879 42016 1111 63 0 42816 0 vsize: 171516 [startup+900.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 1364818 0 0 0 86643 3369 0 0 25 0 1 0 843574353 178475008 42684 4294967295 134512640 134716908 3221224576 3221223456 134577116 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 43573 42684 1111 63 0 43510 0 vsize: 174292 [startup+910.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 1365565 0 0 0 87641 3372 0 0 25 0 1 0 843574353 181497856 43428 4294967295 134512640 134716908 3221224576 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 44311 43428 1111 63 0 44248 0 vsize: 177244 [startup+920.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 1366375 0 0 0 88637 3375 0 0 25 0 1 0 843574353 184877056 44237 4294967295 134512640 134716908 3221224576 3221223312 134523930 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 45136 44237 1111 63 0 45073 0 vsize: 180544 [startup+930.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 1367370 0 0 0 89635 3378 0 0 25 0 1 0 843574353 188932096 45232 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 46126 45232 1111 63 0 46063 0 vsize: 184504 [startup+940.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 1368427 0 0 0 90631 3381 0 0 25 0 1 0 843574353 193323008 46284 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 47198 46284 1111 63 0 47135 0 vsize: 188792 [startup+950.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 1368866 0 0 0 91630 3383 0 0 25 0 1 0 843574353 194949120 46722 4294967295 134512640 134716908 3221224576 3221223168 134549697 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 47595 46722 1111 63 0 47532 0 vsize: 190380 [startup+960.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 1369573 0 0 0 92629 3384 0 0 25 0 1 0 843574353 197988352 47419 4294967295 134512640 134716908 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 48337 47419 1111 63 0 48274 0 vsize: 193348 [startup+970.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 1370328 0 0 0 93627 3386 0 0 25 0 1 0 843574353 201142272 48174 4294967295 134512640 134716908 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 49107 48174 1111 63 0 49044 0 vsize: 196428 [startup+980.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 1371241 0 0 0 94624 3389 0 0 25 0 1 0 843574353 204857344 49083 4294967295 134512640 134716908 3221224576 3221223456 134577072 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 50014 49083 1111 63 0 49951 0 vsize: 200056 [startup+990.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 1372086 0 0 0 95621 3392 0 0 25 0 1 0 843574353 208371712 49928 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 50872 49928 1111 63 0 50809 0 vsize: 203488 [startup+1000.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 1372967 0 0 0 96618 3396 0 0 25 0 1 0 843574353 211886080 50809 4294967295 134512640 134716908 3221224576 3221223400 134558492 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 51730 50809 1111 63 0 51667 0 vsize: 206920 [startup+1010.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 1373930 0 0 0 97616 3398 0 0 25 0 1 0 843574353 215941120 51772 4294967295 134512640 134716908 3221224576 3221223376 134597597 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 52720 51772 1111 63 0 52657 0 vsize: 210880 [startup+1020.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 1374781 0 0 0 98614 3400 0 0 25 0 1 0 843574353 219320320 52623 4294967295 134512640 134716908 3221224576 3221223376 134597735 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 53545 52623 1111 63 0 53482 0 vsize: 214180 [startup+1030.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 1375520 0 0 0 99612 3403 0 0 25 0 1 0 843574353 222466048 53358 4294967295 134512640 134716908 3221224576 3221223352 134613544 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 54313 53358 1111 63 0 54250 0 vsize: 217252 [startup+1040.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 1376343 0 0 0 100610 3404 0 0 25 0 1 0 843574353 225845248 54181 4294967295 134512640 134716908 3221224576 3221223352 134613558 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 55138 54181 1111 63 0 55075 0 vsize: 220552 [startup+1050.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 1377265 0 0 0 101608 3407 0 0 25 0 1 0 843574353 229629952 55103 4294967295 134512640 134716908 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 56062 55103 1111 63 0 55999 0 vsize: 224248 [startup+1060.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 1378061 0 0 0 102606 3409 0 0 25 0 1 0 843574353 232939520 55890 4294967295 134512640 134716908 3221224576 3221223360 134597614 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 56870 55890 1111 63 0 56807 0 vsize: 227480 [startup+1070.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 1378867 0 0 0 103603 3412 0 0 25 0 1 0 843574353 236183552 56696 4294967295 134512640 134716908 3221224576 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 57662 56696 1111 63 0 57599 0 vsize: 230648 [startup+1080.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 1379746 0 0 0 104600 3415 0 0 25 0 1 0 843574353 239833088 57575 4294967295 134512640 134716908 3221224576 3221223352 134613558 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 58553 57575 1111 63 0 58490 0 vsize: 234212 [startup+1090.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 1380675 0 0 0 105597 3418 0 0 25 0 1 0 843574353 243617792 58504 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 59477 58504 1111 63 0 59414 0 vsize: 237908 [startup+1100.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 1381687 0 0 0 106594 3421 0 0 25 0 1 0 843574353 247808000 59516 4294967295 134512640 134716908 3221224576 3221223340 134613516 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 60500 59516 1111 63 0 60437 0 vsize: 242000 [startup+1110.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 1382206 0 0 0 107593 3423 0 0 25 0 1 0 843574353 249978880 60021 4294967295 134512640 134716908 3221224576 3221223456 134577101 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 61030 60021 1111 63 0 60967 0 vsize: 244120 [startup+1120.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 1382875 0 0 0 108590 3426 0 0 25 0 1 0 843574353 252723200 60689 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 61700 60689 1111 63 0 61637 0 vsize: 246800 [startup+1130.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 1383637 0 0 0 109588 3428 0 0 25 0 1 0 843574353 255832064 61451 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 62459 61451 1111 63 0 62396 0 vsize: 249836 [startup+1140.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 1384572 0 0 0 110585 3431 0 0 25 0 1 0 843574353 259776512 62381 4294967295 134512640 134716908 3221224576 3221223456 134577094 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 63422 62381 1111 63 0 63359 0 vsize: 253688 [startup+1150.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 1385260 0 0 0 111583 3433 0 0 25 0 1 0 843574353 262479872 63069 4294967295 134512640 134716908 3221224576 3221223352 134613558 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 64082 63069 1111 63 0 64019 0 vsize: 256328 [startup+1160.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 1386058 0 0 0 112581 3436 0 0 25 0 1 0 843574353 265859072 63867 4294967295 134512640 134716908 3221224576 3221223256 134552633 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 64907 63867 1111 63 0 64844 0 vsize: 259628 [startup+1170.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 1386966 0 0 0 113578 3438 0 0 25 0 1 0 843574353 269508608 64775 4294967295 134512640 134716908 3221224576 3221223404 134558476 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 65798 64775 1111 63 0 65735 0 vsize: 263192 [startup+1174.97 s] Raw data (loadavg): 0.99 0.97 0.91 1/54 20991 Raw data (stat): 20991 (bsolo_lpr-v2) R 20990 8378 8377 0 -1 0 1386966 0 0 0 113578 3438 0 0 25 0 1 0 843574353 269508608 64775 4294967295 134512640 134716908 3221224576 3221223404 134558476 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 65798 64775 1111 63 0 65735 0 vsize: 0 Child status: 0 Real time (s): 1174.97 CPU time (s): 1175.13 CPU user time (s): 1140.61 CPU system time (s): 34.5217 CPU usage (%): 100.013 Max. virtual memory (Kb): 263192 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####