Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii16b2.opb |
MD5SUM | e21ba82f6fe94f7331ec17a5a9607763 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1031 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 2152 |
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 | 2152 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 2152 |
Number of bits of the biggest sum of numbers | 12 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 20.8518 |
Number of variables | 2152 |
Total number of constraints | 17197 |
Number of constraints which are clauses | 17197 |
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 | 16 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc2 THE 2005-06-08 18:24:15 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=28753 boxname=wulflinc2 idbench=139 idsolver=21 numberseed=0 MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2 MD5SUM BENCH: e21ba82f6fe94f7331ec17a5a9607763 /oldhome/oroussel/tmp/wulflinc2/normalized-ii16b2.opb REAL COMMAND: bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-ii16b2.opb IDLAUNCH: 28753 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.191 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.191 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: 875488 kB Buffers: 22340 kB Cached: 114932 kB SwapCached: 1380 kB Active: 24140 kB Inactive: 115100 kB HighTotal: 131008 kB HighFree: 30436 kB LowTotal: 903652 kB LowFree: 845052 kB SwapTotal: 2097136 kB SwapFree: 2094720 kB Dirty: 28 kB Writeback: 0 kB Mapped: 4996 kB Slab: 14232 kB Committed_AS: 71792 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-08 18:44:17 (client local time) WITH STATUS 0 IN 1200.23 SECONDS stats: 28753 7 1200.23 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 2152 variables and 17197 constraints. c After prepocess the problem consists of 2152 variables and 17485 constraints. c preprocess terminated 112.402 s c Initial Lower Bound: 647 c Lower Bound Elapsed time: 151.608 c Not use computed LB before first solution. c NEW SOLUTION FOUND: 1076 @ 265.718 c NEW SOLUTION FOUND: 1075 @ 265.723 c NEW SOLUTION FOUND: 1074 @ 265.757 c NEW SOLUTION FOUND: 1073 @ 265.781 c NEW SOLUTION FOUND: 1072 @ 265.807 c NEW SOLUTION FOUND: 1071 @ 265.833 c NEW SOLUTION FOUND: 1070 @ 265.86 c NEW SOLUTION FOUND: 1069 @ 265.887 c NEW SOLUTION FOUND: 1068 @ 265.942 c NEW SOLUTION FOUND: 1067 @ 265.998 c NEW SOLUTION FOUND: 1066 @ 266.029 c NEW SOLUTION FOUND: 1065 @ 266.059 c NEW SOLUTION FOUND: 1064 @ 266.091 c NEW SOLUTION FOUND: 1063 @ 266.122 c NEW SOLUTION FOUND: 1062 @ 266.155 c NEW SOLUTION FOUND: 1061 @ 266.188 c NEW SOLUTION FOUND: 1060 @ 266.221 c NEW SOLUTION FOUND: 1059 @ 266.254 c NEW SOLUTION FOUND: 1058 @ 266.289 c NEW SOLUTION FOUND: 1057 @ 266.324 c NEW SOLUTION FOUND: 1056 @ 266.358 c NEW SOLUTION FOUND: 1055 @ 266.393 c NEW SOLUTION FOUND: 1054 @ 266.429 c NEW SOLUTION FOUND: 1053 @ 266.466 c NEW SOLUTION FOUND: 1052 @ 266.502 c NEW SOLUTION FOUND: 1051 @ 266.539 c NEW SOLUTION FOUND: 1050 @ 266.65 c NEW SOLUTION FOUND: 1049 @ 266.689 c NEW SOLUTION FOUND: 1048 @ 266.766 c NEW SOLUTION FOUND: 1047 @ 266.807 c NEW SOLUTION FOUND: 1046 @ 266.848 c NEW SOLUTION FOUND: 1045 @ 266.932 c NEW SOLUTION FOUND: 1044 @ 266.975 c NEW SOLUTION FOUND: 1043 @ 267.018 c NEW SOLUTION FOUND: 1042 @ 267.103 c NEW SOLUTION FOUND: 1041 @ 267.193 c NEW SOLUTION FOUND: 1040 @ 267.241 c NEW SOLUTION FOUND: 1039 @ 267.287 c NEW SOLUTION FOUND: 1038 @ 267.336 c NEW SOLUTION FOUND: 1037 @ 267.386 c NEW SOLUTION FOUND: 1036 @ 267.436 c NEW SOLUTION FOUND: 1035 @ 267.486 c NEW SOLUTION FOUND: 1034 @ 267.537 c NEW SOLUTION FOUND: 1033 @ 267.589 c NEW SOLUTION FOUND: 1032 @ 267.64 c NEW SOLUTION FOUND: 1031 @ 1143.47 #### 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.93 0.97 0.91 1/54 14842 Raw data (stat): 14842 (runsolver) R 14841 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 903774205 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.0007 s] Raw data (loadavg): 0.94 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 3976 0 0 0 985 11 0 0 25 0 1 0 903774205 19460096 3890 4294967295 134512640 134716908 3221224576 3221222940 134539237 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4751 3890 1111 63 0 4688 0 vsize: 19004 [startup+20.001 s] Raw data (loadavg): 0.95 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 15481 0 0 0 1959 38 0 0 25 0 1 0 903774205 66359296 15360 4294967295 134512640 134716908 3221224576 3221223312 134630831 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16201 15360 1111 63 0 16138 0 vsize: 64804 [startup+30.0011 s] Raw data (loadavg): 0.95 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 15481 0 0 0 2959 38 0 0 25 0 1 0 903774205 66359296 15360 4294967295 134512640 134716908 3221224576 3221222960 134542368 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16201 15360 1111 63 0 16138 0 vsize: 64804 [startup+40.0017 s] Raw data (loadavg): 0.96 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 15481 0 0 0 3959 38 0 0 25 0 1 0 903774205 66359296 15360 4294967295 134512640 134716908 3221224576 3221223056 134542352 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16201 15360 1111 63 0 16138 0 vsize: 64804 [startup+50.0024 s] Raw data (loadavg): 0.97 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 15481 0 0 0 4959 38 0 0 25 0 1 0 903774205 66359296 15360 4294967295 134512640 134716908 3221224576 3221223104 134542848 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16201 15360 1111 63 0 16138 0 vsize: 64804 [startup+60.0031 s] Raw data (loadavg): 0.97 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 15481 0 0 0 5959 38 0 0 25 0 1 0 903774205 66359296 15360 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16201 15360 1111 63 0 16138 0 vsize: 64804 [startup+70.0038 s] Raw data (loadavg): 0.97 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 15481 0 0 0 6960 38 0 0 25 0 1 0 903774205 66359296 15360 4294967295 134512640 134716908 3221224576 3221223248 134627233 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16201 15360 1111 63 0 16138 0 vsize: 64804 [startup+80.0032 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 15481 0 0 0 7960 39 0 0 25 0 1 0 903774205 66359296 15360 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16201 15360 1111 63 0 16138 0 vsize: 64804 [startup+90.0032 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 15481 0 0 0 8960 39 0 0 25 0 1 0 903774205 66359296 15360 4294967295 134512640 134716908 3221224576 3221223248 134627290 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16201 15360 1111 63 0 16138 0 vsize: 64804 [startup+100.003 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 15481 0 0 0 9960 39 0 0 25 0 1 0 903774205 66359296 15360 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16201 15360 1111 63 0 16138 0 vsize: 64804 [startup+110.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 15481 0 0 0 10960 39 0 0 25 0 1 0 903774205 66359296 15360 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16201 15360 1111 63 0 16138 0 vsize: 64804 [startup+120.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 15957 0 0 0 11958 41 0 0 25 0 1 0 903774205 68345856 15812 4294967295 134512640 134716908 3221224576 3221222880 1074153786 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16686 15812 1111 63 0 16623 0 vsize: 66744 [startup+130.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 16089 0 0 0 12955 43 0 0 25 0 1 0 903774205 68820992 15944 4294967295 134512640 134716908 3221224576 3221222880 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16802 15944 1111 63 0 16739 0 vsize: 67208 [startup+140.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 18554 0 0 0 13950 48 0 0 25 0 1 0 903774205 80842752 17725 4294967295 134512640 134716908 3221224576 3221220752 1074961146 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19737 17725 1111 63 0 19674 0 vsize: 78948 [startup+150.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 18642 0 0 0 14950 49 0 0 25 0 1 0 903774205 81018880 17793 4294967295 134512640 134716908 3221224576 3221220700 1075116741 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19780 17793 1111 63 0 19717 0 vsize: 79120 [startup+160.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 18662 0 0 0 15950 49 0 0 25 0 1 0 903774205 81018880 17797 4294967295 134512640 134716908 3221224576 3221220700 1075116784 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19780 17797 1111 63 0 19717 0 vsize: 79120 [startup+170.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 18688 0 0 0 16950 49 0 0 25 0 1 0 903774205 81018880 17803 4294967295 134512640 134716908 3221224576 3221221424 1074620113 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19780 17803 1111 63 0 19717 0 vsize: 79120 [startup+180.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 18700 0 0 0 17950 49 0 0 25 0 1 0 903774205 81018880 17803 4294967295 134512640 134716908 3221224576 3221220700 1075116489 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19780 17803 1111 63 0 19717 0 vsize: 79120 [startup+190.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 19144 0 0 0 18949 51 0 0 25 0 1 0 903774205 78839808 17752 4294967295 134512640 134716908 3221224576 3221220492 1074788959 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19248 17752 1111 63 0 19185 0 vsize: 76992 [startup+200.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 19167 0 0 0 19948 51 0 0 25 0 1 0 903774205 78839808 17759 4294967295 134512640 134716908 3221224576 3221220480 1075965246 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19248 17759 1111 63 0 19185 0 vsize: 76992 [startup+210.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 19185 0 0 0 20948 52 0 0 25 0 1 0 903774205 78839808 17763 4294967295 134512640 134716908 3221224576 3221220708 1075115046 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19248 17763 1111 63 0 19185 0 vsize: 76992 [startup+220.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 19202 0 0 0 21948 52 0 0 25 0 1 0 903774205 78839808 17766 4294967295 134512640 134716908 3221224576 3221220640 1075094850 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19248 17766 1111 63 0 19185 0 vsize: 76992 [startup+230.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 19295 0 0 0 22948 52 0 0 25 0 1 0 903774205 79544320 17841 4294967295 134512640 134716908 3221224576 3221221292 1074788959 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19420 17841 1111 63 0 19357 0 vsize: 77680 [startup+240.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 24925 0 0 0 23932 69 0 0 25 0 1 0 903774205 72028160 16817 4294967295 134512640 134716908 3221224576 3221223024 1074032775 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17585 16817 1111 63 0 17522 0 vsize: 70340 [startup+250.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 27570 0 0 0 24920 81 0 0 25 0 1 0 903774205 72482816 16822 4294967295 134512640 134716908 3221224576 3221222728 1077410279 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17696 16822 1111 63 0 17633 0 vsize: 70784 [startup+260.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 30235 0 0 0 25908 93 0 0 25 0 1 0 903774205 72482816 16822 4294967295 134512640 134716908 3221224576 3221222476 1074788930 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17696 16822 1111 63 0 17633 0 vsize: 70784 [startup+270.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 32747 0 0 0 26898 102 0 0 25 0 1 0 903774205 68939776 16127 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16831 16127 1111 63 0 16768 0 vsize: 67324 [startup+280.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 32862 0 0 0 27896 104 0 0 25 0 1 0 903774205 69410816 16242 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16946 16242 1111 63 0 16883 0 vsize: 67784 [startup+290.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 34593 0 0 0 28893 108 0 0 25 0 1 0 903774205 80384000 17503 4294967295 134512640 134716908 3221224576 3221220648 1074950198 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19625 17503 1111 63 0 19562 0 vsize: 78500 [startup+300.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 35226 0 0 0 29891 110 0 0 25 0 1 0 903774205 78241792 17602 4294967295 134512640 134716908 3221224576 3221220568 1075964720 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19102 17602 1111 63 0 19039 0 vsize: 76408 [startup+310.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 35417 0 0 0 30891 110 0 0 25 0 1 0 903774205 80531456 17793 4294967295 134512640 134716908 3221224576 3221220912 1075113493 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19661 17793 1111 63 0 19598 0 vsize: 78644 [startup+320.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 35758 0 0 0 31890 111 0 0 25 0 1 0 903774205 78241792 17598 4294967295 134512640 134716908 3221224576 3221220824 1077410163 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19102 17598 1111 63 0 19039 0 vsize: 76408 [startup+330.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 35761 0 0 0 32890 111 0 0 25 0 1 0 903774205 78241792 17601 4294967295 134512640 134716908 3221224576 3221220816 1075115747 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19102 17601 1111 63 0 19039 0 vsize: 76408 [startup+340.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 35767 0 0 0 33891 111 0 0 25 0 1 0 903774205 78241792 17607 4294967295 134512640 134716908 3221224576 3221220816 1075115709 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19102 17607 1111 63 0 19039 0 vsize: 76408 [startup+350.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 35770 0 0 0 34891 111 0 0 25 0 1 0 903774205 78241792 17610 4294967295 134512640 134716908 3221224576 3221220816 1075115768 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19102 17610 1111 63 0 19039 0 vsize: 76408 [startup+360.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 35780 0 0 0 35891 111 0 0 25 0 1 0 903774205 78241792 17616 4294967295 134512640 134716908 3221224576 3221220816 1075115747 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19102 17616 1111 63 0 19039 0 vsize: 76408 [startup+370.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 35780 0 0 0 36891 111 0 0 25 0 1 0 903774205 78241792 17616 4294967295 134512640 134716908 3221224576 3221220460 1074788950 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19102 17616 1111 63 0 19039 0 vsize: 76408 [startup+380.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 38198 0 0 0 37886 117 0 0 25 0 1 0 903774205 71626752 16760 4294967295 134512640 134716908 3221224576 3221222880 1074039235 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17487 16760 1111 63 0 17424 0 vsize: 69948 [startup+390.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 38318 0 0 0 38885 118 0 0 25 0 1 0 903774205 69132288 16176 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16878 16176 1111 63 0 16815 0 vsize: 67512 [startup+400.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 39082 0 0 0 39882 120 0 0 25 0 1 0 903774205 71151616 16664 4294967295 134512640 134716908 3221224576 3221222576 1074918005 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17371 16664 1111 63 0 17308 0 vsize: 69484 [startup+410.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 40266 0 0 0 40880 123 0 0 25 0 1 0 903774205 80642048 17584 4294967295 134512640 134716908 3221224576 3221220848 1074961146 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19688 17584 1111 63 0 19625 0 vsize: 78752 [startup+420.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 40907 0 0 0 41879 124 0 0 25 0 1 0 903774205 78499840 17662 4294967295 134512640 134716908 3221224576 3221220728 1074883183 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19165 17662 1111 63 0 19102 0 vsize: 76660 [startup+430.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 40908 0 0 0 42879 124 0 0 25 0 1 0 903774205 78499840 17663 4294967295 134512640 134716908 3221224576 3221220688 1074790228 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19165 17663 1111 63 0 19102 0 vsize: 76660 [startup+440.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 40908 0 0 0 43879 124 0 0 25 0 1 0 903774205 78499840 17663 4294967295 134512640 134716908 3221224576 3221220848 1074961138 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19165 17663 1111 63 0 19102 0 vsize: 76660 [startup+450.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 40914 0 0 0 44879 124 0 0 25 0 1 0 903774205 78499840 17669 4294967295 134512640 134716908 3221224576 3221220804 1075115039 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19165 17669 1111 63 0 19102 0 vsize: 76660 [startup+460.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 40916 0 0 0 45879 124 0 0 25 0 1 0 903774205 78499840 17671 4294967295 134512640 134716908 3221224576 3221220816 1075115734 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19165 17671 1111 63 0 19102 0 vsize: 76660 [startup+470.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 40919 0 0 0 46879 125 0 0 25 0 1 0 903774205 78499840 17674 4294967295 134512640 134716908 3221224576 3221220544 1075965246 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19165 17674 1111 63 0 19102 0 vsize: 76660 [startup+480.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 40919 0 0 0 47880 125 0 0 25 0 1 0 903774205 78499840 17674 4294967295 134512640 134716908 3221224576 3221220944 1075894487 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19165 17674 1111 63 0 19102 0 vsize: 76660 [startup+490.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 40954 0 0 0 48879 125 0 0 25 0 1 0 903774205 78868480 17709 4294967295 134512640 134716908 3221224576 3221220720 1074969449 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19255 17709 1111 63 0 19192 0 vsize: 77020 [startup+500.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 40956 0 0 0 49880 125 0 0 25 0 1 0 903774205 78868480 17711 4294967295 134512640 134716908 3221224576 3221220816 1075115747 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19255 17711 1111 63 0 19192 0 vsize: 77020 [startup+510.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 43467 0 0 0 50874 130 0 0 25 0 1 0 903774205 71786496 16798 4294967295 134512640 134716908 3221224576 3221222788 1075964227 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17526 16798 1111 63 0 17463 0 vsize: 70104 [startup+520.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 43531 0 0 0 51874 131 0 0 25 0 1 0 903774205 71168000 16647 4294967295 134512640 134716908 3221224576 3221222952 1077410279 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17375 16647 1111 63 0 17312 0 vsize: 69500 [startup+530.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 43613 0 0 0 52873 132 0 0 25 0 1 0 903774205 71479296 16729 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17451 16729 1111 63 0 17388 0 vsize: 69804 [startup+540.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 45421 0 0 0 53871 135 0 0 25 0 1 0 903774205 80752640 17624 4294967295 134512640 134716908 3221224576 3221220796 1075116549 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19715 17624 1111 63 0 19652 0 vsize: 78860 [startup+550.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 45463 0 0 0 54871 135 0 0 25 0 1 0 903774205 80900096 17666 4294967295 134512640 134716908 3221224576 3221220796 1075116549 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19751 17666 1111 63 0 19688 0 vsize: 79004 [startup+560.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 46037 0 0 0 55869 136 0 0 25 0 1 0 903774205 78610432 17706 4294967295 134512640 134716908 3221224576 3221220804 1075115039 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19192 17706 1111 63 0 19129 0 vsize: 76768 [startup+570.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 46044 0 0 0 56870 136 0 0 25 0 1 0 903774205 78610432 17713 4294967295 134512640 134716908 3221224576 3221220944 1075894487 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19192 17713 1111 63 0 19129 0 vsize: 76768 [startup+580.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 46053 0 0 0 57870 136 0 0 25 0 1 0 903774205 78610432 17718 4294967295 134512640 134716908 3221224576 3221220676 1075964248 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19192 17718 1111 63 0 19129 0 vsize: 76768 [startup+590.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 46053 0 0 0 58870 136 0 0 25 0 1 0 903774205 78610432 17718 4294967295 134512640 134716908 3221224576 3221221088 1075084533 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19192 17718 1111 63 0 19129 0 vsize: 76768 [startup+600.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 46053 0 0 0 59870 136 0 0 25 0 1 0 903774205 78610432 17718 4294967295 134512640 134716908 3221224576 3221220804 1075114984 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19192 17718 1111 63 0 19129 0 vsize: 76768 [startup+610.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 46053 0 0 0 60870 136 0 0 25 0 1 0 903774205 78610432 17718 4294967295 134512640 134716908 3221224576 3221220848 1074961375 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19192 17718 1111 63 0 19129 0 vsize: 76768 [startup+620.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 46086 0 0 0 61870 136 0 0 25 0 1 0 903774205 78979072 17751 4294967295 134512640 134716908 3221224576 3221220804 1075115073 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19282 17751 1111 63 0 19219 0 vsize: 77128 [startup+630.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 48434 0 0 0 62865 142 0 0 25 0 1 0 903774205 71860224 16816 4294967295 134512640 134716908 3221224576 3221222992 1073989433 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17544 16816 1111 63 0 17481 0 vsize: 70176 [startup+640.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 48522 0 0 0 63865 142 0 0 25 0 1 0 903774205 71647232 16764 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17492 16764 1111 63 0 17429 0 vsize: 69968 [startup+650.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 50071 0 0 0 64862 145 0 0 25 0 1 0 903774205 80826368 17432 4294967295 134512640 134716908 3221224576 3221220796 1075116767 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19733 17432 1111 63 0 19670 0 vsize: 78932 [startup+660.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 50883 0 0 0 65860 147 0 0 25 0 1 0 903774205 78684160 17709 4294967295 134512640 134716908 3221224576 3221220460 1074788950 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19210 17709 1111 63 0 19147 0 vsize: 76840 [startup+670.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 50889 0 0 0 66860 147 0 0 25 0 1 0 903774205 78684160 17715 4294967295 134512640 134716908 3221224576 3221220688 1075895908 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19210 17715 1111 63 0 19147 0 vsize: 76840 [startup+680.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 50893 0 0 0 67860 148 0 0 25 0 1 0 903774205 78684160 17719 4294967295 134512640 134716908 3221224576 3221220848 1074961301 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19210 17719 1111 63 0 19147 0 vsize: 76840 [startup+690.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 50893 0 0 0 68860 148 0 0 25 0 1 0 903774205 78684160 17719 4294967295 134512640 134716908 3221224576 3221220588 1074788959 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19210 17719 1111 63 0 19147 0 vsize: 76840 [startup+700.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 50893 0 0 0 69861 148 0 0 25 0 1 0 903774205 78684160 17719 4294967295 134512640 134716908 3221224576 3221221620 1074846206 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19210 17719 1111 63 0 19147 0 vsize: 76840 [startup+710.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 50901 0 0 0 70861 148 0 0 25 0 1 0 903774205 78684160 17723 4294967295 134512640 134716908 3221224576 3221220848 1074961258 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19210 17723 1111 63 0 19147 0 vsize: 76840 [startup+720.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 50901 0 0 0 71861 148 0 0 25 0 1 0 903774205 78684160 17723 4294967295 134512640 134716908 3221224576 3221221016 1077410205 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19210 17723 1111 63 0 19147 0 vsize: 76840 [startup+730.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 50901 0 0 0 72861 148 0 0 25 0 1 0 903774205 78684160 17723 4294967295 134512640 134716908 3221224576 3221220512 1075965246 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19210 17723 1111 63 0 19147 0 vsize: 76840 [startup+740.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 51433 0 0 0 73860 149 0 0 25 0 1 0 903774205 78684160 17716 4294967295 134512640 134716908 3221224576 3221220804 1075114984 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19210 17716 1111 63 0 19147 0 vsize: 76840 [startup+750.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 52902 0 0 0 74858 151 0 0 25 0 1 0 903774205 70963200 16594 4294967295 134512640 134716908 3221224576 3221222528 1077814665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17325 16594 1111 63 0 17262 0 vsize: 69300 [startup+760.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 53006 0 0 0 75856 153 0 0 25 0 1 0 903774205 71274496 16698 4294967295 134512640 134716908 3221224576 3221222880 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17401 16698 1111 63 0 17338 0 vsize: 69604 [startup+770.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 55477 0 0 0 76851 158 0 0 25 0 1 0 903774205 79683584 18162 4294967295 134512640 134716908 3221224576 3221220768 1075115747 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19454 18162 1111 63 0 19391 0 vsize: 77816 [startup+780.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 55484 0 0 0 77851 158 0 0 25 0 1 0 903774205 79683584 18169 4294967295 134512640 134716908 3221224576 3221221072 1075088563 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19454 18169 1111 63 0 19391 0 vsize: 77816 [startup+790.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 55514 0 0 0 78851 159 0 0 25 0 1 0 903774205 79683584 18195 4294967295 134512640 134716908 3221224576 3221220756 1075115003 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19454 18195 1111 63 0 19391 0 vsize: 77816 [startup+800.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 55523 0 0 0 79851 159 0 0 25 0 1 0 903774205 79683584 18204 4294967295 134512640 134716908 3221224576 3221220756 1075115039 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19454 18204 1111 63 0 19391 0 vsize: 77816 [startup+810.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 55535 0 0 0 80851 159 0 0 25 0 1 0 903774205 79683584 18216 4294967295 134512640 134716908 3221224576 3221221680 1075969874 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19454 18216 1111 63 0 19391 0 vsize: 77816 [startup+820.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 55537 0 0 0 81851 159 0 0 25 0 1 0 903774205 79683584 18218 4294967295 134512640 134716908 3221224576 3221220540 1074788977 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19454 18218 1111 63 0 19391 0 vsize: 77816 [startup+830.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 55542 0 0 0 82851 159 0 0 25 0 1 0 903774205 79683584 18223 4294967295 134512640 134716908 3221224576 3221220412 1074788959 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19454 18223 1111 63 0 19391 0 vsize: 77816 [startup+840.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 55544 0 0 0 83851 160 0 0 25 0 1 0 903774205 79683584 18225 4294967295 134512640 134716908 3221224576 3221220756 1075115046 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19454 18225 1111 63 0 19391 0 vsize: 77816 [startup+850.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 55549 0 0 0 84852 160 0 0 25 0 1 0 903774205 80052224 18230 4294967295 134512640 134716908 3221224576 3221221600 1074867320 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19544 18230 1111 63 0 19481 0 vsize: 78176 [startup+860.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 57478 0 0 0 85847 165 0 0 25 0 1 0 903774205 71901184 16842 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17554 16842 1111 63 0 17491 0 vsize: 70216 [startup+870.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 59150 0 0 0 86842 169 0 0 25 0 1 0 903774205 82452480 17998 4294967295 134512640 134716908 3221224576 3221220736 1075094157 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20130 17998 1111 63 0 20067 0 vsize: 80520 [startup+880.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 59790 0 0 0 87840 171 0 0 25 0 1 0 903774205 80310272 18099 4294967295 134512640 134716908 3221224576 3221220588 1074788915 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19607 18099 1111 63 0 19544 0 vsize: 78428 [startup+890.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 59974 0 0 0 88840 172 0 0 25 0 1 0 903774205 82599936 18283 4294967295 134512640 134716908 3221224576 3221220796 1075116744 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20166 18283 1111 63 0 20103 0 vsize: 80664 [startup+900.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 60344 0 0 0 89840 173 0 0 25 0 1 0 903774205 80310272 18111 4294967295 134512640 134716908 3221224576 3221220460 1074788964 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19607 18111 1111 63 0 19544 0 vsize: 78428 [startup+910.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 60346 0 0 0 90840 173 0 0 25 0 1 0 903774205 80310272 18113 4294967295 134512640 134716908 3221224576 3221220848 1074961347 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19607 18113 1111 63 0 19544 0 vsize: 78428 [startup+920.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 60346 0 0 0 91840 173 0 0 25 0 1 0 903774205 80310272 18113 4294967295 134512640 134716908 3221224576 3221220676 1075964282 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19607 18113 1111 63 0 19544 0 vsize: 78428 [startup+930.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 60346 0 0 0 92840 173 0 0 25 0 1 0 903774205 80310272 18113 4294967295 134512640 134716908 3221224576 3221221648 1074867334 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19607 18113 1111 63 0 19544 0 vsize: 78428 [startup+940.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 62696 0 0 0 93835 179 0 0 25 0 1 0 903774205 73576448 17224 4294967295 134512640 134716908 3221224576 3221222572 1074788950 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17963 17224 1111 63 0 17900 0 vsize: 71852 [startup+950.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 62772 0 0 0 94834 179 0 0 25 0 1 0 903774205 73314304 17160 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17899 17160 1111 63 0 17836 0 vsize: 71596 [startup+960.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 63358 0 0 0 95833 181 0 0 25 0 1 0 903774205 73093120 17128 4294967295 134512640 134716908 3221224576 3221222576 1074916360 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17845 17128 1111 63 0 17782 0 vsize: 71380 [startup+970.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 64532 0 0 0 96830 184 0 0 25 0 1 0 903774205 82591744 18050 4294967295 134512640 134716908 3221224576 3221220524 1074788950 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20164 18050 1111 63 0 20101 0 vsize: 80656 [startup+980.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 65167 0 0 0 97828 185 0 0 25 0 1 0 903774205 80449536 18139 4294967295 134512640 134716908 3221224576 3221220536 1075964764 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19641 18139 1111 63 0 19578 0 vsize: 78564 [startup+990.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 65354 0 0 0 98828 186 0 0 25 0 1 0 903774205 82739200 18326 4294967295 134512640 134716908 3221224576 3221220796 1075116862 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20200 18326 1111 63 0 20137 0 vsize: 80800 [startup+1000.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 65706 0 0 0 99828 187 0 0 25 0 1 0 903774205 80449536 18138 4294967295 134512640 134716908 3221224576 3221221120 1075088564 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19641 18138 1111 63 0 19578 0 vsize: 78564 [startup+1010.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 65711 0 0 0 100828 187 0 0 25 0 1 0 903774205 80449536 18143 4294967295 134512640 134716908 3221224576 3221220848 1074961149 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19641 18143 1111 63 0 19578 0 vsize: 78564 [startup+1020.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 65711 0 0 0 101828 187 0 0 25 0 1 0 903774205 80449536 18143 4294967295 134512640 134716908 3221224576 3221220588 1074788959 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19641 18143 1111 63 0 19578 0 vsize: 78564 [startup+1030.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 65712 0 0 0 102828 187 0 0 25 0 1 0 903774205 80449536 18144 4294967295 134512640 134716908 3221224576 3221220780 1075564165 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19641 18144 1111 63 0 19578 0 vsize: 78564 [startup+1040.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 65749 0 0 0 103828 187 0 0 25 0 1 0 903774205 80809984 18181 4294967295 134512640 134716908 3221224576 3221220816 1075115747 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19729 18181 1111 63 0 19666 0 vsize: 78916 [startup+1050.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 66932 0 0 0 104825 190 0 0 25 0 1 0 903774205 71196672 16670 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17382 16670 1111 63 0 17319 0 vsize: 69528 [startup+1060.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 67078 0 0 0 105824 192 0 0 25 0 1 0 903774205 71794688 16816 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17528 16816 1111 63 0 17465 0 vsize: 70112 [startup+1070.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 68543 0 0 0 106821 195 0 0 25 0 1 0 903774205 82030592 17869 4294967295 134512640 134716908 3221224576 3221220796 1075116731 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20027 17869 1111 63 0 19964 0 vsize: 80108 [startup+1080.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 68546 0 0 0 107821 195 0 0 25 0 1 0 903774205 82030592 17872 4294967295 134512640 134716908 3221224576 3221220632 1074789815 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20027 17872 1111 63 0 19964 0 vsize: 80108 [startup+1090.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 68551 0 0 0 108821 195 0 0 25 0 1 0 903774205 82030592 17877 4294967295 134512640 134716908 3221224576 3221220912 1075113508 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20027 17877 1111 63 0 19964 0 vsize: 80108 [startup+1100.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 68551 0 0 0 109822 195 0 0 25 0 1 0 903774205 82030592 17877 4294967295 134512640 134716908 3221224576 3221220796 1075116508 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20027 17877 1111 63 0 19964 0 vsize: 80108 [startup+1110.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 68554 0 0 0 110822 195 0 0 25 0 1 0 903774205 82030592 17880 4294967295 134512640 134716908 3221224576 3221220848 1074960868 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20027 17880 1111 63 0 19964 0 vsize: 80108 [startup+1120.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 69167 0 0 0 111821 196 0 0 25 0 1 0 903774205 79740928 17948 4294967295 134512640 134716908 3221224576 3221220816 1075115747 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19468 17948 1111 63 0 19405 0 vsize: 77872 [startup+1130.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 69198 0 0 0 112821 197 0 0 25 0 1 0 903774205 79937536 17979 4294967295 134512640 134716908 3221224576 3221220588 1074788950 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19516 17979 1111 63 0 19453 0 vsize: 78064 [startup+1140.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 71422 0 0 0 113815 203 0 0 25 0 1 0 903774205 79192064 16979 4294967295 134512640 134716908 3221224576 3221220796 1075116731 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19334 16979 1111 63 0 19271 0 vsize: 77336 [startup+1150.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 71960 0 0 0 114813 205 0 0 25 0 1 0 903774205 71458816 16734 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17446 16734 1111 63 0 17383 0 vsize: 69784 [startup+1160.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 73471 0 0 0 115809 208 0 0 25 0 1 0 903774205 81772544 17773 4294967295 134512640 134716908 3221224576 3221220796 1075116471 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19964 17773 1111 63 0 19901 0 vsize: 79856 [startup+1170.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 74159 0 0 0 116808 210 0 0 25 0 1 0 903774205 79659008 17921 4294967295 134512640 134716908 3221224576 3221221640 1075007302 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19448 17921 1111 63 0 19385 0 vsize: 77792 [startup+1180.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 74699 0 0 0 117807 211 0 0 25 0 1 0 903774205 79659008 17923 4294967295 134512640 134716908 3221224576 3221220720 1074969461 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19448 17923 1111 63 0 19385 0 vsize: 77792 [startup+1190.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 74712 0 0 0 118807 211 0 0 25 0 1 0 903774205 79659008 17936 4294967295 134512640 134716908 3221224576 3221220816 1075115715 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19448 17936 1111 63 0 19385 0 vsize: 77792 [startup+1200.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) R 14841 31399 31398 0 -1 0 74733 0 0 0 119807 211 0 0 25 0 1 0 903774205 79855616 17957 4294967295 134512640 134716908 3221224576 3221220848 1074960912 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19496 17957 1111 63 0 19433 0 vsize: 77984 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.06 s] Raw data (loadavg): 0.99 0.97 0.91 1/54 14842 Raw data (stat): 14842 (bsolo_lpr_cuts-) Z 14841 31399 31398 0 -1 1036 74733 0 0 0 119808 214 0 0 25 0 1 0 903774205 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.06 CPU time (s): 1200.23 CPU user time (s): 1198.08 CPU system time (s): 2.14667 CPU usage (%): 100.014 Max. virtual memory (Kb): 80800 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####