Name | normalized-opb/submitted/manquinho/ttp/normalized-data8_3.opb |
MD5SUM | 1f07a50778ff795858a07800272da436 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 48343 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 448 |
Biggest coefficient in the objective function | 1380 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 279536 |
Number of bits of the sum of numbers in the objective function | 19 |
Biggest number in a constraint | 1380 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 279536 |
Number of bits of the biggest sum of numbers | 19 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1189.04 |
Number of variables | 1344 |
Total number of constraints | 16096 |
Number of constraints which are clauses | 8208 |
Number of constraints which are cardinality constraints (but not clauses) | 496 |
Number of constraints which are nor clauses,nor cardinality constraints | 7392 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 28 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-10 14:43:31 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=2359 boxname=wulflinc31 idbench=263 idsolver=1 numberseed=0 MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef /oldhome/oroussel/solvers/bsolo_lpr MD5SUM BENCH: 1f07a50778ff795858a07800272da436 /oldhome/oroussel/tmp/wulflinc31/normalized-data8_3.opb REAL COMMAND: bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-data8_3.opb IDLAUNCH: 2359 /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: 290308 kB Buffers: 46868 kB Cached: 663224 kB SwapCached: 644 kB Active: 312492 kB Inactive: 399916 kB HighTotal: 131008 kB HighFree: 27356 kB LowTotal: 903652 kB LowFree: 262952 kB SwapTotal: 2097892 kB SwapFree: 2096612 kB Dirty: 440 kB Writeback: 0 kB Mapped: 5608 kB Slab: 26248 kB Committed_AS: 63652 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-10 15:03:06 (client local time) WITH STATUS 0 IN 1175.07 SECONDS stats: 2359 7 1175.07 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 1344 variables and 16376 constraints. c After prepocess the problem consists of 1344 variables and 15618 constraints. c preprocess terminated 54.579 s c Initial Lower Bound: 31916 c Lower Bound Elapsed time: 168.863 c Not use computed LB before first solution. s UNKNOWN c Exit Code: 0 c Total time: 1175.03 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): 1.14 1.03 0.95 2/54 11253 Raw data (stat): 11253 (runsolver) R 11252 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 710056497 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 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.0013 s] Raw data (loadavg): 1.12 1.03 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 5814 0 0 0 976 19 0 0 25 0 1 0 710056497 24379392 5096 4294967295 134512640 134714508 3221221792 3221220192 134542753 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5952 5096 1111 63 0 5889 0 vsize: 23808 [startup+20.0021 s] Raw data (loadavg): 1.10 1.03 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 6724 0 0 0 1974 21 0 0 25 0 1 0 710056497 26226688 5568 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6403 5568 1111 63 0 6340 0 vsize: 25612 [startup+30.002 s] Raw data (loadavg): 1.08 1.03 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 7168 0 0 0 2973 22 0 0 25 0 1 0 710056497 27770880 5913 4294967295 134512640 134714508 3221221792 3221220352 134535795 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6780 5913 1111 63 0 6717 0 vsize: 27120 [startup+40.0019 s] Raw data (loadavg): 1.07 1.03 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 7601 0 0 0 3972 23 0 0 25 0 1 0 710056497 28606464 6145 4294967295 134512640 134714508 3221221792 3221220464 134627187 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6984 6145 1111 63 0 6921 0 vsize: 27936 [startup+50.0018 s] Raw data (loadavg): 1.06 1.03 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 7601 0 0 0 4972 23 0 0 25 0 1 0 710056497 28606464 6145 4294967295 134512640 134714508 3221221792 3221220464 134627187 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6984 6145 1111 63 0 6921 0 vsize: 27936 [startup+60.002 s] Raw data (loadavg): 1.05 1.02 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 7740 0 0 0 5970 25 0 0 25 0 1 0 710056497 29159424 6284 4294967295 134512640 134714508 3221221792 3221220064 1074153663 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7119 6284 1111 63 0 7056 0 vsize: 28476 [startup+70.0029 s] Raw data (loadavg): 1.04 1.02 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 7882 0 0 0 6967 27 0 0 25 0 1 0 710056497 29519872 6396 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7207 6396 1111 63 0 7144 0 vsize: 28828 [startup+80.0037 s] Raw data (loadavg): 1.04 1.02 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 7929 0 0 0 7966 28 0 0 25 0 1 0 710056497 29712384 6443 4294967295 134512640 134714508 3221221792 3221219952 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7254 6443 1111 63 0 7191 0 vsize: 29016 [startup+90.0036 s] Raw data (loadavg): 1.03 1.02 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 8021 0 0 0 8966 29 0 0 25 0 1 0 710056497 30105600 6535 4294967295 134512640 134714508 3221221792 3221220016 1074153760 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7350 6535 1111 63 0 7287 0 vsize: 29400 [startup+100.004 s] Raw data (loadavg): 1.02 1.02 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 8055 0 0 0 9965 29 0 0 25 0 1 0 710056497 30244864 6569 4294967295 134512640 134714508 3221221792 3221219920 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7384 6569 1111 63 0 7321 0 vsize: 29536 [startup+110.004 s] Raw data (loadavg): 1.02 1.02 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 8155 0 0 0 10964 31 0 0 25 0 1 0 710056497 30556160 6649 4294967295 134512640 134714508 3221221792 3221220000 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7460 6649 1111 63 0 7397 0 vsize: 29840 [startup+120.004 s] Raw data (loadavg): 1.02 1.02 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 8183 0 0 0 11964 31 0 0 25 0 1 0 710056497 30670848 6677 4294967295 134512640 134714508 3221221792 3221219952 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7488 6677 1111 63 0 7425 0 vsize: 29952 [startup+130.004 s] Raw data (loadavg): 1.01 1.02 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 8210 0 0 0 12964 31 0 0 25 0 1 0 710056497 30781440 6704 4294967295 134512640 134714508 3221221792 3221219904 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7515 6704 1111 63 0 7452 0 vsize: 30060 [startup+140.005 s] Raw data (loadavg): 1.01 1.02 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 8236 0 0 0 13964 31 0 0 25 0 1 0 710056497 30887936 6730 4294967295 134512640 134714508 3221221792 3221220016 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7541 6730 1111 63 0 7478 0 vsize: 30164 [startup+150.005 s] Raw data (loadavg): 1.01 1.02 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 12525 0 0 0 14955 41 0 0 25 0 1 0 710056497 44474368 9344 4294967295 134512640 134714508 3221221792 3221217920 1074815309 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10858 9344 1111 63 0 10795 0 vsize: 43432 [startup+160.005 s] Raw data (loadavg): 1.01 1.02 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 12772 0 0 0 15954 41 0 0 25 0 1 0 710056497 43134976 9133 4294967295 134512640 134714508 3221221792 3221217984 1074961267 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10531 9133 1111 63 0 10468 0 vsize: 42124 [startup+170.005 s] Raw data (loadavg): 1.01 1.01 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 12857 0 0 0 16954 41 0 0 25 0 1 0 710056497 43352064 9218 4294967295 134512640 134714508 3221221792 3221217984 1074961301 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10584 9218 1111 63 0 10521 0 vsize: 42336 [startup+180.005 s] Raw data (loadavg): 1.00 1.01 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 12958 0 0 0 17954 42 0 0 25 0 1 0 710056497 43843584 9319 4294967295 134512640 134714508 3221221792 3221217596 1074788950 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10704 9319 1111 63 0 10641 0 vsize: 42816 [startup+190.005 s] Raw data (loadavg): 1.00 1.01 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 12997 0 0 0 18954 42 0 0 25 0 1 0 710056497 44105728 9358 4294967295 134512640 134714508 3221221792 3221217596 1074788950 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10768 9358 1111 63 0 10705 0 vsize: 43072 [startup+200.005 s] Raw data (loadavg): 1.00 1.01 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 13070 0 0 0 19953 43 0 0 25 0 1 0 710056497 44380160 9431 4294967295 134512640 134714508 3221221792 3221217940 1075114948 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10835 9431 1111 63 0 10772 0 vsize: 43340 [startup+210.005 s] Raw data (loadavg): 1.00 1.01 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 13110 0 0 0 20953 43 0 0 25 0 1 0 710056497 44675072 9471 4294967295 134512640 134714508 3221221792 3221217756 1074873474 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10907 9471 1111 63 0 10844 0 vsize: 43628 [startup+220.006 s] Raw data (loadavg): 1.00 1.01 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 13160 0 0 0 21954 43 0 0 25 0 1 0 710056497 44974080 9521 4294967295 134512640 134714508 3221221792 3221218080 1075894487 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10980 9521 1111 63 0 10917 0 vsize: 43920 [startup+230.006 s] Raw data (loadavg): 1.00 1.01 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 13175 0 0 0 22954 43 0 0 25 0 1 0 710056497 44974080 9536 4294967295 134512640 134714508 3221221792 3221217596 1074788950 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10980 9536 1111 63 0 10917 0 vsize: 43920 [startup+240.007 s] Raw data (loadavg): 1.00 1.01 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 13201 0 0 0 23954 43 0 0 25 0 1 0 710056497 45285376 9562 4294967295 134512640 134714508 3221221792 3221217756 1074873490 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11056 9562 1111 63 0 10993 0 vsize: 44224 [startup+250.006 s] Raw data (loadavg): 1.00 1.01 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 13220 0 0 0 24954 43 0 0 25 0 1 0 710056497 45285376 9581 4294967295 134512640 134714508 3221221792 3221217756 1074873527 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11056 9581 1111 63 0 10993 0 vsize: 44224 [startup+260.007 s] Raw data (loadavg): 1.00 1.01 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 13273 0 0 0 25954 43 0 0 25 0 1 0 710056497 45625344 9634 4294967295 134512640 134714508 3221221792 3221217596 1074788959 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11139 9634 1111 63 0 11076 0 vsize: 44556 [startup+270.006 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 13273 0 0 0 26954 44 0 0 25 0 1 0 710056497 45625344 9634 4294967295 134512640 134714508 3221221792 3221217596 1074788959 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11139 9634 1111 63 0 11076 0 vsize: 44556 [startup+280.006 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 13273 0 0 0 27954 44 0 0 25 0 1 0 710056497 45625344 9634 4294967295 134512640 134714508 3221221792 3221217856 1074969455 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11139 9634 1111 63 0 11076 0 vsize: 44556 [startup+290.008 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 13273 0 0 0 28954 44 0 0 25 0 1 0 710056497 45625344 9634 4294967295 134512640 134714508 3221221792 3221217872 1075093350 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11139 9634 1111 63 0 11076 0 vsize: 44556 [startup+300.008 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 13273 0 0 0 29954 44 0 0 25 0 1 0 710056497 45625344 9634 4294967295 134512640 134714508 3221221792 3221217920 1074815265 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11139 9634 1111 63 0 11076 0 vsize: 44556 [startup+310.009 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 13282 0 0 0 30954 44 0 0 25 0 1 0 710056497 45625344 9639 4294967295 134512640 134714508 3221221792 3221217680 1074872834 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11139 9639 1111 63 0 11076 0 vsize: 44556 [startup+320.009 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 13282 0 0 0 31954 44 0 0 25 0 1 0 710056497 45625344 9639 4294967295 134512640 134714508 3221221792 3221217724 1074788950 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11139 9639 1111 63 0 11076 0 vsize: 44556 [startup+330.009 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 13282 0 0 0 32954 44 0 0 25 0 1 0 710056497 45625344 9639 4294967295 134512640 134714508 3221221792 3221217888 1074882601 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11139 9639 1111 63 0 11076 0 vsize: 44556 [startup+340.009 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 13282 0 0 0 33954 44 0 0 25 0 1 0 710056497 45625344 9639 4294967295 134512640 134714508 3221221792 3221218240 1075397144 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11139 9639 1111 63 0 11076 0 vsize: 44556 [startup+350.009 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 13282 0 0 0 34954 44 0 0 25 0 1 0 710056497 45625344 9639 4294967295 134512640 134714508 3221221792 3221217984 1074960771 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11139 9639 1111 63 0 11076 0 vsize: 44556 [startup+360.01 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 19113 0 0 0 35940 59 0 0 25 0 1 0 710056497 33894400 7541 4294967295 134512640 134714508 3221221792 3221220016 1074039235 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8275 7541 1111 63 0 8212 0 vsize: 33100 [startup+370.01 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 21225 0 0 0 36933 66 0 0 25 0 1 0 710056497 34349056 7549 4294967295 134512640 134714508 3221221792 3221219708 1074788959 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8386 7549 1111 63 0 8323 0 vsize: 33544 [startup+380.01 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 31488 0 0 0 37908 91 0 0 25 0 1 0 710056497 34242560 7625 4294967295 134512640 134714508 3221221792 3221219864 1074950114 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8360 7625 1111 63 0 8297 0 vsize: 33440 [startup+390.011 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 33616 0 0 0 38900 100 0 0 25 0 1 0 710056497 34697216 7633 4294967295 134512640 134714508 3221221792 3221219708 1074788959 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8471 7633 1111 63 0 8408 0 vsize: 33884 [startup+400.01 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 34090 0 0 0 39897 102 0 0 25 0 1 0 710056497 34242560 7627 4294967295 134512640 134714508 3221221792 3221220352 134542303 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8360 7627 1111 63 0 8297 0 vsize: 33440 [startup+410.012 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 34090 0 0 0 40897 103 0 0 25 0 1 0 710056497 34242560 7627 4294967295 134512640 134714508 3221221792 3221220352 134542350 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8360 7627 1111 63 0 8297 0 vsize: 33440 [startup+420.012 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 34098 0 0 0 41896 104 0 0 25 0 1 0 710056497 34242560 7635 4294967295 134512640 134714508 3221221792 3221220352 134542368 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8360 7635 1111 63 0 8297 0 vsize: 33440 [startup+430.012 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 34146 0 0 0 42896 104 0 0 25 0 1 0 710056497 34512896 7683 4294967295 134512640 134714508 3221221792 3221220432 134543110 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8426 7683 1111 63 0 8363 0 vsize: 33704 [startup+440.012 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 34210 0 0 0 43896 105 0 0 25 0 1 0 710056497 34783232 7747 4294967295 134512640 134714508 3221221792 3221220432 134542352 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8492 7747 1111 63 0 8429 0 vsize: 33968 [startup+450.013 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 34246 0 0 0 44896 105 0 0 25 0 1 0 710056497 34918400 7783 4294967295 134512640 134714508 3221221792 3221220424 134543090 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8525 7783 1111 63 0 8462 0 vsize: 34100 [startup+460.014 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 34285 0 0 0 45896 105 0 0 25 0 1 0 710056497 35049472 7822 4294967295 134512640 134714508 3221221792 3221220416 134542303 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8557 7822 1111 63 0 8494 0 vsize: 34228 [startup+470.015 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 34315 0 0 0 46896 105 0 0 25 0 1 0 710056497 35184640 7852 4294967295 134512640 134714508 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8590 7852 1111 63 0 8527 0 vsize: 34360 [startup+480.014 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 34360 0 0 0 47895 106 0 0 25 0 1 0 710056497 35319808 7897 4294967295 134512640 134714508 3221221792 3221220608 134590271 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8623 7897 1111 63 0 8560 0 vsize: 34492 [startup+490.015 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 34405 0 0 0 48895 106 0 0 25 0 1 0 710056497 35454976 7942 4294967295 134512640 134714508 3221221792 3221220384 134543681 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8656 7942 1111 63 0 8593 0 vsize: 34624 [startup+500.015 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 34483 0 0 0 49895 106 0 0 25 0 1 0 710056497 35860480 8020 4294967295 134512640 134714508 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8755 8020 1111 63 0 8692 0 vsize: 35020 [startup+510.016 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 34524 0 0 0 50895 106 0 0 25 0 1 0 710056497 35995648 8061 4294967295 134512640 134714508 3221221792 3221220568 134613526 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8788 8061 1111 63 0 8725 0 vsize: 35152 [startup+520.017 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 34564 0 0 0 51895 107 0 0 25 0 1 0 710056497 36130816 8101 4294967295 134512640 134714508 3221221792 3221220300 134535891 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8821 8101 1111 63 0 8758 0 vsize: 35284 [startup+530.017 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 34598 0 0 0 52895 107 0 0 25 0 1 0 710056497 36265984 8135 4294967295 134512640 134714508 3221221792 3221220432 134696080 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8854 8135 1111 63 0 8791 0 vsize: 35416 [startup+540.018 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 34650 0 0 0 53895 107 0 0 25 0 1 0 710056497 36536320 8187 4294967295 134512640 134714508 3221221792 3221220496 134528653 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8920 8187 1111 63 0 8857 0 vsize: 35680 [startup+550.017 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 34689 0 0 0 54895 108 0 0 25 0 1 0 710056497 36671488 8226 4294967295 134512640 134714508 3221221792 3221220432 134539462 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8953 8226 1111 63 0 8890 0 vsize: 35812 [startup+560.019 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 34724 0 0 0 55895 108 0 0 25 0 1 0 710056497 36806656 8261 4294967295 134512640 134714508 3221221792 3221220432 134543110 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8986 8261 1111 63 0 8923 0 vsize: 35944 [startup+570.018 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 34771 0 0 0 56895 108 0 0 25 0 1 0 710056497 37076992 8308 4294967295 134512640 134714508 3221221792 3221220556 134543615 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9052 8308 1111 63 0 8989 0 vsize: 36208 [startup+580.018 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 34823 0 0 0 57895 108 0 0 25 0 1 0 710056497 37208064 8360 4294967295 134512640 134714508 3221221792 3221220396 134536817 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9084 8360 1111 63 0 9021 0 vsize: 36336 [startup+590.02 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 34838 0 0 0 58895 109 0 0 25 0 1 0 710056497 37343232 8375 4294967295 134512640 134714508 3221221792 3221220364 134543588 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9117 8375 1111 63 0 9054 0 vsize: 36468 [startup+600.02 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 34878 0 0 0 59895 109 0 0 25 0 1 0 710056497 37478400 8415 4294967295 134512640 134714508 3221221792 3221220404 134536752 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9150 8415 1111 63 0 9087 0 vsize: 36600 [startup+610.021 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 34916 0 0 0 60894 109 0 0 25 0 1 0 710056497 37609472 8453 4294967295 134512640 134714508 3221221792 3221220432 134539462 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9182 8453 1111 63 0 9119 0 vsize: 36728 [startup+620.021 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 34954 0 0 0 61894 110 0 0 25 0 1 0 710056497 37744640 8491 4294967295 134512640 134714508 3221221792 3221220320 134543030 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9215 8491 1111 63 0 9152 0 vsize: 36860 [startup+630.021 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 34972 0 0 0 62894 110 0 0 25 0 1 0 710056497 37875712 8509 4294967295 134512640 134714508 3221221792 3221220384 134542717 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9247 8509 1111 63 0 9184 0 vsize: 36988 [startup+640.021 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 35010 0 0 0 63894 110 0 0 25 0 1 0 710056497 38010880 8547 4294967295 134512640 134714508 3221221792 3221220352 134542352 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9280 8547 1111 63 0 9217 0 vsize: 37120 [startup+650.021 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 35031 0 0 0 64894 110 0 0 25 0 1 0 710056497 38146048 8568 4294967295 134512640 134714508 3221221792 3221220444 134536817 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9313 8568 1111 63 0 9250 0 vsize: 37252 [startup+660.022 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 35059 0 0 0 65894 110 0 0 25 0 1 0 710056497 38248448 8596 4294967295 134512640 134714508 3221221792 3221220432 134539376 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9338 8596 1111 63 0 9275 0 vsize: 37352 [startup+670.022 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 35107 0 0 0 66894 111 0 0 25 0 1 0 710056497 38383616 8644 4294967295 134512640 134714508 3221221792 3221220456 134543600 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9371 8644 1111 63 0 9308 0 vsize: 37484 [startup+680.022 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 35163 0 0 0 67894 111 0 0 25 0 1 0 710056497 38645760 8700 4294967295 134512640 134714508 3221221792 3221220320 134543030 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9435 8700 1111 63 0 9372 0 vsize: 37740 [startup+690.022 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 35206 0 0 0 68894 111 0 0 25 0 1 0 710056497 38772736 8743 4294967295 134512640 134714508 3221221792 3221220400 134549316 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9466 8743 1111 63 0 9403 0 vsize: 37864 [startup+700.022 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 35219 0 0 0 69894 111 0 0 25 0 1 0 710056497 38907904 8756 4294967295 134512640 134714508 3221221792 3221220432 134539376 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9499 8756 1111 63 0 9436 0 vsize: 37996 [startup+710.024 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 35259 0 0 0 70894 112 0 0 25 0 1 0 710056497 39026688 8796 4294967295 134512640 134714508 3221221792 3221220352 134542350 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9528 8796 1111 63 0 9465 0 vsize: 38112 [startup+720.024 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 35319 0 0 0 71894 112 0 0 25 0 1 0 710056497 39297024 8856 4294967295 134512640 134714508 3221221792 3221220324 134543027 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9594 8856 1111 63 0 9531 0 vsize: 38376 [startup+730.024 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 35351 0 0 0 72894 112 0 0 25 0 1 0 710056497 39432192 8888 4294967295 134512640 134714508 3221221792 3221220528 134523939 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9627 8888 1111 63 0 9564 0 vsize: 38508 [startup+740.024 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 35396 0 0 0 73894 112 0 0 25 0 1 0 710056497 39567360 8933 4294967295 134512640 134714508 3221221792 3221220464 134542865 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9660 8933 1111 63 0 9597 0 vsize: 38640 [startup+750.024 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 35414 0 0 0 74894 113 0 0 25 0 1 0 710056497 39702528 8951 4294967295 134512640 134714508 3221221792 3221220320 134543035 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9693 8951 1111 63 0 9630 0 vsize: 38772 [startup+760.025 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 35456 0 0 0 75894 113 0 0 25 0 1 0 710056497 39837696 8993 4294967295 134512640 134714508 3221221792 3221220472 134543600 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9726 8993 1111 63 0 9663 0 vsize: 38904 [startup+770.026 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 35487 0 0 0 76894 113 0 0 25 0 1 0 710056497 39972864 9024 4294967295 134512640 134714508 3221221792 3221220332 134539237 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9759 9024 1111 63 0 9696 0 vsize: 39036 [startup+780.025 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 35531 0 0 0 77894 113 0 0 25 0 1 0 710056497 40108032 9068 4294967295 134512640 134714508 3221221792 3221220328 134613965 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9792 9068 1111 63 0 9729 0 vsize: 39168 [startup+790.025 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 35571 0 0 0 78893 114 0 0 25 0 1 0 710056497 40239104 9108 4294967295 134512640 134714508 3221221792 3221220508 134542828 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9824 9108 1111 63 0 9761 0 vsize: 39296 [startup+800.025 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 35593 0 0 0 79893 114 0 0 25 0 1 0 710056497 40374272 9130 4294967295 134512640 134714508 3221221792 3221220332 134539237 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9857 9130 1111 63 0 9794 0 vsize: 39428 [startup+810.026 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 35651 0 0 0 80893 115 0 0 25 0 1 0 710056497 40644608 9188 4294967295 134512640 134714508 3221221792 3221220424 134542295 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9923 9188 1111 63 0 9860 0 vsize: 39692 [startup+820.026 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 35673 0 0 0 81893 115 0 0 25 0 1 0 710056497 40751104 9210 4294967295 134512640 134714508 3221221792 3221220300 134535967 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9949 9210 1111 63 0 9886 0 vsize: 39796 [startup+830.026 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 35700 0 0 0 82893 115 0 0 25 0 1 0 710056497 40849408 9237 4294967295 134512640 134714508 3221221792 3221220300 134535956 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9973 9237 1111 63 0 9910 0 vsize: 39892 [startup+840.027 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 35706 0 0 0 83893 115 0 0 25 0 1 0 710056497 40849408 9243 4294967295 134512640 134714508 3221221792 3221220300 134535900 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9973 9243 1111 63 0 9910 0 vsize: 39892 [startup+850.026 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 35728 0 0 0 84893 115 0 0 25 0 1 0 710056497 40984576 9265 4294967295 134512640 134714508 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10006 9265 1111 63 0 9943 0 vsize: 40024 [startup+860.027 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 35779 0 0 0 85892 116 0 0 25 0 1 0 710056497 41119744 9316 4294967295 134512640 134714508 3221221792 3221220384 134543681 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10039 9316 1111 63 0 9976 0 vsize: 40156 [startup+870.027 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 35810 0 0 0 86892 116 0 0 25 0 1 0 710056497 41254912 9347 4294967295 134512640 134714508 3221221792 3221220332 134539246 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10072 9347 1111 63 0 10009 0 vsize: 40288 [startup+880.027 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 35841 0 0 0 87891 117 0 0 25 0 1 0 710056497 41390080 9378 4294967295 134512640 134714508 3221221792 3221220384 134542677 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10105 9378 1111 63 0 10042 0 vsize: 40420 [startup+890.027 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 35877 0 0 0 88891 117 0 0 25 0 1 0 710056497 41525248 9414 4294967295 134512640 134714508 3221221792 3221220416 134543097 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10138 9414 1111 63 0 10075 0 vsize: 40552 [startup+900.028 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 35904 0 0 0 89891 118 0 0 25 0 1 0 710056497 41660416 9441 4294967295 134512640 134714508 3221221792 3221220352 134542303 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10171 9441 1111 63 0 10108 0 vsize: 40684 [startup+910.029 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 35940 0 0 0 90892 118 0 0 25 0 1 0 710056497 41795584 9477 4294967295 134512640 134714508 3221221792 3221220480 134543724 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10204 9477 1111 63 0 10141 0 vsize: 40816 [startup+920.029 s] Raw data (loadavg): 1.00 1.00 0.95 3/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 35962 0 0 0 91892 118 0 0 25 0 1 0 710056497 41930752 9499 4294967295 134512640 134714508 3221221792 3221220456 134543600 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10237 9499 1111 63 0 10174 0 vsize: 40948 [startup+930.029 s] Raw data (loadavg): 1.00 1.00 0.95 3/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 35975 0 0 0 92892 118 0 0 25 0 1 0 710056497 41930752 9512 4294967295 134512640 134714508 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10237 9512 1111 63 0 10174 0 vsize: 40948 [startup+940.029 s] Raw data (loadavg): 1.00 1.00 0.95 3/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 36042 0 0 0 93891 119 0 0 25 0 1 0 710056497 42196992 9579 4294967295 134512640 134714508 3221221792 3221220396 134536814 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10302 9579 1111 63 0 10239 0 vsize: 41208 [startup+950.03 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 36067 0 0 0 94891 119 0 0 25 0 1 0 710056497 42332160 9604 4294967295 134512640 134714508 3221221792 3221220344 134696461 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10335 9604 1111 63 0 10272 0 vsize: 41340 [startup+960.03 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 36078 0 0 0 95891 119 0 0 25 0 1 0 710056497 42332160 9615 4294967295 134512640 134714508 3221221792 3221220432 134539374 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10335 9615 1111 63 0 10272 0 vsize: 41340 [startup+970.031 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 36129 0 0 0 96891 119 0 0 25 0 1 0 710056497 42602496 9666 4294967295 134512640 134714508 3221221792 3221220568 134600364 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10401 9666 1111 63 0 10338 0 vsize: 41604 [startup+980.031 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 36162 0 0 0 97891 120 0 0 25 0 1 0 710056497 42737664 9699 4294967295 134512640 134714508 3221221792 3221220456 134543600 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10434 9699 1111 63 0 10371 0 vsize: 41736 [startup+990.032 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 36192 0 0 0 98891 120 0 0 25 0 1 0 710056497 42872832 9729 4294967295 134512640 134714508 3221221792 3221220380 134543588 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10467 9729 1111 63 0 10404 0 vsize: 41868 [startup+1000.03 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 36217 0 0 0 99891 120 0 0 25 0 1 0 710056497 43003904 9754 4294967295 134512640 134714508 3221221792 3221220384 134542731 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10499 9754 1111 63 0 10436 0 vsize: 41996 [startup+1010.03 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 36251 0 0 0 100891 120 0 0 25 0 1 0 710056497 43139072 9788 4294967295 134512640 134714508 3221221792 3221220384 134549660 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10532 9788 1111 63 0 10469 0 vsize: 42128 [startup+1020.03 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 36271 0 0 0 101891 120 0 0 25 0 1 0 710056497 43139072 9808 4294967295 134512640 134714508 3221221792 3221220300 134535956 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10532 9808 1111 63 0 10469 0 vsize: 42128 [startup+1030.03 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 36271 0 0 0 102891 120 0 0 25 0 1 0 710056497 43139072 9808 4294967295 134512640 134714508 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10532 9808 1111 63 0 10469 0 vsize: 42128 [startup+1040.04 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 36308 0 0 0 103891 120 0 0 25 0 1 0 710056497 43266048 9845 4294967295 134512640 134714508 3221221792 3221220384 134542784 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10563 9845 1111 63 0 10500 0 vsize: 42252 [startup+1050.04 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 36324 0 0 0 104891 121 0 0 25 0 1 0 710056497 43401216 9861 4294967295 134512640 134714508 3221221792 3221220460 134543588 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10596 9861 1111 63 0 10533 0 vsize: 42384 [startup+1060.04 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 36360 0 0 0 105891 121 0 0 25 0 1 0 710056497 43536384 9897 4294967295 134512640 134714508 3221221792 3221220396 134536771 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10629 9897 1111 63 0 10566 0 vsize: 42516 [startup+1070.04 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 36395 0 0 0 106891 121 0 0 25 0 1 0 710056497 43671552 9932 4294967295 134512640 134714508 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10662 9932 1111 63 0 10599 0 vsize: 42648 [startup+1080.04 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 36397 0 0 0 107891 121 0 0 25 0 1 0 710056497 43671552 9934 4294967295 134512640 134714508 3221221792 3221220420 134543092 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10662 9934 1111 63 0 10599 0 vsize: 42648 [startup+1090.04 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 36418 0 0 0 108891 122 0 0 25 0 1 0 710056497 43806720 9955 4294967295 134512640 134714508 3221221792 3221220424 134543090 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10695 9955 1111 63 0 10632 0 vsize: 42780 [startup+1100.04 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 36428 0 0 0 109891 122 0 0 25 0 1 0 710056497 43806720 9965 4294967295 134512640 134714508 3221221792 3221220460 134543653 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10695 9965 1111 63 0 10632 0 vsize: 42780 [startup+1110.04 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 36434 0 0 0 110892 122 0 0 25 0 1 0 710056497 43806720 9971 4294967295 134512640 134714508 3221221792 3221220376 134543589 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10695 9971 1111 63 0 10632 0 vsize: 42780 [startup+1120.04 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 36442 0 0 0 111892 122 0 0 25 0 1 0 710056497 43806720 9979 4294967295 134512640 134714508 3221221792 3221220416 134543740 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10695 9979 1111 63 0 10632 0 vsize: 42780 [startup+1130.04 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 36456 0 0 0 112892 122 0 0 25 0 1 0 710056497 43941888 9993 4294967295 134512640 134714508 3221221792 3221220428 134543664 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10728 9993 1111 63 0 10665 0 vsize: 42912 [startup+1140.04 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 36459 0 0 0 113892 122 0 0 25 0 1 0 710056497 43925504 9996 4294967295 134512640 134714508 3221221792 3221220568 134613539 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10724 9996 1111 63 0 10661 0 vsize: 42896 [startup+1150.04 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 36492 0 0 0 114892 122 0 0 25 0 1 0 710056497 44060672 10029 4294967295 134512640 134714508 3221221792 3221220496 134528650 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10757 10029 1111 63 0 10694 0 vsize: 43028 [startup+1160.04 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 36528 0 0 0 115892 123 0 0 25 0 1 0 710056497 44195840 10065 4294967295 134512640 134714508 3221221792 3221220432 134539376 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10790 10065 1111 63 0 10727 0 vsize: 43160 [startup+1170.04 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 36548 0 0 0 116892 123 0 0 25 0 1 0 710056497 44331008 10085 4294967295 134512640 134714508 3221221792 3221220448 134543710 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10823 10085 1111 63 0 10760 0 vsize: 43292 [startup+1174.96 s] Raw data (loadavg): 1.00 1.00 0.95 1/53 11253 Raw data (stat): 11253 (bsolo_lpr) R 11252 7876 7672 0 -1 0 36548 0 0 0 116892 123 0 0 25 0 1 0 710056497 44331008 10085 4294967295 134512640 134714508 3221221792 3221220448 134543710 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10823 10085 1111 63 0 10760 0 vsize: 0 Child status: 0 Real time (s): 1174.96 CPU time (s): 1175.07 CPU user time (s): 1173.82 CPU system time (s): 1.25181 CPU usage (%): 100.009 Max. virtual memory (Kb): 44556 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####