Name | normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-usAbbrv.8.25_70.opb |
MD5SUM | 0b6e5fd99af8bfe5c5be00124c8da261 |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 20736 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 125 |
Biggest coefficient in the objective function | 524288 |
Number of bits for the biggest coefficient in the objective function | 20 |
Sum of the numbers in the objective function | 1062015 |
Number of bits of the sum of numbers in the objective function | 21 |
Biggest number in a constraint | 128000000 |
Number of bits of the biggest number in a constraint | 27 |
Biggest sum of numbers in a constraint | 268444670 |
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 | 1201.16 |
Number of variables | 18711 |
Total number of constraints | 5602 |
Number of constraints which are clauses | 563 |
Number of constraints which are cardinality constraints (but not clauses) | 1681 |
Number of constraints which are nor clauses,nor cardinality constraints | 3358 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 55 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc5 THE 2005-06-09 20:43:00 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=29780 boxname=wulflinc5 idbench=1564 idsolver=21 numberseed=0 MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2 MD5SUM BENCH: 0b6e5fd99af8bfe5c5be00124c8da261 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-usAbbrv.8.25_70.opb REAL COMMAND: bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-usAbbrv.8.25_70.opb IDLAUNCH: 29780 /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: 868532 kB Buffers: 12316 kB Cached: 132312 kB SwapCached: 620 kB Active: 28480 kB Inactive: 118136 kB HighTotal: 131008 kB HighFree: 1848 kB LowTotal: 903652 kB LowFree: 866684 kB SwapTotal: 2097136 kB SwapFree: 2095508 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5076 kB Slab: 13796 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-09 21:02:36 (client local time) WITH STATUS 0 IN 1175.14 SECONDS stats: 29780 7 1175.14 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 18711 variables and 3922 constraints. c After prepocess the problem consists of 18646 variables and 3920 constraints. c preprocess terminated 33.576 s c Initial Lower Bound: 12160 c Lower Bound Elapsed time: 16.473 c Not use computed LB before first solution. s UNKNOWN c Exit Code: 0 c Total time: 1175.04 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.72 0.91 0.89 1/54 6622 Raw data (stat): 6622 (runsolver) R 6621 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 913244365 884736 94 4294967295 134512640 135332820 3221224448 3221219628 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.0001 s] Raw data (loadavg): 0.76 0.91 0.89 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 42346 0 0 0 899 98 0 0 25 0 1 0 913244365 177287168 42241 4294967295 134512640 134716908 3221224560 3221223088 134554846 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 43283 42241 1111 63 0 43220 0 vsize: 173132 [startup+20.0007 s] Raw data (loadavg): 0.80 0.91 0.89 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 47495 0 0 0 1887 110 0 0 25 0 1 0 913244365 198103040 47390 4294967295 134512640 134716908 3221224560 3221223232 134627266 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 48365 47390 1111 63 0 48302 0 vsize: 193460 [startup+30.0004 s] Raw data (loadavg): 0.83 0.91 0.89 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 47495 0 0 0 2887 111 0 0 25 0 1 0 913244365 198103040 47390 4294967295 134512640 134716908 3221224560 3221223224 134627211 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 48365 47390 1111 63 0 48302 0 vsize: 193460 [startup+40.0013 s] Raw data (loadavg): 0.86 0.92 0.89 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 47656 0 0 0 3886 112 0 0 25 0 1 0 913244365 198811648 47551 4294967295 134512640 134716908 3221224560 3221222240 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 48538 47551 1111 63 0 48475 0 vsize: 194152 [startup+50.0026 s] Raw data (loadavg): 0.88 0.92 0.89 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 47896 0 0 0 4884 114 0 0 25 0 1 0 913244365 199794688 47791 4294967295 134512640 134716908 3221224560 3221222224 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 48778 47791 1111 63 0 48715 0 vsize: 195112 [startup+60.0018 s] Raw data (loadavg): 0.90 0.92 0.90 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 48021 0 0 0 5883 115 0 0 25 0 1 0 913244365 200306688 47916 4294967295 134512640 134716908 3221224560 3221222240 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 48903 47916 1111 63 0 48840 0 vsize: 195612 [startup+70.0024 s] Raw data (loadavg): 0.91 0.92 0.90 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 55987 0 0 0 6868 130 0 0 25 0 1 0 913244365 205967360 49121 4294967295 134512640 134716908 3221224560 3221220684 1075116508 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 50285 49121 1111 63 0 50222 0 vsize: 201140 [startup+80.0023 s] Raw data (loadavg): 0.92 0.92 0.90 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 63390 0 0 0 7852 146 0 0 25 0 1 0 913244365 200380416 48060 4294967295 134512640 134716908 3221224560 3221222784 1074039443 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 48921 48060 1111 63 0 48858 0 vsize: 195684 [startup+90.003 s] Raw data (loadavg): 0.94 0.93 0.90 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 63390 0 0 0 8851 148 0 0 25 0 1 0 913244365 200380416 48060 4294967295 134512640 134716908 3221224560 3221222616 1074950114 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 48921 48060 1111 63 0 48858 0 vsize: 195684 [startup+100.003 s] Raw data (loadavg): 0.94 0.93 0.90 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 68442 0 0 0 9840 159 0 0 25 0 1 0 913244365 200392704 48063 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 48924 48063 1111 63 0 48861 0 vsize: 195696 [startup+110.003 s] Raw data (loadavg): 0.95 0.93 0.90 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 68443 0 0 0 10839 159 0 0 25 0 1 0 913244365 200392704 48064 4294967295 134512640 134716908 3221224560 3221223360 134597769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 48924 48064 1111 63 0 48861 0 vsize: 195696 [startup+120.003 s] Raw data (loadavg): 0.96 0.93 0.90 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 68443 0 0 0 11839 160 0 0 25 0 1 0 913244365 200392704 48064 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 48924 48064 1111 63 0 48861 0 vsize: 195696 [startup+130.003 s] Raw data (loadavg): 0.97 0.93 0.90 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 68443 0 0 0 12839 160 0 0 25 0 1 0 913244365 200392704 48064 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 48924 48064 1111 63 0 48861 0 vsize: 195696 [startup+140.004 s] Raw data (loadavg): 0.97 0.94 0.90 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 68443 0 0 0 13838 161 0 0 25 0 1 0 913244365 200392704 48064 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 48924 48064 1111 63 0 48861 0 vsize: 195696 [startup+150.004 s] Raw data (loadavg): 0.97 0.94 0.90 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 68443 0 0 0 14838 161 0 0 25 0 1 0 913244365 200392704 48064 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 48924 48064 1111 63 0 48861 0 vsize: 195696 [startup+160.004 s] Raw data (loadavg): 0.98 0.94 0.91 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 68443 0 0 0 15838 161 0 0 25 0 1 0 913244365 200392704 48064 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 48924 48064 1111 63 0 48861 0 vsize: 195696 [startup+170.004 s] Raw data (loadavg): 0.98 0.94 0.91 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 68443 0 0 0 16838 161 0 0 25 0 1 0 913244365 200392704 48064 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 48924 48064 1111 63 0 48861 0 vsize: 195696 [startup+180.004 s] Raw data (loadavg): 0.98 0.94 0.91 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 68443 0 0 0 17837 162 0 0 25 0 1 0 913244365 200392704 48064 4294967295 134512640 134716908 3221224560 3221223288 134543785 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 48924 48064 1111 63 0 48861 0 vsize: 195696 [startup+190.004 s] Raw data (loadavg): 0.99 0.94 0.91 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 68443 0 0 0 18837 163 0 0 25 0 1 0 913244365 200392704 48064 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 48924 48064 1111 63 0 48861 0 vsize: 195696 [startup+200.004 s] Raw data (loadavg): 0.99 0.94 0.91 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 68445 0 0 0 19837 163 0 0 25 0 1 0 913244365 200392704 48066 4294967295 134512640 134716908 3221224560 3221223344 134597614 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 48924 48066 1111 63 0 48861 0 vsize: 195696 [startup+210.004 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 68445 0 0 0 20837 163 0 0 25 0 1 0 913244365 200392704 48066 4294967295 134512640 134716908 3221224560 3221223340 134600348 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 48924 48066 1111 63 0 48861 0 vsize: 195696 [startup+220.005 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 68447 0 0 0 21837 163 0 0 25 0 1 0 913244365 200392704 48068 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 48924 48068 1111 63 0 48861 0 vsize: 195696 [startup+230.005 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 68447 0 0 0 22837 164 0 0 25 0 1 0 913244365 200392704 48068 4294967295 134512640 134716908 3221224560 3221223360 134597705 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 48924 48068 1111 63 0 48861 0 vsize: 195696 [startup+240.005 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 68447 0 0 0 23837 164 0 0 25 0 1 0 913244365 200392704 48068 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 48924 48068 1111 63 0 48861 0 vsize: 195696 [startup+250.005 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 68447 0 0 0 24837 164 0 0 25 0 1 0 913244365 200392704 48068 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 48924 48068 1111 63 0 48861 0 vsize: 195696 [startup+260.005 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 68447 0 0 0 25837 164 0 0 25 0 1 0 913244365 200392704 48068 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 48924 48068 1111 63 0 48861 0 vsize: 195696 [startup+270.005 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 68447 0 0 0 26837 164 0 0 25 0 1 0 913244365 200392704 48068 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 48924 48068 1111 63 0 48861 0 vsize: 195696 [startup+280.004 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 68447 0 0 0 27836 165 0 0 25 0 1 0 913244365 200392704 48068 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 48924 48068 1111 63 0 48861 0 vsize: 195696 [startup+290.005 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 68447 0 0 0 28836 165 0 0 25 0 1 0 913244365 200392704 48068 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 48924 48068 1111 63 0 48861 0 vsize: 195696 [startup+300.01 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 68447 0 0 0 29837 166 0 0 25 0 1 0 913244365 200392704 48068 4294967295 134512640 134716908 3221224560 3221223324 134613559 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 48924 48068 1111 63 0 48861 0 vsize: 195696 [startup+310.011 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 68447 0 0 0 30837 166 0 0 25 0 1 0 913244365 200392704 48068 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 48924 48068 1111 63 0 48861 0 vsize: 195696 [startup+320.011 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 68447 0 0 0 31837 166 0 0 25 0 1 0 913244365 200392704 48068 4294967295 134512640 134716908 3221224560 3221223328 134592137 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 48924 48068 1111 63 0 48861 0 vsize: 195696 [startup+330.011 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 68447 0 0 0 32836 166 0 0 25 0 1 0 913244365 200392704 48068 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 48924 48068 1111 63 0 48861 0 vsize: 195696 [startup+340.012 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 68447 0 0 0 33836 167 0 0 25 0 1 0 913244365 200392704 48068 4294967295 134512640 134716908 3221224560 3221223144 134543606 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 48924 48068 1111 63 0 48861 0 vsize: 195696 [startup+350.012 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 68447 0 0 0 34836 167 0 0 25 0 1 0 913244365 200392704 48068 4294967295 134512640 134716908 3221224560 3221223200 134542352 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 48924 48068 1111 63 0 48861 0 vsize: 195696 [startup+360.012 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 68447 0 0 0 35836 167 0 0 25 0 1 0 913244365 200392704 48068 4294967295 134512640 134716908 3221224560 3221223200 134539376 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 48924 48068 1111 63 0 48861 0 vsize: 195696 [startup+370.013 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 68447 0 0 0 36836 167 0 0 25 0 1 0 913244365 200392704 48068 4294967295 134512640 134716908 3221224560 3221223200 134539382 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 48924 48068 1111 63 0 48861 0 vsize: 195696 [startup+380.012 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 68447 0 0 0 37837 167 0 0 25 0 1 0 913244365 200392704 48068 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 48924 48068 1111 63 0 48861 0 vsize: 195696 [startup+390.014 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 68447 0 0 0 38837 167 0 0 25 0 1 0 913244365 200392704 48068 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 48924 48068 1111 63 0 48861 0 vsize: 195696 [startup+400.014 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 68447 0 0 0 39837 168 0 0 25 0 1 0 913244365 200392704 48068 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 48924 48068 1111 63 0 48861 0 vsize: 195696 [startup+410.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 68447 0 0 0 40836 168 0 0 25 0 1 0 913244365 200392704 48068 4294967295 134512640 134716908 3221224560 3221223176 134613981 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 48924 48068 1111 63 0 48861 0 vsize: 195696 [startup+420.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 68447 0 0 0 41836 168 0 0 25 0 1 0 913244365 200392704 48068 4294967295 134512640 134716908 3221224560 3221223324 134613559 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 48924 48068 1111 63 0 48861 0 vsize: 195696 [startup+430.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 68447 0 0 0 42837 168 0 0 25 0 1 0 913244365 200392704 48068 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 48924 48068 1111 63 0 48861 0 vsize: 195696 [startup+440.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 68447 0 0 0 43837 168 0 0 25 0 1 0 913244365 200392704 48068 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 48924 48068 1111 63 0 48861 0 vsize: 195696 [startup+450.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 68447 0 0 0 44837 169 0 0 25 0 1 0 913244365 200392704 48068 4294967295 134512640 134716908 3221224560 3221223120 134542303 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 48924 48068 1111 63 0 48861 0 vsize: 195696 [startup+460.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 68447 0 0 0 45836 169 0 0 25 0 1 0 913244365 200392704 48068 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 48924 48068 1111 63 0 48861 0 vsize: 195696 [startup+470.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 68447 0 0 0 46836 169 0 0 25 0 1 0 913244365 200392704 48068 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 48924 48068 1111 63 0 48861 0 vsize: 195696 [startup+480.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 68447 0 0 0 47836 170 0 0 25 0 1 0 913244365 200392704 48068 4294967295 134512640 134716908 3221224560 3221223200 134542300 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 48924 48068 1111 63 0 48861 0 vsize: 195696 [startup+490.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 68447 0 0 0 48836 170 0 0 25 0 1 0 913244365 200392704 48068 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 48924 48068 1111 63 0 48861 0 vsize: 195696 [startup+500.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 68447 0 0 0 49837 170 0 0 25 0 1 0 913244365 200392704 48068 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 48924 48068 1111 63 0 48861 0 vsize: 195696 [startup+510.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 68447 0 0 0 50836 170 0 0 25 0 1 0 913244365 200392704 48068 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 48924 48068 1111 63 0 48861 0 vsize: 195696 [startup+520.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 68447 0 0 0 51836 171 0 0 25 0 1 0 913244365 200392704 48068 4294967295 134512640 134716908 3221224560 3221223344 134597614 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 48924 48068 1111 63 0 48861 0 vsize: 195696 [startup+530.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 68447 0 0 0 52836 171 0 0 25 0 1 0 913244365 200392704 48068 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 48924 48068 1111 63 0 48861 0 vsize: 195696 [startup+540.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 68447 0 0 0 53836 171 0 0 25 0 1 0 913244365 200392704 48068 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 48924 48068 1111 63 0 48861 0 vsize: 195696 [startup+550.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 68447 0 0 0 54836 171 0 0 25 0 1 0 913244365 200392704 48068 4294967295 134512640 134716908 3221224560 3221223184 134542350 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 48924 48068 1111 63 0 48861 0 vsize: 195696 [startup+560.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 68447 0 0 0 55836 171 0 0 25 0 1 0 913244365 200392704 48068 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 48924 48068 1111 63 0 48861 0 vsize: 195696 [startup+570.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 68447 0 0 0 56836 171 0 0 25 0 1 0 913244365 200392704 48068 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 48924 48068 1111 63 0 48861 0 vsize: 195696 [startup+580.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 68447 0 0 0 57836 172 0 0 25 0 1 0 913244365 200392704 48068 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 48924 48068 1111 63 0 48861 0 vsize: 195696 [startup+590.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 68447 0 0 0 58836 172 0 0 25 0 1 0 913244365 200392704 48068 4294967295 134512640 134716908 3221224560 3221223360 134597703 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 48924 48068 1111 63 0 48861 0 vsize: 195696 [startup+600.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 68447 0 0 0 59837 172 0 0 25 0 1 0 913244365 200392704 48068 4294967295 134512640 134716908 3221224560 3221223340 134600348 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 48924 48068 1111 63 0 48861 0 vsize: 195696 [startup+610.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 68447 0 0 0 60836 172 0 0 25 0 1 0 913244365 200392704 48068 4294967295 134512640 134716908 3221224560 3221223360 134597705 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 48924 48068 1111 63 0 48861 0 vsize: 195696 [startup+620.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 68447 0 0 0 61836 172 0 0 25 0 1 0 913244365 200392704 48068 4294967295 134512640 134716908 3221224560 3221223120 134542352 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 48924 48068 1111 63 0 48861 0 vsize: 195696 [startup+630.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 68447 0 0 0 62836 173 0 0 25 0 1 0 913244365 200392704 48068 4294967295 134512640 134716908 3221224560 3221223184 134542350 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 48924 48068 1111 63 0 48861 0 vsize: 195696 [startup+640.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 68447 0 0 0 63836 173 0 0 25 0 1 0 913244365 200392704 48068 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 48924 48068 1111 63 0 48861 0 vsize: 195696 [startup+650.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 68447 0 0 0 64836 173 0 0 25 0 1 0 913244365 200392704 48068 4294967295 134512640 134716908 3221224560 3221223116 134539265 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 48924 48068 1111 63 0 48861 0 vsize: 195696 [startup+660.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 68447 0 0 0 65836 173 0 0 25 0 1 0 913244365 200392704 48068 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 48924 48068 1111 63 0 48861 0 vsize: 195696 [startup+670.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 68447 0 0 0 66836 173 0 0 25 0 1 0 913244365 200392704 48068 4294967295 134512640 134716908 3221224560 3221223200 134539425 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 48924 48068 1111 63 0 48861 0 vsize: 195696 [startup+680.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 68447 0 0 0 67836 173 0 0 25 0 1 0 913244365 200392704 48068 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 48924 48068 1111 63 0 48861 0 vsize: 195696 [startup+690.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 68447 0 0 0 68837 174 0 0 25 0 1 0 913244365 200392704 48068 4294967295 134512640 134716908 3221224560 3221223056 134535333 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 48924 48068 1111 63 0 48861 0 vsize: 195696 [startup+700.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 68447 0 0 0 69836 174 0 0 25 0 1 0 913244365 200392704 48068 4294967295 134512640 134716908 3221224560 3221223328 134529157 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 48924 48068 1111 63 0 48861 0 vsize: 195696 [startup+710.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 68447 0 0 0 70836 174 0 0 25 0 1 0 913244365 200392704 48068 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 48924 48068 1111 63 0 48861 0 vsize: 195696 [startup+720.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 68447 0 0 0 71837 174 0 0 25 0 1 0 913244365 200392704 48068 4294967295 134512640 134716908 3221224560 3221223100 134539243 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 48924 48068 1111 63 0 48861 0 vsize: 195696 [startup+730.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 68447 0 0 0 72837 174 0 0 25 0 1 0 913244365 200392704 48068 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 48924 48068 1111 63 0 48861 0 vsize: 195696 [startup+740.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 68447 0 0 0 73837 174 0 0 25 0 1 0 913244365 200392704 48068 4294967295 134512640 134716908 3221224560 3221223176 134523391 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 48924 48068 1111 63 0 48861 0 vsize: 195696 [startup+750.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 68447 0 0 0 74837 175 0 0 25 0 1 0 913244365 200392704 48068 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 48924 48068 1111 63 0 48861 0 vsize: 195696 [startup+760.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 68447 0 0 0 75837 175 0 0 25 0 1 0 913244365 200392704 48068 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 48924 48068 1111 63 0 48861 0 vsize: 195696 [startup+770.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 68447 0 0 0 76836 175 0 0 25 0 1 0 913244365 200392704 48068 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 48924 48068 1111 63 0 48861 0 vsize: 195696 [startup+780.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 68447 0 0 0 77837 175 0 0 25 0 1 0 913244365 200392704 48068 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 48924 48068 1111 63 0 48861 0 vsize: 195696 [startup+790.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 68447 0 0 0 78837 176 0 0 25 0 1 0 913244365 200392704 48068 4294967295 134512640 134716908 3221224560 3221223340 134600348 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 48924 48068 1111 63 0 48861 0 vsize: 195696 [startup+800.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 68447 0 0 0 79836 176 0 0 25 0 1 0 913244365 200392704 48068 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 48924 48068 1111 63 0 48861 0 vsize: 195696 [startup+810.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 68447 0 0 0 80836 176 0 0 25 0 1 0 913244365 200392704 48068 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 48924 48068 1111 63 0 48861 0 vsize: 195696 [startup+820.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 68447 0 0 0 81836 177 0 0 25 0 1 0 913244365 200392704 48068 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 48924 48068 1111 63 0 48861 0 vsize: 195696 [startup+830.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 68573 0 0 0 82836 177 0 0 25 0 1 0 913244365 200933376 48194 4294967295 134512640 134716908 3221224560 3221223336 134613544 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 49056 48194 1111 63 0 48993 0 vsize: 196224 [startup+840.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 68802 0 0 0 83835 178 0 0 25 0 1 0 913244365 201879552 48423 4294967295 134512640 134716908 3221224560 3221223324 134613516 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 49287 48423 1111 63 0 49224 0 vsize: 197148 [startup+850.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 69087 0 0 0 84834 180 0 0 25 0 1 0 913244365 202960896 48708 4294967295 134512640 134716908 3221224560 3221223360 134597769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 49551 48708 1111 63 0 49488 0 vsize: 198204 [startup+860.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 69232 0 0 0 85833 181 0 0 25 0 1 0 913244365 203632640 48853 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 49715 48853 1111 63 0 49652 0 vsize: 198860 [startup+870.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 69321 0 0 0 86832 181 0 0 25 0 1 0 913244365 204038144 48942 4294967295 134512640 134716908 3221224560 3221223116 134539237 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 49814 48942 1111 63 0 49751 0 vsize: 199256 [startup+880.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 69540 0 0 0 87831 183 0 0 25 0 1 0 913244365 204845056 49161 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 50011 49161 1111 63 0 49948 0 vsize: 200044 [startup+890.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 69659 0 0 0 88831 183 0 0 25 0 1 0 913244365 205385728 49280 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 50143 49280 1111 63 0 50080 0 vsize: 200572 [startup+900.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 69726 0 0 0 89830 184 0 0 25 0 1 0 913244365 205656064 49347 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 50209 49347 1111 63 0 50146 0 vsize: 200836 [startup+910.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 69811 0 0 0 90830 184 0 0 25 0 1 0 913244365 205926400 49432 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 50275 49432 1111 63 0 50212 0 vsize: 201100 [startup+920.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 69887 0 0 0 91830 185 0 0 25 0 1 0 913244365 206331904 49508 4294967295 134512640 134716908 3221224560 3221223336 134613555 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 50374 49508 1111 63 0 50311 0 vsize: 201496 [startup+930.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 69973 0 0 0 92829 185 0 0 25 0 1 0 913244365 206745600 49594 4294967295 134512640 134716908 3221224560 3221223360 134597733 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 50475 49594 1111 63 0 50412 0 vsize: 201900 [startup+940.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 70094 0 0 0 93829 186 0 0 25 0 1 0 913244365 207142912 49715 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 50572 49715 1111 63 0 50509 0 vsize: 202288 [startup+950.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 70289 0 0 0 94829 186 0 0 25 0 1 0 913244365 207953920 49910 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 50770 49910 1111 63 0 50707 0 vsize: 203080 [startup+960.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 70424 0 0 0 95829 186 0 0 25 0 1 0 913244365 208494592 50045 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 50902 50045 1111 63 0 50839 0 vsize: 203608 [startup+970.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 70661 0 0 0 96828 187 0 0 25 0 1 0 913244365 209440768 50282 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 51133 50282 1111 63 0 51070 0 vsize: 204532 [startup+980.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 70850 0 0 0 97828 188 0 0 25 0 1 0 913244365 210251776 50471 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 51331 50471 1111 63 0 51268 0 vsize: 205324 [startup+990.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 71032 0 0 0 98827 189 0 0 25 0 1 0 913244365 211058688 50653 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 51528 50653 1111 63 0 51465 0 vsize: 206112 [startup+1000.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 71146 0 0 0 99827 189 0 0 25 0 1 0 913244365 211464192 50767 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 51627 50767 1111 63 0 51564 0 vsize: 206508 [startup+1010.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 71265 0 0 0 100827 190 0 0 25 0 1 0 913244365 212004864 50886 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 51759 50886 1111 63 0 51696 0 vsize: 207036 [startup+1020.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6622 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 71343 0 0 0 101827 190 0 0 25 0 1 0 913244365 212275200 50964 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 51825 50964 1111 63 0 51762 0 vsize: 207300 [startup+1030.03 s] Raw data (loadavg): 1.07 0.99 0.91 2/54 6675 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 71463 0 0 0 102826 191 0 0 25 0 1 0 913244365 212815872 51084 4294967295 134512640 134716908 3221224560 3221223148 134543588 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 51957 51084 1111 63 0 51894 0 vsize: 207828 [startup+1040.03 s] Raw data (loadavg): 1.06 0.99 0.91 2/54 6675 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 71567 0 0 0 103826 191 0 0 25 0 1 0 913244365 213221376 51188 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 52056 51188 1111 63 0 51993 0 vsize: 208224 [startup+1050.03 s] Raw data (loadavg): 1.05 0.99 0.91 2/54 6675 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 71644 0 0 0 104825 192 0 0 25 0 1 0 913244365 213491712 51265 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 52122 51265 1111 63 0 52059 0 vsize: 208488 [startup+1060.03 s] Raw data (loadavg): 1.04 0.99 0.91 2/54 6675 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 71694 0 0 0 105825 192 0 0 25 0 1 0 913244365 213770240 51314 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 52190 51314 1111 63 0 52127 0 vsize: 208760 [startup+1070.03 s] Raw data (loadavg): 1.03 0.99 0.91 2/54 6675 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 71830 0 0 0 106825 193 0 0 25 0 1 0 913244365 214310912 51450 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 52322 51450 1111 63 0 52259 0 vsize: 209288 [startup+1080.03 s] Raw data (loadavg): 1.03 0.99 0.91 2/54 6675 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 71965 0 0 0 107824 193 0 0 25 0 1 0 913244365 214851584 51585 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 52454 51585 1111 63 0 52391 0 vsize: 209816 [startup+1090.03 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 6675 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 72101 0 0 0 108824 194 0 0 25 0 1 0 913244365 215392256 51721 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 52586 51721 1111 63 0 52523 0 vsize: 210344 [startup+1100.03 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 6677 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 72176 0 0 0 109824 194 0 0 25 0 1 0 913244365 215662592 51796 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 52652 51796 1111 63 0 52589 0 vsize: 210608 [startup+1110.03 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 6677 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 72262 0 0 0 110823 195 0 0 25 0 1 0 913244365 216068096 51882 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 52751 51882 1111 63 0 52688 0 vsize: 211004 [startup+1120.03 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 6677 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 72324 0 0 0 111823 195 0 0 25 0 1 0 913244365 216338432 51944 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 52817 51944 1111 63 0 52754 0 vsize: 211268 [startup+1130.03 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 6677 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 72383 0 0 0 112823 196 0 0 25 0 1 0 913244365 216608768 52003 4294967295 134512640 134716908 3221224560 3221223120 134698910 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 52883 52003 1111 63 0 52820 0 vsize: 211532 [startup+1140.03 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 6677 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 72460 0 0 0 113822 196 0 0 25 0 1 0 913244365 216879104 52080 4294967295 134512640 134716908 3221224560 3221223324 134613559 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 52949 52080 1111 63 0 52886 0 vsize: 211796 [startup+1150.03 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 6677 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 72514 0 0 0 114822 196 0 0 25 0 1 0 913244365 217149440 52134 4294967295 134512640 134716908 3221224560 3221223360 134597703 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 53015 52134 1111 63 0 52952 0 vsize: 212060 [startup+1160.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 6677 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 72612 0 0 0 115822 197 0 0 25 0 1 0 913244365 217554944 52232 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 53114 52232 1111 63 0 53051 0 vsize: 212456 [startup+1170.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 6677 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 72674 0 0 0 116821 198 0 0 25 0 1 0 913244365 217690112 52294 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 53147 52294 1111 63 0 53084 0 vsize: 212588 [startup+1174.99 s] Raw data (loadavg): 1.00 0.99 0.91 1/53 6677 Raw data (stat): 6622 (bsolo_lpr_cuts-) R 6621 7266 7265 0 -1 0 72674 0 0 0 116821 198 0 0 25 0 1 0 913244365 217690112 52294 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 53147 52294 1111 63 0 53084 0 vsize: 0 Child status: 0 Real time (s): 1174.99 CPU time (s): 1175.14 CPU user time (s): 1173.06 CPU system time (s): 2.07868 CPU usage (%): 100.013 Max. virtual memory (Kb): 212588 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####