Name | normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga25_23_sat_pb.cnf.cr.opb |
MD5SUM | 002d92124dd96ccf471b7e05fe08f2d6 |
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.252961 |
Number of variables | 863 |
Total number of constraints | 646 |
Number of constraints which are clauses | 598 |
Number of constraints which are cardinality constraints (but not clauses) | 48 |
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 17:15:12 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=379 boxname=wulflinc31 idbench=43 idsolver=1 numberseed=0 MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef /oldhome/oroussel/solvers/bsolo_lpr MD5SUM BENCH: 002d92124dd96ccf471b7e05fe08f2d6 /oldhome/oroussel/tmp/wulflinc31/normalized-fpga25_23_sat_pb.cnf.cr.opb REAL COMMAND: bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-fpga25_23_sat_pb.cnf.cr.opb IDLAUNCH: 379 /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: 926716 kB Buffers: 38500 kB Cached: 47324 kB SwapCached: 944 kB Active: 72392 kB Inactive: 15880 kB HighTotal: 131008 kB HighFree: 82656 kB LowTotal: 903652 kB LowFree: 844060 kB SwapTotal: 2097892 kB SwapFree: 2096432 kB Dirty: 44 kB Writeback: 0 kB Mapped: 5536 kB Slab: 14048 kB Committed_AS: 63656 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-02 17:34:48 (client local time) WITH STATUS 0 IN 1175.07 SECONDS stats: 379 7 1175.07 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 863 variables and 646 constraints. c After prepocess the problem consists of 863 variables and 646 constraints. c preprocess terminated 0.877 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.88 0.97 0.98 2/54 26442 Raw data (stat): 26442 (runsolver) R 26441 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 641838848 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+10.0002 s] Raw data (loadavg): 0.90 0.97 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 1778 0 0 0 987 8 0 0 25 0 1 0 641838848 10350592 1699 4294967295 134512640 134714508 3221221776 3221220392 134613965 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2527 1699 1111 63 0 2464 0 vsize: 10108 [startup+20.0003 s] Raw data (loadavg): 0.91 0.97 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 2026 0 0 0 1986 10 0 0 25 0 1 0 641838848 11419648 1947 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2788 1947 1111 63 0 2725 0 vsize: 11152 [startup+30.0009 s] Raw data (loadavg): 0.92 0.97 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 2148 0 0 0 2984 11 0 0 25 0 1 0 641838848 11956224 2069 4294967295 134512640 134714508 3221221776 3221220488 134552673 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2919 2069 1111 63 0 2856 0 vsize: 11676 [startup+40.0008 s] Raw data (loadavg): 0.94 0.97 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 2256 0 0 0 3983 12 0 0 25 0 1 0 641838848 12361728 2177 4294967295 134512640 134714508 3221221776 3221220316 134539265 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3018 2177 1111 63 0 2955 0 vsize: 12072 [startup+50.0024 s] Raw data (loadavg): 0.94 0.97 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 2475 0 0 0 4982 14 0 0 25 0 1 0 641838848 13307904 2396 4294967295 134512640 134714508 3221221776 3221220332 134539341 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3249 2396 1111 63 0 3186 0 vsize: 12996 [startup+60.0027 s] Raw data (loadavg): 0.95 0.97 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 2475 0 0 0 5981 15 0 0 25 0 1 0 641838848 13131776 2383 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3206 2383 1111 63 0 3143 0 vsize: 12824 [startup+70.0026 s] Raw data (loadavg): 0.96 0.97 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 2537 0 0 0 6980 16 0 0 25 0 1 0 641838848 13389824 2445 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3269 2445 1111 63 0 3206 0 vsize: 13076 [startup+80.0039 s] Raw data (loadavg): 0.97 0.97 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 2537 0 0 0 7980 17 0 0 25 0 1 0 641838848 13389824 2445 4294967295 134512640 134714508 3221221776 3221220452 1077374568 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3269 2445 1111 63 0 3206 0 vsize: 13076 [startup+90.0038 s] Raw data (loadavg): 0.97 0.97 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 2564 0 0 0 8979 18 0 0 25 0 1 0 641838848 13524992 2472 4294967295 134512640 134714508 3221221776 3221220368 134696077 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3302 2472 1111 63 0 3239 0 vsize: 13208 [startup+100.004 s] Raw data (loadavg): 0.97 0.97 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 2959 0 0 0 9977 20 0 0 25 0 1 0 641838848 15147008 2867 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3698 2867 1111 63 0 3635 0 vsize: 14792 [startup+110.005 s] Raw data (loadavg): 0.98 0.97 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 3498 0 0 0 10974 23 0 0 25 0 1 0 641838848 17436672 3406 4294967295 134512640 134714508 3221221776 3221220480 134528665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4257 3406 1111 63 0 4194 0 vsize: 17028 [startup+120.005 s] Raw data (loadavg): 0.98 0.97 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 3869 0 0 0 11972 25 0 0 25 0 1 0 641838848 18919424 3777 4294967295 134512640 134714508 3221221776 3221220260 134697199 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4619 3777 1111 63 0 4556 0 vsize: 18476 [startup+130.005 s] Raw data (loadavg): 0.98 0.97 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 4347 0 0 0 12970 28 0 0 25 0 1 0 641838848 20811776 4255 4294967295 134512640 134714508 3221221776 3221220476 134534084 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5081 4255 1111 63 0 5018 0 vsize: 20324 [startup+140.007 s] Raw data (loadavg): 1.07 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 4715 0 0 0 13968 30 0 0 25 0 1 0 641838848 22433792 4623 4294967295 134512640 134714508 3221221776 3221220512 134588000 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5477 4623 1111 63 0 5414 0 vsize: 21908 [startup+150.008 s] Raw data (loadavg): 1.06 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 5024 0 0 0 14967 32 0 0 25 0 1 0 641838848 23650304 4932 4294967295 134512640 134714508 3221221776 3221220368 134549544 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5774 4932 1111 63 0 5711 0 vsize: 23096 [startup+160.008 s] Raw data (loadavg): 1.05 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 5071 0 0 0 15966 33 0 0 25 0 1 0 641838848 23785472 4979 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5807 4979 1111 63 0 5744 0 vsize: 23228 [startup+170.009 s] Raw data (loadavg): 1.04 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 5104 0 0 0 16965 34 0 0 25 0 1 0 641838848 23920640 5012 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5840 5012 1111 63 0 5777 0 vsize: 23360 [startup+180.009 s] Raw data (loadavg): 1.03 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 5158 0 0 0 17964 35 0 0 25 0 1 0 641838848 24190976 5066 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5906 5066 1111 63 0 5843 0 vsize: 23624 [startup+190.009 s] Raw data (loadavg): 1.03 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 5190 0 0 0 18963 36 0 0 25 0 1 0 641838848 24326144 5098 4294967295 134512640 134714508 3221221776 3221220368 134549809 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5939 5098 1111 63 0 5876 0 vsize: 23756 [startup+200.009 s] Raw data (loadavg): 1.02 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 5190 0 0 0 19962 37 0 0 25 0 1 0 641838848 24326144 5098 4294967295 134512640 134714508 3221221776 3221220432 134536643 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5939 5098 1111 63 0 5876 0 vsize: 23756 [startup+210.009 s] Raw data (loadavg): 1.02 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 5303 0 0 0 20961 38 0 0 25 0 1 0 641838848 24731648 5211 4294967295 134512640 134714508 3221221776 3221220172 1077379843 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6038 5211 1111 63 0 5975 0 vsize: 24152 [startup+220.009 s] Raw data (loadavg): 1.02 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 5326 0 0 0 21960 40 0 0 25 0 1 0 641838848 24862720 5234 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6070 5234 1111 63 0 6007 0 vsize: 24280 [startup+230.009 s] Raw data (loadavg): 1.01 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 5679 0 0 0 22958 42 0 0 25 0 1 0 641838848 26349568 5587 4294967295 134512640 134714508 3221221776 3221220504 1076647541 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6433 5587 1111 63 0 6370 0 vsize: 25732 [startup+240.009 s] Raw data (loadavg): 1.01 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 5928 0 0 0 23956 44 0 0 25 0 1 0 641838848 27291648 5836 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6663 5836 1111 63 0 6600 0 vsize: 26652 [startup+250.008 s] Raw data (loadavg): 1.01 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 6096 0 0 0 24954 46 0 0 25 0 1 0 641838848 27967488 6004 4294967295 134512640 134714508 3221221776 3221220384 134549467 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6828 6004 1111 63 0 6765 0 vsize: 27312 [startup+260.01 s] Raw data (loadavg): 1.01 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 6242 0 0 0 25953 47 0 0 25 0 1 0 641838848 28643328 6150 4294967295 134512640 134714508 3221221776 3221220400 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6993 6150 1111 63 0 6930 0 vsize: 27972 [startup+270.009 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 6308 0 0 0 26952 48 0 0 25 0 1 0 641838848 28913664 6216 4294967295 134512640 134714508 3221221776 3221220352 134549474 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7059 6216 1111 63 0 6996 0 vsize: 28236 [startup+280.009 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 6356 0 0 0 27951 49 0 0 25 0 1 0 641838848 29048832 6264 4294967295 134512640 134714508 3221221776 3221220520 134558492 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7092 6264 1111 63 0 7029 0 vsize: 28368 [startup+290.01 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 6503 0 0 0 28950 51 0 0 25 0 1 0 641838848 29704192 6411 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7252 6411 1111 63 0 7189 0 vsize: 29008 [startup+300.01 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 6601 0 0 0 29948 52 0 0 25 0 1 0 641838848 30109696 6509 4294967295 134512640 134714508 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7351 6509 1111 63 0 7288 0 vsize: 29404 [startup+310.01 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 6986 0 0 0 30947 54 0 0 25 0 1 0 641838848 31711232 6894 4294967295 134512640 134714508 3221221776 3221220264 134552650 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7742 6894 1111 63 0 7679 0 vsize: 30968 [startup+320.01 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 7118 0 0 0 31945 56 0 0 25 0 1 0 641838848 32251904 7026 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7874 7026 1111 63 0 7811 0 vsize: 31496 [startup+330.011 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 7329 0 0 0 32944 57 0 0 25 0 1 0 641838848 33050624 7237 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8069 7237 1111 63 0 8006 0 vsize: 32276 [startup+340.011 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 7613 0 0 0 33942 59 0 0 25 0 1 0 641838848 34267136 7521 4294967295 134512640 134714508 3221221776 3221220412 134552672 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8366 7521 1111 63 0 8303 0 vsize: 33464 [startup+350.011 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 7774 0 0 0 34939 62 0 0 25 0 1 0 641838848 34942976 7682 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8531 7682 1111 63 0 8468 0 vsize: 34124 [startup+360.012 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 7832 0 0 0 35938 64 0 0 25 0 1 0 641838848 35078144 7740 4294967295 134512640 134714508 3221221776 3221220504 134532457 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8564 7740 1111 63 0 8501 0 vsize: 34256 [startup+370.012 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 8081 0 0 0 36937 65 0 0 25 0 1 0 641838848 36159488 7989 4294967295 134512640 134714508 3221221776 3221220492 134552682 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8828 7989 1111 63 0 8765 0 vsize: 35312 [startup+380.012 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 8233 0 0 0 37936 66 0 0 25 0 1 0 641838848 36835328 8141 4294967295 134512640 134714508 3221221776 3221220332 134535967 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8993 8141 1111 63 0 8930 0 vsize: 35972 [startup+390.012 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 8333 0 0 0 38935 68 0 0 25 0 1 0 641838848 37208064 8241 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9084 8241 1111 63 0 9021 0 vsize: 36336 [startup+400.012 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 8413 0 0 0 39934 69 0 0 25 0 1 0 641838848 37478400 8321 4294967295 134512640 134714508 3221221776 3221220560 134529243 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9150 8321 1111 63 0 9087 0 vsize: 36600 [startup+410.012 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 8545 0 0 0 40932 71 0 0 25 0 1 0 641838848 38019072 8453 4294967295 134512640 134714508 3221221776 3221220408 134552681 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9282 8453 1111 63 0 9219 0 vsize: 37128 [startup+420.012 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 8666 0 0 0 41931 72 0 0 25 0 1 0 641838848 38559744 8574 4294967295 134512640 134714508 3221221776 3221220352 134549852 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9414 8574 1111 63 0 9351 0 vsize: 37656 [startup+430.013 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 8723 0 0 0 42930 73 0 0 25 0 1 0 641838848 38817792 8631 4294967295 134512640 134714508 3221221776 3221220316 134539273 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9477 8631 1111 63 0 9414 0 vsize: 37908 [startup+440.013 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 8779 0 0 0 43930 74 0 0 25 0 1 0 641838848 39088128 8687 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9543 8687 1111 63 0 9480 0 vsize: 38172 [startup+450.013 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 8858 0 0 0 44928 75 0 0 25 0 1 0 641838848 39358464 8766 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9609 8766 1111 63 0 9546 0 vsize: 38436 [startup+460.013 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 9062 0 0 0 45927 76 0 0 25 0 1 0 641838848 40153088 8970 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9803 8970 1111 63 0 9740 0 vsize: 39212 [startup+470.013 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 9154 0 0 0 46926 78 0 0 25 0 1 0 641838848 40558592 9062 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9902 9062 1111 63 0 9839 0 vsize: 39608 [startup+480.014 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 9245 0 0 0 47925 79 0 0 25 0 1 0 641838848 40960000 9153 4294967295 134512640 134714508 3221221776 3221220548 134529109 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10000 9153 1111 63 0 9937 0 vsize: 40000 [startup+490.014 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 9266 0 0 0 48924 80 0 0 25 0 1 0 641838848 40960000 9174 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10000 9174 1111 63 0 9937 0 vsize: 40000 [startup+500.015 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 9303 0 0 0 49923 81 0 0 25 0 1 0 641838848 41213952 9211 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10062 9211 1111 63 0 9999 0 vsize: 40248 [startup+510.015 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 9371 0 0 0 50923 82 0 0 25 0 1 0 641838848 41484288 9279 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10128 9279 1111 63 0 10065 0 vsize: 40512 [startup+520.015 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 9519 0 0 0 51922 83 0 0 25 0 1 0 641838848 42020864 9427 4294967295 134512640 134714508 3221221776 3221220368 134549548 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10259 9427 1111 63 0 10196 0 vsize: 41036 [startup+530.016 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 9829 0 0 0 52919 86 0 0 25 0 1 0 641838848 43360256 9737 4294967295 134512640 134714508 3221221776 3221220272 134535448 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10586 9737 1111 63 0 10523 0 vsize: 42344 [startup+540.015 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 10183 0 0 0 53918 87 0 0 25 0 1 0 641838848 44711936 10091 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10916 10091 1111 63 0 10853 0 vsize: 43664 [startup+550.015 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 10313 0 0 0 54917 88 0 0 25 0 1 0 641838848 45256704 10221 4294967295 134512640 134714508 3221221776 3221220272 134697382 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11049 10221 1111 63 0 10986 0 vsize: 44196 [startup+560.015 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 10465 0 0 0 55915 90 0 0 25 0 1 0 641838848 45920256 10373 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11211 10373 1111 63 0 11148 0 vsize: 44844 [startup+570.015 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 10567 0 0 0 56914 92 0 0 25 0 1 0 641838848 46325760 10475 4294967295 134512640 134714508 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11310 10475 1111 63 0 11247 0 vsize: 45240 [startup+580.015 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 10608 0 0 0 57913 93 0 0 25 0 1 0 641838848 46460928 10516 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11343 10516 1111 63 0 11280 0 vsize: 45372 [startup+590.016 s] Raw data (loadavg): 1.00 0.99 0.98 3/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 10854 0 0 0 58913 93 0 0 25 0 1 0 641838848 47542272 10762 4294967295 134512640 134714508 3221221776 3221220524 134558493 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11607 10762 1111 63 0 11544 0 vsize: 46428 [startup+600.017 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 10979 0 0 0 59911 95 0 0 25 0 1 0 641838848 48078848 10887 4294967295 134512640 134714508 3221221776 3221220368 134549517 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11738 10887 1111 63 0 11675 0 vsize: 46952 [startup+610.017 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 11084 0 0 0 60910 96 0 0 25 0 1 0 641838848 48484352 10992 4294967295 134512640 134714508 3221221776 3221220368 134549594 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11837 10992 1111 63 0 11774 0 vsize: 47348 [startup+620.017 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 11156 0 0 0 61909 97 0 0 25 0 1 0 641838848 48750592 11064 4294967295 134512640 134714508 3221221776 3221220480 134528595 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11902 11064 1111 63 0 11839 0 vsize: 47608 [startup+630.017 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 11207 0 0 0 62908 99 0 0 25 0 1 0 641838848 49012736 11115 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11966 11115 1111 63 0 11903 0 vsize: 47864 [startup+640.017 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 11238 0 0 0 63907 99 0 0 25 0 1 0 641838848 49147904 11146 4294967295 134512640 134714508 3221221776 3221220416 134539359 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11999 11146 1111 63 0 11936 0 vsize: 47996 [startup+650.017 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 11282 0 0 0 64906 101 0 0 25 0 1 0 641838848 49266688 11190 4294967295 134512640 134714508 3221221776 3221220480 134528656 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12028 11190 1111 63 0 11965 0 vsize: 48112 [startup+660.017 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 11405 0 0 0 65905 102 0 0 25 0 1 0 641838848 49807360 11313 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12160 11313 1111 63 0 12097 0 vsize: 48640 [startup+670.017 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 11444 0 0 0 66904 103 0 0 25 0 1 0 641838848 49942528 11352 4294967295 134512640 134714508 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12193 11352 1111 63 0 12130 0 vsize: 48772 [startup+680.017 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 11556 0 0 0 67903 104 0 0 25 0 1 0 641838848 50348032 11464 4294967295 134512640 134714508 3221221776 3221220404 134551958 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12292 11464 1111 63 0 12229 0 vsize: 49168 [startup+690.016 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 11769 0 0 0 68902 106 0 0 25 0 1 0 641838848 51290112 11677 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12522 11677 1111 63 0 12459 0 vsize: 50088 [startup+700.016 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 11858 0 0 0 69900 107 0 0 25 0 1 0 641838848 51695616 11766 4294967295 134512640 134714508 3221221776 3221220264 134552650 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12621 11766 1111 63 0 12558 0 vsize: 50484 [startup+710.017 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 12038 0 0 0 70899 109 0 0 25 0 1 0 641838848 52371456 11946 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12786 11946 1111 63 0 12723 0 vsize: 51144 [startup+720.016 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 12273 0 0 0 71898 110 0 0 25 0 1 0 641838848 53317632 12181 4294967295 134512640 134714508 3221221776 3221220408 134552681 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13017 12181 1111 63 0 12954 0 vsize: 52068 [startup+730.016 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 12386 0 0 0 72897 112 0 0 25 0 1 0 641838848 53858304 12294 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13149 12294 1111 63 0 13086 0 vsize: 52596 [startup+740.018 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 12505 0 0 0 73896 113 0 0 25 0 1 0 641838848 54251520 12413 4294967295 134512640 134714508 3221221776 3221220452 134536649 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13245 12413 1111 63 0 13182 0 vsize: 52980 [startup+750.018 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 12725 0 0 0 74894 114 0 0 25 0 1 0 641838848 55193600 12633 4294967295 134512640 134714508 3221221776 3221220528 134592007 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13475 12633 1111 63 0 13412 0 vsize: 53900 [startup+760.018 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 12829 0 0 0 75893 115 0 0 25 0 1 0 641838848 55599104 12737 4294967295 134512640 134714508 3221221776 3221220468 134528601 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13574 12737 1111 63 0 13511 0 vsize: 54296 [startup+770.019 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 12945 0 0 0 76892 117 0 0 25 0 1 0 641838848 56139776 12853 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13706 12853 1111 63 0 13643 0 vsize: 54824 [startup+780.019 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 12974 0 0 0 77891 118 0 0 25 0 1 0 641838848 56274944 12882 4294967295 134512640 134714508 3221221776 3221220408 134552681 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13739 12882 1111 63 0 13676 0 vsize: 54956 [startup+790.019 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 13126 0 0 0 78890 119 0 0 25 0 1 0 641838848 56832000 13034 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13875 13034 1111 63 0 13812 0 vsize: 55500 [startup+800.019 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 13181 0 0 0 79889 120 0 0 25 0 1 0 641838848 57098240 13089 4294967295 134512640 134714508 3221221776 3221220608 134551454 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13940 13089 1111 63 0 13877 0 vsize: 55760 [startup+810.02 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 13199 0 0 0 80888 122 0 0 25 0 1 0 641838848 57212928 13107 4294967295 134512640 134714508 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13968 13107 1111 63 0 13905 0 vsize: 55872 [startup+820.02 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 13274 0 0 0 81887 122 0 0 25 0 1 0 641838848 57483264 13182 4294967295 134512640 134714508 3221221776 3221220432 134524085 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 14034 13182 1111 63 0 13971 0 vsize: 56136 [startup+830.02 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 13333 0 0 0 82886 124 0 0 25 0 1 0 641838848 57753600 13241 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 14100 13241 1111 63 0 14037 0 vsize: 56400 [startup+840.02 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 13358 0 0 0 83886 125 0 0 25 0 1 0 641838848 57753600 13266 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 14100 13266 1111 63 0 14037 0 vsize: 56400 [startup+850.021 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 13370 0 0 0 84885 126 0 0 25 0 1 0 641838848 57872384 13278 4294967295 134512640 134714508 3221221776 3221220368 134549680 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 14129 13278 1111 63 0 14066 0 vsize: 56516 [startup+860.021 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 13388 0 0 0 85884 127 0 0 25 0 1 0 641838848 57872384 13296 4294967295 134512640 134714508 3221221776 3221220420 134536694 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 14129 13296 1111 63 0 14066 0 vsize: 56516 [startup+870.021 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 13409 0 0 0 86883 128 0 0 25 0 1 0 641838848 58007552 13317 4294967295 134512640 134714508 3221221776 3221220416 134696094 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 14162 13317 1111 63 0 14099 0 vsize: 56648 [startup+880.021 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 13491 0 0 0 87881 130 0 0 25 0 1 0 641838848 58413056 13399 4294967295 134512640 134714508 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 14261 13399 1111 63 0 14198 0 vsize: 57044 [startup+890.021 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 13525 0 0 0 88881 130 0 0 25 0 1 0 641838848 58544128 13433 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 14293 13433 1111 63 0 14230 0 vsize: 57172 [startup+900.022 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 13550 0 0 0 89880 131 0 0 25 0 1 0 641838848 58544128 13458 4294967295 134512640 134714508 3221221776 3221220368 134549821 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 14293 13458 1111 63 0 14230 0 vsize: 57172 [startup+910.023 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 13577 0 0 0 90879 132 0 0 25 0 1 0 641838848 58679296 13485 4294967295 134512640 134714508 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 14326 13485 1111 63 0 14263 0 vsize: 57304 [startup+920.023 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 13601 0 0 0 91878 134 0 0 25 0 1 0 641838848 58818560 13509 4294967295 134512640 134714508 3221221776 3221220432 134536713 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 14360 13509 1111 63 0 14297 0 vsize: 57440 [startup+930.023 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 13601 0 0 0 92877 134 0 0 25 0 1 0 641838848 58818560 13509 4294967295 134512640 134714508 3221221776 3221220368 134549809 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 14360 13509 1111 63 0 14297 0 vsize: 57440 [startup+940.023 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 13618 0 0 0 93877 135 0 0 25 0 1 0 641838848 58949632 13526 4294967295 134512640 134714508 3221221776 3221220428 134536828 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 14392 13526 1111 63 0 14329 0 vsize: 57568 [startup+950.024 s] Raw data (loadavg): 1.00 0.99 0.98 3/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 13640 0 0 0 94875 137 0 0 25 0 1 0 641838848 58949632 13548 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 14392 13548 1111 63 0 14329 0 vsize: 57568 [startup+960.024 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 13651 0 0 0 95875 137 0 0 25 0 1 0 641838848 59084800 13559 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 14425 13559 1111 63 0 14362 0 vsize: 57700 [startup+970.024 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 13657 0 0 0 96875 138 0 0 25 0 1 0 641838848 59084800 13565 4294967295 134512640 134714508 3221221776 3221220536 134552650 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 14425 13565 1111 63 0 14362 0 vsize: 57700 [startup+980.025 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 13678 0 0 0 97874 139 0 0 25 0 1 0 641838848 59219968 13586 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 14458 13586 1111 63 0 14395 0 vsize: 57832 [startup+990.025 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 13697 0 0 0 98872 141 0 0 25 0 1 0 641838848 59219968 13605 4294967295 134512640 134714508 3221221776 3221220336 134549725 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 14458 13605 1111 63 0 14395 0 vsize: 57832 [startup+1000.03 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 13709 0 0 0 99872 141 0 0 25 0 1 0 641838848 59363328 13617 4294967295 134512640 134714508 3221221776 3221220488 134552673 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 14493 13617 1111 63 0 14430 0 vsize: 57972 [startup+1010.03 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 13733 0 0 0 100871 142 0 0 25 0 1 0 641838848 59363328 13641 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 14493 13641 1111 63 0 14430 0 vsize: 57972 [startup+1020.03 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 13764 0 0 0 101870 143 0 0 25 0 1 0 641838848 59498496 13672 4294967295 134512640 134714508 3221221776 3221220368 134549594 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 14526 13672 1111 63 0 14463 0 vsize: 58104 [startup+1030.03 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 13793 0 0 0 102870 144 0 0 25 0 1 0 641838848 59629568 13701 4294967295 134512640 134714508 3221221776 3221220332 134535959 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 14558 13701 1111 63 0 14495 0 vsize: 58232 [startup+1040.03 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 13798 0 0 0 103870 144 0 0 25 0 1 0 641838848 59629568 13706 4294967295 134512640 134714508 3221221776 3221220384 134549318 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 14558 13706 1111 63 0 14495 0 vsize: 58232 [startup+1050.03 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 13803 0 0 0 104869 145 0 0 25 0 1 0 641838848 59629568 13711 4294967295 134512640 134714508 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 14558 13711 1111 63 0 14495 0 vsize: 58232 [startup+1060.03 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 13813 0 0 0 105869 146 0 0 25 0 1 0 641838848 59772928 13721 4294967295 134512640 134714508 3221221776 3221220368 134535881 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 14593 13721 1111 63 0 14530 0 vsize: 58372 [startup+1070.03 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 13858 0 0 0 106868 146 0 0 25 0 1 0 641838848 59908096 13766 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 14626 13766 1111 63 0 14563 0 vsize: 58504 [startup+1080.03 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 13877 0 0 0 107868 147 0 0 25 0 1 0 641838848 60043264 13785 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 14659 13785 1111 63 0 14596 0 vsize: 58636 [startup+1090.03 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 13897 0 0 0 108867 148 0 0 25 0 1 0 641838848 60043264 13805 4294967295 134512640 134714508 3221221776 3221220560 134529097 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 14659 13805 1111 63 0 14596 0 vsize: 58636 [startup+1100.03 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 13949 0 0 0 109866 148 0 0 25 0 1 0 641838848 60313600 13857 4294967295 134512640 134714508 3221221776 3221220492 134552557 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 14725 13857 1111 63 0 14662 0 vsize: 58900 [startup+1110.03 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 14151 0 0 0 110866 149 0 0 25 0 1 0 641838848 61124608 14059 4294967295 134512640 134714508 3221221776 3221220416 134536653 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 14923 14059 1111 63 0 14860 0 vsize: 59692 [startup+1120.03 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 14359 0 0 0 111864 151 0 0 25 0 1 0 641838848 61923328 14267 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 15118 14267 1111 63 0 15055 0 vsize: 60472 [startup+1130.03 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 14542 0 0 0 112863 152 0 0 25 0 1 0 641838848 62734336 14450 4294967295 134512640 134714508 3221221776 3221220400 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 15316 14450 1111 63 0 15253 0 vsize: 61264 [startup+1140.03 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 14665 0 0 0 113862 154 0 0 25 0 1 0 641838848 63266816 14573 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 15446 14573 1111 63 0 15383 0 vsize: 61784 [startup+1150.03 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 14760 0 0 0 114861 155 0 0 25 0 1 0 641838848 63537152 14668 4294967295 134512640 134714508 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 15512 14668 1111 63 0 15449 0 vsize: 62048 [startup+1160.03 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 14949 0 0 0 115860 157 0 0 25 0 1 0 641838848 64348160 14857 4294967295 134512640 134714508 3221221776 3221220352 134549718 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 15710 14857 1111 63 0 15647 0 vsize: 62840 [startup+1170.03 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 15111 0 0 0 116858 158 0 0 25 0 1 0 641838848 65007616 15019 4294967295 134512640 134714508 3221221776 3221220512 134529243 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 15871 15019 1111 63 0 15808 0 vsize: 63484 [startup+1174.92 s] Raw data (loadavg): 1.00 0.99 0.98 1/53 26442 Raw data (stat): 26442 (bsolo_lpr) R 26441 7876 7672 0 -1 0 15111 0 0 0 116858 158 0 0 25 0 1 0 641838848 65007616 15019 4294967295 134512640 134714508 3221221776 3221220512 134529243 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 15871 15019 1111 63 0 15808 0 vsize: 0 Child status: 0 Real time (s): 1174.92 CPU time (s): 1175.07 CPU user time (s): 1173.44 CPU system time (s): 1.62275 CPU usage (%): 100.012 Max. virtual memory (Kb): 63484 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####