Name | normalized-opb/submitted/een/normalized-stein45.opb |
MD5SUM | 34647f6a75058de4a92f0ff94f3c9005 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 30 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 45 |
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 | 45 |
Number of bits of the sum of numbers in the objective function | 6 |
Biggest number in a constraint | 22 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 67 |
Number of bits of the biggest sum of numbers | 7 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.01484 |
Number of variables | 45 |
Total number of constraints | 331 |
Number of constraints which are clauses | 330 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 45 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc2 THE 2005-06-09 03:32:53 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=29015 boxname=wulflinc2 idbench=401 idsolver=21 numberseed=0 MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2 MD5SUM BENCH: 34647f6a75058de4a92f0ff94f3c9005 /oldhome/oroussel/tmp/wulflinc2/normalized-stein45.opb REAL COMMAND: bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-stein45.opb IDLAUNCH: 29015 /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: 881244 kB Buffers: 23088 kB Cached: 105856 kB SwapCached: 4472 kB Active: 25096 kB Inactive: 108988 kB HighTotal: 131008 kB HighFree: 25956 kB LowTotal: 903652 kB LowFree: 855288 kB SwapTotal: 2097136 kB SwapFree: 2091616 kB Dirty: 28 kB Writeback: 0 kB Mapped: 4988 kB Slab: 13628 kB Committed_AS: 71788 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-09 03:52:30 (client local time) WITH STATUS 10 IN 1176.61 SECONDS stats: 29015 0 1176.61 10 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 45 variables and 331 constraints. c After prepocess the problem consists of 45 variables and 331 constraints. c preprocess terminated 0.083 s c Initial Lower Bound: 22 c Lower Bound Elapsed time: 0.059 c Not use computed LB before first solution. c NEW SOLUTION FOUND: 39 @ 0.144 c NEW SOLUTION FOUND: 38 @ 0.147 c NEW SOLUTION FOUND: 37 @ 0.15 c NEW SOLUTION FOUND: 36 @ 0.159 c NEW SOLUTION FOUND: 35 @ 0.162 c NEW SOLUTION FOUND: 34 @ 0.174 c NEW SOLUTION FOUND: 33 @ 0.258 c NEW SOLUTION FOUND: 32 @ 0.354 c NEW SOLUTION FOUND: 31 @ 1.473 c NEW SOLUTION FOUND: 30 @ 182.853 s SATISFIABLE v x0 -x1 x2 x3 -x4 x5 x6 -x7 x8 -x9 -x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 -x24 x25 x26 x27 -x28 -x29 -x30 -x31 x32 -x33 x34 -x35 x36 x37 -x38 x39 x40 -x41 -x42 x43 x44 c Exit Code: 10 c Total time: 1176.58 s #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Enforcing Stack size limit: 67108864 bytes Current StackSize limit: 67108864 bytes Raw data (loadavg): 0.91 0.95 0.90 2/54 19157 Raw data (stat): 19157 (runsolver) R 19156 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 907066516 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.0002 s] Raw data (loadavg): 0.93 0.95 0.90 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 12983 0 0 0 960 37 0 0 25 0 1 0 907066516 6565888 916 4294967295 134512640 134716908 3221224576 3221221680 1074138623 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1603 916 1111 63 0 1540 0 vsize: 6412 [startup+20.0003 s] Raw data (loadavg): 0.94 0.96 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 27364 0 0 0 1923 75 0 0 25 0 1 0 907066516 7372800 1115 4294967295 134512640 134716908 3221224576 3221221768 1074138265 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1800 1115 1111 63 0 1737 0 vsize: 7200 [startup+30.0006 s] Raw data (loadavg): 0.95 0.96 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 42057 0 0 0 2886 112 0 0 25 0 1 0 907066516 8294400 1287 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2025 1287 1111 63 0 1962 0 vsize: 8100 [startup+40.0003 s] Raw data (loadavg): 0.95 0.96 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 57797 0 0 0 3847 151 0 0 25 0 1 0 907066516 9023488 1461 4294967295 134512640 134716908 3221224576 3221220620 1074860372 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2203 1461 1111 63 0 2140 0 vsize: 8812 [startup+50.0014 s] Raw data (loadavg): 0.96 0.96 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 71680 0 0 0 4812 186 0 0 25 0 1 0 907066516 9224192 1568 4294967295 134512640 134716908 3221224576 3221222792 1074138150 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2252 1568 1111 63 0 2189 0 vsize: 9008 [startup+60.0016 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 87040 0 0 0 5773 225 0 0 25 0 1 0 907066516 10285056 1748 4294967295 134512640 134716908 3221224576 3221222144 1075972440 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2511 1754 1111 63 0 2448 0 vsize: 10044 [startup+70.0015 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 100599 0 0 0 6738 260 0 0 25 0 1 0 907066516 10407936 1857 4294967295 134512640 134716908 3221224576 3221223236 134652240 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2541 1857 1111 63 0 2478 0 vsize: 10164 [startup+80.0023 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 114345 0 0 0 7705 294 0 0 25 0 1 0 907066516 11325440 2021 4294967295 134512640 134716908 3221224576 3221221344 1076083615 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2765 2021 1111 63 0 2702 0 vsize: 11060 [startup+90.0016 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 126828 0 0 0 8672 326 0 0 25 0 1 0 907066516 11403264 2102 4294967295 134512640 134716908 3221224576 3221222360 1077410163 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2784 2102 1111 63 0 2721 0 vsize: 11136 [startup+100.001 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 141681 0 0 0 9633 366 0 0 25 0 1 0 907066516 12152832 2236 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2967 2236 1111 63 0 2904 0 vsize: 11868 [startup+110.001 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 157198 0 0 0 10594 405 0 0 25 0 1 0 907066516 13238272 2489 4294967295 134512640 134716908 3221224576 3221220804 1075114940 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3232 2489 1111 63 0 3169 0 vsize: 12928 [startup+120.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 171683 0 0 0 11561 438 0 0 25 0 1 0 907066516 13221888 2498 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3228 2498 1111 63 0 3165 0 vsize: 12912 [startup+130.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 186924 0 0 0 12522 477 0 0 25 0 1 0 907066516 13418496 2594 4294967295 134512640 134716908 3221224576 3221223104 134652466 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3276 2594 1111 63 0 3213 0 vsize: 13104 [startup+140 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 201729 0 0 0 13488 512 0 0 25 0 1 0 907066516 13910016 2714 4294967295 134512640 134716908 3221224576 3221222880 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3396 2714 1111 63 0 3333 0 vsize: 13584 [startup+150.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 215133 0 0 0 14455 544 0 0 25 0 1 0 907066516 14532608 2807 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3548 2807 1111 63 0 3485 0 vsize: 14192 [startup+160.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 229446 0 0 0 15418 581 0 0 25 0 1 0 907066516 14987264 2976 4294967295 134512640 134716908 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3659 2976 1111 63 0 3596 0 vsize: 14636 [startup+170 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 244350 0 0 0 16383 616 0 0 25 0 1 0 907066516 15122432 3013 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3692 3013 1111 63 0 3629 0 vsize: 14768 [startup+180 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 259121 0 0 0 17350 650 0 0 25 0 1 0 907066516 16125952 3129 4294967295 134512640 134716908 3221224576 3221221232 1075966765 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3937 3129 1111 63 0 3874 0 vsize: 15748 [startup+190 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 271795 0 0 0 18320 679 0 0 25 0 1 0 907066516 16343040 3313 4294967295 134512640 134716908 3221224576 3221222576 1074918576 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3990 3313 1111 63 0 3927 0 vsize: 15960 [startup+200.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 285288 0 0 0 19286 714 0 0 25 0 1 0 907066516 16138240 3265 4294967295 134512640 134716908 3221224576 3221222460 1074057894 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3940 3265 1111 63 0 3877 0 vsize: 15760 [startup+210 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 298511 0 0 0 20255 745 0 0 25 0 1 0 907066516 16441344 3339 4294967295 134512640 134716908 3221224576 3221223236 134652240 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4014 3339 1111 63 0 3951 0 vsize: 16056 [startup+220 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 311412 0 0 0 21219 781 0 0 25 0 1 0 907066516 16588800 3375 4294967295 134512640 134716908 3221224576 3221222800 1074146354 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4050 3375 1111 63 0 3987 0 vsize: 16200 [startup+230 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 325625 0 0 0 22184 817 0 0 25 0 1 0 907066516 17612800 3507 4294967295 134512640 134716908 3221224576 3221222536 1077410205 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4300 3513 1111 63 0 4237 0 vsize: 17200 [startup+239.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 340227 0 0 0 23149 852 0 0 25 0 1 0 907066516 17072128 3493 4294967295 134512640 134716908 3221224576 3221222864 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4168 3493 1111 63 0 4105 0 vsize: 16672 [startup+249.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 352732 0 0 0 24118 882 0 0 25 0 1 0 907066516 19410944 4009 4294967295 134512640 134716908 3221224576 3221221120 1075088573 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4739 4009 1111 63 0 4676 0 vsize: 18956 [startup+260 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 365351 0 0 0 25084 917 0 0 25 0 1 0 907066516 17612800 3625 4294967295 134512640 134716908 3221224576 3221222688 1074867340 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4300 3625 1111 63 0 4237 0 vsize: 17200 [startup+269.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 378693 0 0 0 26052 949 0 0 25 0 1 0 907066516 17940480 3705 4294967295 134512640 134716908 3221224576 3221222304 1075828232 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4380 3705 1111 63 0 4317 0 vsize: 17520 [startup+280 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 391562 0 0 0 27018 983 0 0 25 0 1 0 907066516 18063360 3732 4294967295 134512640 134716908 3221224576 3221223040 1074121080 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4410 3732 1111 63 0 4347 0 vsize: 17640 [startup+290.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 403582 0 0 0 27990 1011 0 0 25 0 1 0 907066516 18939904 3920 4294967295 134512640 134716908 3221224576 3221222560 1075463363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4624 3920 1111 63 0 4561 0 vsize: 18496 [startup+300.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 417808 0 0 0 28954 1048 0 0 25 0 1 0 907066516 18563072 3828 4294967295 134512640 134716908 3221224576 3221222912 1074153158 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4532 3828 1111 63 0 4469 0 vsize: 18128 [startup+310.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 429582 0 0 0 29924 1078 0 0 25 0 1 0 907066516 18796544 3914 4294967295 134512640 134716908 3221224576 3221223184 134652370 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4589 3914 1111 63 0 4526 0 vsize: 18356 [startup+320.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 441586 0 0 0 30892 1110 0 0 25 0 1 0 907066516 19189760 3979 4294967295 134512640 134716908 3221224576 3221222688 1074867340 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4685 3979 1111 63 0 4622 0 vsize: 18740 [startup+330.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 454369 0 0 0 31859 1143 0 0 25 0 1 0 907066516 19304448 4008 4294967295 134512640 134716908 3221224576 3221222928 1074153773 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4713 4008 1111 63 0 4650 0 vsize: 18852 [startup+340.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 467080 0 0 0 32828 1175 0 0 25 0 1 0 907066516 19492864 4084 4294967295 134512640 134716908 3221224576 3221221696 1074866635 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4759 4084 1111 63 0 4696 0 vsize: 19036 [startup+350.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 480349 0 0 0 33793 1209 0 0 25 0 1 0 907066516 20832256 4158 4294967295 134512640 134716908 3221224576 3221221616 1075971414 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5086 4162 1111 63 0 5023 0 vsize: 20344 [startup+360.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 493171 0 0 0 34763 1240 0 0 25 0 1 0 907066516 19648512 4122 4294967295 134512640 134716908 3221224576 3221222792 1077404705 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4797 4122 1111 63 0 4734 0 vsize: 19188 [startup+370.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 506281 0 0 0 35730 1273 0 0 25 0 1 0 907066516 19828736 4166 4294967295 134512640 134716908 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4841 4166 1111 63 0 4778 0 vsize: 19364 [startup+380.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 518553 0 0 0 36699 1305 0 0 25 0 1 0 907066516 20045824 4219 4294967295 134512640 134716908 3221224576 3221222880 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4894 4219 1111 63 0 4831 0 vsize: 19576 [startup+390.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 532429 0 0 0 37663 1341 0 0 25 0 1 0 907066516 20287488 4278 4294967295 134512640 134716908 3221224576 3221222784 1074153773 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4953 4278 1111 63 0 4890 0 vsize: 19812 [startup+400.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 546185 0 0 0 38629 1374 0 0 25 0 1 0 907066516 20652032 4354 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5042 4354 1111 63 0 4979 0 vsize: 20168 [startup+410.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 556426 0 0 0 39605 1399 0 0 25 0 1 0 907066516 22220800 4490 4294967295 134512640 134716908 3221224576 3221221604 1075964255 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5097 4419 1111 63 0 5034 0 vsize: 21700 [startup+420.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 569977 0 0 0 40574 1430 0 0 25 0 1 0 907066516 23052288 4813 4294967295 134512640 134716908 3221224576 3221221648 1074867308 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5628 4813 1111 63 0 5565 0 vsize: 22512 [startup+430.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 584332 0 0 0 41538 1466 0 0 25 0 1 0 907066516 22564864 4559 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5509 4565 1111 63 0 5446 0 vsize: 22036 [startup+440.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 595990 0 0 0 42509 1496 0 0 25 0 1 0 907066516 21569536 4563 4294967295 134512640 134716908 3221224576 3221222736 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5266 4563 1111 63 0 5203 0 vsize: 21064 [startup+450.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 610613 0 0 0 43470 1535 0 0 25 0 1 0 907066516 22958080 4649 4294967295 134512640 134716908 3221224576 3221221388 1074788944 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5496 4625 1111 63 0 5433 0 vsize: 22420 [startup+460.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 622989 0 0 0 44439 1566 0 0 25 0 1 0 907066516 23572480 4879 4294967295 134512640 134716908 3221224576 3221221620 1074846214 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5755 4879 1111 63 0 5692 0 vsize: 23020 [startup+470.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 636528 0 0 0 45404 1601 0 0 25 0 1 0 907066516 21925888 4678 4294967295 134512640 134716908 3221224576 3221222688 1074867320 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5353 4678 1111 63 0 5290 0 vsize: 21412 [startup+480.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 650937 0 0 0 46366 1639 0 0 25 0 1 0 907066516 22069248 4713 4294967295 134512640 134716908 3221224576 3221222600 1077380286 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5388 4713 1111 63 0 5325 0 vsize: 21552 [startup+490.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 663963 0 0 0 47332 1673 0 0 25 0 1 0 907066516 22368256 4786 4294967295 134512640 134716908 3221224576 3221223252 134535756 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5461 4786 1111 63 0 5398 0 vsize: 21844 [startup+500.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 673024 0 0 0 48311 1696 0 0 25 0 1 0 907066516 22507520 4820 4294967295 134512640 134716908 3221224576 3221222320 1075645388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5495 4820 1111 63 0 5432 0 vsize: 21980 [startup+510.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 685464 0 0 0 49280 1727 0 0 25 0 1 0 907066516 23261184 4954 4294967295 134512640 134716908 3221224576 3221222688 1074867305 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5679 4954 1111 63 0 5616 0 vsize: 22716 [startup+520.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 699357 0 0 0 50247 1760 0 0 25 0 1 0 907066516 22708224 4869 4294967295 134512640 134716908 3221224576 3221222880 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5544 4869 1111 63 0 5481 0 vsize: 22176 [startup+530.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 712018 0 0 0 51217 1790 0 0 25 0 1 0 907066516 24563712 5089 4294967295 134512640 134716908 3221224576 3221220944 1075894538 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5997 5089 1111 63 0 5934 0 vsize: 23988 [startup+540.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 725196 0 0 0 52183 1824 0 0 25 0 1 0 907066516 24862720 5249 4294967295 134512640 134716908 3221224576 3221220688 1075895661 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6070 5249 1111 63 0 6007 0 vsize: 24280 [startup+550.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 738232 0 0 0 53151 1857 0 0 25 0 1 0 907066516 25554944 5353 4294967295 134512640 134716908 3221224576 3221221232 1075967404 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6239 5354 1111 63 0 6176 0 vsize: 24956 [startup+560.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 752632 0 0 0 54116 1892 0 0 25 0 1 0 907066516 23543808 5073 4294967295 134512640 134716908 3221224576 3221222864 1074153786 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5748 5073 1111 63 0 5685 0 vsize: 22992 [startup+570.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 765022 0 0 0 55084 1924 0 0 25 0 1 0 907066516 23937024 5165 4294967295 134512640 134716908 3221224576 3221222576 1074916744 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5844 5165 1111 63 0 5781 0 vsize: 23376 [startup+580.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 778556 0 0 0 56050 1958 0 0 25 0 1 0 907066516 24576000 5291 4294967295 134512640 134716908 3221224576 3221222912 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6000 5291 1111 63 0 5937 0 vsize: 24000 [startup+590.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 788271 0 0 0 57025 1983 0 0 25 0 1 0 907066516 24276992 5252 4294967295 134512640 134716908 3221224576 3221222912 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5927 5252 1111 63 0 5864 0 vsize: 23708 [startup+600.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 799486 0 0 0 57998 2011 0 0 25 0 1 0 907066516 24506368 5277 4294967295 134512640 134716908 3221224576 3221222832 1074153786 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5983 5277 1111 63 0 5920 0 vsize: 23932 [startup+610.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 810931 0 0 0 58970 2039 0 0 25 0 1 0 907066516 26038272 5382 4294967295 134512640 134716908 3221224576 3221221616 1075971395 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6357 5388 1111 63 0 6294 0 vsize: 25428 [startup+620.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 823520 0 0 0 59940 2069 0 0 25 0 1 0 907066516 25001984 5397 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6104 5397 1111 63 0 6041 0 vsize: 24416 [startup+630.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 835463 0 0 0 60911 2098 0 0 25 0 1 0 907066516 26034176 5510 4294967295 134512640 134716908 3221224576 3221222204 1075112132 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6356 5510 1111 63 0 6293 0 vsize: 25424 [startup+640.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 847729 0 0 0 61880 2129 0 0 25 0 1 0 907066516 25247744 5489 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6164 5489 1111 63 0 6101 0 vsize: 24656 [startup+650.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 859189 0 0 0 62852 2157 0 0 25 0 1 0 907066516 26894336 5651 4294967295 134512640 134716908 3221224576 3221220804 1075115039 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6566 5651 1111 63 0 6503 0 vsize: 26264 [startup+660.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 872424 0 0 0 63818 2192 0 0 25 0 1 0 907066516 27127808 5654 4294967295 134512640 134716908 3221224576 3221220668 1075663503 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6623 5654 1111 63 0 6560 0 vsize: 26492 [startup+670.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 886183 0 0 0 64786 2224 0 0 25 0 1 0 907066516 26562560 5614 4294967295 134512640 134716908 3221224576 3221221616 1075971414 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6485 5621 1111 63 0 6422 0 vsize: 25940 [startup+680.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 897470 0 0 0 65756 2254 0 0 25 0 1 0 907066516 26337280 5755 4294967295 134512640 134716908 3221224576 3221222416 1077814665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6430 5755 1111 63 0 6367 0 vsize: 25720 [startup+690.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 905142 0 0 0 66737 2273 0 0 25 0 1 0 907066516 26038272 5670 4294967295 134512640 134716908 3221224576 3221222576 1074917162 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6357 5670 1111 63 0 6294 0 vsize: 25428 [startup+700.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 920553 0 0 0 67699 2311 0 0 25 0 1 0 907066516 26304512 5737 4294967295 134512640 134716908 3221224576 3221222576 1074916750 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6422 5737 1111 63 0 6359 0 vsize: 25688 [startup+710.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 933780 0 0 0 68666 2345 0 0 25 0 1 0 907066516 26546176 5806 4294967295 134512640 134716908 3221224576 3221223040 1074121067 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6481 5806 1111 63 0 6418 0 vsize: 25924 [startup+720.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 946835 0 0 0 69636 2375 0 0 25 0 1 0 907066516 26791936 5859 4294967295 134512640 134716908 3221224576 3221222928 1074153786 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6541 5859 1111 63 0 6478 0 vsize: 26164 [startup+730.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 959089 0 0 0 70604 2408 0 0 25 0 1 0 907066516 27860992 5900 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6802 5900 1111 63 0 6739 0 vsize: 27208 [startup+740.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 974666 0 0 0 71565 2447 0 0 25 0 1 0 907066516 26980352 5912 4294967295 134512640 134716908 3221224576 3221222832 1074153760 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6587 5912 1111 63 0 6524 0 vsize: 26348 [startup+750.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 986733 0 0 0 72535 2476 0 0 25 0 1 0 907066516 28856320 6183 4294967295 134512640 134716908 3221224576 3221221344 1076083429 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7045 6183 1111 63 0 6982 0 vsize: 28180 [startup+760.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 1001046 0 0 0 73499 2513 0 0 25 0 1 0 907066516 27561984 6054 4294967295 134512640 134716908 3221224576 3221222360 1077410205 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6729 6054 1111 63 0 6666 0 vsize: 26916 [startup+770.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 1013688 0 0 0 74467 2545 0 0 25 0 1 0 907066516 28323840 6201 4294967295 134512640 134716908 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6915 6201 1111 63 0 6852 0 vsize: 27660 [startup+780.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 1025035 0 0 0 75439 2574 0 0 25 0 1 0 907066516 27787264 6109 4294967295 134512640 134716908 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6784 6109 1111 63 0 6721 0 vsize: 27136 [startup+790.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 1037736 0 0 0 76405 2608 0 0 25 0 1 0 907066516 28200960 6179 4294967295 134512640 134716908 3221224576 3221222864 1074153760 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6885 6179 1111 63 0 6822 0 vsize: 27540 [startup+800.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 1051050 0 0 0 77370 2642 0 0 25 0 1 0 907066516 28303360 6235 4294967295 134512640 134716908 3221224576 3221222224 1074247421 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6910 6235 1111 63 0 6847 0 vsize: 27640 [startup+810.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 1060441 0 0 0 78346 2667 0 0 25 0 1 0 907066516 28803072 6353 4294967295 134512640 134716908 3221224576 3221222512 1077814665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7032 6353 1111 63 0 6969 0 vsize: 28128 [startup+820.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 1072296 0 0 0 79320 2693 0 0 25 0 1 0 907066516 28434432 6267 4294967295 134512640 134716908 3221224576 3221222880 1074153792 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6942 6267 1111 63 0 6879 0 vsize: 27768 [startup+830.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 1085980 0 0 0 80288 2725 0 0 25 0 1 0 907066516 28733440 6340 4294967295 134512640 134716908 3221224576 3221223224 134543568 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7015 6340 1111 63 0 6952 0 vsize: 28060 [startup+840.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 1099175 0 0 0 81255 2758 0 0 25 0 1 0 907066516 31535104 6735 4294967295 134512640 134716908 3221224576 3221220944 1075894538 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7699 6735 1111 63 0 7636 0 vsize: 30796 [startup+850.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 1111957 0 0 0 82226 2787 0 0 25 0 1 0 907066516 28995584 6404 4294967295 134512640 134716908 3221224576 3221223032 134543168 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7079 6404 1111 63 0 7016 0 vsize: 28316 [startup+860.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 1125475 0 0 0 83195 2819 0 0 25 0 1 0 907066516 29614080 6531 4294967295 134512640 134716908 3221224576 3221222688 1074867340 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7205 6527 1111 63 0 7142 0 vsize: 28920 [startup+870.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 1136793 0 0 0 84167 2847 0 0 25 0 1 0 907066516 30756864 6610 4294967295 134512640 134716908 3221224576 3221221108 1075863609 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7509 6610 1111 63 0 7446 0 vsize: 30036 [startup+880.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 1148990 0 0 0 85137 2877 0 0 25 0 1 0 907066516 29728768 6583 4294967295 134512640 134716908 3221224576 3221222320 1075640218 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7258 6583 1111 63 0 7195 0 vsize: 29032 [startup+890.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 1163119 0 0 0 86102 2912 0 0 25 0 1 0 907066516 30904320 6639 4294967295 134512640 134716908 3221224576 3221222204 1074619284 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7545 6639 1111 63 0 7482 0 vsize: 30180 [startup+900.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 1173420 0 0 0 87079 2935 0 0 25 0 1 0 907066516 31752192 6881 4294967295 134512640 134716908 3221224576 3221221232 1075969188 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7752 6881 1111 63 0 7689 0 vsize: 31008 [startup+910.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 1186333 0 0 0 88049 2965 0 0 25 0 1 0 907066516 30281728 6718 4294967295 134512640 134716908 3221224576 3221222812 1077404755 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7393 6718 1111 63 0 7330 0 vsize: 29572 [startup+920.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 1202633 0 0 0 89009 3006 0 0 25 0 1 0 907066516 32260096 6835 4294967295 134512640 134716908 3221224576 3221221168 1074887946 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7876 6835 1111 63 0 7813 0 vsize: 31504 [startup+930.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 1214751 0 0 0 89981 3034 0 0 25 0 1 0 907066516 31789056 6859 4294967295 134512640 134716908 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7761 6872 1111 63 0 7698 0 vsize: 31044 [startup+940.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 1227348 0 0 0 90951 3065 0 0 25 0 1 0 907066516 32878592 7023 4294967295 134512640 134716908 3221224576 3221220848 1074960837 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8027 7023 1111 63 0 7964 0 vsize: 32108 [startup+950.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 1240997 0 0 0 91919 3097 0 0 25 0 1 0 907066516 31227904 6938 4294967295 134512640 134716908 3221224576 3221222856 1074138277 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7624 6938 1111 63 0 7561 0 vsize: 30496 [startup+960.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 1254225 0 0 0 92887 3129 0 0 25 0 1 0 907066516 31694848 7034 4294967295 134512640 134716908 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7738 7034 1111 63 0 7675 0 vsize: 30952 [startup+970.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 1265412 0 0 0 93863 3153 0 0 25 0 1 0 907066516 31801344 7043 4294967295 134512640 134716908 3221224576 3221221768 1074138316 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7764 7054 1111 63 0 7701 0 vsize: 31056 [startup+980.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 1278712 0 0 0 94833 3183 0 0 25 0 1 0 907066516 31633408 7048 4294967295 134512640 134716908 3221224576 3221222912 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7723 7048 1111 63 0 7660 0 vsize: 30892 [startup+990.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 1294387 0 0 0 95796 3220 0 0 25 0 1 0 907066516 33546240 7280 4294967295 134512640 134716908 3221224576 3221220736 1075095371 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8190 7289 1111 63 0 8127 0 vsize: 32760 [startup+1000.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 1308664 0 0 0 96763 3254 0 0 25 0 1 0 907066516 34492416 7470 4294967295 134512640 134716908 3221224576 3221220804 1075115043 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8421 7470 1111 63 0 8358 0 vsize: 33684 [startup+1010.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 1322264 0 0 0 97730 3286 0 0 25 0 1 0 907066516 32129024 7169 4294967295 134512640 134716908 3221224576 3221223176 134543176 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7844 7169 1111 63 0 7781 0 vsize: 31376 [startup+1020.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 1336172 0 0 0 98698 3318 0 0 25 0 1 0 907066516 32555008 7273 4294967295 134512640 134716908 3221224576 3221222880 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7948 7273 1111 63 0 7885 0 vsize: 31792 [startup+1030.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 1348855 0 0 0 99669 3348 0 0 25 0 1 0 907066516 34721792 7506 4294967295 134512640 134716908 3221224576 3221221648 1074867308 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8477 7506 1111 63 0 8414 0 vsize: 33908 [startup+1040.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 1363831 0 0 0 100631 3386 0 0 25 0 1 0 907066516 33116160 7410 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8085 7410 1111 63 0 8022 0 vsize: 32340 [startup+1050.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 1374874 0 0 0 101606 3411 0 0 25 0 1 0 907066516 34824192 7515 4294967295 134512640 134716908 3221224576 3221221520 1074620277 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8502 7515 1111 63 0 8439 0 vsize: 34008 [startup+1060.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 1386613 0 0 0 102578 3440 0 0 25 0 1 0 907066516 33693696 7551 4294967295 134512640 134716908 3221224576 3221222960 1074153792 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8226 7551 1111 63 0 8163 0 vsize: 32904 [startup+1070.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 1399004 0 0 0 103550 3468 0 0 25 0 1 0 907066516 33693696 7551 4294967295 134512640 134716908 3221224576 3221223156 134543092 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8226 7551 1111 63 0 8163 0 vsize: 32904 [startup+1080.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 1410931 0 0 0 104522 3496 0 0 25 0 1 0 907066516 34402304 7702 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8399 7702 1111 63 0 8336 0 vsize: 33596 [startup+1090.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 1416320 0 0 0 105510 3508 0 0 25 0 1 0 907066516 33992704 7624 4294967295 134512640 134716908 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8299 7624 1111 63 0 8236 0 vsize: 33196 [startup+1100.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 1428893 0 0 0 106483 3536 0 0 25 0 1 0 907066516 33931264 7609 4294967295 134512640 134716908 3221224576 3221222600 1077380592 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8284 7609 1111 63 0 8221 0 vsize: 33136 [startup+1110.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 1438894 0 0 0 107459 3560 0 0 25 0 1 0 907066516 34185216 7659 4294967295 134512640 134716908 3221224576 3221222576 1074919272 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8346 7659 1111 63 0 8283 0 vsize: 33384 [startup+1120.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 1450070 0 0 0 108434 3585 0 0 25 0 1 0 907066516 34979840 7856 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8540 7856 1111 63 0 8477 0 vsize: 34160 [startup+1130.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 1461232 0 0 0 109407 3612 0 0 25 0 1 0 907066516 35127296 7860 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8576 7860 1111 63 0 8513 0 vsize: 34304 [startup+1140.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 1472042 0 0 0 110384 3635 0 0 25 0 1 0 907066516 35913728 7868 4294967295 134512640 134716908 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8768 7872 1111 63 0 8705 0 vsize: 35072 [startup+1150.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 1482998 0 0 0 111359 3660 0 0 25 0 1 0 907066516 35074048 7888 4294967295 134512640 134716908 3221224576 3221222416 1077814665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8563 7888 1111 63 0 8500 0 vsize: 34252 [startup+1160.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 1492293 0 0 0 112338 3682 0 0 25 0 1 0 907066516 34897920 7830 4294967295 134512640 134716908 3221224576 3221222688 1074867308 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8520 7830 1111 63 0 8457 0 vsize: 34080 [startup+1170.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 1504489 0 0 0 113309 3711 0 0 25 0 1 0 907066516 34889728 7843 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8518 7843 1111 63 0 8455 0 vsize: 34072 [startup+1176.44 s] Raw data (loadavg): 0.99 0.97 0.91 1/53 19157 Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 1504489 0 0 0 113309 3711 0 0 25 0 1 0 907066516 34889728 7843 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8518 7843 1111 63 0 8455 0 vsize: 0 Child status: 10 Real time (s): 1176.44 CPU time (s): 1176.61 CPU user time (s): 1139.27 CPU system time (s): 37.3363 CPU usage (%): 100.015 Max. virtual memory (Kb): 35072 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 30 #### END VERIFIER DATA ####