Name | normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-1.opb |
MD5SUM | aa1ea44fce5b7bfbe62733720f941ebb |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -33 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 945 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 945 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 945 |
Number of bits of the biggest sum of numbers | 10 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1175.08 |
Number of variables | 945 |
Total number of constraints | 59186 |
Number of constraints which are clauses | 59186 |
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 23:02:01 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=2953 boxname=wulflinc31 idbench=329 idsolver=1 numberseed=0 MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef /oldhome/oroussel/solvers/bsolo_lpr MD5SUM BENCH: aa1ea44fce5b7bfbe62733720f941ebb /oldhome/oroussel/tmp/wulflinc31/normalized-frb45-21-1.opb REAL COMMAND: bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-frb45-21-1.opb IDLAUNCH: 2953 /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: 879344 kB Buffers: 35540 kB Cached: 97776 kB SwapCached: 1936 kB Active: 100312 kB Inactive: 36164 kB HighTotal: 131008 kB HighFree: 32424 kB LowTotal: 903652 kB LowFree: 846920 kB SwapTotal: 2097892 kB SwapFree: 2095224 kB Dirty: 956 kB Writeback: 0 kB Mapped: 5360 kB Slab: 13128 kB Committed_AS: 63860 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-12 23:22:04 (client local time) WITH STATUS 0 IN 1200.26 SECONDS stats: 2953 7 1200.26 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 945 variables and 59186 constraints. c After prepocess the problem consists of 945 variables and 42392 constraints. c preprocess terminated 369.355 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.98 2/55 12811 Raw data (stat): 12811 (runsolver) D 12810 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 730329920 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 3225161850 0 0 17 1 0 0 Raw data (statm): 258 100 215 215 0 43 0 vsize: 1032 [startup+10.0009 s] Raw data (loadavg): 0.94 0.98 0.98 2/55 12811 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 20297 0 0 0 940 54 0 0 25 0 1 0 730329920 86319104 20217 4294967295 134512640 134714508 3221221792 3221220156 134539217 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 21074 20217 1111 63 0 21011 0 vsize: 84296 [startup+20.0016 s] Raw data (loadavg): 0.95 0.98 0.98 2/55 12811 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 24005 0 0 0 1933 62 0 0 25 0 1 0 730329920 98779136 23266 4294967295 134512640 134714508 3221221792 3221220352 134526878 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24116 23266 1111 63 0 24053 0 vsize: 96464 [startup+30.0016 s] Raw data (loadavg): 0.96 0.98 0.98 2/55 12811 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 24005 0 0 0 2933 62 0 0 25 0 1 0 730329920 98779136 23266 4294967295 134512640 134714508 3221221792 3221220408 134543793 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24116 23266 1111 63 0 24053 0 vsize: 96464 [startup+40.0025 s] Raw data (loadavg): 0.96 0.98 0.98 2/55 12811 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 24005 0 0 0 3933 62 0 0 25 0 1 0 730329920 98779136 23266 4294967295 134512640 134714508 3221221792 3221220208 134542677 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24116 23266 1111 63 0 24053 0 vsize: 96464 [startup+50.0034 s] Raw data (loadavg): 0.97 0.98 0.98 2/55 12811 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 24005 0 0 0 4934 62 0 0 25 0 1 0 730329920 98779136 23266 4294967295 134512640 134714508 3221221792 3221220356 134535756 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24116 23266 1111 63 0 24053 0 vsize: 96464 [startup+60.0034 s] Raw data (loadavg): 0.97 0.98 0.98 2/55 12811 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 24005 0 0 0 5934 62 0 0 25 0 1 0 730329920 98779136 23266 4294967295 134512640 134714508 3221221792 3221220272 134542350 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24116 23266 1111 63 0 24053 0 vsize: 96464 [startup+70.0043 s] Raw data (loadavg): 0.98 0.98 0.98 2/55 12811 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 24005 0 0 0 6934 62 0 0 25 0 1 0 730329920 98779136 23266 4294967295 134512640 134714508 3221221792 3221220156 134539265 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24116 23266 1111 63 0 24053 0 vsize: 96464 [startup+80.0053 s] Raw data (loadavg): 0.98 0.98 0.98 2/55 12811 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 24005 0 0 0 7934 62 0 0 25 0 1 0 730329920 98779136 23266 4294967295 134512640 134714508 3221221792 3221220272 134536638 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24116 23266 1111 63 0 24053 0 vsize: 96464 [startup+90.0062 s] Raw data (loadavg): 0.98 0.98 0.98 2/55 12811 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 24005 0 0 0 8935 62 0 0 25 0 1 0 730329920 98779136 23266 4294967295 134512640 134714508 3221221792 3221220188 134543588 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24116 23266 1111 63 0 24053 0 vsize: 96464 [startup+100.006 s] Raw data (loadavg): 0.98 0.98 0.98 2/55 12811 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 24005 0 0 0 9935 62 0 0 25 0 1 0 730329920 98779136 23266 4294967295 134512640 134714508 3221221792 3221220280 134543614 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24116 23266 1111 63 0 24053 0 vsize: 96464 [startup+110.006 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12811 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 24005 0 0 0 10935 62 0 0 25 0 1 0 730329920 98779136 23266 4294967295 134512640 134714508 3221221792 3221220416 134594959 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24116 23266 1111 63 0 24053 0 vsize: 96464 [startup+120.007 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12811 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 24005 0 0 0 11935 62 0 0 25 0 1 0 730329920 98779136 23266 4294967295 134512640 134714508 3221221792 3221220408 134543796 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24116 23266 1111 63 0 24053 0 vsize: 96464 [startup+130.007 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12811 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 24005 0 0 0 12935 62 0 0 25 0 1 0 730329920 98779136 23266 4294967295 134512640 134714508 3221221792 3221220408 134543796 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24116 23266 1111 63 0 24053 0 vsize: 96464 [startup+140.008 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12811 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 24005 0 0 0 13935 62 0 0 25 0 1 0 730329920 98779136 23266 4294967295 134512640 134714508 3221221792 3221220420 134594953 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24116 23266 1111 63 0 24053 0 vsize: 96464 [startup+150.009 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12811 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 24005 0 0 0 14936 62 0 0 25 0 1 0 730329920 98779136 23266 4294967295 134512640 134714508 3221221792 3221220156 134539237 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24116 23266 1111 63 0 24053 0 vsize: 96464 [startup+160.009 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12811 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 24005 0 0 0 15936 62 0 0 25 0 1 0 730329920 98779136 23266 4294967295 134512640 134714508 3221221792 3221220356 134535756 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24116 23266 1111 63 0 24053 0 vsize: 96464 [startup+170.01 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12811 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 24005 0 0 0 16936 62 0 0 25 0 1 0 730329920 98779136 23266 4294967295 134512640 134714508 3221221792 3221220432 134594947 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24116 23266 1111 63 0 24053 0 vsize: 96464 [startup+180.01 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12811 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 24005 0 0 0 17936 62 0 0 25 0 1 0 730329920 98779136 23266 4294967295 134512640 134714508 3221221792 3221220272 134542352 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24116 23266 1111 63 0 24053 0 vsize: 96464 [startup+190.011 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12811 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 24005 0 0 0 18936 62 0 0 25 0 1 0 730329920 98779136 23266 4294967295 134512640 134714508 3221221792 3221220192 134542753 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24116 23266 1111 63 0 24053 0 vsize: 96464 [startup+200.01 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12811 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 24005 0 0 0 19936 62 0 0 25 0 1 0 730329920 98779136 23266 4294967295 134512640 134714508 3221221792 3221220256 134542352 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24116 23266 1111 63 0 24053 0 vsize: 96464 [startup+210.01 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12811 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 24005 0 0 0 20937 62 0 0 25 0 1 0 730329920 98779136 23266 4294967295 134512640 134714508 3221221792 3221220156 134539235 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24116 23266 1111 63 0 24053 0 vsize: 96464 [startup+220.011 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12811 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 24005 0 0 0 21937 62 0 0 25 0 1 0 730329920 98779136 23266 4294967295 134512640 134714508 3221221792 3221220176 134542350 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24116 23266 1111 63 0 24053 0 vsize: 96464 [startup+230.012 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12811 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 24005 0 0 0 22937 62 0 0 25 0 1 0 730329920 98779136 23266 4294967295 134512640 134714508 3221221792 3221220200 134543594 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24116 23266 1111 63 0 24053 0 vsize: 96464 [startup+240.012 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12811 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 24005 0 0 0 23937 62 0 0 25 0 1 0 730329920 98779136 23266 4294967295 134512640 134714508 3221221792 3221220156 134539237 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24116 23266 1111 63 0 24053 0 vsize: 96464 [startup+250.012 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 24005 0 0 0 24937 62 0 0 25 0 1 0 730329920 98779136 23266 4294967295 134512640 134714508 3221221792 3221220420 134594953 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24116 23266 1111 63 0 24053 0 vsize: 96464 [startup+260.012 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 24005 0 0 0 25938 62 0 0 25 0 1 0 730329920 98779136 23266 4294967295 134512640 134714508 3221221792 3221220176 134542303 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24116 23266 1111 63 0 24053 0 vsize: 96464 [startup+270.013 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 24005 0 0 0 26938 62 0 0 25 0 1 0 730329920 98779136 23266 4294967295 134512640 134714508 3221221792 3221220208 134543684 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24116 23266 1111 63 0 24053 0 vsize: 96464 [startup+280.013 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 24005 0 0 0 27938 62 0 0 25 0 1 0 730329920 98779136 23266 4294967295 134512640 134714508 3221221792 3221220320 134542848 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24116 23266 1111 63 0 24053 0 vsize: 96464 [startup+290.014 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 24005 0 0 0 28938 62 0 0 25 0 1 0 730329920 98779136 23266 4294967295 134512640 134714508 3221221792 3221220452 134627197 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24116 23266 1111 63 0 24053 0 vsize: 96464 [startup+300.015 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 24005 0 0 0 29938 63 0 0 25 0 1 0 730329920 98779136 23266 4294967295 134512640 134714508 3221221792 3221220464 134627250 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24116 23266 1111 63 0 24053 0 vsize: 96464 [startup+310.015 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 24005 0 0 0 30938 63 0 0 25 0 1 0 730329920 98779136 23266 4294967295 134512640 134714508 3221221792 3221220464 134627187 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24116 23266 1111 63 0 24053 0 vsize: 96464 [startup+320.015 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 24005 0 0 0 31938 63 0 0 25 0 1 0 730329920 98779136 23266 4294967295 134512640 134714508 3221221792 3221220444 134558608 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24116 23266 1111 63 0 24053 0 vsize: 96464 [startup+330.016 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 24005 0 0 0 32938 63 0 0 25 0 1 0 730329920 98779136 23266 4294967295 134512640 134714508 3221221792 3221220464 134627250 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24116 23266 1111 63 0 24053 0 vsize: 96464 [startup+340.017 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 24005 0 0 0 33938 63 0 0 25 0 1 0 730329920 98779136 23266 4294967295 134512640 134714508 3221221792 3221220464 134627184 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24116 23266 1111 63 0 24053 0 vsize: 96464 [startup+350.016 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 24006 0 0 0 34938 63 0 0 25 0 1 0 730329920 98779136 23267 4294967295 134512640 134714508 3221221792 3221220648 134543552 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24116 23267 1111 63 0 24053 0 vsize: 96464 [startup+360.016 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 24006 0 0 0 35938 63 0 0 25 0 1 0 730329920 98779136 23267 4294967295 134512640 134714508 3221221792 3221220568 134543176 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24116 23267 1111 63 0 24053 0 vsize: 96464 [startup+370.018 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 24028 0 0 0 36939 63 0 0 25 0 1 0 730329920 98779136 23289 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24116 23289 1111 63 0 24053 0 vsize: 96464 [startup+380.017 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 24028 0 0 0 37938 63 0 0 25 0 1 0 730329920 98779136 23289 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24116 23289 1111 63 0 24053 0 vsize: 96464 [startup+390.018 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 24028 0 0 0 38938 63 0 0 25 0 1 0 730329920 98779136 23289 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24116 23289 1111 63 0 24053 0 vsize: 96464 [startup+400.019 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 24028 0 0 0 39939 63 0 0 25 0 1 0 730329920 98779136 23289 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24116 23289 1111 63 0 24053 0 vsize: 96464 [startup+410.019 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 24028 0 0 0 40939 64 0 0 25 0 1 0 730329920 98779136 23289 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24116 23289 1111 63 0 24053 0 vsize: 96464 [startup+420.02 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 24028 0 0 0 41939 64 0 0 25 0 1 0 730329920 98779136 23289 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24116 23289 1111 63 0 24053 0 vsize: 96464 [startup+430.021 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 24028 0 0 0 42939 64 0 0 25 0 1 0 730329920 98779136 23289 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24116 23289 1111 63 0 24053 0 vsize: 96464 [startup+440.022 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 24028 0 0 0 43939 64 0 0 25 0 1 0 730329920 98779136 23289 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24116 23289 1111 63 0 24053 0 vsize: 96464 [startup+450.022 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 24028 0 0 0 44939 64 0 0 25 0 1 0 730329920 98779136 23289 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24116 23289 1111 63 0 24053 0 vsize: 96464 [startup+460.022 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 24028 0 0 0 45940 64 0 0 25 0 1 0 730329920 98779136 23289 4294967295 134512640 134714508 3221221792 3221220000 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24116 23289 1111 63 0 24053 0 vsize: 96464 [startup+470.023 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 24028 0 0 0 46940 64 0 0 25 0 1 0 730329920 98779136 23289 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24116 23289 1111 63 0 24053 0 vsize: 96464 [startup+480.023 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 24028 0 0 0 47940 64 0 0 25 0 1 0 730329920 98779136 23289 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24116 23289 1111 63 0 24053 0 vsize: 96464 [startup+490.024 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 24028 0 0 0 48940 64 0 0 25 0 1 0 730329920 98779136 23289 4294967295 134512640 134714508 3221221792 3221220064 1074153792 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24116 23289 1111 63 0 24053 0 vsize: 96464 [startup+500.023 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 24028 0 0 0 49940 64 0 0 25 0 1 0 730329920 98779136 23289 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24116 23289 1111 63 0 24053 0 vsize: 96464 [startup+510.023 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 24028 0 0 0 50940 64 0 0 25 0 1 0 730329920 98779136 23289 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24116 23289 1111 63 0 24053 0 vsize: 96464 [startup+520.024 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 24322 0 0 0 51940 64 0 0 25 0 1 0 730329920 99979264 23583 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24409 23583 1111 63 0 24346 0 vsize: 97636 [startup+530.025 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 24330 0 0 0 52939 65 0 0 25 0 1 0 730329920 100012032 23591 4294967295 134512640 134714508 3221221792 3221220064 1074153792 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24417 23591 1111 63 0 24354 0 vsize: 97668 [startup+540.033 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 24338 0 0 0 53940 66 0 0 25 0 1 0 730329920 100044800 23599 4294967295 134512640 134714508 3221221792 3221220064 1074153760 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24425 23599 1111 63 0 24362 0 vsize: 97700 [startup+550.034 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 24347 0 0 0 54940 66 0 0 25 0 1 0 730329920 100081664 23608 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24434 23608 1111 63 0 24371 0 vsize: 97736 [startup+560.034 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 24355 0 0 0 55940 66 0 0 25 0 1 0 730329920 100114432 23616 4294967295 134512640 134714508 3221221792 3221220064 1074153786 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24442 23616 1111 63 0 24379 0 vsize: 97768 [startup+570.034 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 24362 0 0 0 56940 66 0 0 25 0 1 0 730329920 100143104 23623 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24449 23623 1111 63 0 24386 0 vsize: 97796 [startup+580.034 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 24371 0 0 0 57940 66 0 0 25 0 1 0 730329920 100179968 23632 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24458 23632 1111 63 0 24395 0 vsize: 97832 [startup+590.035 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 24378 0 0 0 58940 67 0 0 25 0 1 0 730329920 100208640 23639 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24465 23639 1111 63 0 24402 0 vsize: 97860 [startup+600.036 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 24385 0 0 0 59940 67 0 0 25 0 1 0 730329920 100237312 23646 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24472 23646 1111 63 0 24409 0 vsize: 97888 [startup+610.036 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 24393 0 0 0 60940 67 0 0 25 0 1 0 730329920 100270080 23654 4294967295 134512640 134714508 3221221792 3221220016 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24480 23654 1111 63 0 24417 0 vsize: 97920 [startup+620.036 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 24400 0 0 0 61939 68 0 0 25 0 1 0 730329920 100298752 23661 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24487 23661 1111 63 0 24424 0 vsize: 97948 [startup+630.037 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 24407 0 0 0 62939 68 0 0 25 0 1 0 730329920 100327424 23668 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24494 23668 1111 63 0 24431 0 vsize: 97976 [startup+640.038 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 24414 0 0 0 63939 68 0 0 25 0 1 0 730329920 100356096 23675 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24501 23675 1111 63 0 24438 0 vsize: 98004 [startup+650.038 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 24421 0 0 0 64939 69 0 0 25 0 1 0 730329920 100384768 23682 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24508 23682 1111 63 0 24445 0 vsize: 98032 [startup+660.038 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 24428 0 0 0 65939 69 0 0 25 0 1 0 730329920 100413440 23689 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24515 23689 1111 63 0 24452 0 vsize: 98060 [startup+670.039 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 24435 0 0 0 66939 69 0 0 25 0 1 0 730329920 100442112 23696 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24522 23696 1111 63 0 24459 0 vsize: 98088 [startup+680.039 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 24443 0 0 0 67939 69 0 0 25 0 1 0 730329920 100474880 23704 4294967295 134512640 134714508 3221221792 3221220064 1074153773 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24530 23704 1111 63 0 24467 0 vsize: 98120 [startup+690.04 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 24450 0 0 0 68939 70 0 0 25 0 1 0 730329920 100503552 23711 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24537 23711 1111 63 0 24474 0 vsize: 98148 [startup+700.041 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 24457 0 0 0 69939 70 0 0 25 0 1 0 730329920 100532224 23718 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24544 23718 1111 63 0 24481 0 vsize: 98176 [startup+710.041 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 24464 0 0 0 70939 70 0 0 25 0 1 0 730329920 100560896 23725 4294967295 134512640 134714508 3221221792 3221220048 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24551 23725 1111 63 0 24488 0 vsize: 98204 [startup+720.042 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 24471 0 0 0 71939 71 0 0 25 0 1 0 730329920 100589568 23732 4294967295 134512640 134714508 3221221792 3221220064 1074153773 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24558 23732 1111 63 0 24495 0 vsize: 98232 [startup+730.043 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 24478 0 0 0 72939 71 0 0 25 0 1 0 730329920 100618240 23739 4294967295 134512640 134714508 3221221792 3221220048 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24565 23739 1111 63 0 24502 0 vsize: 98260 [startup+740.044 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 24485 0 0 0 73939 71 0 0 25 0 1 0 730329920 100646912 23746 4294967295 134512640 134714508 3221221792 3221220096 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24572 23746 1111 63 0 24509 0 vsize: 98288 [startup+750.044 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 24492 0 0 0 74938 71 0 0 25 0 1 0 730329920 100675584 23753 4294967295 134512640 134714508 3221221792 3221220016 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24579 23753 1111 63 0 24516 0 vsize: 98316 [startup+760.044 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 31400 0 0 0 75924 86 0 0 25 0 1 0 730329920 130260992 28007 4294967295 134512640 134714508 3221221792 3221217848 1077410279 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31802 28007 1111 63 0 31739 0 vsize: 127208 [startup+770.045 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 31494 0 0 0 76924 87 0 0 25 0 1 0 730329920 130260992 28101 4294967295 134512640 134714508 3221221792 3221217856 1074969461 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31802 28101 1111 63 0 31739 0 vsize: 127208 [startup+780.045 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 33141 0 0 0 77920 90 0 0 25 0 1 0 730329920 133357568 29746 4294967295 134512640 134714508 3221221792 3221217856 1074969458 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 32558 29746 1111 63 0 32495 0 vsize: 130232 [startup+790.046 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 33167 0 0 0 78920 90 0 0 25 0 1 0 730329920 133357568 29772 4294967295 134512640 134714508 3221221792 3221217840 1075112103 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 32558 29772 1111 63 0 32495 0 vsize: 130232 [startup+800.046 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 33357 0 0 0 79920 91 0 0 25 0 1 0 730329920 127156224 28528 4294967295 134512640 134714508 3221221792 3221217596 1074788959 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31044 28528 1111 63 0 30981 0 vsize: 124176 [startup+810.046 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 33375 0 0 0 80920 91 0 0 25 0 1 0 730329920 127156224 28544 4294967295 134512640 134714508 3221221792 3221217756 1074873527 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31044 28544 1111 63 0 30981 0 vsize: 124176 [startup+820.047 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 33386 0 0 0 81920 91 0 0 25 0 1 0 730329920 127156224 28553 4294967295 134512640 134714508 3221221792 3221217856 1074969455 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31044 28553 1111 63 0 30981 0 vsize: 124176 [startup+830.048 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 33397 0 0 0 82921 91 0 0 25 0 1 0 730329920 127156224 28562 4294967295 134512640 134714508 3221221792 3221217776 1075084533 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31044 28562 1111 63 0 30981 0 vsize: 124176 [startup+840.049 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 33407 0 0 0 83921 91 0 0 25 0 1 0 730329920 127156224 28572 4294967295 134512640 134714508 3221221792 3221217856 1074969461 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31044 28572 1111 63 0 30981 0 vsize: 124176 [startup+850.049 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 33453 0 0 0 84921 91 0 0 25 0 1 0 730329920 127778816 28616 4294967295 134512640 134714508 3221221792 3221217596 1074788953 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31196 28616 1111 63 0 31133 0 vsize: 124784 [startup+860.049 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 33487 0 0 0 85921 91 0 0 25 0 1 0 730329920 127778816 28650 4294967295 134512640 134714508 3221221792 3221217920 1074815488 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31196 28650 1111 63 0 31133 0 vsize: 124784 [startup+870.05 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 33511 0 0 0 86921 91 0 0 25 0 1 0 730329920 127778816 28672 4294967295 134512640 134714508 3221221792 3221217856 1074969461 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31196 28672 1111 63 0 31133 0 vsize: 124784 [startup+880.05 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 33512 0 0 0 87921 91 0 0 25 0 1 0 730329920 127778816 28673 4294967295 134512640 134714508 3221221792 3221217776 1075084533 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31196 28673 1111 63 0 31133 0 vsize: 124784 [startup+890.051 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 33528 0 0 0 88921 91 0 0 25 0 1 0 730329920 127778816 28687 4294967295 134512640 134714508 3221221792 3221217940 1075115039 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31196 28687 1111 63 0 31133 0 vsize: 124784 [startup+900.052 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 33528 0 0 0 89921 92 0 0 25 0 1 0 730329920 127778816 28687 4294967295 134512640 134714508 3221221792 3221217776 1075084533 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31196 28687 1111 63 0 31133 0 vsize: 124784 [startup+910.052 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 33539 0 0 0 90921 92 0 0 25 0 1 0 730329920 127778816 28696 4294967295 134512640 134714508 3221221792 3221217856 1074969449 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31196 28696 1111 63 0 31133 0 vsize: 124784 [startup+920.053 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 33549 0 0 0 91921 92 0 0 25 0 1 0 730329920 127778816 28706 4294967295 134512640 134714508 3221221792 3221217856 1074969458 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31196 28706 1111 63 0 31133 0 vsize: 124784 [startup+930.054 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 33581 0 0 0 92921 92 0 0 25 0 1 0 730329920 127778816 28736 4294967295 134512640 134714508 3221221792 3221217872 1075093350 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31196 28736 1111 63 0 31133 0 vsize: 124784 [startup+940.055 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 33581 0 0 0 93922 92 0 0 25 0 1 0 730329920 127778816 28736 4294967295 134512640 134714508 3221221792 3221217724 1074788959 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31196 28736 1111 63 0 31133 0 vsize: 124784 [startup+950.055 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 33586 0 0 0 94922 92 0 0 25 0 1 0 730329920 127778816 28739 4294967295 134512640 134714508 3221221792 3221217856 1074969455 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31196 28739 1111 63 0 31133 0 vsize: 124784 [startup+960.054 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 33592 0 0 0 95922 92 0 0 25 0 1 0 730329920 127778816 28743 4294967295 134512640 134714508 3221221792 3221217856 1074969463 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31196 28743 1111 63 0 31133 0 vsize: 124784 [startup+970.055 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 33601 0 0 0 96922 92 0 0 25 0 1 0 730329920 127778816 28750 4294967295 134512640 134714508 3221221792 3221217704 1075964730 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31196 28750 1111 63 0 31133 0 vsize: 124784 [startup+980.055 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 33603 0 0 0 97922 92 0 0 25 0 1 0 730329920 127778816 28752 4294967295 134512640 134714508 3221221792 3221217856 1074969461 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31196 28752 1111 63 0 31133 0 vsize: 124784 [startup+990.056 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 33626 0 0 0 98922 93 0 0 25 0 1 0 730329920 127778816 28773 4294967295 134512640 134714508 3221221792 3221217856 1074969471 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31196 28773 1111 63 0 31133 0 vsize: 124784 [startup+1000.06 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 33627 0 0 0 99923 93 0 0 25 0 1 0 730329920 127778816 28774 4294967295 134512640 134714508 3221221792 3221217856 1074969461 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31196 28774 1111 63 0 31133 0 vsize: 124784 [startup+1010.06 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 33641 0 0 0 100922 93 0 0 25 0 1 0 730329920 127778816 28786 4294967295 134512640 134714508 3221221792 3221217596 1074788950 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31196 28786 1111 63 0 31133 0 vsize: 124784 [startup+1020.06 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 33643 0 0 0 101923 93 0 0 25 0 1 0 730329920 127778816 28788 4294967295 134512640 134714508 3221221792 3221217940 1075115060 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31196 28788 1111 63 0 31133 0 vsize: 124784 [startup+1030.06 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 33652 0 0 0 102923 93 0 0 25 0 1 0 730329920 127778816 28795 4294967295 134512640 134714508 3221221792 3221218080 1075894487 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31196 28795 1111 63 0 31133 0 vsize: 124784 [startup+1040.06 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 33661 0 0 0 103923 93 0 0 25 0 1 0 730329920 127778816 28802 4294967295 134512640 134714508 3221221792 3221217984 1074961267 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31196 28802 1111 63 0 31133 0 vsize: 124784 [startup+1050.06 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 33663 0 0 0 104923 93 0 0 25 0 1 0 730329920 127778816 28804 4294967295 134512640 134714508 3221221792 3221217724 1074788953 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31196 28804 1111 63 0 31133 0 vsize: 124784 [startup+1060.06 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 33681 0 0 0 105923 93 0 0 25 0 1 0 730329920 127778816 28820 4294967295 134512640 134714508 3221221792 3221217856 1074969461 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31196 28820 1111 63 0 31133 0 vsize: 124784 [startup+1070.06 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 33687 0 0 0 106923 93 0 0 25 0 1 0 730329920 127778816 28826 4294967295 134512640 134714508 3221221792 3221217856 1074969461 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31196 28826 1111 63 0 31133 0 vsize: 124784 [startup+1080.06 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 33745 0 0 0 107923 93 0 0 25 0 1 0 730329920 128430080 28882 4294967295 134512640 134714508 3221221792 3221217596 1074788953 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31355 28882 1111 63 0 31292 0 vsize: 125420 [startup+1090.06 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 33767 0 0 0 108923 94 0 0 25 0 1 0 730329920 128430080 28902 4294967295 134512640 134714508 3221221792 3221217724 1074788959 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31355 28902 1111 63 0 31292 0 vsize: 125420 [startup+1100.06 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 33776 0 0 0 109923 94 0 0 25 0 1 0 730329920 128430080 28909 4294967295 134512640 134714508 3221221792 3221217596 1074788964 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31355 28909 1111 63 0 31292 0 vsize: 125420 [startup+1110.06 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 33780 0 0 0 110924 94 0 0 25 0 1 0 730329920 128430080 28911 4294967295 134512640 134714508 3221221792 3221217856 1074969449 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31355 28911 1111 63 0 31292 0 vsize: 125420 [startup+1120.06 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 33789 0 0 0 111924 94 0 0 25 0 1 0 730329920 128430080 28920 4294967295 134512640 134714508 3221221792 3221217724 1074788950 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31355 28920 1111 63 0 31292 0 vsize: 125420 [startup+1130.06 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 33875 0 0 0 112924 94 0 0 25 0 1 0 730329920 129118208 29004 4294967295 134512640 134714508 3221221792 3221217856 1074969474 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31523 29004 1111 63 0 31460 0 vsize: 126092 [startup+1140.06 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 33900 0 0 0 113924 94 0 0 25 0 1 0 730329920 129118208 29029 4294967295 134512640 134714508 3221221792 3221217856 1074969458 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31523 29029 1111 63 0 31460 0 vsize: 126092 [startup+1150.06 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 33918 0 0 0 114924 94 0 0 25 0 1 0 730329920 129118208 29045 4294967295 134512640 134714508 3221221792 3221217596 1074788950 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31523 29045 1111 63 0 31460 0 vsize: 126092 [startup+1160.06 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 33949 0 0 0 115924 94 0 0 25 0 1 0 730329920 129118208 29074 4294967295 134512640 134714508 3221221792 3221217596 1074788953 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31523 29074 1111 63 0 31460 0 vsize: 126092 [startup+1170.07 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 33960 0 0 0 116924 94 0 0 25 0 1 0 730329920 129118208 29083 4294967295 134512640 134714508 3221221792 3221217724 1074788953 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31523 29083 1111 63 0 31460 0 vsize: 126092 [startup+1180.07 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 33965 0 0 0 117924 94 0 0 25 0 1 0 730329920 129118208 29088 4294967295 134512640 134714508 3221221792 3221217856 1074969469 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31523 29088 1111 63 0 31460 0 vsize: 126092 [startup+1190.07 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 33977 0 0 0 118925 94 0 0 25 0 1 0 730329920 129118208 29098 4294967295 134512640 134714508 3221221792 3221217672 1075964740 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31523 29098 1111 63 0 31460 0 vsize: 126092 [startup+1200.07 s] Raw data (loadavg): 0.99 0.98 0.98 2/55 12813 Raw data (stat): 12811 (bsolo_lpr) R 12810 7876 7672 0 -1 0 33985 0 0 0 119925 94 0 0 25 0 1 0 730329920 129458176 29106 4294967295 134512640 134714508 3221221792 3221218784 1074867340 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31606 29106 1111 63 0 31543 0 vsize: 126424 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.12 s] Raw data (loadavg): 0.99 0.98 0.98 1/55 12813 Raw data (stat): 12811 (bsolo_lpr) Z 12810 7876 7672 0 -1 1036 33985 0 0 0 119925 100 0 0 25 0 1 0 730329920 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.12 CPU time (s): 1200.26 CPU user time (s): 1199.26 CPU system time (s): 1.00285 CPU usage (%): 100.011 Max. virtual memory (Kb): 130232 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####