Name | normalized-opb/submitted/een/normalized-lseu.opb |
MD5SUM | a578bf261896413ca78de4dc6db2447f |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1120 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 85 |
Biggest coefficient in the objective function | 517 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 15494 |
Number of bits of the sum of numbers in the objective function | 14 |
Biggest number in a constraint | 1656 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 15494 |
Number of bits of the biggest sum of numbers | 14 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.02184 |
Number of variables | 89 |
Total number of constraints | 28 |
Number of constraints which are clauses | 2 |
Number of constraints which are cardinality constraints (but not clauses) | 15 |
Number of constraints which are nor clauses,nor cardinality constraints | 11 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 47 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc6 THE 2005-06-09 03:00:43 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=29001 boxname=wulflinc6 idbench=387 idsolver=21 numberseed=0 MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2 MD5SUM BENCH: a578bf261896413ca78de4dc6db2447f /oldhome/oroussel/tmp/wulflinc6/normalized-lseu.opb REAL COMMAND: bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-lseu.opb IDLAUNCH: 29001 /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: 903132 kB Buffers: 25108 kB Cached: 82636 kB SwapCached: 4048 kB Active: 29536 kB Inactive: 83368 kB HighTotal: 131008 kB HighFree: 49700 kB LowTotal: 903652 kB LowFree: 853432 kB SwapTotal: 2097136 kB SwapFree: 2092080 kB Dirty: 24 kB Writeback: 0 kB Mapped: 4988 kB Slab: 12972 kB Committed_AS: 63732 kB PageTables: 320 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-09 03:20:45 (client local time) WITH STATUS 0 IN 1200.44 SECONDS stats: 29001 7 1200.44 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 89 variables and 28 constraints. c After prepocess the problem consists of 89 variables and 28 constraints. c preprocess terminated 0.043 s c Initial Lower Bound: 774 c Lower Bound Elapsed time: 0.013 c Use computed LB before first solution. c NEW SOLUTION FOUND: 3058 @ 0.441 c NEW SOLUTION FOUND: 2936 @ 0.484 c NEW SOLUTION FOUND: 2933 @ 0.493 c NEW SOLUTION FOUND: 2932 @ 0.529 c NEW SOLUTION FOUND: 2722 @ 1.017 c NEW SOLUTION FOUND: 2608 @ 1.467 c NEW SOLUTION FOUND: 2602 @ 1.66 c NEW SOLUTION FOUND: 2582 @ 1.747 c NEW SOLUTION FOUND: 2492 @ 2.269 c NEW SOLUTION FOUND: 2486 @ 3.028 c NEW SOLUTION FOUND: 2464 @ 3.585 c NEW SOLUTION FOUND: 2396 @ 3.82 c NEW SOLUTION FOUND: 2317 @ 6.972 c NEW SOLUTION FOUND: 2309 @ 14.621 c NEW SOLUTION FOUND: 2307 @ 16.603 c NEW SOLUTION FOUND: 2300 @ 21.261 c NEW SOLUTION FOUND: 2232 @ 21.303 c NEW SOLUTION FOUND: 2142 @ 91.942 c NEW SOLUTION FOUND: 2141 @ 92.274 c NEW SOLUTION FOUND: 2060 @ 127.085 c NEW SOLUTION FOUND: 1975 @ 195.779 c NEW SOLUTION FOUND: 1938 @ 228.112 c NEW SOLUTION FOUND: 1935 @ 396.689 c NEW SOLUTION FOUND: 1930 @ 581.844 c NEW SOLUTION FOUND: 1929 @ 837.503 c NEW SOLUTION FOUND: 1921 @ 838.41 #### 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.96 0.97 0.91 2/54 5151 Raw data (stat): 5151 (runsolver) R 5150 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 906868839 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.0008 s] Raw data (loadavg): 0.97 0.97 0.91 2/54 5151 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 8569 0 0 0 959 38 0 0 25 0 1 0 906868839 11960320 2236 4294967295 134512640 134716908 3221224576 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2920 2236 1111 63 0 2857 0 vsize: 11680 [startup+20.0015 s] Raw data (loadavg): 0.97 0.97 0.91 2/54 5151 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 26653 0 0 0 1913 83 0 0 25 0 1 0 906868839 14241792 2797 4294967295 134512640 134716908 3221224576 3221222304 1075828569 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3477 2797 1111 63 0 3414 0 vsize: 13908 [startup+30.0024 s] Raw data (loadavg): 0.97 0.97 0.91 2/54 5151 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 48766 0 0 0 2862 134 0 0 25 0 1 0 906868839 16785408 3394 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4098 3394 1111 63 0 4035 0 vsize: 16392 [startup+40.0023 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 5153 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 59548 0 0 0 3838 159 0 0 25 0 1 0 906868839 17313792 3544 4294967295 134512640 134716908 3221224576 3221223056 134543030 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4227 3544 1111 63 0 4164 0 vsize: 16908 [startup+50.0037 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 5153 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 79810 0 0 0 4789 208 0 0 25 0 1 0 906868839 19382272 4036 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4732 4036 1111 63 0 4669 0 vsize: 18928 [startup+60.0039 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 5153 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 123332 0 0 0 5689 309 0 0 25 0 1 0 906868839 26959872 5641 4294967295 134512640 134716908 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6473 5642 1111 63 0 6410 0 vsize: 26328 [startup+70.0047 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 5153 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 148074 0 0 0 6635 364 0 0 25 0 1 0 906868839 29974528 6572 4294967295 134512640 134716908 3221224576 3221223312 134622763 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7318 6572 1111 63 0 7255 0 vsize: 29272 [startup+80.0051 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5153 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 170892 0 0 0 7583 416 0 0 25 0 1 0 906868839 31727616 6983 4294967295 134512640 134716908 3221224576 3221223312 134622759 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7746 6983 1111 63 0 7683 0 vsize: 30984 [startup+90.0052 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5153 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 201616 0 0 0 8517 482 0 0 25 0 1 0 906868839 36048896 7903 4294967295 134512640 134716908 3221224576 3221222576 1074916927 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8801 7903 1111 63 0 8738 0 vsize: 35204 [startup+100.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5153 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 244169 0 0 0 9423 577 0 0 25 0 1 0 906868839 39739392 8811 4294967295 134512640 134716908 3221224576 3221222912 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9702 8811 1111 63 0 9639 0 vsize: 38808 [startup+110.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5153 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 258480 0 0 0 10392 608 0 0 25 0 1 0 906868839 42582016 9362 4294967295 134512640 134716908 3221224576 3221220804 1075115046 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10396 9362 1111 63 0 10333 0 vsize: 41584 [startup+120.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5153 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 274864 0 0 0 11355 645 0 0 25 0 1 0 906868839 42299392 9458 4294967295 134512640 134716908 3221224576 3221222768 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10327 9458 1111 63 0 10264 0 vsize: 41308 [startup+130.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5153 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 296739 0 0 0 12302 698 0 0 25 0 1 0 906868839 45252608 9953 4294967295 134512640 134716908 3221224576 3221221564 1077404742 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10829 9947 1111 63 0 10766 0 vsize: 44192 [startup+140.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5153 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 309399 0 0 0 13273 728 0 0 25 0 1 0 906868839 45686784 10250 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11154 10250 1111 63 0 11091 0 vsize: 44616 [startup+150.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5153 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 334901 0 0 0 14216 785 0 0 25 0 1 0 906868839 50069504 11282 4294967295 134512640 134716908 3221224576 3221222576 1074918591 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12224 11282 1111 63 0 12161 0 vsize: 48896 [startup+160.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5153 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 338539 0 0 0 15208 793 0 0 25 0 1 0 906868839 48902144 11022 4294967295 134512640 134716908 3221224576 3221223288 134543176 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11939 11022 1111 63 0 11876 0 vsize: 47756 [startup+170.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5153 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 342710 0 0 0 16199 803 0 0 25 0 1 0 906868839 50237440 11198 4294967295 134512640 134716908 3221224576 3221220668 1075663518 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12265 11198 1111 63 0 12202 0 vsize: 49060 [startup+180.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5153 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 360552 0 0 0 17157 845 0 0 25 0 1 0 906868839 50040832 11298 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12217 11298 1111 63 0 12154 0 vsize: 48868 [startup+190.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5153 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 369640 0 0 0 18137 865 0 0 25 0 1 0 906868839 51003392 11535 4294967295 134512640 134716908 3221224576 3221222576 1074918599 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12452 11535 1111 63 0 12389 0 vsize: 49808 [startup+200.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5153 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 405555 0 0 0 19056 947 0 0 25 0 1 0 906868839 54063104 12250 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13254 12251 1111 63 0 13191 0 vsize: 52796 [startup+210.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5153 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 421874 0 0 0 20017 986 0 0 25 0 1 0 906868839 55500800 12583 4294967295 134512640 134716908 3221224576 3221222576 1074918583 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13550 12583 1111 63 0 13487 0 vsize: 54200 [startup+220.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5153 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 448722 0 0 0 20959 1045 0 0 25 0 1 0 906868839 59453440 13308 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14515 13308 1111 63 0 14452 0 vsize: 58060 [startup+230.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5153 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 489754 0 0 0 21866 1138 0 0 25 0 1 0 906868839 63791104 14249 4294967295 134512640 134716908 3221224576 3221221468 1077387418 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15574 14250 1111 63 0 15511 0 vsize: 62296 [startup+240.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5153 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 536476 0 0 0 22763 1241 0 0 25 0 1 0 906868839 69595136 15710 4294967295 134512640 134716908 3221224576 3221223368 134536901 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16991 15710 1111 63 0 16928 0 vsize: 67964 [startup+250.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5153 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 560669 0 0 0 23712 1293 0 0 25 0 1 0 906868839 72458240 16388 4294967295 134512640 134716908 3221224576 3221222688 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17690 16388 1111 63 0 17627 0 vsize: 70760 [startup+260.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5153 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 560895 0 0 0 24710 1295 0 0 25 0 1 0 906868839 73138176 16542 4294967295 134512640 134716908 3221224576 3221222640 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17856 16542 1111 63 0 17793 0 vsize: 71424 [startup+270.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5153 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 562101 0 0 0 25708 1298 0 0 25 0 1 0 906868839 76492800 17383 4294967295 134512640 134716908 3221224576 3221222576 1074918576 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18675 17383 1111 63 0 18612 0 vsize: 74700 [startup+280.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5155 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 562101 0 0 0 26708 1298 0 0 25 0 1 0 906868839 76492800 17383 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18675 17383 1111 63 0 18612 0 vsize: 74700 [startup+290.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5155 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 562101 0 0 0 27709 1298 0 0 25 0 1 0 906868839 76492800 17383 4294967295 134512640 134716908 3221224576 3221222576 1074918583 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18675 17383 1111 63 0 18612 0 vsize: 74700 [startup+300.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5155 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 562101 0 0 0 28709 1298 0 0 25 0 1 0 906868839 76492800 17383 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18675 17383 1111 63 0 18612 0 vsize: 74700 [startup+310.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5155 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 565922 0 0 0 29701 1306 0 0 25 0 1 0 906868839 73551872 16675 4294967295 134512640 134716908 3221224576 3221223372 134536888 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17957 16675 1111 63 0 17894 0 vsize: 71828 [startup+320.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5155 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 566558 0 0 0 30700 1308 0 0 25 0 1 0 906868839 74047488 16796 4294967295 134512640 134716908 3221224576 3221222576 1074918591 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18078 16796 1111 63 0 18015 0 vsize: 72312 [startup+330.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5155 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 570723 0 0 0 31691 1317 0 0 25 0 1 0 906868839 73654272 16700 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17982 16700 1111 63 0 17919 0 vsize: 71928 [startup+340.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5155 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 573784 0 0 0 32684 1324 0 0 25 0 1 0 906868839 73351168 16626 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17908 16626 1111 63 0 17845 0 vsize: 71632 [startup+350.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5155 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 581580 0 0 0 33666 1343 0 0 25 0 1 0 906868839 72781824 16455 4294967295 134512640 134716908 3221224576 3221222876 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17769 16455 1111 63 0 17706 0 vsize: 71076 [startup+360.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5155 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 586740 0 0 0 34654 1355 0 0 25 0 1 0 906868839 72372224 16388 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17669 16388 1111 63 0 17606 0 vsize: 70676 [startup+370.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5155 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 590858 0 0 0 35645 1365 0 0 25 0 1 0 906868839 73211904 16563 4294967295 134512640 134716908 3221224576 3221222640 1075961750 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17874 16563 1111 63 0 17811 0 vsize: 71496 [startup+380.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5155 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 610503 0 0 0 36600 1410 0 0 25 0 1 0 906868839 73097216 16544 4294967295 134512640 134716908 3221224576 3221222576 1074918343 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17846 16544 1111 63 0 17783 0 vsize: 71384 [startup+390.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5155 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 641980 0 0 0 37526 1484 0 0 25 0 1 0 906868839 75218944 17066 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18364 17066 1111 63 0 18301 0 vsize: 73456 [startup+400.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5155 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 675232 0 0 0 38451 1559 0 0 25 0 1 0 906868839 76713984 17430 4294967295 134512640 134716908 3221224576 3221223368 134543187 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18729 17430 1111 63 0 18666 0 vsize: 74916 [startup+410.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5155 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 676699 0 0 0 39446 1564 0 0 25 0 1 0 906868839 78036992 17758 4294967295 134512640 134716908 3221224576 3221222784 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19052 17758 1111 63 0 18989 0 vsize: 76208 [startup+420.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5155 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 677532 0 0 0 40445 1566 0 0 25 0 1 0 906868839 80388096 18321 4294967295 134512640 134716908 3221224576 3221222576 1074918599 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19626 18321 1111 63 0 19563 0 vsize: 78504 [startup+430.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5155 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 679060 0 0 0 41442 1570 0 0 25 0 1 0 906868839 86290432 19248 4294967295 134512640 134716908 3221224576 3221220752 1074882610 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21067 19248 1111 63 0 21004 0 vsize: 84268 [startup+440.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5155 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 680933 0 0 0 42437 1574 0 0 25 0 1 0 906868839 79671296 18066 4294967295 134512640 134716908 3221224576 3221223288 134543168 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19451 18066 1111 63 0 19388 0 vsize: 77804 [startup+450.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5155 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 684536 0 0 0 43428 1584 0 0 25 0 1 0 906868839 79417344 18041 4294967295 134512640 134716908 3221224576 3221222688 1074867347 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19389 18041 1111 63 0 19326 0 vsize: 77556 [startup+460.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5155 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 687063 0 0 0 44423 1589 0 0 25 0 1 0 906868839 78692352 17882 4294967295 134512640 134716908 3221224576 3221223380 134622499 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19212 17882 1111 63 0 19149 0 vsize: 76848 [startup+470.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5155 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 689349 0 0 0 45418 1595 0 0 25 0 1 0 906868839 77754368 17675 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18983 17675 1111 63 0 18920 0 vsize: 75932 [startup+480.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5155 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 710728 0 0 0 46365 1648 0 0 25 0 1 0 906868839 78262272 17796 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19107 17796 1111 63 0 19044 0 vsize: 76428 [startup+490.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5155 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 713827 0 0 0 47358 1656 0 0 25 0 1 0 906868839 79523840 18108 4294967295 134512640 134716908 3221224576 3221223312 134622759 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19415 18108 1111 63 0 19352 0 vsize: 77660 [startup+500.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5155 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 733049 0 0 0 48313 1701 0 0 25 0 1 0 906868839 79163392 18022 4294967295 134512640 134716908 3221224576 3221222720 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19327 18022 1111 63 0 19264 0 vsize: 77308 [startup+510.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5155 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 736880 0 0 0 49303 1711 0 0 25 0 1 0 906868839 78999552 18003 4294967295 134512640 134716908 3221224576 3221223304 134558587 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19287 18003 1111 63 0 19224 0 vsize: 77148 [startup+520.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5155 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 741883 0 0 0 50291 1723 0 0 25 0 1 0 906868839 79597568 18144 4294967295 134512640 134716908 3221224576 3221222576 1074918583 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19433 18144 1111 63 0 19370 0 vsize: 77732 [startup+530.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5155 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 747839 0 0 0 51278 1737 0 0 25 0 1 0 906868839 80035840 18256 4294967295 134512640 134716908 3221224576 3221222576 1074918576 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19540 18256 1111 63 0 19477 0 vsize: 78160 [startup+540.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5155 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 756703 0 0 0 52258 1758 0 0 25 0 1 0 906868839 79835136 18209 4294967295 134512640 134716908 3221224576 3221222480 1077814665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19491 18209 1111 63 0 19428 0 vsize: 77964 [startup+550.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5155 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 762429 0 0 0 53246 1770 0 0 25 0 1 0 906868839 79392768 18101 4294967295 134512640 134716908 3221224576 3221222736 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19383 18101 1111 63 0 19320 0 vsize: 77532 [startup+560.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5155 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 778286 0 0 0 54206 1810 0 0 25 0 1 0 906868839 80187392 18298 4294967295 134512640 134716908 3221224576 3221223312 134622763 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19577 18298 1111 63 0 19514 0 vsize: 78308 [startup+570.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5155 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 804209 0 0 0 55147 1869 0 0 25 0 1 0 906868839 87044096 19362 4294967295 134512640 134716908 3221224576 3221220944 1075894554 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21251 19362 1111 63 0 21188 0 vsize: 85004 [startup+580.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5155 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 817150 0 0 0 56116 1901 0 0 25 0 1 0 906868839 82051072 18745 4294967295 134512640 134716908 3221224576 3221223368 134558492 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20032 18745 1111 63 0 19969 0 vsize: 80128 [startup+590.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5155 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 852529 0 0 0 57031 1985 0 0 25 0 1 0 906868839 91062272 20363 4294967295 134512640 134716908 3221224576 3221220588 1074788953 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22232 20363 1111 63 0 22169 0 vsize: 88928 [startup+600.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5155 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 876244 0 0 0 57978 2039 0 0 25 0 1 0 906868839 85901312 19705 4294967295 134512640 134716908 3221224576 3221222912 1074153794 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20972 19705 1111 63 0 20909 0 vsize: 83888 [startup+610.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5155 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 909673 0 0 0 58898 2119 0 0 25 0 1 0 906868839 88219648 20268 4294967295 134512640 134716908 3221224576 3221223132 134536817 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21538 20268 1111 63 0 21475 0 vsize: 86152 [startup+620.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5155 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 910073 0 0 0 59896 2122 0 0 25 0 1 0 906868839 89522176 20594 4294967295 134512640 134716908 3221224576 3221222720 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21856 20594 1111 63 0 21793 0 vsize: 87424 [startup+630.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5155 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 910181 0 0 0 60896 2122 0 0 25 0 1 0 906868839 90054656 20702 4294967295 134512640 134716908 3221224576 3221222672 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21986 20702 1111 63 0 21923 0 vsize: 87944 [startup+640.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5155 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 910252 0 0 0 61896 2123 0 0 25 0 1 0 906868839 90288128 20773 4294967295 134512640 134716908 3221224576 3221222864 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22043 20773 1111 63 0 21980 0 vsize: 88172 [startup+650.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5155 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 911439 0 0 0 62893 2126 0 0 25 0 1 0 906868839 94662656 21467 4294967295 134512640 134716908 3221224576 3221222856 1074138316 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23111 21479 1111 63 0 23048 0 vsize: 92444 [startup+660.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5155 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 914160 0 0 0 63887 2132 0 0 25 0 1 0 906868839 100986880 23105 4294967295 134512640 134716908 3221224576 3221220736 1075095367 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24655 23105 1111 63 0 24592 0 vsize: 98620 [startup+670.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5155 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 917918 0 0 0 64879 2140 0 0 25 0 1 0 906868839 92749824 21284 4294967295 134512640 134716908 3221224576 3221223364 134622402 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22644 21284 1111 63 0 22581 0 vsize: 90576 [startup+680.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5155 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 917918 0 0 0 65880 2140 0 0 25 0 1 0 906868839 92749824 21284 4294967295 134512640 134716908 3221224576 3221223288 134543144 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22644 21284 1111 63 0 22581 0 vsize: 90576 [startup+690.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5155 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 917918 0 0 0 66880 2140 0 0 25 0 1 0 906868839 92749824 21284 4294967295 134512640 134716908 3221224576 3221223304 134622793 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22644 21284 1111 63 0 22581 0 vsize: 90576 [startup+700.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5155 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 917918 0 0 0 67881 2140 0 0 25 0 1 0 906868839 92749824 21284 4294967295 134512640 134716908 3221224576 3221223392 134622268 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22644 21284 1111 63 0 22581 0 vsize: 90576 [startup+710.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5155 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 918553 0 0 0 68879 2143 0 0 25 0 1 0 906868839 90963968 20928 4294967295 134512640 134716908 3221224576 3221222576 1074918599 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22208 20928 1111 63 0 22145 0 vsize: 88832 [startup+720.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5155 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 920789 0 0 0 69874 2147 0 0 25 0 1 0 906868839 90214400 20735 4294967295 134512640 134716908 3221224576 3221223392 134622268 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22025 20735 1111 63 0 21962 0 vsize: 88100 [startup+730.038 s] Raw data (loadavg): 1.07 0.99 0.91 2/54 5155 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 926488 0 0 0 70862 2161 0 0 25 0 1 0 906868839 89219072 20520 4294967295 134512640 134716908 3221224576 3221222460 1077404742 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21782 20520 1111 63 0 21719 0 vsize: 87128 [startup+740.038 s] Raw data (loadavg): 1.06 0.99 0.91 2/54 5155 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 948048 0 0 0 71810 2213 0 0 25 0 1 0 906868839 89608192 20615 4294967295 134512640 134716908 3221224576 3221223132 134536828 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21877 20615 1111 63 0 21814 0 vsize: 87508 [startup+750.039 s] Raw data (loadavg): 1.05 0.99 0.91 2/54 5155 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 952043 0 0 0 72800 2223 0 0 25 0 1 0 906868839 90357760 20806 4294967295 134512640 134716908 3221224576 3221223392 134622268 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22060 20806 1111 63 0 21997 0 vsize: 88240 [startup+760.04 s] Raw data (loadavg): 1.04 0.99 0.91 2/54 5155 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 964992 0 0 0 73769 2254 0 0 25 0 1 0 906868839 94261248 20807 4294967295 134512640 134716908 3221224576 3221220736 1075091317 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23013 20809 1111 63 0 22950 0 vsize: 92052 [startup+770.04 s] Raw data (loadavg): 1.04 0.99 0.91 2/54 5155 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 981358 0 0 0 74731 2293 0 0 25 0 1 0 906868839 91643904 21079 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22374 21079 1111 63 0 22311 0 vsize: 89496 [startup+780.042 s] Raw data (loadavg): 1.03 0.99 0.91 2/54 5155 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 996305 0 0 0 75693 2331 0 0 25 0 1 0 906868839 91557888 21070 4294967295 134512640 134716908 3221224576 3221222720 1074153786 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22353 21070 1111 63 0 22290 0 vsize: 89412 [startup+790.043 s] Raw data (loadavg): 1.03 0.99 0.91 2/54 5155 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 1009545 0 0 0 76660 2364 0 0 25 0 1 0 906868839 91865088 21148 4294967295 134512640 134716908 3221224576 3221222864 1074153466 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22428 21148 1111 63 0 22365 0 vsize: 89712 [startup+800.043 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 5155 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 1020183 0 0 0 77633 2392 0 0 25 0 1 0 906868839 93503488 21467 4294967295 134512640 134716908 3221224576 3221223372 134543540 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22828 21467 1111 63 0 22765 0 vsize: 91312 [startup+810.043 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 5155 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 1041880 0 0 0 78584 2442 0 0 25 0 1 0 906868839 93528064 21482 4294967295 134512640 134716908 3221224576 3221221768 1074138316 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23793 21488 1111 63 0 23730 0 vsize: 91336 [startup+820.044 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 5155 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 1082889 0 0 0 79487 2539 0 0 25 0 1 0 906868839 97177600 22327 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23725 22327 1111 63 0 23662 0 vsize: 94900 [startup+830.044 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 5155 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 1102191 0 0 0 80441 2585 0 0 25 0 1 0 906868839 97320960 22371 4294967295 134512640 134716908 3221224576 3221222504 1077380592 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23760 22371 1111 63 0 23697 0 vsize: 95040 [startup+840.045 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 5155 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 1141346 0 0 0 81349 2678 0 0 25 0 1 0 906868839 100401152 23079 4294967295 134512640 134716908 3221224576 3221222880 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24512 23079 1111 63 0 24449 0 vsize: 98048 [startup+850.047 s] Raw data (loadavg): 1.09 1.00 0.92 2/54 5155 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 1153000 0 0 0 82321 2706 0 0 25 0 1 0 906868839 104529920 23425 4294967295 134512640 134716908 3221224576 3221221496 1074950108 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25520 23425 1111 63 0 25457 0 vsize: 102080 [startup+860.046 s] Raw data (loadavg): 1.07 1.00 0.92 2/54 5155 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 1169059 0 0 0 83283 2744 0 0 25 0 1 0 906868839 104497152 23145 4294967295 134512640 134716908 3221224576 3221220736 1075091317 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25512 23145 1111 63 0 25449 0 vsize: 102048 [startup+870.045 s] Raw data (loadavg): 1.06 1.00 0.92 2/54 5155 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 1206755 0 0 0 84195 2832 0 0 25 0 1 0 906868839 103489536 23836 4294967295 134512640 134716908 3221224576 3221223288 134543176 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25266 23836 1111 63 0 25203 0 vsize: 101064 [startup+880.045 s] Raw data (loadavg): 1.05 1.00 0.92 2/54 5155 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 1238442 0 0 0 85121 2906 0 0 25 0 1 0 906868839 105279488 24240 4294967295 134512640 134716908 3221224576 3221223132 134536828 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25703 24240 1111 63 0 25640 0 vsize: 102812 [startup+890.045 s] Raw data (loadavg): 1.04 1.00 0.92 2/54 5155 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 1252725 0 0 0 86087 2941 0 0 25 0 1 0 906868839 107880448 24840 4294967295 134512640 134716908 3221224576 3221222672 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 26338 24840 1111 63 0 26275 0 vsize: 105352 [startup+900.045 s] Raw data (loadavg): 1.04 1.00 0.92 2/54 5155 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 1252862 0 0 0 87086 2942 0 0 25 0 1 0 906868839 108457984 24977 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 26479 24977 1111 63 0 26416 0 vsize: 105916 [startup+910.044 s] Raw data (loadavg): 1.03 1.00 0.92 2/54 5155 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 1252950 0 0 0 88085 2944 0 0 25 0 1 0 906868839 108810240 25065 4294967295 134512640 134716908 3221224576 3221222688 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 26565 25065 1111 63 0 26502 0 vsize: 106260 [startup+920.044 s] Raw data (loadavg): 1.02 1.00 0.92 2/54 5155 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 1253014 0 0 0 89084 2945 0 0 25 0 1 0 906868839 109072384 25129 4294967295 134512640 134716908 3221224576 3221222672 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 26629 25129 1111 63 0 26566 0 vsize: 106516 [startup+930.044 s] Raw data (loadavg): 1.02 1.00 0.92 2/54 5155 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 1253136 0 0 0 90084 2945 0 0 25 0 1 0 906868839 109694976 25251 4294967295 134512640 134716908 3221224576 3221222624 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 26781 25251 1111 63 0 26718 0 vsize: 107124 [startup+940.044 s] Raw data (loadavg): 1.02 1.00 0.92 2/54 5155 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 1253206 0 0 0 91083 2946 0 0 25 0 1 0 906868839 109912064 25321 4294967295 134512640 134716908 3221224576 3221222672 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 26834 25321 1111 63 0 26771 0 vsize: 107336 [startup+950.043 s] Raw data (loadavg): 1.01 1.00 0.92 2/54 5155 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 1253251 0 0 0 92083 2946 0 0 25 0 1 0 906868839 110096384 25366 4294967295 134512640 134716908 3221224576 3221222720 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 26879 25366 1111 63 0 26816 0 vsize: 107516 [startup+960.044 s] Raw data (loadavg): 1.01 1.00 0.92 2/54 5155 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 1253297 0 0 0 93083 2947 0 0 25 0 1 0 906868839 110284800 25412 4294967295 134512640 134716908 3221224576 3221222672 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 26925 25412 1111 63 0 26862 0 vsize: 107700 [startup+970.043 s] Raw data (loadavg): 1.01 1.00 0.92 2/54 5155 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 1253360 0 0 0 94083 2947 0 0 25 0 1 0 906868839 110612480 25475 4294967295 134512640 134716908 3221224576 3221222624 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 27005 25475 1111 63 0 26942 0 vsize: 108020 [startup+980.042 s] Raw data (loadavg): 1.01 1.00 0.92 2/54 5155 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 1253401 0 0 0 95083 2948 0 0 25 0 1 0 906868839 110780416 25516 4294967295 134512640 134716908 3221224576 3221222768 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 27046 25516 1111 63 0 26983 0 vsize: 108184 [startup+990.043 s] Raw data (loadavg): 1.01 1.00 0.92 2/54 5155 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 1253440 0 0 0 96082 2948 0 0 25 0 1 0 906868839 110940160 25555 4294967295 134512640 134716908 3221224576 3221222672 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 27085 25555 1111 63 0 27022 0 vsize: 108340 [startup+1000.04 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5155 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 1253476 0 0 0 97083 2949 0 0 25 0 1 0 906868839 111087616 25591 4294967295 134512640 134716908 3221224576 3221222688 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 27121 25591 1111 63 0 27058 0 vsize: 108484 [startup+1010.04 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5155 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 1253562 0 0 0 98082 2950 0 0 25 0 1 0 906868839 111439872 25677 4294967295 134512640 134716908 3221224576 3221222320 1077814665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 27207 25677 1111 63 0 27144 0 vsize: 108828 [startup+1020.04 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5155 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 1253594 0 0 0 99082 2950 0 0 25 0 1 0 906868839 111570944 25709 4294967295 134512640 134716908 3221224576 3221222720 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 27239 25709 1111 63 0 27176 0 vsize: 108956 [startup+1030.04 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5155 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 1253622 0 0 0 100082 2950 0 0 25 0 1 0 906868839 111685632 25737 4294967295 134512640 134716908 3221224576 3221222624 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 27267 25737 1111 63 0 27204 0 vsize: 109068 [startup+1040.04 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5155 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 1253654 0 0 0 101082 2951 0 0 25 0 1 0 906868839 111816704 25769 4294967295 134512640 134716908 3221224576 3221222720 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 27299 25769 1111 63 0 27236 0 vsize: 109196 [startup+1050.04 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5155 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 1253679 0 0 0 102081 2952 0 0 25 0 1 0 906868839 111919104 25794 4294967295 134512640 134716908 3221224576 3221222688 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 27324 25794 1111 63 0 27261 0 vsize: 109296 [startup+1060.04 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5155 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 1253739 0 0 0 103081 2952 0 0 25 0 1 0 906868839 112037888 25854 4294967295 134512640 134716908 3221224576 3221222672 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 27353 25854 1111 63 0 27290 0 vsize: 109412 [startup+1070.04 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5155 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 1253766 0 0 0 104080 2953 0 0 25 0 1 0 906868839 112148480 25881 4294967295 134512640 134716908 3221224576 3221222672 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 27380 25881 1111 63 0 27317 0 vsize: 109520 [startup+1080.04 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5155 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 1253788 0 0 0 105080 2953 0 0 25 0 1 0 906868839 112238592 25903 4294967295 134512640 134716908 3221224576 3221222624 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 27402 25903 1111 63 0 27339 0 vsize: 109608 [startup+1090.04 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5155 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 1253812 0 0 0 106080 2954 0 0 25 0 1 0 906868839 112336896 25927 4294967295 134512640 134716908 3221224576 3221222720 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 27426 25927 1111 63 0 27363 0 vsize: 109704 [startup+1100.04 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5155 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 1253839 0 0 0 107081 2954 0 0 25 0 1 0 906868839 112447488 25954 4294967295 134512640 134716908 3221224576 3221222672 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 27453 25954 1111 63 0 27390 0 vsize: 109812 [startup+1110.04 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5155 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 1253863 0 0 0 108081 2954 0 0 25 0 1 0 906868839 112545792 25978 4294967295 134512640 134716908 3221224576 3221222640 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 27477 25978 1111 63 0 27414 0 vsize: 109908 [startup+1120.04 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5155 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 1257596 0 0 0 109072 2963 0 0 25 0 1 0 906868839 122470400 28400 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29900 28400 1111 63 0 29837 0 vsize: 119600 [startup+1130.04 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5155 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 1257596 0 0 0 110072 2963 0 0 25 0 1 0 906868839 122470400 28400 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29900 28400 1111 63 0 29837 0 vsize: 119600 [startup+1140.04 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5155 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 1257596 0 0 0 111072 2963 0 0 25 0 1 0 906868839 122470400 28400 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29900 28400 1111 63 0 29837 0 vsize: 119600 [startup+1150.04 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5155 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 1257596 0 0 0 112073 2964 0 0 25 0 1 0 906868839 122470400 28400 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29900 28400 1111 63 0 29837 0 vsize: 119600 [startup+1160.04 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5155 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 1257596 0 0 0 113073 2964 0 0 25 0 1 0 906868839 122470400 28400 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29900 28400 1111 63 0 29837 0 vsize: 119600 [startup+1170.04 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5155 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 1257596 0 0 0 114073 2964 0 0 25 0 1 0 906868839 122470400 28400 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29900 28400 1111 63 0 29837 0 vsize: 119600 [startup+1180.04 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5155 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 1257596 0 0 0 115073 2964 0 0 25 0 1 0 906868839 122470400 28400 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29900 28400 1111 63 0 29837 0 vsize: 119600 [startup+1190.04 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5155 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 1257596 0 0 0 116074 2964 0 0 25 0 1 0 906868839 122470400 28400 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29900 28400 1111 63 0 29837 0 vsize: 119600 [startup+1200.04 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5155 Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 1257596 0 0 0 117074 2964 0 0 25 0 1 0 906868839 122470400 28400 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29900 28400 1111 63 0 29837 0 vsize: 119600 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.1 s] Raw data (loadavg): 1.00 1.00 0.92 1/54 5155 Raw data (stat): 5151 (bsolo_lpr_cuts-) Z 5150 25568 25567 0 -1 1036 1257596 0 0 0 117074 2969 0 0 25 0 1 0 906868839 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.1 CPU time (s): 1200.44 CPU user time (s): 1170.75 CPU system time (s): 29.6925 CPU usage (%): 100.029 Max. virtual memory (Kb): 119600 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####