Name | normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga25_24_sat_pb.cnf.cr.opb |
MD5SUM | c84a64f67029a09ef823a1b3017b5713 |
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 | 26 |
Number of bits of the biggest sum of numbers | 5 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 0.562914 |
Number of variables | 900 |
Total number of constraints | 673 |
Number of constraints which are clauses | 624 |
Number of constraints which are cardinality constraints (but not clauses) | 49 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 12 |
Maximum length of a constraint | 25 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-02 18:15:24 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=388 boxname=wulflinc31 idbench=44 idsolver=1 numberseed=0 MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef /oldhome/oroussel/solvers/bsolo_lpr MD5SUM BENCH: c84a64f67029a09ef823a1b3017b5713 /oldhome/oroussel/tmp/wulflinc31/normalized-fpga25_24_sat_pb.cnf.cr.opb REAL COMMAND: bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-fpga25_24_sat_pb.cnf.cr.opb IDLAUNCH: 388 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.153 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 : 3 cpu MHz : 451.153 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 : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 926620 kB Buffers: 38580 kB Cached: 47380 kB SwapCached: 944 kB Active: 72500 kB Inactive: 15976 kB HighTotal: 131008 kB HighFree: 82600 kB LowTotal: 903652 kB LowFree: 844020 kB SwapTotal: 2097892 kB SwapFree: 2096432 kB Dirty: 56 kB Writeback: 0 kB Mapped: 5536 kB Slab: 14068 kB Committed_AS: 63604 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-02 18:35:00 (client local time) WITH STATUS 0 IN 1175.04 SECONDS stats: 388 7 1175.04 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 900 variables and 673 constraints. c After prepocess the problem consists of 900 variables and 673 constraints. c preprocess terminated 0.956 s c Not use computed LB before first solution. s UNKNOWN c Exit Code: 0 c Total time: 1175 s #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.86 0.95 0.97 2/54 26977 Raw data (stat): 26977 (runsolver) R 26976 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 642200065 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0 Raw data (statm): 258 100 215 215 0 43 0 vsize: 1032 [startup+9.99989 s] Raw data (loadavg): 0.88 0.96 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 1908 0 0 0 985 9 0 0 25 0 1 0 642200065 10891264 1829 4294967295 134512640 134714508 3221221776 3221220504 134535782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2659 1829 1111 63 0 2596 0 vsize: 10636 [startup+20.0008 s] Raw data (loadavg): 0.90 0.96 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 2235 0 0 0 1982 12 0 0 25 0 1 0 642200065 12218368 2156 4294967295 134512640 134714508 3221221776 3221220464 134528707 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2983 2156 1111 63 0 2920 0 vsize: 11932 [startup+30.0007 s] Raw data (loadavg): 0.91 0.96 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 2391 0 0 0 2981 14 0 0 25 0 1 0 642200065 12877824 2312 4294967295 134512640 134714508 3221221776 3221220472 134543665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3144 2312 1111 63 0 3081 0 vsize: 12576 [startup+40.0016 s] Raw data (loadavg): 0.93 0.96 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 2628 0 0 0 3978 16 0 0 25 0 1 0 642200065 13824000 2549 4294967295 134512640 134714508 3221221776 3221220400 134536678 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3375 2549 1111 63 0 3312 0 vsize: 13500 [startup+50.0029 s] Raw data (loadavg): 0.94 0.96 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 2944 0 0 0 4976 18 0 0 25 0 1 0 642200065 15151104 2865 4294967295 134512640 134714508 3221221776 3221220528 134592373 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3699 2865 1111 63 0 3636 0 vsize: 14796 [startup+60.0025 s] Raw data (loadavg): 0.95 0.96 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 3131 0 0 0 5975 20 0 0 25 0 1 0 642200065 15962112 3052 4294967295 134512640 134714508 3221221776 3221220272 134697328 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3897 3052 1111 63 0 3834 0 vsize: 15588 [startup+70.0035 s] Raw data (loadavg): 0.95 0.96 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 3239 0 0 0 6974 21 0 0 25 0 1 0 642200065 16363520 3160 4294967295 134512640 134714508 3221221776 3221220400 134536675 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3995 3160 1111 63 0 3932 0 vsize: 15980 [startup+80.0037 s] Raw data (loadavg): 0.96 0.96 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 3295 0 0 0 7972 23 0 0 25 0 1 0 642200065 16629760 3216 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4060 3216 1111 63 0 3997 0 vsize: 16240 [startup+90.0043 s] Raw data (loadavg): 0.97 0.96 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 3361 0 0 0 8972 24 0 0 25 0 1 0 642200065 16900096 3282 4294967295 134512640 134714508 3221221776 3221220368 134549544 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4126 3282 1111 63 0 4063 0 vsize: 16504 [startup+100.004 s] Raw data (loadavg): 0.97 0.96 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 3399 0 0 0 9971 25 0 0 25 0 1 0 642200065 17022976 3320 4294967295 134512640 134714508 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4156 3320 1111 63 0 4093 0 vsize: 16624 [startup+110.004 s] Raw data (loadavg): 0.98 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 3453 0 0 0 10970 26 0 0 25 0 1 0 642200065 17281024 3374 4294967295 134512640 134714508 3221221776 3221219952 134697253 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4219 3374 1111 63 0 4156 0 vsize: 16876 [startup+120.005 s] Raw data (loadavg): 0.98 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 3536 0 0 0 11968 28 0 0 25 0 1 0 642200065 17547264 3457 4294967295 134512640 134714508 3221221776 3221220404 134551958 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4284 3457 1111 63 0 4221 0 vsize: 17136 [startup+130.005 s] Raw data (loadavg): 0.98 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 3613 0 0 0 12968 28 0 0 25 0 1 0 642200065 17944576 3534 4294967295 134512640 134714508 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4381 3534 1111 63 0 4318 0 vsize: 17524 [startup+140.006 s] Raw data (loadavg): 0.98 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 3661 0 0 0 13967 30 0 0 25 0 1 0 642200065 18079744 3582 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4414 3582 1111 63 0 4351 0 vsize: 17656 [startup+150.007 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 3712 0 0 0 14966 31 0 0 25 0 1 0 642200065 18321408 3633 4294967295 134512640 134714508 3221221776 3221220260 134697361 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4473 3633 1111 63 0 4410 0 vsize: 17892 [startup+160.007 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 3761 0 0 0 15965 32 0 0 25 0 1 0 642200065 18456576 3682 4294967295 134512640 134714508 3221221776 3221220456 134552642 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4506 3682 1111 63 0 4443 0 vsize: 18024 [startup+170.007 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 3819 0 0 0 16964 33 0 0 25 0 1 0 642200065 18726912 3740 4294967295 134512640 134714508 3221221776 3221220452 1077374568 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4572 3740 1111 63 0 4509 0 vsize: 18288 [startup+180.007 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 3836 0 0 0 17964 33 0 0 25 0 1 0 642200065 18862080 3757 4294967295 134512640 134714508 3221221776 3221220520 134558492 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4605 3757 1111 63 0 4542 0 vsize: 18420 [startup+190.008 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 3859 0 0 0 18963 34 0 0 25 0 1 0 642200065 18862080 3780 4294967295 134512640 134714508 3221221776 3221220444 134551637 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4605 3780 1111 63 0 4542 0 vsize: 18420 [startup+200.008 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 3884 0 0 0 19963 35 0 0 25 0 1 0 642200065 18993152 3805 4294967295 134512640 134714508 3221221776 3221220384 134523393 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4637 3805 1111 63 0 4574 0 vsize: 18548 [startup+210.008 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 3900 0 0 0 20963 35 0 0 25 0 1 0 642200065 19116032 3821 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4667 3821 1111 63 0 4604 0 vsize: 18668 [startup+220.008 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 3936 0 0 0 21962 36 0 0 25 0 1 0 642200065 19243008 3857 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4698 3857 1111 63 0 4635 0 vsize: 18792 [startup+230.009 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 3953 0 0 0 22961 37 0 0 25 0 1 0 642200065 19243008 3874 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4698 3874 1111 63 0 4635 0 vsize: 18792 [startup+240.009 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 3958 0 0 0 23960 38 0 0 25 0 1 0 642200065 19374080 3879 4294967295 134512640 134714508 3221221776 3221220384 134549318 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4730 3879 1111 63 0 4667 0 vsize: 18920 [startup+250.009 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 3965 0 0 0 24959 39 0 0 25 0 1 0 642200065 19374080 3886 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4730 3886 1111 63 0 4667 0 vsize: 18920 [startup+260.009 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 4147 0 0 0 25958 40 0 0 25 0 1 0 642200065 20049920 4068 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4895 4068 1111 63 0 4832 0 vsize: 19580 [startup+270.009 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 4217 0 0 0 26957 42 0 0 25 0 1 0 642200065 20320256 4138 4294967295 134512640 134714508 3221221776 3221220416 134696082 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4961 4138 1111 63 0 4898 0 vsize: 19844 [startup+280.009 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 4228 0 0 0 27956 43 0 0 25 0 1 0 642200065 20451328 4149 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4993 4149 1111 63 0 4930 0 vsize: 19972 [startup+290.009 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 4232 0 0 0 28955 44 0 0 25 0 1 0 642200065 20451328 4153 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4993 4153 1111 63 0 4930 0 vsize: 19972 [startup+300.01 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 4239 0 0 0 29954 45 0 0 25 0 1 0 642200065 20451328 4160 4294967295 134512640 134714508 3221221776 3221220188 1077379846 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4993 4160 1111 63 0 4930 0 vsize: 19972 [startup+310.01 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 4285 0 0 0 30953 46 0 0 25 0 1 0 642200065 20721664 4206 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5059 4206 1111 63 0 4996 0 vsize: 20236 [startup+320.01 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 4327 0 0 0 31953 47 0 0 25 0 1 0 642200065 20856832 4248 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5092 4248 1111 63 0 5029 0 vsize: 20368 [startup+330.01 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 4368 0 0 0 32952 48 0 0 25 0 1 0 642200065 20992000 4289 4294967295 134512640 134714508 3221221776 3221220500 134613700 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5125 4289 1111 63 0 5062 0 vsize: 20500 [startup+340.01 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 4376 0 0 0 33952 48 0 0 25 0 1 0 642200065 20992000 4297 4294967295 134512640 134714508 3221221776 3221220496 134523874 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5125 4297 1111 63 0 5062 0 vsize: 20500 [startup+350.01 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 4376 0 0 0 34951 49 0 0 25 0 1 0 642200065 20992000 4297 4294967295 134512640 134714508 3221221776 3221220560 134529097 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5125 4297 1111 63 0 5062 0 vsize: 20500 [startup+360.011 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 4413 0 0 0 35950 51 0 0 25 0 1 0 642200065 21127168 4334 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5158 4334 1111 63 0 5095 0 vsize: 20632 [startup+370.01 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 4447 0 0 0 36949 51 0 0 25 0 1 0 642200065 21262336 4368 4294967295 134512640 134714508 3221221776 3221220416 134696094 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5191 4368 1111 63 0 5128 0 vsize: 20764 [startup+380.011 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 4458 0 0 0 37948 53 0 0 25 0 1 0 642200065 21397504 4379 4294967295 134512640 134714508 3221221776 3221220272 134535383 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5224 4379 1111 63 0 5161 0 vsize: 20896 [startup+390.01 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 4458 0 0 0 38946 54 0 0 25 0 1 0 642200065 21397504 4379 4294967295 134512640 134714508 3221221776 3221220532 134652855 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5224 4379 1111 63 0 5161 0 vsize: 20896 [startup+400.01 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 4488 0 0 0 39946 55 0 0 25 0 1 0 642200065 21532672 4409 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5257 4409 1111 63 0 5194 0 vsize: 21028 [startup+410.01 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 4513 0 0 0 40945 55 0 0 25 0 1 0 642200065 21532672 4434 4294967295 134512640 134714508 3221221776 3221220272 134535433 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5257 4434 1111 63 0 5194 0 vsize: 21028 [startup+420.011 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 4524 0 0 0 41945 56 0 0 25 0 1 0 642200065 21667840 4445 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5290 4445 1111 63 0 5227 0 vsize: 21160 [startup+430.011 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 4615 0 0 0 42943 57 0 0 25 0 1 0 642200065 22073344 4536 4294967295 134512640 134714508 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5389 4536 1111 63 0 5326 0 vsize: 21556 [startup+440.011 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 4654 0 0 0 43943 58 0 0 25 0 1 0 642200065 22208512 4575 4294967295 134512640 134714508 3221221776 3221220572 134554978 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5422 4575 1111 63 0 5359 0 vsize: 21688 [startup+450.011 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 4685 0 0 0 44942 59 0 0 25 0 1 0 642200065 22343680 4606 4294967295 134512640 134714508 3221221776 3221220560 134529088 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5455 4606 1111 63 0 5392 0 vsize: 21820 [startup+460.011 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 4698 0 0 0 45941 60 0 0 25 0 1 0 642200065 22343680 4619 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5455 4619 1111 63 0 5392 0 vsize: 21820 [startup+470.011 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 4724 0 0 0 46939 62 0 0 25 0 1 0 642200065 22478848 4645 4294967295 134512640 134714508 3221221776 3221220520 134524381 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5488 4645 1111 63 0 5425 0 vsize: 21952 [startup+480.011 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 4729 0 0 0 47939 63 0 0 25 0 1 0 642200065 22478848 4650 4294967295 134512640 134714508 3221221776 3221220368 134549517 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5488 4650 1111 63 0 5425 0 vsize: 21952 [startup+490.011 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 4755 0 0 0 48938 64 0 0 25 0 1 0 642200065 22614016 4676 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5521 4676 1111 63 0 5458 0 vsize: 22084 [startup+500.011 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 4770 0 0 0 49938 64 0 0 25 0 1 0 642200065 22585344 4691 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5514 4691 1111 63 0 5451 0 vsize: 22056 [startup+510.01 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 4770 0 0 0 50937 65 0 0 25 0 1 0 642200065 22585344 4691 4294967295 134512640 134714508 3221221776 3221220416 134696077 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5514 4691 1111 63 0 5451 0 vsize: 22056 [startup+520.01 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 4770 0 0 0 51936 66 0 0 25 0 1 0 642200065 22585344 4691 4294967295 134512640 134714508 3221221776 3221220440 134543614 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5514 4691 1111 63 0 5451 0 vsize: 22056 [startup+530.011 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 4770 0 0 0 52936 67 0 0 25 0 1 0 642200065 22585344 4691 4294967295 134512640 134714508 3221221776 3221220560 134529368 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5514 4691 1111 63 0 5451 0 vsize: 22056 [startup+540.01 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 4770 0 0 0 53935 67 0 0 25 0 1 0 642200065 22585344 4691 4294967295 134512640 134714508 3221221776 3221220416 134542350 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5514 4691 1111 63 0 5451 0 vsize: 22056 [startup+550.01 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 4798 0 0 0 54934 68 0 0 25 0 1 0 642200065 22822912 4719 4294967295 134512640 134714508 3221221776 3221220480 134528614 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5572 4719 1111 63 0 5509 0 vsize: 22288 [startup+560.01 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 4839 0 0 0 55933 70 0 0 25 0 1 0 642200065 22958080 4760 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5605 4760 1111 63 0 5542 0 vsize: 22420 [startup+570.01 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 4921 0 0 0 56932 71 0 0 25 0 1 0 642200065 23228416 4842 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5671 4842 1111 63 0 5608 0 vsize: 22684 [startup+580.01 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 4948 0 0 0 57932 71 0 0 25 0 1 0 642200065 23363584 4869 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5704 4869 1111 63 0 5641 0 vsize: 22816 [startup+590.01 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 5063 0 0 0 58931 72 0 0 25 0 1 0 642200065 23904256 4984 4294967295 134512640 134714508 3221221776 3221220400 134696234 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5836 4984 1111 63 0 5773 0 vsize: 23344 [startup+600.011 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 5285 0 0 0 59930 74 0 0 25 0 1 0 642200065 24715264 5206 4294967295 134512640 134714508 3221221776 3221220456 1077377291 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6034 5206 1111 63 0 5971 0 vsize: 24136 [startup+610.011 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 5342 0 0 0 60929 75 0 0 25 0 1 0 642200065 24977408 5263 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6098 5263 1111 63 0 6035 0 vsize: 24392 [startup+620.012 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 5366 0 0 0 61928 76 0 0 25 0 1 0 642200065 25112576 5287 4294967295 134512640 134714508 3221221776 3221220540 134534136 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6131 5287 1111 63 0 6068 0 vsize: 24524 [startup+630.012 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 5424 0 0 0 62926 78 0 0 25 0 1 0 642200065 25382912 5345 4294967295 134512640 134714508 3221221776 3221220416 134542347 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6197 5345 1111 63 0 6134 0 vsize: 24788 [startup+640.012 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 5478 0 0 0 63925 79 0 0 25 0 1 0 642200065 25518080 5399 4294967295 134512640 134714508 3221221776 3221220400 134542306 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6230 5399 1111 63 0 6167 0 vsize: 24920 [startup+650.012 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 5576 0 0 0 64924 80 0 0 25 0 1 0 642200065 25923584 5497 4294967295 134512640 134714508 3221221776 3221220416 134696082 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6329 5497 1111 63 0 6266 0 vsize: 25316 [startup+660.011 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 5643 0 0 0 65924 81 0 0 25 0 1 0 642200065 26193920 5564 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6395 5564 1111 63 0 6332 0 vsize: 25580 [startup+670.013 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 5665 0 0 0 66923 82 0 0 25 0 1 0 642200065 26329088 5586 4294967295 134512640 134714508 3221221776 3221220444 134543588 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6428 5586 1111 63 0 6365 0 vsize: 25712 [startup+680.012 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 5842 0 0 0 67922 83 0 0 25 0 1 0 642200065 27107328 5763 4294967295 134512640 134714508 3221221776 3221220416 134539362 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6618 5763 1111 63 0 6555 0 vsize: 26472 [startup+690.012 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 5888 0 0 0 68921 84 0 0 25 0 1 0 642200065 27242496 5809 4294967295 134512640 134714508 3221221776 3221220364 134535964 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6651 5809 1111 63 0 6588 0 vsize: 26604 [startup+700.013 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 5943 0 0 0 69920 85 0 0 25 0 1 0 642200065 27512832 5864 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6717 5864 1111 63 0 6654 0 vsize: 26868 [startup+710.04 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 5987 0 0 0 70923 86 0 0 25 0 1 0 642200065 27648000 5908 4294967295 134512640 134714508 3221221776 3221220416 134613454 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6750 5908 1111 63 0 6687 0 vsize: 27000 [startup+720.04 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 6045 0 0 0 71922 86 0 0 25 0 1 0 642200065 27918336 5966 4294967295 134512640 134714508 3221221776 3221220432 134536643 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6816 5966 1111 63 0 6753 0 vsize: 27264 [startup+730.04 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 6074 0 0 0 72921 88 0 0 25 0 1 0 642200065 28020736 5995 4294967295 134512640 134714508 3221221776 3221220560 134529192 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6841 5995 1111 63 0 6778 0 vsize: 27364 [startup+740.04 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 6092 0 0 0 73920 89 0 0 25 0 1 0 642200065 28012544 6013 4294967295 134512640 134714508 3221221776 3221220480 134528481 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6839 6013 1111 63 0 6776 0 vsize: 27356 [startup+750.04 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 6142 0 0 0 74919 90 0 0 25 0 1 0 642200065 28282880 6063 4294967295 134512640 134714508 3221221776 3221220316 134539235 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6905 6063 1111 63 0 6842 0 vsize: 27620 [startup+760.04 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 6164 0 0 0 75918 91 0 0 25 0 1 0 642200065 28418048 6085 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6938 6085 1111 63 0 6875 0 vsize: 27752 [startup+770.041 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 6184 0 0 0 76917 92 0 0 25 0 1 0 642200065 28418048 6105 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6938 6105 1111 63 0 6875 0 vsize: 27752 [startup+780.041 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 6198 0 0 0 77917 92 0 0 25 0 1 0 642200065 28553216 6119 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6971 6119 1111 63 0 6908 0 vsize: 27884 [startup+790.041 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 6248 0 0 0 78915 94 0 0 25 0 1 0 642200065 28688384 6169 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7004 6169 1111 63 0 6941 0 vsize: 28016 [startup+800.042 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 6269 0 0 0 79914 95 0 0 25 0 1 0 642200065 28782592 6190 4294967295 134512640 134714508 3221221776 3221220388 1077377141 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7027 6190 1111 63 0 6964 0 vsize: 28108 [startup+810.042 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 6293 0 0 0 80914 96 0 0 25 0 1 0 642200065 28917760 6214 4294967295 134512640 134714508 3221221776 3221220272 134535448 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7060 6214 1111 63 0 6997 0 vsize: 28240 [startup+820.042 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 6293 0 0 0 81913 97 0 0 25 0 1 0 642200065 28917760 6214 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7060 6214 1111 63 0 6997 0 vsize: 28240 [startup+830.043 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 6300 0 0 0 82912 98 0 0 25 0 1 0 642200065 28917760 6221 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7060 6221 1111 63 0 6997 0 vsize: 28240 [startup+840.042 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 6302 0 0 0 83911 99 0 0 25 0 1 0 642200065 28917760 6223 4294967295 134512640 134714508 3221221776 3221220396 134549508 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7060 6223 1111 63 0 6997 0 vsize: 28240 [startup+850.043 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 6330 0 0 0 84910 100 0 0 25 0 1 0 642200065 29052928 6251 4294967295 134512640 134714508 3221221776 3221220452 134536649 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7093 6251 1111 63 0 7030 0 vsize: 28372 [startup+860.042 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 6330 0 0 0 85910 100 0 0 25 0 1 0 642200065 29052928 6251 4294967295 134512640 134714508 3221221776 3221220340 134535678 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7093 6251 1111 63 0 7030 0 vsize: 28372 [startup+870.043 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 6352 0 0 0 86909 101 0 0 25 0 1 0 642200065 29155328 6273 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7118 6273 1111 63 0 7055 0 vsize: 28472 [startup+880.043 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 6371 0 0 0 87908 103 0 0 25 0 1 0 642200065 29155328 6292 4294967295 134512640 134714508 3221221776 3221220120 134697501 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7118 6292 1111 63 0 7055 0 vsize: 28472 [startup+890.043 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 6390 0 0 0 88907 104 0 0 25 0 1 0 642200065 29290496 6311 4294967295 134512640 134714508 3221221776 3221220536 134523849 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7151 6311 1111 63 0 7088 0 vsize: 28604 [startup+900.044 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 6406 0 0 0 89907 104 0 0 25 0 1 0 642200065 29290496 6327 4294967295 134512640 134714508 3221221776 3221220288 134535032 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7151 6327 1111 63 0 7088 0 vsize: 28604 [startup+910.044 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 6407 0 0 0 90906 104 0 0 25 0 1 0 642200065 29290496 6328 4294967295 134512640 134714508 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7151 6328 1111 63 0 7088 0 vsize: 28604 [startup+920.045 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 6443 0 0 0 91906 105 0 0 25 0 1 0 642200065 29560832 6364 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7217 6364 1111 63 0 7154 0 vsize: 28868 [startup+930.045 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 6506 0 0 0 92905 106 0 0 25 0 1 0 642200065 29798400 6427 4294967295 134512640 134714508 3221221776 3221220432 1077378566 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7275 6427 1111 63 0 7212 0 vsize: 29100 [startup+940.045 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 6506 0 0 0 93904 107 0 0 25 0 1 0 642200065 29798400 6427 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7275 6427 1111 63 0 7212 0 vsize: 29100 [startup+950.046 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 6506 0 0 0 94904 107 0 0 25 0 1 0 642200065 29798400 6427 4294967295 134512640 134714508 3221221776 3221220416 134696082 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7275 6427 1111 63 0 7212 0 vsize: 29100 [startup+960.045 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 6506 0 0 0 95904 108 0 0 25 0 1 0 642200065 29798400 6427 4294967295 134512640 134714508 3221221776 3221220448 134543712 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7275 6427 1111 63 0 7212 0 vsize: 29100 [startup+970.046 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 6518 0 0 0 96904 108 0 0 25 0 1 0 642200065 29798400 6439 4294967295 134512640 134714508 3221221776 3221220476 134534084 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7275 6439 1111 63 0 7212 0 vsize: 29100 [startup+980.047 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 6532 0 0 0 97904 108 0 0 25 0 1 0 642200065 29933568 6453 4294967295 134512640 134714508 3221221776 3221220512 134523859 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7308 6453 1111 63 0 7245 0 vsize: 29232 [startup+990.046 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 6546 0 0 0 98903 109 0 0 25 0 1 0 642200065 29933568 6467 4294967295 134512640 134714508 3221221776 3221220260 134697443 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7308 6467 1111 63 0 7245 0 vsize: 29232 [startup+1000.05 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 6552 0 0 0 99903 109 0 0 25 0 1 0 642200065 29933568 6473 4294967295 134512640 134714508 3221221776 3221220416 134613454 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7308 6473 1111 63 0 7245 0 vsize: 29232 [startup+1010.05 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 6569 0 0 0 100903 110 0 0 25 0 1 0 642200065 30068736 6490 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7341 6490 1111 63 0 7278 0 vsize: 29364 [startup+1020.05 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 6583 0 0 0 101902 111 0 0 25 0 1 0 642200065 30068736 6504 4294967295 134512640 134714508 3221221776 3221220464 134523171 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7341 6504 1111 63 0 7278 0 vsize: 29364 [startup+1030.05 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 6583 0 0 0 102901 112 0 0 25 0 1 0 642200065 30068736 6504 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7341 6504 1111 63 0 7278 0 vsize: 29364 [startup+1040.05 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 6605 0 0 0 103901 113 0 0 25 0 1 0 642200065 30203904 6526 4294967295 134512640 134714508 3221221776 3221220516 134594953 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7374 6526 1111 63 0 7311 0 vsize: 29496 [startup+1050.05 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 6637 0 0 0 104899 114 0 0 25 0 1 0 642200065 30339072 6558 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7407 6558 1111 63 0 7344 0 vsize: 29628 [startup+1060.05 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 6640 0 0 0 105899 114 0 0 25 0 1 0 642200065 30339072 6561 4294967295 134512640 134714508 3221221776 3221220304 134543030 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7407 6561 1111 63 0 7344 0 vsize: 29628 [startup+1070.05 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 6640 0 0 0 106899 115 0 0 25 0 1 0 642200065 30339072 6561 4294967295 134512640 134714508 3221221776 3221220584 134558492 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7407 6561 1111 63 0 7344 0 vsize: 29628 [startup+1080.05 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 6640 0 0 0 107899 115 0 0 25 0 1 0 642200065 30339072 6561 4294967295 134512640 134714508 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7407 6561 1111 63 0 7344 0 vsize: 29628 [startup+1090.05 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 6641 0 0 0 108898 116 0 0 25 0 1 0 642200065 30339072 6562 4294967295 134512640 134714508 3221221776 3221220488 134552681 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7407 6562 1111 63 0 7344 0 vsize: 29628 [startup+1100.05 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 6641 0 0 0 109897 117 0 0 25 0 1 0 642200065 30339072 6562 4294967295 134512640 134714508 3221221776 3221220368 134549527 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7407 6562 1111 63 0 7344 0 vsize: 29628 [startup+1110.05 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 6641 0 0 0 110897 118 0 0 25 0 1 0 642200065 30339072 6562 4294967295 134512640 134714508 3221221776 3221220404 134696230 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7407 6562 1111 63 0 7344 0 vsize: 29628 [startup+1120.05 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 6651 0 0 0 111896 119 0 0 25 0 1 0 642200065 30339072 6572 4294967295 134512640 134714508 3221221776 3221220172 1077379846 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7407 6572 1111 63 0 7344 0 vsize: 29628 [startup+1130.05 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 6656 0 0 0 112895 119 0 0 25 0 1 0 642200065 30339072 6577 4294967295 134512640 134714508 3221221776 3221220536 134552578 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7407 6577 1111 63 0 7344 0 vsize: 29628 [startup+1140.05 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 6659 0 0 0 113894 120 0 0 25 0 1 0 642200065 30339072 6580 4294967295 134512640 134714508 3221221776 3221220408 134552681 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7407 6580 1111 63 0 7344 0 vsize: 29628 [startup+1150.05 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 6659 0 0 0 114894 121 0 0 25 0 1 0 642200065 30339072 6580 4294967295 134512640 134714508 3221221776 3221220272 134697412 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7407 6580 1111 63 0 7344 0 vsize: 29628 [startup+1160.05 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 6663 0 0 0 115894 121 0 0 25 0 1 0 642200065 30339072 6584 4294967295 134512640 134714508 3221221776 3221219936 134697230 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7407 6584 1111 63 0 7344 0 vsize: 29628 [startup+1170.05 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 6670 0 0 0 116893 122 0 0 25 0 1 0 642200065 30466048 6591 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7438 6591 1111 63 0 7375 0 vsize: 29752 [startup+1174.93 s] Raw data (loadavg): 0.99 0.97 0.97 1/53 26977 Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 6670 0 0 0 116893 122 0 0 25 0 1 0 642200065 30466048 6591 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7438 6591 1111 63 0 7375 0 vsize: 0 Child status: 0 Real time (s): 1174.93 CPU time (s): 1175.04 CPU user time (s): 1173.79 CPU system time (s): 1.24181 CPU usage (%): 100.009 Max. virtual memory (Kb): 29752 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####