Name | normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-1.opb |
MD5SUM | 94f501465233508e2f652cf118ddaf2d |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -31 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 760 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 760 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 760 |
Number of bits of the biggest sum of numbers | 10 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1175.06 |
Number of variables | 760 |
Total number of constraints | 41314 |
Number of constraints which are clauses | 41314 |
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 wulflinc3 THE 2005-06-07 16:51:56 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=27766 boxname=wulflinc3 idbench=324 idsolver=20 numberseed=0 MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048 /oldhome/oroussel/solvers/bsolo_lpr-v2 MD5SUM BENCH: 94f501465233508e2f652cf118ddaf2d /oldhome/oroussel/tmp/wulflinc3/normalized-frb40-19-1.opb REAL COMMAND: bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-frb40-19-1.opb IDLAUNCH: 27766 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.190 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.190 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: 899028 kB Buffers: 33796 kB Cached: 73816 kB SwapCached: 6016 kB Active: 34328 kB Inactive: 80684 kB HighTotal: 131008 kB HighFree: 98672 kB LowTotal: 903652 kB LowFree: 800356 kB SwapTotal: 2097136 kB SwapFree: 2090192 kB Dirty: 24 kB Writeback: 0 kB Mapped: 5052 kB Slab: 15040 kB Committed_AS: 71792 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-07 17:11:59 (client local time) WITH STATUS 0 IN 1200.25 SECONDS stats: 27766 7 1200.25 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 760 variables and 41314 constraints. c After prepocess the problem consists of 760 variables and 30250 constraints. c preprocess terminated 273.938 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.91 0.95 0.90 2/54 13773 Raw data (stat): 13773 (runsolver) R 13772 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 894566991 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.001 s] Raw data (loadavg): 0.93 0.95 0.90 2/54 13773 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 15765 0 0 0 954 42 0 0 25 0 1 0 894566991 67674112 15682 4294967295 134512640 134716908 3221224576 3221223204 134594953 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16522 15682 1111 63 0 16459 0 vsize: 66088 [startup+20.0014 s] Raw data (loadavg): 0.94 0.96 0.91 2/54 13773 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 16186 0 0 0 1953 43 0 0 25 0 1 0 894566991 69431296 16103 4294967295 134512640 134716908 3221224576 3221223204 134594953 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16951 16103 1111 63 0 16888 0 vsize: 67804 [startup+30.0028 s] Raw data (loadavg): 0.95 0.96 0.91 2/54 13773 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 18130 0 0 0 2949 48 0 0 25 0 1 0 894566991 77406208 18047 4294967295 134512640 134716908 3221224576 3221222968 134543614 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18898 18047 1111 63 0 18835 0 vsize: 75592 [startup+40.0034 s] Raw data (loadavg): 0.95 0.96 0.91 2/54 13773 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 18130 0 0 0 3950 48 0 0 25 0 1 0 894566991 77406208 18047 4294967295 134512640 134716908 3221224576 3221222944 1076647554 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18898 18047 1111 63 0 18835 0 vsize: 75592 [startup+50.0029 s] Raw data (loadavg): 0.96 0.96 0.91 2/54 13773 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 18130 0 0 0 4950 48 0 0 25 0 1 0 894566991 77406208 18047 4294967295 134512640 134716908 3221224576 3221223328 134630811 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18898 18047 1111 63 0 18835 0 vsize: 75592 [startup+60.0027 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 13773 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 18130 0 0 0 5950 48 0 0 25 0 1 0 894566991 77406208 18047 4294967295 134512640 134716908 3221224576 3221223040 134536700 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18898 18047 1111 63 0 18835 0 vsize: 75592 [startup+70.0029 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 13773 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 18130 0 0 0 6950 48 0 0 25 0 1 0 894566991 77406208 18047 4294967295 134512640 134716908 3221224576 3221223040 134542356 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18898 18047 1111 63 0 18835 0 vsize: 75592 [startup+80.0034 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 13773 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 18130 0 0 0 7950 48 0 0 25 0 1 0 894566991 77406208 18047 4294967295 134512640 134716908 3221224576 3221223116 134543664 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18898 18047 1111 63 0 18835 0 vsize: 75592 [startup+90.0032 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 13773 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 18130 0 0 0 8951 48 0 0 25 0 1 0 894566991 77406208 18047 4294967295 134512640 134716908 3221224576 3221222992 134542677 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18898 18047 1111 63 0 18835 0 vsize: 75592 [startup+100.003 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 13773 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 18130 0 0 0 9951 48 0 0 25 0 1 0 894566991 77406208 18047 4294967295 134512640 134716908 3221224576 3221223040 134536700 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18898 18047 1111 63 0 18835 0 vsize: 75592 [startup+110.004 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 13773 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 18130 0 0 0 10951 48 0 0 25 0 1 0 894566991 77406208 18047 4294967295 134512640 134716908 3221224576 3221222960 134542365 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18898 18047 1111 63 0 18835 0 vsize: 75592 [startup+120.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13773 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 18130 0 0 0 11951 48 0 0 25 0 1 0 894566991 77406208 18047 4294967295 134512640 134716908 3221224576 3221222992 134543686 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18898 18047 1111 63 0 18835 0 vsize: 75592 [startup+130.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13773 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 18130 0 0 0 12951 48 0 0 25 0 1 0 894566991 77406208 18047 4294967295 134512640 134716908 3221224576 3221223044 134536649 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18898 18047 1111 63 0 18835 0 vsize: 75592 [startup+140.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13773 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 18130 0 0 0 13951 48 0 0 25 0 1 0 894566991 77406208 18047 4294967295 134512640 134716908 3221224576 3221223040 134536650 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18898 18047 1111 63 0 18835 0 vsize: 75592 [startup+150.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13773 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 18130 0 0 0 14952 48 0 0 25 0 1 0 894566991 77406208 18047 4294967295 134512640 134716908 3221224576 3221223192 134543796 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18898 18047 1111 63 0 18835 0 vsize: 75592 [startup+160.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13773 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 18130 0 0 0 15952 48 0 0 25 0 1 0 894566991 77406208 18047 4294967295 134512640 134716908 3221224576 3221222960 134542347 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18898 18047 1111 63 0 18835 0 vsize: 75592 [startup+170.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13773 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 18130 0 0 0 16952 48 0 0 25 0 1 0 894566991 77406208 18047 4294967295 134512640 134716908 3221224576 3221223080 134543652 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18898 18047 1111 63 0 18835 0 vsize: 75592 [startup+180.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13773 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 18130 0 0 0 17952 48 0 0 25 0 1 0 894566991 77406208 18047 4294967295 134512640 134716908 3221224576 3221223192 134543804 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18898 18047 1111 63 0 18835 0 vsize: 75592 [startup+190.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13773 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 18130 0 0 0 18952 48 0 0 25 0 1 0 894566991 77406208 18047 4294967295 134512640 134716908 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18898 18047 1111 63 0 18835 0 vsize: 75592 [startup+200.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13773 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 18130 0 0 0 19953 48 0 0 25 0 1 0 894566991 77406208 18047 4294967295 134512640 134716908 3221224576 3221223240 134627211 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18898 18047 1111 63 0 18835 0 vsize: 75592 [startup+210.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13773 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 18130 0 0 0 20953 48 0 0 25 0 1 0 894566991 77406208 18047 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18898 18047 1111 63 0 18835 0 vsize: 75592 [startup+220.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13773 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 18130 0 0 0 21953 48 0 0 25 0 1 0 894566991 77406208 18047 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18898 18047 1111 63 0 18835 0 vsize: 75592 [startup+230.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13773 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 18130 0 0 0 22953 48 0 0 25 0 1 0 894566991 77406208 18047 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18898 18047 1111 63 0 18835 0 vsize: 75592 [startup+240.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13773 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 18130 0 0 0 23953 48 0 0 25 0 1 0 894566991 77406208 18047 4294967295 134512640 134716908 3221224576 3221223240 134627211 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18898 18047 1111 63 0 18835 0 vsize: 75592 [startup+250.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13773 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 18130 0 0 0 24954 48 0 0 25 0 1 0 894566991 77406208 18047 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18898 18047 1111 63 0 18835 0 vsize: 75592 [startup+260.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13773 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 18131 0 0 0 25954 48 0 0 25 0 1 0 894566991 77406208 18048 4294967295 134512640 134716908 3221224576 3221223364 134622899 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18898 18048 1111 63 0 18835 0 vsize: 75592 [startup+270.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13773 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 18131 0 0 0 26954 48 0 0 25 0 1 0 894566991 77406208 18048 4294967295 134512640 134716908 3221224576 3221223376 134622759 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18898 18048 1111 63 0 18835 0 vsize: 75592 [startup+280.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13773 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 18159 0 0 0 27954 48 0 0 25 0 1 0 894566991 77750272 18076 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18982 18076 1111 63 0 18919 0 vsize: 75928 [startup+290.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13773 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 18273 0 0 0 28952 49 0 0 25 0 1 0 894566991 78196736 18190 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19091 18190 1111 63 0 19028 0 vsize: 76364 [startup+300.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13773 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 18295 0 0 0 29952 50 0 0 25 0 1 0 894566991 78278656 18212 4294967295 134512640 134716908 3221224576 3221222832 1074153760 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19111 18212 1111 63 0 19048 0 vsize: 76444 [startup+310.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13773 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 18313 0 0 0 30951 51 0 0 25 0 1 0 894566991 78348288 18230 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19128 18230 1111 63 0 19065 0 vsize: 76512 [startup+320.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13773 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 18415 0 0 0 31949 53 0 0 25 0 1 0 894566991 78757888 18332 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19228 18332 1111 63 0 19165 0 vsize: 76912 [startup+330.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13773 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 18437 0 0 0 32949 54 0 0 25 0 1 0 894566991 78843904 18354 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19249 18354 1111 63 0 19186 0 vsize: 76996 [startup+340.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13773 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 18456 0 0 0 33949 54 0 0 25 0 1 0 894566991 78917632 18373 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19267 18373 1111 63 0 19204 0 vsize: 77068 [startup+350.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13773 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 18475 0 0 0 34948 55 0 0 25 0 1 0 894566991 78991360 18392 4294967295 134512640 134716908 3221224576 3221222832 1074153760 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19285 18392 1111 63 0 19222 0 vsize: 77140 [startup+360.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13773 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 18494 0 0 0 35947 56 0 0 25 0 1 0 894566991 79065088 18411 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19303 18411 1111 63 0 19240 0 vsize: 77212 [startup+370.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13773 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 18513 0 0 0 36947 57 0 0 25 0 1 0 894566991 79138816 18430 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19321 18430 1111 63 0 19258 0 vsize: 77284 [startup+380.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13773 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 18529 0 0 0 37947 57 0 0 25 0 1 0 894566991 79200256 18446 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19336 18446 1111 63 0 19273 0 vsize: 77344 [startup+390.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13773 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 18547 0 0 0 38946 57 0 0 25 0 1 0 894566991 79269888 18464 4294967295 134512640 134716908 3221224576 3221222480 1077814665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19353 18464 1111 63 0 19290 0 vsize: 77412 [startup+400.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13773 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 18562 0 0 0 39946 58 0 0 25 0 1 0 894566991 79331328 18479 4294967295 134512640 134716908 3221224576 3221222464 1077814665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19368 18479 1111 63 0 19305 0 vsize: 77472 [startup+410.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13773 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 18579 0 0 0 40945 59 0 0 25 0 1 0 894566991 79396864 18496 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19384 18496 1111 63 0 19321 0 vsize: 77536 [startup+420.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13773 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 18595 0 0 0 41945 59 0 0 25 0 1 0 894566991 79458304 18512 4294967295 134512640 134716908 3221224576 3221222768 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19399 18512 1111 63 0 19336 0 vsize: 77596 [startup+430.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13773 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 18616 0 0 0 42945 59 0 0 25 0 1 0 894566991 79540224 18533 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19419 18533 1111 63 0 19356 0 vsize: 77676 [startup+440.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13773 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 18634 0 0 0 43945 60 0 0 25 0 1 0 894566991 79613952 18551 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19437 18551 1111 63 0 19374 0 vsize: 77748 [startup+450.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13773 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 18650 0 0 0 44944 60 0 0 25 0 1 0 894566991 79675392 18567 4294967295 134512640 134716908 3221224576 3221222464 1077814665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19452 18567 1111 63 0 19389 0 vsize: 77808 [startup+460.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13773 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 18797 0 0 0 45944 61 0 0 25 0 1 0 894566991 80273408 18714 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19598 18714 1111 63 0 19535 0 vsize: 78392 [startup+470.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13773 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 18810 0 0 0 46943 62 0 0 25 0 1 0 894566991 80326656 18727 4294967295 134512640 134716908 3221224576 3221222784 1074153779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19611 18727 1111 63 0 19548 0 vsize: 78444 [startup+480.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13773 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 18826 0 0 0 47943 63 0 0 25 0 1 0 894566991 80388096 18743 4294967295 134512640 134716908 3221224576 3221222736 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19626 18743 1111 63 0 19563 0 vsize: 78504 [startup+490.02 s] Raw data (loadavg): 1.07 0.99 0.91 2/56 13821 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 18839 0 0 0 48942 63 0 0 25 0 1 0 894566991 80437248 18756 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19638 18756 1111 63 0 19575 0 vsize: 78552 [startup+500.021 s] Raw data (loadavg): 1.06 0.99 0.91 2/54 13826 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 24136 0 0 0 49930 76 0 0 25 0 1 0 894566991 102334464 22049 4294967295 134512640 134716908 3221224576 3221220720 1075115715 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24984 22049 1111 63 0 24921 0 vsize: 99936 [startup+510.021 s] Raw data (loadavg): 1.05 0.99 0.91 2/54 13826 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 24331 0 0 0 50930 76 0 0 25 0 1 0 894566991 102334464 22244 4294967295 134512640 134716908 3221224576 3221220688 1074815276 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24984 22244 1111 63 0 24921 0 vsize: 99936 [startup+520.021 s] Raw data (loadavg): 1.04 0.99 0.91 2/54 13826 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 25382 0 0 0 51927 79 0 0 25 0 1 0 894566991 104562688 23295 4294967295 134512640 134716908 3221224576 3221220640 1075093367 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25528 23295 1111 63 0 25465 0 vsize: 102112 [startup+530.022 s] Raw data (loadavg): 1.04 0.99 0.91 2/54 13826 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 25590 0 0 0 52926 80 0 0 25 0 1 0 894566991 100110336 22500 4294967295 134512640 134716908 3221224576 3221220440 1075964778 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24441 22500 1111 63 0 24378 0 vsize: 97764 [startup+540.023 s] Raw data (loadavg): 1.10 1.00 0.92 2/54 13826 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 25600 0 0 0 53926 81 0 0 25 0 1 0 894566991 100110336 22510 4294967295 134512640 134716908 3221224576 3221220708 1075115039 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24441 22510 1111 63 0 24378 0 vsize: 97764 [startup+550.023 s] Raw data (loadavg): 1.09 1.00 0.92 2/54 13826 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 25673 0 0 0 54925 82 0 0 25 0 1 0 894566991 100556800 22583 4294967295 134512640 134716908 3221224576 3221220364 1074788953 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24550 22583 1111 63 0 24487 0 vsize: 98200 [startup+560.023 s] Raw data (loadavg): 1.07 1.00 0.92 2/54 13828 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 25683 0 0 0 55925 82 0 0 25 0 1 0 894566991 100556800 22593 4294967295 134512640 134716908 3221224576 3221220624 1074969458 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24550 22593 1111 63 0 24487 0 vsize: 98200 [startup+570.023 s] Raw data (loadavg): 1.06 1.00 0.92 2/54 13828 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 25692 0 0 0 56925 82 0 0 25 0 1 0 894566991 100556800 22602 4294967295 134512640 134716908 3221224576 3221220864 1074974012 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24550 22602 1111 63 0 24487 0 vsize: 98200 [startup+580.024 s] Raw data (loadavg): 1.05 1.00 0.92 2/54 13828 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 25761 0 0 0 57924 83 0 0 25 0 1 0 894566991 101027840 22671 4294967295 134512640 134716908 3221224576 3221220704 1075895656 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24665 22671 1111 63 0 24602 0 vsize: 98660 [startup+590.024 s] Raw data (loadavg): 1.04 1.00 0.92 2/54 13828 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 25769 0 0 0 58924 84 0 0 25 0 1 0 894566991 101027840 22679 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24665 22679 1111 63 0 24602 0 vsize: 98660 [startup+600.024 s] Raw data (loadavg): 1.04 1.00 0.92 2/54 13828 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 25778 0 0 0 59924 84 0 0 25 0 1 0 894566991 101027840 22688 4294967295 134512640 134716908 3221224576 3221220624 1074969467 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24665 22688 1111 63 0 24602 0 vsize: 98660 [startup+610.025 s] Raw data (loadavg): 1.03 1.00 0.92 2/54 13828 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 25866 0 0 0 60923 85 0 0 25 0 1 0 894566991 101519360 22776 4294967295 134512640 134716908 3221224576 3221221520 1075971413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24785 22776 1111 63 0 24722 0 vsize: 99140 [startup+620.025 s] Raw data (loadavg): 1.02 1.00 0.92 2/54 13828 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 25878 0 0 0 61923 85 0 0 25 0 1 0 894566991 101519360 22788 4294967295 134512640 134716908 3221224576 3221221136 1075969168 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24785 22788 1111 63 0 24722 0 vsize: 99140 [startup+630.026 s] Raw data (loadavg): 1.02 1.00 0.92 2/54 13828 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 25887 0 0 0 62923 85 0 0 25 0 1 0 894566991 101519360 22797 4294967295 134512640 134716908 3221224576 3221220752 1074961138 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24785 22797 1111 63 0 24722 0 vsize: 99140 [startup+640.026 s] Raw data (loadavg): 1.02 1.00 0.92 2/54 13828 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 25969 0 0 0 63923 86 0 0 25 0 1 0 894566991 102031360 22879 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24910 22879 1111 63 0 24847 0 vsize: 99640 [startup+650.026 s] Raw data (loadavg): 1.01 1.00 0.92 2/54 13828 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 25980 0 0 0 64923 86 0 0 25 0 1 0 894566991 102031360 22890 4294967295 134512640 134716908 3221224576 3221220688 1074815253 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24910 22890 1111 63 0 24847 0 vsize: 99640 [startup+660.027 s] Raw data (loadavg): 1.08 1.02 0.93 2/54 13828 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 25986 0 0 0 65923 86 0 0 25 0 1 0 894566991 102031360 22896 4294967295 134512640 134716908 3221224576 3221220492 1074788950 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24910 22896 1111 63 0 24847 0 vsize: 99640 [startup+670.026 s] Raw data (loadavg): 1.07 1.02 0.93 2/54 13828 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 26073 0 0 0 66923 86 0 0 25 0 1 0 894566991 102572032 22983 4294967295 134512640 134716908 3221224576 3221221552 1074867274 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25042 22983 1111 63 0 24979 0 vsize: 100168 [startup+680.027 s] Raw data (loadavg): 1.06 1.01 0.93 2/54 13828 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 26077 0 0 0 67922 87 0 0 25 0 1 0 894566991 102572032 22987 4294967295 134512640 134716908 3221224576 3221220688 1074815265 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25042 22987 1111 63 0 24979 0 vsize: 100168 [startup+690.027 s] Raw data (loadavg): 1.05 1.01 0.93 2/54 13828 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 26147 0 0 0 68922 88 0 0 25 0 1 0 894566991 103141376 23057 4294967295 134512640 134716908 3221224576 3221220752 1074961304 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25181 23057 1111 63 0 25118 0 vsize: 100724 [startup+700.026 s] Raw data (loadavg): 1.04 1.01 0.93 2/54 13828 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 26178 0 0 0 69922 88 0 0 25 0 1 0 894566991 103141376 23088 4294967295 134512640 134716908 3221224576 3221220624 1074969486 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25181 23088 1111 63 0 25118 0 vsize: 100724 [startup+710.027 s] Raw data (loadavg): 1.04 1.01 0.93 2/54 13828 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 26181 0 0 0 70921 89 0 0 25 0 1 0 894566991 103141376 23091 4294967295 134512640 134716908 3221224576 3221220752 1074961304 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25181 23091 1111 63 0 25118 0 vsize: 100724 [startup+720.028 s] Raw data (loadavg): 1.03 1.01 0.93 2/54 13828 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 26191 0 0 0 71921 89 0 0 25 0 1 0 894566991 103141376 23101 4294967295 134512640 134716908 3221224576 3221220364 1074788950 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25181 23101 1111 63 0 25118 0 vsize: 100724 [startup+730.028 s] Raw data (loadavg): 1.02 1.01 0.93 2/54 13828 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 26194 0 0 0 72921 89 0 0 25 0 1 0 894566991 103141376 23104 4294967295 134512640 134716908 3221224576 3221220708 1075115065 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25181 23104 1111 63 0 25118 0 vsize: 100724 [startup+740.028 s] Raw data (loadavg): 1.02 1.01 0.93 2/54 13828 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 26198 0 0 0 73921 90 0 0 25 0 1 0 894566991 103141376 23108 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25181 23108 1111 63 0 25118 0 vsize: 100724 [startup+750.028 s] Raw data (loadavg): 1.02 1.01 0.93 2/54 13828 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 26198 0 0 0 74921 90 0 0 25 0 1 0 894566991 103141376 23108 4294967295 134512640 134716908 3221224576 3221220472 1075964737 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25181 23108 1111 63 0 25118 0 vsize: 100724 [startup+760.028 s] Raw data (loadavg): 1.01 1.01 0.93 2/54 13828 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 26201 0 0 0 75921 90 0 0 25 0 1 0 894566991 103141376 23111 4294967295 134512640 134716908 3221224576 3221220640 1074883551 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25181 23111 1111 63 0 25118 0 vsize: 100724 [startup+770.028 s] Raw data (loadavg): 1.01 1.01 0.93 2/54 13828 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 26201 0 0 0 76921 90 0 0 25 0 1 0 894566991 103141376 23111 4294967295 134512640 134716908 3221224576 3221220544 1075084533 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25181 23111 1111 63 0 25118 0 vsize: 100724 [startup+780.029 s] Raw data (loadavg): 1.01 1.00 0.93 2/54 13828 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 26228 0 0 0 77920 91 0 0 25 0 1 0 894566991 103141376 23138 4294967295 134512640 134716908 3221224576 3221220364 1074788964 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25181 23138 1111 63 0 25118 0 vsize: 100724 [startup+790.029 s] Raw data (loadavg): 1.01 1.00 0.93 2/54 13828 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 26228 0 0 0 78920 91 0 0 25 0 1 0 894566991 103141376 23138 4294967295 134512640 134716908 3221224576 3221221312 1075115388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25181 23138 1111 63 0 25118 0 vsize: 100724 [startup+800.029 s] Raw data (loadavg): 1.01 1.00 0.93 2/54 13828 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 26229 0 0 0 79920 92 0 0 25 0 1 0 894566991 103141376 23139 4294967295 134512640 134716908 3221224576 3221220472 1075964778 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25181 23139 1111 63 0 25118 0 vsize: 100724 [startup+810.029 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13828 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 26230 0 0 0 80920 92 0 0 25 0 1 0 894566991 103141376 23140 4294967295 134512640 134716908 3221224576 3221220364 1074788950 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25181 23140 1111 63 0 25118 0 vsize: 100724 [startup+820.029 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13828 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 26238 0 0 0 81919 93 0 0 25 0 1 0 894566991 103141376 23148 4294967295 134512640 134716908 3221224576 3221220492 1074788950 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25181 23148 1111 63 0 25118 0 vsize: 100724 [startup+830.03 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13830 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 26238 0 0 0 82919 93 0 0 25 0 1 0 894566991 103141376 23148 4294967295 134512640 134716908 3221224576 3221220708 1075115039 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25181 23148 1111 63 0 25118 0 vsize: 100724 [startup+840.03 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13830 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 26238 0 0 0 83919 93 0 0 25 0 1 0 894566991 103141376 23148 4294967295 134512640 134716908 3221224576 3221220708 1075115046 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25181 23148 1111 63 0 25118 0 vsize: 100724 [startup+850.031 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13830 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 26238 0 0 0 84919 93 0 0 25 0 1 0 894566991 103141376 23148 4294967295 134512640 134716908 3221224576 3221220356 1074786588 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25181 23148 1111 63 0 25118 0 vsize: 100724 [startup+860.031 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13830 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 26238 0 0 0 85919 94 0 0 25 0 1 0 894566991 103141376 23148 4294967295 134512640 134716908 3221224576 3221220364 1074788950 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25181 23148 1111 63 0 25118 0 vsize: 100724 [startup+870.031 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13830 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 26238 0 0 0 86919 94 0 0 25 0 1 0 894566991 103141376 23148 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25181 23148 1111 63 0 25118 0 vsize: 100724 [startup+880.032 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13830 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 26240 0 0 0 87919 95 0 0 25 0 1 0 894566991 103141376 23150 4294967295 134512640 134716908 3221224576 3221220688 1074815253 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25181 23150 1111 63 0 25118 0 vsize: 100724 [startup+890.032 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13830 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 26240 0 0 0 88919 95 0 0 25 0 1 0 894566991 103141376 23150 4294967295 134512640 134716908 3221224576 3221220544 1075084533 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25181 23150 1111 63 0 25118 0 vsize: 100724 [startup+900.033 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13830 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 26240 0 0 0 89919 95 0 0 25 0 1 0 894566991 103141376 23150 4294967295 134512640 134716908 3221224576 3221220492 1074788959 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25181 23150 1111 63 0 25118 0 vsize: 100724 [startup+910.033 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13830 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 26240 0 0 0 90919 95 0 0 25 0 1 0 894566991 103141376 23150 4294967295 134512640 134716908 3221224576 3221220708 1075115039 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25181 23150 1111 63 0 25118 0 vsize: 100724 [startup+920.033 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13830 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 26240 0 0 0 91918 96 0 0 25 0 1 0 894566991 103141376 23150 4294967295 134512640 134716908 3221224576 3221220472 1075964740 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25181 23150 1111 63 0 25118 0 vsize: 100724 [startup+930.034 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13830 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 26240 0 0 0 92918 96 0 0 25 0 1 0 894566991 103141376 23150 4294967295 134512640 134716908 3221224576 3221220708 1075115046 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25181 23150 1111 63 0 25118 0 vsize: 100724 [startup+940.034 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13830 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 26240 0 0 0 93918 96 0 0 25 0 1 0 894566991 103141376 23150 4294967295 134512640 134716908 3221224576 3221220364 1074788953 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25181 23150 1111 63 0 25118 0 vsize: 100724 [startup+950.034 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13830 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 26240 0 0 0 94918 97 0 0 25 0 1 0 894566991 103141376 23150 4294967295 134512640 134716908 3221224576 3221220580 1075964278 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25181 23150 1111 63 0 25118 0 vsize: 100724 [startup+960.035 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13830 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 26240 0 0 0 95918 97 0 0 25 0 1 0 894566991 103141376 23150 4294967295 134512640 134716908 3221224576 3221220688 1074815211 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25181 23150 1111 63 0 25118 0 vsize: 100724 [startup+970.035 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13830 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 26240 0 0 0 96918 97 0 0 25 0 1 0 894566991 103141376 23150 4294967295 134512640 134716908 3221224576 3221220640 1075095094 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25181 23150 1111 63 0 25118 0 vsize: 100724 [startup+980.036 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13830 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 26240 0 0 0 97917 98 0 0 25 0 1 0 894566991 103141376 23150 4294967295 134512640 134716908 3221224576 3221220720 1075115715 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25181 23150 1111 63 0 25118 0 vsize: 100724 [startup+990.037 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13830 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 26297 0 0 0 98917 98 0 0 25 0 1 0 894566991 103735296 23205 4294967295 134512640 134716908 3221224576 3221220752 1074960912 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25326 23205 1111 63 0 25263 0 vsize: 101304 [startup+1000.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13830 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 26436 0 0 0 99917 99 0 0 25 0 1 0 894566991 104357888 23344 4294967295 134512640 134716908 3221224576 3221220640 1075094801 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25478 23344 1111 63 0 25415 0 vsize: 101912 [startup+1010.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13830 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 26457 0 0 0 100917 99 0 0 25 0 1 0 894566991 104357888 23365 4294967295 134512640 134716908 3221224576 3221220416 1075965246 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25478 23365 1111 63 0 25415 0 vsize: 101912 [startup+1020.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13830 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 26571 0 0 0 101917 99 0 0 25 0 1 0 894566991 105025536 23479 4294967295 134512640 134716908 3221224576 3221220812 1076111476 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25641 23479 1111 63 0 25578 0 vsize: 102564 [startup+1030.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13830 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 26575 0 0 0 102917 100 0 0 25 0 1 0 894566991 105025536 23483 4294967295 134512640 134716908 3221224576 3221220708 1075115046 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25641 23483 1111 63 0 25578 0 vsize: 102564 [startup+1040.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13830 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 26575 0 0 0 103916 100 0 0 25 0 1 0 894566991 105025536 23483 4294967295 134512640 134716908 3221224576 3221220640 1075095094 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25641 23483 1111 63 0 25578 0 vsize: 102564 [startup+1050.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13830 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 26576 0 0 0 104916 101 0 0 25 0 1 0 894566991 105025536 23484 4294967295 134512640 134716908 3221224576 3221220812 1076111476 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25641 23484 1111 63 0 25578 0 vsize: 102564 [startup+1060.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13830 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 26578 0 0 0 105916 101 0 0 25 0 1 0 894566991 105025536 23486 4294967295 134512640 134716908 3221224576 3221220920 1077410205 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25641 23486 1111 63 0 25578 0 vsize: 102564 [startup+1070.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13830 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 26582 0 0 0 106916 101 0 0 25 0 1 0 894566991 105025536 23490 4294967295 134512640 134716908 3221224576 3221220920 1077410205 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25641 23490 1111 63 0 25578 0 vsize: 102564 [startup+1080.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13830 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 26583 0 0 0 107916 101 0 0 25 0 1 0 894566991 105025536 23491 4294967295 134512640 134716908 3221224576 3221221552 1074867305 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25641 23491 1111 63 0 25578 0 vsize: 102564 [startup+1090.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13830 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 26652 0 0 0 108916 102 0 0 25 0 1 0 894566991 105713664 23560 4294967295 134512640 134716908 3221224576 3221220492 1074788950 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25809 23560 1111 63 0 25746 0 vsize: 103236 [startup+1100.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13830 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 26700 0 0 0 109916 102 0 0 25 0 1 0 894566991 105713664 23608 4294967295 134512640 134716908 3221224576 3221220492 1074788950 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25809 23608 1111 63 0 25746 0 vsize: 103236 [startup+1110.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13830 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 26706 0 0 0 110916 102 0 0 25 0 1 0 894566991 105713664 23614 4294967295 134512640 134716908 3221224576 3221220492 1074788953 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25809 23614 1111 63 0 25746 0 vsize: 103236 [startup+1120.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13830 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 26713 0 0 0 111916 102 0 0 25 0 1 0 894566991 105713664 23621 4294967295 134512640 134716908 3221224576 3221220728 1077410163 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25809 23621 1111 63 0 25746 0 vsize: 103236 [startup+1130.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13830 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 26718 0 0 0 112915 102 0 0 25 0 1 0 894566991 105713664 23626 4294967295 134512640 134716908 3221224576 3221220364 1074788959 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25809 23626 1111 63 0 25746 0 vsize: 103236 [startup+1140.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13830 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 26719 0 0 0 113915 102 0 0 25 0 1 0 894566991 105713664 23627 4294967295 134512640 134716908 3221224576 3221220356 1074786543 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25809 23627 1111 63 0 25746 0 vsize: 103236 [startup+1150.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13830 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 26725 0 0 0 114916 102 0 0 25 0 1 0 894566991 105713664 23633 4294967295 134512640 134716908 3221224576 3221221552 1074867308 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25809 23633 1111 63 0 25746 0 vsize: 103236 [startup+1160.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13830 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 26830 0 0 0 115915 103 0 0 25 0 1 0 894566991 106434560 23738 4294967295 134512640 134716908 3221224576 3221220708 1075115039 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25985 23738 1111 63 0 25922 0 vsize: 103940 [startup+1170.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13830 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 26876 0 0 0 116915 103 0 0 25 0 1 0 894566991 106434560 23784 4294967295 134512640 134716908 3221224576 3221220492 1074788959 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25985 23784 1111 63 0 25922 0 vsize: 103940 [startup+1180.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13830 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 26876 0 0 0 117916 103 0 0 25 0 1 0 894566991 106434560 23784 4294967295 134512640 134716908 3221224576 3221220364 1074788964 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25985 23784 1111 63 0 25922 0 vsize: 103940 [startup+1190.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13830 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 26881 0 0 0 118916 103 0 0 25 0 1 0 894566991 106434560 23789 4294967295 134512640 134716908 3221224576 3221220708 1075115051 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25985 23789 1111 63 0 25922 0 vsize: 103940 [startup+1200.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13830 Raw data (stat): 13773 (bsolo_lpr-v2) R 13772 20224 20223 0 -1 0 26885 0 0 0 119916 103 0 0 25 0 1 0 894566991 106434560 23793 4294967295 134512640 134716908 3221224576 3221220492 1074788959 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25985 23793 1111 63 0 25922 0 vsize: 103940 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.09 s] Raw data (loadavg): 1.00 1.00 0.93 1/54 13830 Raw data (stat): 13773 (bsolo_lpr-v2) Z 13772 20224 20223 0 -1 1036 26885 0 0 0 119916 107 0 0 25 0 1 0 894566991 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.09 CPU time (s): 1200.25 CPU user time (s): 1199.17 CPU system time (s): 1.07883 CPU usage (%): 100.013 Max. virtual memory (Kb): 103940 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####