Name | normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl30_35_pb.cnf.cr.opb |
MD5SUM | b1c5adb5438ceaf1c654cfedb79b695e |
Bench Category | no optimization function (SAT) |
Has Objective Function | NO |
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 | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 36 |
Number of bits of the biggest sum of numbers | 6 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.06099 |
Number of variables | 2100 |
Total number of constraints | 130 |
Number of constraints which are clauses | 70 |
Number of constraints which are cardinality constraints (but not clauses) | 60 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 35 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc4 THE 2005-06-08 14:38:31 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=28626 boxname=wulflinc4 idbench=12 idsolver=21 numberseed=0 MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2 MD5SUM BENCH: b1c5adb5438ceaf1c654cfedb79b695e /oldhome/oroussel/tmp/wulflinc4/normalized-chnl30_35_pb.cnf.cr.opb REAL COMMAND: bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-chnl30_35_pb.cnf.cr.opb IDLAUNCH: 28626 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.169 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.169 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: 882584 kB Buffers: 11568 kB Cached: 115420 kB SwapCached: 5204 kB Active: 25144 kB Inactive: 108140 kB HighTotal: 131008 kB HighFree: 80332 kB LowTotal: 903652 kB LowFree: 802252 kB SwapTotal: 2097136 kB SwapFree: 2090904 kB Dirty: 28 kB Writeback: 0 kB Mapped: 4904 kB Slab: 13240 kB Committed_AS: 71792 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-08 14:58:06 (client local time) WITH STATUS 0 IN 1175.02 SECONDS stats: 28626 7 1175.02 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c INFO: No cost function. Find solution and finish. c Initial problem consists of 2100 variables and 130 constraints. c After prepocess the problem consists of 2100 variables and 130 constraints. c preprocess terminated 0.713 s c Not use computed LB before first solution. s UNKNOWN c Exit Code: 0 c Total time: 1175.01 s #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Enforcing Stack size limit: 67108864 bytes Current StackSize limit: 67108864 bytes Raw data (loadavg): 0.92 0.95 0.90 2/54 1137 Raw data (stat): 1137 (runsolver) R 1136 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 902406413 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.001 s] Raw data (loadavg): 0.93 0.96 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 1405 0 0 0 992 5 0 0 25 0 1 0 902406413 8929280 1323 4294967295 134512640 134716908 3221224560 3221223168 134548846 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2180 1323 1111 63 0 2117 0 vsize: 8720 [startup+20.0017 s] Raw data (loadavg): 0.94 0.96 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 1561 0 0 0 1990 7 0 0 25 0 1 0 902406413 9605120 1479 4294967295 134512640 134716908 3221224560 3221223200 134542347 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2345 1479 1111 63 0 2282 0 vsize: 9380 [startup+30.0022 s] Raw data (loadavg): 0.95 0.96 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 1658 0 0 0 2988 9 0 0 25 0 1 0 902406413 9998336 1576 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2441 1576 1111 63 0 2378 0 vsize: 9764 [startup+40.0024 s] Raw data (loadavg): 0.96 0.96 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 1702 0 0 0 3987 10 0 0 25 0 1 0 902406413 10133504 1620 4294967295 134512640 134716908 3221224560 3221223248 134528425 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2474 1620 1111 63 0 2411 0 vsize: 9896 [startup+50.0023 s] Raw data (loadavg): 0.96 0.96 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 1732 0 0 0 4985 12 0 0 25 0 1 0 902406413 10268672 1650 4294967295 134512640 134716908 3221224560 3221223216 134536730 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2507 1650 1111 63 0 2444 0 vsize: 10028 [startup+60.0034 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 1754 0 0 0 5983 14 0 0 25 0 1 0 902406413 10268672 1672 4294967295 134512640 134716908 3221224560 3221223304 134551609 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2507 1672 1111 63 0 2444 0 vsize: 10028 [startup+70.004 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 1788 0 0 0 6981 17 0 0 25 0 1 0 902406413 10530816 1706 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2571 1706 1111 63 0 2508 0 vsize: 10284 [startup+80.0038 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 1802 0 0 0 7979 19 0 0 25 0 1 0 902406413 10530816 1720 4294967295 134512640 134716908 3221224560 3221223304 134675312 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2571 1720 1111 63 0 2508 0 vsize: 10284 [startup+90.0043 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 1824 0 0 0 8977 20 0 0 25 0 1 0 902406413 10665984 1742 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2604 1742 1111 63 0 2541 0 vsize: 10416 [startup+100.005 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 1835 0 0 0 9976 22 0 0 25 0 1 0 902406413 10665984 1753 4294967295 134512640 134716908 3221224560 3221223344 134551774 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2604 1753 1111 63 0 2541 0 vsize: 10416 [startup+110.005 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 2044 0 0 0 10975 24 0 0 25 0 1 0 902406413 11472896 1962 4294967295 134512640 134716908 3221224560 3221223132 134552071 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2801 1962 1111 63 0 2738 0 vsize: 11204 [startup+120.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 2153 0 0 0 11973 25 0 0 25 0 1 0 902406413 12009472 2071 4294967295 134512640 134716908 3221224560 3221223100 134539243 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2932 2071 1111 63 0 2869 0 vsize: 11728 [startup+130.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 2300 0 0 0 12971 28 0 0 25 0 1 0 902406413 12550144 2218 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3064 2218 1111 63 0 3001 0 vsize: 12256 [startup+140.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 2430 0 0 0 13969 30 0 0 25 0 1 0 902406413 13090816 2348 4294967295 134512640 134716908 3221224560 3221223348 134529422 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3196 2348 1111 63 0 3133 0 vsize: 12784 [startup+150.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 2546 0 0 0 14967 32 0 0 25 0 1 0 902406413 13631488 2464 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3328 2464 1111 63 0 3265 0 vsize: 13312 [startup+160.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 2590 0 0 0 15966 33 0 0 25 0 1 0 902406413 13758464 2508 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3359 2508 1111 63 0 3296 0 vsize: 13436 [startup+170.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 2642 0 0 0 16965 34 0 0 25 0 1 0 902406413 14028800 2560 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3425 2560 1111 63 0 3362 0 vsize: 13700 [startup+180.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 2686 0 0 0 17964 36 0 0 25 0 1 0 902406413 14163968 2604 4294967295 134512640 134716908 3221224560 3221223184 134549697 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3458 2604 1111 63 0 3395 0 vsize: 13832 [startup+190.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 2720 0 0 0 18962 37 0 0 25 0 1 0 902406413 14299136 2638 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3491 2638 1111 63 0 3428 0 vsize: 13964 [startup+200.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 2755 0 0 0 19961 39 0 0 25 0 1 0 902406413 14434304 2673 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3524 2673 1111 63 0 3461 0 vsize: 14096 [startup+210.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 2781 0 0 0 20960 40 0 0 25 0 1 0 902406413 14565376 2699 4294967295 134512640 134716908 3221224560 3221223264 134528595 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3556 2699 1111 63 0 3493 0 vsize: 14224 [startup+220.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 2786 0 0 0 21959 42 0 0 25 0 1 0 902406413 14565376 2704 4294967295 134512640 134716908 3221224560 3221223116 134535967 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3556 2704 1111 63 0 3493 0 vsize: 14224 [startup+230.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 2841 0 0 0 22957 43 0 0 25 0 1 0 902406413 14835712 2759 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3622 2759 1111 63 0 3559 0 vsize: 14488 [startup+240.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 2900 0 0 0 23956 45 0 0 25 0 1 0 902406413 14970880 2818 4294967295 134512640 134716908 3221224560 3221223188 134698616 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3655 2818 1111 63 0 3592 0 vsize: 14620 [startup+250.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 2929 0 0 0 24954 47 0 0 25 0 1 0 902406413 15106048 2847 4294967295 134512640 134716908 3221224560 3221223184 134549689 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3688 2847 1111 63 0 3625 0 vsize: 14752 [startup+260.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 2968 0 0 0 25952 49 0 0 25 0 1 0 902406413 15241216 2886 4294967295 134512640 134716908 3221224560 3221223184 134536675 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3721 2886 1111 63 0 3658 0 vsize: 14884 [startup+270.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 2993 0 0 0 26951 50 0 0 25 0 1 0 902406413 15376384 2911 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3754 2911 1111 63 0 3691 0 vsize: 15016 [startup+280.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3031 0 0 0 27950 51 0 0 25 0 1 0 902406413 15626240 2949 4294967295 134512640 134716908 3221224560 3221223348 134584851 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3815 2949 1111 63 0 3752 0 vsize: 15260 [startup+290.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3066 0 0 0 28949 53 0 0 25 0 1 0 902406413 15761408 2984 4294967295 134512640 134716908 3221224560 3221223252 134528706 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3848 2984 1111 63 0 3785 0 vsize: 15392 [startup+300.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3081 0 0 0 29948 54 0 0 25 0 1 0 902406413 15761408 2999 4294967295 134512640 134716908 3221224560 3221223312 134592393 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3848 2999 1111 63 0 3785 0 vsize: 15392 [startup+310.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3081 0 0 0 30947 55 0 0 25 0 1 0 902406413 15761408 2999 4294967295 134512640 134716908 3221224560 3221223072 134535032 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3848 2999 1111 63 0 3785 0 vsize: 15392 [startup+320.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3094 0 0 0 31945 57 0 0 25 0 1 0 902406413 15761408 3012 4294967295 134512640 134716908 3221224560 3221222632 134613973 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3848 3012 1111 63 0 3785 0 vsize: 15392 [startup+330.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3123 0 0 0 32945 58 0 0 25 0 1 0 902406413 15896576 3041 4294967295 134512640 134716908 3221224560 3221223176 134549708 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3881 3041 1111 63 0 3818 0 vsize: 15524 [startup+340.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3209 0 0 0 33943 60 0 0 25 0 1 0 902406413 16293888 3127 4294967295 134512640 134716908 3221224560 3221223168 134548843 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3978 3127 1111 63 0 3915 0 vsize: 15912 [startup+350.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3243 0 0 0 34941 61 0 0 25 0 1 0 902406413 16429056 3161 4294967295 134512640 134716908 3221224560 3221223296 134523936 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4011 3161 1111 63 0 3948 0 vsize: 16044 [startup+360.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3278 0 0 0 35940 63 0 0 25 0 1 0 902406413 16564224 3196 4294967295 134512640 134716908 3221224560 3221223152 134549533 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4044 3196 1111 63 0 3981 0 vsize: 16176 [startup+370.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3291 0 0 0 36939 64 0 0 25 0 1 0 902406413 16564224 3209 4294967295 134512640 134716908 3221224560 3221223200 134539374 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4044 3209 1111 63 0 3981 0 vsize: 16176 [startup+380.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3305 0 0 0 37938 65 0 0 25 0 1 0 902406413 16699392 3223 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4077 3223 1111 63 0 4014 0 vsize: 16308 [startup+390.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3322 0 0 0 38937 66 0 0 25 0 1 0 902406413 16699392 3240 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4077 3240 1111 63 0 4014 0 vsize: 16308 [startup+400.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3347 0 0 0 39937 67 0 0 25 0 1 0 902406413 16834560 3265 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4110 3265 1111 63 0 4047 0 vsize: 16440 [startup+410.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3358 0 0 0 40936 68 0 0 25 0 1 0 902406413 16834560 3276 4294967295 134512640 134716908 3221224560 3221223152 134543681 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4110 3276 1111 63 0 4047 0 vsize: 16440 [startup+420.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3379 0 0 0 41935 69 0 0 25 0 1 0 902406413 16961536 3297 4294967295 134512640 134716908 3221224560 3221223328 134529136 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4141 3297 1111 63 0 4078 0 vsize: 16564 [startup+430.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3401 0 0 0 42934 70 0 0 25 0 1 0 902406413 17088512 3319 4294967295 134512640 134716908 3221224560 3221223264 134528650 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4172 3319 1111 63 0 4109 0 vsize: 16688 [startup+440.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3401 0 0 0 43933 72 0 0 25 0 1 0 902406413 17088512 3319 4294967295 134512640 134716908 3221224560 3221222896 134699605 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4172 3319 1111 63 0 4109 0 vsize: 16688 [startup+450.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3406 0 0 0 44932 72 0 0 25 0 1 0 902406413 17088512 3324 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4172 3324 1111 63 0 4109 0 vsize: 16688 [startup+460.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3425 0 0 0 45931 74 0 0 25 0 1 0 902406413 17223680 3343 4294967295 134512640 134716908 3221224560 3221223128 1077377239 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4205 3343 1111 63 0 4142 0 vsize: 16820 [startup+470.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3442 0 0 0 46930 75 0 0 25 0 1 0 902406413 17219584 3360 4294967295 134512640 134716908 3221224560 3221223116 134535964 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4204 3360 1111 63 0 4141 0 vsize: 16816 [startup+480.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3446 0 0 0 47929 76 0 0 25 0 1 0 902406413 17219584 3364 4294967295 134512640 134716908 3221224560 3221223184 134698617 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4204 3364 1111 63 0 4141 0 vsize: 16816 [startup+490.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3458 0 0 0 48928 77 0 0 25 0 1 0 902406413 17354752 3376 4294967295 134512640 134716908 3221224560 3221223116 134535900 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4237 3376 1111 63 0 4174 0 vsize: 16948 [startup+500.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3474 0 0 0 49928 78 0 0 25 0 1 0 902406413 17354752 3392 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4237 3392 1111 63 0 4174 0 vsize: 16948 [startup+510.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3521 0 0 0 50927 79 0 0 25 0 1 0 902406413 17612800 3439 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4300 3439 1111 63 0 4237 0 vsize: 17200 [startup+520.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3572 0 0 0 51925 81 0 0 25 0 1 0 902406413 17747968 3490 4294967295 134512640 134716908 3221224560 3221223120 134698876 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4333 3490 1111 63 0 4270 0 vsize: 17332 [startup+530.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3590 0 0 0 52924 82 0 0 25 0 1 0 902406413 17874944 3508 4294967295 134512640 134716908 3221224560 3221223200 134613470 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4364 3508 1111 63 0 4301 0 vsize: 17456 [startup+540.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3645 0 0 0 53922 85 0 0 25 0 1 0 902406413 18010112 3563 4294967295 134512640 134716908 3221224560 3221223328 134529157 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4397 3563 1111 63 0 4334 0 vsize: 17588 [startup+550.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3654 0 0 0 54921 85 0 0 25 0 1 0 902406413 18145280 3572 4294967295 134512640 134716908 3221224560 3221223128 1077377159 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4430 3572 1111 63 0 4367 0 vsize: 17720 [startup+560.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3666 0 0 0 55920 86 0 0 25 0 1 0 902406413 18145280 3584 4294967295 134512640 134716908 3221224560 3221223196 134552672 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4430 3584 1111 63 0 4367 0 vsize: 17720 [startup+570.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3688 0 0 0 56920 87 0 0 25 0 1 0 902406413 18272256 3606 4294967295 134512640 134716908 3221224560 3221223192 134552681 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4461 3606 1111 63 0 4398 0 vsize: 17844 [startup+580.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3703 0 0 0 57918 89 0 0 25 0 1 0 902406413 18272256 3621 4294967295 134512640 134716908 3221224560 3221223252 134528601 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4461 3621 1111 63 0 4398 0 vsize: 17844 [startup+590.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3762 0 0 0 58917 90 0 0 25 0 1 0 902406413 18534400 3680 4294967295 134512640 134716908 3221224560 3221223296 134523932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4525 3680 1111 63 0 4462 0 vsize: 18100 [startup+600.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3766 0 0 0 59916 92 0 0 25 0 1 0 902406413 18534400 3684 4294967295 134512640 134716908 3221224560 3221222964 134699695 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4525 3684 1111 63 0 4462 0 vsize: 18100 [startup+610.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3767 0 0 0 60915 93 0 0 25 0 1 0 902406413 18534400 3685 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4525 3685 1111 63 0 4462 0 vsize: 18100 [startup+620.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3768 0 0 0 61913 94 0 0 25 0 1 0 902406413 18534400 3686 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4525 3686 1111 63 0 4462 0 vsize: 18100 [startup+630.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3774 0 0 0 62912 96 0 0 25 0 1 0 902406413 18669568 3692 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4558 3692 1111 63 0 4495 0 vsize: 18232 [startup+640.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3801 0 0 0 63911 97 0 0 25 0 1 0 902406413 18669568 3719 4294967295 134512640 134716908 3221224560 3221223200 134698440 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4558 3719 1111 63 0 4495 0 vsize: 18232 [startup+650.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3828 0 0 0 64910 98 0 0 25 0 1 0 902406413 18804736 3746 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4591 3746 1111 63 0 4528 0 vsize: 18364 [startup+660.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3835 0 0 0 65909 100 0 0 25 0 1 0 902406413 18804736 3753 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4591 3753 1111 63 0 4528 0 vsize: 18364 [startup+670.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3837 0 0 0 66908 101 0 0 25 0 1 0 902406413 18804736 3755 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4591 3755 1111 63 0 4528 0 vsize: 18364 [startup+680.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3840 0 0 0 67907 102 0 0 25 0 1 0 902406413 18939904 3758 4294967295 134512640 134716908 3221224560 3221223116 134535967 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4624 3758 1111 63 0 4561 0 vsize: 18496 [startup+690.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3852 0 0 0 68905 104 0 0 25 0 1 0 902406413 18935808 3770 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4623 3770 1111 63 0 4560 0 vsize: 18492 [startup+700.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3871 0 0 0 69904 105 0 0 25 0 1 0 902406413 18935808 3789 4294967295 134512640 134716908 3221224560 3221223108 134699061 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4623 3789 1111 63 0 4560 0 vsize: 18492 [startup+710.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3884 0 0 0 70903 107 0 0 25 0 1 0 902406413 19070976 3802 4294967295 134512640 134716908 3221224560 3221223312 134592443 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4656 3802 1111 63 0 4593 0 vsize: 18624 [startup+720.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3897 0 0 0 71902 108 0 0 25 0 1 0 902406413 19070976 3815 4294967295 134512640 134716908 3221224560 3221223216 134524259 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4656 3815 1111 63 0 4593 0 vsize: 18624 [startup+730.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3909 0 0 0 72901 109 0 0 25 0 1 0 902406413 19206144 3827 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4689 3827 1111 63 0 4626 0 vsize: 18756 [startup+740.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3925 0 0 0 73900 110 0 0 25 0 1 0 902406413 19206144 3843 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4689 3843 1111 63 0 4626 0 vsize: 18756 [startup+750.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3925 0 0 0 74899 111 0 0 25 0 1 0 902406413 19206144 3843 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4689 3843 1111 63 0 4626 0 vsize: 18756 [startup+760.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3938 0 0 0 75899 112 0 0 25 0 1 0 902406413 19333120 3856 4294967295 134512640 134716908 3221224560 3221223184 134536675 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4720 3856 1111 63 0 4657 0 vsize: 18880 [startup+770.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3938 0 0 0 76898 113 0 0 25 0 1 0 902406413 19333120 3856 4294967295 134512640 134716908 3221224560 3221223264 134528674 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4720 3856 1111 63 0 4657 0 vsize: 18880 [startup+780.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3938 0 0 0 77897 114 0 0 25 0 1 0 902406413 19333120 3856 4294967295 134512640 134716908 3221224560 3221223280 134591885 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4720 3856 1111 63 0 4657 0 vsize: 18880 [startup+790.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3938 0 0 0 78896 115 0 0 25 0 1 0 902406413 19333120 3856 4294967295 134512640 134716908 3221224560 3221223344 134529097 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4720 3856 1111 63 0 4657 0 vsize: 18880 [startup+800.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3948 0 0 0 79894 117 0 0 25 0 1 0 902406413 19333120 3866 4294967295 134512640 134716908 3221224560 3221223192 134552681 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4720 3866 1111 63 0 4657 0 vsize: 18880 [startup+810.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3967 0 0 0 80893 119 0 0 25 0 1 0 902406413 19333120 3885 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4720 3885 1111 63 0 4657 0 vsize: 18880 [startup+820.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3972 0 0 0 81892 120 0 0 25 0 1 0 902406413 19468288 3890 4294967295 134512640 134716908 3221224560 3221223248 134594336 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4753 3890 1111 63 0 4690 0 vsize: 19012 [startup+830.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3979 0 0 0 82891 121 0 0 25 0 1 0 902406413 19468288 3897 4294967295 134512640 134716908 3221224560 3221223200 134698400 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4753 3897 1111 63 0 4690 0 vsize: 19012 [startup+840.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3995 0 0 0 83890 123 0 0 25 0 1 0 902406413 19468288 3913 4294967295 134512640 134716908 3221224560 3221223344 134529088 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4753 3913 1111 63 0 4690 0 vsize: 19012 [startup+850.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 4035 0 0 0 84888 124 0 0 25 0 1 0 902406413 19738624 3953 4294967295 134512640 134716908 3221224560 3221223424 134598211 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4819 3953 1111 63 0 4756 0 vsize: 19276 [startup+860.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 4047 0 0 0 85887 126 0 0 25 0 1 0 902406413 19738624 3965 4294967295 134512640 134716908 3221224560 3221223000 1077377771 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4819 3965 1111 63 0 4756 0 vsize: 19276 [startup+870.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 4073 0 0 0 86885 128 0 0 25 0 1 0 902406413 19873792 3991 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4852 3991 1111 63 0 4789 0 vsize: 19408 [startup+880.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 4101 0 0 0 87884 129 0 0 25 0 1 0 902406413 19984384 4019 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4879 4019 1111 63 0 4816 0 vsize: 19516 [startup+890.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 4117 0 0 0 88883 131 0 0 25 0 1 0 902406413 19984384 4035 4294967295 134512640 134716908 3221224560 3221223168 134548553 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4879 4035 1111 63 0 4816 0 vsize: 19516 [startup+900.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 4131 0 0 0 89881 132 0 0 25 0 1 0 902406413 20099072 4049 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4907 4049 1111 63 0 4844 0 vsize: 19628 [startup+910.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 4184 0 0 0 90880 133 0 0 25 0 1 0 902406413 20234240 4102 4294967295 134512640 134716908 3221224560 3221223200 134524203 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4940 4102 1111 63 0 4877 0 vsize: 19760 [startup+920.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 4188 0 0 0 91879 134 0 0 25 0 1 0 902406413 20234240 4106 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4940 4106 1111 63 0 4877 0 vsize: 19760 [startup+930.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 4195 0 0 0 92878 136 0 0 25 0 1 0 902406413 20369408 4113 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4973 4113 1111 63 0 4910 0 vsize: 19892 [startup+940.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 4205 0 0 0 93877 137 0 0 25 0 1 0 902406413 20369408 4123 4294967295 134512640 134716908 3221224560 3221222884 134699695 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4973 4123 1111 63 0 4910 0 vsize: 19892 [startup+950.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 4211 0 0 0 94876 138 0 0 25 0 1 0 902406413 20369408 4129 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4973 4129 1111 63 0 4910 0 vsize: 19892 [startup+960.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 4225 0 0 0 95875 140 0 0 25 0 1 0 902406413 20496384 4143 4294967295 134512640 134716908 3221224560 3221223200 134698437 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5004 4143 1111 63 0 4941 0 vsize: 20016 [startup+970.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 4240 0 0 0 96874 141 0 0 25 0 1 0 902406413 20496384 4158 4294967295 134512640 134716908 3221224560 3221223236 134542962 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5004 4158 1111 63 0 4941 0 vsize: 20016 [startup+980.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 4244 0 0 0 97873 142 0 0 25 0 1 0 902406413 20496384 4162 4294967295 134512640 134716908 3221224560 3221222804 134699695 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5004 4162 1111 63 0 4941 0 vsize: 20016 [startup+990.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 4254 0 0 0 98872 143 0 0 25 0 1 0 902406413 20631552 4172 4294967295 134512640 134716908 3221224560 3221223212 134536754 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5037 4172 1111 63 0 4974 0 vsize: 20148 [startup+1000.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 4277 0 0 0 99871 144 0 0 25 0 1 0 902406413 20631552 4195 4294967295 134512640 134716908 3221224560 3221223544 134575929 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5037 4195 1111 63 0 4974 0 vsize: 20148 [startup+1010.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 4327 0 0 0 100870 145 0 0 25 0 1 0 902406413 20901888 4245 4294967295 134512640 134716908 3221224560 3221223168 134524262 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5103 4245 1111 63 0 5040 0 vsize: 20412 [startup+1020.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 4360 0 0 0 101870 146 0 0 25 0 1 0 902406413 21037056 4278 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5136 4278 1111 63 0 5073 0 vsize: 20544 [startup+1030.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 4416 0 0 0 102868 148 0 0 25 0 1 0 902406413 21172224 4334 4294967295 134512640 134716908 3221224560 3221223112 134698813 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5169 4334 1111 63 0 5106 0 vsize: 20676 [startup+1040.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 4489 0 0 0 103867 149 0 0 25 0 1 0 902406413 21577728 4407 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5268 4407 1111 63 0 5205 0 vsize: 21072 [startup+1050.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 4535 0 0 0 104866 150 0 0 25 0 1 0 902406413 21712896 4453 4294967295 134512640 134716908 3221224560 3221223244 134552632 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5301 4453 1111 63 0 5238 0 vsize: 21204 [startup+1060.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 4559 0 0 0 105865 152 0 0 25 0 1 0 902406413 21843968 4477 4294967295 134512640 134716908 3221224560 3221223108 134699080 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5333 4477 1111 63 0 5270 0 vsize: 21332 [startup+1070.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 4584 0 0 0 106864 153 0 0 25 0 1 0 902406413 21934080 4502 4294967295 134512640 134716908 3221224560 3221223264 134528449 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5355 4502 1111 63 0 5292 0 vsize: 21420 [startup+1080.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 4611 0 0 0 107863 154 0 0 25 0 1 0 902406413 22069248 4529 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5388 4529 1111 63 0 5325 0 vsize: 21552 [startup+1090.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 4611 0 0 0 108862 155 0 0 25 0 1 0 902406413 22069248 4529 4294967295 134512640 134716908 3221224560 3221223152 134549527 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5388 4529 1111 63 0 5325 0 vsize: 21552 [startup+1100.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 4627 0 0 0 109861 156 0 0 25 0 1 0 902406413 22069248 4545 4294967295 134512640 134716908 3221224560 3221223168 134549474 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5388 4545 1111 63 0 5325 0 vsize: 21552 [startup+1110.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 4636 0 0 0 110860 157 0 0 25 0 1 0 902406413 22069248 4554 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5388 4554 1111 63 0 5325 0 vsize: 21552 [startup+1120.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 4639 0 0 0 111859 159 0 0 25 0 1 0 902406413 22200320 4557 4294967295 134512640 134716908 3221224560 3221223120 134552035 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5420 4557 1111 63 0 5357 0 vsize: 21680 [startup+1130.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 4669 0 0 0 112859 159 0 0 25 0 1 0 902406413 22335488 4587 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5453 4587 1111 63 0 5390 0 vsize: 21812 [startup+1140.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 4672 0 0 0 113858 160 0 0 25 0 1 0 902406413 22335488 4590 4294967295 134512640 134716908 3221224560 3221223184 134549700 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5453 4590 1111 63 0 5390 0 vsize: 21812 [startup+1150.04 s] Raw data (loadavg): 1.07 0.99 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 4691 0 0 0 114858 161 0 0 25 0 1 0 902406413 22327296 4609 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5451 4609 1111 63 0 5388 0 vsize: 21804 [startup+1160.04 s] Raw data (loadavg): 1.06 0.99 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 4714 0 0 0 115857 162 0 0 25 0 1 0 902406413 22462464 4632 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5484 4632 1111 63 0 5421 0 vsize: 21936 [startup+1170.04 s] Raw data (loadavg): 1.05 0.99 0.91 2/54 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 4715 0 0 0 116855 163 0 0 25 0 1 0 902406413 22462464 4633 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5484 4633 1111 63 0 5421 0 vsize: 21936 [startup+1174.87 s] Raw data (loadavg): 1.05 0.99 0.91 1/53 1137 Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 4715 0 0 0 116855 163 0 0 25 0 1 0 902406413 22462464 4633 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5484 4633 1111 63 0 5421 0 vsize: 0 Child status: 0 Real time (s): 1174.87 CPU time (s): 1175.02 CPU user time (s): 1173.37 CPU system time (s): 1.65175 CPU usage (%): 100.013 Max. virtual memory (Kb): 21936 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####