Name | normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga13_12_sat_pb.cnf.cr.opb |
MD5SUM | b895465c3a135658947941250991e4de |
Bench Category | no optimization function (SAT) |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 0 |
Optimality of the best value was proved | NO |
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 | 14 |
Number of bits of the biggest sum of numbers | 4 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 0.100984 |
Number of variables | 234 |
Total number of constraints | 193 |
Number of constraints which are clauses | 168 |
Number of constraints which are cardinality constraints (but not clauses) | 25 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 6 |
Maximum length of a constraint | 13 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc5 THE 2005-06-08 15:39:48 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=28646 boxname=wulflinc5 idbench=32 idsolver=21 numberseed=0 MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2 MD5SUM BENCH: b895465c3a135658947941250991e4de /oldhome/oroussel/tmp/wulflinc5/normalized-fpga13_12_sat_pb.cnf.cr.opb REAL COMMAND: bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-fpga13_12_sat_pb.cnf.cr.opb IDLAUNCH: 28646 /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: 855368 kB Buffers: 17304 kB Cached: 140736 kB SwapCached: 672 kB Active: 24160 kB Inactive: 135884 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 855116 kB SwapTotal: 2097136 kB SwapFree: 2095500 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5080 kB Slab: 13596 kB Committed_AS: 63604 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-08 15:59:23 (client local time) WITH STATUS 0 IN 1175.13 SECONDS stats: 28646 7 1175.13 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 234 variables and 193 constraints. c After prepocess the problem consists of 234 variables and 193 constraints. c preprocess terminated 0.124 s c Not use computed LB before first solution. s UNKNOWN c Exit Code: 0 c Total time: 1175.02 s #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Enforcing Stack size limit: 67108864 bytes Current StackSize limit: 67108864 bytes Raw data (loadavg): 0.91 0.95 0.90 1/54 20425 Raw data (stat): 20425 (runsolver) R 20424 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 902783731 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+9.99964 s] Raw data (loadavg): 0.93 0.95 0.90 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 3493 0 0 0 985 11 0 0 25 0 1 0 902783731 17379328 3411 4294967295 134512640 134716908 3221224560 3221223224 134536749 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4243 3411 1111 63 0 4180 0 vsize: 16972 [startup+20.0007 s] Raw data (loadavg): 0.94 0.96 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 5086 0 0 0 1981 16 0 0 25 0 1 0 902783731 24002560 5004 4294967295 134512640 134716908 3221224560 3221223208 134549509 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5860 5004 1111 63 0 5797 0 vsize: 23440 [startup+30.0014 s] Raw data (loadavg): 0.95 0.96 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 6148 0 0 0 2977 21 0 0 25 0 1 0 902783731 28348416 6066 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6921 6066 1111 63 0 6858 0 vsize: 27684 [startup+40.0008 s] Raw data (loadavg): 0.95 0.96 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 7389 0 0 0 3972 25 0 0 25 0 1 0 902783731 33484800 7307 4294967295 134512640 134716908 3221224560 3221223212 134536784 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8175 7307 1111 63 0 8112 0 vsize: 32700 [startup+50.0022 s] Raw data (loadavg): 0.96 0.96 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 8372 0 0 0 4969 28 0 0 25 0 1 0 902783731 37572608 8289 4294967295 134512640 134716908 3221224560 3221223216 134536753 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9173 8289 1111 63 0 9110 0 vsize: 36692 [startup+60.0026 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 9482 0 0 0 5965 32 0 0 25 0 1 0 902783731 42184704 9398 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10299 9398 1111 63 0 10236 0 vsize: 41196 [startup+70.0031 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 10484 0 0 0 6961 37 0 0 25 0 1 0 902783731 46288896 10397 4294967295 134512640 134716908 3221224560 3221223152 134549809 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11301 10397 1111 63 0 11238 0 vsize: 45204 [startup+80.0042 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 11365 0 0 0 7958 40 0 0 25 0 1 0 902783731 49803264 11276 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12159 11276 1111 63 0 12096 0 vsize: 48636 [startup+90.0039 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 12220 0 0 0 8956 43 0 0 25 0 1 0 902783731 53342208 12131 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13023 12131 1111 63 0 12960 0 vsize: 52092 [startup+100.004 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 13026 0 0 0 9953 46 0 0 25 0 1 0 902783731 56721408 12936 4294967295 134512640 134716908 3221224560 3221223192 134536665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13848 12936 1111 63 0 13785 0 vsize: 55392 [startup+110.005 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 13680 0 0 0 10950 48 0 0 25 0 1 0 902783731 59449344 13590 4294967295 134512640 134716908 3221224560 3221223344 134529412 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14514 13590 1111 63 0 14451 0 vsize: 58056 [startup+120.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 14225 0 0 0 11949 50 0 0 25 0 1 0 902783731 61657088 14132 4294967295 134512640 134716908 3221224560 3221223200 134536653 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15053 14132 1111 63 0 14990 0 vsize: 60212 [startup+130.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 14730 0 0 0 12948 52 0 0 25 0 1 0 902783731 63827968 14637 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15583 14637 1111 63 0 15520 0 vsize: 62332 [startup+140.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 15265 0 0 0 13945 55 0 0 25 0 1 0 902783731 66007040 15172 4294967295 134512640 134716908 3221224560 3221223116 134535664 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16115 15172 1111 63 0 16052 0 vsize: 64460 [startup+150.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 16058 0 0 0 14941 58 0 0 25 0 1 0 902783731 69259264 15965 4294967295 134512640 134716908 3221224560 3221223056 134535433 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16909 15965 1111 63 0 16846 0 vsize: 67636 [startup+160.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 16717 0 0 0 15938 62 0 0 25 0 1 0 902783731 71901184 16623 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17554 16623 1111 63 0 17491 0 vsize: 70216 [startup+170.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 17365 0 0 0 16935 65 0 0 25 0 1 0 902783731 74641408 17267 4294967295 134512640 134716908 3221224560 3221223252 134528601 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18223 17267 1111 63 0 18160 0 vsize: 72892 [startup+180.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 17927 0 0 0 17933 67 0 0 25 0 1 0 902783731 76939264 17829 4294967295 134512640 134716908 3221224560 3221223216 134536630 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18784 17829 1111 63 0 18721 0 vsize: 75136 [startup+190.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 18702 0 0 0 18930 70 0 0 25 0 1 0 902783731 80183296 18604 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19576 18604 1111 63 0 19513 0 vsize: 78304 [startup+200.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 19489 0 0 0 19927 74 0 0 25 0 1 0 902783731 83292160 19391 4294967295 134512640 134716908 3221224560 3221223016 1077378037 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20335 19392 1111 63 0 20272 0 vsize: 81340 [startup+210.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 20093 0 0 0 20924 77 0 0 25 0 1 0 902783731 85864448 19995 4294967295 134512640 134716908 3221224560 3221223320 134552642 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20963 19995 1111 63 0 20900 0 vsize: 83852 [startup+220.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 20528 0 0 0 21923 78 0 0 25 0 1 0 902783731 87572480 20430 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21380 20430 1111 63 0 21317 0 vsize: 85520 [startup+230.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 21152 0 0 0 22920 81 0 0 25 0 1 0 902783731 90214400 21054 4294967295 134512640 134716908 3221224560 3221223296 134523930 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22025 21054 1111 63 0 21962 0 vsize: 88100 [startup+240.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 21718 0 0 0 23919 82 0 0 25 0 1 0 902783731 92512256 21620 4294967295 134512640 134716908 3221224560 3221223184 134543097 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22586 21620 1111 63 0 22523 0 vsize: 90344 [startup+250.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 22233 0 0 0 24917 85 0 0 25 0 1 0 902783731 94674944 22135 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23114 22135 1111 63 0 23051 0 vsize: 92456 [startup+260.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 22604 0 0 0 25915 87 0 0 25 0 1 0 902783731 96202752 22506 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23487 22506 1111 63 0 23424 0 vsize: 93948 [startup+270.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 22932 0 0 0 26914 88 0 0 25 0 1 0 902783731 97599488 22832 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23828 22832 1111 63 0 23765 0 vsize: 95312 [startup+280.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 23380 0 0 0 27913 90 0 0 25 0 1 0 902783731 99610624 23274 4294967295 134512640 134716908 3221224560 3221223116 134535664 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24319 23274 1111 63 0 24256 0 vsize: 97276 [startup+290.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 23793 0 0 0 28911 91 0 0 25 0 1 0 902783731 101355520 23682 4294967295 134512640 134716908 3221224560 3221223152 134549544 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24745 23682 1111 63 0 24682 0 vsize: 98980 [startup+300.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 24200 0 0 0 29910 93 0 0 25 0 1 0 902783731 103108608 24084 4294967295 134512640 134716908 3221224560 3221223296 134535829 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25173 24084 1111 63 0 25110 0 vsize: 100692 [startup+310.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 24455 0 0 0 30909 94 0 0 25 0 1 0 902783731 104189952 24339 4294967295 134512640 134716908 3221224560 3221223056 134535433 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25437 24339 1111 63 0 25374 0 vsize: 101748 [startup+320.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 24831 0 0 0 31908 95 0 0 25 0 1 0 902783731 105676800 24715 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25800 24715 1111 63 0 25737 0 vsize: 103200 [startup+330.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 25273 0 0 0 32906 97 0 0 25 0 1 0 902783731 107675648 25156 4294967295 134512640 134716908 3221224560 3221223280 134535790 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 26288 25156 1111 63 0 26225 0 vsize: 105152 [startup+340.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 25644 0 0 0 33905 98 0 0 25 0 1 0 902783731 109162496 25527 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 26651 25527 1111 63 0 26588 0 vsize: 106604 [startup+350.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 26151 0 0 0 34904 100 0 0 25 0 1 0 902783731 111362048 26034 4294967295 134512640 134716908 3221224560 3221223116 134535664 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 27188 26034 1111 63 0 27125 0 vsize: 108752 [startup+360.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 26614 0 0 0 35902 102 0 0 25 0 1 0 902783731 113283072 26497 4294967295 134512640 134716908 3221224560 3221223152 134549544 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 27657 26497 1111 63 0 27594 0 vsize: 110628 [startup+370.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 27083 0 0 0 36900 104 0 0 25 0 1 0 902783731 115040256 26966 4294967295 134512640 134716908 3221224560 3221223328 134529376 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 28086 26966 1111 63 0 28023 0 vsize: 112344 [startup+380.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 27801 0 0 0 37897 107 0 0 25 0 1 0 902783731 118018048 27684 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 28813 27685 1111 63 0 28750 0 vsize: 115252 [startup+390.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 28282 0 0 0 38895 109 0 0 25 0 1 0 902783731 119910400 28165 4294967295 134512640 134716908 3221224560 3221223200 134536653 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29275 28165 1111 63 0 29212 0 vsize: 117100 [startup+400.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 28782 0 0 0 39894 110 0 0 25 0 1 0 902783731 121958400 28664 4294967295 134512640 134716908 3221224560 3221223152 134549668 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29775 28664 1111 63 0 29712 0 vsize: 119100 [startup+410.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 29211 0 0 0 40893 112 0 0 25 0 1 0 902783731 123715584 29093 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 30204 29093 1111 63 0 30141 0 vsize: 120816 [startup+420.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 29632 0 0 0 41891 113 0 0 25 0 1 0 902783731 125472768 29514 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 30633 29514 1111 63 0 30570 0 vsize: 122532 [startup+430.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 30129 0 0 0 42889 116 0 0 25 0 1 0 902783731 127389696 30010 4294967295 134512640 134716908 3221224560 3221223048 134552650 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31101 30010 1111 63 0 31038 0 vsize: 124404 [startup+440.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 30583 0 0 0 43888 117 0 0 25 0 1 0 902783731 129302528 30464 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31568 30464 1111 63 0 31505 0 vsize: 126272 [startup+450.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 31116 0 0 0 44886 119 0 0 25 0 1 0 902783731 131465216 30997 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 32096 30997 1111 63 0 32033 0 vsize: 128384 [startup+460.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 31481 0 0 0 45885 121 0 0 25 0 1 0 902783731 132993024 31362 4294967295 134512640 134716908 3221224560 3221223344 134529009 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 32469 31362 1111 63 0 32406 0 vsize: 129876 [startup+470.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 31786 0 0 0 46884 122 0 0 25 0 1 0 902783731 134242304 31665 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 32774 31665 1111 63 0 32711 0 vsize: 131096 [startup+480.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 32264 0 0 0 47882 124 0 0 25 0 1 0 902783731 136306688 32142 4294967295 134512640 134716908 3221224560 3221223212 134536828 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 33278 32142 1111 63 0 33215 0 vsize: 133112 [startup+490.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 32708 0 0 0 48881 126 0 0 25 0 1 0 902783731 138199040 32584 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 33740 32584 1111 63 0 33677 0 vsize: 134960 [startup+500.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 32964 0 0 0 49879 127 0 0 25 0 1 0 902783731 139292672 32840 4294967295 134512640 134716908 3221224560 3221223152 134549594 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 34007 32840 1111 63 0 33944 0 vsize: 136028 [startup+510.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 33320 0 0 0 50878 129 0 0 25 0 1 0 902783731 140644352 33195 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 34337 33195 1111 63 0 34274 0 vsize: 137348 [startup+520.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 33607 0 0 0 51877 130 0 0 25 0 1 0 902783731 141860864 33482 4294967295 134512640 134716908 3221224560 3221223152 134549751 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 34634 33482 1111 63 0 34571 0 vsize: 138536 [startup+530.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 33917 0 0 0 52876 131 0 0 25 0 1 0 902783731 143126528 33791 4294967295 134512640 134716908 3221224560 3221223056 134535335 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 34943 33791 1111 63 0 34880 0 vsize: 139772 [startup+540.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 34246 0 0 0 53874 133 0 0 25 0 1 0 902783731 144482304 34120 4294967295 134512640 134716908 3221224560 3221223344 134528883 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35274 34120 1111 63 0 35211 0 vsize: 141096 [startup+550.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 34527 0 0 0 54873 134 0 0 25 0 1 0 902783731 145739776 34397 4294967295 134512640 134716908 3221224560 3221223184 134698588 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35581 34397 1111 63 0 35518 0 vsize: 142324 [startup+560.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 34880 0 0 0 55872 136 0 0 25 0 1 0 902783731 147222528 34750 4294967295 134512640 134716908 3221224560 3221223296 134535742 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35943 34750 1111 63 0 35880 0 vsize: 143772 [startup+570.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 35250 0 0 0 56870 138 0 0 25 0 1 0 902783731 148766720 35120 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36320 35120 1111 63 0 36257 0 vsize: 145280 [startup+580.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 35538 0 0 0 57869 139 0 0 25 0 1 0 902783731 150061056 35408 4294967295 134512640 134716908 3221224560 3221223056 134535433 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36636 35408 1111 63 0 36573 0 vsize: 146544 [startup+590.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 35915 0 0 0 58868 140 0 0 25 0 1 0 902783731 151592960 35785 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 37010 35785 1111 63 0 36947 0 vsize: 148040 [startup+600.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 36422 0 0 0 59867 141 0 0 25 0 1 0 902783731 153755648 36292 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 37538 36292 1111 63 0 37475 0 vsize: 150152 [startup+610.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 36647 0 0 0 60867 142 0 0 25 0 1 0 902783731 154701824 36517 4294967295 134512640 134716908 3221224560 3221223320 134552642 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 37769 36517 1111 63 0 37706 0 vsize: 151076 [startup+620.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 36955 0 0 0 61866 143 0 0 25 0 1 0 902783731 155934720 36823 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 38070 36823 1111 63 0 38007 0 vsize: 152280 [startup+630.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 37179 0 0 0 62865 144 0 0 25 0 1 0 902783731 156880896 37047 4294967295 134512640 134716908 3221224560 3221223296 134528677 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 38301 37047 1111 63 0 38238 0 vsize: 153204 [startup+640.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 37471 0 0 0 63863 146 0 0 25 0 1 0 902783731 158097408 37339 4294967295 134512640 134716908 3221224560 3221223148 134535903 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 38598 37339 1111 63 0 38535 0 vsize: 154392 [startup+650.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 37903 0 0 0 64862 148 0 0 25 0 1 0 902783731 159854592 37771 4294967295 134512640 134716908 3221224560 3221223152 134549668 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39027 37771 1111 63 0 38964 0 vsize: 156108 [startup+660.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 38755 0 0 0 65858 152 0 0 25 0 1 0 902783731 163368960 38621 4294967295 134512640 134716908 3221224560 3221223152 134549594 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39885 38621 1111 63 0 39822 0 vsize: 159540 [startup+670.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 39426 0 0 0 66856 154 0 0 25 0 1 0 902783731 166072320 39292 4294967295 134512640 134716908 3221224560 3221223204 134523868 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 40545 39292 1111 63 0 40482 0 vsize: 162180 [startup+680.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 39890 0 0 0 67854 156 0 0 25 0 1 0 902783731 167964672 39756 4294967295 134512640 134716908 3221224560 3221223072 134535017 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 41007 39756 1111 63 0 40944 0 vsize: 164028 [startup+690.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 40349 0 0 0 68853 157 0 0 25 0 1 0 902783731 169930752 40211 4294967295 134512640 134716908 3221224560 3221223140 134549630 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 41487 40211 1111 63 0 41424 0 vsize: 165948 [startup+700.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 40666 0 0 0 69852 159 0 0 25 0 1 0 902783731 171147264 40528 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 41784 40528 1111 63 0 41721 0 vsize: 167136 [startup+710.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 40958 0 0 0 70851 160 0 0 25 0 1 0 902783731 172363776 40820 4294967295 134512640 134716908 3221224560 3221223212 134536766 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 42081 40820 1111 63 0 42018 0 vsize: 168324 [startup+720.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 41463 0 0 0 71849 162 0 0 25 0 1 0 902783731 174391296 41325 4294967295 134512640 134716908 3221224560 3221223332 134529109 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 42576 41325 1111 63 0 42513 0 vsize: 170304 [startup+730.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 42136 0 0 0 72847 164 0 0 25 0 1 0 902783731 177131520 41997 4294967295 134512640 134716908 3221224560 3221223216 134536721 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43245 41997 1111 63 0 43182 0 vsize: 172980 [startup+740.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 42608 0 0 0 73846 166 0 0 25 0 1 0 902783731 179023872 42469 4294967295 134512640 134716908 3221224560 3221223116 134535664 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43707 42469 1111 63 0 43644 0 vsize: 174828 [startup+750.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 42866 0 0 0 74844 167 0 0 25 0 1 0 902783731 180109312 42723 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43972 42723 1111 63 0 43909 0 vsize: 175888 [startup+760.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 43301 0 0 0 75842 169 0 0 25 0 1 0 902783731 181866496 43158 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44401 43158 1111 63 0 44338 0 vsize: 177604 [startup+770.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 43626 0 0 0 76841 171 0 0 25 0 1 0 902783731 183218176 43483 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44731 43483 1111 63 0 44668 0 vsize: 178924 [startup+780.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 43900 0 0 0 77840 172 0 0 25 0 1 0 902783731 184299520 43757 4294967295 134512640 134716908 3221224560 3221223304 134523854 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44995 43757 1111 63 0 44932 0 vsize: 179980 [startup+790.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 44199 0 0 0 78839 173 0 0 25 0 1 0 902783731 185663488 44056 4294967295 134512640 134716908 3221224560 3221223288 134535782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45328 44056 1111 63 0 45265 0 vsize: 181312 [startup+800.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 44564 0 0 0 79838 174 0 0 25 0 1 0 902783731 187023360 44421 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45660 44421 1111 63 0 45597 0 vsize: 182640 [startup+810.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 45181 0 0 0 80836 177 0 0 25 0 1 0 902783731 189812736 45034 4294967295 134512640 134716908 3221224560 3221223188 134698613 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 46341 45034 1111 63 0 46278 0 vsize: 185364 [startup+820.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 45779 0 0 0 81833 180 0 0 25 0 1 0 902783731 192245760 45632 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 46935 45632 1111 63 0 46872 0 vsize: 187740 [startup+830.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 46239 0 0 0 82831 182 0 0 25 0 1 0 902783731 194015232 46091 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 47367 46091 1111 63 0 47304 0 vsize: 189468 [startup+840.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 46621 0 0 0 83830 183 0 0 25 0 1 0 902783731 195670016 46472 4294967295 134512640 134716908 3221224560 3221223272 134552681 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 47771 46472 1111 63 0 47708 0 vsize: 191084 [startup+850.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 46953 0 0 0 84829 184 0 0 25 0 1 0 902783731 197021696 46804 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 48101 46804 1111 63 0 48038 0 vsize: 192404 [startup+860.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 47164 0 0 0 85829 185 0 0 25 0 1 0 902783731 197832704 47015 4294967295 134512640 134716908 3221224560 3221223152 134549544 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 48299 47015 1111 63 0 48236 0 vsize: 193196 [startup+870.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 47481 0 0 0 86828 186 0 0 25 0 1 0 902783731 199184384 47332 4294967295 134512640 134716908 3221224560 3221223200 134542368 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 48629 47332 1111 63 0 48566 0 vsize: 194516 [startup+880.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 47774 0 0 0 87827 187 0 0 25 0 1 0 902783731 200466432 47620 4294967295 134512640 134716908 3221224560 3221223136 134549718 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 48942 47620 1111 63 0 48879 0 vsize: 195768 [startup+890.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 48034 0 0 0 88827 187 0 0 25 0 1 0 902783731 201621504 47878 4294967295 134512640 134716908 3221224560 3221223200 134698475 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 49224 47878 1111 63 0 49161 0 vsize: 196896 [startup+900.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 48265 0 0 0 89825 189 0 0 25 0 1 0 902783731 202567680 48109 4294967295 134512640 134716908 3221224560 3221223324 134552548 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 49455 48109 1111 63 0 49392 0 vsize: 197820 [startup+910.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 48727 0 0 0 90824 191 0 0 25 0 1 0 902783731 204398592 48570 4294967295 134512640 134716908 3221224560 3221223344 134529243 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 49902 48570 1111 63 0 49839 0 vsize: 199608 [startup+920.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 49021 0 0 0 91823 191 0 0 25 0 1 0 902783731 205615104 48864 4294967295 134512640 134716908 3221224560 3221223216 134524067 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 50199 48864 1111 63 0 50136 0 vsize: 200796 [startup+930.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 49328 0 0 0 92822 193 0 0 25 0 1 0 902783731 206897152 49162 4294967295 134512640 134716908 3221224560 3221223296 134523930 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 50512 49162 1111 63 0 50449 0 vsize: 202048 [startup+940.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 49562 0 0 0 93821 194 0 0 25 0 1 0 902783731 207880192 49394 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 50752 49394 1111 63 0 50689 0 vsize: 203008 [startup+950.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 49796 0 0 0 94820 195 0 0 25 0 1 0 902783731 208826368 49628 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 50983 49628 1111 63 0 50920 0 vsize: 203932 [startup+960.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 50156 0 0 0 95819 196 0 0 25 0 1 0 902783731 210444288 49979 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 51378 49979 1111 63 0 51315 0 vsize: 205512 [startup+970.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 50444 0 0 0 96818 198 0 0 25 0 1 0 902783731 211664896 50267 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 51676 50267 1111 63 0 51613 0 vsize: 206704 [startup+980.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 50709 0 0 0 97817 199 0 0 25 0 1 0 902783731 212824064 50532 4294967295 134512640 134716908 3221224560 3221223152 134549680 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 51959 50532 1111 63 0 51896 0 vsize: 207836 [startup+990.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 50978 0 0 0 98816 200 0 0 25 0 1 0 902783731 214126592 50798 4294967295 134512640 134716908 3221224560 3221222880 134699833 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 52277 50798 1111 63 0 52214 0 vsize: 209108 [startup+1000.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 51267 0 0 0 99815 201 0 0 25 0 1 0 902783731 215216128 51087 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 52543 51087 1111 63 0 52480 0 vsize: 210172 [startup+1010.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 51555 0 0 0 100814 202 0 0 25 0 1 0 902783731 216432640 51375 4294967295 134512640 134716908 3221224560 3221223264 134528721 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 52840 51375 1111 63 0 52777 0 vsize: 211360 [startup+1020.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 51812 0 0 0 101813 204 0 0 25 0 1 0 902783731 217579520 51623 4294967295 134512640 134716908 3221224560 3221223188 134698605 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 53120 51623 1111 63 0 53057 0 vsize: 212480 [startup+1030.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 51985 0 0 0 102812 205 0 0 25 0 1 0 902783731 218255360 51796 4294967295 134512640 134716908 3221224560 3221223280 134535790 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 53285 51796 1111 63 0 53222 0 vsize: 213140 [startup+1040.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 52134 0 0 0 103812 205 0 0 25 0 1 0 902783731 218796032 51945 4294967295 134512640 134716908 3221224560 3221223280 134523874 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 53417 51945 1111 63 0 53354 0 vsize: 213668 [startup+1050.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 52253 0 0 0 104812 206 0 0 25 0 1 0 902783731 219262976 52064 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 53531 52064 1111 63 0 53468 0 vsize: 214124 [startup+1060.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 52409 0 0 0 105812 206 0 0 25 0 1 0 902783731 220073984 52214 4294967295 134512640 134716908 3221224560 3221223344 134529368 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 53729 52214 1111 63 0 53666 0 vsize: 214916 [startup+1070.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 52593 0 0 0 106811 207 0 0 25 0 1 0 902783731 220950528 52391 4294967295 134512640 134716908 3221224560 3221223248 134536638 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 53943 52391 1111 63 0 53880 0 vsize: 215772 [startup+1080.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 52737 0 0 0 107811 207 0 0 25 0 1 0 902783731 221491200 52535 4294967295 134512640 134716908 3221224560 3221223296 134523930 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 54075 52535 1111 63 0 54012 0 vsize: 216300 [startup+1090.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 52888 0 0 0 108811 207 0 0 25 0 1 0 902783731 222154752 52685 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 54237 52685 1111 63 0 54174 0 vsize: 216948 [startup+1100.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 53008 0 0 0 109810 208 0 0 25 0 1 0 902783731 222695424 52805 4294967295 134512640 134716908 3221224560 3221223264 134528595 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 54369 52805 1111 63 0 54306 0 vsize: 217476 [startup+1110.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 53251 0 0 0 110810 209 0 0 25 0 1 0 902783731 223707136 53042 4294967295 134512640 134716908 3221224560 3221223264 134528653 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 54616 53042 1111 63 0 54553 0 vsize: 218464 [startup+1120.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 53470 0 0 0 111810 209 0 0 25 0 1 0 902783731 224686080 53261 4294967295 134512640 134716908 3221224560 3221223056 134535448 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 54855 53261 1111 63 0 54792 0 vsize: 219420 [startup+1130.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 53615 0 0 0 112809 210 0 0 25 0 1 0 902783731 225275904 53403 4294967295 134512640 134716908 3221224560 3221223328 134529136 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 54999 53403 1111 63 0 54936 0 vsize: 219996 [startup+1140.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 53803 0 0 0 113809 211 0 0 25 0 1 0 902783731 226013184 53590 4294967295 134512640 134716908 3221224560 3221223344 134529177 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 55179 53590 1111 63 0 55116 0 vsize: 220716 [startup+1150.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 53988 0 0 0 114808 211 0 0 25 0 1 0 902783731 226889728 53766 4294967295 134512640 134716908 3221224560 3221223216 134536707 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 55393 53766 1111 63 0 55330 0 vsize: 221572 [startup+1160.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 54086 0 0 0 115808 212 0 0 25 0 1 0 902783731 227295232 53862 4294967295 134512640 134716908 3221224560 3221223252 134528601 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 55492 53862 1111 63 0 55429 0 vsize: 221968 [startup+1170.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 54343 0 0 0 116807 213 0 0 25 0 1 0 902783731 228270080 54119 4294967295 134512640 134716908 3221224560 3221223324 134524382 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 55730 54119 1111 63 0 55667 0 vsize: 222920 [startup+1174.95 s] Raw data (loadavg): 0.99 0.97 0.91 1/53 20425 Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 54343 0 0 0 116807 213 0 0 25 0 1 0 902783731 228270080 54119 4294967295 134512640 134716908 3221224560 3221223324 134524382 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 55730 54119 1111 63 0 55667 0 vsize: 0 Child status: 0 Real time (s): 1174.95 CPU time (s): 1175.13 CPU user time (s): 1172.88 CPU system time (s): 2.24266 CPU usage (%): 100.015 Max. virtual memory (Kb): 222920 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####