Name | normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga35_33_sat_pb.cnf.cr.opb |
MD5SUM | d4fd8917eebbcee2e1b2df9714e1fab8 |
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 | 36 |
Number of bits of the biggest sum of numbers | 6 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.59276 |
Number of variables | 1733 |
Total number of constraints | 1256 |
Number of constraints which are clauses | 1188 |
Number of constraints which are cardinality constraints (but not clauses) | 68 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 17 |
Maximum length of a constraint | 35 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-03 00:22:56 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=433 boxname=wulflinc31 idbench=49 idsolver=1 numberseed=0 MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef /oldhome/oroussel/solvers/bsolo_lpr MD5SUM BENCH: d4fd8917eebbcee2e1b2df9714e1fab8 /oldhome/oroussel/tmp/wulflinc31/normalized-fpga35_33_sat_pb.cnf.cr.opb REAL COMMAND: bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-fpga35_33_sat_pb.cnf.cr.opb IDLAUNCH: 433 /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: 925132 kB Buffers: 39032 kB Cached: 48288 kB SwapCached: 944 kB Active: 73304 kB Inactive: 16560 kB HighTotal: 131008 kB HighFree: 81648 kB LowTotal: 903652 kB LowFree: 843484 kB SwapTotal: 2097892 kB SwapFree: 2096432 kB Dirty: 160 kB Writeback: 0 kB Mapped: 5536 kB Slab: 14136 kB Committed_AS: 63656 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-03 00:42:31 (client local time) WITH STATUS 0 IN 1175.05 SECONDS stats: 433 7 1175.05 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 1733 variables and 1256 constraints. c After prepocess the problem consists of 1733 variables and 1256 constraints. c preprocess terminated 3.109 s c Not use computed LB before first solution. s UNKNOWN c Exit Code: 0 c Total time: 1175.01 s #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.92 1.00 1.23 2/54 29697 Raw data (stat): 29697 (runsolver) R 29696 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 644405476 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0 Raw data (statm): 258 100 215 215 0 43 0 vsize: 1032 [startup+10.0003 s] Raw data (loadavg): 1.01 1.02 1.23 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 1844 0 0 0 982 8 0 0 25 0 1 0 644405476 10625024 1765 4294967295 134512640 134714508 3221221776 3221220540 134592362 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2594 1765 1111 63 0 2531 0 vsize: 10376 [startup+19.9995 s] Raw data (loadavg): 1.00 1.02 1.23 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 2061 0 0 0 1979 11 0 0 25 0 1 0 644405476 11571200 1982 4294967295 134512640 134714508 3221221776 3221220332 134535942 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2825 1982 1111 63 0 2762 0 vsize: 11300 [startup+30 s] Raw data (loadavg): 1.00 1.02 1.23 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 2119 0 0 0 2977 13 0 0 25 0 1 0 644405476 11841536 2040 4294967295 134512640 134714508 3221221776 3221220416 134696295 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2891 2040 1111 63 0 2828 0 vsize: 11564 [startup+39.9998 s] Raw data (loadavg): 1.00 1.02 1.22 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 2267 0 0 0 3974 16 0 0 25 0 1 0 644405476 12378112 2188 4294967295 134512640 134714508 3221221776 3221220392 134613965 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3022 2188 1111 63 0 2959 0 vsize: 12088 [startup+49.9994 s] Raw data (loadavg): 1.00 1.02 1.22 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 2320 0 0 0 4972 18 0 0 25 0 1 0 644405476 12648448 2241 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3088 2241 1111 63 0 3025 0 vsize: 12352 [startup+60 s] Raw data (loadavg): 1.08 1.03 1.22 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 2361 0 0 0 5970 21 0 0 25 0 1 0 644405476 12783616 2282 4294967295 134512640 134714508 3221221776 3221220452 1077374455 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3121 2282 1111 63 0 3058 0 vsize: 12484 [startup+70.0005 s] Raw data (loadavg): 1.07 1.03 1.22 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 2402 0 0 0 6968 23 0 0 25 0 1 0 644405476 12918784 2323 4294967295 134512640 134714508 3221221776 3221220480 134528732 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3154 2323 1111 63 0 3091 0 vsize: 12616 [startup+80.0014 s] Raw data (loadavg): 1.06 1.03 1.22 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 2442 0 0 0 7967 24 0 0 25 0 1 0 644405476 13180928 2363 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3218 2363 1111 63 0 3155 0 vsize: 12872 [startup+90.0017 s] Raw data (loadavg): 1.05 1.03 1.21 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 2511 0 0 0 8965 26 0 0 25 0 1 0 644405476 13430784 2432 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3279 2432 1111 63 0 3216 0 vsize: 13116 [startup+100.001 s] Raw data (loadavg): 1.04 1.03 1.21 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 2546 0 0 0 9963 28 0 0 25 0 1 0 644405476 13565952 2467 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3312 2467 1111 63 0 3249 0 vsize: 13248 [startup+110.002 s] Raw data (loadavg): 1.03 1.02 1.21 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 2783 0 0 0 10961 30 0 0 25 0 1 0 644405476 14508032 2704 4294967295 134512640 134714508 3221221776 3221220480 134528410 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3542 2704 1111 63 0 3479 0 vsize: 14168 [startup+120.003 s] Raw data (loadavg): 1.03 1.02 1.21 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 2802 0 0 0 11960 32 0 0 25 0 1 0 644405476 14643200 2723 4294967295 134512640 134714508 3221221776 3221220572 134554961 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3575 2723 1111 63 0 3512 0 vsize: 14300 [startup+130.005 s] Raw data (loadavg): 1.02 1.02 1.20 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 2874 0 0 0 12960 32 0 0 25 0 1 0 644405476 14909440 2795 4294967295 134512640 134714508 3221221776 3221220400 134696025 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3640 2795 1111 63 0 3577 0 vsize: 14560 [startup+140.005 s] Raw data (loadavg): 1.02 1.02 1.20 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 2874 0 0 0 13959 33 0 0 25 0 1 0 644405476 14909440 2795 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3640 2795 1111 63 0 3577 0 vsize: 14560 [startup+150.006 s] Raw data (loadavg): 1.02 1.02 1.20 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 2908 0 0 0 14958 34 0 0 25 0 1 0 644405476 15044608 2829 4294967295 134512640 134714508 3221221776 3221220288 134535391 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3673 2829 1111 63 0 3610 0 vsize: 14692 [startup+160.008 s] Raw data (loadavg): 1.01 1.02 1.19 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 2933 0 0 0 15958 35 0 0 25 0 1 0 644405476 15179776 2854 4294967295 134512640 134714508 3221221776 3221220460 134552651 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3706 2854 1111 63 0 3643 0 vsize: 14824 [startup+170.009 s] Raw data (loadavg): 1.01 1.02 1.19 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 3019 0 0 0 16955 38 0 0 25 0 1 0 644405476 15450112 2940 4294967295 134512640 134714508 3221221776 3221220464 134551944 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3772 2940 1111 63 0 3709 0 vsize: 15088 [startup+180.01 s] Raw data (loadavg): 1.01 1.02 1.19 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 3055 0 0 0 17954 39 0 0 25 0 1 0 644405476 15585280 2976 4294967295 134512640 134714508 3221221776 3221220416 134696011 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3805 2976 1111 63 0 3742 0 vsize: 15220 [startup+190.011 s] Raw data (loadavg): 1.01 1.02 1.18 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 3074 0 0 0 18953 40 0 0 25 0 1 0 644405476 15720448 2995 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3838 2995 1111 63 0 3775 0 vsize: 15352 [startup+200.012 s] Raw data (loadavg): 1.00 1.02 1.18 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 3130 0 0 0 19951 42 0 0 25 0 1 0 644405476 15990784 3051 4294967295 134512640 134714508 3221221776 3221220416 134542303 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3904 3051 1111 63 0 3841 0 vsize: 15616 [startup+210.013 s] Raw data (loadavg): 1.00 1.02 1.18 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 3130 0 0 0 20951 43 0 0 25 0 1 0 644405476 15990784 3051 4294967295 134512640 134714508 3221221776 3221220384 134523171 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3904 3051 1111 63 0 3841 0 vsize: 15616 [startup+220.014 s] Raw data (loadavg): 1.00 1.01 1.18 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 3196 0 0 0 21950 44 0 0 25 0 1 0 644405476 16261120 3117 4294967295 134512640 134714508 3221221776 3221220544 134529281 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3970 3117 1111 63 0 3907 0 vsize: 15880 [startup+230.016 s] Raw data (loadavg): 1.00 1.01 1.18 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 3223 0 0 0 22949 45 0 0 25 0 1 0 644405476 16396288 3144 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4003 3144 1111 63 0 3940 0 vsize: 16012 [startup+240.018 s] Raw data (loadavg): 1.00 1.01 1.17 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 3223 0 0 0 23949 46 0 0 25 0 1 0 644405476 16338944 3144 4294967295 134512640 134714508 3221221776 3221220416 134613454 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3989 3144 1111 63 0 3926 0 vsize: 15956 [startup+250.018 s] Raw data (loadavg): 1.00 1.01 1.17 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 3276 0 0 0 24948 47 0 0 25 0 1 0 644405476 16609280 3197 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4055 3197 1111 63 0 3992 0 vsize: 16220 [startup+260.02 s] Raw data (loadavg): 1.00 1.01 1.17 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 3276 0 0 0 25946 49 0 0 25 0 1 0 644405476 16601088 3197 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4053 3197 1111 63 0 3990 0 vsize: 16212 [startup+270.021 s] Raw data (loadavg): 1.00 1.01 1.17 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 3438 0 0 0 26944 51 0 0 25 0 1 0 644405476 17276928 3359 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4218 3359 1111 63 0 4155 0 vsize: 16872 [startup+280.022 s] Raw data (loadavg): 1.00 1.01 1.17 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 3494 0 0 0 27943 52 0 0 25 0 1 0 644405476 17412096 3415 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4251 3415 1111 63 0 4188 0 vsize: 17004 [startup+290.024 s] Raw data (loadavg): 1.00 1.01 1.16 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 3571 0 0 0 28942 54 0 0 25 0 1 0 644405476 17809408 3492 4294967295 134512640 134714508 3221221776 3221220212 1077374469 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4348 3492 1111 63 0 4285 0 vsize: 17392 [startup+300.024 s] Raw data (loadavg): 1.00 1.01 1.16 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 3669 0 0 0 29940 55 0 0 25 0 1 0 644405476 18202624 3590 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4444 3590 1111 63 0 4381 0 vsize: 17776 [startup+310.026 s] Raw data (loadavg): 1.00 1.01 1.16 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 3845 0 0 0 30939 57 0 0 25 0 1 0 644405476 18874368 3766 4294967295 134512640 134714508 3221221776 3221220480 134528653 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4608 3766 1111 63 0 4545 0 vsize: 18432 [startup+320.026 s] Raw data (loadavg): 1.00 1.00 1.16 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 4060 0 0 0 31937 59 0 0 25 0 1 0 644405476 19783680 3981 4294967295 134512640 134714508 3221221776 3221220384 134548837 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4830 3981 1111 63 0 4767 0 vsize: 19320 [startup+330.027 s] Raw data (loadavg): 1.00 1.00 1.16 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 4169 0 0 0 32935 61 0 0 25 0 1 0 644405476 20189184 4090 4294967295 134512640 134714508 3221221776 3221220536 134552570 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4929 4090 1111 63 0 4866 0 vsize: 19716 [startup+340.027 s] Raw data (loadavg): 1.00 1.00 1.15 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 4330 0 0 0 33934 63 0 0 25 0 1 0 644405476 20860928 4251 4294967295 134512640 134714508 3221221776 3221220520 134558492 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5093 4251 1111 63 0 5030 0 vsize: 20372 [startup+350.027 s] Raw data (loadavg): 1.00 1.00 1.15 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 4407 0 0 0 34932 65 0 0 25 0 1 0 644405476 21131264 4328 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5159 4328 1111 63 0 5096 0 vsize: 20636 [startup+360.029 s] Raw data (loadavg): 1.00 1.00 1.15 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 4562 0 0 0 35931 66 0 0 25 0 1 0 644405476 21807104 4483 4294967295 134512640 134714508 3221221776 3221220416 134696085 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5324 4483 1111 63 0 5261 0 vsize: 21296 [startup+370.028 s] Raw data (loadavg): 1.00 1.00 1.15 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 4588 0 0 0 36929 68 0 0 25 0 1 0 644405476 21942272 4509 4294967295 134512640 134714508 3221221776 3221220544 134592107 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5357 4509 1111 63 0 5294 0 vsize: 21428 [startup+380.029 s] Raw data (loadavg): 1.00 1.00 1.15 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 4704 0 0 0 37929 69 0 0 25 0 1 0 644405476 22347776 4625 4294967295 134512640 134714508 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5456 4625 1111 63 0 5393 0 vsize: 21824 [startup+390.03 s] Raw data (loadavg): 1.00 1.00 1.14 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 4783 0 0 0 38927 71 0 0 25 0 1 0 644405476 22732800 4704 4294967295 134512640 134714508 3221221776 3221220416 134542352 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5550 4704 1111 63 0 5487 0 vsize: 22200 [startup+400.03 s] Raw data (loadavg): 1.00 1.00 1.14 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 4867 0 0 0 39925 72 0 0 25 0 1 0 644405476 23138304 4788 4294967295 134512640 134714508 3221221776 3221220272 134697415 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5649 4788 1111 63 0 5586 0 vsize: 22596 [startup+410.03 s] Raw data (loadavg): 1.00 1.00 1.14 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 4907 0 0 0 40924 73 0 0 25 0 1 0 644405476 23273472 4828 4294967295 134512640 134714508 3221221776 3221220384 134548659 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5682 4828 1111 63 0 5619 0 vsize: 22728 [startup+420.03 s] Raw data (loadavg): 1.00 1.00 1.14 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 4947 0 0 0 41923 74 0 0 25 0 1 0 644405476 23408640 4868 4294967295 134512640 134714508 3221221776 3221220488 134558477 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5715 4868 1111 63 0 5652 0 vsize: 22860 [startup+430.031 s] Raw data (loadavg): 1.00 1.00 1.14 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 4983 0 0 0 42921 77 0 0 25 0 1 0 644405476 23543808 4904 4294967295 134512640 134714508 3221221776 3221220512 134528650 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5748 4904 1111 63 0 5685 0 vsize: 22992 [startup+440.031 s] Raw data (loadavg): 1.00 1.00 1.13 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 5034 0 0 0 43920 78 0 0 25 0 1 0 644405476 23814144 4955 4294967295 134512640 134714508 3221221776 3221220416 134696082 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5814 4955 1111 63 0 5751 0 vsize: 23256 [startup+450.032 s] Raw data (loadavg): 1.00 1.00 1.13 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 5055 0 0 0 44920 79 0 0 25 0 1 0 644405476 23814144 4976 4294967295 134512640 134714508 3221221776 3221220396 134549859 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5814 4976 1111 63 0 5751 0 vsize: 23256 [startup+460.032 s] Raw data (loadavg): 1.00 1.00 1.13 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 5077 0 0 0 45919 80 0 0 25 0 1 0 644405476 23949312 4998 4294967295 134512640 134714508 3221221776 3221220444 134536748 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5847 4998 1111 63 0 5784 0 vsize: 23388 [startup+470.033 s] Raw data (loadavg): 1.00 1.00 1.13 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 5106 0 0 0 46917 82 0 0 25 0 1 0 644405476 24084480 5027 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5880 5027 1111 63 0 5817 0 vsize: 23520 [startup+480.034 s] Raw data (loadavg): 1.00 1.00 1.13 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 5153 0 0 0 47917 82 0 0 25 0 1 0 644405476 24309760 5074 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5935 5074 1111 63 0 5872 0 vsize: 23740 [startup+490.035 s] Raw data (loadavg): 1.00 1.00 1.12 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 5170 0 0 0 48916 83 0 0 25 0 1 0 644405476 24309760 5091 4294967295 134512640 134714508 3221221776 3221220400 134696231 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5935 5091 1111 63 0 5872 0 vsize: 23740 [startup+500.035 s] Raw data (loadavg): 1.00 1.00 1.12 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 5197 0 0 0 49915 84 0 0 25 0 1 0 644405476 24444928 5118 4294967295 134512640 134714508 3221221776 3221220368 134549594 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5968 5118 1111 63 0 5905 0 vsize: 23872 [startup+510.035 s] Raw data (loadavg): 1.00 1.00 1.12 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 5197 0 0 0 50914 85 0 0 25 0 1 0 644405476 24444928 5118 4294967295 134512640 134714508 3221221776 3221220408 134552681 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5968 5118 1111 63 0 5905 0 vsize: 23872 [startup+520.035 s] Raw data (loadavg): 1.00 1.00 1.12 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 5242 0 0 0 51913 86 0 0 25 0 1 0 644405476 24580096 5163 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6001 5163 1111 63 0 5938 0 vsize: 24004 [startup+530.037 s] Raw data (loadavg): 1.00 1.00 1.12 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 5288 0 0 0 52912 87 0 0 25 0 1 0 644405476 24850432 5209 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6067 5209 1111 63 0 6004 0 vsize: 24268 [startup+540.036 s] Raw data (loadavg): 1.00 1.00 1.12 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 5314 0 0 0 53912 88 0 0 25 0 1 0 644405476 24850432 5235 4294967295 134512640 134714508 3221221776 3221220416 134539376 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6067 5235 1111 63 0 6004 0 vsize: 24268 [startup+550.037 s] Raw data (loadavg): 1.00 1.00 1.11 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 5321 0 0 0 54910 90 0 0 25 0 1 0 644405476 24948736 5242 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6091 5242 1111 63 0 6028 0 vsize: 24364 [startup+560.037 s] Raw data (loadavg): 1.00 1.00 1.11 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 5345 0 0 0 55910 91 0 0 25 0 1 0 644405476 25083904 5266 4294967295 134512640 134714508 3221221776 3221220368 134549544 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6124 5266 1111 63 0 6061 0 vsize: 24496 [startup+570.037 s] Raw data (loadavg): 1.00 1.00 1.11 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 5382 0 0 0 56908 92 0 0 25 0 1 0 644405476 25210880 5303 4294967295 134512640 134714508 3221221776 3221220288 134535029 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6155 5303 1111 63 0 6092 0 vsize: 24620 [startup+580.038 s] Raw data (loadavg): 1.00 1.00 1.11 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 5416 0 0 0 57906 94 0 0 25 0 1 0 644405476 25337856 5337 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6186 5337 1111 63 0 6123 0 vsize: 24744 [startup+590.038 s] Raw data (loadavg): 1.00 1.00 1.11 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 5426 0 0 0 58905 95 0 0 25 0 1 0 644405476 25337856 5347 4294967295 134512640 134714508 3221221776 3221220368 134549527 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6186 5347 1111 63 0 6123 0 vsize: 24744 [startup+600.037 s] Raw data (loadavg): 1.00 1.00 1.10 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 5436 0 0 0 59904 97 0 0 25 0 1 0 644405476 25337856 5357 4294967295 134512640 134714508 3221221776 3221220444 1077378561 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6186 5357 1111 63 0 6123 0 vsize: 24744 [startup+610.037 s] Raw data (loadavg): 1.00 1.00 1.10 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 5459 0 0 0 60904 98 0 0 25 0 1 0 644405476 25452544 5380 4294967295 134512640 134714508 3221221776 3221220536 134552578 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6214 5380 1111 63 0 6151 0 vsize: 24856 [startup+620.037 s] Raw data (loadavg): 1.00 1.00 1.10 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 5472 0 0 0 61902 99 0 0 25 0 1 0 644405476 25571328 5393 4294967295 134512640 134714508 3221221776 3221220360 134549708 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6243 5393 1111 63 0 6180 0 vsize: 24972 [startup+630.038 s] Raw data (loadavg): 1.00 1.00 1.10 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 5492 0 0 0 62901 100 0 0 25 0 1 0 644405476 25571328 5413 4294967295 134512640 134714508 3221221776 3221220344 1077378431 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6243 5413 1111 63 0 6180 0 vsize: 24972 [startup+640.039 s] Raw data (loadavg): 1.00 1.00 1.10 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 5548 0 0 0 63900 102 0 0 25 0 1 0 644405476 25841664 5469 4294967295 134512640 134714508 3221221776 3221220400 134549527 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6309 5469 1111 63 0 6246 0 vsize: 25236 [startup+650.039 s] Raw data (loadavg): 1.00 1.00 1.09 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 5586 0 0 0 64899 103 0 0 25 0 1 0 644405476 25976832 5507 4294967295 134512640 134714508 3221221776 3221220416 134696082 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6342 5507 1111 63 0 6279 0 vsize: 25368 [startup+660.04 s] Raw data (loadavg): 1.00 1.00 1.09 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 5598 0 0 0 65899 103 0 0 25 0 1 0 644405476 26107904 5519 4294967295 134512640 134714508 3221221776 3221220540 134552651 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6374 5519 1111 63 0 6311 0 vsize: 25496 [startup+670.04 s] Raw data (loadavg): 1.00 1.00 1.09 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 5625 0 0 0 66898 105 0 0 25 0 1 0 644405476 26243072 5546 4294967295 134512640 134714508 3221221776 3221219952 134697397 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6407 5546 1111 63 0 6344 0 vsize: 25628 [startup+680.041 s] Raw data (loadavg): 1.00 1.00 1.09 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 5729 0 0 0 67896 106 0 0 25 0 1 0 644405476 26628096 5650 4294967295 134512640 134714508 3221221776 3221220408 134696347 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6501 5650 1111 63 0 6438 0 vsize: 26004 [startup+690.041 s] Raw data (loadavg): 1.00 1.00 1.09 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 5821 0 0 0 68895 108 0 0 25 0 1 0 644405476 27033600 5742 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6600 5742 1111 63 0 6537 0 vsize: 26400 [startup+700.041 s] Raw data (loadavg): 1.00 1.00 1.09 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 5860 0 0 0 69894 109 0 0 25 0 1 0 644405476 27156480 5781 4294967295 134512640 134714508 3221221776 3221220332 134535628 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6630 5781 1111 63 0 6567 0 vsize: 26520 [startup+710.042 s] Raw data (loadavg): 1.00 1.00 1.09 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 5865 0 0 0 70893 110 0 0 25 0 1 0 644405476 27156480 5786 4294967295 134512640 134714508 3221221776 3221220428 134536766 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6630 5786 1111 63 0 6567 0 vsize: 26520 [startup+720.041 s] Raw data (loadavg): 1.00 1.00 1.09 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 5961 0 0 0 71892 111 0 0 25 0 1 0 644405476 27557888 5882 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6728 5882 1111 63 0 6665 0 vsize: 26912 [startup+730.042 s] Raw data (loadavg): 1.00 1.00 1.08 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 6040 0 0 0 72890 113 0 0 25 0 1 0 644405476 27922432 5961 4294967295 134512640 134714508 3221221776 3221220408 134552681 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6817 5961 1111 63 0 6754 0 vsize: 27268 [startup+740.043 s] Raw data (loadavg): 1.00 1.00 1.08 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 6097 0 0 0 73889 115 0 0 25 0 1 0 644405476 28057600 6018 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6850 6018 1111 63 0 6787 0 vsize: 27400 [startup+750.043 s] Raw data (loadavg): 1.00 1.00 1.08 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 6144 0 0 0 74887 117 0 0 25 0 1 0 644405476 28327936 6065 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6916 6065 1111 63 0 6853 0 vsize: 27664 [startup+760.043 s] Raw data (loadavg): 1.00 1.00 1.08 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 6160 0 0 0 75886 118 0 0 25 0 1 0 644405476 28327936 6081 4294967295 134512640 134714508 3221221776 3221220400 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6916 6081 1111 63 0 6853 0 vsize: 27664 [startup+770.043 s] Raw data (loadavg): 1.00 1.00 1.08 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 6161 0 0 0 76885 119 0 0 25 0 1 0 644405476 28327936 6082 4294967295 134512640 134714508 3221221776 3221220512 134535742 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6916 6082 1111 63 0 6853 0 vsize: 27664 [startup+780.044 s] Raw data (loadavg): 1.00 1.00 1.08 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 6242 0 0 0 77885 120 0 0 25 0 1 0 644405476 28733440 6163 4294967295 134512640 134714508 3221221776 3221220584 134558597 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7015 6163 1111 63 0 6952 0 vsize: 28060 [startup+790.044 s] Raw data (loadavg): 1.00 1.00 1.08 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 6337 0 0 0 78883 122 0 0 25 0 1 0 644405476 29130752 6258 4294967295 134512640 134714508 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7112 6258 1111 63 0 7049 0 vsize: 28448 [startup+800.044 s] Raw data (loadavg): 1.00 1.00 1.08 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 6389 0 0 0 79882 123 0 0 25 0 1 0 644405476 29265920 6310 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7145 6310 1111 63 0 7082 0 vsize: 28580 [startup+810.045 s] Raw data (loadavg): 1.00 1.00 1.08 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 6447 0 0 0 80881 124 0 0 25 0 1 0 644405476 29532160 6368 4294967295 134512640 134714508 3221221776 3221220440 134536749 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7210 6368 1111 63 0 7147 0 vsize: 28840 [startup+820.044 s] Raw data (loadavg): 1.00 1.00 1.08 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 6474 0 0 0 81879 126 0 0 25 0 1 0 644405476 29667328 6395 4294967295 134512640 134714508 3221221776 3221220468 134528601 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7243 6395 1111 63 0 7180 0 vsize: 28972 [startup+830.046 s] Raw data (loadavg): 1.00 1.00 1.07 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 6511 0 0 0 82878 128 0 0 25 0 1 0 644405476 29802496 6432 4294967295 134512640 134714508 3221221776 3221220428 134536817 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7276 6432 1111 63 0 7213 0 vsize: 29104 [startup+840.045 s] Raw data (loadavg): 1.00 1.00 1.07 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 6521 0 0 0 83877 128 0 0 25 0 1 0 644405476 29802496 6442 4294967295 134512640 134714508 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7276 6442 1111 63 0 7213 0 vsize: 29104 [startup+850.045 s] Raw data (loadavg): 1.00 1.00 1.07 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 6538 0 0 0 84877 129 0 0 25 0 1 0 644405476 29937664 6459 4294967295 134512640 134714508 3221221776 3221220544 134529115 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7309 6459 1111 63 0 7246 0 vsize: 29236 [startup+860.045 s] Raw data (loadavg): 1.00 1.00 1.07 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 6565 0 0 0 85876 130 0 0 25 0 1 0 644405476 30072832 6486 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7342 6486 1111 63 0 7279 0 vsize: 29368 [startup+870.045 s] Raw data (loadavg): 1.00 1.00 1.07 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 6575 0 0 0 86875 131 0 0 25 0 1 0 644405476 30072832 6496 4294967295 134512640 134714508 3221221776 3221220400 134549686 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7342 6496 1111 63 0 7279 0 vsize: 29368 [startup+880.046 s] Raw data (loadavg): 1.00 1.00 1.07 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 6603 0 0 0 87874 132 0 0 25 0 1 0 644405476 30208000 6524 4294967295 134512640 134714508 3221221776 3221220332 134535900 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7375 6524 1111 63 0 7312 0 vsize: 29500 [startup+890.046 s] Raw data (loadavg): 1.00 1.00 1.07 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 6634 0 0 0 88873 134 0 0 25 0 1 0 644405476 30343168 6555 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7408 6555 1111 63 0 7345 0 vsize: 29632 [startup+900.046 s] Raw data (loadavg): 1.00 1.00 1.07 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 6668 0 0 0 89872 135 0 0 25 0 1 0 644405476 30478336 6589 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7441 6589 1111 63 0 7378 0 vsize: 29764 [startup+910.046 s] Raw data (loadavg): 1.00 1.00 1.07 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 6688 0 0 0 90871 136 0 0 25 0 1 0 644405476 30478336 6609 4294967295 134512640 134714508 3221221776 3221220400 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7441 6609 1111 63 0 7378 0 vsize: 29764 [startup+920.046 s] Raw data (loadavg): 1.00 1.00 1.07 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 6688 0 0 0 91870 137 0 0 25 0 1 0 644405476 30478336 6609 4294967295 134512640 134714508 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7441 6609 1111 63 0 7378 0 vsize: 29764 [startup+930.047 s] Raw data (loadavg): 1.00 1.00 1.06 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 6705 0 0 0 92869 138 0 0 25 0 1 0 644405476 30613504 6626 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7474 6626 1111 63 0 7411 0 vsize: 29896 [startup+940.046 s] Raw data (loadavg): 1.00 1.00 1.06 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 6728 0 0 0 93868 139 0 0 25 0 1 0 644405476 30748672 6649 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7507 6649 1111 63 0 7444 0 vsize: 30028 [startup+950.047 s] Raw data (loadavg): 1.00 1.00 1.06 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 6768 0 0 0 94867 140 0 0 25 0 1 0 644405476 30883840 6689 4294967295 134512640 134714508 3221221776 3221220532 134587950 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7540 6689 1111 63 0 7477 0 vsize: 30160 [startup+960.047 s] Raw data (loadavg): 1.00 1.00 1.06 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 6769 0 0 0 95867 141 0 0 25 0 1 0 644405476 30883840 6690 4294967295 134512640 134714508 3221221776 3221220500 134528601 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7540 6690 1111 63 0 7477 0 vsize: 30160 [startup+970.047 s] Raw data (loadavg): 1.00 1.00 1.06 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 6799 0 0 0 96865 142 0 0 25 0 1 0 644405476 31019008 6720 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7573 6720 1111 63 0 7510 0 vsize: 30292 [startup+980.048 s] Raw data (loadavg): 1.00 1.00 1.06 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 6855 0 0 0 97865 143 0 0 25 0 1 0 644405476 31268864 6776 4294967295 134512640 134714508 3221221776 3221220536 134592430 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7634 6776 1111 63 0 7571 0 vsize: 30536 [startup+990.049 s] Raw data (loadavg): 1.00 1.00 1.06 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 6875 0 0 0 98864 144 0 0 25 0 1 0 644405476 31268864 6796 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7634 6796 1111 63 0 7571 0 vsize: 30536 [startup+1000.05 s] Raw data (loadavg): 1.00 1.00 1.06 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 6901 0 0 0 99863 145 0 0 25 0 1 0 644405476 31404032 6822 4294967295 134512640 134714508 3221221776 3221220368 134549594 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7667 6822 1111 63 0 7604 0 vsize: 30668 [startup+1010.05 s] Raw data (loadavg): 1.00 1.00 1.06 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 6925 0 0 0 100863 146 0 0 25 0 1 0 644405476 31539200 6846 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7700 6846 1111 63 0 7637 0 vsize: 30800 [startup+1020.05 s] Raw data (loadavg): 1.00 1.00 1.06 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 6952 0 0 0 101862 147 0 0 25 0 1 0 644405476 31674368 6873 4294967295 134512640 134714508 3221221776 3221220332 134535956 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7733 6873 1111 63 0 7670 0 vsize: 30932 [startup+1030.05 s] Raw data (loadavg): 1.00 1.00 1.06 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 6960 0 0 0 102861 148 0 0 25 0 1 0 644405476 31674368 6881 4294967295 134512640 134714508 3221221776 3221220384 134549296 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7733 6881 1111 63 0 7670 0 vsize: 30932 [startup+1040.05 s] Raw data (loadavg): 1.00 1.00 1.05 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 6987 0 0 0 103860 150 0 0 25 0 1 0 644405476 31809536 6908 4294967295 134512640 134714508 3221221776 3221220544 134551796 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7766 6908 1111 63 0 7703 0 vsize: 31064 [startup+1050.05 s] Raw data (loadavg): 1.00 1.00 1.05 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 7017 0 0 0 104858 151 0 0 25 0 1 0 644405476 31940608 6938 4294967295 134512640 134714508 3221221776 3221220428 134536828 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7798 6938 1111 63 0 7735 0 vsize: 31192 [startup+1060.05 s] Raw data (loadavg): 1.00 1.00 1.05 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 7017 0 0 0 105858 152 0 0 25 0 1 0 644405476 31940608 6938 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7798 6938 1111 63 0 7735 0 vsize: 31192 [startup+1070.05 s] Raw data (loadavg): 1.00 1.00 1.05 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 7017 0 0 0 106857 153 0 0 25 0 1 0 644405476 31940608 6938 4294967295 134512640 134714508 3221221776 3221220384 134548659 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7798 6938 1111 63 0 7735 0 vsize: 31192 [startup+1080.05 s] Raw data (loadavg): 1.00 1.00 1.05 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 7017 0 0 0 107857 154 0 0 25 0 1 0 644405476 31940608 6938 4294967295 134512640 134714508 3221221776 3221220336 134535881 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7798 6938 1111 63 0 7735 0 vsize: 31192 [startup+1090.05 s] Raw data (loadavg): 1.00 1.00 1.05 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 7017 0 0 0 108856 154 0 0 25 0 1 0 644405476 31940608 6938 4294967295 134512640 134714508 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7798 6938 1111 63 0 7735 0 vsize: 31192 [startup+1100.05 s] Raw data (loadavg): 1.00 1.00 1.05 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 7017 0 0 0 109855 156 0 0 25 0 1 0 644405476 31940608 6938 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7798 6938 1111 63 0 7735 0 vsize: 31192 [startup+1110.05 s] Raw data (loadavg): 1.00 1.00 1.05 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 7017 0 0 0 110854 157 0 0 25 0 1 0 644405476 31940608 6938 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7798 6938 1111 63 0 7735 0 vsize: 31192 [startup+1120.05 s] Raw data (loadavg): 1.00 1.00 1.05 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 7027 0 0 0 111852 158 0 0 25 0 1 0 644405476 31940608 6948 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7798 6948 1111 63 0 7735 0 vsize: 31192 [startup+1130.05 s] Raw data (loadavg): 1.00 1.00 1.05 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 7038 0 0 0 112852 159 0 0 25 0 1 0 644405476 31940608 6959 4294967295 134512640 134714508 3221221776 3221220488 134551881 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7798 6959 1111 63 0 7735 0 vsize: 31192 [startup+1140.05 s] Raw data (loadavg): 1.00 1.00 1.04 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 7044 0 0 0 113850 161 0 0 25 0 1 0 644405476 31940608 6965 4294967295 134512640 134714508 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7798 6965 1111 63 0 7735 0 vsize: 31192 [startup+1150.05 s] Raw data (loadavg): 1.00 1.00 1.04 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 7054 0 0 0 114850 161 0 0 25 0 1 0 644405476 32075776 6975 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7831 6975 1111 63 0 7768 0 vsize: 31324 [startup+1160.05 s] Raw data (loadavg): 1.00 1.00 1.04 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 7082 0 0 0 115849 162 0 0 25 0 1 0 644405476 32210944 7003 4294967295 134512640 134714508 3221221776 3221220544 134592140 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7864 7003 1111 63 0 7801 0 vsize: 31456 [startup+1170.05 s] Raw data (loadavg): 1.00 1.00 1.04 2/54 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 7119 0 0 0 116848 164 0 0 25 0 1 0 644405476 32342016 7040 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7896 7040 1111 63 0 7833 0 vsize: 31584 [startup+1174.97 s] Raw data (loadavg): 1.00 1.00 1.04 1/53 29697 Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 7119 0 0 0 116848 164 0 0 25 0 1 0 644405476 32342016 7040 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7896 7040 1111 63 0 7833 0 vsize: 0 Child status: 0 Real time (s): 1174.97 CPU time (s): 1175.05 CPU user time (s): 1173.38 CPU system time (s): 1.66575 CPU usage (%): 100.006 Max. virtual memory (Kb): 31584 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####