Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-gen.opb |
MD5SUM | 56b5875081183b5ab8f7e29cbac05646 |
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.112982 |
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 wulflinc5 THE 2005-06-09 12:45:50 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=29514 boxname=wulflinc5 idbench=1298 idsolver=21 numberseed=0 MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2 MD5SUM BENCH: 56b5875081183b5ab8f7e29cbac05646 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-gen.opb REAL COMMAND: bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-gen.opb IDLAUNCH: 29514 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.007 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.007 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: 507096 kB Buffers: 25564 kB Cached: 480508 kB SwapCached: 664 kB Active: 31484 kB Inactive: 476544 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 506844 kB SwapTotal: 2097136 kB SwapFree: 2095460 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5072 kB Slab: 13888 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-09 13:05:25 (client local time) WITH STATUS 0 IN 1175.05 SECONDS stats: 29514 7 1175.05 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 610.046 s c Initial Lower Bound: -3677 c Lower Bound Elapsed time: 1.689 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.91 0.95 0.90 1/54 2266 Raw data (stat): 2266 (runsolver) R 2265 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 910380913 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10 s] Raw data (loadavg): 0.93 0.95 0.90 2/54 2266 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 3686 0 0 0 991 6 0 0 25 0 1 0 910380913 28024832 3606 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6842 3606 1111 63 0 6779 0 vsize: 27368 [startup+20.0009 s] Raw data (loadavg): 0.94 0.96 0.91 2/54 2266 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 11683 0 0 0 1975 22 0 0 25 0 1 0 910380913 60784640 11603 4294967295 134512640 134716908 3221224560 3221222552 1077360259 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14840 11603 1111 63 0 14777 0 vsize: 59360 [startup+30.0016 s] Raw data (loadavg): 0.95 0.96 0.91 2/54 2266 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 18136 0 0 0 2960 36 0 0 25 0 1 0 910380913 76099584 17671 4294967295 134512640 134716908 3221224560 3221223200 134606490 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.0013 s] Raw data (loadavg): 0.95 0.96 0.91 2/54 2266 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 18136 0 0 0 3961 36 0 0 25 0 1 0 910380913 76099584 17671 4294967295 134512640 134716908 3221224560 3221223200 134606495 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18579 17671 1111 63 0 18516 0 vsize: 74316 [startup+50.002 s] Raw data (loadavg): 0.96 0.96 0.91 2/54 2266 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 18136 0 0 0 4961 36 0 0 25 0 1 0 910380913 76099584 17671 4294967295 134512640 134716908 3221224560 3221223200 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+60.0021 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 2266 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 18136 0 0 0 5961 36 0 0 25 0 1 0 910380913 76099584 17671 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18579 17671 1111 63 0 18516 0 vsize: 74316 [startup+70.0025 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 2266 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 18136 0 0 0 6961 36 0 0 25 0 1 0 910380913 76099584 17671 4294967295 134512640 134716908 3221224560 3221223200 134606495 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18579 17671 1111 63 0 18516 0 vsize: 74316 [startup+80.0033 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 2266 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 18136 0 0 0 7961 36 0 0 25 0 1 0 910380913 76099584 17671 4294967295 134512640 134716908 3221224560 3221223200 134606495 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18579 17671 1111 63 0 18516 0 vsize: 74316 [startup+90.003 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 2266 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 18136 0 0 0 8962 36 0 0 25 0 1 0 910380913 76099584 17671 4294967295 134512640 134716908 3221224560 3221223200 134606484 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18579 17671 1111 63 0 18516 0 vsize: 74316 [startup+100.003 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 2266 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 18136 0 0 0 9962 36 0 0 25 0 1 0 910380913 76099584 17671 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18579 17671 1111 63 0 18516 0 vsize: 74316 [startup+110.002 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 2266 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 18136 0 0 0 10962 36 0 0 25 0 1 0 910380913 76099584 17671 4294967295 134512640 134716908 3221224560 3221223200 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+120.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2266 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 18136 0 0 0 11962 37 0 0 25 0 1 0 910380913 76099584 17671 4294967295 134512640 134716908 3221224560 3221223200 134606495 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18579 17671 1111 63 0 18516 0 vsize: 74316 [startup+130.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2266 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 18136 0 0 0 12962 37 0 0 25 0 1 0 910380913 76099584 17671 4294967295 134512640 134716908 3221224560 3221223200 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+140.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2266 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 18136 0 0 0 13962 37 0 0 25 0 1 0 910380913 76099584 17671 4294967295 134512640 134716908 3221224560 3221223200 134606484 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18579 17671 1111 63 0 18516 0 vsize: 74316 [startup+150.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2266 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 18136 0 0 0 14962 37 0 0 25 0 1 0 910380913 76099584 17671 4294967295 134512640 134716908 3221224560 3221223200 134606514 0 0 7 0 0 0 0 17 1 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/54 2266 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 18136 0 0 0 15962 37 0 0 25 0 1 0 910380913 76099584 17671 4294967295 134512640 134716908 3221224560 3221223200 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+170.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2266 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 18136 0 0 0 16962 37 0 0 25 0 1 0 910380913 76099584 17671 4294967295 134512640 134716908 3221224560 3221223200 134606472 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18579 17671 1111 63 0 18516 0 vsize: 74316 [startup+180.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2266 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 18136 0 0 0 17962 37 0 0 25 0 1 0 910380913 76099584 17671 4294967295 134512640 134716908 3221224560 3221223200 134606495 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18579 17671 1111 63 0 18516 0 vsize: 74316 [startup+190.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2266 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 18136 0 0 0 18962 37 0 0 25 0 1 0 910380913 76099584 17671 4294967295 134512640 134716908 3221224560 3221223200 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+200.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2266 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 18136 0 0 0 19962 37 0 0 25 0 1 0 910380913 76099584 17671 4294967295 134512640 134716908 3221224560 3221223200 134606484 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18579 17671 1111 63 0 18516 0 vsize: 74316 [startup+210.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2266 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 18136 0 0 0 20963 37 0 0 25 0 1 0 910380913 76099584 17671 4294967295 134512640 134716908 3221224560 3221223200 134606484 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18579 17671 1111 63 0 18516 0 vsize: 74316 [startup+220.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2266 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 18136 0 0 0 21963 37 0 0 25 0 1 0 910380913 76099584 17671 4294967295 134512640 134716908 3221224560 3221223200 134606484 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18579 17671 1111 63 0 18516 0 vsize: 74316 [startup+230.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2266 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 18136 0 0 0 22963 37 0 0 25 0 1 0 910380913 76099584 17671 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18579 17671 1111 63 0 18516 0 vsize: 74316 [startup+240.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2266 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 18136 0 0 0 23963 37 0 0 25 0 1 0 910380913 76099584 17671 4294967295 134512640 134716908 3221224560 3221223200 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+250.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2266 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 18136 0 0 0 24963 37 0 0 25 0 1 0 910380913 76099584 17671 4294967295 134512640 134716908 3221224560 3221223200 134606495 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18579 17671 1111 63 0 18516 0 vsize: 74316 [startup+260.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2266 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 18136 0 0 0 25963 38 0 0 25 0 1 0 910380913 76099584 17671 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18579 17671 1111 63 0 18516 0 vsize: 74316 [startup+270.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2266 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 18136 0 0 0 26964 38 0 0 25 0 1 0 910380913 76099584 17671 4294967295 134512640 134716908 3221224560 3221223200 134606495 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18579 17671 1111 63 0 18516 0 vsize: 74316 [startup+280.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2266 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 18136 0 0 0 27964 38 0 0 25 0 1 0 910380913 76099584 17671 4294967295 134512640 134716908 3221224560 3221223200 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+290.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2266 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 18136 0 0 0 28964 38 0 0 25 0 1 0 910380913 76099584 17671 4294967295 134512640 134716908 3221224560 3221223200 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+300.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2266 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 18136 0 0 0 29964 38 0 0 25 0 1 0 910380913 76099584 17671 4294967295 134512640 134716908 3221224560 3221223200 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+310.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2266 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 18136 0 0 0 30964 38 0 0 25 0 1 0 910380913 76099584 17671 4294967295 134512640 134716908 3221224560 3221223200 134606514 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18579 17671 1111 63 0 18516 0 vsize: 74316 [startup+320.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2266 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 18136 0 0 0 31964 38 0 0 25 0 1 0 910380913 76099584 17671 4294967295 134512640 134716908 3221224560 3221223312 134630811 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18579 17671 1111 63 0 18516 0 vsize: 74316 [startup+330.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2266 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 18136 0 0 0 32965 38 0 0 25 0 1 0 910380913 76099584 17671 4294967295 134512640 134716908 3221224560 3221223200 134606514 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18579 17671 1111 63 0 18516 0 vsize: 74316 [startup+340.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2266 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 18136 0 0 0 33965 38 0 0 25 0 1 0 910380913 76099584 17671 4294967295 134512640 134716908 3221224560 3221223200 134606484 0 0 7 0 0 0 0 17 1 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/54 2266 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 18136 0 0 0 34965 38 0 0 25 0 1 0 910380913 76099584 17671 4294967295 134512640 134716908 3221224560 3221223200 134606495 0 0 7 0 0 0 0 17 1 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/54 2266 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 18136 0 0 0 35965 38 0 0 25 0 1 0 910380913 76099584 17671 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18579 17671 1111 63 0 18516 0 vsize: 74316 [startup+370.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2266 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 18136 0 0 0 36965 38 0 0 25 0 1 0 910380913 76099584 17671 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18579 17671 1111 63 0 18516 0 vsize: 74316 [startup+380.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2266 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 18136 0 0 0 37965 38 0 0 25 0 1 0 910380913 76099584 17671 4294967295 134512640 134716908 3221224560 3221223200 134606472 0 0 7 0 0 0 0 17 1 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/54 2266 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 24491 0 0 0 38951 53 0 0 25 0 1 0 910380913 76099584 17671 4294967295 134512640 134716908 3221224560 3221223072 134528605 0 0 7 0 0 0 0 17 1 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/54 2266 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 98994 0 0 0 39771 233 0 0 25 0 1 0 910380913 76099584 17671 4294967295 134512640 134716908 3221224560 3221223200 134606484 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18579 17671 1111 63 0 18516 0 vsize: 74316 [startup+410.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2266 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 180923 0 0 0 40571 433 0 0 25 0 1 0 910380913 77021184 17868 4294967295 134512640 134716908 3221224560 3221223200 134606495 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18804 17875 1111 63 0 18741 0 vsize: 75216 [startup+420.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2266 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 262880 0 0 0 41367 637 0 0 25 0 1 0 910380913 76713984 17799 4294967295 134512640 134716908 3221224560 3221223200 134606495 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18729 17805 1111 63 0 18666 0 vsize: 74916 [startup+430.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2266 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 344778 0 0 0 42165 839 0 0 25 0 1 0 910380913 76099584 17671 4294967295 134512640 134716908 3221224560 3221223200 134606484 0 0 7 0 0 0 0 17 1 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/54 2266 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 426804 0 0 0 42964 1040 0 0 25 0 1 0 910380913 76099584 17671 4294967295 134512640 134716908 3221224560 3221223200 134606484 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18579 17671 1111 63 0 18516 0 vsize: 74316 [startup+450.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2266 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 508830 0 0 0 43763 1242 0 0 25 0 1 0 910380913 76099584 17671 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18579 17671 1111 63 0 18516 0 vsize: 74316 [startup+460.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2266 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 590856 0 0 0 44562 1443 0 0 25 0 1 0 910380913 76099584 17671 4294967295 134512640 134716908 3221224560 3221222996 1077782939 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18579 17671 1111 63 0 18516 0 vsize: 74316 [startup+470.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2266 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 672846 0 0 0 45362 1643 0 0 25 0 1 0 910380913 77332480 17929 4294967295 134512640 134716908 3221224560 3221222984 1077378037 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18880 17936 1111 63 0 18817 0 vsize: 75520 [startup+480.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2266 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 754696 0 0 0 46159 1846 0 0 25 0 1 0 910380913 76558336 17753 4294967295 134512640 134716908 3221224560 3221223200 134606484 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18691 17760 1111 63 0 18628 0 vsize: 74764 [startup+490.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2266 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 836640 0 0 0 46956 2049 0 0 25 0 1 0 910380913 76099584 17671 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18579 17671 1111 63 0 18516 0 vsize: 74316 [startup+500.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2266 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 918666 0 0 0 47759 2247 0 0 25 0 1 0 910380913 76099584 17671 4294967295 134512640 134716908 3221224560 3221223200 134606484 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18579 17671 1111 63 0 18516 0 vsize: 74316 [startup+510.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2266 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 1000657 0 0 0 48554 2452 0 0 25 0 1 0 910380913 77332480 17930 4294967295 134512640 134716908 3221224560 3221222984 1077378037 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18880 17936 1111 63 0 18817 0 vsize: 75520 [startup+520.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2266 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 1082433 0 0 0 49350 2655 0 0 25 0 1 0 910380913 76251136 17680 4294967295 134512640 134716908 3221224560 3221223200 134606504 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18616 17686 1111 63 0 18553 0 vsize: 74464 [startup+530.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2266 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 1164450 0 0 0 50153 2853 0 0 25 0 1 0 910380913 76099584 17671 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18579 17671 1111 63 0 18516 0 vsize: 74316 [startup+540.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2266 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 1246476 0 0 0 50945 3061 0 0 25 0 1 0 910380913 76099584 17671 4294967295 134512640 134716908 3221224560 3221223200 134606484 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18579 17671 1111 63 0 18516 0 vsize: 74316 [startup+550.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2266 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 1328479 0 0 0 51745 3261 0 0 25 0 1 0 910380913 77332480 17942 4294967295 134512640 134716908 3221224560 3221223200 134606495 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18880 17948 1111 63 0 18817 0 vsize: 75520 [startup+560.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2266 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 1336146 0 0 0 52726 3281 0 0 25 0 1 0 910380913 76099584 17671 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18579 17671 1111 63 0 18516 0 vsize: 74316 [startup+570.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2266 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 1336146 0 0 0 53726 3281 0 0 25 0 1 0 910380913 76099584 17671 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18579 17671 1111 63 0 18516 0 vsize: 74316 [startup+580.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2266 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 1336146 0 0 0 54726 3281 0 0 25 0 1 0 910380913 76099584 17671 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18579 17671 1111 63 0 18516 0 vsize: 74316 [startup+590.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2266 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 1336146 0 0 0 55726 3281 0 0 25 0 1 0 910380913 76099584 17671 4294967295 134512640 134716908 3221224560 3221223232 134627266 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18579 17671 1111 63 0 18516 0 vsize: 74316 [startup+600.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2266 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 1336146 0 0 0 56726 3281 0 0 25 0 1 0 910380913 76099584 17671 4294967295 134512640 134716908 3221224560 3221223208 134558492 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18579 17671 1111 63 0 18516 0 vsize: 74316 [startup+610.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2266 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 1336168 0 0 0 57726 3281 0 0 25 0 1 0 910380913 76099584 17693 4294967295 134512640 134716908 3221224560 3221222776 1074138162 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18579 17693 1111 63 0 18516 0 vsize: 74316 [startup+620.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2266 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 1342607 0 0 0 58711 3296 0 0 25 0 1 0 910380913 83951616 19738 4294967295 134512640 134716908 3221224560 3221223440 134577072 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20496 19738 1111 63 0 20433 0 vsize: 81984 [startup+630.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2266 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 1342607 0 0 0 59711 3296 0 0 25 0 1 0 910380913 83951616 19738 4294967295 134512640 134716908 3221224560 3221223388 134558476 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20496 19738 1111 63 0 20433 0 vsize: 81984 [startup+640.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2266 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 1342609 0 0 0 60711 3296 0 0 25 0 1 0 910380913 83951616 19740 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20496 19740 1111 63 0 20433 0 vsize: 81984 [startup+650.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2266 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 1342609 0 0 0 61711 3296 0 0 25 0 1 0 910380913 83951616 19740 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20496 19740 1111 63 0 20433 0 vsize: 81984 [startup+660.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2266 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 1342609 0 0 0 62711 3296 0 0 25 0 1 0 910380913 83951616 19740 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20496 19740 1111 63 0 20433 0 vsize: 81984 [startup+670.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2266 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 1342609 0 0 0 63711 3297 0 0 25 0 1 0 910380913 83951616 19740 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20496 19740 1111 63 0 20433 0 vsize: 81984 [startup+680.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2266 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 1342609 0 0 0 64712 3297 0 0 25 0 1 0 910380913 83951616 19740 4294967295 134512640 134716908 3221224560 3221223384 134558492 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20496 19740 1111 63 0 20433 0 vsize: 81984 [startup+690.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2266 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 1342609 0 0 0 65712 3297 0 0 25 0 1 0 910380913 83951616 19740 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20496 19740 1111 63 0 20433 0 vsize: 81984 [startup+700.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2266 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 1342609 0 0 0 66711 3297 0 0 25 0 1 0 910380913 83951616 19740 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20496 19740 1111 63 0 20433 0 vsize: 81984 [startup+710.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2266 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 1342609 0 0 0 67711 3297 0 0 25 0 1 0 910380913 83951616 19740 4294967295 134512640 134716908 3221224560 3221223360 134597728 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20496 19740 1111 63 0 20433 0 vsize: 81984 [startup+720.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2266 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 1342609 0 0 0 68711 3298 0 0 25 0 1 0 910380913 83951616 19740 4294967295 134512640 134716908 3221224560 3221223440 134577101 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20496 19740 1111 63 0 20433 0 vsize: 81984 [startup+730.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2266 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 1342609 0 0 0 69711 3298 0 0 25 0 1 0 910380913 83951616 19740 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20496 19740 1111 63 0 20433 0 vsize: 81984 [startup+740.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2266 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 1342609 0 0 0 70711 3298 0 0 25 0 1 0 910380913 83951616 19740 4294967295 134512640 134716908 3221224560 3221223440 134577101 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20496 19740 1111 63 0 20433 0 vsize: 81984 [startup+750.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2266 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 1342609 0 0 0 71711 3298 0 0 25 0 1 0 910380913 83951616 19740 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20496 19740 1111 63 0 20433 0 vsize: 81984 [startup+760.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2266 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 1342609 0 0 0 72711 3299 0 0 25 0 1 0 910380913 83951616 19740 4294967295 134512640 134716908 3221224560 3221223440 134577041 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20496 19740 1111 63 0 20433 0 vsize: 81984 [startup+770.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2266 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 1342609 0 0 0 73711 3299 0 0 25 0 1 0 910380913 83951616 19740 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20496 19740 1111 63 0 20433 0 vsize: 81984 [startup+780.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2266 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 1342609 0 0 0 74711 3299 0 0 25 0 1 0 910380913 83951616 19740 4294967295 134512640 134716908 3221224560 3221223440 134577094 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20496 19740 1111 63 0 20433 0 vsize: 81984 [startup+790.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2266 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 1342609 0 0 0 75711 3299 0 0 25 0 1 0 910380913 83951616 19740 4294967295 134512640 134716908 3221224560 3221223440 134577101 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20496 19740 1111 63 0 20433 0 vsize: 81984 [startup+800.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2266 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 1342609 0 0 0 76710 3300 0 0 25 0 1 0 910380913 83951616 19740 4294967295 134512640 134716908 3221224560 3221223440 134577072 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20496 19740 1111 63 0 20433 0 vsize: 81984 [startup+810.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2266 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 1342609 0 0 0 77710 3300 0 0 25 0 1 0 910380913 83951616 19740 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20496 19740 1111 63 0 20433 0 vsize: 81984 [startup+820.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2266 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 1342609 0 0 0 78711 3300 0 0 25 0 1 0 910380913 83951616 19740 4294967295 134512640 134716908 3221224560 3221223232 134535762 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20496 19740 1111 63 0 20433 0 vsize: 81984 [startup+830.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2266 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 1342609 0 0 0 79711 3300 0 0 25 0 1 0 910380913 83951616 19740 4294967295 134512640 134716908 3221224560 3221223420 134600220 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20496 19740 1111 63 0 20433 0 vsize: 81984 [startup+840.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2266 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 1342609 0 0 0 80710 3301 0 0 25 0 1 0 910380913 83951616 19740 4294967295 134512640 134716908 3221224560 3221223440 134577101 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20496 19740 1111 63 0 20433 0 vsize: 81984 [startup+850.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2266 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 1342609 0 0 0 81710 3301 0 0 25 0 1 0 910380913 83951616 19740 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20496 19740 1111 63 0 20433 0 vsize: 81984 [startup+860.01 s] Raw data (loadavg): 1.07 0.99 0.91 2/54 2319 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 1342609 0 0 0 82710 3301 0 0 25 0 1 0 910380913 83951616 19740 4294967295 134512640 134716908 3221224560 3221223336 134613555 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20496 19740 1111 63 0 20433 0 vsize: 81984 [startup+870.011 s] Raw data (loadavg): 1.06 0.99 0.91 2/54 2319 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 1342609 0 0 0 83710 3302 0 0 25 0 1 0 910380913 83951616 19740 4294967295 134512640 134716908 3221224560 3221223440 134577101 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20496 19740 1111 63 0 20433 0 vsize: 81984 [startup+880.011 s] Raw data (loadavg): 1.05 0.99 0.91 2/54 2319 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 1342609 0 0 0 84710 3302 0 0 25 0 1 0 910380913 83951616 19740 4294967295 134512640 134716908 3221224560 3221223440 134577116 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20496 19740 1111 63 0 20433 0 vsize: 81984 [startup+890.012 s] Raw data (loadavg): 1.04 0.99 0.91 2/54 2319 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 1342609 0 0 0 85709 3303 0 0 25 0 1 0 910380913 83951616 19740 4294967295 134512640 134716908 3221224560 3221223360 134597735 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20496 19740 1111 63 0 20433 0 vsize: 81984 [startup+900.012 s] Raw data (loadavg): 1.04 0.99 0.91 2/54 2319 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 1342609 0 0 0 86709 3303 0 0 25 0 1 0 910380913 83951616 19740 4294967295 134512640 134716908 3221224560 3221223320 134613533 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20496 19740 1111 63 0 20433 0 vsize: 81984 [startup+910.012 s] Raw data (loadavg): 1.03 0.99 0.91 2/54 2319 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 1342609 0 0 0 87709 3303 0 0 25 0 1 0 910380913 83951616 19740 4294967295 134512640 134716908 3221224560 3221223340 134613516 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20496 19740 1111 63 0 20433 0 vsize: 81984 [startup+920.012 s] Raw data (loadavg): 1.03 0.99 0.91 2/54 2319 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 1342609 0 0 0 88709 3304 0 0 25 0 1 0 910380913 83951616 19740 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20496 19740 1111 63 0 20433 0 vsize: 81984 [startup+930.012 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 2321 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 1342609 0 0 0 89709 3304 0 0 25 0 1 0 910380913 83951616 19740 4294967295 134512640 134716908 3221224560 3221223440 134577116 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20496 19740 1111 63 0 20433 0 vsize: 81984 [startup+940.012 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 2321 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 1342609 0 0 0 90708 3305 0 0 25 0 1 0 910380913 83951616 19740 4294967295 134512640 134716908 3221224560 3221223384 134558492 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20496 19740 1111 63 0 20433 0 vsize: 81984 [startup+950.012 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 2321 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 1342609 0 0 0 91708 3305 0 0 25 0 1 0 910380913 83951616 19740 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20496 19740 1111 63 0 20433 0 vsize: 81984 [startup+960.012 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 2321 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 1342609 0 0 0 92708 3306 0 0 25 0 1 0 910380913 83951616 19740 4294967295 134512640 134716908 3221224560 3221223440 134577116 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20496 19740 1111 63 0 20433 0 vsize: 81984 [startup+970.013 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 2321 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 1342609 0 0 0 93707 3307 0 0 25 0 1 0 910380913 83951616 19740 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20496 19740 1111 63 0 20433 0 vsize: 81984 [startup+980.013 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 2321 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 1342609 0 0 0 94706 3307 0 0 25 0 1 0 910380913 83951616 19740 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20496 19740 1111 63 0 20433 0 vsize: 81984 [startup+990.014 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 2321 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 1342611 0 0 0 95706 3308 0 0 25 0 1 0 910380913 83951616 19742 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20496 19742 1111 63 0 20433 0 vsize: 81984 [startup+1000.01 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2321 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 1342611 0 0 0 96706 3309 0 0 25 0 1 0 910380913 83951616 19742 4294967295 134512640 134716908 3221224560 3221223324 134613559 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20496 19742 1111 63 0 20433 0 vsize: 81984 [startup+1010.01 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2321 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 1342611 0 0 0 97705 3309 0 0 25 0 1 0 910380913 83951616 19742 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20496 19742 1111 63 0 20433 0 vsize: 81984 [startup+1020.01 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2321 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 1342611 0 0 0 98705 3309 0 0 25 0 1 0 910380913 83951616 19742 4294967295 134512640 134716908 3221224560 3221223384 134558492 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20496 19742 1111 63 0 20433 0 vsize: 81984 [startup+1030.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2321 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 1342611 0 0 0 99705 3310 0 0 25 0 1 0 910380913 83951616 19742 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20496 19742 1111 63 0 20433 0 vsize: 81984 [startup+1040.01 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2321 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 1342611 0 0 0 100705 3310 0 0 25 0 1 0 910380913 83951616 19742 4294967295 134512640 134716908 3221224560 3221223440 134577094 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20496 19742 1111 63 0 20433 0 vsize: 81984 [startup+1050.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2321 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 1342611 0 0 0 101705 3310 0 0 25 0 1 0 910380913 83951616 19742 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20496 19742 1111 63 0 20433 0 vsize: 81984 [startup+1060.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2321 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 1342611 0 0 0 102704 3311 0 0 25 0 1 0 910380913 83951616 19742 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20496 19742 1111 63 0 20433 0 vsize: 81984 [startup+1070.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2321 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 1342611 0 0 0 103704 3312 0 0 25 0 1 0 910380913 83951616 19742 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20496 19742 1111 63 0 20433 0 vsize: 81984 [startup+1080.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2321 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 1342615 0 0 0 104703 3313 0 0 25 0 1 0 910380913 83951616 19746 4294967295 134512640 134716908 3221224560 3221223360 134597769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20496 19746 1111 63 0 20433 0 vsize: 81984 [startup+1090.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2321 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 1342617 0 0 0 105702 3314 0 0 25 0 1 0 910380913 83951616 19748 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20496 19748 1111 63 0 20433 0 vsize: 81984 [startup+1100.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2321 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 1342617 0 0 0 106701 3316 0 0 25 0 1 0 910380913 83951616 19748 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20496 19748 1111 63 0 20433 0 vsize: 81984 [startup+1110.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2321 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 1342617 0 0 0 107699 3317 0 0 25 0 1 0 910380913 83951616 19748 4294967295 134512640 134716908 3221224560 3221223440 134577072 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20496 19748 1111 63 0 20433 0 vsize: 81984 [startup+1120.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2321 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 1342633 0 0 0 108699 3317 0 0 25 0 1 0 910380913 84086784 19764 4294967295 134512640 134716908 3221224560 3221223360 134597700 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20529 19764 1111 63 0 20466 0 vsize: 82116 [startup+1130.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2321 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 1342674 0 0 0 109699 3318 0 0 25 0 1 0 910380913 84221952 19805 4294967295 134512640 134716908 3221224560 3221223340 134613516 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20562 19805 1111 63 0 20499 0 vsize: 82248 [startup+1140.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2321 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 1342729 0 0 0 110698 3319 0 0 25 0 1 0 910380913 84492288 19860 4294967295 134512640 134716908 3221224560 3221223320 134613555 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20628 19860 1111 63 0 20565 0 vsize: 82512 [startup+1150.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2321 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 1342753 0 0 0 111697 3321 0 0 25 0 1 0 910380913 84627456 19884 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20661 19884 1111 63 0 20598 0 vsize: 82644 [startup+1160.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2321 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 1342801 0 0 0 112696 3322 0 0 25 0 1 0 910380913 84762624 19932 4294967295 134512640 134716908 3221224560 3221223440 134577101 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20694 19932 1111 63 0 20631 0 vsize: 82776 [startup+1170.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2321 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 1342815 0 0 0 113695 3323 0 0 25 0 1 0 910380913 84762624 19946 4294967295 134512640 134716908 3221224560 3221223440 134577041 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20694 19946 1111 63 0 20631 0 vsize: 82776 [startup+1174.88 s] Raw data (loadavg): 1.00 0.99 0.91 1/53 2321 Raw data (stat): 2266 (bsolo_lpr_cuts-) R 2265 7266 7265 0 -1 0 1342815 0 0 0 113695 3323 0 0 25 0 1 0 910380913 84762624 19946 4294967295 134512640 134716908 3221224560 3221223440 134577041 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20694 19946 1111 63 0 20631 0 vsize: 0 Child status: 0 Real time (s): 1174.88 CPU time (s): 1175.05 CPU user time (s): 1141.77 CPU system time (s): 33.2769 CPU usage (%): 100.014 Max. virtual memory (Kb): 82776 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####