Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-hanoi5.opb |
MD5SUM | 430910c9a5d64dfdcfdaccb49935c3d0 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1931 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 3862 |
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 | 3862 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 3862 |
Number of bits of the biggest sum of numbers | 12 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 21.5857 |
Number of variables | 3862 |
Total number of constraints | 16399 |
Number of constraints which are clauses | 16399 |
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 | 1 |
Maximum length of a constraint | 8 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-05 02:50:55 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=1207 boxname=wulflinc31 idbench=135 idsolver=1 numberseed=0 MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef /oldhome/oroussel/solvers/bsolo_lpr MD5SUM BENCH: 430910c9a5d64dfdcfdaccb49935c3d0 /oldhome/oroussel/tmp/wulflinc31/normalized-hanoi5.opb REAL COMMAND: bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-hanoi5.opb IDLAUNCH: 1207 /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: 923828 kB Buffers: 17280 kB Cached: 68476 kB SwapCached: 3596 kB Active: 51248 kB Inactive: 39616 kB HighTotal: 131008 kB HighFree: 59248 kB LowTotal: 903652 kB LowFree: 864580 kB SwapTotal: 2097892 kB SwapFree: 2093676 kB Dirty: 56 kB Writeback: 0 kB Mapped: 5540 kB Slab: 14204 kB Committed_AS: 63656 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-05 03:10:58 (client local time) WITH STATUS 0 IN 1200.47 SECONDS stats: 1207 7 1200.47 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 3862 variables and 16399 constraints. c After prepocess the problem consists of 2600 variables and 11410 constraints. c preprocess terminated 964.561 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.87 0.95 0.98 2/54 8685 Raw data (stat): 8685 (runsolver) R 8684 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 662575481 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0 Raw data (statm): 258 100 215 215 0 43 0 vsize: 1032 [startup+10.0008 s] Raw data (loadavg): 0.89 0.95 0.98 2/54 8685 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 18500 0 0 0 944 51 0 0 25 0 1 0 662575481 78983168 18413 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19283 18413 1111 63 0 19220 0 vsize: 77132 [startup+20.0016 s] Raw data (loadavg): 0.91 0.95 0.98 2/54 8685 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 18500 0 0 0 1944 51 0 0 25 0 1 0 662575481 78983168 18413 4294967295 134512640 134714508 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19283 18413 1111 63 0 19220 0 vsize: 77132 [startup+30.003 s] Raw data (loadavg): 0.92 0.96 0.98 2/54 8685 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 18500 0 0 0 2944 51 0 0 25 0 1 0 662575481 78983168 18413 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19283 18413 1111 63 0 19220 0 vsize: 77132 [startup+40.0034 s] Raw data (loadavg): 0.93 0.96 0.98 2/54 8685 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 18500 0 0 0 3944 51 0 0 25 0 1 0 662575481 78983168 18413 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19283 18413 1111 63 0 19220 0 vsize: 77132 [startup+50.0033 s] Raw data (loadavg): 0.94 0.96 0.98 2/54 8685 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 18500 0 0 0 4944 51 0 0 25 0 1 0 662575481 78983168 18413 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19283 18413 1111 63 0 19220 0 vsize: 77132 [startup+60.0036 s] Raw data (loadavg): 0.95 0.96 0.98 2/54 8685 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 19036 0 0 0 5943 53 0 0 25 0 1 0 662575481 81178624 18949 4294967295 134512640 134714508 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19819 18949 1111 63 0 19756 0 vsize: 79276 [startup+70.0043 s] Raw data (loadavg): 0.96 0.96 0.98 2/54 8685 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 19036 0 0 0 6944 53 0 0 25 0 1 0 662575481 81178624 18949 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19819 18949 1111 63 0 19756 0 vsize: 79276 [startup+80.0051 s] Raw data (loadavg): 0.96 0.96 0.98 2/54 8685 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 19036 0 0 0 7944 53 0 0 25 0 1 0 662575481 81178624 18949 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19819 18949 1111 63 0 19756 0 vsize: 79276 [startup+90.0054 s] Raw data (loadavg): 0.97 0.96 0.98 2/54 8685 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 20727 0 0 0 8940 57 0 0 25 0 1 0 662575481 88104960 20640 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21510 20640 1111 63 0 21447 0 vsize: 86040 [startup+100.005 s] Raw data (loadavg): 0.97 0.96 0.98 2/54 8685 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 20727 0 0 0 9940 57 0 0 25 0 1 0 662575481 88104960 20640 4294967295 134512640 134714508 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21510 20640 1111 63 0 21447 0 vsize: 86040 [startup+110.006 s] Raw data (loadavg): 0.98 0.96 0.98 2/54 8685 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 20727 0 0 0 10940 57 0 0 25 0 1 0 662575481 88104960 20640 4294967295 134512640 134714508 3221221792 3221220516 134618158 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21510 20640 1111 63 0 21447 0 vsize: 86040 [startup+120.006 s] Raw data (loadavg): 0.98 0.96 0.98 2/54 8685 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 20727 0 0 0 11940 57 0 0 25 0 1 0 662575481 88104960 20640 4294967295 134512640 134714508 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21510 20640 1111 63 0 21447 0 vsize: 86040 [startup+130.007 s] Raw data (loadavg): 0.98 0.97 0.98 2/54 8685 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 20727 0 0 0 12940 57 0 0 25 0 1 0 662575481 88104960 20640 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21510 20640 1111 63 0 21447 0 vsize: 86040 [startup+140.007 s] Raw data (loadavg): 0.98 0.97 0.98 2/54 8685 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 20727 0 0 0 13940 57 0 0 25 0 1 0 662575481 88104960 20640 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21510 20640 1111 63 0 21447 0 vsize: 86040 [startup+150.007 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 8685 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 20727 0 0 0 14941 57 0 0 25 0 1 0 662575481 88104960 20640 4294967295 134512640 134714508 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21510 20640 1111 63 0 21447 0 vsize: 86040 [startup+160.007 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 8685 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 20727 0 0 0 15941 57 0 0 25 0 1 0 662575481 88104960 20640 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21510 20640 1111 63 0 21447 0 vsize: 86040 [startup+170.007 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 8685 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 20727 0 0 0 16941 57 0 0 25 0 1 0 662575481 88104960 20640 4294967295 134512640 134714508 3221221792 3221220432 134606456 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21510 20640 1111 63 0 21447 0 vsize: 86040 [startup+180.008 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 8685 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 20727 0 0 0 17941 57 0 0 25 0 1 0 662575481 88104960 20640 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21510 20640 1111 63 0 21447 0 vsize: 86040 [startup+190.008 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 8685 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 20727 0 0 0 18941 57 0 0 25 0 1 0 662575481 88104960 20640 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21510 20640 1111 63 0 21447 0 vsize: 86040 [startup+200.008 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 8685 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 20727 0 0 0 19942 57 0 0 25 0 1 0 662575481 88104960 20640 4294967295 134512640 134714508 3221221792 3221220296 1077378310 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21510 20640 1111 63 0 21447 0 vsize: 86040 [startup+210.009 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 8685 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 20727 0 0 0 20942 57 0 0 25 0 1 0 662575481 88104960 20640 4294967295 134512640 134714508 3221221792 3221220592 134617242 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21510 20640 1111 63 0 21447 0 vsize: 86040 [startup+220.009 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 8685 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 20727 0 0 0 21942 57 0 0 25 0 1 0 662575481 88104960 20640 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21510 20640 1111 63 0 21447 0 vsize: 86040 [startup+230.01 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 8685 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 20727 0 0 0 22942 57 0 0 25 0 1 0 662575481 88104960 20640 4294967295 134512640 134714508 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21510 20640 1111 63 0 21447 0 vsize: 86040 [startup+240.011 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 8685 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 20727 0 0 0 23942 57 0 0 25 0 1 0 662575481 88104960 20640 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21510 20640 1111 63 0 21447 0 vsize: 86040 [startup+250.011 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 8685 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 20727 0 0 0 24943 57 0 0 25 0 1 0 662575481 88104960 20640 4294967295 134512640 134714508 3221221792 3221220544 134630795 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21510 20640 1111 63 0 21447 0 vsize: 86040 [startup+260.012 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 8685 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 20727 0 0 0 25943 57 0 0 25 0 1 0 662575481 88104960 20640 4294967295 134512640 134714508 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21510 20640 1111 63 0 21447 0 vsize: 86040 [startup+270.012 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 8685 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 20727 0 0 0 26943 57 0 0 25 0 1 0 662575481 88104960 20640 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21510 20640 1111 63 0 21447 0 vsize: 86040 [startup+280.013 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 8685 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 20727 0 0 0 27943 57 0 0 25 0 1 0 662575481 88104960 20640 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21510 20640 1111 63 0 21447 0 vsize: 86040 [startup+290.014 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 8685 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 20727 0 0 0 28943 57 0 0 25 0 1 0 662575481 88104960 20640 4294967295 134512640 134714508 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21510 20640 1111 63 0 21447 0 vsize: 86040 [startup+300.014 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 8685 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 20727 0 0 0 29944 57 0 0 25 0 1 0 662575481 88104960 20640 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21510 20640 1111 63 0 21447 0 vsize: 86040 [startup+310.014 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 8685 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 20727 0 0 0 30944 57 0 0 25 0 1 0 662575481 88104960 20640 4294967295 134512640 134714508 3221221792 3221220432 134606456 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21510 20640 1111 63 0 21447 0 vsize: 86040 [startup+320.014 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 8685 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 20727 0 0 0 31944 57 0 0 25 0 1 0 662575481 88104960 20640 4294967295 134512640 134714508 3221221792 3221220456 134606826 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21510 20640 1111 63 0 21447 0 vsize: 86040 [startup+330.015 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 8685 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 20727 0 0 0 32944 57 0 0 25 0 1 0 662575481 88104960 20640 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21510 20640 1111 63 0 21447 0 vsize: 86040 [startup+340.015 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 8685 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 20727 0 0 0 33944 57 0 0 25 0 1 0 662575481 88104960 20640 4294967295 134512640 134714508 3221221792 3221220432 134606456 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21510 20640 1111 63 0 21447 0 vsize: 86040 [startup+350.016 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 8685 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 20727 0 0 0 34945 57 0 0 25 0 1 0 662575481 88104960 20640 4294967295 134512640 134714508 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21510 20640 1111 63 0 21447 0 vsize: 86040 [startup+360.016 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 8685 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 20727 0 0 0 35945 57 0 0 25 0 1 0 662575481 88104960 20640 4294967295 134512640 134714508 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21510 20640 1111 63 0 21447 0 vsize: 86040 [startup+370.016 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 8685 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 20727 0 0 0 36945 57 0 0 25 0 1 0 662575481 88104960 20640 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21510 20640 1111 63 0 21447 0 vsize: 86040 [startup+380.017 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 8685 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 20727 0 0 0 37945 57 0 0 25 0 1 0 662575481 88104960 20640 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21510 20640 1111 63 0 21447 0 vsize: 86040 [startup+390.018 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 8685 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 20727 0 0 0 38945 57 0 0 25 0 1 0 662575481 88104960 20640 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21510 20640 1111 63 0 21447 0 vsize: 86040 [startup+400.018 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 8685 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 20727 0 0 0 39946 57 0 0 25 0 1 0 662575481 88104960 20640 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21510 20640 1111 63 0 21447 0 vsize: 86040 [startup+410.018 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 8685 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 20727 0 0 0 40946 57 0 0 25 0 1 0 662575481 88104960 20640 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21510 20640 1111 63 0 21447 0 vsize: 86040 [startup+420.018 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 8685 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 20727 0 0 0 41946 57 0 0 25 0 1 0 662575481 88104960 20640 4294967295 134512640 134714508 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21510 20640 1111 63 0 21447 0 vsize: 86040 [startup+430.019 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 8685 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 20727 0 0 0 42946 57 0 0 25 0 1 0 662575481 88104960 20640 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21510 20640 1111 63 0 21447 0 vsize: 86040 [startup+440.019 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 8685 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 20727 0 0 0 43946 57 0 0 25 0 1 0 662575481 88104960 20640 4294967295 134512640 134714508 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21510 20640 1111 63 0 21447 0 vsize: 86040 [startup+450.019 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 8685 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 20727 0 0 0 44946 57 0 0 25 0 1 0 662575481 88104960 20640 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21510 20640 1111 63 0 21447 0 vsize: 86040 [startup+460.02 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 8685 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 20885 0 0 0 45946 57 0 0 25 0 1 0 662575481 88104960 20660 4294967295 134512640 134714508 3221221792 3221220216 1077378064 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21510 20660 1111 63 0 21447 0 vsize: 86040 [startup+470.02 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 8685 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 20929 0 0 0 46946 57 0 0 25 0 1 0 662575481 88104960 20660 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21510 20660 1111 63 0 21447 0 vsize: 86040 [startup+480.021 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 8685 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 20929 0 0 0 47947 57 0 0 25 0 1 0 662575481 88104960 20660 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21510 20660 1111 63 0 21447 0 vsize: 86040 [startup+490.02 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 8685 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 21262 0 0 0 48946 58 0 0 25 0 1 0 662575481 88104960 20660 4294967295 134512640 134714508 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21510 20660 1111 63 0 21447 0 vsize: 86040 [startup+500.02 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 8685 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 21389 0 0 0 49946 59 0 0 25 0 1 0 662575481 88104960 20660 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21510 20660 1111 63 0 21447 0 vsize: 86040 [startup+510.02 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 8685 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 21574 0 0 0 50945 59 0 0 25 0 1 0 662575481 88104960 20660 4294967295 134512640 134714508 3221221792 3221220520 134672911 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21510 20660 1111 63 0 21447 0 vsize: 86040 [startup+520.02 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 8685 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 21693 0 0 0 51945 60 0 0 25 0 1 0 662575481 88104960 20660 4294967295 134512640 134714508 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21510 20660 1111 63 0 21447 0 vsize: 86040 [startup+530.021 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 8685 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 22364 0 0 0 52943 62 0 0 25 0 1 0 662575481 88104960 20660 4294967295 134512640 134714508 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21510 20660 1111 63 0 21447 0 vsize: 86040 [startup+540.023 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 8685 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 22824 0 0 0 53943 62 0 0 25 0 1 0 662575481 88104960 20660 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21510 20660 1111 63 0 21447 0 vsize: 86040 [startup+550.022 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 8685 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 22824 0 0 0 54943 62 0 0 25 0 1 0 662575481 88104960 20660 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21510 20660 1111 63 0 21447 0 vsize: 86040 [startup+560.062 s] Raw data (loadavg): 1.15 1.00 0.99 2/56 8726 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 23998 0 0 0 55940 69 0 0 25 0 1 0 662575481 88104960 20660 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21510 20660 1111 63 0 21447 0 vsize: 86040 [startup+570.193 s] Raw data (loadavg): 1.12 1.00 0.99 2/58 8728 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 24580 0 0 0 56951 71 0 0 25 0 1 0 662575481 88104960 20660 4294967295 134512640 134714508 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21510 20660 1111 63 0 21447 0 vsize: 86040 [startup+580.266 s] Raw data (loadavg): 1.26 1.04 1.01 3/57 8733 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 24770 0 0 0 57958 71 0 0 25 0 1 0 662575481 88104960 20660 4294967295 134512640 134714508 3221221792 3221220304 1076647581 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21510 20660 1111 63 0 21447 0 vsize: 86040 [startup+590.267 s] Raw data (loadavg): 1.29 1.05 1.01 2/54 8738 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 25682 0 0 0 58956 74 0 0 25 0 1 0 662575481 88104960 20660 4294967295 134512640 134714508 3221221792 3221220544 134630792 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21510 20660 1111 63 0 21447 0 vsize: 86040 [startup+600.268 s] Raw data (loadavg): 1.25 1.05 1.01 2/54 8738 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 26330 0 0 0 59954 76 0 0 25 0 1 0 662575481 88104960 20660 4294967295 134512640 134714508 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21510 20660 1111 63 0 21447 0 vsize: 86040 [startup+610.268 s] Raw data (loadavg): 1.21 1.05 1.01 2/54 8738 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 27395 0 0 0 60951 78 0 0 25 0 1 0 662575481 88104960 20660 4294967295 134512640 134714508 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21510 20660 1111 63 0 21447 0 vsize: 86040 [startup+620.268 s] Raw data (loadavg): 1.18 1.04 1.01 2/54 8738 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 27897 0 0 0 61950 79 0 0 25 0 1 0 662575481 88104960 20660 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21510 20660 1111 63 0 21447 0 vsize: 86040 [startup+630.269 s] Raw data (loadavg): 1.15 1.04 1.01 2/54 8738 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 29433 0 0 0 62946 84 0 0 25 0 1 0 662575481 88104960 20660 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21510 20660 1111 63 0 21447 0 vsize: 86040 [startup+640.269 s] Raw data (loadavg): 1.12 1.04 1.00 2/54 8738 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 30809 0 0 0 63943 87 0 0 25 0 1 0 662575481 88104960 20660 4294967295 134512640 134714508 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21510 20660 1111 63 0 21447 0 vsize: 86040 [startup+650.27 s] Raw data (loadavg): 1.10 1.04 1.00 2/54 8738 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 31067 0 0 0 64943 88 0 0 25 0 1 0 662575481 88104960 20660 4294967295 134512640 134714508 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21510 20660 1111 63 0 21447 0 vsize: 86040 [startup+660.271 s] Raw data (loadavg): 1.09 1.04 1.00 2/54 8740 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 32772 0 0 0 65939 92 0 0 25 0 1 0 662575481 90333184 21202 4294967295 134512640 134714508 3221221792 3221220504 134543600 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 22054 21202 1111 63 0 21991 0 vsize: 88216 [startup+670.271 s] Raw data (loadavg): 1.07 1.03 1.00 2/54 8740 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 33957 0 0 0 66935 96 0 0 25 0 1 0 662575481 88104960 20660 4294967295 134512640 134714508 3221221792 3221220216 1077377316 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21510 20660 1111 63 0 21447 0 vsize: 86040 [startup+680.272 s] Raw data (loadavg): 1.06 1.03 1.00 2/54 8740 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 35343 0 0 0 67933 98 0 0 25 0 1 0 662575481 88104960 20660 4294967295 134512640 134714508 3221221792 3221220364 1076533124 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21510 20660 1111 63 0 21447 0 vsize: 86040 [startup+690.272 s] Raw data (loadavg): 1.05 1.03 1.00 2/54 8740 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 36132 0 0 0 68931 100 0 0 25 0 1 0 662575481 88104960 20660 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21510 20660 1111 63 0 21447 0 vsize: 86040 [startup+700.272 s] Raw data (loadavg): 1.04 1.03 1.00 2/54 8740 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 38361 0 0 0 69926 105 0 0 25 0 1 0 662575481 88104960 20660 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21510 20660 1111 63 0 21447 0 vsize: 86040 [startup+710.273 s] Raw data (loadavg): 1.04 1.03 1.00 2/54 8740 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 40446 0 0 0 70922 110 0 0 25 0 1 0 662575481 88104960 20660 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21510 20660 1111 63 0 21447 0 vsize: 86040 [startup+720.273 s] Raw data (loadavg): 1.03 1.03 1.00 2/54 8740 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 41247 0 0 0 71919 113 0 0 25 0 1 0 662575481 88104960 20660 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21510 20660 1111 63 0 21447 0 vsize: 86040 [startup+730.274 s] Raw data (loadavg): 1.03 1.03 1.00 2/54 8740 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 42690 0 0 0 72916 116 0 0 25 0 1 0 662575481 88104960 20660 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21510 20660 1111 63 0 21447 0 vsize: 86040 [startup+740.275 s] Raw data (loadavg): 1.02 1.02 1.00 2/54 8740 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 45299 0 0 0 73910 123 0 0 25 0 1 0 662575481 88104960 20660 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21510 20660 1111 63 0 21447 0 vsize: 86040 [startup+750.275 s] Raw data (loadavg): 1.02 1.02 1.00 2/54 8740 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 47692 0 0 0 74904 129 0 0 25 0 1 0 662575481 88104960 20660 4294967295 134512640 134714508 3221221792 3221220404 134557790 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21510 20660 1111 63 0 21447 0 vsize: 86040 [startup+760.276 s] Raw data (loadavg): 1.01 1.02 1.00 2/54 8740 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 48768 0 0 0 75901 132 0 0 25 0 1 0 662575481 88104960 20660 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21510 20660 1111 63 0 21447 0 vsize: 86040 [startup+770.276 s] Raw data (loadavg): 1.01 1.02 1.00 2/54 8740 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 52023 0 0 0 76893 140 0 0 25 0 1 0 662575481 88104960 20660 4294967295 134512640 134714508 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21510 20660 1111 63 0 21447 0 vsize: 86040 [startup+780.277 s] Raw data (loadavg): 1.01 1.02 1.00 2/54 8740 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 54990 0 0 0 77886 147 0 0 25 0 1 0 662575481 88104960 20660 4294967295 134512640 134714508 3221221792 3221220520 134672906 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21510 20660 1111 63 0 21447 0 vsize: 86040 [startup+790.277 s] Raw data (loadavg): 1.01 1.02 1.00 2/54 8740 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 56379 0 0 0 78882 151 0 0 25 0 1 0 662575481 88104960 20660 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21510 20660 1111 63 0 21447 0 vsize: 86040 [startup+800.277 s] Raw data (loadavg): 1.01 1.02 1.00 2/54 8740 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 58157 0 0 0 79878 155 0 0 25 0 1 0 662575481 88104960 20660 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21510 20660 1111 63 0 21447 0 vsize: 86040 [startup+810.279 s] Raw data (loadavg): 1.00 1.02 1.00 2/54 8740 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 62111 0 0 0 80868 166 0 0 25 0 1 0 662575481 88104960 20660 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21510 20660 1111 63 0 21447 0 vsize: 86040 [startup+820.278 s] Raw data (loadavg): 1.00 1.02 1.00 2/54 8740 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 65586 0 0 0 81859 175 0 0 25 0 1 0 662575481 88104960 20660 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21510 20660 1111 63 0 21447 0 vsize: 86040 [startup+830.279 s] Raw data (loadavg): 1.00 1.02 1.00 2/54 8740 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 67183 0 0 0 82855 179 0 0 25 0 1 0 662575481 88104960 20660 4294967295 134512640 134714508 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21510 20660 1111 63 0 21447 0 vsize: 86040 [startup+840.28 s] Raw data (loadavg): 1.00 1.02 1.00 2/54 8740 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 71821 0 0 0 83844 191 0 0 25 0 1 0 662575481 88104960 20660 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21510 20660 1111 63 0 21447 0 vsize: 86040 [startup+850.281 s] Raw data (loadavg): 1.00 1.01 1.00 2/54 8740 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 74940 0 0 0 84837 198 0 0 25 0 1 0 662575481 94752768 22262 4294967295 134512640 134714508 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23133 22262 1111 63 0 23070 0 vsize: 92532 [startup+860.281 s] Raw data (loadavg): 1.00 1.01 1.00 2/54 8740 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 75306 0 0 0 85836 199 0 0 25 0 1 0 662575481 96251904 22628 4294967295 134512640 134714508 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23499 22628 1111 63 0 23436 0 vsize: 93996 [startup+870.281 s] Raw data (loadavg): 1.00 1.01 1.00 2/54 8740 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 76088 0 0 0 86834 201 0 0 25 0 1 0 662575481 99373056 23410 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24261 23410 1111 63 0 24198 0 vsize: 97044 [startup+880.282 s] Raw data (loadavg): 1.00 1.01 1.00 2/54 8740 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 76088 0 0 0 87835 201 0 0 25 0 1 0 662575481 99373056 23410 4294967295 134512640 134714508 3221221792 3221220384 1077377142 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24261 23410 1111 63 0 24198 0 vsize: 97044 [startup+890.282 s] Raw data (loadavg): 1.00 1.01 1.00 2/54 8742 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 76088 0 0 0 88835 201 0 0 25 0 1 0 662575481 99373056 23410 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24261 23410 1111 63 0 24198 0 vsize: 97044 [startup+900.282 s] Raw data (loadavg): 1.00 1.01 1.00 2/54 8742 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 76088 0 0 0 89835 201 0 0 25 0 1 0 662575481 99373056 23410 4294967295 134512640 134714508 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24261 23410 1111 63 0 24198 0 vsize: 97044 [startup+910.283 s] Raw data (loadavg): 1.00 1.01 1.00 2/54 8742 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 76088 0 0 0 90835 201 0 0 25 0 1 0 662575481 99373056 23410 4294967295 134512640 134714508 3221221792 3221220456 134627195 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24261 23410 1111 63 0 24198 0 vsize: 97044 [startup+920.283 s] Raw data (loadavg): 1.00 1.01 1.00 2/54 8742 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 76088 0 0 0 91835 201 0 0 25 0 1 0 662575481 99373056 23410 4294967295 134512640 134714508 3221221792 3221220464 134627250 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24261 23410 1111 63 0 24198 0 vsize: 97044 [startup+930.284 s] Raw data (loadavg): 1.00 1.01 1.00 2/54 8742 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 76088 0 0 0 92836 201 0 0 25 0 1 0 662575481 99373056 23410 4294967295 134512640 134714508 3221221792 3221220464 134627187 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24261 23410 1111 63 0 24198 0 vsize: 97044 [startup+940.283 s] Raw data (loadavg): 1.00 1.01 1.00 2/54 8742 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 76088 0 0 0 93836 201 0 0 25 0 1 0 662575481 99373056 23410 4294967295 134512640 134714508 3221221792 3221220464 134627187 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24261 23410 1111 63 0 24198 0 vsize: 97044 [startup+950.284 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 8742 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 76088 0 0 0 94836 201 0 0 25 0 1 0 662575481 99373056 23410 4294967295 134512640 134714508 3221221792 3221220464 134627187 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24261 23410 1111 63 0 24198 0 vsize: 97044 [startup+960.284 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 8742 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 76088 0 0 0 95836 201 0 0 25 0 1 0 662575481 99373056 23410 4294967295 134512640 134714508 3221221792 3221220456 134627136 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24261 23410 1111 63 0 24198 0 vsize: 97044 [startup+970.284 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 8742 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 76113 0 0 0 96835 201 0 0 25 0 1 0 662575481 99373056 23435 4294967295 134512640 134714508 3221221792 3221220064 1074153779 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24261 23435 1111 63 0 24198 0 vsize: 97044 [startup+980.285 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 8742 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 76113 0 0 0 97835 201 0 0 25 0 1 0 662575481 99373056 23435 4294967295 134512640 134714508 3221221792 3221220096 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24261 23435 1111 63 0 24198 0 vsize: 97044 [startup+990.285 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 8742 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 76564 0 0 0 98835 202 0 0 25 0 1 0 662575481 101548032 23886 4294967295 134512640 134714508 3221221792 3221217872 1075095305 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24792 23886 1111 63 0 24729 0 vsize: 99168 [startup+1000.28 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 8742 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 76606 0 0 0 99835 202 0 0 25 0 1 0 662575481 101658624 23928 4294967295 134512640 134714508 3221221792 3221218080 1075894487 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24819 23928 1111 63 0 24756 0 vsize: 99276 [startup+1010.29 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 8742 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 77055 0 0 0 100834 204 0 0 25 0 1 0 662575481 101892096 23992 4294967295 134512640 134714508 3221221792 3221217724 1074788968 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24876 23992 1111 63 0 24813 0 vsize: 99504 [startup+1020.29 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 8742 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 77193 0 0 0 101834 204 0 0 25 0 1 0 662575481 103788544 24130 4294967295 134512640 134714508 3221221792 3221217932 1075116508 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 25339 24130 1111 63 0 25276 0 vsize: 101356 [startup+1030.29 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 8742 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 77556 0 0 0 102833 205 0 0 25 0 1 0 662575481 102150144 24068 4294967295 134512640 134714508 3221221792 3221217824 1074790287 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24939 24068 1111 63 0 24876 0 vsize: 99756 [startup+1040.29 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 8742 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 77585 0 0 0 103833 205 0 0 25 0 1 0 662575481 102293504 24097 4294967295 134512640 134714508 3221221792 3221217864 1074883056 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24974 24097 1111 63 0 24911 0 vsize: 99896 [startup+1050.29 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 8742 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 77587 0 0 0 104833 205 0 0 25 0 1 0 662575481 102293504 24099 4294967295 134512640 134714508 3221221792 3221217676 1074788959 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24974 24099 1111 63 0 24911 0 vsize: 99896 [startup+1060.29 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 8742 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 77622 0 0 0 105833 205 0 0 25 0 1 0 662575481 102432768 24134 4294967295 134512640 134714508 3221221792 3221217588 1074786513 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 25008 24134 1111 63 0 24945 0 vsize: 100032 [startup+1070.29 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 8742 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 77624 0 0 0 106833 205 0 0 25 0 1 0 662575481 102432768 24136 4294967295 134512640 134714508 3221221792 3221217776 1075084533 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 25008 24136 1111 63 0 24945 0 vsize: 100032 [startup+1080.29 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 8742 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 77624 0 0 0 107833 205 0 0 25 0 1 0 662575481 102432768 24136 4294967295 134512640 134714508 3221221792 3221217940 1075115039 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 25008 24136 1111 63 0 24945 0 vsize: 100032 [startup+1090.29 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 8742 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 77624 0 0 0 108834 205 0 0 25 0 1 0 662575481 102432768 24136 4294967295 134512640 134714508 3221221792 3221217620 1074786479 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 25008 24136 1111 63 0 24945 0 vsize: 100032 [startup+1100.29 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 8742 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 77624 0 0 0 109834 205 0 0 25 0 1 0 662575481 102432768 24136 4294967295 134512640 134714508 3221221792 3221218640 1075890968 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 25008 24136 1111 63 0 24945 0 vsize: 100032 [startup+1110.29 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 8742 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 77624 0 0 0 110834 205 0 0 25 0 1 0 662575481 102432768 24136 4294967295 134512640 134714508 3221221792 3221217724 1074788953 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 25008 24136 1111 63 0 24945 0 vsize: 100032 [startup+1120.29 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 8742 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 77624 0 0 0 111834 205 0 0 25 0 1 0 662575481 102432768 24136 4294967295 134512640 134714508 3221221792 3221217596 1074788959 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 25008 24136 1111 63 0 24945 0 vsize: 100032 [startup+1130.29 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 8742 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 77624 0 0 0 112834 205 0 0 25 0 1 0 662575481 102432768 24136 4294967295 134512640 134714508 3221221792 3221218256 1075088563 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 25008 24136 1111 63 0 24945 0 vsize: 100032 [startup+1140.29 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 8742 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 77624 0 0 0 113835 205 0 0 25 0 1 0 662575481 102432768 24136 4294967295 134512640 134714508 3221221792 3221217872 1075093374 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 25008 24136 1111 63 0 24945 0 vsize: 100032 [startup+1150.29 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 8742 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 77625 0 0 0 114835 205 0 0 25 0 1 0 662575481 102432768 24137 4294967295 134512640 134714508 3221221792 3221217812 1075964296 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 25008 24137 1111 63 0 24945 0 vsize: 100032 [startup+1160.29 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 8742 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 77625 0 0 0 115835 205 0 0 25 0 1 0 662575481 102432768 24137 4294967295 134512640 134714508 3221221792 3221217648 1075965243 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 25008 24137 1111 63 0 24945 0 vsize: 100032 [startup+1170.29 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 8742 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 77625 0 0 0 116835 205 0 0 25 0 1 0 662575481 102432768 24137 4294967295 134512640 134714508 3221221792 3221217952 1075115724 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 25008 24137 1111 63 0 24945 0 vsize: 100032 [startup+1180.29 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 8742 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 77625 0 0 0 117835 205 0 0 25 0 1 0 662575481 102432768 24137 4294967295 134512640 134714508 3221221792 3221217680 1075965234 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 25008 24137 1111 63 0 24945 0 vsize: 100032 [startup+1190.29 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 8742 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 77655 0 0 0 118836 205 0 0 25 0 1 0 662575481 102588416 24167 4294967295 134512640 134714508 3221221792 3221217952 1075115747 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 25046 24167 1111 63 0 24983 0 vsize: 100184 [startup+1200.29 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 8742 Raw data (stat): 8685 (bsolo_lpr) R 8684 7876 7672 0 -1 0 77658 0 0 0 119836 205 0 0 25 0 1 0 662575481 102588416 24170 4294967295 134512640 134714508 3221221792 3221217596 1074788950 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 25046 24170 1111 63 0 24983 0 vsize: 100184 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.34 s] Raw data (loadavg): 1.00 1.00 1.00 1/54 8742 Raw data (stat): 8685 (bsolo_lpr) Z 8684 7876 7672 0 -1 1036 77658 0 0 0 119836 210 0 0 25 0 1 0 662575481 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.34 CPU time (s): 1200.47 CPU user time (s): 1198.36 CPU system time (s): 2.10368 CPU usage (%): 100.01 Max. virtual memory (Kb): 101356 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####