Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-l152lav.opb |
MD5SUM | 9d4ce12b138a2bef65a1f401ec9d1f01 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 5046 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 1989 |
Biggest coefficient in the objective function | 268 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 382524 |
Number of bits of the sum of numbers in the objective function | 19 |
Biggest number in a constraint | 268 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 382524 |
Number of bits of the biggest sum of numbers | 19 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1175.69 |
Number of variables | 1989 |
Total number of constraints | 2086 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 2085 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 1989 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc17 THE 2005-05-24 19:15:55 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=18475 boxname=wulflinc17 idbench=1422 idsolver=2 numberseed=0 MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7 /oldhome/oroussel/solvers/bsolo_lpr_cuts MD5SUM BENCH: 9d4ce12b138a2bef65a1f401ec9d1f01 /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-13-7-l152lav.opb REAL COMMAND: bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-13-7-l152lav.opb IDLAUNCH: 18475 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.072 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 : 3 cpu MHz : 451.072 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: 888860 kB Buffers: 3192 kB Cached: 120496 kB SwapCached: 480 kB Active: 36296 kB Inactive: 90152 kB HighTotal: 131008 kB HighFree: 14560 kB LowTotal: 903652 kB LowFree: 874300 kB SwapTotal: 2097892 kB SwapFree: 2097148 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6044 kB Slab: 13800 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-24 19:35:30 (client local time) WITH STATUS 0 IN 1175.08 SECONDS stats: 18475 7 1175.08 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 1989 variables and 193 constraints. c After prepocess the problem consists of 1988 variables and 394 constraints. c preprocess terminated 74.974 s c Initial Lower Bound: 4657 c Lower Bound Elapsed time: 1.74325 c Not use computed LB before first solution. s UNKNOWN c Exit Code: 0 c Total time: 1175.02 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 Raw data (loadavg): 0.84 0.92 0.90 2/54 11716 Raw data (stat): 11716 (runsolver) R 11715 7475 7474 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 832696599 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+9.99998 s] Raw data (loadavg): 0.86 0.92 0.90 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 16288 0 0 0 959 39 0 0 25 0 1 0 832696599 69804032 16201 4294967295 134512640 134714508 3221224576 3221223304 134672948 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17042 16201 1111 63 0 16979 0 vsize: 68168 [startup+19.9993 s] Raw data (loadavg): 0.88 0.93 0.90 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 17637 0 0 0 1957 41 0 0 25 0 1 0 832696599 75350016 17550 4294967295 134512640 134714508 3221224576 3221223236 134627197 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18396 17550 1111 63 0 18333 0 vsize: 73584 [startup+29.9999 s] Raw data (loadavg): 0.90 0.93 0.90 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 17690 0 0 0 2957 41 0 0 25 0 1 0 832696599 75620352 17603 4294967295 134512640 134714508 3221224576 3221223248 134627187 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18462 17603 1111 63 0 18399 0 vsize: 73848 [startup+39.9998 s] Raw data (loadavg): 0.91 0.93 0.90 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 17741 0 0 0 3957 41 0 0 25 0 1 0 832696599 75755520 17654 4294967295 134512640 134714508 3221224576 3221223236 134627197 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18495 17654 1111 63 0 18432 0 vsize: 73980 [startup+50.0001 s] Raw data (loadavg): 0.93 0.93 0.90 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 17786 0 0 0 4957 41 0 0 25 0 1 0 832696599 76025856 17699 4294967295 134512640 134714508 3221224576 3221223248 134627187 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18561 17699 1111 63 0 18498 0 vsize: 74244 [startup+59.9997 s] Raw data (loadavg): 0.94 0.93 0.90 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 17833 0 0 0 5956 42 0 0 25 0 1 0 832696599 76161024 17746 4294967295 134512640 134714508 3221224576 3221223248 134627250 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18594 17746 1111 63 0 18531 0 vsize: 74376 [startup+70.0016 s] Raw data (loadavg): 0.95 0.93 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 17876 0 0 0 6957 42 0 0 25 0 1 0 832696599 76296192 17789 4294967295 134512640 134714508 3221224576 3221223248 134627250 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18627 17789 1111 63 0 18564 0 vsize: 74508 [startup+80.0021 s] Raw data (loadavg): 0.95 0.94 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 22821 0 0 0 7946 52 0 0 25 0 1 0 832696599 80461824 18928 4294967295 134512640 134714508 3221224576 3221222880 134539120 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19644 18928 1111 63 0 19581 0 vsize: 78576 [startup+90.0015 s] Raw data (loadavg): 0.96 0.94 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 25496 0 0 0 8939 58 0 0 25 0 1 0 832696599 81588224 19226 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19919 19226 1111 63 0 19856 0 vsize: 79676 [startup+100.002 s] Raw data (loadavg): 0.97 0.94 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 25496 0 0 0 9939 59 0 0 25 0 1 0 832696599 81588224 19226 4294967295 134512640 134714508 3221224576 3221223212 134696866 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19919 19226 1111 63 0 19856 0 vsize: 79676 [startup+110.003 s] Raw data (loadavg): 0.97 0.94 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 25766 0 0 0 10938 61 0 0 25 0 1 0 832696599 82804736 19496 4294967295 134512640 134714508 3221224576 3221223300 134535789 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20216 19496 1111 63 0 20153 0 vsize: 80864 [startup+120.002 s] Raw data (loadavg): 0.98 0.94 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 26148 0 0 0 11936 62 0 0 25 0 1 0 832696599 84279296 19878 4294967295 134512640 134714508 3221224576 3221223216 134539376 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20576 19878 1111 63 0 20513 0 vsize: 82304 [startup+130.002 s] Raw data (loadavg): 0.98 0.94 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 26503 0 0 0 12935 64 0 0 25 0 1 0 832696599 85708800 20233 4294967295 134512640 134714508 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20925 20233 1111 63 0 20862 0 vsize: 83700 [startup+140.002 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 26629 0 0 0 13934 65 0 0 25 0 1 0 832696599 86331392 20355 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21077 20355 1111 63 0 21014 0 vsize: 84308 [startup+150.002 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 26775 0 0 0 14933 66 0 0 25 0 1 0 832696599 86855680 20501 4294967295 134512640 134714508 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21205 20501 1111 63 0 21142 0 vsize: 84820 [startup+160.002 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 26951 0 0 0 15932 67 0 0 25 0 1 0 832696599 87531520 20677 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21370 20677 1111 63 0 21307 0 vsize: 85480 [startup+170.002 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 27180 0 0 0 16931 68 0 0 25 0 1 0 832696599 88449024 20904 4294967295 134512640 134714508 3221224576 3221223136 134542306 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21594 20904 1111 63 0 21531 0 vsize: 86376 [startup+180.002 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 27291 0 0 0 17931 69 0 0 25 0 1 0 832696599 88936448 21015 4294967295 134512640 134714508 3221224576 3221223324 134543124 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21713 21015 1111 63 0 21650 0 vsize: 86852 [startup+190.001 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 27513 0 0 0 18930 69 0 0 25 0 1 0 832696599 89882624 21237 4294967295 134512640 134714508 3221224576 3221223184 134549313 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21944 21237 1111 63 0 21881 0 vsize: 87776 [startup+200.002 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 27648 0 0 0 19929 70 0 0 25 0 1 0 832696599 90423296 21372 4294967295 134512640 134714508 3221224576 3221223216 134613431 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22076 21372 1111 63 0 22013 0 vsize: 88304 [startup+210.002 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 27747 0 0 0 20928 72 0 0 25 0 1 0 832696599 90828800 21471 4294967295 134512640 134714508 3221224576 3221223184 134549332 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22175 21471 1111 63 0 22112 0 vsize: 88700 [startup+220.002 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 27920 0 0 0 21928 72 0 0 25 0 1 0 832696599 91512832 21644 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22342 21644 1111 63 0 22279 0 vsize: 89368 [startup+230.002 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 28057 0 0 0 22927 74 0 0 25 0 1 0 832696599 92053504 21781 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22474 21781 1111 63 0 22411 0 vsize: 89896 [startup+240.002 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 28158 0 0 0 23926 75 0 0 25 0 1 0 832696599 92393472 21867 4294967295 134512640 134714508 3221224576 3221222972 1077379843 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22557 21867 1111 63 0 22494 0 vsize: 90228 [startup+250.002 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 28301 0 0 0 24925 76 0 0 25 0 1 0 832696599 93048832 22004 4294967295 134512640 134714508 3221224576 3221223324 134672949 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22717 22004 1111 63 0 22654 0 vsize: 90868 [startup+260.002 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 28448 0 0 0 25924 77 0 0 25 0 1 0 832696599 93589504 22151 4294967295 134512640 134714508 3221224576 3221223232 134523904 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22849 22151 1111 63 0 22786 0 vsize: 91396 [startup+270.001 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 28660 0 0 0 26923 78 0 0 25 0 1 0 832696599 94507008 22363 4294967295 134512640 134714508 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23073 22363 1111 63 0 23010 0 vsize: 92292 [startup+280.001 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 28672 0 0 0 27923 79 0 0 25 0 1 0 832696599 94507008 22375 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23073 22375 1111 63 0 23010 0 vsize: 92292 [startup+290.001 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 28840 0 0 0 28921 80 0 0 25 0 1 0 832696599 95182848 22543 4294967295 134512640 134714508 3221224576 3221223184 134549296 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23238 22543 1111 63 0 23175 0 vsize: 92952 [startup+300.002 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 28999 0 0 0 29920 81 0 0 25 0 1 0 832696599 95854592 22695 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23402 22695 1111 63 0 23339 0 vsize: 93608 [startup+310.002 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 29227 0 0 0 30919 82 0 0 25 0 1 0 832696599 96800768 22923 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23633 22923 1111 63 0 23570 0 vsize: 94532 [startup+320.001 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 29307 0 0 0 31919 83 0 0 25 0 1 0 832696599 97071104 23003 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23699 23003 1111 63 0 23636 0 vsize: 94796 [startup+330.001 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 29472 0 0 0 32918 84 0 0 25 0 1 0 832696599 97837056 23168 4294967295 134512640 134714508 3221224576 3221223180 134536817 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23886 23168 1111 63 0 23823 0 vsize: 95544 [startup+340.001 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 29687 0 0 0 33917 85 0 0 25 0 1 0 832696599 98492416 23348 4294967295 134512640 134714508 3221224576 3221223276 134552672 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24046 23348 1111 63 0 23983 0 vsize: 96184 [startup+350.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 29843 0 0 0 34917 86 0 0 25 0 1 0 832696599 99069952 23493 4294967295 134512640 134714508 3221224576 3221223184 134549313 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24187 23493 1111 63 0 24124 0 vsize: 96748 [startup+360.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 29937 0 0 0 35916 86 0 0 25 0 1 0 832696599 99475456 23587 4294967295 134512640 134714508 3221224576 3221223184 134523399 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24286 23587 1111 63 0 24223 0 vsize: 97144 [startup+370.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 30030 0 0 0 36915 88 0 0 25 0 1 0 832696599 99880960 23680 4294967295 134512640 134714508 3221224576 3221223244 134539344 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24385 23680 1111 63 0 24322 0 vsize: 97540 [startup+380.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 30060 0 0 0 37915 88 0 0 25 0 1 0 832696599 100016128 23710 4294967295 134512640 134714508 3221224576 3221223288 134591888 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24418 23710 1111 63 0 24355 0 vsize: 97672 [startup+390 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 30153 0 0 0 38914 89 0 0 25 0 1 0 832696599 100421632 23803 4294967295 134512640 134714508 3221224576 3221223116 134539237 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24517 23803 1111 63 0 24454 0 vsize: 98068 [startup+400.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 30259 0 0 0 39913 90 0 0 25 0 1 0 832696599 100818944 23909 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24614 23909 1111 63 0 24551 0 vsize: 98456 [startup+410.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 30468 0 0 0 40913 90 0 0 25 0 1 0 832696599 101715968 24117 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24833 24117 1111 63 0 24770 0 vsize: 99332 [startup+420.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 30468 0 0 0 41913 91 0 0 25 0 1 0 832696599 101666816 24117 4294967295 134512640 134714508 3221224576 3221223212 134543664 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24821 24117 1111 63 0 24758 0 vsize: 99284 [startup+430.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 30472 0 0 0 42913 91 0 0 25 0 1 0 832696599 101666816 24121 4294967295 134512640 134714508 3221224576 3221223180 134536817 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24821 24121 1111 63 0 24758 0 vsize: 99284 [startup+440 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 30511 0 0 0 43912 92 0 0 25 0 1 0 832696599 101801984 24160 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24854 24160 1111 63 0 24791 0 vsize: 99416 [startup+450.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 30746 0 0 0 44910 94 0 0 25 0 1 0 832696599 102748160 24395 4294967295 134512640 134714508 3221224576 3221223216 134539462 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25085 24395 1111 63 0 25022 0 vsize: 100340 [startup+460.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 30802 0 0 0 45910 95 0 0 25 0 1 0 832696599 103014400 24451 4294967295 134512640 134714508 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25150 24451 1111 63 0 25087 0 vsize: 100600 [startup+470.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 30832 0 0 0 46910 95 0 0 25 0 1 0 832696599 103149568 24481 4294967295 134512640 134714508 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25183 24481 1111 63 0 25120 0 vsize: 100732 [startup+480.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 30860 0 0 0 47910 95 0 0 25 0 1 0 832696599 103284736 24509 4294967295 134512640 134714508 3221224576 3221223324 134672920 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25216 24509 1111 63 0 25153 0 vsize: 100864 [startup+490.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 30943 0 0 0 48909 96 0 0 25 0 1 0 832696599 103616512 24592 4294967295 134512640 134714508 3221224576 3221223344 134592116 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25297 24592 1111 63 0 25234 0 vsize: 101188 [startup+500.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 31180 0 0 0 49908 97 0 0 25 0 1 0 832696599 104652800 24829 4294967295 134512640 134714508 3221224576 3221223344 134592116 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25550 24829 1111 63 0 25487 0 vsize: 102200 [startup+510.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 31180 0 0 0 50908 98 0 0 25 0 1 0 832696599 104546304 24829 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25524 24829 1111 63 0 25461 0 vsize: 102096 [startup+520.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 31320 0 0 0 51907 98 0 0 25 0 1 0 832696599 105218048 24969 4294967295 134512640 134714508 3221224576 3221223100 134535900 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25688 24969 1111 63 0 25625 0 vsize: 102752 [startup+530.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 31457 0 0 0 52906 99 0 0 25 0 1 0 832696599 105758720 25106 4294967295 134512640 134714508 3221224576 3221223184 134549457 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25820 25108 1111 63 0 25757 0 vsize: 103280 [startup+540 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 31512 0 0 0 53906 100 0 0 25 0 1 0 832696599 105893888 25161 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25853 25161 1111 63 0 25790 0 vsize: 103412 [startup+550.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 31594 0 0 0 54905 101 0 0 25 0 1 0 832696599 106225664 25243 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25934 25243 1111 63 0 25871 0 vsize: 103736 [startup+560.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 31612 0 0 0 55905 101 0 0 25 0 1 0 832696599 106352640 25261 4294967295 134512640 134714508 3221224576 3221223184 134549296 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25965 25261 1111 63 0 25902 0 vsize: 103860 [startup+570.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 31632 0 0 0 56905 101 0 0 25 0 1 0 832696599 106422272 25279 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25982 25279 1111 63 0 25919 0 vsize: 103928 [startup+580.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 31770 0 0 0 57904 102 0 0 25 0 1 0 832696599 106659840 25350 4294967295 134512640 134714508 3221224576 3221223344 134592116 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 26040 25350 1111 63 0 25977 0 vsize: 104160 [startup+590.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 31865 0 0 0 58904 102 0 0 25 0 1 0 832696599 107065344 25445 4294967295 134512640 134714508 3221224576 3221223360 134529091 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 26139 25445 1111 63 0 26076 0 vsize: 104556 [startup+600.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 32077 0 0 0 59904 103 0 0 25 0 1 0 832696599 107937792 25657 4294967295 134512640 134714508 3221224576 3221223184 134549334 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 26352 25657 1111 63 0 26289 0 vsize: 105408 [startup+610.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 32077 0 0 0 60903 104 0 0 25 0 1 0 832696599 107937792 25657 4294967295 134512640 134714508 3221224576 3221223184 134523393 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 26352 25657 1111 63 0 26289 0 vsize: 105408 [startup+620 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 32077 0 0 0 61902 105 0 0 25 0 1 0 832696599 107937792 25657 4294967295 134512640 134714508 3221224576 3221223216 134539369 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 26352 25657 1111 63 0 26289 0 vsize: 105408 [startup+630.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 32200 0 0 0 62901 106 0 0 25 0 1 0 832696599 108445696 25777 4294967295 134512640 134714508 3221224576 3221223184 134549334 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 26476 25777 1111 63 0 26413 0 vsize: 105904 [startup+640.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 32355 0 0 0 63901 107 0 0 25 0 1 0 832696599 109068288 25932 4294967295 134512640 134714508 3221224576 3221223184 134549305 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 26628 25932 1111 63 0 26565 0 vsize: 106512 [startup+650 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 32356 0 0 0 64901 107 0 0 25 0 1 0 832696599 109068288 25933 4294967295 134512640 134714508 3221224576 3221223160 134543589 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 26628 25933 1111 63 0 26565 0 vsize: 106512 [startup+660.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 32363 0 0 0 65900 108 0 0 25 0 1 0 832696599 109203456 25940 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 26661 25940 1111 63 0 26598 0 vsize: 106644 [startup+670.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 32449 0 0 0 66900 109 0 0 25 0 1 0 832696599 109453312 26023 4294967295 134512640 134714508 3221224576 3221223232 134543735 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 26722 26023 1111 63 0 26659 0 vsize: 106888 [startup+680.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 32490 0 0 0 67899 109 0 0 25 0 1 0 832696599 109588480 26064 4294967295 134512640 134714508 3221224576 3221223184 134549313 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 26755 26064 1111 63 0 26692 0 vsize: 107020 [startup+690 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 32524 0 0 0 68898 110 0 0 25 0 1 0 832696599 109748224 26098 4294967295 134512640 134714508 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 26794 26098 1111 63 0 26731 0 vsize: 107176 [startup+700 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 32578 0 0 0 69898 111 0 0 25 0 1 0 832696599 109998080 26152 4294967295 134512640 134714508 3221224576 3221223344 134592104 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 26855 26152 1111 63 0 26792 0 vsize: 107420 [startup+710.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 32658 0 0 0 70897 112 0 0 25 0 1 0 832696599 110403584 26232 4294967295 134512640 134714508 3221224576 3221223104 134543035 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 26954 26232 1111 63 0 26891 0 vsize: 107816 [startup+720 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 32744 0 0 0 71896 113 0 0 25 0 1 0 832696599 110735360 26312 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 27035 26312 1111 63 0 26972 0 vsize: 108140 [startup+730.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 32774 0 0 0 72896 114 0 0 25 0 1 0 832696599 110735360 26342 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 27035 26342 1111 63 0 26972 0 vsize: 108140 [startup+740.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 32856 0 0 0 73894 115 0 0 25 0 1 0 832696599 111071232 26424 4294967295 134512640 134714508 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 27117 26424 1111 63 0 27054 0 vsize: 108468 [startup+750 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 32872 0 0 0 74894 115 0 0 25 0 1 0 832696599 111206400 26440 4294967295 134512640 134714508 3221224576 3221223344 134592104 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 27150 26440 1111 63 0 27087 0 vsize: 108600 [startup+760.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 33124 0 0 0 75893 117 0 0 25 0 1 0 832696599 112267264 26692 4294967295 134512640 134714508 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 27409 26692 1111 63 0 27346 0 vsize: 109636 [startup+770.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 33392 0 0 0 76892 118 0 0 25 0 1 0 832696599 113348608 26960 4294967295 134512640 134714508 3221224576 3221223344 134592116 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 27673 26960 1111 63 0 27610 0 vsize: 110692 [startup+780.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 33572 0 0 0 77891 119 0 0 25 0 1 0 832696599 114024448 27140 4294967295 134512640 134714508 3221224576 3221223228 134536791 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 27838 27140 1111 63 0 27775 0 vsize: 111352 [startup+790.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 33715 0 0 0 78890 120 0 0 25 0 1 0 832696599 114675712 27283 4294967295 134512640 134714508 3221224576 3221223280 134528732 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 27997 27283 1111 63 0 27934 0 vsize: 111988 [startup+800 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 33786 0 0 0 79889 122 0 0 25 0 1 0 832696599 114933760 27354 4294967295 134512640 134714508 3221224576 3221223184 134549467 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 28060 27354 1111 63 0 27997 0 vsize: 112240 [startup+810.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 33968 0 0 0 80888 122 0 0 25 0 1 0 832696599 115732480 27536 4294967295 134512640 134714508 3221224576 3221223344 134592116 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 28255 27536 1111 63 0 28192 0 vsize: 113020 [startup+820.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 34107 0 0 0 81888 123 0 0 25 0 1 0 832696599 116273152 27675 4294967295 134512640 134714508 3221224576 3221223184 134549467 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 28387 27675 1111 63 0 28324 0 vsize: 113548 [startup+830.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 34152 0 0 0 82888 124 0 0 25 0 1 0 832696599 116408320 27720 4294967295 134512640 134714508 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 28420 27720 1111 63 0 28357 0 vsize: 113680 [startup+840 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 34462 0 0 0 83887 125 0 0 25 0 1 0 832696599 117760000 28030 4294967295 134512640 134714508 3221224576 3221223392 134590080 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 28750 28030 1111 63 0 28687 0 vsize: 115000 [startup+850 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 34523 0 0 0 84886 125 0 0 25 0 1 0 832696599 117882880 28085 4294967295 134512640 134714508 3221224576 3221223116 134539265 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28780 28085 1111 63 0 28717 0 vsize: 115120 [startup+860 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 34555 0 0 0 85886 125 0 0 25 0 1 0 832696599 118018048 28117 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 28813 28117 1111 63 0 28750 0 vsize: 115252 [startup+869.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 34630 0 0 0 86885 126 0 0 25 0 1 0 832696599 118423552 28192 4294967295 134512640 134714508 3221224576 3221223168 134549527 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 28912 28192 1111 63 0 28849 0 vsize: 115648 [startup+879.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 34743 0 0 0 87885 126 0 0 25 0 1 0 832696599 118829056 28305 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29011 28305 1111 63 0 28948 0 vsize: 116044 [startup+889.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 34985 0 0 0 88884 127 0 0 25 0 1 0 832696599 119840768 28547 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29258 28547 1111 63 0 29195 0 vsize: 117032 [startup+899.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 35054 0 0 0 89884 128 0 0 25 0 1 0 832696599 120135680 28616 4294967295 134512640 134714508 3221224576 3221223344 134592104 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29330 28616 1111 63 0 29267 0 vsize: 117320 [startup+909.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 35147 0 0 0 90883 129 0 0 25 0 1 0 832696599 120532992 28709 4294967295 134512640 134714508 3221224576 3221223164 134543653 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29427 28709 1111 63 0 29364 0 vsize: 117708 [startup+919.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 35289 0 0 0 91883 129 0 0 25 0 1 0 832696599 121061376 28851 4294967295 134512640 134714508 3221224576 3221223184 134549474 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29556 28851 1111 63 0 29493 0 vsize: 118224 [startup+929.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 35300 0 0 0 92882 130 0 0 25 0 1 0 832696599 121061376 28862 4294967295 134512640 134714508 3221224576 3221223168 134542674 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29556 28862 1111 63 0 29493 0 vsize: 118224 [startup+939.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 35389 0 0 0 93882 130 0 0 25 0 1 0 832696599 121434112 28951 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29647 28951 1111 63 0 29584 0 vsize: 118588 [startup+949.997 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 35482 0 0 0 94881 131 0 0 25 0 1 0 832696599 121880576 29041 4294967295 134512640 134714508 3221224576 3221223184 134549305 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29756 29041 1111 63 0 29693 0 vsize: 119024 [startup+959.997 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 35574 0 0 0 95881 131 0 0 25 0 1 0 832696599 122036224 29104 4294967295 134512640 134714508 3221224576 3221223216 134539376 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29794 29104 1111 63 0 29731 0 vsize: 119176 [startup+969.996 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 35713 0 0 0 96881 132 0 0 25 0 1 0 832696599 122613760 29217 4294967295 134512640 134714508 3221224576 3221223300 134535756 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29935 29217 1111 63 0 29872 0 vsize: 119740 [startup+979.996 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 35841 0 0 0 97880 132 0 0 25 0 1 0 832696599 122978304 29330 4294967295 134512640 134714508 3221224576 3221223204 1077374149 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 30024 29330 1111 63 0 29961 0 vsize: 120096 [startup+989.995 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 35873 0 0 0 98880 132 0 0 25 0 1 0 832696599 123113472 29362 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 30057 29362 1111 63 0 29994 0 vsize: 120228 [startup+999.995 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 35900 0 0 0 99880 133 0 0 25 0 1 0 832696599 123248640 29389 4294967295 134512640 134714508 3221224576 3221223312 134535742 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 30090 29389 1111 63 0 30027 0 vsize: 120360 [startup+1010 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 36062 0 0 0 100879 134 0 0 25 0 1 0 832696599 123924480 29551 4294967295 134512640 134714508 3221224576 3221223184 134549305 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 30255 29551 1111 63 0 30192 0 vsize: 121020 [startup+1019.99 s] Raw data (loadavg): 1.07 0.99 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 36076 0 0 0 101879 134 0 0 25 0 1 0 832696599 123924480 29565 4294967295 134512640 134714508 3221224576 3221223036 1077374432 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 30255 29565 1111 63 0 30192 0 vsize: 121020 [startup+1029.99 s] Raw data (loadavg): 1.06 0.99 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 36076 0 0 0 102879 135 0 0 25 0 1 0 832696599 123924480 29565 4294967295 134512640 134714508 3221224576 3221223344 134592104 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 30255 29565 1111 63 0 30192 0 vsize: 121020 [startup+1039.99 s] Raw data (loadavg): 1.05 0.99 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 36135 0 0 0 103878 135 0 0 25 0 1 0 832696599 124194816 29624 4294967295 134512640 134714508 3221224576 3221223168 134543712 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 30321 29624 1111 63 0 30258 0 vsize: 121284 [startup+1049.99 s] Raw data (loadavg): 1.04 0.99 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 36176 0 0 0 104878 136 0 0 25 0 1 0 832696599 124452864 29665 4294967295 134512640 134714508 3221224576 3221223344 134592104 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 30384 29665 1111 63 0 30321 0 vsize: 121536 [startup+1059.99 s] Raw data (loadavg): 1.04 0.99 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 36244 0 0 0 105878 137 0 0 25 0 1 0 832696599 124657664 29733 4294967295 134512640 134714508 3221224576 3221223184 134549334 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 30434 29733 1111 63 0 30371 0 vsize: 121736 [startup+1069.99 s] Raw data (loadavg): 1.03 0.99 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 36393 0 0 0 106877 138 0 0 25 0 1 0 832696599 125247488 29882 4294967295 134512640 134714508 3221224576 3221223184 134549305 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 30578 29882 1111 63 0 30515 0 vsize: 122312 [startup+1079.99 s] Raw data (loadavg): 1.03 0.99 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 36393 0 0 0 107876 138 0 0 25 0 1 0 832696599 125247488 29882 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 30578 29882 1111 63 0 30515 0 vsize: 122312 [startup+1089.99 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 36393 0 0 0 108876 139 0 0 25 0 1 0 832696599 125247488 29882 4294967295 134512640 134714508 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 30578 29882 1111 63 0 30515 0 vsize: 122312 [startup+1099.99 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 36393 0 0 0 109876 139 0 0 25 0 1 0 832696599 125247488 29882 4294967295 134512640 134714508 3221224576 3221223216 134539376 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 30578 29882 1111 63 0 30515 0 vsize: 122312 [startup+1109.99 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 36414 0 0 0 110876 139 0 0 25 0 1 0 832696599 125317120 29903 4294967295 134512640 134714508 3221224576 3221223184 134549296 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 30595 29903 1111 63 0 30532 0 vsize: 122380 [startup+1119.99 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 36471 0 0 0 111875 140 0 0 25 0 1 0 832696599 125546496 29960 4294967295 134512640 134714508 3221224576 3221223312 134594954 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 30651 29960 1111 63 0 30588 0 vsize: 122604 [startup+1129.99 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 36644 0 0 0 112875 141 0 0 25 0 1 0 832696599 126337024 30126 4294967295 134512640 134714508 3221224576 3221223136 134549689 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 30844 30126 1111 63 0 30781 0 vsize: 123376 [startup+1139.99 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 36669 0 0 0 113874 141 0 0 25 0 1 0 832696599 126435328 30151 4294967295 134512640 134714508 3221224576 3221223312 134523859 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 30868 30151 1111 63 0 30805 0 vsize: 123472 [startup+1149.99 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 36690 0 0 0 114874 142 0 0 25 0 1 0 832696599 126435328 30172 4294967295 134512640 134714508 3221224576 3221223360 134528896 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 30868 30172 1111 63 0 30805 0 vsize: 123472 [startup+1159.99 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 36702 0 0 0 115874 142 0 0 25 0 1 0 832696599 126570496 30184 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 30901 30184 1111 63 0 30838 0 vsize: 123604 [startup+1169.99 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 36819 0 0 0 116874 142 0 0 25 0 1 0 832696599 126976000 30301 4294967295 134512640 134714508 3221224576 3221223344 134592125 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31000 30301 1111 63 0 30937 0 vsize: 124000 [startup+1174.9 s] Raw data (loadavg): 1.00 0.99 0.91 1/53 11716 Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 36819 0 0 0 116874 142 0 0 25 0 1 0 832696599 126976000 30301 4294967295 134512640 134714508 3221224576 3221223344 134592125 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31000 30301 1111 63 0 30937 0 vsize: 0 Child status: 0 Real time (s): 1174.9 CPU time (s): 1175.08 CPU user time (s): 1173.59 CPU system time (s): 1.48577 CPU usage (%): 100.015 Max. virtual memory (Kb): 124000 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####