Name | normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-4.opb |
MD5SUM | 2b591d1b24a201f365bc505135aa0578 |
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.07 |
Number of variables | 945 |
Total number of constraints | 58549 |
Number of constraints which are clauses | 58549 |
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 wulflinc4 THE 2005-06-07 17:17:00 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=27774 boxname=wulflinc4 idbench=332 idsolver=20 numberseed=0 MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048 /oldhome/oroussel/solvers/bsolo_lpr-v2 MD5SUM BENCH: 2b591d1b24a201f365bc505135aa0578 /oldhome/oroussel/tmp/wulflinc4/normalized-frb45-21-4.opb REAL COMMAND: bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-frb45-21-4.opb IDLAUNCH: 27774 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.169 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 : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.169 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 : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 917988 kB Buffers: 33884 kB Cached: 59584 kB SwapCached: 984 kB Active: 29196 kB Inactive: 66448 kB HighTotal: 131008 kB HighFree: 100212 kB LowTotal: 903652 kB LowFree: 817776 kB SwapTotal: 2097136 kB SwapFree: 2095204 kB Dirty: 28 kB Writeback: 0 kB Mapped: 4924 kB Slab: 15292 kB Committed_AS: 71796 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-07 17:37:03 (client local time) WITH STATUS 0 IN 1200.24 SECONDS stats: 27774 7 1200.24 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 945 variables and 58549 constraints. c After prepocess the problem consists of 945 variables and 39192 constraints. c preprocess terminated 376.241 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 Enforcing Stack size limit: 67108864 bytes Current StackSize limit: 67108864 bytes Raw data (loadavg): 0.85 0.95 0.90 2/54 18556 Raw data (stat): 18556 (runsolver) R 18555 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 894716432 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.0005 s] Raw data (loadavg): 0.87 0.95 0.90 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 22602 0 0 0 936 60 0 0 25 0 1 0 894716432 95338496 22422 4294967295 134512640 134716908 3221224576 3221223020 134536781 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23276 22422 1111 63 0 23213 0 vsize: 93104 [startup+20.0014 s] Raw data (loadavg): 0.89 0.96 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 23868 0 0 0 1934 63 0 0 25 0 1 0 894716432 100462592 23688 4294967295 134512640 134716908 3221224576 3221223188 1077374077 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24527 23688 1111 63 0 24464 0 vsize: 98108 [startup+30.0012 s] Raw data (loadavg): 0.91 0.96 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 23868 0 0 0 2934 63 0 0 25 0 1 0 894716432 100462592 23688 4294967295 134512640 134716908 3221224576 3221222908 134535956 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24527 23688 1111 63 0 24464 0 vsize: 98108 [startup+40.0011 s] Raw data (loadavg): 0.92 0.96 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 23868 0 0 0 3934 63 0 0 25 0 1 0 894716432 100462592 23688 4294967295 134512640 134716908 3221224576 3221222976 134542753 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24527 23688 1111 63 0 24464 0 vsize: 98108 [startup+50.0015 s] Raw data (loadavg): 0.93 0.96 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 23868 0 0 0 4934 63 0 0 25 0 1 0 894716432 100462592 23688 4294967295 134512640 134716908 3221224576 3221223056 134542352 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24527 23688 1111 63 0 24464 0 vsize: 98108 [startup+60.0018 s] Raw data (loadavg): 0.94 0.96 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 23868 0 0 0 5934 63 0 0 25 0 1 0 894716432 100462592 23688 4294967295 134512640 134716908 3221224576 3221222940 134539235 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24527 23688 1111 63 0 24464 0 vsize: 98108 [startup+70.0026 s] Raw data (loadavg): 0.95 0.96 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 23868 0 0 0 6934 63 0 0 25 0 1 0 894716432 100462592 23688 4294967295 134512640 134716908 3221224576 3221222960 134542347 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24527 23688 1111 63 0 24464 0 vsize: 98108 [startup+80.0025 s] Raw data (loadavg): 0.96 0.96 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 23868 0 0 0 7934 63 0 0 25 0 1 0 894716432 100462592 23688 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24527 23688 1111 63 0 24464 0 vsize: 98108 [startup+90.0023 s] Raw data (loadavg): 0.96 0.96 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 23868 0 0 0 8934 63 0 0 25 0 1 0 894716432 100462592 23688 4294967295 134512640 134716908 3221224576 3221223212 134524593 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24527 23688 1111 63 0 24464 0 vsize: 98108 [startup+100.002 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 23868 0 0 0 9934 63 0 0 25 0 1 0 894716432 100462592 23688 4294967295 134512640 134716908 3221224576 3221223056 134539374 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24527 23688 1111 63 0 24464 0 vsize: 98108 [startup+110.003 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 23868 0 0 0 10934 63 0 0 25 0 1 0 894716432 100462592 23688 4294967295 134512640 134716908 3221224576 3221223204 134594953 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24527 23688 1111 63 0 24464 0 vsize: 98108 [startup+120.004 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 23868 0 0 0 11935 63 0 0 25 0 1 0 894716432 100462592 23688 4294967295 134512640 134716908 3221224576 3221223088 134542968 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24527 23688 1111 63 0 24464 0 vsize: 98108 [startup+130.004 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 23868 0 0 0 12935 63 0 0 25 0 1 0 894716432 100462592 23688 4294967295 134512640 134716908 3221224576 3221222940 134539237 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24527 23688 1111 63 0 24464 0 vsize: 98108 [startup+140.004 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 23868 0 0 0 13935 63 0 0 25 0 1 0 894716432 100462592 23688 4294967295 134512640 134716908 3221224576 3221223192 134543785 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24527 23688 1111 63 0 24464 0 vsize: 98108 [startup+150.004 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 23868 0 0 0 14935 63 0 0 25 0 1 0 894716432 100462592 23688 4294967295 134512640 134716908 3221224576 3221223040 134542300 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24527 23688 1111 63 0 24464 0 vsize: 98108 [startup+160.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 23868 0 0 0 15935 63 0 0 25 0 1 0 894716432 100462592 23688 4294967295 134512640 134716908 3221224576 3221223056 134539374 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24527 23688 1111 63 0 24464 0 vsize: 98108 [startup+170.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 23868 0 0 0 16936 63 0 0 25 0 1 0 894716432 100462592 23688 4294967295 134512640 134716908 3221224576 3221222940 134539237 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24527 23688 1111 63 0 24464 0 vsize: 98108 [startup+180.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 23868 0 0 0 17935 63 0 0 25 0 1 0 894716432 100462592 23688 4294967295 134512640 134716908 3221224576 3221223056 134542303 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24527 23688 1111 63 0 24464 0 vsize: 98108 [startup+190.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 23868 0 0 0 18935 63 0 0 25 0 1 0 894716432 100462592 23688 4294967295 134512640 134716908 3221224576 3221223008 134543674 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24527 23688 1111 63 0 24464 0 vsize: 98108 [startup+200.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 23868 0 0 0 19935 64 0 0 25 0 1 0 894716432 100462592 23688 4294967295 134512640 134716908 3221224576 3221223216 134594970 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24527 23688 1111 63 0 24464 0 vsize: 98108 [startup+210.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 23868 0 0 0 20936 64 0 0 25 0 1 0 894716432 100462592 23688 4294967295 134512640 134716908 3221224576 3221222940 134539230 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24527 23688 1111 63 0 24464 0 vsize: 98108 [startup+220.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 23868 0 0 0 21936 64 0 0 25 0 1 0 894716432 100462592 23688 4294967295 134512640 134716908 3221224576 3221222976 134542694 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24527 23688 1111 63 0 24464 0 vsize: 98108 [startup+230.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 23868 0 0 0 22936 64 0 0 25 0 1 0 894716432 100462592 23688 4294967295 134512640 134716908 3221224576 3221223056 134539427 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24527 23688 1111 63 0 24464 0 vsize: 98108 [startup+240.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 23868 0 0 0 23936 64 0 0 25 0 1 0 894716432 100462592 23688 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24527 23688 1111 63 0 24464 0 vsize: 98108 [startup+250.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 23868 0 0 0 24936 64 0 0 25 0 1 0 894716432 100462592 23688 4294967295 134512640 134716908 3221224576 3221222984 134543606 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24527 23688 1111 63 0 24464 0 vsize: 98108 [startup+260.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 23868 0 0 0 25936 64 0 0 25 0 1 0 894716432 100462592 23688 4294967295 134512640 134716908 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24527 23688 1111 63 0 24464 0 vsize: 98108 [startup+270.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 23868 0 0 0 26936 64 0 0 25 0 1 0 894716432 100462592 23688 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24527 23688 1111 63 0 24464 0 vsize: 98108 [startup+280.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 23868 0 0 0 27937 64 0 0 25 0 1 0 894716432 100462592 23688 4294967295 134512640 134716908 3221224576 3221223040 134536650 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24527 23688 1111 63 0 24464 0 vsize: 98108 [startup+290.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 23868 0 0 0 28937 64 0 0 25 0 1 0 894716432 100462592 23688 4294967295 134512640 134716908 3221224576 3221223056 134542352 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24527 23688 1111 63 0 24464 0 vsize: 98108 [startup+300.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 23868 0 0 0 29936 64 0 0 25 0 1 0 894716432 100462592 23688 4294967295 134512640 134716908 3221224576 3221223248 134627200 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24527 23688 1111 63 0 24464 0 vsize: 98108 [startup+310.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 23868 0 0 0 30936 64 0 0 25 0 1 0 894716432 100462592 23688 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24527 23688 1111 63 0 24464 0 vsize: 98108 [startup+320.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 23868 0 0 0 31936 64 0 0 25 0 1 0 894716432 100462592 23688 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24527 23688 1111 63 0 24464 0 vsize: 98108 [startup+330.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 23868 0 0 0 32936 64 0 0 25 0 1 0 894716432 100462592 23688 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24527 23688 1111 63 0 24464 0 vsize: 98108 [startup+340.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 23868 0 0 0 33936 64 0 0 25 0 1 0 894716432 100462592 23688 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24527 23688 1111 63 0 24464 0 vsize: 98108 [startup+350.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 23868 0 0 0 34937 64 0 0 25 0 1 0 894716432 100462592 23688 4294967295 134512640 134716908 3221224576 3221223240 134627211 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24527 23688 1111 63 0 24464 0 vsize: 98108 [startup+360.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 23869 0 0 0 35937 64 0 0 25 0 1 0 894716432 100462592 23689 4294967295 134512640 134716908 3221224576 3221223376 134622912 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24527 23689 1111 63 0 24464 0 vsize: 98108 [startup+370.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 23869 0 0 0 36937 64 0 0 25 0 1 0 894716432 100462592 23689 4294967295 134512640 134716908 3221224576 3221223432 134542409 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24527 23689 1111 63 0 24464 0 vsize: 98108 [startup+380.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 23890 0 0 0 37937 64 0 0 25 0 1 0 894716432 100462592 23710 4294967295 134512640 134716908 3221224576 3221222864 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24527 23710 1111 63 0 24464 0 vsize: 98108 [startup+390.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 23890 0 0 0 38937 64 0 0 25 0 1 0 894716432 100462592 23710 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24527 23710 1111 63 0 24464 0 vsize: 98108 [startup+400.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 23890 0 0 0 39937 64 0 0 25 0 1 0 894716432 100462592 23710 4294967295 134512640 134716908 3221224576 3221222832 1074153660 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24527 23710 1111 63 0 24464 0 vsize: 98108 [startup+410.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 23890 0 0 0 40937 65 0 0 25 0 1 0 894716432 100462592 23710 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24527 23710 1111 63 0 24464 0 vsize: 98108 [startup+420.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 23890 0 0 0 41937 65 0 0 25 0 1 0 894716432 100462592 23710 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24527 23710 1111 63 0 24464 0 vsize: 98108 [startup+430.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 23890 0 0 0 42937 65 0 0 25 0 1 0 894716432 100462592 23710 4294967295 134512640 134716908 3221224576 3221222768 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24527 23710 1111 63 0 24464 0 vsize: 98108 [startup+440.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 23890 0 0 0 43938 65 0 0 25 0 1 0 894716432 100462592 23710 4294967295 134512640 134716908 3221224576 3221222864 1074153663 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24527 23710 1111 63 0 24464 0 vsize: 98108 [startup+450.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 23890 0 0 0 44938 65 0 0 25 0 1 0 894716432 100462592 23710 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24527 23710 1111 63 0 24464 0 vsize: 98108 [startup+460.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 23890 0 0 0 45938 65 0 0 25 0 1 0 894716432 100462592 23710 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24527 23710 1111 63 0 24464 0 vsize: 98108 [startup+470.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 23890 0 0 0 46938 65 0 0 25 0 1 0 894716432 100462592 23710 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24527 23710 1111 63 0 24464 0 vsize: 98108 [startup+480.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 23890 0 0 0 47938 65 0 0 25 0 1 0 894716432 100462592 23710 4294967295 134512640 134716908 3221224576 3221222784 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24527 23710 1111 63 0 24464 0 vsize: 98108 [startup+490.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 23890 0 0 0 48938 65 0 0 25 0 1 0 894716432 100462592 23710 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24527 23710 1111 63 0 24464 0 vsize: 98108 [startup+500.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 23890 0 0 0 49939 65 0 0 25 0 1 0 894716432 100462592 23710 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24527 23710 1111 63 0 24464 0 vsize: 98108 [startup+510.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 23890 0 0 0 50939 65 0 0 25 0 1 0 894716432 100462592 23710 4294967295 134512640 134716908 3221224576 3221222832 1074153760 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24527 23710 1111 63 0 24464 0 vsize: 98108 [startup+520.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 23890 0 0 0 51939 65 0 0 25 0 1 0 894716432 100462592 23710 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24527 23710 1111 63 0 24464 0 vsize: 98108 [startup+530.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 23890 0 0 0 52939 65 0 0 25 0 1 0 894716432 100462592 23710 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24527 23710 1111 63 0 24464 0 vsize: 98108 [startup+540.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 23890 0 0 0 53939 65 0 0 25 0 1 0 894716432 100462592 23710 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24527 23710 1111 63 0 24464 0 vsize: 98108 [startup+550.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 23890 0 0 0 54940 65 0 0 25 0 1 0 894716432 100462592 23710 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24527 23710 1111 63 0 24464 0 vsize: 98108 [startup+560.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 23890 0 0 0 55940 65 0 0 25 0 1 0 894716432 100462592 23710 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24527 23710 1111 63 0 24464 0 vsize: 98108 [startup+570.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 23890 0 0 0 56940 65 0 0 25 0 1 0 894716432 100462592 23710 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24527 23710 1111 63 0 24464 0 vsize: 98108 [startup+580.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 23890 0 0 0 57940 65 0 0 25 0 1 0 894716432 100462592 23710 4294967295 134512640 134716908 3221224576 3221222864 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24527 23710 1111 63 0 24464 0 vsize: 98108 [startup+590.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 23890 0 0 0 58940 65 0 0 25 0 1 0 894716432 100462592 23710 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24527 23710 1111 63 0 24464 0 vsize: 98108 [startup+600.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 23890 0 0 0 59940 65 0 0 25 0 1 0 894716432 100462592 23710 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24527 23710 1111 63 0 24464 0 vsize: 98108 [startup+610.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 23890 0 0 0 60941 65 0 0 25 0 1 0 894716432 100462592 23710 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24527 23710 1111 63 0 24464 0 vsize: 98108 [startup+620.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 23890 0 0 0 61941 65 0 0 25 0 1 0 894716432 100462592 23710 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24527 23710 1111 63 0 24464 0 vsize: 98108 [startup+630.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 24259 0 0 0 62939 66 0 0 25 0 1 0 894716432 101969920 24079 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24895 24079 1111 63 0 24832 0 vsize: 99580 [startup+640.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 24266 0 0 0 63939 67 0 0 25 0 1 0 894716432 101998592 24086 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24902 24086 1111 63 0 24839 0 vsize: 99608 [startup+650.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 24273 0 0 0 64939 67 0 0 25 0 1 0 894716432 102027264 24093 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24909 24093 1111 63 0 24846 0 vsize: 99636 [startup+660.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 24280 0 0 0 65939 67 0 0 25 0 1 0 894716432 102055936 24100 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24916 24100 1111 63 0 24853 0 vsize: 99664 [startup+670.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 24289 0 0 0 66939 68 0 0 25 0 1 0 894716432 102092800 24109 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24925 24109 1111 63 0 24862 0 vsize: 99700 [startup+680.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 24297 0 0 0 67939 68 0 0 25 0 1 0 894716432 102125568 24117 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24933 24117 1111 63 0 24870 0 vsize: 99732 [startup+690.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 24303 0 0 0 68939 68 0 0 25 0 1 0 894716432 102150144 24123 4294967295 134512640 134716908 3221224576 3221222784 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24939 24123 1111 63 0 24876 0 vsize: 99756 [startup+700.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 24312 0 0 0 69939 68 0 0 25 0 1 0 894716432 102187008 24132 4294967295 134512640 134716908 3221224576 3221222768 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24948 24132 1111 63 0 24885 0 vsize: 99792 [startup+710.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 24322 0 0 0 70939 68 0 0 25 0 1 0 894716432 102227968 24142 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24958 24142 1111 63 0 24895 0 vsize: 99832 [startup+720.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 24331 0 0 0 71939 69 0 0 25 0 1 0 894716432 102264832 24151 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24967 24151 1111 63 0 24904 0 vsize: 99868 [startup+730.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 24339 0 0 0 72939 69 0 0 25 0 1 0 894716432 102297600 24159 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24975 24159 1111 63 0 24912 0 vsize: 99900 [startup+740.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 30694 0 0 0 73925 83 0 0 25 0 1 0 894716432 128438272 27943 4294967295 134512640 134716908 3221224576 3221220728 1077410163 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31357 27943 1111 63 0 31294 0 vsize: 125428 [startup+750.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 30782 0 0 0 74924 84 0 0 25 0 1 0 894716432 128438272 28031 4294967295 134512640 134716908 3221224576 3221220752 1074961146 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31357 28031 1111 63 0 31294 0 vsize: 125428 [startup+760.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 32201 0 0 0 75921 88 0 0 25 0 1 0 894716432 131313664 29448 4294967295 134512640 134716908 3221224576 3221220704 1075895800 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 32059 29448 1111 63 0 31996 0 vsize: 128236 [startup+770.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 32243 0 0 0 76921 88 0 0 25 0 1 0 894716432 131313664 29490 4294967295 134512640 134716908 3221224576 3221220624 1074969455 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 32059 29490 1111 63 0 31996 0 vsize: 128236 [startup+780.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 32456 0 0 0 77920 89 0 0 25 0 1 0 894716432 125571072 28416 4294967295 134512640 134716908 3221224576 3221220492 1074788950 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 30657 28416 1111 63 0 30594 0 vsize: 122628 [startup+790.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 32474 0 0 0 78920 89 0 0 25 0 1 0 894716432 125571072 28432 4294967295 134512640 134716908 3221224576 3221220492 1074788959 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 30657 28432 1111 63 0 30594 0 vsize: 122628 [startup+800.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 32484 0 0 0 79920 89 0 0 25 0 1 0 894716432 125571072 28440 4294967295 134512640 134716908 3221224576 3221220364 1074788959 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 30657 28440 1111 63 0 30594 0 vsize: 122628 [startup+810.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 32510 0 0 0 80920 89 0 0 25 0 1 0 894716432 125571072 28464 4294967295 134512640 134716908 3221224576 3221220364 1074788964 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 30657 28464 1111 63 0 30594 0 vsize: 122628 [startup+820.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 32536 0 0 0 81920 89 0 0 25 0 1 0 894716432 125571072 28488 4294967295 134512640 134716908 3221224576 3221220364 1074788953 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 30657 28488 1111 63 0 30594 0 vsize: 122628 [startup+830.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 32545 0 0 0 82920 89 0 0 25 0 1 0 894716432 125571072 28495 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 30657 28495 1111 63 0 30594 0 vsize: 122628 [startup+840.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 32548 0 0 0 83921 90 0 0 25 0 1 0 894716432 125571072 28498 4294967295 134512640 134716908 3221224576 3221220624 1074969458 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 30657 28498 1111 63 0 30594 0 vsize: 122628 [startup+850.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 32560 0 0 0 84921 90 0 0 25 0 1 0 894716432 125571072 28508 4294967295 134512640 134716908 3221224576 3221220472 1075964775 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 30657 28508 1111 63 0 30594 0 vsize: 122628 [startup+860.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 32590 0 0 0 85921 90 0 0 25 0 1 0 894716432 125571072 28536 4294967295 134512640 134716908 3221224576 3221220356 1074786562 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 30657 28536 1111 63 0 30594 0 vsize: 122628 [startup+870.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 32595 0 0 0 86921 90 0 0 25 0 1 0 894716432 125571072 28541 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 30657 28541 1111 63 0 30594 0 vsize: 122628 [startup+880.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 32616 0 0 0 87921 90 0 0 25 0 1 0 894716432 125571072 28560 4294967295 134512640 134716908 3221224576 3221220708 1075115060 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 30657 28560 1111 63 0 30594 0 vsize: 122628 [startup+890.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 32626 0 0 0 88921 90 0 0 25 0 1 0 894716432 125571072 28568 4294967295 134512640 134716908 3221224576 3221220624 1074969465 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 30657 28568 1111 63 0 30594 0 vsize: 122628 [startup+900.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 32633 0 0 0 89921 90 0 0 25 0 1 0 894716432 125571072 28573 4294967295 134512640 134716908 3221224576 3221220704 1075895652 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 30657 28573 1111 63 0 30594 0 vsize: 122628 [startup+910.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 32637 0 0 0 90921 90 0 0 25 0 1 0 894716432 125571072 28577 4294967295 134512640 134716908 3221224576 3221220624 1074969467 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 30657 28577 1111 63 0 30594 0 vsize: 122628 [startup+920.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 32653 0 0 0 91921 90 0 0 25 0 1 0 894716432 125571072 28591 4294967295 134512640 134716908 3221224576 3221221024 1075088563 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 30657 28591 1111 63 0 30594 0 vsize: 122628 [startup+930.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 32658 0 0 0 92921 90 0 0 25 0 1 0 894716432 125571072 28596 4294967295 134512640 134716908 3221224576 3221220364 1074788950 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 30657 28596 1111 63 0 30594 0 vsize: 122628 [startup+940.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 32711 0 0 0 93922 90 0 0 25 0 1 0 894716432 126144512 28647 4294967295 134512640 134716908 3221224576 3221220580 1075964214 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 30797 28647 1111 63 0 30734 0 vsize: 123188 [startup+950.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 32798 0 0 0 94921 91 0 0 25 0 1 0 894716432 126746624 28732 4294967295 134512640 134716908 3221224576 3221220624 1074969458 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 30944 28732 1111 63 0 30881 0 vsize: 123776 [startup+960.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 32821 0 0 0 95922 91 0 0 25 0 1 0 894716432 126746624 28755 4294967295 134512640 134716908 3221224576 3221220492 1074788950 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 30944 28755 1111 63 0 30881 0 vsize: 123776 [startup+970.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 32831 0 0 0 96922 91 0 0 25 0 1 0 894716432 126746624 28763 4294967295 134512640 134716908 3221224576 3221220364 1074788950 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 30944 28763 1111 63 0 30881 0 vsize: 123776 [startup+980.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 32850 0 0 0 97922 91 0 0 25 0 1 0 894716432 126746624 28780 4294967295 134512640 134716908 3221224576 3221220640 1075094874 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 30944 28780 1111 63 0 30881 0 vsize: 123776 [startup+990.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 32854 0 0 0 98922 91 0 0 25 0 1 0 894716432 126746624 28784 4294967295 134512640 134716908 3221224576 3221220624 1074969463 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 30944 28784 1111 63 0 30881 0 vsize: 123776 [startup+1000.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 32875 0 0 0 99922 91 0 0 25 0 1 0 894716432 126746624 28803 4294967295 134512640 134716908 3221224576 3221220848 1075894554 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 30944 28803 1111 63 0 30881 0 vsize: 123776 [startup+1010.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 32885 0 0 0 100922 91 0 0 25 0 1 0 894716432 126746624 28811 4294967295 134512640 134716908 3221224576 3221220624 1074969458 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 30944 28811 1111 63 0 30881 0 vsize: 123776 [startup+1020.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 32886 0 0 0 101923 91 0 0 25 0 1 0 894716432 126746624 28812 4294967295 134512640 134716908 3221224576 3221220848 1075894487 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 30944 28812 1111 63 0 30881 0 vsize: 123776 [startup+1030.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 32895 0 0 0 102923 91 0 0 25 0 1 0 894716432 126746624 28819 4294967295 134512640 134716908 3221224576 3221220752 1074961138 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 30944 28819 1111 63 0 30881 0 vsize: 123776 [startup+1040.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 32914 0 0 0 103923 91 0 0 25 0 1 0 894716432 126746624 28836 4294967295 134512640 134716908 3221224576 3221220688 1074815253 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 30944 28836 1111 63 0 30881 0 vsize: 123776 [startup+1050.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 32914 0 0 0 104923 91 0 0 25 0 1 0 894716432 126746624 28836 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 30944 28836 1111 63 0 30881 0 vsize: 123776 [startup+1060.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 32925 0 0 0 105923 91 0 0 25 0 1 0 894716432 126746624 28845 4294967295 134512640 134716908 3221224576 3221220624 1074969455 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 30944 28845 1111 63 0 30881 0 vsize: 123776 [startup+1070.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 32955 0 0 0 106924 91 0 0 25 0 1 0 894716432 126746624 28873 4294967295 134512640 134716908 3221224576 3221220752 1074961132 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 30944 28873 1111 63 0 30881 0 vsize: 123776 [startup+1080.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 32966 0 0 0 107924 91 0 0 25 0 1 0 894716432 126746624 28882 4294967295 134512640 134716908 3221224576 3221220688 1074815253 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 30944 28882 1111 63 0 30881 0 vsize: 123776 [startup+1090.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 32972 0 0 0 108924 91 0 0 25 0 1 0 894716432 126746624 28888 4294967295 134512640 134716908 3221224576 3221220364 1074788959 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 30944 28888 1111 63 0 30881 0 vsize: 123776 [startup+1100.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 32982 0 0 0 109924 91 0 0 25 0 1 0 894716432 126746624 28896 4294967295 134512640 134716908 3221224576 3221220624 1074969458 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 30944 28896 1111 63 0 30881 0 vsize: 123776 [startup+1110.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 33073 0 0 0 110924 91 0 0 25 0 1 0 894716432 127385600 28985 4294967295 134512640 134716908 3221224576 3221220704 1075895652 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31100 28985 1111 63 0 31037 0 vsize: 124400 [startup+1120.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 33091 0 0 0 111924 92 0 0 25 0 1 0 894716432 127385600 29001 4294967295 134512640 134716908 3221224576 3221220708 1075114984 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31100 29001 1111 63 0 31037 0 vsize: 124400 [startup+1130.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 33094 0 0 0 112924 92 0 0 25 0 1 0 894716432 127385600 29002 4294967295 134512640 134716908 3221224576 3221220624 1074969685 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31100 29002 1111 63 0 31037 0 vsize: 124400 [startup+1140.04 s] Raw data (loadavg): 1.07 0.99 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 33114 0 0 0 113924 92 0 0 25 0 1 0 894716432 127385600 29020 4294967295 134512640 134716908 3221224576 3221220364 1074788950 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31100 29020 1111 63 0 31037 0 vsize: 124400 [startup+1150.04 s] Raw data (loadavg): 1.06 0.99 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 33124 0 0 0 114924 92 0 0 25 0 1 0 894716432 127385600 29028 4294967295 134512640 134716908 3221224576 3221220492 1074788950 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31100 29028 1111 63 0 31037 0 vsize: 124400 [startup+1160.04 s] Raw data (loadavg): 1.05 0.99 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 33127 0 0 0 115925 92 0 0 25 0 1 0 894716432 127385600 29029 4294967295 134512640 134716908 3221224576 3221220640 1074883509 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31100 29029 1111 63 0 31037 0 vsize: 124400 [startup+1170.04 s] Raw data (loadavg): 1.04 0.99 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 33129 0 0 0 116925 92 0 0 25 0 1 0 894716432 127385600 29029 4294967295 134512640 134716908 3221224576 3221220640 1075095124 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31100 29029 1111 63 0 31037 0 vsize: 124400 [startup+1180.04 s] Raw data (loadavg): 1.03 0.99 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 33140 0 0 0 117925 92 0 0 25 0 1 0 894716432 127385600 29038 4294967295 134512640 134716908 3221224576 3221220364 1074788953 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31100 29038 1111 63 0 31037 0 vsize: 124400 [startup+1190.04 s] Raw data (loadavg): 1.03 0.99 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 33144 0 0 0 118925 92 0 0 25 0 1 0 894716432 127700992 29042 4294967295 134512640 134716908 3221224576 3221221136 1075967440 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31177 29042 1111 63 0 31114 0 vsize: 124708 [startup+1200.04 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) R 18555 21152 21151 0 -1 0 33149 0 0 0 119925 92 0 0 25 0 1 0 894716432 127700992 29045 4294967295 134512640 134716908 3221224576 3221221012 1074260620 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31177 29045 1111 63 0 31114 0 vsize: 124708 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.1 s] Raw data (loadavg): 1.02 0.99 0.91 1/54 18556 Raw data (stat): 18556 (bsolo_lpr-v2) Z 18555 21152 21151 0 -1 1036 33149 0 0 0 119926 97 0 0 25 0 1 0 894716432 0 0 4294967295 0 0 0 0 0 0 0 7 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.1 CPU time (s): 1200.24 CPU user time (s): 1199.26 CPU system time (s): 0.977851 CPU usage (%): 100.012 Max. virtual memory (Kb): 128236 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####