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 wulflinc6 THE 2005-06-09 00:20:40 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=28948 boxname=wulflinc6 idbench=334 idsolver=21 numberseed=0 MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2 MD5SUM BENCH: ed1ca962177baf0f135b785abad8adea /oldhome/oroussel/tmp/wulflinc6/normalized-frb50-23-1.opb REAL COMMAND: bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-frb50-23-1.opb IDLAUNCH: 28948 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.042 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.042 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: 919588 kB Buffers: 16280 kB Cached: 74464 kB SwapCached: 4048 kB Active: 28664 kB Inactive: 67244 kB HighTotal: 131008 kB HighFree: 57876 kB LowTotal: 903652 kB LowFree: 861712 kB SwapTotal: 2097136 kB SwapFree: 2092080 kB Dirty: 24 kB Writeback: 0 kB Mapped: 4992 kB Slab: 13512 kB Committed_AS: 63724 kB PageTables: 320 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-09 00:40:42 (client local time) WITH STATUS 0 IN 1200.38 SECONDS stats: 28948 7 1200.38 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 541.116 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.86 0.99 0.93 1/54 4245 Raw data (stat): 4245 (runsolver) R 4244 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 905908418 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.0006 s] Raw data (loadavg): 0.88 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 21558 0 0 0 940 58 0 0 25 0 1 0 905908418 91402240 21474 4294967295 134512640 134716908 3221224576 3221222968 1077378310 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.0007 s] Raw data (loadavg): 0.90 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 25048 0 0 0 1932 65 0 0 25 0 1 0 905908418 101875712 24038 4294967295 134512640 134716908 3221224576 3221223216 134606514 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.0018 s] Raw data (loadavg): 0.91 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 25048 0 0 0 2932 66 0 0 25 0 1 0 905908418 101875712 24038 4294967295 134512640 134716908 3221224576 3221223216 134594970 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24872 24038 1111 63 0 24809 0 vsize: 99488 [startup+40.002 s] Raw data (loadavg): 0.93 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 25523 0 0 0 3930 68 0 0 25 0 1 0 905908418 102219776 24122 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24956 24122 1111 63 0 24893 0 vsize: 99824 [startup+50.0032 s] Raw data (loadavg): 0.94 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 26392 0 0 0 4928 70 0 0 25 0 1 0 905908418 102219776 24122 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24956 24122 1111 63 0 24893 0 vsize: 99824 [startup+60.0028 s] Raw data (loadavg): 0.95 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 26965 0 0 0 5926 72 0 0 25 0 1 0 905908418 103145472 24348 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25182 24348 1111 63 0 25119 0 vsize: 100728 [startup+70.0034 s] Raw data (loadavg): 0.95 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 27034 0 0 0 6926 73 0 0 25 0 1 0 905908418 103145472 24348 4294967295 134512640 134716908 3221224576 3221223176 134543562 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25182 24348 1111 63 0 25119 0 vsize: 100728 [startup+80.0036 s] Raw data (loadavg): 0.96 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 27035 0 0 0 7926 73 0 0 25 0 1 0 905908418 103145472 24348 4294967295 134512640 134716908 3221224576 3221222992 134543712 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25182 24348 1111 63 0 25119 0 vsize: 100728 [startup+90.0037 s] Raw data (loadavg): 0.97 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 27454 0 0 0 8925 74 0 0 25 0 1 0 905908418 103145472 24348 4294967295 134512640 134716908 3221224576 3221222992 134543738 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25182 24348 1111 63 0 25119 0 vsize: 100728 [startup+100.004 s] Raw data (loadavg): 0.97 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 27454 0 0 0 9925 74 0 0 25 0 1 0 905908418 103145472 24348 4294967295 134512640 134716908 3221224576 3221223152 134535745 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25182 24348 1111 63 0 25119 0 vsize: 100728 [startup+110.005 s] Raw data (loadavg): 0.98 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 27454 0 0 0 10925 75 0 0 25 0 1 0 905908418 103145472 24348 4294967295 134512640 134716908 3221224576 3221223044 134536649 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25182 24348 1111 63 0 25119 0 vsize: 100728 [startup+120.005 s] Raw data (loadavg): 0.98 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 31258 0 0 0 11917 83 0 0 25 0 1 0 905908418 106213376 25097 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25931 25097 1111 63 0 25868 0 vsize: 103724 [startup+130.005 s] Raw data (loadavg): 0.98 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 31258 0 0 0 12917 83 0 0 25 0 1 0 905908418 106213376 25097 4294967295 134512640 134716908 3221224576 3221223304 134675301 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25931 25097 1111 63 0 25868 0 vsize: 103724 [startup+140.005 s] Raw data (loadavg): 0.98 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 31564 0 0 0 13916 84 0 0 25 0 1 0 905908418 106213376 25097 4294967295 134512640 134716908 3221224576 3221223056 134539462 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25931 25097 1111 63 0 25868 0 vsize: 103724 [startup+150.006 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 31564 0 0 0 14916 84 0 0 25 0 1 0 905908418 106213376 25097 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25931 25097 1111 63 0 25868 0 vsize: 103724 [startup+160.006 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 31564 0 0 0 15916 84 0 0 25 0 1 0 905908418 106213376 25097 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25931 25097 1111 63 0 25868 0 vsize: 103724 [startup+170.006 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 31564 0 0 0 16916 85 0 0 25 0 1 0 905908418 106213376 25097 4294967295 134512640 134716908 3221224576 3221223080 134543614 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25931 25097 1111 63 0 25868 0 vsize: 103724 [startup+180.006 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 31564 0 0 0 17915 85 0 0 25 0 1 0 905908418 106213376 25097 4294967295 134512640 134716908 3221224576 3221223216 134594970 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25931 25097 1111 63 0 25868 0 vsize: 103724 [startup+190.006 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 31564 0 0 0 18915 85 0 0 25 0 1 0 905908418 106213376 25097 4294967295 134512640 134716908 3221224576 3221222984 134543652 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25931 25097 1111 63 0 25868 0 vsize: 103724 [startup+200.006 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 31564 0 0 0 19915 86 0 0 25 0 1 0 905908418 106213376 25097 4294967295 134512640 134716908 3221224576 3221223040 134523869 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25931 25097 1111 63 0 25868 0 vsize: 103724 [startup+210.006 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 31564 0 0 0 20915 86 0 0 25 0 1 0 905908418 106213376 25097 4294967295 134512640 134716908 3221224576 3221223192 134536915 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25931 25097 1111 63 0 25868 0 vsize: 103724 [startup+220.007 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 31564 0 0 0 21915 86 0 0 25 0 1 0 905908418 106213376 25097 4294967295 134512640 134716908 3221224576 3221223192 134543804 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25931 25097 1111 63 0 25868 0 vsize: 103724 [startup+230.007 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 31564 0 0 0 22915 87 0 0 25 0 1 0 905908418 106213376 25097 4294967295 134512640 134716908 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25931 25097 1111 63 0 25868 0 vsize: 103724 [startup+240.006 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 31564 0 0 0 23914 87 0 0 25 0 1 0 905908418 106213376 25097 4294967295 134512640 134716908 3221224576 3221222956 134539208 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25931 25097 1111 63 0 25868 0 vsize: 103724 [startup+250.007 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 31564 0 0 0 24914 87 0 0 25 0 1 0 905908418 106213376 25097 4294967295 134512640 134716908 3221224576 3221222940 134539251 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25931 25097 1111 63 0 25868 0 vsize: 103724 [startup+260.007 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 31564 0 0 0 25914 87 0 0 25 0 1 0 905908418 106213376 25097 4294967295 134512640 134716908 3221224576 3221223056 134542352 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25931 25097 1111 63 0 25868 0 vsize: 103724 [startup+270.007 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 31564 0 0 0 26914 88 0 0 25 0 1 0 905908418 106213376 25097 4294967295 134512640 134716908 3221224576 3221223056 134542352 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25931 25097 1111 63 0 25868 0 vsize: 103724 [startup+280.008 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 31564 0 0 0 27914 88 0 0 25 0 1 0 905908418 106213376 25097 4294967295 134512640 134716908 3221224576 3221223056 134542352 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25931 25097 1111 63 0 25868 0 vsize: 103724 [startup+290.009 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 31564 0 0 0 28914 88 0 0 25 0 1 0 905908418 106213376 25097 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25931 25097 1111 63 0 25868 0 vsize: 103724 [startup+300.008 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 31564 0 0 0 29913 88 0 0 25 0 1 0 905908418 106213376 25097 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25931 25097 1111 63 0 25868 0 vsize: 103724 [startup+310.009 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 31564 0 0 0 30914 88 0 0 25 0 1 0 905908418 106213376 25097 4294967295 134512640 134716908 3221224576 3221223304 134675281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25931 25097 1111 63 0 25868 0 vsize: 103724 [startup+320.009 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 31564 0 0 0 31913 89 0 0 25 0 1 0 905908418 106213376 25097 4294967295 134512640 134716908 3221224576 3221223136 134535760 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25931 25097 1111 63 0 25868 0 vsize: 103724 [startup+330.01 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 31564 0 0 0 32913 89 0 0 25 0 1 0 905908418 106213376 25097 4294967295 134512640 134716908 3221224576 3221223188 134557812 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25931 25097 1111 63 0 25868 0 vsize: 103724 [startup+340.01 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 31564 0 0 0 33913 89 0 0 25 0 1 0 905908418 106213376 25097 4294967295 134512640 134716908 3221224576 3221222992 134543742 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25931 25097 1111 63 0 25868 0 vsize: 103724 [startup+350.011 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 31564 0 0 0 34913 90 0 0 25 0 1 0 905908418 106213376 25097 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25931 25097 1111 63 0 25868 0 vsize: 103724 [startup+360.011 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 31623 0 0 0 35912 90 0 0 25 0 1 0 905908418 106393600 25141 4294967295 134512640 134716908 3221224576 3221223092 134542962 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25975 25141 1111 63 0 25912 0 vsize: 103900 [startup+370.012 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 31623 0 0 0 36912 91 0 0 25 0 1 0 905908418 106393600 25141 4294967295 134512640 134716908 3221224576 3221223080 134543589 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25975 25141 1111 63 0 25912 0 vsize: 103900 [startup+380.012 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 31662 0 0 0 37912 91 0 0 25 0 1 0 905908418 106393600 25141 4294967295 134512640 134716908 3221224576 3221223200 134594954 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25975 25141 1111 63 0 25912 0 vsize: 103900 [startup+390.012 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 31662 0 0 0 38912 92 0 0 25 0 1 0 905908418 106393600 25141 4294967295 134512640 134716908 3221224576 3221223056 134536630 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25975 25141 1111 63 0 25912 0 vsize: 103900 [startup+400.013 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 31789 0 0 0 39912 92 0 0 25 0 1 0 905908418 106393600 25141 4294967295 134512640 134716908 3221224576 3221223204 134594953 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25975 25141 1111 63 0 25912 0 vsize: 103900 [startup+410.013 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 32265 0 0 0 40910 94 0 0 25 0 1 0 905908418 107905024 25501 4294967295 134512640 134716908 3221224576 3221223192 134543796 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 26344 25501 1111 63 0 26281 0 vsize: 105376 [startup+420.013 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 32265 0 0 0 41910 94 0 0 25 0 1 0 905908418 107905024 25501 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 26344 25501 1111 63 0 26281 0 vsize: 105376 [startup+430.014 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 32265 0 0 0 42911 94 0 0 25 0 1 0 905908418 107905024 25501 4294967295 134512640 134716908 3221224576 3221223056 134539382 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 26344 25501 1111 63 0 26281 0 vsize: 105376 [startup+440.013 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 32265 0 0 0 43911 94 0 0 25 0 1 0 905908418 107905024 25501 4294967295 134512640 134716908 3221224576 3221223056 134542352 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 26344 25501 1111 63 0 26281 0 vsize: 105376 [startup+450.014 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 32432 0 0 0 44910 95 0 0 25 0 1 0 905908418 108007424 25535 4294967295 134512640 134716908 3221224576 3221223248 134627203 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.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 32432 0 0 0 45910 95 0 0 25 0 1 0 905908418 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+470.014 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 32432 0 0 0 46910 95 0 0 25 0 1 0 905908418 108007424 25535 4294967295 134512640 134716908 3221224576 3221223248 134627203 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.014 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 32432 0 0 0 47911 95 0 0 25 0 1 0 905908418 108007424 25535 4294967295 134512640 134716908 3221224576 3221223228 134558476 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.014 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 32432 0 0 0 48911 96 0 0 25 0 1 0 905908418 108007424 25535 4294967295 134512640 134716908 3221224576 3221223248 134627257 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.014 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 32432 0 0 0 49911 96 0 0 25 0 1 0 905908418 108007424 25535 4294967295 134512640 134716908 3221224576 3221223248 134627203 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.015 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 33065 0 0 0 50910 97 0 0 25 0 1 0 905908418 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+520.015 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 33065 0 0 0 51911 97 0 0 25 0 1 0 905908418 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+530.015 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 33065 0 0 0 52911 97 0 0 25 0 1 0 905908418 110596096 26168 4294967295 134512640 134716908 3221224576 3221223440 134622438 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.015 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 33065 0 0 0 53911 97 0 0 25 0 1 0 905908418 110596096 26168 4294967295 134512640 134716908 3221224576 3221223456 134622268 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.015 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 33574 0 0 0 54910 99 0 0 25 0 1 0 905908418 113168384 26640 4294967295 134512640 134716908 3221224576 3221222832 1074153760 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27629 26640 1111 63 0 27566 0 vsize: 110516 [startup+560.015 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 33669 0 0 0 55909 100 0 0 25 0 1 0 905908418 113573888 26735 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27728 26735 1111 63 0 27665 0 vsize: 110912 [startup+570.016 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 33712 0 0 0 56908 102 0 0 25 0 1 0 905908418 113725440 26778 4294967295 134512640 134716908 3221224576 3221222832 1074153786 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27765 26778 1111 63 0 27702 0 vsize: 111060 [startup+580.016 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 33811 0 0 0 57907 103 0 0 25 0 1 0 905908418 114036736 26859 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27841 26859 1111 63 0 27778 0 vsize: 111364 [startup+590.016 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 33836 0 0 0 58907 103 0 0 25 0 1 0 905908418 114130944 26884 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27864 26884 1111 63 0 27801 0 vsize: 111456 [startup+600.016 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 33908 0 0 0 59906 104 0 0 25 0 1 0 905908418 114421760 26956 4294967295 134512640 134716908 3221224576 3221222832 1074153800 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27935 26956 1111 63 0 27872 0 vsize: 111740 [startup+610.016 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 33930 0 0 0 60906 105 0 0 25 0 1 0 905908418 114507776 26978 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27956 26978 1111 63 0 27893 0 vsize: 111824 [startup+620.016 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 34024 0 0 0 61905 106 0 0 25 0 1 0 905908418 114888704 27072 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28049 27072 1111 63 0 27986 0 vsize: 112196 [startup+630.017 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 34043 0 0 0 62905 107 0 0 25 0 1 0 905908418 114962432 27091 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28067 27091 1111 63 0 28004 0 vsize: 112268 [startup+640.017 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 34062 0 0 0 63904 107 0 0 25 0 1 0 905908418 115036160 27110 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28085 27110 1111 63 0 28022 0 vsize: 112340 [startup+650.017 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 34078 0 0 0 64904 108 0 0 25 0 1 0 905908418 115097600 27126 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28100 27126 1111 63 0 28037 0 vsize: 112400 [startup+660.017 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 34132 0 0 0 65904 109 0 0 25 0 1 0 905908418 115314688 27180 4294967295 134512640 134716908 3221224576 3221222832 1074153792 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28153 27180 1111 63 0 28090 0 vsize: 112612 [startup+670.017 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 34148 0 0 0 66904 109 0 0 25 0 1 0 905908418 115376128 27196 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28168 27196 1111 63 0 28105 0 vsize: 112672 [startup+680.017 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 34164 0 0 0 67903 110 0 0 25 0 1 0 905908418 115437568 27212 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28183 27212 1111 63 0 28120 0 vsize: 112732 [startup+690.017 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 34178 0 0 0 68904 110 0 0 25 0 1 0 905908418 115490816 27226 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28196 27226 1111 63 0 28133 0 vsize: 112784 [startup+700.018 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 34193 0 0 0 69903 111 0 0 25 0 1 0 905908418 115548160 27241 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28210 27241 1111 63 0 28147 0 vsize: 112840 [startup+710.017 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 34251 0 0 0 70903 111 0 0 25 0 1 0 905908418 115781632 27299 4294967295 134512640 134716908 3221224576 3221222832 1074153760 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28267 27299 1111 63 0 28204 0 vsize: 113068 [startup+720.018 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 34265 0 0 0 71903 112 0 0 25 0 1 0 905908418 115838976 27313 4294967295 134512640 134716908 3221224576 3221222832 1074153786 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28281 27313 1111 63 0 28218 0 vsize: 113124 [startup+730.018 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 34279 0 0 0 72903 112 0 0 25 0 1 0 905908418 115892224 27327 4294967295 134512640 134716908 3221224576 3221222864 1074153779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28294 27327 1111 63 0 28231 0 vsize: 113176 [startup+740.018 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 34294 0 0 0 73903 113 0 0 25 0 1 0 905908418 115949568 27342 4294967295 134512640 134716908 3221224576 3221222768 1074153779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28308 27342 1111 63 0 28245 0 vsize: 113232 [startup+750.018 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 34306 0 0 0 74902 114 0 0 25 0 1 0 905908418 115998720 27354 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28320 27354 1111 63 0 28257 0 vsize: 113280 [startup+760.019 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 34317 0 0 0 75901 114 0 0 25 0 1 0 905908418 116039680 27365 4294967295 134512640 134716908 3221224576 3221222832 1074153760 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28330 27365 1111 63 0 28267 0 vsize: 113320 [startup+770.018 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 34330 0 0 0 76901 115 0 0 25 0 1 0 905908418 116088832 27378 4294967295 134512640 134716908 3221224576 3221222816 1074153760 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28342 27378 1111 63 0 28279 0 vsize: 113368 [startup+780.018 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 34341 0 0 0 77901 115 0 0 25 0 1 0 905908418 116133888 27389 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28353 27389 1111 63 0 28290 0 vsize: 113412 [startup+790.019 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 34406 0 0 0 78901 116 0 0 25 0 1 0 905908418 116396032 27454 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28417 27454 1111 63 0 28354 0 vsize: 113668 [startup+800.019 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 34419 0 0 0 79900 117 0 0 25 0 1 0 905908418 116445184 27467 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28429 27467 1111 63 0 28366 0 vsize: 113716 [startup+810.019 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 34429 0 0 0 80900 117 0 0 25 0 1 0 905908418 116486144 27477 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28439 27477 1111 63 0 28376 0 vsize: 113756 [startup+820.019 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 34442 0 0 0 81901 117 0 0 25 0 1 0 905908418 116535296 27490 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28451 27490 1111 63 0 28388 0 vsize: 113804 [startup+830.019 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 34454 0 0 0 82900 118 0 0 25 0 1 0 905908418 116580352 27502 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28462 27502 1111 63 0 28399 0 vsize: 113848 [startup+840.019 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 34464 0 0 0 83901 118 0 0 25 0 1 0 905908418 116621312 27512 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28472 27512 1111 63 0 28409 0 vsize: 113888 [startup+850.02 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 34477 0 0 0 84901 118 0 0 25 0 1 0 905908418 116670464 27525 4294967295 134512640 134716908 3221224576 3221222816 1074153760 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28484 27525 1111 63 0 28421 0 vsize: 113936 [startup+860.02 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 34489 0 0 0 85901 118 0 0 25 0 1 0 905908418 116719616 27537 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28496 27537 1111 63 0 28433 0 vsize: 113984 [startup+870.02 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 34501 0 0 0 86901 119 0 0 25 0 1 0 905908418 116764672 27549 4294967295 134512640 134716908 3221224576 3221222776 1074138162 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28507 27549 1111 63 0 28444 0 vsize: 114028 [startup+880.02 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 34511 0 0 0 87901 119 0 0 25 0 1 0 905908418 116805632 27559 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28517 27559 1111 63 0 28454 0 vsize: 114068 [startup+890.02 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 34524 0 0 0 88901 119 0 0 25 0 1 0 905908418 116854784 27572 4294967295 134512640 134716908 3221224576 3221222816 1074153792 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28529 27572 1111 63 0 28466 0 vsize: 114116 [startup+900.02 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 34692 0 0 0 89900 120 0 0 25 0 1 0 905908418 117002240 27609 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28565 27609 1111 63 0 28502 0 vsize: 114260 [startup+910.021 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 34701 0 0 0 90900 121 0 0 25 0 1 0 905908418 117039104 27618 4294967295 134512640 134716908 3221224576 3221222816 1074153760 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28574 27618 1111 63 0 28511 0 vsize: 114296 [startup+920.021 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 34712 0 0 0 91900 122 0 0 25 0 1 0 905908418 117080064 27629 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28584 27629 1111 63 0 28521 0 vsize: 114336 [startup+930.021 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 34721 0 0 0 92900 122 0 0 25 0 1 0 905908418 117116928 27638 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28593 27638 1111 63 0 28530 0 vsize: 114372 [startup+940.021 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 34731 0 0 0 93900 122 0 0 25 0 1 0 905908418 117153792 27648 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28602 27648 1111 63 0 28539 0 vsize: 114408 [startup+950.021 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 34742 0 0 0 94899 123 0 0 25 0 1 0 905908418 117198848 27659 4294967295 134512640 134716908 3221224576 3221222784 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28613 27659 1111 63 0 28550 0 vsize: 114452 [startup+960.021 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 34752 0 0 0 95900 123 0 0 25 0 1 0 905908418 117235712 27669 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28622 27669 1111 63 0 28559 0 vsize: 114488 [startup+970.022 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 34761 0 0 0 96900 123 0 0 25 0 1 0 905908418 117272576 27678 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28631 27678 1111 63 0 28568 0 vsize: 114524 [startup+980.021 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 34770 0 0 0 97900 123 0 0 25 0 1 0 905908418 117309440 27687 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28640 27687 1111 63 0 28577 0 vsize: 114560 [startup+990.022 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 34781 0 0 0 98900 124 0 0 25 0 1 0 905908418 117350400 27698 4294967295 134512640 134716908 3221224576 3221222816 1074153760 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28650 27698 1111 63 0 28587 0 vsize: 114600 [startup+1000.02 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 34789 0 0 0 99900 124 0 0 25 0 1 0 905908418 117383168 27706 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28658 27706 1111 63 0 28595 0 vsize: 114632 [startup+1010.02 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 34799 0 0 0 100900 125 0 0 25 0 1 0 905908418 117420032 27716 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28667 27716 1111 63 0 28604 0 vsize: 114668 [startup+1020.02 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 34808 0 0 0 101899 125 0 0 25 0 1 0 905908418 117456896 27725 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28676 27725 1111 63 0 28613 0 vsize: 114704 [startup+1030.02 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 34818 0 0 0 102899 126 0 0 25 0 1 0 905908418 117493760 27735 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28685 27735 1111 63 0 28622 0 vsize: 114740 [startup+1040.02 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 34825 0 0 0 103899 126 0 0 25 0 1 0 905908418 117522432 27742 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28692 27742 1111 63 0 28629 0 vsize: 114768 [startup+1050.02 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 34837 0 0 0 104899 126 0 0 25 0 1 0 905908418 117567488 27754 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 28703 27754 1111 63 0 28640 0 vsize: 114812 [startup+1060.02 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 34942 0 0 0 105898 127 0 0 25 0 1 0 905908418 117997568 27859 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28808 27859 1111 63 0 28745 0 vsize: 115232 [startup+1070.02 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 34952 0 0 0 106898 128 0 0 25 0 1 0 905908418 118034432 27869 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28817 27869 1111 63 0 28754 0 vsize: 115268 [startup+1080.02 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 34961 0 0 0 107897 128 0 0 25 0 1 0 905908418 118071296 27878 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28826 27878 1111 63 0 28763 0 vsize: 115304 [startup+1090.02 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 34970 0 0 0 108897 129 0 0 25 0 1 0 905908418 118108160 27887 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28835 27887 1111 63 0 28772 0 vsize: 115340 [startup+1100.03 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 34980 0 0 0 109898 129 0 0 25 0 1 0 905908418 118145024 27897 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28844 27897 1111 63 0 28781 0 vsize: 115376 [startup+1110.03 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 34986 0 0 0 110898 129 0 0 25 0 1 0 905908418 118169600 27903 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28850 27903 1111 63 0 28787 0 vsize: 115400 [startup+1120.03 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 34996 0 0 0 111898 129 0 0 25 0 1 0 905908418 118206464 27913 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28859 27913 1111 63 0 28796 0 vsize: 115436 [startup+1130.03 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 35005 0 0 0 112898 130 0 0 25 0 1 0 905908418 118243328 27922 4294967295 134512640 134716908 3221224576 3221222784 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28868 27922 1111 63 0 28805 0 vsize: 115472 [startup+1140.03 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 35014 0 0 0 113898 130 0 0 25 0 1 0 905908418 118280192 27931 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28877 27931 1111 63 0 28814 0 vsize: 115508 [startup+1150.03 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 35026 0 0 0 114898 131 0 0 25 0 1 0 905908418 118325248 27943 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28888 27943 1111 63 0 28825 0 vsize: 115552 [startup+1160.03 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 35035 0 0 0 115898 131 0 0 25 0 1 0 905908418 118362112 27952 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28897 27952 1111 63 0 28834 0 vsize: 115588 [startup+1170.03 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 45123 0 0 0 116878 151 0 0 25 0 1 0 905908418 157810688 33944 4294967295 134512640 134716908 3221224576 3221220624 1074969449 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 38528 33944 1111 63 0 38465 0 vsize: 154112 [startup+1180.03 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 45218 0 0 0 117878 152 0 0 25 0 1 0 905908418 157810688 34039 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 38528 34039 1111 63 0 38465 0 vsize: 154112 [startup+1190.03 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 45278 0 0 0 118878 152 0 0 25 0 1 0 905908418 157810688 34099 4294967295 134512640 134716908 3221224576 3221220624 1074969458 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 38528 34099 1111 63 0 38465 0 vsize: 154112 [startup+1200.03 s] Raw data (loadavg): 0.99 0.99 0.93 2/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) R 4244 25568 25567 0 -1 0 47137 0 0 0 119875 155 0 0 25 0 1 0 905908418 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.99 0.93 1/54 4245 Raw data (stat): 4245 (bsolo_lpr_cuts-) Z 4244 25568 25567 0 -1 1036 47137 0 0 0 119875 162 0 0 25 0 1 0 905908418 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.38 CPU user time (s): 1198.75 CPU system time (s): 1.62675 CPU usage (%): 100.023 Max. virtual memory (Kb): 157824 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####