Name | normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-4.opb |
MD5SUM | e21d47f954166f353681a275b560afba |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -41 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 1400 |
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 | 1400 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1400 |
Number of bits of the biggest sum of numbers | 11 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1175.12 |
Number of variables | 1400 |
Total number of constraints | 110038 |
Number of constraints which are clauses | 110038 |
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-14 05:21:44 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=3115 boxname=wulflinc31 idbench=347 idsolver=1 numberseed=0 MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef /oldhome/oroussel/solvers/bsolo_lpr MD5SUM BENCH: e21d47f954166f353681a275b560afba /oldhome/oroussel/tmp/wulflinc31/normalized-frb56-25-4.opb REAL COMMAND: bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-frb56-25-4.opb IDLAUNCH: 3115 /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: 837956 kB Buffers: 38324 kB Cached: 136272 kB SwapCached: 1932 kB Active: 136568 kB Inactive: 41204 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 837704 kB SwapTotal: 2097892 kB SwapFree: 2095228 kB Dirty: 2420 kB Writeback: 0 kB Mapped: 5364 kB Slab: 13292 kB Committed_AS: 63860 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-14 05:41:47 (client local time) WITH STATUS 0 IN 1200.28 SECONDS stats: 3115 7 1200.28 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 1400 variables and 110038 constraints. c After prepocess the problem consists of 1400 variables and 78358 constraints. c preprocess terminated 862.537 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.98 0.99 2/55 23128 Raw data (stat): 23128 (runsolver) R 23127 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 741249448 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0 Raw data (statm): 258 100 215 215 0 43 0 vsize: 1032 [startup+10.0009 s] Raw data (loadavg): 0.94 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 11028 0 0 0 962 33 0 0 25 0 1 0 741249448 58343424 10951 4294967295 134512640 134714508 3221221792 3221219800 1077364239 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14244 10951 1111 63 0 14181 0 vsize: 56976 [startup+20.0018 s] Raw data (loadavg): 0.95 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 32597 0 0 0 1912 82 0 0 25 0 1 0 741249448 131416064 31225 4294967295 134512640 134714508 3221221792 3221220416 134538672 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 32084 31225 1111 63 0 32021 0 vsize: 128336 [startup+30.0028 s] Raw data (loadavg): 0.95 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 36448 0 0 0 2903 91 0 0 25 0 1 0 741249448 147111936 35076 4294967295 134512640 134714508 3221221792 3221220156 134539230 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 35916 35076 1111 63 0 35853 0 vsize: 143664 [startup+40.0038 s] Raw data (loadavg): 0.96 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 37419 0 0 0 3901 93 0 0 25 0 1 0 741249448 147509248 35178 4294967295 134512640 134714508 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 36013 35178 1111 63 0 35950 0 vsize: 144052 [startup+50.0047 s] Raw data (loadavg): 0.97 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 41619 0 0 0 4891 103 0 0 25 0 1 0 741249448 163319808 39032 4294967295 134512640 134714508 3221221792 3221220272 134539576 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 39873 39032 1111 63 0 39810 0 vsize: 159492 [startup+60.0056 s] Raw data (loadavg): 0.97 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45196 0 0 0 5884 110 0 0 25 0 1 0 741249448 178057216 42609 4294967295 134512640 134714508 3221221792 3221220344 1077377356 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 43471 42609 1111 63 0 43408 0 vsize: 173884 [startup+70.0066 s] Raw data (loadavg): 0.97 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45196 0 0 0 6883 111 0 0 25 0 1 0 741249448 178057216 42609 4294967295 134512640 134714508 3221221792 3221220416 1076648027 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 43471 42609 1111 63 0 43408 0 vsize: 173884 [startup+80.0085 s] Raw data (loadavg): 0.98 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45196 0 0 0 7883 112 0 0 25 0 1 0 741249448 178057216 42609 4294967295 134512640 134714508 3221221792 3221220400 134542598 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 43471 42609 1111 63 0 43408 0 vsize: 173884 [startup+90.0094 s] Raw data (loadavg): 0.98 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45196 0 0 0 8883 112 0 0 25 0 1 0 741249448 178057216 42609 4294967295 134512640 134714508 3221221792 3221220368 134535844 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 43471 42609 1111 63 0 43408 0 vsize: 173884 [startup+100.009 s] Raw data (loadavg): 0.98 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45196 0 0 0 9883 112 0 0 25 0 1 0 741249448 178057216 42609 4294967295 134512640 134714508 3221221792 3221220380 1076647540 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 43471 42609 1111 63 0 43408 0 vsize: 173884 [startup+110.011 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45196 0 0 0 10882 113 0 0 25 0 1 0 741249448 178057216 42609 4294967295 134512640 134714508 3221221792 3221220176 134542306 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 43471 42609 1111 63 0 43408 0 vsize: 173884 [startup+120.011 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45196 0 0 0 11882 113 0 0 25 0 1 0 741249448 178057216 42609 4294967295 134512640 134714508 3221221792 3221220176 134542350 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 43471 42609 1111 63 0 43408 0 vsize: 173884 [startup+130.012 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45196 0 0 0 12882 113 0 0 25 0 1 0 741249448 178057216 42609 4294967295 134512640 134714508 3221221792 3221220412 134536888 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 43471 42609 1111 63 0 43408 0 vsize: 173884 [startup+140.013 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45196 0 0 0 13882 114 0 0 25 0 1 0 741249448 178057216 42609 4294967295 134512640 134714508 3221221792 3221220408 134543793 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 43471 42609 1111 63 0 43408 0 vsize: 173884 [startup+150.014 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45196 0 0 0 14881 114 0 0 25 0 1 0 741249448 178057216 42609 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 43471 42609 1111 63 0 43408 0 vsize: 173884 [startup+160.015 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45196 0 0 0 15881 114 0 0 25 0 1 0 741249448 178057216 42609 4294967295 134512640 134714508 3221221792 3221220368 134535745 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 43471 42609 1111 63 0 43408 0 vsize: 173884 [startup+170.015 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45196 0 0 0 16881 114 0 0 25 0 1 0 741249448 178057216 42609 4294967295 134512640 134714508 3221221792 3221220544 134630792 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 43471 42609 1111 63 0 43408 0 vsize: 173884 [startup+180.015 s] Raw data (loadavg): 0.99 0.98 0.99 3/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45196 0 0 0 17881 115 0 0 25 0 1 0 741249448 178057216 42609 4294967295 134512640 134714508 3221221792 3221220408 134543804 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 43471 42609 1111 63 0 43408 0 vsize: 173884 [startup+190.016 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45196 0 0 0 18881 115 0 0 25 0 1 0 741249448 178057216 42609 4294967295 134512640 134714508 3221221792 3221220368 134535745 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43471 42609 1111 63 0 43408 0 vsize: 173884 [startup+200.016 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45196 0 0 0 19881 115 0 0 25 0 1 0 741249448 178057216 42609 4294967295 134512640 134714508 3221221792 3221220156 134539237 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43471 42609 1111 63 0 43408 0 vsize: 173884 [startup+210.017 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45196 0 0 0 20881 115 0 0 25 0 1 0 741249448 178057216 42609 4294967295 134512640 134714508 3221221792 3221220184 1077378310 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43471 42609 1111 63 0 43408 0 vsize: 173884 [startup+220.018 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45196 0 0 0 21882 115 0 0 25 0 1 0 741249448 178057216 42609 4294967295 134512640 134714508 3221221792 3221220156 134539237 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43471 42609 1111 63 0 43408 0 vsize: 173884 [startup+230.019 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45196 0 0 0 22882 115 0 0 25 0 1 0 741249448 178057216 42609 4294967295 134512640 134714508 3221221792 3221220320 134538762 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43471 42609 1111 63 0 43408 0 vsize: 173884 [startup+240.02 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45196 0 0 0 23882 115 0 0 25 0 1 0 741249448 178057216 42609 4294967295 134512640 134714508 3221221792 3221220380 1076533524 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43471 42609 1111 63 0 43408 0 vsize: 173884 [startup+250.02 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45196 0 0 0 24882 115 0 0 25 0 1 0 741249448 178057216 42609 4294967295 134512640 134714508 3221221792 3221220408 134543804 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43471 42609 1111 63 0 43408 0 vsize: 173884 [startup+260.021 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45196 0 0 0 25882 115 0 0 25 0 1 0 741249448 178057216 42609 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43471 42609 1111 63 0 43408 0 vsize: 173884 [startup+270.021 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45196 0 0 0 26883 115 0 0 25 0 1 0 741249448 178057216 42609 4294967295 134512640 134714508 3221221792 3221220408 134543804 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43471 42609 1111 63 0 43408 0 vsize: 173884 [startup+280.022 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45196 0 0 0 27883 115 0 0 25 0 1 0 741249448 178057216 42609 4294967295 134512640 134714508 3221221792 3221220408 134543804 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43471 42609 1111 63 0 43408 0 vsize: 173884 [startup+290.023 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45196 0 0 0 28883 116 0 0 25 0 1 0 741249448 178057216 42609 4294967295 134512640 134714508 3221221792 3221220260 134536649 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43471 42609 1111 63 0 43408 0 vsize: 173884 [startup+300.023 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45196 0 0 0 29883 116 0 0 25 0 1 0 741249448 178057216 42609 4294967295 134512640 134714508 3221221792 3221220272 134542347 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43471 42609 1111 63 0 43408 0 vsize: 173884 [startup+310.024 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45196 0 0 0 30883 116 0 0 25 0 1 0 741249448 178057216 42609 4294967295 134512640 134714508 3221221792 3221220156 134539223 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43471 42609 1111 63 0 43408 0 vsize: 173884 [startup+320.025 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45196 0 0 0 31883 116 0 0 25 0 1 0 741249448 178057216 42609 4294967295 134512640 134714508 3221221792 3221220176 134542350 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43471 42609 1111 63 0 43408 0 vsize: 173884 [startup+330.026 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45196 0 0 0 32883 116 0 0 25 0 1 0 741249448 178057216 42609 4294967295 134512640 134714508 3221221792 3221220408 134543796 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43471 42609 1111 63 0 43408 0 vsize: 173884 [startup+340.026 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45196 0 0 0 33883 116 0 0 25 0 1 0 741249448 178057216 42609 4294967295 134512640 134714508 3221221792 3221220272 134539374 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43471 42609 1111 63 0 43408 0 vsize: 173884 [startup+350.026 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45196 0 0 0 34883 116 0 0 25 0 1 0 741249448 178057216 42609 4294967295 134512640 134714508 3221221792 3221220408 134536921 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43471 42609 1111 63 0 43408 0 vsize: 173884 [startup+360.026 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45196 0 0 0 35884 116 0 0 25 0 1 0 741249448 178057216 42609 4294967295 134512640 134714508 3221221792 3221220408 134543804 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43471 42609 1111 63 0 43408 0 vsize: 173884 [startup+370.026 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45196 0 0 0 36884 116 0 0 25 0 1 0 741249448 178057216 42609 4294967295 134512640 134714508 3221221792 3221220272 134539462 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43471 42609 1111 63 0 43408 0 vsize: 173884 [startup+380.027 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45196 0 0 0 37884 116 0 0 25 0 1 0 741249448 178057216 42609 4294967295 134512640 134714508 3221221792 3221220408 134543796 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43471 42609 1111 63 0 43408 0 vsize: 173884 [startup+390.028 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45196 0 0 0 38884 116 0 0 25 0 1 0 741249448 178057216 42609 4294967295 134512640 134714508 3221221792 3221220420 134594953 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43471 42609 1111 63 0 43408 0 vsize: 173884 [startup+400.028 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45196 0 0 0 39884 116 0 0 25 0 1 0 741249448 178057216 42609 4294967295 134512640 134714508 3221221792 3221220272 134542352 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43471 42609 1111 63 0 43408 0 vsize: 173884 [startup+410.029 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45196 0 0 0 40884 116 0 0 25 0 1 0 741249448 178057216 42609 4294967295 134512640 134714508 3221221792 3221220272 134542350 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43471 42609 1111 63 0 43408 0 vsize: 173884 [startup+420.03 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45196 0 0 0 41885 116 0 0 25 0 1 0 741249448 178057216 42609 4294967295 134512640 134714508 3221221792 3221220272 134539374 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43471 42609 1111 63 0 43408 0 vsize: 173884 [startup+430.031 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45196 0 0 0 42885 116 0 0 25 0 1 0 741249448 178057216 42609 4294967295 134512640 134714508 3221221792 3221220208 134542677 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43471 42609 1111 63 0 43408 0 vsize: 173884 [startup+440.031 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45196 0 0 0 43885 116 0 0 25 0 1 0 741249448 178057216 42609 4294967295 134512640 134714508 3221221792 3221220184 134543600 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43471 42609 1111 63 0 43408 0 vsize: 173884 [startup+450.044 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45196 0 0 0 44886 116 0 0 25 0 1 0 741249448 178057216 42609 4294967295 134512640 134714508 3221221792 3221220176 134542352 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43471 42609 1111 63 0 43408 0 vsize: 173884 [startup+460.058 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45196 0 0 0 45888 116 0 0 25 0 1 0 741249448 178057216 42609 4294967295 134512640 134714508 3221221792 3221220272 134536638 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43471 42609 1111 63 0 43408 0 vsize: 173884 [startup+470.058 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45196 0 0 0 46888 116 0 0 25 0 1 0 741249448 178057216 42609 4294967295 134512640 134714508 3221221792 3221220156 134539217 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43471 42609 1111 63 0 43408 0 vsize: 173884 [startup+480.059 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45196 0 0 0 47888 116 0 0 25 0 1 0 741249448 178057216 42609 4294967295 134512640 134714508 3221221792 3221220192 134542753 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43471 42609 1111 63 0 43408 0 vsize: 173884 [startup+490.059 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45196 0 0 0 48888 116 0 0 25 0 1 0 741249448 178057216 42609 4294967295 134512640 134714508 3221221792 3221220272 134542350 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43471 42609 1111 63 0 43408 0 vsize: 173884 [startup+500.058 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45196 0 0 0 49889 116 0 0 25 0 1 0 741249448 178057216 42609 4294967295 134512640 134714508 3221221792 3221220272 134542352 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43471 42609 1111 63 0 43408 0 vsize: 173884 [startup+510.059 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45196 0 0 0 50889 116 0 0 25 0 1 0 741249448 178057216 42609 4294967295 134512640 134714508 3221221792 3221220200 134543600 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43471 42609 1111 63 0 43408 0 vsize: 173884 [startup+520.059 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45196 0 0 0 51889 117 0 0 25 0 1 0 741249448 178057216 42609 4294967295 134512640 134714508 3221221792 3221220432 134594970 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43471 42609 1111 63 0 43408 0 vsize: 173884 [startup+530.061 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45196 0 0 0 52889 117 0 0 25 0 1 0 741249448 178057216 42609 4294967295 134512640 134714508 3221221792 3221220208 134542682 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43471 42609 1111 63 0 43408 0 vsize: 173884 [startup+540.061 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45196 0 0 0 53889 117 0 0 25 0 1 0 741249448 178057216 42609 4294967295 134512640 134714508 3221221792 3221220172 134539208 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43471 42609 1111 63 0 43408 0 vsize: 173884 [startup+550.061 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45196 0 0 0 54889 117 0 0 25 0 1 0 741249448 178057216 42609 4294967295 134512640 134714508 3221221792 3221220272 134542350 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43471 42609 1111 63 0 43408 0 vsize: 173884 [startup+560.062 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45196 0 0 0 55890 117 0 0 25 0 1 0 741249448 178057216 42609 4294967295 134512640 134714508 3221221792 3221220272 134542350 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43471 42609 1111 63 0 43408 0 vsize: 173884 [startup+570.063 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45196 0 0 0 56890 117 0 0 25 0 1 0 741249448 178057216 42609 4294967295 134512640 134714508 3221221792 3221220408 134543796 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43471 42609 1111 63 0 43408 0 vsize: 173884 [startup+580.064 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45196 0 0 0 57890 117 0 0 25 0 1 0 741249448 178057216 42609 4294967295 134512640 134714508 3221221792 3221220336 134523165 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43471 42609 1111 63 0 43408 0 vsize: 173884 [startup+590.064 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45196 0 0 0 58890 117 0 0 25 0 1 0 741249448 178057216 42609 4294967295 134512640 134714508 3221221792 3221220260 134536649 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43471 42609 1111 63 0 43408 0 vsize: 173884 [startup+600.065 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45196 0 0 0 59890 117 0 0 25 0 1 0 741249448 178057216 42609 4294967295 134512640 134714508 3221221792 3221220344 1077377316 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43471 42609 1111 63 0 43408 0 vsize: 173884 [startup+610.066 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45196 0 0 0 60891 117 0 0 25 0 1 0 741249448 178057216 42609 4294967295 134512640 134714508 3221221792 3221220272 134539376 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43471 42609 1111 63 0 43408 0 vsize: 173884 [startup+620.066 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45196 0 0 0 61891 117 0 0 25 0 1 0 741249448 178057216 42609 4294967295 134512640 134714508 3221221792 3221220272 134539446 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43471 42609 1111 63 0 43408 0 vsize: 173884 [startup+630.067 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45196 0 0 0 62891 117 0 0 25 0 1 0 741249448 178057216 42609 4294967295 134512640 134714508 3221221792 3221220176 134542350 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43471 42609 1111 63 0 43408 0 vsize: 173884 [startup+640.068 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45196 0 0 0 63891 117 0 0 25 0 1 0 741249448 178057216 42609 4294967295 134512640 134714508 3221221792 3221220420 134594953 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43471 42609 1111 63 0 43408 0 vsize: 173884 [startup+650.068 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45196 0 0 0 64891 117 0 0 25 0 1 0 741249448 178057216 42609 4294967295 134512640 134714508 3221221792 3221220384 134557371 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43471 42609 1111 63 0 43408 0 vsize: 173884 [startup+660.068 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45196 0 0 0 65892 117 0 0 25 0 1 0 741249448 178057216 42609 4294967295 134512640 134714508 3221221792 3221220272 134539374 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43471 42609 1111 63 0 43408 0 vsize: 173884 [startup+670.069 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45196 0 0 0 66892 117 0 0 25 0 1 0 741249448 178057216 42609 4294967295 134512640 134714508 3221221792 3221220272 134539374 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43471 42609 1111 63 0 43408 0 vsize: 173884 [startup+680.07 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45196 0 0 0 67892 117 0 0 25 0 1 0 741249448 178057216 42609 4294967295 134512640 134714508 3221221792 3221220280 134543652 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43471 42609 1111 63 0 43408 0 vsize: 173884 [startup+690.07 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45196 0 0 0 68892 117 0 0 25 0 1 0 741249448 178057216 42609 4294967295 134512640 134714508 3221221792 3221220176 134542347 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43471 42609 1111 63 0 43408 0 vsize: 173884 [startup+700.07 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45196 0 0 0 69892 117 0 0 25 0 1 0 741249448 178057216 42609 4294967295 134512640 134714508 3221221792 3221220272 134539376 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43471 42609 1111 63 0 43408 0 vsize: 173884 [startup+710.071 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45196 0 0 0 70893 117 0 0 25 0 1 0 741249448 178057216 42609 4294967295 134512640 134714508 3221221792 3221220432 134594970 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43471 42609 1111 63 0 43408 0 vsize: 173884 [startup+720.071 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45196 0 0 0 71893 117 0 0 25 0 1 0 741249448 178057216 42609 4294967295 134512640 134714508 3221221792 3221220420 134594953 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43471 42609 1111 63 0 43408 0 vsize: 173884 [startup+730.072 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45196 0 0 0 72893 117 0 0 25 0 1 0 741249448 178057216 42609 4294967295 134512640 134714508 3221221792 3221220320 134543700 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43471 42609 1111 63 0 43408 0 vsize: 173884 [startup+740.073 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45196 0 0 0 73893 117 0 0 25 0 1 0 741249448 178057216 42609 4294967295 134512640 134714508 3221221792 3221220464 134627187 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43471 42609 1111 63 0 43408 0 vsize: 173884 [startup+750.073 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45196 0 0 0 74893 117 0 0 25 0 1 0 741249448 178057216 42609 4294967295 134512640 134714508 3221221792 3221220452 134627197 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43471 42609 1111 63 0 43408 0 vsize: 173884 [startup+760.074 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45196 0 0 0 75894 117 0 0 25 0 1 0 741249448 178057216 42609 4294967295 134512640 134714508 3221221792 3221220448 134627142 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43471 42609 1111 63 0 43408 0 vsize: 173884 [startup+770.074 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45196 0 0 0 76894 117 0 0 25 0 1 0 741249448 178057216 42609 4294967295 134512640 134714508 3221221792 3221220464 134627187 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43471 42609 1111 63 0 43408 0 vsize: 173884 [startup+780.075 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45196 0 0 0 77894 117 0 0 25 0 1 0 741249448 178057216 42609 4294967295 134512640 134714508 3221221792 3221220464 134627187 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43471 42609 1111 63 0 43408 0 vsize: 173884 [startup+790.075 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45196 0 0 0 78894 117 0 0 25 0 1 0 741249448 178057216 42609 4294967295 134512640 134714508 3221221792 3221220440 134558492 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43471 42609 1111 63 0 43408 0 vsize: 173884 [startup+800.075 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45413 0 0 0 79894 118 0 0 25 0 1 0 741249448 178941952 42826 4294967295 134512640 134714508 3221221792 3221220636 134542400 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43687 42826 1111 63 0 43624 0 vsize: 174748 [startup+810.076 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45413 0 0 0 80894 118 0 0 25 0 1 0 741249448 178941952 42826 4294967295 134512640 134714508 3221221792 3221220592 134622743 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43687 42826 1111 63 0 43624 0 vsize: 174748 [startup+820.075 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45413 0 0 0 81894 118 0 0 25 0 1 0 741249448 178941952 42826 4294967295 134512640 134714508 3221221792 3221220568 134543168 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43687 42826 1111 63 0 43624 0 vsize: 174748 [startup+830.077 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45413 0 0 0 82894 118 0 0 25 0 1 0 741249448 178941952 42826 4294967295 134512640 134714508 3221221792 3221220568 134543168 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43687 42826 1111 63 0 43624 0 vsize: 174748 [startup+840.077 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45413 0 0 0 83895 118 0 0 25 0 1 0 741249448 178941952 42826 4294967295 134512640 134714508 3221221792 3221220648 134536909 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43687 42826 1111 63 0 43624 0 vsize: 174748 [startup+850.077 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45413 0 0 0 84895 118 0 0 25 0 1 0 741249448 178941952 42826 4294967295 134512640 134714508 3221221792 3221220580 134622883 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43687 42826 1111 63 0 43624 0 vsize: 174748 [startup+860.078 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45413 0 0 0 85895 118 0 0 25 0 1 0 741249448 178941952 42826 4294967295 134512640 134714508 3221221792 3221220648 134543552 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43687 42826 1111 63 0 43624 0 vsize: 174748 [startup+870.078 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45442 0 0 0 86894 118 0 0 25 0 1 0 741249448 179830784 42855 4294967295 134512640 134714508 3221221792 3221219672 1077380592 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 43904 42855 1111 63 0 43841 0 vsize: 175616 [startup+880.08 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45445 0 0 0 87894 118 0 0 25 0 1 0 741249448 179830784 42858 4294967295 134512640 134714508 3221221792 3221220096 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43904 42858 1111 63 0 43841 0 vsize: 175616 [startup+890.081 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45447 0 0 0 88894 118 0 0 25 0 1 0 741249448 179830784 42860 4294967295 134512640 134714508 3221221792 3221220064 1074153786 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43904 42860 1111 63 0 43841 0 vsize: 175616 [startup+900.081 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45449 0 0 0 89894 119 0 0 25 0 1 0 741249448 179830784 42862 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43904 42862 1111 63 0 43841 0 vsize: 175616 [startup+910.082 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45616 0 0 0 90893 119 0 0 25 0 1 0 741249448 180506624 43029 4294967295 134512640 134714508 3221221792 3221219712 1077814665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 44069 43029 1111 63 0 44006 0 vsize: 176276 [startup+920.083 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45635 0 0 0 91893 120 0 0 25 0 1 0 741249448 180576256 43048 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 44086 43048 1111 63 0 44023 0 vsize: 176344 [startup+930.084 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45651 0 0 0 92892 121 0 0 25 0 1 0 741249448 180637696 43064 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 44101 43064 1111 63 0 44038 0 vsize: 176404 [startup+940.084 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45666 0 0 0 93892 121 0 0 25 0 1 0 741249448 180695040 43079 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 44115 43079 1111 63 0 44052 0 vsize: 176460 [startup+950.085 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45680 0 0 0 94891 122 0 0 25 0 1 0 741249448 180748288 43093 4294967295 134512640 134714508 3221221792 3221220048 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 44128 43093 1111 63 0 44065 0 vsize: 176512 [startup+960.085 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45695 0 0 0 95891 122 0 0 25 0 1 0 741249448 180801536 43108 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 44141 43108 1111 63 0 44078 0 vsize: 176564 [startup+970.086 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45707 0 0 0 96891 123 0 0 25 0 1 0 741249448 180846592 43120 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 44152 43120 1111 63 0 44089 0 vsize: 176608 [startup+980.086 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45719 0 0 0 97891 123 0 0 25 0 1 0 741249448 180891648 43132 4294967295 134512640 134714508 3221221792 3221219696 1077814665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 44163 43132 1111 63 0 44100 0 vsize: 176652 [startup+990.087 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45729 0 0 0 98891 124 0 0 25 0 1 0 741249448 180932608 43142 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 44173 43142 1111 63 0 44110 0 vsize: 176692 [startup+1000.09 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45740 0 0 0 99890 125 0 0 25 0 1 0 741249448 180973568 43153 4294967295 134512640 134714508 3221221792 3221220048 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 44183 43153 1111 63 0 44120 0 vsize: 176732 [startup+1010.09 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45751 0 0 0 100890 125 0 0 25 0 1 0 741249448 181014528 43164 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 44193 43164 1111 63 0 44130 0 vsize: 176772 [startup+1020.09 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45762 0 0 0 101890 125 0 0 25 0 1 0 741249448 181055488 43175 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 44203 43175 1111 63 0 44140 0 vsize: 176812 [startup+1030.09 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45771 0 0 0 102889 126 0 0 25 0 1 0 741249448 181088256 43184 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 44211 43184 1111 63 0 44148 0 vsize: 176844 [startup+1040.09 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45781 0 0 0 103889 126 0 0 25 0 1 0 741249448 181125120 43194 4294967295 134512640 134714508 3221221792 3221220096 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 44220 43194 1111 63 0 44157 0 vsize: 176880 [startup+1050.09 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45790 0 0 0 104889 126 0 0 25 0 1 0 741249448 181161984 43203 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 44229 43203 1111 63 0 44166 0 vsize: 176916 [startup+1060.09 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45966 0 0 0 105888 127 0 0 25 0 1 0 741249448 181878784 43379 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 44404 43379 1111 63 0 44341 0 vsize: 177616 [startup+1070.09 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45977 0 0 0 106888 128 0 0 25 0 1 0 741249448 181919744 43390 4294967295 134512640 134714508 3221221792 3221220096 1074153786 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 44414 43390 1111 63 0 44351 0 vsize: 177656 [startup+1080.09 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 45989 0 0 0 107887 129 0 0 25 0 1 0 741249448 181968896 43402 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 44426 43402 1111 63 0 44363 0 vsize: 177704 [startup+1090.09 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 46001 0 0 0 108887 130 0 0 25 0 1 0 741249448 182013952 43414 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 44437 43414 1111 63 0 44374 0 vsize: 177748 [startup+1100.09 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 46012 0 0 0 109886 130 0 0 25 0 1 0 741249448 182054912 43425 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 44447 43425 1111 63 0 44384 0 vsize: 177788 [startup+1110.09 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 46023 0 0 0 110886 130 0 0 25 0 1 0 741249448 182099968 43436 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 44458 43436 1111 63 0 44395 0 vsize: 177832 [startup+1120.09 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 46034 0 0 0 111886 131 0 0 25 0 1 0 741249448 182140928 43447 4294967295 134512640 134714508 3221221792 3221220048 1074153779 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 44468 43447 1111 63 0 44405 0 vsize: 177872 [startup+1130.1 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 46046 0 0 0 112886 131 0 0 25 0 1 0 741249448 182185984 43459 4294967295 134512640 134714508 3221221792 3221220064 1074153786 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 44479 43459 1111 63 0 44416 0 vsize: 177916 [startup+1140.1 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 46056 0 0 0 113886 131 0 0 25 0 1 0 741249448 182226944 43469 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 44489 43469 1111 63 0 44426 0 vsize: 177956 [startup+1150.1 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 46066 0 0 0 114886 131 0 0 25 0 1 0 741249448 182263808 43479 4294967295 134512640 134714508 3221221792 3221220096 1074153786 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 44498 43479 1111 63 0 44435 0 vsize: 177992 [startup+1160.1 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 46077 0 0 0 115886 132 0 0 25 0 1 0 741249448 182308864 43490 4294967295 134512640 134714508 3221221792 3221220016 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 44509 43490 1111 63 0 44446 0 vsize: 178036 [startup+1170.1 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 46088 0 0 0 116886 132 0 0 25 0 1 0 741249448 182349824 43501 4294967295 134512640 134714508 3221221792 3221220048 1074153786 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 44519 43501 1111 63 0 44456 0 vsize: 178076 [startup+1180.1 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 46099 0 0 0 117886 132 0 0 25 0 1 0 741249448 182394880 43512 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 44530 43512 1111 63 0 44467 0 vsize: 178120 [startup+1190.1 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 46109 0 0 0 118886 133 0 0 25 0 1 0 741249448 182431744 43522 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 44539 43522 1111 63 0 44476 0 vsize: 178156 [startup+1200.1 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 23128 Raw data (stat): 23128 (bsolo_lpr) R 23127 7876 7672 0 -1 0 46117 0 0 0 119885 133 0 0 25 0 1 0 741249448 182460416 43530 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 44546 43530 1111 63 0 44483 0 vsize: 178184 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.18 s] Raw data (loadavg): 0.99 0.98 0.99 1/55 23128 Raw data (stat): 23128 (bsolo_lpr) Z 23127 7876 7672 0 -1 1036 46117 0 0 0 119885 141 0 0 25 0 1 0 741249448 0 0 4294967295 0 0 0 0 0 0 0 1 0 3222412051 0 0 17 0 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.18 CPU time (s): 1200.28 CPU user time (s): 1198.86 CPU system time (s): 1.41878 CPU usage (%): 100.008 Max. virtual memory (Kb): 178184 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####