Name | normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-2.opb |
MD5SUM | 270e069f649d19b0da4e4d23c0e1ebfc |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -30 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 760 |
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 | 760 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 760 |
Number of bits of the biggest sum of numbers | 10 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1175.06 |
Number of variables | 760 |
Total number of constraints | 41263 |
Number of constraints which are clauses | 41263 |
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-12 16:18:10 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=2917 boxname=wulflinc31 idbench=325 idsolver=1 numberseed=0 MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef /oldhome/oroussel/solvers/bsolo_lpr MD5SUM BENCH: 270e069f649d19b0da4e4d23c0e1ebfc /oldhome/oroussel/tmp/wulflinc31/normalized-frb40-19-2.opb REAL COMMAND: bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-frb40-19-2.opb IDLAUNCH: 2917 /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: 885124 kB Buffers: 34952 kB Cached: 93060 kB SwapCached: 1936 kB Active: 94300 kB Inactive: 36904 kB HighTotal: 131008 kB HighFree: 37100 kB LowTotal: 903652 kB LowFree: 848024 kB SwapTotal: 2097892 kB SwapFree: 2095224 kB Dirty: 916 kB Writeback: 0 kB Mapped: 5360 kB Slab: 12768 kB Committed_AS: 63860 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-12 16:38:12 (client local time) WITH STATUS 0 IN 1200.23 SECONDS stats: 2917 7 1200.23 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 760 variables and 41263 constraints. c After prepocess the problem consists of 760 variables and 29238 constraints. c preprocess terminated 267.623 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.92 0.95 0.96 2/55 10492 Raw data (stat): 10492 (runsolver) R 10491 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 727906458 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.0014 s] Raw data (loadavg): 0.93 0.96 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 15609 0 0 0 951 45 0 0 25 0 1 0 727906458 67018752 15529 4294967295 134512640 134714508 3221221792 3221220200 134543606 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 16362 15529 1111 63 0 16299 0 vsize: 65448 [startup+20.0022 s] Raw data (loadavg): 0.94 0.96 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 15724 0 0 0 1951 45 0 0 25 0 1 0 727906458 67559424 15644 4294967295 134512640 134714508 3221221792 3221220236 134536820 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 16494 15644 1111 63 0 16431 0 vsize: 65976 [startup+30.0032 s] Raw data (loadavg): 0.95 0.96 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 15732 0 0 0 2950 46 0 0 25 0 1 0 727906458 67559424 15652 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 16494 15652 1111 63 0 16431 0 vsize: 65976 [startup+40.0032 s] Raw data (loadavg): 0.96 0.96 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 15732 0 0 0 3950 47 0 0 25 0 1 0 727906458 67559424 15652 4294967295 134512640 134714508 3221221792 3221220272 134536730 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 16494 15652 1111 63 0 16431 0 vsize: 65976 [startup+50.005 s] Raw data (loadavg): 0.96 0.96 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 15732 0 0 0 4950 47 0 0 25 0 1 0 727906458 67559424 15652 4294967295 134512640 134714508 3221221792 3221220408 134543785 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 16494 15652 1111 63 0 16431 0 vsize: 65976 [startup+60.0061 s] Raw data (loadavg): 0.97 0.96 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 15732 0 0 0 5950 47 0 0 25 0 1 0 727906458 67559424 15652 4294967295 134512640 134714508 3221221792 3221220368 134535745 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16494 15652 1111 63 0 16431 0 vsize: 65976 [startup+70.0068 s] Raw data (loadavg): 0.97 0.96 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 15732 0 0 0 6950 47 0 0 25 0 1 0 727906458 67559424 15652 4294967295 134512640 134714508 3221221792 3221220156 134539237 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16494 15652 1111 63 0 16431 0 vsize: 65976 [startup+80.0078 s] Raw data (loadavg): 0.98 0.96 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 15732 0 0 0 7951 47 0 0 25 0 1 0 727906458 67559424 15652 4294967295 134512640 134714508 3221221792 3221220280 134543614 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16494 15652 1111 63 0 16431 0 vsize: 65976 [startup+90.0077 s] Raw data (loadavg): 0.98 0.96 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 15732 0 0 0 8951 47 0 0 25 0 1 0 727906458 67559424 15652 4294967295 134512640 134714508 3221221792 3221220272 134536630 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16494 15652 1111 63 0 16431 0 vsize: 65976 [startup+100.009 s] Raw data (loadavg): 0.98 0.96 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 15732 0 0 0 9951 47 0 0 25 0 1 0 727906458 67559424 15652 4294967295 134512640 134714508 3221221792 3221220176 134542352 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16494 15652 1111 63 0 16431 0 vsize: 65976 [startup+110.01 s] Raw data (loadavg): 0.98 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 15732 0 0 0 10951 47 0 0 25 0 1 0 727906458 67559424 15652 4294967295 134512640 134714508 3221221792 3221220432 134594947 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16494 15652 1111 63 0 16431 0 vsize: 65976 [startup+120.009 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 15732 0 0 0 11951 47 0 0 25 0 1 0 727906458 67559424 15652 4294967295 134512640 134714508 3221221792 3221220420 134594953 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16494 15652 1111 63 0 16431 0 vsize: 65976 [startup+130.01 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 15732 0 0 0 12951 47 0 0 25 0 1 0 727906458 67559424 15652 4294967295 134512640 134714508 3221221792 3221220208 134542677 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16494 15652 1111 63 0 16431 0 vsize: 65976 [startup+140.011 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 15732 0 0 0 13952 47 0 0 25 0 1 0 727906458 67559424 15652 4294967295 134512640 134714508 3221221792 3221220408 134543804 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16494 15652 1111 63 0 16431 0 vsize: 65976 [startup+150.012 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 15732 0 0 0 14952 47 0 0 25 0 1 0 727906458 67559424 15652 4294967295 134512640 134714508 3221221792 3221220272 134542303 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16494 15652 1111 63 0 16431 0 vsize: 65976 [startup+160.012 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 15732 0 0 0 15952 47 0 0 25 0 1 0 727906458 67559424 15652 4294967295 134512640 134714508 3221221792 3221220272 134539390 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16494 15652 1111 63 0 16431 0 vsize: 65976 [startup+170.012 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 15732 0 0 0 16952 47 0 0 25 0 1 0 727906458 67559424 15652 4294967295 134512640 134714508 3221221792 3221220176 134542350 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16494 15652 1111 63 0 16431 0 vsize: 65976 [startup+180.013 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 15732 0 0 0 17952 47 0 0 25 0 1 0 727906458 67559424 15652 4294967295 134512640 134714508 3221221792 3221220156 134539237 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16494 15652 1111 63 0 16431 0 vsize: 65976 [startup+190.013 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 15732 0 0 0 18953 47 0 0 25 0 1 0 727906458 67559424 15652 4294967295 134512640 134714508 3221221792 3221220272 134539374 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16494 15652 1111 63 0 16431 0 vsize: 65976 [startup+200.013 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 15732 0 0 0 19953 48 0 0 25 0 1 0 727906458 67559424 15652 4294967295 134512640 134714508 3221221792 3221220464 134627250 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16494 15652 1111 63 0 16431 0 vsize: 65976 [startup+210.014 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 15732 0 0 0 20953 48 0 0 25 0 1 0 727906458 67559424 15652 4294967295 134512640 134714508 3221221792 3221220456 134627195 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16494 15652 1111 63 0 16431 0 vsize: 65976 [startup+220.014 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 15732 0 0 0 21953 48 0 0 25 0 1 0 727906458 67559424 15652 4294967295 134512640 134714508 3221221792 3221220464 134627231 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16494 15652 1111 63 0 16431 0 vsize: 65976 [startup+230.015 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 15732 0 0 0 22953 48 0 0 25 0 1 0 727906458 67559424 15652 4294967295 134512640 134714508 3221221792 3221220464 134627187 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16494 15652 1111 63 0 16431 0 vsize: 65976 [startup+240.016 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 15732 0 0 0 23953 48 0 0 25 0 1 0 727906458 67559424 15652 4294967295 134512640 134714508 3221221792 3221220464 134627250 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16494 15652 1111 63 0 16431 0 vsize: 65976 [startup+250.016 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 15732 0 0 0 24953 48 0 0 25 0 1 0 727906458 67559424 15652 4294967295 134512640 134714508 3221221792 3221220464 134627250 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16494 15652 1111 63 0 16431 0 vsize: 65976 [startup+260.016 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 15817 0 0 0 25953 48 0 0 25 0 1 0 727906458 67903488 15737 4294967295 134512640 134714508 3221221792 3221220568 134543168 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16578 15737 1111 63 0 16515 0 vsize: 66312 [startup+270.015 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 15843 0 0 0 26953 48 0 0 25 0 1 0 727906458 68247552 15763 4294967295 134512640 134714508 3221221792 3221220028 1077410225 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16662 15763 1111 63 0 16599 0 vsize: 66648 [startup+280.016 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 15944 0 0 0 27951 50 0 0 25 0 1 0 727906458 68636672 15864 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16757 15864 1111 63 0 16694 0 vsize: 67028 [startup+290.017 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 15971 0 0 0 28951 51 0 0 25 0 1 0 727906458 68739072 15891 4294967295 134512640 134714508 3221221792 3221220096 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16782 15891 1111 63 0 16719 0 vsize: 67128 [startup+300.016 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 16065 0 0 0 29950 52 0 0 25 0 1 0 727906458 69115904 15985 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16874 15985 1111 63 0 16811 0 vsize: 67496 [startup+310.017 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 16091 0 0 0 30949 53 0 0 25 0 1 0 727906458 69214208 16011 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16898 16011 1111 63 0 16835 0 vsize: 67592 [startup+320.017 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 16116 0 0 0 31949 54 0 0 25 0 1 0 727906458 69312512 16036 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16922 16036 1111 63 0 16859 0 vsize: 67688 [startup+330.018 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 16138 0 0 0 32947 55 0 0 25 0 1 0 727906458 69398528 16058 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16943 16058 1111 63 0 16880 0 vsize: 67772 [startup+340.018 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 16159 0 0 0 33947 56 0 0 25 0 1 0 727906458 69476352 16079 4294967295 134512640 134714508 3221221792 3221220096 1074153663 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16962 16079 1111 63 0 16899 0 vsize: 67848 [startup+350.018 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 16180 0 0 0 34947 56 0 0 25 0 1 0 727906458 69558272 16100 4294967295 134512640 134714508 3221221792 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16982 16100 1111 63 0 16919 0 vsize: 67928 [startup+360.019 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 16199 0 0 0 35946 56 0 0 25 0 1 0 727906458 69632000 16119 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17000 16119 1111 63 0 16937 0 vsize: 68000 [startup+370.019 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 16216 0 0 0 36945 58 0 0 25 0 1 0 727906458 69697536 16136 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17016 16136 1111 63 0 16953 0 vsize: 68064 [startup+380.02 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 16234 0 0 0 37945 58 0 0 25 0 1 0 727906458 69767168 16154 4294967295 134512640 134714508 3221221792 3221219712 1077814665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17033 16154 1111 63 0 16970 0 vsize: 68132 [startup+390.021 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 16474 0 0 0 38943 59 0 0 25 0 1 0 727906458 70750208 16394 4294967295 134512640 134714508 3221221792 3221220048 1074153760 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17273 16394 1111 63 0 17210 0 vsize: 69092 [startup+400.021 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 16492 0 0 0 39943 60 0 0 25 0 1 0 727906458 70819840 16412 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17290 16412 1111 63 0 17227 0 vsize: 69160 [startup+410.022 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 16508 0 0 0 40942 60 0 0 25 0 1 0 727906458 70881280 16428 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17305 16428 1111 63 0 17242 0 vsize: 69220 [startup+420.022 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 16525 0 0 0 41942 61 0 0 25 0 1 0 727906458 70946816 16445 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17321 16445 1111 63 0 17258 0 vsize: 69284 [startup+430.023 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 16543 0 0 0 42942 62 0 0 25 0 1 0 727906458 71016448 16463 4294967295 134512640 134714508 3221221792 3221220016 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17338 16463 1111 63 0 17275 0 vsize: 69352 [startup+440.023 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 16670 0 0 0 43941 63 0 0 25 0 1 0 727906458 71536640 16590 4294967295 134512640 134714508 3221221792 3221220000 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17465 16590 1111 63 0 17402 0 vsize: 69860 [startup+450.023 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 16686 0 0 0 44941 63 0 0 25 0 1 0 727906458 71598080 16606 4294967295 134512640 134714508 3221221792 3221220016 1074153760 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17480 16606 1111 63 0 17417 0 vsize: 69920 [startup+460.024 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 16705 0 0 0 45940 64 0 0 25 0 1 0 727906458 71671808 16625 4294967295 134512640 134714508 3221221792 3221220000 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17498 16625 1111 63 0 17435 0 vsize: 69992 [startup+470.024 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 21843 0 0 0 46929 75 0 0 25 0 1 0 727906458 93110272 19911 4294967295 134512640 134714508 3221221792 3221217860 1075964390 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 22732 19911 1111 63 0 22669 0 vsize: 90928 [startup+480.025 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 22946 0 0 0 47927 78 0 0 25 0 1 0 727906458 95256576 21014 4294967295 134512640 134714508 3221221792 3221217940 1075115065 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23256 21014 1111 63 0 23193 0 vsize: 93024 [startup+490.026 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 23139 0 0 0 48926 78 0 0 25 0 1 0 727906458 90947584 20242 4294967295 134512640 134714508 3221221792 3221217596 1074788953 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 22204 20242 1111 63 0 22141 0 vsize: 88816 [startup+500.026 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 23156 0 0 0 49926 78 0 0 25 0 1 0 727906458 90947584 20259 4294967295 134512640 134714508 3221221792 3221217724 1074788959 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 22204 20259 1111 63 0 22141 0 vsize: 88816 [startup+510.027 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 23172 0 0 0 50926 79 0 0 25 0 1 0 727906458 90947584 20275 4294967295 134512640 134714508 3221221792 3221217672 1075964730 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 22204 20275 1111 63 0 22141 0 vsize: 88816 [startup+520.028 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 23190 0 0 0 51927 79 0 0 25 0 1 0 727906458 90947584 20293 4294967295 134512640 134714508 3221221792 3221217724 1074788950 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 22204 20293 1111 63 0 22141 0 vsize: 88816 [startup+530.029 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 23208 0 0 0 52927 79 0 0 25 0 1 0 727906458 90947584 20311 4294967295 134512640 134714508 3221221792 3221217856 1074969458 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 22204 20311 1111 63 0 22141 0 vsize: 88816 [startup+540.03 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 23231 0 0 0 53927 79 0 0 25 0 1 0 727906458 90947584 20334 4294967295 134512640 134714508 3221221792 3221218204 1076116628 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 22204 20334 1111 63 0 22141 0 vsize: 88816 [startup+550.03 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 23238 0 0 0 54927 79 0 0 25 0 1 0 727906458 90947584 20341 4294967295 134512640 134714508 3221221792 3221217984 1074961267 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 22204 20341 1111 63 0 22141 0 vsize: 88816 [startup+560.031 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 23259 0 0 0 55927 79 0 0 25 0 1 0 727906458 90947584 20362 4294967295 134512640 134714508 3221221792 3221217856 1074969463 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 22204 20362 1111 63 0 22141 0 vsize: 88816 [startup+570.031 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 23310 0 0 0 56927 79 0 0 25 0 1 0 727906458 91373568 20413 4294967295 134512640 134714508 3221221792 3221217704 1075964745 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 22308 20413 1111 63 0 22245 0 vsize: 89232 [startup+580.032 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 23338 0 0 0 57927 79 0 0 25 0 1 0 727906458 91373568 20441 4294967295 134512640 134714508 3221221792 3221217952 1075115717 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 22308 20441 1111 63 0 22245 0 vsize: 89232 [startup+590.033 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 23355 0 0 0 58927 79 0 0 25 0 1 0 727906458 91373568 20458 4294967295 134512640 134714508 3221221792 3221217596 1074788959 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 22308 20458 1111 63 0 22245 0 vsize: 89232 [startup+600.032 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 23437 0 0 0 59927 79 0 0 25 0 1 0 727906458 91832320 20540 4294967295 134512640 134714508 3221221792 3221217596 1074788959 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 22420 20540 1111 63 0 22357 0 vsize: 89680 [startup+610.033 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 23464 0 0 0 60928 79 0 0 25 0 1 0 727906458 91832320 20567 4294967295 134512640 134714508 3221221792 3221218716 1074621045 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 22420 20567 1111 63 0 22357 0 vsize: 89680 [startup+620.033 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 23471 0 0 0 61928 79 0 0 25 0 1 0 727906458 91832320 20574 4294967295 134512640 134714508 3221221792 3221217856 1074969461 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 22420 20574 1111 63 0 22357 0 vsize: 89680 [startup+630.034 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 23472 0 0 0 62928 79 0 0 25 0 1 0 727906458 91832320 20575 4294967295 134512640 134714508 3221221792 3221217812 1075964214 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 22420 20575 1111 63 0 22357 0 vsize: 89680 [startup+640.034 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 23481 0 0 0 63928 79 0 0 25 0 1 0 727906458 91832320 20584 4294967295 134512640 134714508 3221221792 3221217940 1075114975 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 22420 20584 1111 63 0 22357 0 vsize: 89680 [startup+650.034 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 23484 0 0 0 64928 79 0 0 25 0 1 0 727906458 91832320 20587 4294967295 134512640 134714508 3221221792 3221217724 1074788959 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 22420 20587 1111 63 0 22357 0 vsize: 89680 [startup+660.035 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 23491 0 0 0 65929 79 0 0 25 0 1 0 727906458 91832320 20594 4294967295 134512640 134714508 3221221792 3221218304 1074885761 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 22420 20594 1111 63 0 22357 0 vsize: 89680 [startup+670.035 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 23500 0 0 0 66929 79 0 0 25 0 1 0 727906458 91832320 20603 4294967295 134512640 134714508 3221221792 3221217724 1074788959 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 22420 20603 1111 63 0 22357 0 vsize: 89680 [startup+680.036 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 23610 0 0 0 67929 80 0 0 25 0 1 0 727906458 92307456 20713 4294967295 134512640 134714508 3221221792 3221217704 1075964730 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 22536 20713 1111 63 0 22473 0 vsize: 90144 [startup+690.037 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 23619 0 0 0 68929 80 0 0 25 0 1 0 727906458 92307456 20722 4294967295 134512640 134714508 3221221792 3221217724 1074788950 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 22536 20722 1111 63 0 22473 0 vsize: 90144 [startup+700.037 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 23624 0 0 0 69929 80 0 0 25 0 1 0 727906458 92307456 20727 4294967295 134512640 134714508 3221221792 3221217920 1074815276 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 22536 20727 1111 63 0 22473 0 vsize: 90144 [startup+710.038 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 23633 0 0 0 70929 80 0 0 25 0 1 0 727906458 92307456 20736 4294967295 134512640 134714508 3221221792 3221217872 1075094841 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 22536 20736 1111 63 0 22473 0 vsize: 90144 [startup+720.038 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 23696 0 0 0 71929 80 0 0 25 0 1 0 727906458 92798976 20799 4294967295 134512640 134714508 3221221792 3221217704 1075964730 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 22656 20799 1111 63 0 22593 0 vsize: 90624 [startup+730.039 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 23727 0 0 0 72929 81 0 0 25 0 1 0 727906458 92798976 20830 4294967295 134512640 134714508 3221221792 3221218256 1075088563 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 22656 20830 1111 63 0 22593 0 vsize: 90624 [startup+740.038 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 23729 0 0 0 73929 81 0 0 25 0 1 0 727906458 92798976 20832 4294967295 134512640 134714508 3221221792 3221218368 1075967413 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 22656 20832 1111 63 0 22593 0 vsize: 90624 [startup+750.038 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 23729 0 0 0 74929 81 0 0 25 0 1 0 727906458 92798976 20832 4294967295 134512640 134714508 3221221792 3221217724 1074788950 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 22656 20832 1111 63 0 22593 0 vsize: 90624 [startup+760.039 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 23818 0 0 0 75929 81 0 0 25 0 1 0 727906458 93323264 20921 4294967295 134512640 134714508 3221221792 3221217872 1075095094 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 22784 20921 1111 63 0 22721 0 vsize: 91136 [startup+770.039 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 23824 0 0 0 76929 81 0 0 25 0 1 0 727906458 93323264 20927 4294967295 134512640 134714508 3221221792 3221217856 1074969685 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 22784 20927 1111 63 0 22721 0 vsize: 91136 [startup+780.04 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 23914 0 0 0 77929 81 0 0 25 0 1 0 727906458 93876224 21017 4294967295 134512640 134714508 3221221792 3221217984 1074961146 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 22919 21017 1111 63 0 22856 0 vsize: 91676 [startup+790.04 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 23923 0 0 0 78929 81 0 0 25 0 1 0 727906458 93876224 21026 4294967295 134512640 134714508 3221221792 3221217940 1075115039 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 22919 21026 1111 63 0 22856 0 vsize: 91676 [startup+800.04 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 24006 0 0 0 79929 81 0 0 25 0 1 0 727906458 94453760 21109 4294967295 134512640 134714508 3221221792 3221217952 1075115709 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23060 21109 1111 63 0 22997 0 vsize: 92240 [startup+810.041 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 24028 0 0 0 80929 82 0 0 25 0 1 0 727906458 94453760 21131 4294967295 134512640 134714508 3221221792 3221217724 1074788950 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23060 21131 1111 63 0 22997 0 vsize: 92240 [startup+820.041 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 24041 0 0 0 81930 82 0 0 25 0 1 0 727906458 94453760 21144 4294967295 134512640 134714508 3221221792 3221217940 1075115035 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23060 21144 1111 63 0 22997 0 vsize: 92240 [startup+830.042 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 24041 0 0 0 82930 82 0 0 25 0 1 0 727906458 94453760 21144 4294967295 134512640 134714508 3221221792 3221217940 1075115065 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23060 21144 1111 63 0 22997 0 vsize: 92240 [startup+840.043 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 24043 0 0 0 83930 82 0 0 25 0 1 0 727906458 94453760 21146 4294967295 134512640 134714508 3221221792 3221217596 1074788944 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23060 21146 1111 63 0 22997 0 vsize: 92240 [startup+850.043 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 24044 0 0 0 84930 82 0 0 25 0 1 0 727906458 94453760 21147 4294967295 134512640 134714508 3221221792 3221217940 1075115039 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23060 21147 1111 63 0 22997 0 vsize: 92240 [startup+860.044 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 24044 0 0 0 85930 82 0 0 25 0 1 0 727906458 94453760 21147 4294967295 134512640 134714508 3221221792 3221218080 1075894480 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 23060 21147 1111 63 0 22997 0 vsize: 92240 [startup+870.045 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 24044 0 0 0 86930 82 0 0 25 0 1 0 727906458 94453760 21147 4294967295 134512640 134714508 3221221792 3221217984 1074961253 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23060 21147 1111 63 0 22997 0 vsize: 92240 [startup+880.046 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 24045 0 0 0 87930 82 0 0 25 0 1 0 727906458 94453760 21148 4294967295 134512640 134714508 3221221792 3221217940 1075115049 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23060 21148 1111 63 0 22997 0 vsize: 92240 [startup+890.046 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 24046 0 0 0 88930 82 0 0 25 0 1 0 727906458 94453760 21149 4294967295 134512640 134714508 3221221792 3221217704 1075964778 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23060 21149 1111 63 0 22997 0 vsize: 92240 [startup+900.046 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 24046 0 0 0 89930 82 0 0 25 0 1 0 727906458 94453760 21149 4294967295 134512640 134714508 3221221792 3221217940 1075115112 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23060 21149 1111 63 0 22997 0 vsize: 92240 [startup+910.047 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 24046 0 0 0 90930 82 0 0 25 0 1 0 727906458 94453760 21149 4294967295 134512640 134714508 3221221792 3221217940 1075115046 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23060 21149 1111 63 0 22997 0 vsize: 92240 [startup+920.047 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 24046 0 0 0 91931 82 0 0 25 0 1 0 727906458 94453760 21149 4294967295 134512640 134714508 3221221792 3221217920 1074815265 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23060 21149 1111 63 0 22997 0 vsize: 92240 [startup+930.048 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 24046 0 0 0 92931 82 0 0 25 0 1 0 727906458 94453760 21149 4294967295 134512640 134714508 3221221792 3221217920 1074815265 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23060 21149 1111 63 0 22997 0 vsize: 92240 [startup+940.049 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 24133 0 0 0 93931 82 0 0 25 0 1 0 727906458 95059968 21236 4294967295 134512640 134714508 3221221792 3221218044 1076111473 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23208 21236 1111 63 0 23145 0 vsize: 92832 [startup+950.049 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 24168 0 0 0 94931 82 0 0 25 0 1 0 727906458 95059968 21269 4294967295 134512640 134714508 3221221792 3221217724 1074788959 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23208 21269 1111 63 0 23145 0 vsize: 92832 [startup+960.05 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 24298 0 0 0 95931 83 0 0 25 0 1 0 727906458 95694848 21399 4294967295 134512640 134714508 3221221792 3221218832 1074837183 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23363 21399 1111 63 0 23300 0 vsize: 93452 [startup+970.051 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 24301 0 0 0 96931 83 0 0 25 0 1 0 727906458 95694848 21402 4294967295 134512640 134714508 3221221792 3221217596 1074788950 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23363 21402 1111 63 0 23300 0 vsize: 93452 [startup+980.052 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 24301 0 0 0 97931 83 0 0 25 0 1 0 727906458 95694848 21402 4294967295 134512640 134714508 3221221792 3221217984 1074960868 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23363 21402 1111 63 0 23300 0 vsize: 93452 [startup+990.052 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 24301 0 0 0 98931 83 0 0 25 0 1 0 727906458 95694848 21402 4294967295 134512640 134714508 3221221792 3221217952 1075115715 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23363 21402 1111 63 0 23300 0 vsize: 93452 [startup+1000.05 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 24303 0 0 0 99931 83 0 0 25 0 1 0 727906458 95694848 21404 4294967295 134512640 134714508 3221221792 3221217596 1074788959 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23363 21404 1111 63 0 23300 0 vsize: 93452 [startup+1010.05 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 24306 0 0 0 100932 83 0 0 25 0 1 0 727906458 95694848 21407 4294967295 134512640 134714508 3221221792 3221217724 1074788950 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23363 21407 1111 63 0 23300 0 vsize: 93452 [startup+1020.05 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 24311 0 0 0 101932 83 0 0 25 0 1 0 727906458 95694848 21412 4294967295 134512640 134714508 3221221792 3221217940 1075115076 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23363 21412 1111 63 0 23300 0 vsize: 93452 [startup+1030.05 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 24316 0 0 0 102932 83 0 0 25 0 1 0 727906458 95694848 21417 4294967295 134512640 134714508 3221221792 3221218044 1076111491 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23363 21417 1111 63 0 23300 0 vsize: 93452 [startup+1040.05 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 24316 0 0 0 103932 83 0 0 25 0 1 0 727906458 95694848 21417 4294967295 134512640 134714508 3221221792 3221217872 1074794585 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23363 21417 1111 63 0 23300 0 vsize: 93452 [startup+1050.05 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 24427 0 0 0 104932 83 0 0 25 0 1 0 727906458 96366592 21528 4294967295 134512640 134714508 3221221792 3221217596 1074788959 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23527 21528 1111 63 0 23464 0 vsize: 94108 [startup+1060.06 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 24439 0 0 0 105932 83 0 0 25 0 1 0 727906458 96366592 21540 4294967295 134512640 134714508 3221221792 3221218784 1074867320 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23527 21540 1111 63 0 23464 0 vsize: 94108 [startup+1070.06 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 24447 0 0 0 106932 83 0 0 25 0 1 0 727906458 96366592 21548 4294967295 134512640 134714508 3221221792 3221217596 1074788950 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23527 21548 1111 63 0 23464 0 vsize: 94108 [startup+1080.06 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 24448 0 0 0 107932 83 0 0 25 0 1 0 727906458 96366592 21549 4294967295 134512640 134714508 3221221792 3221217940 1075115060 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23527 21549 1111 63 0 23464 0 vsize: 94108 [startup+1090.06 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 24451 0 0 0 108932 83 0 0 25 0 1 0 727906458 96366592 21552 4294967295 134512640 134714508 3221221792 3221217724 1074788959 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23527 21552 1111 63 0 23464 0 vsize: 94108 [startup+1100.06 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 24456 0 0 0 109932 84 0 0 25 0 1 0 727906458 96366592 21557 4294967295 134512640 134714508 3221221792 3221217940 1075115049 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23527 21557 1111 63 0 23464 0 vsize: 94108 [startup+1110.06 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 24608 0 0 0 110932 84 0 0 25 0 1 0 727906458 97071104 21709 4294967295 134512640 134714508 3221221792 3221217984 1074960909 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23699 21709 1111 63 0 23636 0 vsize: 94796 [startup+1120.06 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 24623 0 0 0 111932 84 0 0 25 0 1 0 727906458 97071104 21724 4294967295 134512640 134714508 3221221792 3221217596 1074788953 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23699 21724 1111 63 0 23636 0 vsize: 94796 [startup+1130.06 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 24623 0 0 0 112932 84 0 0 25 0 1 0 727906458 97071104 21724 4294967295 134512640 134714508 3221221792 3221217952 1075115715 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23699 21724 1111 63 0 23636 0 vsize: 94796 [startup+1140.06 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 24624 0 0 0 113933 84 0 0 25 0 1 0 727906458 97071104 21725 4294967295 134512640 134714508 3221221792 3221217952 1075115715 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23699 21725 1111 63 0 23636 0 vsize: 94796 [startup+1150.06 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 24633 0 0 0 114933 84 0 0 25 0 1 0 727906458 97071104 21734 4294967295 134512640 134714508 3221221792 3221218240 1075397211 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23699 21734 1111 63 0 23636 0 vsize: 94796 [startup+1160.06 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 24647 0 0 0 115933 84 0 0 25 0 1 0 727906458 97071104 21748 4294967295 134512640 134714508 3221221792 3221217596 1074788959 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23699 21748 1111 63 0 23636 0 vsize: 94796 [startup+1170.06 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 24661 0 0 0 116933 84 0 0 25 0 1 0 727906458 97071104 21762 4294967295 134512640 134714508 3221221792 3221217596 1074788953 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23699 21762 1111 63 0 23636 0 vsize: 94796 [startup+1180.06 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 24661 0 0 0 117933 84 0 0 25 0 1 0 727906458 97071104 21762 4294967295 134512640 134714508 3221221792 3221218044 1076111473 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23699 21762 1111 63 0 23636 0 vsize: 94796 [startup+1190.06 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 24661 0 0 0 118933 84 0 0 25 0 1 0 727906458 97071104 21762 4294967295 134512640 134714508 3221221792 3221218632 1074950114 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23699 21762 1111 63 0 23636 0 vsize: 94796 [startup+1200.06 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10492 Raw data (stat): 10492 (bsolo_lpr) R 10491 7876 7672 0 -1 0 24661 0 0 0 119934 84 0 0 25 0 1 0 727906458 97071104 21762 4294967295 134512640 134714508 3221221792 3221217620 1074786562 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23699 21762 1111 63 0 23636 0 vsize: 94796 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.1 s] Raw data (loadavg): 0.99 0.97 0.96 1/55 10492 Raw data (stat): 10492 (bsolo_lpr) Z 10491 7876 7672 0 -1 1036 24661 0 0 0 119934 88 0 0 25 0 1 0 727906458 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.1 CPU time (s): 1200.23 CPU user time (s): 1199.34 CPU system time (s): 0.889864 CPU usage (%): 100.011 Max. virtual memory (Kb): 94796 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####