Name | normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-1.opb |
MD5SUM | ed1ca962177baf0f135b785abad8adea |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -37 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 1150 |
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 | 1150 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1150 |
Number of bits of the biggest sum of numbers | 11 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1175.08 |
Number of variables | 1150 |
Total number of constraints | 80072 |
Number of constraints which are clauses | 80072 |
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 wulflinc1 THE 2005-06-07 17:20:03 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=27776 boxname=wulflinc1 idbench=334 idsolver=20 numberseed=0 MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048 /oldhome/oroussel/solvers/bsolo_lpr-v2 MD5SUM BENCH: ed1ca962177baf0f135b785abad8adea /oldhome/oroussel/tmp/wulflinc1/normalized-frb50-23-1.opb REAL COMMAND: bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-frb50-23-1.opb IDLAUNCH: 27776 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.053 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 : 2 cpu MHz : 451.053 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: 924888 kB Buffers: 27696 kB Cached: 56724 kB SwapCached: 1192 kB Active: 23904 kB Inactive: 62800 kB HighTotal: 131008 kB HighFree: 79716 kB LowTotal: 903652 kB LowFree: 845172 kB SwapTotal: 2097136 kB SwapFree: 2094852 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5728 kB Slab: 17308 kB Committed_AS: 92720 kB PageTables: 332 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-07 17:40:06 (client local time) WITH STATUS 0 IN 1200.26 SECONDS stats: 27776 7 1200.26 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 1150 variables and 80072 constraints. c After prepocess the problem consists of 1150 variables and 52085 constraints. c preprocess terminated 542.644 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.84 0.94 0.90 2/55 7926 Raw data (stat): 7926 (runsolver) R 7925 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 837887304 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.0012 s] Raw data (loadavg): 0.87 0.94 0.90 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 21558 0 0 0 935 62 0 0 25 0 1 0 837887304 91402240 21474 4294967295 134512640 134716908 3221224576 3221223056 134543110 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22315 21474 1111 63 0 22252 0 vsize: 89260 [startup+20.002 s] Raw data (loadavg): 0.89 0.94 0.90 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 25048 0 0 0 1927 69 0 0 25 0 1 0 837887304 101875712 24038 4294967295 134512640 134716908 3221224576 3221223056 134542350 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24872 24038 1111 63 0 24809 0 vsize: 99488 [startup+30.0021 s] Raw data (loadavg): 0.90 0.94 0.90 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 25048 0 0 0 2927 69 0 0 25 0 1 0 837887304 101875712 24038 4294967295 134512640 134716908 3221224576 3221222940 134539296 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24872 24038 1111 63 0 24809 0 vsize: 99488 [startup+40.0025 s] Raw data (loadavg): 0.92 0.94 0.90 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 25523 0 0 0 3926 71 0 0 25 0 1 0 837887304 102219776 24122 4294967295 134512640 134716908 3221224576 3221222984 134543600 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24956 24122 1111 63 0 24893 0 vsize: 99824 [startup+50.0022 s] Raw data (loadavg): 0.93 0.94 0.90 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 26392 0 0 0 4925 72 0 0 25 0 1 0 837887304 102219776 24122 4294967295 134512640 134716908 3221224576 3221223192 134543796 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24956 24122 1111 63 0 24893 0 vsize: 99824 [startup+60.003 s] Raw data (loadavg): 0.94 0.95 0.90 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 26965 0 0 0 5924 73 0 0 25 0 1 0 837887304 103145472 24348 4294967295 134512640 134716908 3221224576 3221223056 134542300 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25182 24348 1111 63 0 25119 0 vsize: 100728 [startup+70.0038 s] Raw data (loadavg): 0.95 0.95 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 27034 0 0 0 6924 73 0 0 25 0 1 0 837887304 103145472 24348 4294967295 134512640 134716908 3221224576 3221223304 134675309 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25182 24348 1111 63 0 25119 0 vsize: 100728 [startup+80.0036 s] Raw data (loadavg): 0.96 0.95 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 27034 0 0 0 7924 73 0 0 25 0 1 0 837887304 103145472 24348 4294967295 134512640 134716908 3221224576 3221222992 134542677 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25182 24348 1111 63 0 25119 0 vsize: 100728 [startup+90.0037 s] Raw data (loadavg): 0.96 0.95 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 27454 0 0 0 8923 74 0 0 25 0 1 0 837887304 103145472 24348 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25182 24348 1111 63 0 25119 0 vsize: 100728 [startup+100.003 s] Raw data (loadavg): 0.97 0.95 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 27454 0 0 0 9923 74 0 0 25 0 1 0 837887304 103145472 24348 4294967295 134512640 134716908 3221224576 3221223056 134539462 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25182 24348 1111 63 0 25119 0 vsize: 100728 [startup+110.004 s] Raw data (loadavg): 0.97 0.95 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 27454 0 0 0 10924 74 0 0 25 0 1 0 837887304 103145472 24348 4294967295 134512640 134716908 3221224576 3221223120 134535807 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25182 24348 1111 63 0 25119 0 vsize: 100728 [startup+120.005 s] Raw data (loadavg): 0.98 0.95 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 31258 0 0 0 11916 82 0 0 25 0 1 0 837887304 106213376 25097 4294967295 134512640 134716908 3221224576 3221223220 134609075 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25931 25097 1111 63 0 25868 0 vsize: 103724 [startup+130.005 s] Raw data (loadavg): 0.98 0.95 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 31258 0 0 0 12916 82 0 0 25 0 1 0 837887304 106213376 25097 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25931 25097 1111 63 0 25868 0 vsize: 103724 [startup+140.004 s] Raw data (loadavg): 0.98 0.95 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 31564 0 0 0 13915 83 0 0 25 0 1 0 837887304 106213376 25097 4294967295 134512640 134716908 3221224576 3221222960 134542347 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25931 25097 1111 63 0 25868 0 vsize: 103724 [startup+150.004 s] Raw data (loadavg): 0.98 0.95 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 31564 0 0 0 14915 83 0 0 25 0 1 0 837887304 106213376 25097 4294967295 134512640 134716908 3221224576 3221223056 134536630 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25931 25097 1111 63 0 25868 0 vsize: 103724 [startup+160.005 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 31564 0 0 0 15916 83 0 0 25 0 1 0 837887304 106213376 25097 4294967295 134512640 134716908 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25931 25097 1111 63 0 25868 0 vsize: 103724 [startup+170.005 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 31564 0 0 0 16916 83 0 0 25 0 1 0 837887304 106213376 25097 4294967295 134512640 134716908 3221224576 3221222940 134539301 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25931 25097 1111 63 0 25868 0 vsize: 103724 [startup+180.005 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 31564 0 0 0 17916 83 0 0 25 0 1 0 837887304 106213376 25097 4294967295 134512640 134716908 3221224576 3221222960 134542303 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25931 25097 1111 63 0 25868 0 vsize: 103724 [startup+190.006 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 31564 0 0 0 18916 83 0 0 25 0 1 0 837887304 106213376 25097 4294967295 134512640 134716908 3221224576 3221223088 134543756 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25931 25097 1111 63 0 25868 0 vsize: 103724 [startup+200.005 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 31564 0 0 0 19916 83 0 0 25 0 1 0 837887304 106213376 25097 4294967295 134512640 134716908 3221224576 3221222992 134542677 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25931 25097 1111 63 0 25868 0 vsize: 103724 [startup+210.006 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 31564 0 0 0 20917 83 0 0 25 0 1 0 837887304 106213376 25097 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25931 25097 1111 63 0 25868 0 vsize: 103724 [startup+220.007 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 31564 0 0 0 21917 83 0 0 25 0 1 0 837887304 106213376 25097 4294967295 134512640 134716908 3221224576 3221223184 134529376 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25931 25097 1111 63 0 25868 0 vsize: 103724 [startup+230.006 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 31564 0 0 0 22917 83 0 0 25 0 1 0 837887304 106213376 25097 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25931 25097 1111 63 0 25868 0 vsize: 103724 [startup+240.006 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 31564 0 0 0 23917 83 0 0 25 0 1 0 837887304 106213376 25097 4294967295 134512640 134716908 3221224576 3221223192 134543804 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25931 25097 1111 63 0 25868 0 vsize: 103724 [startup+250.006 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 31564 0 0 0 24917 83 0 0 25 0 1 0 837887304 106213376 25097 4294967295 134512640 134716908 3221224576 3221223056 134542352 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25931 25097 1111 63 0 25868 0 vsize: 103724 [startup+260.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 31564 0 0 0 25917 83 0 0 25 0 1 0 837887304 106213376 25097 4294967295 134512640 134716908 3221224576 3221223192 134543804 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25931 25097 1111 63 0 25868 0 vsize: 103724 [startup+270.007 s] Raw data (loadavg): 0.99 0.97 0.91 3/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 31564 0 0 0 26918 83 0 0 25 0 1 0 837887304 106213376 25097 4294967295 134512640 134716908 3221224576 3221223056 134542368 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25931 25097 1111 63 0 25868 0 vsize: 103724 [startup+280.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 31564 0 0 0 27918 83 0 0 25 0 1 0 837887304 106213376 25097 4294967295 134512640 134716908 3221224576 3221223192 134543796 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25931 25097 1111 63 0 25868 0 vsize: 103724 [startup+290.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 31564 0 0 0 28918 83 0 0 25 0 1 0 837887304 106213376 25097 4294967295 134512640 134716908 3221224576 3221223216 134594970 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25931 25097 1111 63 0 25868 0 vsize: 103724 [startup+300.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 31564 0 0 0 29918 83 0 0 25 0 1 0 837887304 106213376 25097 4294967295 134512640 134716908 3221224576 3221223192 134543796 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25931 25097 1111 63 0 25868 0 vsize: 103724 [startup+310.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 31564 0 0 0 30918 83 0 0 25 0 1 0 837887304 106213376 25097 4294967295 134512640 134716908 3221224576 3221223024 134536678 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25931 25097 1111 63 0 25868 0 vsize: 103724 [startup+320.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 31564 0 0 0 31918 83 0 0 25 0 1 0 837887304 106213376 25097 4294967295 134512640 134716908 3221224576 3221222984 134543606 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25931 25097 1111 63 0 25868 0 vsize: 103724 [startup+330.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 31564 0 0 0 32918 83 0 0 25 0 1 0 837887304 106213376 25097 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25931 25097 1111 63 0 25868 0 vsize: 103724 [startup+340.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 31564 0 0 0 33918 83 0 0 25 0 1 0 837887304 106213376 25097 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25931 25097 1111 63 0 25868 0 vsize: 103724 [startup+350.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 31564 0 0 0 34919 83 0 0 25 0 1 0 837887304 106213376 25097 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25931 25097 1111 63 0 25868 0 vsize: 103724 [startup+360.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 31623 0 0 0 35918 84 0 0 25 0 1 0 837887304 106393600 25141 4294967295 134512640 134716908 3221224576 3221222940 134539237 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25975 25141 1111 63 0 25912 0 vsize: 103900 [startup+370.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 31623 0 0 0 36918 84 0 0 25 0 1 0 837887304 106393600 25141 4294967295 134512640 134716908 3221224576 3221223204 134594953 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25975 25141 1111 63 0 25912 0 vsize: 103900 [startup+380.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 31662 0 0 0 37918 84 0 0 25 0 1 0 837887304 106393600 25141 4294967295 134512640 134716908 3221224576 3221222940 134539237 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25975 25141 1111 63 0 25912 0 vsize: 103900 [startup+390.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 31662 0 0 0 38918 84 0 0 25 0 1 0 837887304 106393600 25141 4294967295 134512640 134716908 3221224576 3221223056 134539462 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25975 25141 1111 63 0 25912 0 vsize: 103900 [startup+400.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 31789 0 0 0 39918 85 0 0 25 0 1 0 837887304 106393600 25141 4294967295 134512640 134716908 3221224576 3221223056 134539374 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25975 25141 1111 63 0 25912 0 vsize: 103900 [startup+410.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 31905 0 0 0 40918 85 0 0 25 0 1 0 837887304 106393600 25141 4294967295 134512640 134716908 3221224576 3221222992 134543712 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25975 25141 1111 63 0 25912 0 vsize: 103900 [startup+420.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 32265 0 0 0 41918 86 0 0 25 0 1 0 837887304 107905024 25501 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 26344 25501 1111 63 0 26281 0 vsize: 105376 [startup+430.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 32265 0 0 0 42918 86 0 0 25 0 1 0 837887304 107905024 25501 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 26344 25501 1111 63 0 26281 0 vsize: 105376 [startup+440.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 32265 0 0 0 43918 86 0 0 25 0 1 0 837887304 107905024 25501 4294967295 134512640 134716908 3221224576 3221223068 134542371 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 26344 25501 1111 63 0 26281 0 vsize: 105376 [startup+450.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 32432 0 0 0 44917 87 0 0 25 0 1 0 837887304 108007424 25535 4294967295 134512640 134716908 3221224576 3221223056 134524067 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 26369 25535 1111 63 0 26306 0 vsize: 105476 [startup+460.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 32432 0 0 0 45918 87 0 0 25 0 1 0 837887304 108007424 25535 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 26369 25535 1111 63 0 26306 0 vsize: 105476 [startup+470.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 32432 0 0 0 46918 87 0 0 25 0 1 0 837887304 108007424 25535 4294967295 134512640 134716908 3221224576 3221223248 134627268 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 26369 25535 1111 63 0 26306 0 vsize: 105476 [startup+480.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 32432 0 0 0 47918 87 0 0 25 0 1 0 837887304 108007424 25535 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 26369 25535 1111 63 0 26306 0 vsize: 105476 [startup+490.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 32432 0 0 0 48918 87 0 0 25 0 1 0 837887304 108007424 25535 4294967295 134512640 134716908 3221224576 3221223232 134627282 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 26369 25535 1111 63 0 26306 0 vsize: 105476 [startup+500.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 32432 0 0 0 49918 87 0 0 25 0 1 0 837887304 108007424 25535 4294967295 134512640 134716908 3221224576 3221223228 134558618 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 26369 25535 1111 63 0 26306 0 vsize: 105476 [startup+510.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 32432 0 0 0 50918 87 0 0 25 0 1 0 837887304 108007424 25535 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 26369 25535 1111 63 0 26306 0 vsize: 105476 [startup+520.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 33065 0 0 0 51918 88 0 0 25 0 1 0 837887304 110596096 26168 4294967295 134512640 134716908 3221224576 3221223432 134543552 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27001 26168 1111 63 0 26938 0 vsize: 108004 [startup+530.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 33065 0 0 0 52918 88 0 0 25 0 1 0 837887304 110596096 26168 4294967295 134512640 134716908 3221224576 3221223432 134543552 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27001 26168 1111 63 0 26938 0 vsize: 108004 [startup+540.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 33065 0 0 0 53918 88 0 0 25 0 1 0 837887304 110596096 26168 4294967295 134512640 134716908 3221224576 3221223376 134622759 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27001 26168 1111 63 0 26938 0 vsize: 108004 [startup+550.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 33560 0 0 0 54915 91 0 0 25 0 1 0 837887304 113127424 26626 4294967295 134512640 134716908 3221224576 3221222480 1077814665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27619 26626 1111 63 0 27556 0 vsize: 110476 [startup+560.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 33662 0 0 0 55913 92 0 0 25 0 1 0 837887304 113553408 26728 4294967295 134512640 134716908 3221224576 3221222816 1074153786 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27723 26728 1111 63 0 27660 0 vsize: 110892 [startup+570.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 33706 0 0 0 56912 94 0 0 25 0 1 0 837887304 113709056 26772 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27761 26772 1111 63 0 27698 0 vsize: 111044 [startup+580.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 33807 0 0 0 57911 95 0 0 25 0 1 0 837887304 114020352 26855 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27837 26855 1111 63 0 27774 0 vsize: 111348 [startup+590.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 33831 0 0 0 58911 96 0 0 25 0 1 0 837887304 114110464 26879 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27859 26879 1111 63 0 27796 0 vsize: 111436 [startup+600.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 33906 0 0 0 59910 96 0 0 25 0 1 0 837887304 114417664 26954 4294967295 134512640 134716908 3221224576 3221222816 1074153815 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27934 26954 1111 63 0 27871 0 vsize: 111736 [startup+610.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 33929 0 0 0 60910 97 0 0 25 0 1 0 837887304 114503680 26977 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27955 26977 1111 63 0 27892 0 vsize: 111820 [startup+620.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34021 0 0 0 61909 98 0 0 25 0 1 0 837887304 114876416 27069 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28046 27069 1111 63 0 27983 0 vsize: 112184 [startup+630.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34042 0 0 0 62909 98 0 0 25 0 1 0 837887304 114958336 27090 4294967295 134512640 134716908 3221224576 3221222464 1077814665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28066 27090 1111 63 0 28003 0 vsize: 112264 [startup+640.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34059 0 0 0 63908 100 0 0 25 0 1 0 837887304 115023872 27107 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28082 27107 1111 63 0 28019 0 vsize: 112328 [startup+650.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34077 0 0 0 64907 100 0 0 25 0 1 0 837887304 115093504 27125 4294967295 134512640 134716908 3221224576 3221222832 1074153786 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28099 27125 1111 63 0 28036 0 vsize: 112396 [startup+660.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34129 0 0 0 65907 101 0 0 25 0 1 0 837887304 115302400 27177 4294967295 134512640 134716908 3221224576 3221222480 1077814665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28150 27177 1111 63 0 28087 0 vsize: 112600 [startup+670.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34146 0 0 0 66906 102 0 0 25 0 1 0 837887304 115367936 27194 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28166 27194 1111 63 0 28103 0 vsize: 112664 [startup+680.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34161 0 0 0 67905 103 0 0 25 0 1 0 837887304 115425280 27209 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28180 27209 1111 63 0 28117 0 vsize: 112720 [startup+690.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34177 0 0 0 68906 103 0 0 25 0 1 0 837887304 115486720 27225 4294967295 134512640 134716908 3221224576 3221222832 1074153773 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28195 27225 1111 63 0 28132 0 vsize: 112780 [startup+700.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34191 0 0 0 69905 103 0 0 25 0 1 0 837887304 115539968 27239 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28208 27239 1111 63 0 28145 0 vsize: 112832 [startup+710.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34249 0 0 0 70905 104 0 0 25 0 1 0 837887304 115777536 27297 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28266 27297 1111 63 0 28203 0 vsize: 113064 [startup+720.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34263 0 0 0 71904 105 0 0 25 0 1 0 837887304 115830784 27311 4294967295 134512640 134716908 3221224576 3221222816 1074153760 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28279 27311 1111 63 0 28216 0 vsize: 113116 [startup+730.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34278 0 0 0 72904 105 0 0 25 0 1 0 837887304 115888128 27326 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28293 27326 1111 63 0 28230 0 vsize: 113172 [startup+740.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34291 0 0 0 73904 106 0 0 25 0 1 0 837887304 115937280 27339 4294967295 134512640 134716908 3221224576 3221222832 1074153760 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28305 27339 1111 63 0 28242 0 vsize: 113220 [startup+750.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34303 0 0 0 74903 106 0 0 25 0 1 0 837887304 115986432 27351 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28317 27351 1111 63 0 28254 0 vsize: 113268 [startup+760.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34316 0 0 0 75903 106 0 0 25 0 1 0 837887304 116035584 27364 4294967295 134512640 134716908 3221224576 3221222832 1074153792 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28329 27364 1111 63 0 28266 0 vsize: 113316 [startup+770.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34329 0 0 0 76903 107 0 0 25 0 1 0 837887304 116084736 27377 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28341 27377 1111 63 0 28278 0 vsize: 113364 [startup+780.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34339 0 0 0 77903 107 0 0 25 0 1 0 837887304 116125696 27387 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28351 27387 1111 63 0 28288 0 vsize: 113404 [startup+790.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34404 0 0 0 78902 108 0 0 25 0 1 0 837887304 116387840 27452 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28415 27452 1111 63 0 28352 0 vsize: 113660 [startup+800.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34416 0 0 0 79902 108 0 0 25 0 1 0 837887304 116432896 27464 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28426 27464 1111 63 0 28363 0 vsize: 113704 [startup+810.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34428 0 0 0 80901 109 0 0 25 0 1 0 837887304 116482048 27476 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28438 27476 1111 63 0 28375 0 vsize: 113752 [startup+820.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34439 0 0 0 81901 110 0 0 25 0 1 0 837887304 116523008 27487 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28448 27487 1111 63 0 28385 0 vsize: 113792 [startup+830.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34451 0 0 0 82901 110 0 0 25 0 1 0 837887304 116572160 27499 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28460 27499 1111 63 0 28397 0 vsize: 113840 [startup+840.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34463 0 0 0 83901 110 0 0 25 0 1 0 837887304 116617216 27511 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28471 27511 1111 63 0 28408 0 vsize: 113884 [startup+850.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34476 0 0 0 84900 111 0 0 25 0 1 0 837887304 116666368 27524 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28483 27524 1111 63 0 28420 0 vsize: 113932 [startup+860.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34488 0 0 0 85900 111 0 0 25 0 1 0 837887304 116715520 27536 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28495 27536 1111 63 0 28432 0 vsize: 113980 [startup+870.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34499 0 0 0 86900 112 0 0 25 0 1 0 837887304 116756480 27547 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28505 27547 1111 63 0 28442 0 vsize: 114020 [startup+880.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34510 0 0 0 87900 112 0 0 25 0 1 0 837887304 116801536 27558 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28516 27558 1111 63 0 28453 0 vsize: 114064 [startup+890.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34521 0 0 0 88900 112 0 0 25 0 1 0 837887304 116842496 27569 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28526 27569 1111 63 0 28463 0 vsize: 114104 [startup+900.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34688 0 0 0 89899 113 0 0 25 0 1 0 837887304 116989952 27605 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28562 27605 1111 63 0 28499 0 vsize: 114248 [startup+910.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34699 0 0 0 90899 114 0 0 25 0 1 0 837887304 117030912 27616 4294967295 134512640 134716908 3221224576 3221222832 1074153792 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28572 27616 1111 63 0 28509 0 vsize: 114288 [startup+920.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34708 0 0 0 91898 114 0 0 25 0 1 0 837887304 117067776 27625 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28581 27625 1111 63 0 28518 0 vsize: 114324 [startup+930.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34720 0 0 0 92898 115 0 0 25 0 1 0 837887304 117112832 27637 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28592 27637 1111 63 0 28529 0 vsize: 114368 [startup+940.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34729 0 0 0 93898 115 0 0 25 0 1 0 837887304 117149696 27646 4294967295 134512640 134716908 3221224576 3221222784 1074153792 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28601 27646 1111 63 0 28538 0 vsize: 114404 [startup+950.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34739 0 0 0 94898 116 0 0 25 0 1 0 837887304 117186560 27656 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28610 27656 1111 63 0 28547 0 vsize: 114440 [startup+960.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34749 0 0 0 95897 116 0 0 25 0 1 0 837887304 117227520 27666 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28620 27666 1111 63 0 28557 0 vsize: 114480 [startup+970.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34759 0 0 0 96897 117 0 0 25 0 1 0 837887304 117264384 27676 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28629 27676 1111 63 0 28566 0 vsize: 114516 [startup+980.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34768 0 0 0 97897 117 0 0 25 0 1 0 837887304 117301248 27685 4294967295 134512640 134716908 3221224576 3221222548 1077378713 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28638 27685 1111 63 0 28575 0 vsize: 114552 [startup+990.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34778 0 0 0 98896 118 0 0 25 0 1 0 837887304 117338112 27695 4294967295 134512640 134716908 3221224576 3221222832 1074153760 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28647 27695 1111 63 0 28584 0 vsize: 114588 [startup+1000.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34787 0 0 0 99896 118 0 0 25 0 1 0 837887304 117374976 27704 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28656 27704 1111 63 0 28593 0 vsize: 114624 [startup+1010.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34797 0 0 0 100896 118 0 0 25 0 1 0 837887304 117411840 27714 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28665 27714 1111 63 0 28602 0 vsize: 114660 [startup+1020.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34806 0 0 0 101896 119 0 0 25 0 1 0 837887304 117448704 27723 4294967295 134512640 134716908 3221224576 3221222832 1074153786 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28674 27723 1111 63 0 28611 0 vsize: 114696 [startup+1030.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34815 0 0 0 102895 119 0 0 25 0 1 0 837887304 117481472 27732 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28682 27732 1111 63 0 28619 0 vsize: 114728 [startup+1040.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34824 0 0 0 103896 119 0 0 25 0 1 0 837887304 117518336 27741 4294967295 134512640 134716908 3221224576 3221222832 1074153792 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28691 27741 1111 63 0 28628 0 vsize: 114764 [startup+1050.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34835 0 0 0 104896 120 0 0 25 0 1 0 837887304 117559296 27752 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28701 27752 1111 63 0 28638 0 vsize: 114804 [startup+1060.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34939 0 0 0 105895 121 0 0 25 0 1 0 837887304 117985280 27856 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28805 27856 1111 63 0 28742 0 vsize: 115220 [startup+1070.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34948 0 0 0 106894 121 0 0 25 0 1 0 837887304 118022144 27865 4294967295 134512640 134716908 3221224576 3221222832 1074153760 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28814 27865 1111 63 0 28751 0 vsize: 115256 [startup+1080.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34960 0 0 0 107894 121 0 0 25 0 1 0 837887304 118067200 27877 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28825 27877 1111 63 0 28762 0 vsize: 115300 [startup+1090.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34967 0 0 0 108894 122 0 0 25 0 1 0 837887304 118095872 27884 4294967295 134512640 134716908 3221224576 3221222784 1074153779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28832 27884 1111 63 0 28769 0 vsize: 115328 [startup+1100.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34977 0 0 0 109894 122 0 0 25 0 1 0 837887304 118132736 27894 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28841 27894 1111 63 0 28778 0 vsize: 115364 [startup+1110.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34985 0 0 0 110894 122 0 0 25 0 1 0 837887304 118165504 27902 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28849 27902 1111 63 0 28786 0 vsize: 115396 [startup+1120.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 34995 0 0 0 111894 122 0 0 25 0 1 0 837887304 118202368 27912 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28858 27912 1111 63 0 28795 0 vsize: 115432 [startup+1130.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 35002 0 0 0 112894 123 0 0 25 0 1 0 837887304 118231040 27919 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28865 27919 1111 63 0 28802 0 vsize: 115460 [startup+1140.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 35013 0 0 0 113894 123 0 0 25 0 1 0 837887304 118276096 27930 4294967295 134512640 134716908 3221224576 3221222768 1074153760 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28876 27930 1111 63 0 28813 0 vsize: 115504 [startup+1150.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 35023 0 0 0 114893 124 0 0 25 0 1 0 837887304 118312960 27940 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28885 27940 1111 63 0 28822 0 vsize: 115540 [startup+1160.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 35033 0 0 0 115893 124 0 0 25 0 1 0 837887304 118353920 27950 4294967295 134512640 134716908 3221224576 3221222720 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28895 27950 1111 63 0 28832 0 vsize: 115580 [startup+1170.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 45038 0 0 0 116873 145 0 0 25 0 1 0 837887304 157810688 33859 4294967295 134512640 134716908 3221224576 3221220552 1074950210 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 38528 33859 1111 63 0 38465 0 vsize: 154112 [startup+1180.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 45206 0 0 0 117873 145 0 0 25 0 1 0 837887304 157810688 34027 4294967295 134512640 134716908 3221224576 3221220752 1074961267 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 38528 34027 1111 63 0 38465 0 vsize: 154112 [startup+1190.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 45274 0 0 0 118872 145 0 0 25 0 1 0 837887304 157810688 34095 4294967295 134512640 134716908 3221224576 3221220428 1074788953 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 38528 34095 1111 63 0 38465 0 vsize: 154112 [startup+1200.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) R 7925 8378 8377 0 -1 0 47137 0 0 0 119869 149 0 0 25 0 1 0 837887304 161611776 35956 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 39456 35956 1111 63 0 39393 0 vsize: 157824 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.1 s] Raw data (loadavg): 0.99 0.97 0.91 1/55 7926 Raw data (stat): 7926 (bsolo_lpr-v2) Z 7925 8378 8377 0 -1 1036 47137 0 0 0 119869 156 0 0 25 0 1 0 837887304 0 0 4294967295 0 0 0 0 0 0 0 7 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.26 CPU user time (s): 1198.69 CPU system time (s): 1.56376 CPU usage (%): 100.013 Max. virtual memory (Kb): 157824 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####