Name | normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl10_20_pb.cnf.cr.opb |
MD5SUM | f6063d1ff7b0ba7c7cab7a438daedff8 |
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 | 21 |
Number of bits of the biggest sum of numbers | 5 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.013997 |
Number of variables | 400 |
Total number of constraints | 60 |
Number of constraints which are clauses | 40 |
Number of constraints which are cardinality constraints (but not clauses) | 20 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 20 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc6 THE 2005-06-08 14:15:48 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=28618 boxname=wulflinc6 idbench=4 idsolver=21 numberseed=0 MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2 MD5SUM BENCH: f6063d1ff7b0ba7c7cab7a438daedff8 /oldhome/oroussel/tmp/wulflinc6/normalized-chnl10_20_pb.cnf.cr.opb REAL COMMAND: bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-chnl10_20_pb.cnf.cr.opb IDLAUNCH: 28618 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.042 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.042 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: 603320 kB Buffers: 29520 kB Cached: 380532 kB SwapCached: 940 kB Active: 38500 kB Inactive: 373608 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 603068 kB SwapTotal: 2097136 kB SwapFree: 2095212 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5012 kB Slab: 13540 kB Committed_AS: 63736 kB PageTables: 320 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-08 14:33:10 (client local time) WITH STATUS 20 IN 1041.69 SECONDS stats: 28618 7 1041.69 20 #### 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 400 variables and 60 constraints. c After prepocess the problem consists of 400 variables and 60 constraints. c preprocess terminated 0.108 s c Not use computed LB before first solution. s UNSATISFIABLE c Exit Code: 20 c Total time: 1041.62 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.98 0.92 2/54 31754 Raw data (stat): 31754 (runsolver) R 31753 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 902278830 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.0005 s] Raw data (loadavg): 0.93 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 2722 0 0 0 988 9 0 0 25 0 1 0 902278830 14258176 2640 4294967295 134512640 134716908 3221224560 3221223212 134536817 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3481 2640 1111 63 0 3418 0 vsize: 13924 [startup+20.0016 s] Raw data (loadavg): 0.94 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 3667 0 0 0 1985 12 0 0 25 0 1 0 902278830 18178048 3585 4294967295 134512640 134716908 3221224560 3221223200 134698432 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4438 3585 1111 63 0 4375 0 vsize: 17752 [startup+30.0021 s] Raw data (loadavg): 0.95 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 4533 0 0 0 2982 15 0 0 25 0 1 0 902278830 21692416 4451 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5296 4451 1111 63 0 5233 0 vsize: 21184 [startup+40.0019 s] Raw data (loadavg): 0.96 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 5173 0 0 0 3979 18 0 0 25 0 1 0 902278830 24268800 5091 4294967295 134512640 134716908 3221224560 3221223152 134549809 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5925 5091 1111 63 0 5862 0 vsize: 23700 [startup+50.002 s] Raw data (loadavg): 0.96 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 5872 0 0 0 4976 22 0 0 25 0 1 0 902278830 27262976 5790 4294967295 134512640 134716908 3221224560 3221223192 134552681 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6656 5790 1111 63 0 6593 0 vsize: 26624 [startup+60.0024 s] Raw data (loadavg): 0.97 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 6410 0 0 0 5974 24 0 0 25 0 1 0 902278830 29470720 6328 4294967295 134512640 134716908 3221224560 3221223152 134549670 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7195 6328 1111 63 0 7132 0 vsize: 28780 [startup+70.0023 s] Raw data (loadavg): 0.97 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 6820 0 0 0 6972 26 0 0 25 0 1 0 902278830 31170560 6737 4294967295 134512640 134716908 3221224560 3221223116 134535970 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7610 6737 1111 63 0 7547 0 vsize: 30440 [startup+80.0024 s] Raw data (loadavg): 0.98 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 7901 0 0 0 7969 29 0 0 25 0 1 0 902278830 35631104 7818 4294967295 134512640 134716908 3221224560 3221223196 134552672 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8699 7818 1111 63 0 8636 0 vsize: 34796 [startup+90.0029 s] Raw data (loadavg): 0.98 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 8780 0 0 0 8967 32 0 0 25 0 1 0 902278830 39305216 8695 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9596 8695 1111 63 0 9533 0 vsize: 38384 [startup+100.003 s] Raw data (loadavg): 0.98 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 9377 0 0 0 9966 33 0 0 25 0 1 0 902278830 41783296 9289 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10201 9289 1111 63 0 10138 0 vsize: 40804 [startup+110.004 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 9943 0 0 0 10963 36 0 0 25 0 1 0 902278830 44122112 9855 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10772 9855 1111 63 0 10709 0 vsize: 43088 [startup+120.004 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 10442 0 0 0 11961 39 0 0 25 0 1 0 902278830 46190592 10354 4294967295 134512640 134716908 3221224560 3221223320 134552578 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11277 10354 1111 63 0 11214 0 vsize: 45108 [startup+130.004 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 10921 0 0 0 12959 41 0 0 25 0 1 0 902278830 48218112 10833 4294967295 134512640 134716908 3221224560 3221223116 134535967 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11772 10833 1111 63 0 11709 0 vsize: 47088 [startup+140.004 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 11359 0 0 0 13956 44 0 0 25 0 1 0 902278830 50098176 11270 4294967295 134512640 134716908 3221224560 3221223056 134535448 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12231 11270 1111 63 0 12168 0 vsize: 48924 [startup+150.005 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 11676 0 0 0 14956 45 0 0 25 0 1 0 902278830 51388416 11584 4294967295 134512640 134716908 3221224560 3221223212 134536779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12546 11584 1111 63 0 12483 0 vsize: 50184 [startup+160.005 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 11939 0 0 0 15954 47 0 0 25 0 1 0 902278830 52580352 11844 4294967295 134512640 134716908 3221224560 3221223116 134535620 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12837 11844 1111 63 0 12774 0 vsize: 51348 [startup+170.005 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 12576 0 0 0 16953 49 0 0 25 0 1 0 902278830 55308288 12480 4294967295 134512640 134716908 3221224560 3221223248 134551897 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13503 12480 1111 63 0 13440 0 vsize: 54012 [startup+180.005 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 13205 0 0 0 17951 51 0 0 25 0 1 0 902278830 57778176 13103 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14106 13103 1111 63 0 14043 0 vsize: 56424 [startup+190.006 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 13533 0 0 0 18950 52 0 0 25 0 1 0 902278830 59129856 13431 4294967295 134512640 134716908 3221224560 3221223296 134535740 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14436 13431 1111 63 0 14373 0 vsize: 57744 [startup+200.006 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 13887 0 0 0 19949 54 0 0 25 0 1 0 902278830 60616704 13785 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14799 13785 1111 63 0 14736 0 vsize: 59196 [startup+210.007 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 14235 0 0 0 20948 56 0 0 25 0 1 0 902278830 62107648 14133 4294967295 134512640 134716908 3221224560 3221223216 134536716 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15163 14133 1111 63 0 15100 0 vsize: 60652 [startup+220.008 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 14494 0 0 0 21947 57 0 0 25 0 1 0 902278830 63217664 14391 4294967295 134512640 134716908 3221224560 3221223224 134552681 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15434 14391 1111 63 0 15371 0 vsize: 61736 [startup+230.008 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 14762 0 0 0 22946 58 0 0 25 0 1 0 902278830 64163840 14659 4294967295 134512640 134716908 3221224560 3221223144 134549708 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15665 14659 1111 63 0 15602 0 vsize: 62660 [startup+240.008 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 14995 0 0 0 23946 58 0 0 25 0 1 0 902278830 65314816 14890 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15946 14890 1111 63 0 15883 0 vsize: 63784 [startup+250.008 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 15288 0 0 0 24945 60 0 0 25 0 1 0 902278830 66568192 15179 4294967295 134512640 134716908 3221224560 3221223264 134528650 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16252 15179 1111 63 0 16189 0 vsize: 65008 [startup+260.008 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 15578 0 0 0 25944 61 0 0 25 0 1 0 902278830 67719168 15464 4294967295 134512640 134716908 3221224560 3221223152 134549668 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16533 15464 1111 63 0 16470 0 vsize: 66132 [startup+270.009 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 15880 0 0 0 26943 63 0 0 25 0 1 0 902278830 69017600 15762 4294967295 134512640 134716908 3221224560 3221223076 134535481 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16850 15762 1111 63 0 16787 0 vsize: 67400 [startup+280.009 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 16194 0 0 0 27942 64 0 0 25 0 1 0 902278830 70299648 16075 4294967295 134512640 134716908 3221224560 3221223280 134523872 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17163 16075 1111 63 0 17100 0 vsize: 68652 [startup+290.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 16481 0 0 0 28942 64 0 0 25 0 1 0 902278830 71565312 16360 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17472 16360 1111 63 0 17409 0 vsize: 69888 [startup+300.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 16672 0 0 0 29941 65 0 0 25 0 1 0 902278830 72404992 16551 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17677 16551 1111 63 0 17614 0 vsize: 70708 [startup+310.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 17283 0 0 0 30940 67 0 0 25 0 1 0 902278830 74907648 17159 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18288 17160 1111 63 0 18225 0 vsize: 73152 [startup+320.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 17762 0 0 0 31938 70 0 0 25 0 1 0 902278830 76836864 17636 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18759 17636 1111 63 0 18696 0 vsize: 75036 [startup+330.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 18066 0 0 0 32937 71 0 0 25 0 1 0 902278830 78053376 17940 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19056 17940 1111 63 0 18993 0 vsize: 76224 [startup+340.011 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 18376 0 0 0 33936 72 0 0 25 0 1 0 902278830 79409152 18250 4294967295 134512640 134716908 3221224560 3221223152 134549680 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19387 18250 1111 63 0 19324 0 vsize: 77548 [startup+350.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 18777 0 0 0 34934 74 0 0 25 0 1 0 902278830 81125376 18642 4294967295 134512640 134716908 3221224560 3221223248 134536638 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19806 18642 1111 63 0 19743 0 vsize: 79224 [startup+360.011 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 19125 0 0 0 35933 76 0 0 25 0 1 0 902278830 82477056 18990 4294967295 134512640 134716908 3221224560 3221223184 134698375 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20136 18990 1111 63 0 20073 0 vsize: 80544 [startup+370.011 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 19372 0 0 0 36932 77 0 0 25 0 1 0 902278830 83423232 19237 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20367 19237 1111 63 0 20304 0 vsize: 81468 [startup+380.011 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 19604 0 0 0 37931 78 0 0 25 0 1 0 902278830 84369408 19469 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20598 19469 1111 63 0 20535 0 vsize: 82392 [startup+390.011 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 19805 0 0 0 38931 79 0 0 25 0 1 0 902278830 85180416 19670 4294967295 134512640 134716908 3221224560 3221223152 134549686 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20796 19670 1111 63 0 20733 0 vsize: 83184 [startup+400.012 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 20163 0 0 0 39930 81 0 0 25 0 1 0 902278830 86925312 20024 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21222 20024 1111 63 0 21159 0 vsize: 84888 [startup+410.012 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 20454 0 0 0 40928 82 0 0 25 0 1 0 902278830 88141824 20315 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21519 20315 1111 63 0 21456 0 vsize: 86076 [startup+420.013 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 20817 0 0 0 41927 83 0 0 25 0 1 0 902278830 89493504 20678 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21849 20678 1111 63 0 21786 0 vsize: 87396 [startup+430.014 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 21059 0 0 0 42927 84 0 0 25 0 1 0 902278830 90574848 20920 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22113 20920 1111 63 0 22050 0 vsize: 88452 [startup+440.014 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 21344 0 0 0 43926 85 0 0 25 0 1 0 902278830 91795456 21205 4294967295 134512640 134716908 3221224560 3221223140 134549630 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22411 21205 1111 63 0 22348 0 vsize: 89644 [startup+450.014 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 21642 0 0 0 44926 86 0 0 25 0 1 0 902278830 93048832 21503 4294967295 134512640 134716908 3221224560 3221223272 134551881 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22717 21503 1111 63 0 22654 0 vsize: 90868 [startup+460.014 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 21793 0 0 0 45926 86 0 0 25 0 1 0 902278830 93597696 21654 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22851 21654 1111 63 0 22788 0 vsize: 91404 [startup+470.015 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 22082 0 0 0 46925 87 0 0 25 0 1 0 902278830 94916608 21935 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 23173 21935 1111 63 0 23110 0 vsize: 92692 [startup+480.016 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 22368 0 0 0 47925 88 0 0 25 0 1 0 902278830 96161792 22220 4294967295 134512640 134716908 3221224560 3221222896 134699536 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 23477 22220 1111 63 0 23414 0 vsize: 93908 [startup+490.016 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 22611 0 0 0 48925 89 0 0 25 0 1 0 902278830 97263616 22460 4294967295 134512640 134716908 3221224560 3221223344 134529368 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 23746 22460 1111 63 0 23683 0 vsize: 94984 [startup+500.016 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 22789 0 0 0 49924 90 0 0 25 0 1 0 902278830 98091008 22637 4294967295 134512640 134716908 3221224560 3221223216 134524067 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 23948 22637 1111 63 0 23885 0 vsize: 95792 [startup+510.016 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 22941 0 0 0 50923 91 0 0 25 0 1 0 902278830 98885632 22785 4294967295 134512640 134716908 3221224560 3221223212 134536839 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24142 22785 1111 63 0 24079 0 vsize: 96568 [startup+520.016 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 23104 0 0 0 51923 91 0 0 25 0 1 0 902278830 99590144 22948 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24314 22948 1111 63 0 24251 0 vsize: 97256 [startup+530.016 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 23339 0 0 0 52922 92 0 0 25 0 1 0 902278830 100466688 23179 4294967295 134512640 134716908 3221224560 3221223152 134549809 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24528 23179 1111 63 0 24465 0 vsize: 98112 [startup+540.017 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 23572 0 0 0 53922 93 0 0 25 0 1 0 902278830 101634048 23399 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24813 23399 1111 63 0 24750 0 vsize: 99252 [startup+550.016 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 23866 0 0 0 54921 95 0 0 25 0 1 0 902278830 102998016 23678 4294967295 134512640 134716908 3221224560 3221223212 134536817 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25146 23679 1111 63 0 25083 0 vsize: 100584 [startup+560.017 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 24204 0 0 0 55920 96 0 0 25 0 1 0 902278830 104349696 24016 4294967295 134512640 134716908 3221224560 3221223216 134524067 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25476 24016 1111 63 0 25413 0 vsize: 101904 [startup+570.017 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 24424 0 0 0 56919 97 0 0 25 0 1 0 902278830 105160704 24236 4294967295 134512640 134716908 3221224560 3221223324 134523848 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25674 24236 1111 63 0 25611 0 vsize: 102696 [startup+580.017 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 24691 0 0 0 57919 97 0 0 25 0 1 0 902278830 106242048 24503 4294967295 134512640 134716908 3221224560 3221223296 134523930 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25938 24503 1111 63 0 25875 0 vsize: 103752 [startup+590.017 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 24886 0 0 0 58919 98 0 0 25 0 1 0 902278830 107053056 24698 4294967295 134512640 134716908 3221224560 3221223216 134523856 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 26136 24698 1111 63 0 26073 0 vsize: 104544 [startup+600.018 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 25029 0 0 0 59918 99 0 0 25 0 1 0 902278830 107728896 24841 4294967295 134512640 134716908 3221224560 3221223344 134529338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 26301 24841 1111 63 0 26238 0 vsize: 105204 [startup+610.018 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 25236 0 0 0 60918 99 0 0 25 0 1 0 902278830 108683264 25038 4294967295 134512640 134716908 3221224560 3221223116 134535664 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 26534 25038 1111 63 0 26471 0 vsize: 106136 [startup+620.019 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 25428 0 0 0 61917 101 0 0 25 0 1 0 902278830 109473792 25227 4294967295 134512640 134716908 3221224560 3221223344 134529368 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 26727 25227 1111 63 0 26664 0 vsize: 106908 [startup+630.019 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 25593 0 0 0 62917 101 0 0 25 0 1 0 902278830 110239744 25390 4294967295 134512640 134716908 3221224560 3221223296 134523930 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 26914 25390 1111 63 0 26851 0 vsize: 107656 [startup+640.02 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 25837 0 0 0 63916 102 0 0 25 0 1 0 902278830 111439872 25625 4294967295 134512640 134716908 3221224560 3221223332 134529109 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27207 25625 1111 63 0 27144 0 vsize: 108828 [startup+650.02 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 25988 0 0 0 64916 103 0 0 25 0 1 0 902278830 111980544 25776 4294967295 134512640 134716908 3221224560 3221223112 134698813 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27339 25776 1111 63 0 27276 0 vsize: 109356 [startup+660.02 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 26180 0 0 0 65916 104 0 0 25 0 1 0 902278830 112795648 25963 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27538 25963 1111 63 0 27475 0 vsize: 110152 [startup+670.02 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 26433 0 0 0 66915 105 0 0 25 0 1 0 902278830 113876992 26216 4294967295 134512640 134716908 3221224560 3221223264 134528481 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27802 26216 1111 63 0 27739 0 vsize: 111208 [startup+680.02 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 26633 0 0 0 67914 106 0 0 25 0 1 0 902278830 114688000 26416 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28000 26416 1111 63 0 27937 0 vsize: 112000 [startup+690.021 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 26877 0 0 0 68914 106 0 0 25 0 1 0 902278830 115879936 26656 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28291 26656 1111 63 0 28228 0 vsize: 113164 [startup+700.021 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 27079 0 0 0 69914 107 0 0 25 0 1 0 902278830 116555776 26858 4294967295 134512640 134716908 3221224560 3221223116 134535664 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28456 26858 1111 63 0 28393 0 vsize: 113824 [startup+710.022 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 27296 0 0 0 70914 108 0 0 25 0 1 0 902278830 117530624 27075 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28694 27075 1111 63 0 28631 0 vsize: 114776 [startup+720.022 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 27444 0 0 0 71914 108 0 0 25 0 1 0 902278830 118079488 27222 4294967295 134512640 134716908 3221224560 3221223208 134549509 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28828 27222 1111 63 0 28765 0 vsize: 115312 [startup+730.022 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 27663 0 0 0 72913 109 0 0 25 0 1 0 902278830 119119872 27430 4294967295 134512640 134716908 3221224560 3221223116 134535008 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29082 27430 1111 63 0 29019 0 vsize: 116328 [startup+740.022 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 27829 0 0 0 73913 109 0 0 25 0 1 0 902278830 119795712 27596 4294967295 134512640 134716908 3221224560 3221223120 134542352 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29247 27596 1111 63 0 29184 0 vsize: 116988 [startup+750.022 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 27965 0 0 0 74913 110 0 0 25 0 1 0 902278830 120422400 27729 4294967295 134512640 134716908 3221224560 3221223296 134523930 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29400 27729 1111 63 0 29337 0 vsize: 117600 [startup+760.023 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 28087 0 0 0 75913 110 0 0 25 0 1 0 902278830 121204736 27846 4294967295 134512640 134716908 3221224560 3221223264 134528650 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29591 27846 1111 63 0 29528 0 vsize: 118364 [startup+770.023 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 28220 0 0 0 76913 111 0 0 25 0 1 0 902278830 121610240 27979 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29690 27979 1111 63 0 29627 0 vsize: 118760 [startup+780.024 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 28376 0 0 0 77912 111 0 0 25 0 1 0 902278830 122351616 28126 4294967295 134512640 134716908 3221224560 3221223296 134523930 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29871 28126 1111 63 0 29808 0 vsize: 119484 [startup+790.024 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 28584 0 0 0 78912 112 0 0 25 0 1 0 902278830 123228160 28326 4294967295 134512640 134716908 3221224560 3221223264 134528671 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30085 28326 1111 63 0 30022 0 vsize: 120340 [startup+800.024 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 28733 0 0 0 79912 113 0 0 25 0 1 0 902278830 123953152 28475 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30262 28475 1111 63 0 30199 0 vsize: 121048 [startup+810.025 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 28845 0 0 0 80911 114 0 0 25 0 1 0 902278830 124358656 28587 4294967295 134512640 134716908 3221224560 3221223192 134552681 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30361 28587 1111 63 0 30298 0 vsize: 121444 [startup+820.026 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 29000 0 0 0 81911 114 0 0 25 0 1 0 902278830 124964864 28737 4294967295 134512640 134716908 3221224560 3221223184 134549689 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30509 28737 1111 63 0 30446 0 vsize: 122036 [startup+830.026 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 29120 0 0 0 82911 115 0 0 25 0 1 0 902278830 125505536 28857 4294967295 134512640 134716908 3221224560 3221223280 134535795 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30641 28857 1111 63 0 30578 0 vsize: 122564 [startup+840.026 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 29291 0 0 0 83911 115 0 0 25 0 1 0 902278830 126246912 29023 4294967295 134512640 134716908 3221224560 3221223264 134528595 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30822 29023 1111 63 0 30759 0 vsize: 123288 [startup+850.027 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 29439 0 0 0 84911 116 0 0 25 0 1 0 902278830 126836736 29170 4294967295 134512640 134716908 3221224560 3221223048 134552650 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30966 29170 1111 63 0 30903 0 vsize: 123864 [startup+860.027 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 29594 0 0 0 85911 116 0 0 25 0 1 0 902278830 127643648 29315 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 31163 29315 1111 63 0 31100 0 vsize: 124652 [startup+870.028 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 29664 0 0 0 86911 116 0 0 25 0 1 0 902278830 127979520 29376 4294967295 134512640 134716908 3221224560 3221223332 134529109 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 31245 29376 1111 63 0 31182 0 vsize: 124980 [startup+880.028 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 29781 0 0 0 87911 117 0 0 25 0 1 0 902278830 128462848 29493 4294967295 134512640 134716908 3221224560 3221223152 134549541 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 31363 29493 1111 63 0 31300 0 vsize: 125452 [startup+890.029 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 30056 0 0 0 88910 117 0 0 25 0 1 0 902278830 129609728 29759 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 31643 29759 1111 63 0 31580 0 vsize: 126572 [startup+900.029 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 30276 0 0 0 89910 118 0 0 25 0 1 0 902278830 130486272 29970 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 31857 29970 1111 63 0 31794 0 vsize: 127428 [startup+910.029 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 30449 0 0 0 90910 119 0 0 25 0 1 0 902278830 131297280 30143 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 32055 30143 1111 63 0 31992 0 vsize: 128220 [startup+920.029 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 30570 0 0 0 91909 120 0 0 25 0 1 0 902278830 131756032 30264 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 32167 30264 1111 63 0 32104 0 vsize: 128668 [startup+930.029 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 30661 0 0 0 92909 120 0 0 25 0 1 0 902278830 132161536 30355 4294967295 134512640 134716908 3221224560 3221223296 134528595 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 32266 30355 1111 63 0 32203 0 vsize: 129064 [startup+940.031 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 30766 0 0 0 93909 121 0 0 25 0 1 0 902278830 132636672 30460 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 32382 30460 1111 63 0 32319 0 vsize: 129528 [startup+950.03 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 30866 0 0 0 94909 121 0 0 25 0 1 0 902278830 133087232 30560 4294967295 134512640 134716908 3221224560 3221223116 134535967 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 32492 30560 1111 63 0 32429 0 vsize: 129968 [startup+960.032 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 30964 0 0 0 95909 122 0 0 25 0 1 0 902278830 133492736 30658 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 32591 30658 1111 63 0 32528 0 vsize: 130364 [startup+970.032 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 31080 0 0 0 96908 122 0 0 25 0 1 0 902278830 133898240 30774 4294967295 134512640 134716908 3221224560 3221223148 134535895 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 32690 30774 1111 63 0 32627 0 vsize: 130760 [startup+980.032 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 31202 0 0 0 97908 123 0 0 25 0 1 0 902278830 134438912 30896 4294967295 134512640 134716908 3221224560 3221223116 134535903 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 32822 30896 1111 63 0 32759 0 vsize: 131288 [startup+990.033 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 31357 0 0 0 98908 124 0 0 25 0 1 0 902278830 134979584 31051 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 32954 31051 1111 63 0 32891 0 vsize: 131816 [startup+1000.03 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 31486 0 0 0 99908 124 0 0 25 0 1 0 902278830 135618560 31177 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 33110 31177 1111 63 0 33047 0 vsize: 132440 [startup+1010.03 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 31584 0 0 0 100908 124 0 0 25 0 1 0 902278830 136024064 31275 4294967295 134512640 134716908 3221224560 3221223344 134529368 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 33209 31275 1111 63 0 33146 0 vsize: 132836 [startup+1020.03 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 31648 0 0 0 101908 125 0 0 25 0 1 0 902278830 136294400 31339 4294967295 134512640 134716908 3221224560 3221223344 134529097 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 33275 31339 1111 63 0 33212 0 vsize: 133100 [startup+1030.03 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 31727 0 0 0 102908 125 0 0 25 0 1 0 902278830 136572928 31418 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 33343 31418 1111 63 0 33280 0 vsize: 133372 [startup+1040.03 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 31803 0 0 0 103908 125 0 0 25 0 1 0 902278830 136708096 31494 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 33376 31494 1111 63 0 33313 0 vsize: 133504 [startup+1041.38 s] Raw data (loadavg): 0.99 0.98 0.92 1/53 31754 Raw data (stat): 31754 (bsolo_lpr_cuts-) R 31753 25568 25567 0 -1 0 31803 0 0 0 103908 125 0 0 25 0 1 0 902278830 136708096 31494 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 33376 31494 1111 63 0 33313 0 vsize: 0 Child status: 20 Real time (s): 1041.38 CPU time (s): 1041.69 CPU user time (s): 1040.37 CPU system time (s): 1.3158 CPU usage (%): 100.03 Max. virtual memory (Kb): 133504 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####