Name | normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-4.opb |
MD5SUM | 2b591d1b24a201f365bc505135aa0578 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -33 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 945 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 945 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 945 |
Number of bits of the biggest sum of numbers | 10 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1175.07 |
Number of variables | 945 |
Total number of constraints | 58549 |
Number of constraints which are clauses | 58549 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-13 04:05:05 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=2980 boxname=wulflinc31 idbench=332 idsolver=1 numberseed=0 MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef /oldhome/oroussel/solvers/bsolo_lpr MD5SUM BENCH: 2b591d1b24a201f365bc505135aa0578 /oldhome/oroussel/tmp/wulflinc31/normalized-frb45-21-4.opb REAL COMMAND: bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-frb45-21-4.opb IDLAUNCH: 2980 /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: 874924 kB Buffers: 35972 kB Cached: 102104 kB SwapCached: 1936 kB Active: 104488 kB Inactive: 36788 kB HighTotal: 131008 kB HighFree: 28084 kB LowTotal: 903652 kB LowFree: 846840 kB SwapTotal: 2097892 kB SwapFree: 2095224 kB Dirty: 1276 kB Writeback: 0 kB Mapped: 5360 kB Slab: 13024 kB Committed_AS: 63860 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-13 04:25:08 (client local time) WITH STATUS 0 IN 1200.18 SECONDS stats: 2980 7 1200.18 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 945 variables and 58549 constraints. c After prepocess the problem consists of 945 variables and 39192 constraints. c preprocess terminated 383.842 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.93 0.97 0.95 2/55 14530 Raw data (stat): 14530 (runsolver) R 14529 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 732148481 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.0009 s] Raw data (loadavg): 0.94 0.97 0.95 2/55 14530 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 21760 0 0 0 938 54 0 0 25 0 1 0 732148481 92233728 21680 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 22518 21680 1111 63 0 22455 0 vsize: 90072 [startup+20.0018 s] Raw data (loadavg): 0.95 0.97 0.95 2/55 14530 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 24753 0 0 0 1932 60 0 0 25 0 1 0 732148481 100773888 23741 4294967295 134512640 134714508 3221221792 3221220272 134536638 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24603 23741 1111 63 0 24540 0 vsize: 98412 [startup+30.0028 s] Raw data (loadavg): 0.95 0.97 0.95 2/55 14530 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 24753 0 0 0 2932 60 0 0 25 0 1 0 732148481 100773888 23741 4294967295 134512640 134714508 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24603 23741 1111 63 0 24540 0 vsize: 98412 [startup+40.0047 s] Raw data (loadavg): 0.96 0.97 0.95 2/55 14530 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 24753 0 0 0 3932 60 0 0 25 0 1 0 732148481 100773888 23741 4294967295 134512640 134714508 3221221792 3221220304 134542963 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24603 23741 1111 63 0 24540 0 vsize: 98412 [startup+50.0056 s] Raw data (loadavg): 0.97 0.97 0.95 2/55 14530 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 24753 0 0 0 4931 61 0 0 25 0 1 0 732148481 100773888 23741 4294967295 134512640 134714508 3221221792 3221220176 134542347 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24603 23741 1111 63 0 24540 0 vsize: 98412 [startup+60.0054 s] Raw data (loadavg): 0.97 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 24753 0 0 0 5930 62 0 0 25 0 1 0 732148481 100773888 23741 4294967295 134512640 134714508 3221221792 3221220252 134543664 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24603 23741 1111 63 0 24540 0 vsize: 98412 [startup+70.0064 s] Raw data (loadavg): 0.97 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 24753 0 0 0 6930 62 0 0 25 0 1 0 732148481 100773888 23741 4294967295 134512640 134714508 3221221792 3221220368 134535745 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24603 23741 1111 63 0 24540 0 vsize: 98412 [startup+80.0093 s] Raw data (loadavg): 0.98 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 24753 0 0 0 7930 62 0 0 25 0 1 0 732148481 100773888 23741 4294967295 134512640 134714508 3221221792 3221220420 134594953 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24603 23741 1111 63 0 24540 0 vsize: 98412 [startup+90.0103 s] Raw data (loadavg): 0.98 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 24753 0 0 0 8930 62 0 0 25 0 1 0 732148481 100773888 23741 4294967295 134512640 134714508 3221221792 3221220204 134542288 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24603 23741 1111 63 0 24540 0 vsize: 98412 [startup+100.011 s] Raw data (loadavg): 0.98 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 24753 0 0 0 9930 63 0 0 25 0 1 0 732148481 100773888 23741 4294967295 134512640 134714508 3221221792 3221220156 134539217 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24603 23741 1111 63 0 24540 0 vsize: 98412 [startup+110.012 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 24753 0 0 0 10929 64 0 0 25 0 1 0 732148481 100773888 23741 4294967295 134512640 134714508 3221221792 3221220408 134543796 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24603 23741 1111 63 0 24540 0 vsize: 98412 [startup+120.014 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 24753 0 0 0 11928 64 0 0 25 0 1 0 732148481 100773888 23741 4294967295 134512640 134714508 3221221792 3221220176 134542350 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24603 23741 1111 63 0 24540 0 vsize: 98412 [startup+130.014 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 24753 0 0 0 12928 65 0 0 25 0 1 0 732148481 100773888 23741 4294967295 134512640 134714508 3221221792 3221220272 134539462 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24603 23741 1111 63 0 24540 0 vsize: 98412 [startup+140.016 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 24753 0 0 0 13928 65 0 0 25 0 1 0 732148481 100773888 23741 4294967295 134512640 134714508 3221221792 3221220176 134542306 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24603 23741 1111 63 0 24540 0 vsize: 98412 [startup+150.017 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 24753 0 0 0 14928 65 0 0 25 0 1 0 732148481 100773888 23741 4294967295 134512640 134714508 3221221792 3221220260 134536649 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24603 23741 1111 63 0 24540 0 vsize: 98412 [startup+160.016 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 24753 0 0 0 15927 66 0 0 25 0 1 0 732148481 100773888 23741 4294967295 134512640 134714508 3221221792 3221220408 134543796 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24603 23741 1111 63 0 24540 0 vsize: 98412 [startup+170.017 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 24753 0 0 0 16927 66 0 0 25 0 1 0 732148481 100773888 23741 4294967295 134512640 134714508 3221221792 3221220408 134543785 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24603 23741 1111 63 0 24540 0 vsize: 98412 [startup+180.018 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 24753 0 0 0 17926 67 0 0 25 0 1 0 732148481 100773888 23741 4294967295 134512640 134714508 3221221792 3221220432 134594970 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24603 23741 1111 63 0 24540 0 vsize: 98412 [startup+190.019 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 24753 0 0 0 18926 67 0 0 25 0 1 0 732148481 100773888 23741 4294967295 134512640 134714508 3221221792 3221220272 134524067 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24603 23741 1111 63 0 24540 0 vsize: 98412 [startup+200.02 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 24753 0 0 0 19926 67 0 0 25 0 1 0 732148481 100773888 23741 4294967295 134512640 134714508 3221221792 3221220408 134543796 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24603 23741 1111 63 0 24540 0 vsize: 98412 [startup+210.019 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 24753 0 0 0 20925 68 0 0 25 0 1 0 732148481 100773888 23741 4294967295 134512640 134714508 3221221792 3221220336 134535807 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24603 23741 1111 63 0 24540 0 vsize: 98412 [startup+220.02 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 24753 0 0 0 21925 68 0 0 25 0 1 0 732148481 100773888 23741 4294967295 134512640 134714508 3221221792 3221220176 134542352 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24603 23741 1111 63 0 24540 0 vsize: 98412 [startup+230.021 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 24753 0 0 0 22925 68 0 0 25 0 1 0 732148481 100773888 23741 4294967295 134512640 134714508 3221221792 3221220256 134542300 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24603 23741 1111 63 0 24540 0 vsize: 98412 [startup+240.021 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 24753 0 0 0 23925 69 0 0 25 0 1 0 732148481 100773888 23741 4294967295 134512640 134714508 3221221792 3221220432 134594947 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24603 23741 1111 63 0 24540 0 vsize: 98412 [startup+250.022 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 24753 0 0 0 24925 69 0 0 25 0 1 0 732148481 100773888 23741 4294967295 134512640 134714508 3221221792 3221220208 134542677 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24603 23741 1111 63 0 24540 0 vsize: 98412 [startup+260.022 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 24753 0 0 0 25925 69 0 0 25 0 1 0 732148481 100773888 23741 4294967295 134512640 134714508 3221221792 3221220408 134536921 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24603 23741 1111 63 0 24540 0 vsize: 98412 [startup+270.023 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 24753 0 0 0 26925 69 0 0 25 0 1 0 732148481 100773888 23741 4294967295 134512640 134714508 3221221792 3221220272 134536638 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24603 23741 1111 63 0 24540 0 vsize: 98412 [startup+280.022 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 24753 0 0 0 27924 70 0 0 25 0 1 0 732148481 100773888 23741 4294967295 134512640 134714508 3221221792 3221220208 134542677 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24603 23741 1111 63 0 24540 0 vsize: 98412 [startup+290.024 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 24753 0 0 0 28924 70 0 0 25 0 1 0 732148481 100773888 23741 4294967295 134512640 134714508 3221221792 3221220280 134543600 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24603 23741 1111 63 0 24540 0 vsize: 98412 [startup+300.025 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 24753 0 0 0 29924 70 0 0 25 0 1 0 732148481 100773888 23741 4294967295 134512640 134714508 3221221792 3221220272 134542352 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24603 23741 1111 63 0 24540 0 vsize: 98412 [startup+310.024 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 24753 0 0 0 30924 71 0 0 25 0 1 0 732148481 100773888 23741 4294967295 134512640 134714508 3221221792 3221220448 134627203 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24603 23741 1111 63 0 24540 0 vsize: 98412 [startup+320.025 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 24753 0 0 0 31924 71 0 0 25 0 1 0 732148481 100773888 23741 4294967295 134512640 134714508 3221221792 3221220452 134627197 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24603 23741 1111 63 0 24540 0 vsize: 98412 [startup+330.025 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 24753 0 0 0 32923 71 0 0 25 0 1 0 732148481 100773888 23741 4294967295 134512640 134714508 3221221792 3221220464 134627250 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24603 23741 1111 63 0 24540 0 vsize: 98412 [startup+340.026 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 24753 0 0 0 33924 71 0 0 25 0 1 0 732148481 100773888 23741 4294967295 134512640 134714508 3221221792 3221220464 134627250 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24603 23741 1111 63 0 24540 0 vsize: 98412 [startup+350.026 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 24753 0 0 0 34924 71 0 0 25 0 1 0 732148481 100773888 23741 4294967295 134512640 134714508 3221221792 3221220444 134558476 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24603 23741 1111 63 0 24540 0 vsize: 98412 [startup+360.027 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 24753 0 0 0 35924 71 0 0 25 0 1 0 732148481 100773888 23741 4294967295 134512640 134714508 3221221792 3221220464 134627250 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24603 23741 1111 63 0 24540 0 vsize: 98412 [startup+370.028 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 24754 0 0 0 36924 71 0 0 25 0 1 0 732148481 100773888 23742 4294967295 134512640 134714508 3221221792 3221220672 134622252 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24603 23742 1111 63 0 24540 0 vsize: 98412 [startup+380.028 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 24754 0 0 0 37924 71 0 0 25 0 1 0 732148481 100773888 23742 4294967295 134512640 134714508 3221221792 3221220660 134622267 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24603 23742 1111 63 0 24540 0 vsize: 98412 [startup+390.029 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 24776 0 0 0 38924 72 0 0 25 0 1 0 732148481 100773888 23764 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24603 23764 1111 63 0 24540 0 vsize: 98412 [startup+400.03 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 24776 0 0 0 39924 72 0 0 25 0 1 0 732148481 100773888 23764 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24603 23764 1111 63 0 24540 0 vsize: 98412 [startup+410.03 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 24776 0 0 0 40924 72 0 0 25 0 1 0 732148481 100773888 23764 4294967295 134512640 134714508 3221221792 3221219648 1074051522 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24603 23764 1111 63 0 24540 0 vsize: 98412 [startup+420.031 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 24776 0 0 0 41924 72 0 0 25 0 1 0 732148481 100773888 23764 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24603 23764 1111 63 0 24540 0 vsize: 98412 [startup+430.031 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 24776 0 0 0 42925 72 0 0 25 0 1 0 732148481 100773888 23764 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24603 23764 1111 63 0 24540 0 vsize: 98412 [startup+440.032 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 24776 0 0 0 43925 72 0 0 25 0 1 0 732148481 100773888 23764 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24603 23764 1111 63 0 24540 0 vsize: 98412 [startup+450.032 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 24776 0 0 0 44925 72 0 0 25 0 1 0 732148481 100773888 23764 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24603 23764 1111 63 0 24540 0 vsize: 98412 [startup+460.031 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 24776 0 0 0 45925 72 0 0 25 0 1 0 732148481 100773888 23764 4294967295 134512640 134714508 3221221792 3221219592 1077378596 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24603 23764 1111 63 0 24540 0 vsize: 98412 [startup+470.033 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 24776 0 0 0 46925 72 0 0 25 0 1 0 732148481 100773888 23764 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24603 23764 1111 63 0 24540 0 vsize: 98412 [startup+480.032 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 24776 0 0 0 47926 72 0 0 25 0 1 0 732148481 100773888 23764 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24603 23764 1111 63 0 24540 0 vsize: 98412 [startup+490.033 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 24776 0 0 0 48926 72 0 0 25 0 1 0 732148481 100773888 23764 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24603 23764 1111 63 0 24540 0 vsize: 98412 [startup+500.034 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 24776 0 0 0 49926 72 0 0 25 0 1 0 732148481 100773888 23764 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24603 23764 1111 63 0 24540 0 vsize: 98412 [startup+510.034 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 24776 0 0 0 50926 72 0 0 25 0 1 0 732148481 100773888 23764 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24603 23764 1111 63 0 24540 0 vsize: 98412 [startup+520.035 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 24776 0 0 0 51926 72 0 0 25 0 1 0 732148481 100773888 23764 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24603 23764 1111 63 0 24540 0 vsize: 98412 [startup+530.035 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 24776 0 0 0 52927 72 0 0 25 0 1 0 732148481 100773888 23764 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24603 23764 1111 63 0 24540 0 vsize: 98412 [startup+540.036 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 24776 0 0 0 53927 72 0 0 25 0 1 0 732148481 100773888 23764 4294967295 134512640 134714508 3221221792 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24603 23764 1111 63 0 24540 0 vsize: 98412 [startup+550.036 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 24776 0 0 0 54927 72 0 0 25 0 1 0 732148481 100773888 23764 4294967295 134512640 134714508 3221221792 3221220016 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24603 23764 1111 63 0 24540 0 vsize: 98412 [startup+560.036 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 24776 0 0 0 55927 72 0 0 25 0 1 0 732148481 100773888 23764 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24603 23764 1111 63 0 24540 0 vsize: 98412 [startup+570.037 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 24776 0 0 0 56927 72 0 0 25 0 1 0 732148481 100773888 23764 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24603 23764 1111 63 0 24540 0 vsize: 98412 [startup+580.036 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 24776 0 0 0 57927 72 0 0 25 0 1 0 732148481 100773888 23764 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24603 23764 1111 63 0 24540 0 vsize: 98412 [startup+590.038 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 24776 0 0 0 58928 72 0 0 25 0 1 0 732148481 100773888 23764 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24603 23764 1111 63 0 24540 0 vsize: 98412 [startup+600.039 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 25142 0 0 0 59927 73 0 0 25 0 1 0 732148481 102268928 24130 4294967295 134512640 134714508 3221221792 3221219968 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24968 24130 1111 63 0 24905 0 vsize: 99872 [startup+610.038 s] Raw data (loadavg): 0.99 0.97 0.95 3/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 25151 0 0 0 60927 73 0 0 25 0 1 0 732148481 102305792 24139 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24977 24139 1111 63 0 24914 0 vsize: 99908 [startup+620.038 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 25160 0 0 0 61926 74 0 0 25 0 1 0 732148481 102342656 24148 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24986 24148 1111 63 0 24923 0 vsize: 99944 [startup+630.038 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 25169 0 0 0 62926 74 0 0 25 0 1 0 732148481 102379520 24157 4294967295 134512640 134714508 3221221792 3221220016 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24995 24157 1111 63 0 24932 0 vsize: 99980 [startup+640.039 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 25180 0 0 0 63926 74 0 0 25 0 1 0 732148481 102424576 24168 4294967295 134512640 134714508 3221221792 3221220048 1074153792 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 25006 24168 1111 63 0 24943 0 vsize: 100024 [startup+650.039 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 25189 0 0 0 64925 75 0 0 25 0 1 0 732148481 102461440 24177 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 25015 24177 1111 63 0 24952 0 vsize: 100060 [startup+660.039 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 25198 0 0 0 65925 76 0 0 25 0 1 0 732148481 102498304 24186 4294967295 134512640 134714508 3221221792 3221220000 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 25024 24186 1111 63 0 24961 0 vsize: 100096 [startup+670.04 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 25209 0 0 0 66925 76 0 0 25 0 1 0 732148481 102543360 24197 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 25035 24197 1111 63 0 24972 0 vsize: 100140 [startup+680.04 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 25218 0 0 0 67925 76 0 0 25 0 1 0 732148481 102580224 24206 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 25044 24206 1111 63 0 24981 0 vsize: 100176 [startup+690.041 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 25227 0 0 0 68925 77 0 0 25 0 1 0 732148481 102617088 24215 4294967295 134512640 134714508 3221221792 3221219952 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 25053 24215 1111 63 0 24990 0 vsize: 100212 [startup+700.042 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 30851 0 0 0 69912 89 0 0 25 0 1 0 732148481 127639552 27809 4294967295 134512640 134714508 3221221792 3221217856 1074969474 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 31162 27809 1111 63 0 31099 0 vsize: 124648 [startup+710.042 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 30939 0 0 0 70912 90 0 0 25 0 1 0 732148481 127639552 27897 4294967295 134512640 134714508 3221221792 3221217856 1074969461 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 31162 27897 1111 63 0 31099 0 vsize: 124648 [startup+720.043 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 32322 0 0 0 71909 93 0 0 25 0 1 0 732148481 130514944 29278 4294967295 134512640 134714508 3221221792 3221217856 1074969461 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 31864 29278 1111 63 0 31801 0 vsize: 127456 [startup+730.043 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 32369 0 0 0 72909 93 0 0 25 0 1 0 732148481 130514944 29325 4294967295 134512640 134714508 3221221792 3221217920 1074815265 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 31864 29325 1111 63 0 31801 0 vsize: 127456 [startup+740.045 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 32577 0 0 0 73909 94 0 0 25 0 1 0 732148481 124772352 28246 4294967295 134512640 134714508 3221221792 3221217940 1075115060 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30462 28246 1111 63 0 30399 0 vsize: 121848 [startup+750.045 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 32595 0 0 0 74909 94 0 0 25 0 1 0 732148481 124772352 28262 4294967295 134512640 134714508 3221221792 3221217672 1075964740 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30462 28262 1111 63 0 30399 0 vsize: 121848 [startup+760.045 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 32605 0 0 0 75909 94 0 0 25 0 1 0 732148481 124772352 28270 4294967295 134512640 134714508 3221221792 3221217856 1074969465 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30462 28270 1111 63 0 30399 0 vsize: 121848 [startup+770.047 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 32632 0 0 0 76909 94 0 0 25 0 1 0 732148481 124772352 28295 4294967295 134512640 134714508 3221221792 3221217856 1074969458 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30462 28295 1111 63 0 30399 0 vsize: 121848 [startup+780.047 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 32657 0 0 0 77909 94 0 0 25 0 1 0 732148481 124772352 28318 4294967295 134512640 134714508 3221221792 3221217672 1075964740 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30462 28318 1111 63 0 30399 0 vsize: 121848 [startup+790.048 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 32666 0 0 0 78909 94 0 0 25 0 1 0 732148481 124772352 28325 4294967295 134512640 134714508 3221221792 3221217596 1074788959 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30462 28325 1111 63 0 30399 0 vsize: 121848 [startup+800.049 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 32670 0 0 0 79909 94 0 0 25 0 1 0 732148481 124772352 28329 4294967295 134512640 134714508 3221221792 3221217596 1074788953 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30462 28329 1111 63 0 30399 0 vsize: 121848 [startup+810.049 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 32681 0 0 0 80910 94 0 0 25 0 1 0 732148481 124772352 28338 4294967295 134512640 134714508 3221221792 3221217856 1074969458 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30462 28338 1111 63 0 30399 0 vsize: 121848 [startup+820.05 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 32711 0 0 0 81910 94 0 0 25 0 1 0 732148481 124772352 28366 4294967295 134512640 134714508 3221221792 3221217812 1075964248 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30462 28366 1111 63 0 30399 0 vsize: 121848 [startup+830.051 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 32716 0 0 0 82910 94 0 0 25 0 1 0 732148481 124772352 28371 4294967295 134512640 134714508 3221221792 3221217596 1074788953 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30462 28371 1111 63 0 30399 0 vsize: 121848 [startup+840.052 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 32737 0 0 0 83910 94 0 0 25 0 1 0 732148481 124772352 28390 4294967295 134512640 134714508 3221221792 3221217856 1074969461 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30462 28390 1111 63 0 30399 0 vsize: 121848 [startup+850.052 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 32747 0 0 0 84910 95 0 0 25 0 1 0 732148481 124772352 28398 4294967295 134512640 134714508 3221221792 3221217856 1074969461 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30462 28398 1111 63 0 30399 0 vsize: 121848 [startup+860.052 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 32754 0 0 0 85910 95 0 0 25 0 1 0 732148481 124772352 28403 4294967295 134512640 134714508 3221221792 3221217920 1074815276 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30462 28403 1111 63 0 30399 0 vsize: 121848 [startup+870.053 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 32758 0 0 0 86911 95 0 0 25 0 1 0 732148481 124772352 28407 4294967295 134512640 134714508 3221221792 3221217940 1075115060 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30462 28407 1111 63 0 30399 0 vsize: 121848 [startup+880.053 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 32774 0 0 0 87911 95 0 0 25 0 1 0 732148481 124772352 28421 4294967295 134512640 134714508 3221221792 3221217856 1074969461 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30462 28421 1111 63 0 30399 0 vsize: 121848 [startup+890.054 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 32777 0 0 0 88911 95 0 0 25 0 1 0 732148481 124772352 28424 4294967295 134512640 134714508 3221221792 3221217856 1074969680 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30462 28424 1111 63 0 30399 0 vsize: 121848 [startup+900.053 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 32830 0 0 0 89911 95 0 0 25 0 1 0 732148481 125345792 28475 4294967295 134512640 134714508 3221221792 3221217940 1075115043 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30602 28475 1111 63 0 30539 0 vsize: 122408 [startup+910.053 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 32918 0 0 0 90911 95 0 0 25 0 1 0 732148481 125947904 28561 4294967295 134512640 134714508 3221221792 3221217812 1075964248 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30749 28561 1111 63 0 30686 0 vsize: 122996 [startup+920.054 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 32938 0 0 0 91911 95 0 0 25 0 1 0 732148481 125947904 28581 4294967295 134512640 134714508 3221221792 3221217856 1074969458 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30749 28581 1111 63 0 30686 0 vsize: 122996 [startup+930.054 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 32950 0 0 0 92911 95 0 0 25 0 1 0 732148481 125947904 28591 4294967295 134512640 134714508 3221221792 3221217704 1075964742 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30749 28591 1111 63 0 30686 0 vsize: 122996 [startup+940.055 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 32971 0 0 0 93912 95 0 0 25 0 1 0 732148481 125947904 28610 4294967295 134512640 134714508 3221221792 3221217856 1074969461 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30749 28610 1111 63 0 30686 0 vsize: 122996 [startup+950.056 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 32972 0 0 0 94912 95 0 0 25 0 1 0 732148481 125947904 28611 4294967295 134512640 134714508 3221221792 3221217856 1074969685 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30749 28611 1111 63 0 30686 0 vsize: 122996 [startup+960.056 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 32996 0 0 0 95912 95 0 0 25 0 1 0 732148481 125947904 28633 4294967295 134512640 134714508 3221221792 3221217596 1074788959 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30749 28633 1111 63 0 30686 0 vsize: 122996 [startup+970.057 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 33004 0 0 0 96912 95 0 0 25 0 1 0 732148481 125947904 28639 4294967295 134512640 134714508 3221221792 3221217952 1075115715 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30749 28639 1111 63 0 30686 0 vsize: 122996 [startup+980.058 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 33006 0 0 0 97912 95 0 0 25 0 1 0 732148481 125947904 28641 4294967295 134512640 134714508 3221221792 3221217856 1074969461 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30749 28641 1111 63 0 30686 0 vsize: 122996 [startup+990.059 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 33016 0 0 0 98912 95 0 0 25 0 1 0 732148481 125947904 28649 4294967295 134512640 134714508 3221221792 3221217856 1074969461 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30749 28649 1111 63 0 30686 0 vsize: 122996 [startup+1000.06 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 33023 0 0 0 99912 96 0 0 25 0 1 0 732148481 125947904 28656 4294967295 134512640 134714508 3221221792 3221217920 1074815253 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30749 28656 1111 63 0 30686 0 vsize: 122996 [startup+1010.06 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 33035 0 0 0 100912 96 0 0 25 0 1 0 732148481 125947904 28666 4294967295 134512640 134714508 3221221792 3221217704 1075964737 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30749 28666 1111 63 0 30686 0 vsize: 122996 [startup+1020.06 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 33046 0 0 0 101913 96 0 0 25 0 1 0 732148481 125947904 28675 4294967295 134512640 134714508 3221221792 3221217856 1074969458 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30749 28675 1111 63 0 30686 0 vsize: 122996 [startup+1030.06 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 33046 0 0 0 102913 96 0 0 25 0 1 0 732148481 125947904 28675 4294967295 134512640 134714508 3221221792 3221217940 1075115039 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30749 28675 1111 63 0 30686 0 vsize: 122996 [startup+1040.06 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 33059 0 0 0 103913 96 0 0 25 0 1 0 732148481 125947904 28686 4294967295 134512640 134714508 3221221792 3221217724 1074788959 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30749 28686 1111 63 0 30686 0 vsize: 122996 [startup+1050.06 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 33070 0 0 0 104913 96 0 0 25 0 1 0 732148481 125947904 28695 4294967295 134512640 134714508 3221221792 3221217724 1074788959 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30749 28695 1111 63 0 30686 0 vsize: 122996 [startup+1060.06 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 33084 0 0 0 105913 96 0 0 25 0 1 0 732148481 125947904 28707 4294967295 134512640 134714508 3221221792 3221218088 1075112606 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30749 28707 1111 63 0 30686 0 vsize: 122996 [startup+1070.06 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 33154 0 0 0 106913 96 0 0 25 0 1 0 732148481 126586880 28775 4294967295 134512640 134714508 3221221792 3221217596 1074788953 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30905 28775 1111 63 0 30842 0 vsize: 123620 [startup+1080.06 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 33193 0 0 0 107912 97 0 0 25 0 1 0 732148481 126586880 28812 4294967295 134512640 134714508 3221221792 3221217856 1074969458 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30905 28812 1111 63 0 30842 0 vsize: 123620 [startup+1090.06 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 33196 0 0 0 108913 97 0 0 25 0 1 0 732148481 126586880 28813 4294967295 134512640 134714508 3221221792 3221217936 1075895652 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30905 28813 1111 63 0 30842 0 vsize: 123620 [startup+1100.06 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 33200 0 0 0 109913 97 0 0 25 0 1 0 732148481 126586880 28817 4294967295 134512640 134714508 3221221792 3221217872 1075094874 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30905 28817 1111 63 0 30842 0 vsize: 123620 [startup+1110.06 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 33216 0 0 0 110913 97 0 0 25 0 1 0 732148481 126586880 28831 4294967295 134512640 134714508 3221221792 3221217940 1075115043 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30905 28831 1111 63 0 30842 0 vsize: 123620 [startup+1120.06 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 33226 0 0 0 111913 97 0 0 25 0 1 0 732148481 126586880 28839 4294967295 134512640 134714508 3221221792 3221217920 1074815276 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30905 28839 1111 63 0 30842 0 vsize: 123620 [startup+1130.07 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 33231 0 0 0 112913 97 0 0 25 0 1 0 732148481 126902272 28842 4294967295 134512640 134714508 3221221792 3221218784 1074867308 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30982 28842 1111 63 0 30919 0 vsize: 123928 [startup+1140.07 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 33231 0 0 0 113914 97 0 0 25 0 1 0 732148481 126586880 28840 4294967295 134512640 134714508 3221221792 3221217856 1074969458 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30905 28840 1111 63 0 30842 0 vsize: 123620 [startup+1150.07 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 33242 0 0 0 114914 97 0 0 25 0 1 0 732148481 126586880 28849 4294967295 134512640 134714508 3221221792 3221217856 1074969461 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30905 28849 1111 63 0 30842 0 vsize: 123620 [startup+1160.07 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 33249 0 0 0 115914 97 0 0 25 0 1 0 732148481 126586880 28854 4294967295 134512640 134714508 3221221792 3221217856 1074969685 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30905 28854 1111 63 0 30842 0 vsize: 123620 [startup+1170.07 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 33251 0 0 0 116914 97 0 0 25 0 1 0 732148481 126586880 28854 4294967295 134512640 134714508 3221221792 3221217704 1075964764 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30905 28854 1111 63 0 30842 0 vsize: 123620 [startup+1180.07 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 33253 0 0 0 117914 97 0 0 25 0 1 0 732148481 126586880 28854 4294967295 134512640 134714508 3221221792 3221217856 1074969461 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30905 28854 1111 63 0 30842 0 vsize: 123620 [startup+1190.07 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 33258 0 0 0 118914 97 0 0 25 0 1 0 732148481 126902272 28859 4294967295 134512640 134714508 3221221792 3221218784 1074867308 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30982 28859 1111 63 0 30919 0 vsize: 123928 [startup+1200.07 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 14532 Raw data (stat): 14530 (bsolo_lpr) R 14529 7876 7672 0 -1 0 33262 0 0 0 119914 97 0 0 25 0 1 0 732148481 126586880 28859 4294967295 134512640 134714508 3221221792 3221217940 1075115065 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30905 28859 1111 63 0 30842 0 vsize: 123620 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.12 s] Raw data (loadavg): 0.99 0.97 0.95 1/55 14532 Raw data (stat): 14530 (bsolo_lpr) Z 14529 7876 7672 0 -1 1036 33262 0 0 0 119915 102 0 0 25 0 1 0 732148481 0 0 4294967295 0 0 0 0 0 0 0 1 0 3222412051 0 0 17 1 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child ended because it received signal 15 (SIGTERM) Real time (s): 1200.12 CPU time (s): 1200.18 CPU user time (s): 1199.15 CPU system time (s): 1.02984 CPU usage (%): 100.005 Max. virtual memory (Kb): 127456 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####