Name | normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-4.opb |
MD5SUM | b85a90571dde4fe12541342d5605d680 |
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.1 |
Number of variables | 1150 |
Total number of constraints | 80258 |
Number of constraints which are clauses | 80258 |
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-09 00:33:48 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=28951 boxname=wulflinc4 idbench=337 idsolver=21 numberseed=0 MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2 MD5SUM BENCH: b85a90571dde4fe12541342d5605d680 /oldhome/oroussel/tmp/wulflinc4/normalized-frb50-23-4.opb REAL COMMAND: bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-frb50-23-4.opb IDLAUNCH: 28951 /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: 918084 kB Buffers: 25632 kB Cached: 69060 kB SwapCached: 1188 kB Active: 26780 kB Inactive: 70228 kB HighTotal: 131008 kB HighFree: 60928 kB LowTotal: 903652 kB LowFree: 857156 kB SwapTotal: 2097136 kB SwapFree: 2094880 kB Dirty: 28 kB Writeback: 0 kB Mapped: 4908 kB Slab: 13756 kB Committed_AS: 71796 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-09 00:53:50 (client local time) WITH STATUS 0 IN 1200.3 SECONDS stats: 28951 7 1200.3 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 1150 variables and 80258 constraints. c After prepocess the problem consists of 1150 variables and 55225 constraints. c preprocess terminated 560.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.91 0.95 0.90 2/54 6832 Raw data (stat): 6832 (runsolver) R 6831 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 905978558 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.0011 s] Raw data (loadavg): 0.93 0.95 0.90 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 22460 0 0 0 943 54 0 0 25 0 1 0 905978558 95133696 22376 4294967295 134512640 134716908 3221224576 3221222956 1077379924 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 23226 22376 1111 63 0 23163 0 vsize: 92904 [startup+20.0022 s] Raw data (loadavg): 0.94 0.96 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 27767 0 0 0 1932 65 0 0 25 0 1 0 905978558 113422336 26854 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27691 26854 1111 63 0 27628 0 vsize: 110764 [startup+30.0028 s] Raw data (loadavg): 0.95 0.96 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 27767 0 0 0 2932 65 0 0 25 0 1 0 905978558 113422336 26854 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27691 26854 1111 63 0 27628 0 vsize: 110764 [startup+40.0026 s] Raw data (loadavg): 0.95 0.96 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 30252 0 0 0 3928 70 0 0 25 0 1 0 905978558 122916864 29162 4294967295 134512640 134716908 3221224576 3221223328 134630811 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30009 29162 1111 63 0 29946 0 vsize: 120036 [startup+50.0031 s] Raw data (loadavg): 0.96 0.96 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 30252 0 0 0 4928 70 0 0 25 0 1 0 905978558 122916864 29162 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30009 29162 1111 63 0 29946 0 vsize: 120036 [startup+60.0033 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 30252 0 0 0 5928 70 0 0 25 0 1 0 905978558 122916864 29162 4294967295 134512640 134716908 3221224576 3221223136 134535757 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30009 29162 1111 63 0 29946 0 vsize: 120036 [startup+70.0032 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 30252 0 0 0 6928 70 0 0 25 0 1 0 905978558 122916864 29162 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30009 29162 1111 63 0 29946 0 vsize: 120036 [startup+80.0043 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 30252 0 0 0 7928 70 0 0 25 0 1 0 905978558 122916864 29162 4294967295 134512640 134716908 3221224576 3221223056 134539374 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30009 29162 1111 63 0 29946 0 vsize: 120036 [startup+90.0049 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 30252 0 0 0 8929 70 0 0 25 0 1 0 905978558 122916864 29162 4294967295 134512640 134716908 3221224576 3221223164 134535506 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30009 29162 1111 63 0 29946 0 vsize: 120036 [startup+100.005 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 30252 0 0 0 9929 70 0 0 25 0 1 0 905978558 122916864 29162 4294967295 134512640 134716908 3221224576 3221223152 134535745 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30009 29162 1111 63 0 29946 0 vsize: 120036 [startup+110.031 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 30252 0 0 0 10931 70 0 0 25 0 1 0 905978558 122916864 29162 4294967295 134512640 134716908 3221224576 3221222992 134543684 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30009 29162 1111 63 0 29946 0 vsize: 120036 [startup+120.043 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 30252 0 0 0 11933 70 0 0 25 0 1 0 905978558 122916864 29162 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30009 29162 1111 63 0 29946 0 vsize: 120036 [startup+130.044 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 30252 0 0 0 12933 70 0 0 25 0 1 0 905978558 122916864 29162 4294967295 134512640 134716908 3221224576 3221223192 134543804 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30009 29162 1111 63 0 29946 0 vsize: 120036 [startup+140.045 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 30252 0 0 0 13933 70 0 0 25 0 1 0 905978558 122916864 29162 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30009 29162 1111 63 0 29946 0 vsize: 120036 [startup+150.045 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 30252 0 0 0 14933 70 0 0 25 0 1 0 905978558 122916864 29162 4294967295 134512640 134716908 3221224576 3221223140 134535756 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30009 29162 1111 63 0 29946 0 vsize: 120036 [startup+160.046 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 30252 0 0 0 15934 70 0 0 25 0 1 0 905978558 122916864 29162 4294967295 134512640 134716908 3221224576 3221223192 134536921 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30009 29162 1111 63 0 29946 0 vsize: 120036 [startup+170.046 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 30252 0 0 0 16934 70 0 0 25 0 1 0 905978558 122916864 29162 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30009 29162 1111 63 0 29946 0 vsize: 120036 [startup+180.047 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 30252 0 0 0 17934 70 0 0 25 0 1 0 905978558 122916864 29162 4294967295 134512640 134716908 3221224576 3221222940 134539230 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30009 29162 1111 63 0 29946 0 vsize: 120036 [startup+190.048 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 30252 0 0 0 18934 70 0 0 25 0 1 0 905978558 122916864 29162 4294967295 134512640 134716908 3221224576 3221222984 134543606 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30009 29162 1111 63 0 29946 0 vsize: 120036 [startup+200.048 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 30252 0 0 0 19934 70 0 0 25 0 1 0 905978558 122916864 29162 4294967295 134512640 134716908 3221224576 3221223192 134543785 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30009 29162 1111 63 0 29946 0 vsize: 120036 [startup+210.048 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 30252 0 0 0 20935 70 0 0 25 0 1 0 905978558 122916864 29162 4294967295 134512640 134716908 3221224576 3221223056 134539462 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30009 29162 1111 63 0 29946 0 vsize: 120036 [startup+220.048 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 30252 0 0 0 21935 70 0 0 25 0 1 0 905978558 122916864 29162 4294967295 134512640 134716908 3221224576 3221222968 134542370 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30009 29162 1111 63 0 29946 0 vsize: 120036 [startup+230.049 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 30252 0 0 0 22935 70 0 0 25 0 1 0 905978558 122916864 29162 4294967295 134512640 134716908 3221224576 3221223068 134542288 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30009 29162 1111 63 0 29946 0 vsize: 120036 [startup+240.049 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 30252 0 0 0 23935 70 0 0 25 0 1 0 905978558 122916864 29162 4294967295 134512640 134716908 3221224576 3221223192 134543796 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30009 29162 1111 63 0 29946 0 vsize: 120036 [startup+250.049 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 30252 0 0 0 24935 70 0 0 25 0 1 0 905978558 122916864 29162 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30009 29162 1111 63 0 29946 0 vsize: 120036 [startup+260.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 30252 0 0 0 25936 70 0 0 25 0 1 0 905978558 122916864 29162 4294967295 134512640 134716908 3221224576 3221223216 134594970 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30009 29162 1111 63 0 29946 0 vsize: 120036 [startup+270.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 30252 0 0 0 26936 70 0 0 25 0 1 0 905978558 122916864 29162 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30009 29162 1111 63 0 29946 0 vsize: 120036 [startup+280.049 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 30252 0 0 0 27936 70 0 0 25 0 1 0 905978558 122916864 29162 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30009 29162 1111 63 0 29946 0 vsize: 120036 [startup+290.051 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 30252 0 0 0 28936 70 0 0 25 0 1 0 905978558 122916864 29162 4294967295 134512640 134716908 3221224576 3221222988 134543616 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30009 29162 1111 63 0 29946 0 vsize: 120036 [startup+300.051 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 30252 0 0 0 29936 70 0 0 25 0 1 0 905978558 122916864 29162 4294967295 134512640 134716908 3221224576 3221223192 134543804 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30009 29162 1111 63 0 29946 0 vsize: 120036 [startup+310.052 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 30252 0 0 0 30937 70 0 0 25 0 1 0 905978558 122916864 29162 4294967295 134512640 134716908 3221224576 3221223192 134543796 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30009 29162 1111 63 0 29946 0 vsize: 120036 [startup+320.053 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 30252 0 0 0 31937 70 0 0 25 0 1 0 905978558 122916864 29162 4294967295 134512640 134716908 3221224576 3221222972 134543615 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30009 29162 1111 63 0 29946 0 vsize: 120036 [startup+330.054 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 30252 0 0 0 32937 70 0 0 25 0 1 0 905978558 122916864 29162 4294967295 134512640 134716908 3221224576 3221222960 134542368 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30009 29162 1111 63 0 29946 0 vsize: 120036 [startup+340.054 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 30252 0 0 0 33937 70 0 0 25 0 1 0 905978558 122916864 29162 4294967295 134512640 134716908 3221224576 3221222972 134543588 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30009 29162 1111 63 0 29946 0 vsize: 120036 [startup+350.054 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 30252 0 0 0 34937 70 0 0 25 0 1 0 905978558 122916864 29162 4294967295 134512640 134716908 3221224576 3221222940 134539237 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30009 29162 1111 63 0 29946 0 vsize: 120036 [startup+360.056 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 30252 0 0 0 35938 70 0 0 25 0 1 0 905978558 122916864 29162 4294967295 134512640 134716908 3221224576 3221222960 134542365 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30009 29162 1111 63 0 29946 0 vsize: 120036 [startup+370.056 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 30252 0 0 0 36938 70 0 0 25 0 1 0 905978558 122916864 29162 4294967295 134512640 134716908 3221224576 3221222960 134542347 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30009 29162 1111 63 0 29946 0 vsize: 120036 [startup+380.056 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 30252 0 0 0 37938 70 0 0 25 0 1 0 905978558 122916864 29162 4294967295 134512640 134716908 3221224576 3221222940 134539237 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30009 29162 1111 63 0 29946 0 vsize: 120036 [startup+390.057 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 30252 0 0 0 38938 70 0 0 25 0 1 0 905978558 122916864 29162 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30009 29162 1111 63 0 29946 0 vsize: 120036 [startup+400.057 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 30252 0 0 0 39939 70 0 0 25 0 1 0 905978558 122916864 29162 4294967295 134512640 134716908 3221224576 3221223044 134536649 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30009 29162 1111 63 0 29946 0 vsize: 120036 [startup+410.057 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 30252 0 0 0 40939 70 0 0 25 0 1 0 905978558 122916864 29162 4294967295 134512640 134716908 3221224576 3221223192 134543804 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30009 29162 1111 63 0 29946 0 vsize: 120036 [startup+420.058 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 30252 0 0 0 41939 70 0 0 25 0 1 0 905978558 122916864 29162 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30009 29162 1111 63 0 29946 0 vsize: 120036 [startup+430.057 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 30252 0 0 0 42939 70 0 0 25 0 1 0 905978558 122916864 29162 4294967295 134512640 134716908 3221224576 3221223068 134543616 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30009 29162 1111 63 0 29946 0 vsize: 120036 [startup+440.058 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 30252 0 0 0 43939 70 0 0 25 0 1 0 905978558 122916864 29162 4294967295 134512640 134716908 3221224576 3221223040 134536650 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30009 29162 1111 63 0 29946 0 vsize: 120036 [startup+450.057 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 30252 0 0 0 44939 70 0 0 25 0 1 0 905978558 122916864 29162 4294967295 134512640 134716908 3221224576 3221222940 134539237 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30009 29162 1111 63 0 29946 0 vsize: 120036 [startup+460.058 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 30252 0 0 0 45940 70 0 0 25 0 1 0 905978558 122916864 29162 4294967295 134512640 134716908 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30009 29162 1111 63 0 29946 0 vsize: 120036 [startup+470.058 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 30252 0 0 0 46940 70 0 0 25 0 1 0 905978558 122916864 29162 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30009 29162 1111 63 0 29946 0 vsize: 120036 [startup+480.058 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 30252 0 0 0 47940 70 0 0 25 0 1 0 905978558 122916864 29162 4294967295 134512640 134716908 3221224576 3221223248 134627200 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30009 29162 1111 63 0 29946 0 vsize: 120036 [startup+490.057 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 30252 0 0 0 48940 70 0 0 25 0 1 0 905978558 122916864 29162 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30009 29162 1111 63 0 29946 0 vsize: 120036 [startup+500.058 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 30252 0 0 0 49940 70 0 0 25 0 1 0 905978558 122916864 29162 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30009 29162 1111 63 0 29946 0 vsize: 120036 [startup+510.058 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 30252 0 0 0 50940 70 0 0 25 0 1 0 905978558 122916864 29162 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30009 29162 1111 63 0 29946 0 vsize: 120036 [startup+520.058 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 30252 0 0 0 51941 70 0 0 25 0 1 0 905978558 122916864 29162 4294967295 134512640 134716908 3221224576 3221223224 134558492 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30009 29162 1111 63 0 29946 0 vsize: 120036 [startup+530.059 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 30253 0 0 0 52941 70 0 0 25 0 1 0 905978558 122916864 29163 4294967295 134512640 134716908 3221224576 3221223376 134622759 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30009 29163 1111 63 0 29946 0 vsize: 120036 [startup+540.059 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 30253 0 0 0 53941 70 0 0 25 0 1 0 905978558 122916864 29163 4294967295 134512640 134716908 3221224576 3221223456 134622277 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30009 29163 1111 63 0 29946 0 vsize: 120036 [startup+550.059 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 30253 0 0 0 54941 70 0 0 25 0 1 0 905978558 122916864 29163 4294967295 134512640 134716908 3221224576 3221223456 134622268 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30009 29163 1111 63 0 29946 0 vsize: 120036 [startup+560.059 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 30253 0 0 0 55941 70 0 0 25 0 1 0 905978558 122916864 29163 4294967295 134512640 134716908 3221224576 3221223420 134543556 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30009 29163 1111 63 0 29946 0 vsize: 120036 [startup+570.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 30274 0 0 0 56941 70 0 0 25 0 1 0 905978558 122916864 29184 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30009 29184 1111 63 0 29946 0 vsize: 120036 [startup+580.059 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 30274 0 0 0 57941 70 0 0 25 0 1 0 905978558 122916864 29184 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30009 29184 1111 63 0 29946 0 vsize: 120036 [startup+590.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 30274 0 0 0 58941 70 0 0 25 0 1 0 905978558 122916864 29184 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30009 29184 1111 63 0 29946 0 vsize: 120036 [startup+600.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 30274 0 0 0 59941 70 0 0 25 0 1 0 905978558 122916864 29184 4294967295 134512640 134716908 3221224576 3221222832 1074153736 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30009 29184 1111 63 0 29946 0 vsize: 120036 [startup+610.061 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 30274 0 0 0 60942 70 0 0 25 0 1 0 905978558 122916864 29184 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30009 29184 1111 63 0 29946 0 vsize: 120036 [startup+620.061 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 30274 0 0 0 61942 70 0 0 25 0 1 0 905978558 122916864 29184 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30009 29184 1111 63 0 29946 0 vsize: 120036 [startup+630.061 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 30484 0 0 0 62941 71 0 0 25 0 1 0 905978558 123772928 29394 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30218 29394 1111 63 0 30155 0 vsize: 120872 [startup+640.061 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 30497 0 0 0 63941 72 0 0 25 0 1 0 905978558 123826176 29407 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30231 29407 1111 63 0 30168 0 vsize: 120924 [startup+650.062 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 30510 0 0 0 64940 73 0 0 25 0 1 0 905978558 123879424 29420 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30244 29420 1111 63 0 30181 0 vsize: 120976 [startup+660.062 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 30521 0 0 0 65940 73 0 0 25 0 1 0 905978558 123924480 29431 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30255 29431 1111 63 0 30192 0 vsize: 121020 [startup+670.063 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 30532 0 0 0 66939 74 0 0 25 0 1 0 905978558 123969536 29442 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30266 29442 1111 63 0 30203 0 vsize: 121064 [startup+680.063 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 30541 0 0 0 67939 75 0 0 25 0 1 0 905978558 124006400 29451 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30275 29451 1111 63 0 30212 0 vsize: 121100 [startup+690.064 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 30552 0 0 0 68939 75 0 0 25 0 1 0 905978558 124051456 29462 4294967295 134512640 134716908 3221224576 3221222864 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30286 29462 1111 63 0 30223 0 vsize: 121144 [startup+700.064 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 30561 0 0 0 69938 76 0 0 25 0 1 0 905978558 124088320 29471 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30295 29471 1111 63 0 30232 0 vsize: 121180 [startup+710.065 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 30570 0 0 0 70938 76 0 0 25 0 1 0 905978558 124125184 29480 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30304 29480 1111 63 0 30241 0 vsize: 121216 [startup+720.066 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 30581 0 0 0 71937 77 0 0 25 0 1 0 905978558 124170240 29491 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30315 29491 1111 63 0 30252 0 vsize: 121260 [startup+730.065 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 30591 0 0 0 72937 77 0 0 25 0 1 0 905978558 124211200 29501 4294967295 134512640 134716908 3221224576 3221222768 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30325 29501 1111 63 0 30262 0 vsize: 121300 [startup+740.066 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 30601 0 0 0 73937 78 0 0 25 0 1 0 905978558 124252160 29511 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30335 29511 1111 63 0 30272 0 vsize: 121340 [startup+750.066 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 30611 0 0 0 74936 79 0 0 25 0 1 0 905978558 124293120 29521 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30345 29521 1111 63 0 30282 0 vsize: 121380 [startup+760.067 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 30620 0 0 0 75936 79 0 0 25 0 1 0 905978558 124329984 29530 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30354 29530 1111 63 0 30291 0 vsize: 121416 [startup+770.067 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 30629 0 0 0 76936 79 0 0 25 0 1 0 905978558 124366848 29539 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30363 29539 1111 63 0 30300 0 vsize: 121452 [startup+780.068 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 30639 0 0 0 77936 80 0 0 25 0 1 0 905978558 124407808 29549 4294967295 134512640 134716908 3221224576 3221222864 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30373 29549 1111 63 0 30310 0 vsize: 121492 [startup+790.068 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 30833 0 0 0 78935 81 0 0 25 0 1 0 905978558 125202432 29743 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30567 29743 1111 63 0 30504 0 vsize: 122268 [startup+800.069 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 30844 0 0 0 79935 81 0 0 25 0 1 0 905978558 125247488 29754 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30578 29754 1111 63 0 30515 0 vsize: 122312 [startup+810.069 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 30856 0 0 0 80935 81 0 0 25 0 1 0 905978558 125296640 29766 4294967295 134512640 134716908 3221224576 3221222832 1074153773 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30590 29766 1111 63 0 30527 0 vsize: 122360 [startup+820.069 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 30866 0 0 0 81935 81 0 0 25 0 1 0 905978558 125337600 29776 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30600 29776 1111 63 0 30537 0 vsize: 122400 [startup+830.07 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 30878 0 0 0 82934 82 0 0 25 0 1 0 905978558 125386752 29788 4294967295 134512640 134716908 3221224576 3221222784 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30612 29788 1111 63 0 30549 0 vsize: 122448 [startup+840.07 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 30889 0 0 0 83934 82 0 0 25 0 1 0 905978558 125431808 29799 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30623 29799 1111 63 0 30560 0 vsize: 122492 [startup+850.07 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 30901 0 0 0 84934 82 0 0 25 0 1 0 905978558 125480960 29811 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30635 29811 1111 63 0 30572 0 vsize: 122540 [startup+860.07 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 30914 0 0 0 85934 83 0 0 25 0 1 0 905978558 125534208 29824 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30648 29824 1111 63 0 30585 0 vsize: 122592 [startup+870.069 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 30925 0 0 0 86934 83 0 0 25 0 1 0 905978558 125579264 29835 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30659 29835 1111 63 0 30596 0 vsize: 122636 [startup+880.069 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 30934 0 0 0 87934 83 0 0 25 0 1 0 905978558 125616128 29844 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30668 29844 1111 63 0 30605 0 vsize: 122672 [startup+890.07 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 30944 0 0 0 88934 84 0 0 25 0 1 0 905978558 125657088 29854 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30678 29854 1111 63 0 30615 0 vsize: 122712 [startup+900.07 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 30953 0 0 0 89934 84 0 0 25 0 1 0 905978558 125693952 29863 4294967295 134512640 134716908 3221224576 3221222816 1074153779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30687 29863 1111 63 0 30624 0 vsize: 122748 [startup+910.071 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 30964 0 0 0 90934 84 0 0 25 0 1 0 905978558 125739008 29874 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30698 29874 1111 63 0 30635 0 vsize: 122792 [startup+920.072 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 30974 0 0 0 91934 84 0 0 25 0 1 0 905978558 125779968 29884 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30708 29884 1111 63 0 30645 0 vsize: 122832 [startup+930.072 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 30985 0 0 0 92933 85 0 0 25 0 1 0 905978558 125825024 29895 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30719 29895 1111 63 0 30656 0 vsize: 122876 [startup+940.071 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 30994 0 0 0 93933 85 0 0 25 0 1 0 905978558 125861888 29904 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30728 29904 1111 63 0 30665 0 vsize: 122912 [startup+950.073 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 31001 0 0 0 94933 85 0 0 25 0 1 0 905978558 125890560 29911 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30735 29911 1111 63 0 30672 0 vsize: 122940 [startup+960.073 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 31012 0 0 0 95933 86 0 0 25 0 1 0 905978558 125935616 29922 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30746 29922 1111 63 0 30683 0 vsize: 122984 [startup+970.073 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 31021 0 0 0 96933 86 0 0 25 0 1 0 905978558 125972480 29931 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30755 29931 1111 63 0 30692 0 vsize: 123020 [startup+980.073 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 31030 0 0 0 97933 86 0 0 25 0 1 0 905978558 126009344 29940 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30764 29940 1111 63 0 30701 0 vsize: 123056 [startup+990.074 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 31039 0 0 0 98933 87 0 0 25 0 1 0 905978558 126046208 29949 4294967295 134512640 134716908 3221224576 3221222864 1074153792 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30773 29949 1111 63 0 30710 0 vsize: 123092 [startup+1000.07 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 31048 0 0 0 99933 87 0 0 25 0 1 0 905978558 126083072 29958 4294967295 134512640 134716908 3221224576 3221222784 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30782 29958 1111 63 0 30719 0 vsize: 123128 [startup+1010.08 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 31057 0 0 0 100933 87 0 0 25 0 1 0 905978558 126119936 29967 4294967295 134512640 134716908 3221224576 3221222864 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30791 29967 1111 63 0 30728 0 vsize: 123164 [startup+1020.08 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 31067 0 0 0 101933 88 0 0 25 0 1 0 905978558 126160896 29977 4294967295 134512640 134716908 3221224576 3221222784 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30801 29977 1111 63 0 30738 0 vsize: 123204 [startup+1030.08 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 31076 0 0 0 102932 88 0 0 25 0 1 0 905978558 126197760 29986 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30810 29986 1111 63 0 30747 0 vsize: 123240 [startup+1040.08 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 31087 0 0 0 103932 88 0 0 25 0 1 0 905978558 126242816 29997 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30821 29997 1111 63 0 30758 0 vsize: 123284 [startup+1050.08 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 31096 0 0 0 104932 89 0 0 25 0 1 0 905978558 126279680 30006 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30830 30006 1111 63 0 30767 0 vsize: 123320 [startup+1060.08 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 31105 0 0 0 105931 90 0 0 25 0 1 0 905978558 126316544 30015 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30839 30015 1111 63 0 30776 0 vsize: 123356 [startup+1070.08 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 31112 0 0 0 106931 90 0 0 25 0 1 0 905978558 126345216 30022 4294967295 134512640 134716908 3221224576 3221222736 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30846 30022 1111 63 0 30783 0 vsize: 123384 [startup+1080.08 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 31120 0 0 0 107931 90 0 0 25 0 1 0 905978558 126377984 30030 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30854 30030 1111 63 0 30791 0 vsize: 123416 [startup+1090.08 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 31127 0 0 0 108931 90 0 0 25 0 1 0 905978558 126406656 30037 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30861 30037 1111 63 0 30798 0 vsize: 123444 [startup+1100.08 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 31136 0 0 0 109931 90 0 0 25 0 1 0 905978558 126443520 30046 4294967295 134512640 134716908 3221224576 3221222816 1074153792 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30870 30046 1111 63 0 30807 0 vsize: 123480 [startup+1110.08 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 31144 0 0 0 110931 91 0 0 25 0 1 0 905978558 126476288 30054 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30878 30054 1111 63 0 30815 0 vsize: 123512 [startup+1120.08 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 31153 0 0 0 111931 91 0 0 25 0 1 0 905978558 126513152 30063 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30887 30063 1111 63 0 30824 0 vsize: 123548 [startup+1130.08 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 31162 0 0 0 112931 91 0 0 25 0 1 0 905978558 126550016 30072 4294967295 134512640 134716908 3221224576 3221222768 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30896 30072 1111 63 0 30833 0 vsize: 123584 [startup+1140.08 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 31169 0 0 0 113931 91 0 0 25 0 1 0 905978558 126578688 30079 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30903 30079 1111 63 0 30840 0 vsize: 123612 [startup+1150.08 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 31178 0 0 0 114931 92 0 0 25 0 1 0 905978558 126615552 30088 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30912 30088 1111 63 0 30849 0 vsize: 123648 [startup+1160.08 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 31186 0 0 0 115931 92 0 0 25 0 1 0 905978558 126648320 30096 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30920 30096 1111 63 0 30857 0 vsize: 123680 [startup+1170.08 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 31195 0 0 0 116931 92 0 0 25 0 1 0 905978558 126685184 30105 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30929 30105 1111 63 0 30866 0 vsize: 123716 [startup+1180.08 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 31202 0 0 0 117931 92 0 0 25 0 1 0 905978558 126713856 30112 4294967295 134512640 134716908 3221224576 3221222784 1074153760 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30936 30112 1111 63 0 30873 0 vsize: 123744 [startup+1190.08 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 31211 0 0 0 118931 92 0 0 25 0 1 0 905978558 126750720 30121 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30945 30121 1111 63 0 30882 0 vsize: 123780 [startup+1200.08 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) R 6831 21152 21151 0 -1 0 31219 0 0 0 119931 93 0 0 25 0 1 0 905978558 126783488 30129 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30953 30129 1111 63 0 30890 0 vsize: 123812 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.14 s] Raw data (loadavg): 0.99 0.97 0.91 1/54 6832 Raw data (stat): 6832 (bsolo_lpr_cuts-) Z 6831 21152 21151 0 -1 1036 31219 0 0 0 119931 98 0 0 25 0 1 0 905978558 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.14 CPU time (s): 1200.3 CPU user time (s): 1199.31 CPU system time (s): 0.986849 CPU usage (%): 100.014 Max. virtual memory (Kb): 123812 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####