Name | normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scsd8.opb |
MD5SUM | 63dde7c8c3b02bd89e3e065c5bd58b69 |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 82500 |
Biggest coefficient in the objective function | 221357547985043456 |
Number of bits for the biggest coefficient in the objective function | 58 |
Sum of the numbers in the objective function | 595796164546237562880 |
Number of bits of the sum of numbers in the objective function | 70 |
Biggest number in a constraint | 221357547985043456 |
Number of bits of the biggest number in a constraint | 58 |
Biggest sum of numbers in a constraint | 595796164546237562880 |
Number of bits of the biggest sum of numbers | 70 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.744886 |
Number of variables | 82500 |
Total number of constraints | 397 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 397 |
Minimum length of a constraint | 300 |
Maximum length of a constraint | 720 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc4 THE 2005-05-25 04:11:50 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=11299 boxname=wulflinc4 idbench=870 idsolver=2 numberseed=0 MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7 /oldhome/oroussel/solvers/bsolo_lpr_cuts MD5SUM BENCH: 63dde7c8c3b02bd89e3e065c5bd58b69 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-scsd8.opb REAL COMMAND: bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-scsd8.opb IDLAUNCH: 11299 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.169 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 : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.169 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: 788960 kB Buffers: 33772 kB Cached: 190844 kB SwapCached: 600 kB Active: 50000 kB Inactive: 177040 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 788708 kB SwapTotal: 2097136 kB SwapFree: 2096004 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5784 kB Slab: 12860 kB Committed_AS: 71796 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-25 04:31:54 (client local time) WITH STATUS 0 IN 1200.64 SECONDS stats: 11299 7 1200.64 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. #### 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.87 0.94 0.91 2/54 27623 Raw data (stat): 27623 (runsolver) R 27622 21152 21151 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 777670932 1052672 99 4294967295 134512640 135381576 3221224496 3221219708 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10 s] Raw data (loadavg): 0.89 0.94 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 1142 0 0 0 993 4 0 0 25 0 1 0 777670932 15364096 1066 4294967295 134512640 134714508 3221224592 3221222820 1077414349 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3751 1066 1111 63 0 3688 0 vsize: 15004 [startup+20.0009 s] Raw data (loadavg): 0.90 0.94 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 1186 0 0 0 1993 5 0 0 25 0 1 0 777670932 15511552 1110 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3787 1110 1111 63 0 3724 0 vsize: 15148 [startup+30.0007 s] Raw data (loadavg): 0.92 0.94 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 1231 0 0 0 2993 5 0 0 25 0 1 0 777670932 15663104 1155 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3824 1155 1111 63 0 3761 0 vsize: 15296 [startup+40.0107 s] Raw data (loadavg): 0.93 0.94 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 1319 0 0 0 3994 5 0 0 25 0 1 0 777670932 16089088 1243 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3928 1243 1111 63 0 3865 0 vsize: 15712 [startup+50.1154 s] Raw data (loadavg): 0.94 0.95 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 1379 0 0 0 5004 6 0 0 25 0 1 0 777670932 16236544 1303 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3964 1303 1111 63 0 3901 0 vsize: 15856 [startup+60.1153 s] Raw data (loadavg): 0.95 0.95 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 1435 0 0 0 6004 6 0 0 25 0 1 0 777670932 16535552 1359 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4037 1359 1111 63 0 3974 0 vsize: 16148 [startup+70.1156 s] Raw data (loadavg): 0.96 0.95 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 1496 0 0 0 7004 6 0 0 25 0 1 0 777670932 16838656 1420 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4111 1420 1111 63 0 4048 0 vsize: 16444 [startup+80.116 s] Raw data (loadavg): 0.96 0.95 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 1576 0 0 0 8004 7 0 0 25 0 1 0 777670932 17137664 1500 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4184 1500 1111 63 0 4121 0 vsize: 16736 [startup+90.1169 s] Raw data (loadavg): 0.97 0.95 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 1631 0 0 0 9003 7 0 0 25 0 1 0 777670932 17272832 1555 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4217 1555 1111 63 0 4154 0 vsize: 16868 [startup+100.117 s] Raw data (loadavg): 0.97 0.95 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 1712 0 0 0 10003 7 0 0 25 0 1 0 777670932 17702912 1636 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4322 1636 1111 63 0 4259 0 vsize: 17288 [startup+110.12 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 1778 0 0 0 11003 7 0 0 25 0 1 0 777670932 17993728 1702 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4393 1702 1111 63 0 4330 0 vsize: 17572 [startup+120.122 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 1850 0 0 0 12003 7 0 0 25 0 1 0 777670932 18292736 1774 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4466 1774 1111 63 0 4403 0 vsize: 17864 [startup+130.123 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 1926 0 0 0 13003 8 0 0 25 0 1 0 777670932 18591744 1850 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4539 1850 1111 63 0 4476 0 vsize: 18156 [startup+140.123 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 2006 0 0 0 14003 8 0 0 25 0 1 0 777670932 18894848 1930 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4613 1930 1111 63 0 4550 0 vsize: 18452 [startup+150.126 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 2098 0 0 0 15004 8 0 0 25 0 1 0 777670932 19193856 2022 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4686 2022 1111 63 0 4623 0 vsize: 18744 [startup+160.13 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 2149 0 0 0 16004 8 0 0 25 0 1 0 777670932 19488768 2073 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4758 2073 1111 63 0 4695 0 vsize: 19032 [startup+170.13 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 2202 0 0 0 17004 8 0 0 25 0 1 0 777670932 19644416 2126 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4796 2126 1111 63 0 4733 0 vsize: 19184 [startup+180.129 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 2253 0 0 0 18004 8 0 0 25 0 1 0 777670932 19943424 2177 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4869 2177 1111 63 0 4806 0 vsize: 19476 [startup+190.13 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 2320 0 0 0 19004 8 0 0 25 0 1 0 777670932 20094976 2244 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4906 2244 1111 63 0 4843 0 vsize: 19624 [startup+200.129 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 2402 0 0 0 20005 8 0 0 25 0 1 0 777670932 20545536 2326 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5016 2326 1111 63 0 4953 0 vsize: 20064 [startup+210.129 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 2459 0 0 0 21005 8 0 0 25 0 1 0 777670932 20697088 2383 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5053 2383 1111 63 0 4990 0 vsize: 20212 [startup+220.134 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 2518 0 0 0 22005 8 0 0 25 0 1 0 777670932 20996096 2442 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5126 2442 1111 63 0 5063 0 vsize: 20504 [startup+230.134 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 2591 0 0 0 23005 8 0 0 25 0 1 0 777670932 21295104 2515 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5199 2515 1111 63 0 5136 0 vsize: 20796 [startup+240.144 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 2665 0 0 0 24006 8 0 0 25 0 1 0 777670932 21602304 2589 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5274 2589 1111 63 0 5211 0 vsize: 21096 [startup+250.154 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 2725 0 0 0 25007 8 0 0 25 0 1 0 777670932 21749760 2649 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5310 2649 1111 63 0 5247 0 vsize: 21240 [startup+260.154 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 2797 0 0 0 26008 9 0 0 25 0 1 0 777670932 22048768 2721 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5383 2721 1111 63 0 5320 0 vsize: 21532 [startup+270.154 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 2871 0 0 0 27008 9 0 0 25 0 1 0 777670932 22351872 2795 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5457 2795 1111 63 0 5394 0 vsize: 21828 [startup+280.154 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 2959 0 0 0 28008 9 0 0 25 0 1 0 777670932 22802432 2883 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5567 2883 1111 63 0 5504 0 vsize: 22268 [startup+290.155 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 3032 0 0 0 29007 9 0 0 25 0 1 0 777670932 23101440 2956 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5640 2956 1111 63 0 5577 0 vsize: 22560 [startup+300.155 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 3129 0 0 0 30007 10 0 0 25 0 1 0 777670932 23543808 3053 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5748 3053 1111 63 0 5685 0 vsize: 22992 [startup+310.155 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 3186 0 0 0 31007 10 0 0 25 0 1 0 777670932 23695360 3110 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5785 3110 1111 63 0 5722 0 vsize: 23140 [startup+320.158 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 3237 0 0 0 32008 10 0 0 25 0 1 0 777670932 23994368 3161 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5858 3161 1111 63 0 5795 0 vsize: 23432 [startup+330.158 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 3290 0 0 0 33008 10 0 0 25 0 1 0 777670932 24145920 3214 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5895 3214 1111 63 0 5832 0 vsize: 23580 [startup+340.159 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 3363 0 0 0 34008 10 0 0 25 0 1 0 777670932 24444928 3287 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5968 3287 1111 63 0 5905 0 vsize: 23872 [startup+350.159 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 3443 0 0 0 35008 10 0 0 25 0 1 0 777670932 24743936 3367 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6041 3367 1111 63 0 5978 0 vsize: 24164 [startup+360.159 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 3497 0 0 0 36008 10 0 0 25 0 1 0 777670932 25051136 3421 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6116 3421 1111 63 0 6053 0 vsize: 24464 [startup+370.16 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 3557 0 0 0 37008 10 0 0 25 0 1 0 777670932 25202688 3481 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6153 3481 1111 63 0 6090 0 vsize: 24612 [startup+380.16 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 3644 0 0 0 38009 10 0 0 25 0 1 0 777670932 25649152 3568 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6262 3568 1111 63 0 6199 0 vsize: 25048 [startup+390.161 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 3703 0 0 0 39009 10 0 0 25 0 1 0 777670932 25800704 3627 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6299 3627 1111 63 0 6236 0 vsize: 25196 [startup+400.16 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 3784 0 0 0 40009 10 0 0 25 0 1 0 777670932 26103808 3708 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6373 3708 1111 63 0 6310 0 vsize: 25492 [startup+410.16 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 3857 0 0 0 41009 11 0 0 25 0 1 0 777670932 26402816 3781 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6446 3781 1111 63 0 6383 0 vsize: 25784 [startup+420.161 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 3930 0 0 0 42009 11 0 0 25 0 1 0 777670932 26701824 3854 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6519 3854 1111 63 0 6456 0 vsize: 26076 [startup+430.161 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 4012 0 0 0 43009 11 0 0 25 0 1 0 777670932 27127808 3936 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6623 3936 1111 63 0 6560 0 vsize: 26492 [startup+440.162 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 4101 0 0 0 44009 11 0 0 25 0 1 0 777670932 27426816 4025 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6696 4025 1111 63 0 6633 0 vsize: 26784 [startup+450.162 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 4183 0 0 0 45009 11 0 0 25 0 1 0 777670932 27725824 4107 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6769 4107 1111 63 0 6706 0 vsize: 27076 [startup+460.173 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 4235 0 0 0 46010 11 0 0 25 0 1 0 777670932 28028928 4159 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6843 4159 1111 63 0 6780 0 vsize: 27372 [startup+470.173 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 4292 0 0 0 47010 11 0 0 25 0 1 0 777670932 28176384 4216 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6879 4216 1111 63 0 6816 0 vsize: 27516 [startup+480.174 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 4337 0 0 0 48011 11 0 0 25 0 1 0 777670932 28475392 4261 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6952 4261 1111 63 0 6889 0 vsize: 27808 [startup+490.177 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 4433 0 0 0 49011 11 0 0 25 0 1 0 777670932 28782592 4357 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7027 4357 1111 63 0 6964 0 vsize: 28108 [startup+500.179 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 4500 0 0 0 50011 12 0 0 25 0 1 0 777670932 29081600 4424 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7100 4424 1111 63 0 7037 0 vsize: 28400 [startup+510.179 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 4551 0 0 0 51011 12 0 0 25 0 1 0 777670932 29233152 4475 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7137 4475 1111 63 0 7074 0 vsize: 28548 [startup+520.179 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 4631 0 0 0 52011 12 0 0 25 0 1 0 777670932 29683712 4555 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7247 4555 1111 63 0 7184 0 vsize: 28988 [startup+530.283 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 4713 0 0 0 53021 12 0 0 25 0 1 0 777670932 29982720 4637 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7320 4637 1111 63 0 7257 0 vsize: 29280 [startup+540.284 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 4771 0 0 0 54022 12 0 0 25 0 1 0 777670932 30134272 4695 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7357 4695 1111 63 0 7294 0 vsize: 29428 [startup+550.284 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 4852 0 0 0 55021 12 0 0 25 0 1 0 777670932 30588928 4776 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7468 4776 1111 63 0 7405 0 vsize: 29872 [startup+560.288 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 4926 0 0 0 56022 12 0 0 25 0 1 0 777670932 30887936 4850 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7541 4850 1111 63 0 7478 0 vsize: 30164 [startup+570.296 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 5020 0 0 0 57023 12 0 0 25 0 1 0 777670932 31186944 4944 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7614 4944 1111 63 0 7551 0 vsize: 30456 [startup+580.296 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 5107 0 0 0 58023 13 0 0 25 0 1 0 777670932 31678464 5031 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7734 5031 1111 63 0 7671 0 vsize: 30936 [startup+590.297 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 5202 0 0 0 59023 13 0 0 25 0 1 0 777670932 31977472 5126 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7807 5126 1111 63 0 7744 0 vsize: 31228 [startup+600.332 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 5260 0 0 0 60026 13 0 0 25 0 1 0 777670932 32276480 5184 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7880 5184 1111 63 0 7817 0 vsize: 31520 [startup+610.333 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 5319 0 0 0 61026 13 0 0 25 0 1 0 777670932 32432128 5243 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7918 5243 1111 63 0 7855 0 vsize: 31672 [startup+620.333 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 5364 0 0 0 62027 13 0 0 25 0 1 0 777670932 32731136 5288 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7991 5288 1111 63 0 7928 0 vsize: 31964 [startup+630.333 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 5452 0 0 0 63027 13 0 0 25 0 1 0 777670932 33030144 5376 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8064 5376 1111 63 0 8001 0 vsize: 32256 [startup+640.334 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 5527 0 0 0 64027 14 0 0 25 0 1 0 777670932 33333248 5451 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8138 5451 1111 63 0 8075 0 vsize: 32552 [startup+650.334 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 5586 0 0 0 65027 14 0 0 25 0 1 0 777670932 33632256 5510 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8211 5510 1111 63 0 8148 0 vsize: 32844 [startup+660.335 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 5658 0 0 0 66027 14 0 0 25 0 1 0 777670932 33931264 5582 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8284 5582 1111 63 0 8221 0 vsize: 33136 [startup+670.336 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 5748 0 0 0 67027 14 0 0 25 0 1 0 777670932 34238464 5672 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8359 5672 1111 63 0 8296 0 vsize: 33436 [startup+680.335 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 5806 0 0 0 68026 15 0 0 25 0 1 0 777670932 34537472 5730 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8432 5730 1111 63 0 8369 0 vsize: 33728 [startup+690.336 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 5880 0 0 0 69027 15 0 0 25 0 1 0 777670932 34836480 5804 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8505 5804 1111 63 0 8442 0 vsize: 34020 [startup+700.336 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 5970 0 0 0 70026 15 0 0 25 0 1 0 777670932 35139584 5894 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8579 5894 1111 63 0 8516 0 vsize: 34316 [startup+710.336 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 6059 0 0 0 71027 15 0 0 25 0 1 0 777670932 35438592 5983 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8652 5983 1111 63 0 8589 0 vsize: 34608 [startup+720.336 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 6139 0 0 0 72027 15 0 0 25 0 1 0 777670932 35889152 6063 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8762 6063 1111 63 0 8699 0 vsize: 35048 [startup+730.336 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 6235 0 0 0 73027 15 0 0 25 0 1 0 777670932 36192256 6159 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8836 6159 1111 63 0 8773 0 vsize: 35344 [startup+740.346 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 6294 0 0 0 74028 16 0 0 25 0 1 0 777670932 36491264 6218 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8909 6218 1111 63 0 8846 0 vsize: 35636 [startup+750.345 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 6352 0 0 0 75028 16 0 0 25 0 1 0 777670932 36642816 6276 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8946 6276 1111 63 0 8883 0 vsize: 35784 [startup+760.345 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 6411 0 0 0 76028 16 0 0 25 0 1 0 777670932 36945920 6335 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9020 6335 1111 63 0 8957 0 vsize: 36080 [startup+770.346 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 6500 0 0 0 77028 16 0 0 25 0 1 0 777670932 37244928 6424 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9093 6424 1111 63 0 9030 0 vsize: 36372 [startup+780.346 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 6574 0 0 0 78028 16 0 0 25 0 1 0 777670932 37543936 6498 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9166 6498 1111 63 0 9103 0 vsize: 36664 [startup+790.347 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 6627 0 0 0 79028 16 0 0 25 0 1 0 777670932 37847040 6551 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9240 6551 1111 63 0 9177 0 vsize: 36960 [startup+800.348 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 6707 0 0 0 80028 16 0 0 25 0 1 0 777670932 38146048 6631 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9313 6631 1111 63 0 9250 0 vsize: 37252 [startup+810.349 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 6794 0 0 0 81028 16 0 0 25 0 1 0 777670932 38445056 6718 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9386 6718 1111 63 0 9323 0 vsize: 37544 [startup+820.349 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 6868 0 0 0 82028 16 0 0 25 0 1 0 777670932 38752256 6792 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9461 6792 1111 63 0 9398 0 vsize: 37844 [startup+830.349 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 6942 0 0 0 83028 17 0 0 25 0 1 0 777670932 39051264 6866 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9534 6866 1111 63 0 9471 0 vsize: 38136 [startup+840.35 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 7025 0 0 0 84028 17 0 0 25 0 1 0 777670932 39501824 6949 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9644 6949 1111 63 0 9581 0 vsize: 38576 [startup+850.35 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 7120 0 0 0 85028 17 0 0 25 0 1 0 777670932 39804928 7044 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9718 7044 1111 63 0 9655 0 vsize: 38872 [startup+860.35 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 7208 0 0 0 86028 17 0 0 25 0 1 0 777670932 40251392 7132 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9827 7132 1111 63 0 9764 0 vsize: 39308 [startup+870.351 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 7297 0 0 0 87028 18 0 0 25 0 1 0 777670932 40558592 7221 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9902 7221 1111 63 0 9839 0 vsize: 39608 [startup+880.354 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 7356 0 0 0 88028 18 0 0 25 0 1 0 777670932 40857600 7280 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9975 7280 1111 63 0 9912 0 vsize: 39900 [startup+890.355 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 7407 0 0 0 89029 18 0 0 25 0 1 0 777670932 41009152 7331 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10012 7331 1111 63 0 9949 0 vsize: 40048 [startup+900.362 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 7474 0 0 0 90030 18 0 0 25 0 1 0 777670932 41308160 7398 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10085 7398 1111 63 0 10022 0 vsize: 40340 [startup+910.393 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 7578 0 0 0 91033 18 0 0 25 0 1 0 777670932 41758720 7502 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10195 7502 1111 63 0 10132 0 vsize: 40780 [startup+920.435 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 7636 0 0 0 92037 18 0 0 25 0 1 0 777670932 41910272 7560 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10232 7560 1111 63 0 10169 0 vsize: 40928 [startup+930.435 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 7709 0 0 0 93037 18 0 0 25 0 1 0 777670932 42209280 7633 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10305 7633 1111 63 0 10242 0 vsize: 41220 [startup+940.437 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 7799 0 0 0 94037 18 0 0 25 0 1 0 777670932 42635264 7723 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10409 7723 1111 63 0 10346 0 vsize: 41636 [startup+950.438 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 7858 0 0 0 95037 18 0 0 25 0 1 0 777670932 42782720 7782 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10445 7782 1111 63 0 10382 0 vsize: 41780 [startup+960.442 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 7946 0 0 0 96038 19 0 0 25 0 1 0 777670932 43233280 7870 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10555 7870 1111 63 0 10492 0 vsize: 42220 [startup+970.442 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 8035 0 0 0 97038 19 0 0 25 0 1 0 777670932 43536384 7959 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10629 7959 1111 63 0 10566 0 vsize: 42516 [startup+980.442 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 8124 0 0 0 98038 19 0 0 25 0 1 0 777670932 43982848 8048 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10738 8048 1111 63 0 10675 0 vsize: 42952 [startup+990.443 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 8212 0 0 0 99038 19 0 0 25 0 1 0 777670932 44290048 8136 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10813 8136 1111 63 0 10750 0 vsize: 43252 [startup+1000.44 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 8314 0 0 0 100038 19 0 0 25 0 1 0 777670932 44740608 8238 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10923 8238 1111 63 0 10860 0 vsize: 43692 [startup+1010.44 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 8373 0 0 0 101038 19 0 0 25 0 1 0 777670932 44888064 8297 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10959 8297 1111 63 0 10896 0 vsize: 43836 [startup+1020.44 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 8433 0 0 0 102038 19 0 0 25 0 1 0 777670932 45191168 8357 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11033 8357 1111 63 0 10970 0 vsize: 44132 [startup+1030.44 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 8491 0 0 0 103038 19 0 0 25 0 1 0 777670932 45490176 8415 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11106 8415 1111 63 0 11043 0 vsize: 44424 [startup+1040.44 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 8594 0 0 0 104038 20 0 0 25 0 1 0 777670932 45789184 8518 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11179 8518 1111 63 0 11116 0 vsize: 44716 [startup+1050.44 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 8654 0 0 0 105038 20 0 0 25 0 1 0 777670932 46096384 8578 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11254 8578 1111 63 0 11191 0 vsize: 45016 [startup+1060.44 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 8727 0 0 0 106038 20 0 0 25 0 1 0 777670932 46395392 8651 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11327 8651 1111 63 0 11264 0 vsize: 45308 [startup+1070.44 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 8821 0 0 0 107038 20 0 0 25 0 1 0 777670932 46845952 8745 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11437 8745 1111 63 0 11374 0 vsize: 45748 [startup+1080.44 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 8889 0 0 0 108038 20 0 0 25 0 1 0 777670932 46997504 8813 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11474 8813 1111 63 0 11411 0 vsize: 45896 [startup+1090.44 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 9004 0 0 0 109038 21 0 0 25 0 1 0 777670932 47710208 8928 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11648 8928 1111 63 0 11585 0 vsize: 46592 [startup+1100.44 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 9084 0 0 0 110038 21 0 0 25 0 1 0 777670932 48005120 9008 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11720 9008 1111 63 0 11657 0 vsize: 46880 [startup+1110.44 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 9179 0 0 0 111038 21 0 0 25 0 1 0 777670932 48304128 9103 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11793 9103 1111 63 0 11730 0 vsize: 47172 [startup+1120.45 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 9266 0 0 0 112038 21 0 0 25 0 1 0 777670932 48750592 9190 4294967295 134512640 134714508 3221224592 3221222820 1077414349 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11902 9190 1111 63 0 11839 0 vsize: 47608 [startup+1130.44 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 9363 0 0 0 113038 21 0 0 25 0 1 0 777670932 49176576 9287 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12006 9287 1111 63 0 11943 0 vsize: 48024 [startup+1140.45 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 9429 0 0 0 114038 22 0 0 25 0 1 0 777670932 49328128 9353 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12043 9353 1111 63 0 11980 0 vsize: 48172 [startup+1150.45 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 9482 0 0 0 115038 22 0 0 25 0 1 0 777670932 49627136 9406 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12116 9406 1111 63 0 12053 0 vsize: 48464 [startup+1160.45 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 9563 0 0 0 116038 22 0 0 25 0 1 0 777670932 49930240 9487 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12190 9487 1111 63 0 12127 0 vsize: 48760 [startup+1170.45 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 9659 0 0 0 117038 22 0 0 25 0 1 0 777670932 50376704 9583 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12299 9583 1111 63 0 12236 0 vsize: 49196 [startup+1180.45 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 9717 0 0 0 118038 22 0 0 25 0 1 0 777670932 50528256 9641 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12336 9641 1111 63 0 12273 0 vsize: 49344 [startup+1190.45 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 9792 0 0 0 119038 23 0 0 25 0 1 0 777670932 50810880 9716 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12405 9716 1111 63 0 12342 0 vsize: 49620 [startup+1200.45 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) R 27622 21152 21151 0 -1 0 9894 0 0 0 120038 23 0 0 25 0 1 0 777670932 51253248 9818 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12513 9818 1111 63 0 12450 0 vsize: 50052 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.47 s] Raw data (loadavg): 0.99 0.97 0.91 1/54 27623 Raw data (stat): 27623 (bsolo_lpr_cuts) Z 27622 21152 21151 0 -1 1036 9894 0 0 0 120038 25 0 0 25 0 1 0 777670932 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child ended because it received signal 15 (SIGTERM) Real time (s): 1200.47 CPU time (s): 1200.64 CPU user time (s): 1200.38 CPU system time (s): 0.252961 CPU usage (%): 100.014 Max. virtual memory (Kb): 50052 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####