Name | normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-czprob.opb |
MD5SUM | 8225997c3fd9c39c0ae1e7fa3d3e4160 |
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 | 98250 |
Biggest coefficient in the objective function | 16496969383936000 |
Number of bits for the biggest coefficient in the objective function | 54 |
Sum of the numbers in the objective function | 33458351340667289600 |
Number of bits of the sum of numbers in the objective function | 65 |
Biggest number in a constraint | 16496969383936000 |
Number of bits of the biggest number in a constraint | 54 |
Biggest sum of numbers in a constraint | 33458351340667289600 |
Number of bits of the biggest sum of numbers | 65 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.886864 |
Number of variables | 98820 |
Total number of constraints | 927 |
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 | 927 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 11190 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc3 THE 2005-05-25 04:31:34 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=10649 boxname=wulflinc3 idbench=820 idsolver=2 numberseed=0 MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7 /oldhome/oroussel/solvers/bsolo_lpr_cuts MD5SUM BENCH: 8225997c3fd9c39c0ae1e7fa3d3e4160 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-czprob.opb REAL COMMAND: bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-czprob.opb IDLAUNCH: 10649 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.190 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.190 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: 867800 kB Buffers: 19792 kB Cached: 126748 kB SwapCached: 0 kB Active: 53432 kB Inactive: 95740 kB HighTotal: 131008 kB HighFree: 2912 kB LowTotal: 903652 kB LowFree: 864888 kB SwapTotal: 2097136 kB SwapFree: 2096800 kB Dirty: 40 kB Writeback: 0 kB Mapped: 6576 kB Slab: 12052 kB Committed_AS: 71760 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-25 04:51:37 (client local time) WITH STATUS 0 IN 1200.21 SECONDS stats: 10649 7 1200.21 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.85 0.92 0.95 2/54 30084 Raw data (stat): 30084 (runsolver) R 30083 20224 20223 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 777790192 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 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.0003 s] Raw data (loadavg): 0.87 0.92 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 1331 0 0 0 993 4 0 0 25 0 1 0 777790192 15364096 1255 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3751 1255 1111 63 0 3688 0 vsize: 15004 [startup+20.0006 s] Raw data (loadavg): 0.89 0.92 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 1391 0 0 0 1992 5 0 0 25 0 1 0 777790192 15667200 1315 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3825 1315 1111 63 0 3762 0 vsize: 15300 [startup+30.0099 s] Raw data (loadavg): 0.91 0.93 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 1465 0 0 0 2993 5 0 0 25 0 1 0 777790192 15949824 1389 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3894 1389 1111 63 0 3831 0 vsize: 15576 [startup+40.01 s] Raw data (loadavg): 0.92 0.93 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 1525 0 0 0 3992 6 0 0 25 0 1 0 777790192 16240640 1449 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3965 1449 1111 63 0 3902 0 vsize: 15860 [startup+50.0112 s] Raw data (loadavg): 0.93 0.93 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 1598 0 0 0 4992 6 0 0 25 0 1 0 777790192 16543744 1522 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4039 1522 1111 63 0 3976 0 vsize: 16156 [startup+60.0189 s] Raw data (loadavg): 0.94 0.93 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 1665 0 0 0 5992 7 0 0 25 0 1 0 777790192 16695296 1589 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4076 1589 1111 63 0 4013 0 vsize: 16304 [startup+70.0278 s] Raw data (loadavg): 0.95 0.93 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 1731 0 0 0 6993 7 0 0 25 0 1 0 777790192 17002496 1655 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4151 1655 1111 63 0 4088 0 vsize: 16604 [startup+80.0297 s] Raw data (loadavg): 0.96 0.94 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 1794 0 0 0 7993 7 0 0 25 0 1 0 777790192 17285120 1718 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4220 1718 1111 63 0 4157 0 vsize: 16880 [startup+90.0295 s] Raw data (loadavg): 0.96 0.94 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 1866 0 0 0 8992 8 0 0 25 0 1 0 777790192 17584128 1790 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4293 1790 1111 63 0 4230 0 vsize: 17172 [startup+100.031 s] Raw data (loadavg): 0.97 0.94 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 1927 0 0 0 9992 8 0 0 25 0 1 0 777790192 17862656 1851 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4361 1851 1111 63 0 4298 0 vsize: 17444 [startup+110.031 s] Raw data (loadavg): 0.97 0.94 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 1999 0 0 0 10992 9 0 0 25 0 1 0 777790192 18165760 1923 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4435 1923 1111 63 0 4372 0 vsize: 17740 [startup+120.031 s] Raw data (loadavg): 0.98 0.94 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 2059 0 0 0 11992 9 0 0 25 0 1 0 777790192 18313216 1983 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4471 1983 1111 63 0 4408 0 vsize: 17884 [startup+130.031 s] Raw data (loadavg): 0.98 0.94 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 2133 0 0 0 12992 9 0 0 25 0 1 0 777790192 18612224 2057 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4544 2057 1111 63 0 4481 0 vsize: 18176 [startup+140.031 s] Raw data (loadavg): 0.98 0.94 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 2199 0 0 0 13991 10 0 0 25 0 1 0 777790192 18890752 2123 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4612 2123 1111 63 0 4549 0 vsize: 18448 [startup+150.032 s] Raw data (loadavg): 0.98 0.95 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 2270 0 0 0 14991 10 0 0 25 0 1 0 777790192 19189760 2194 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4685 2194 1111 63 0 4622 0 vsize: 18740 [startup+160.032 s] Raw data (loadavg): 0.99 0.95 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 2338 0 0 0 15991 10 0 0 25 0 1 0 777790192 19484672 2262 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4757 2262 1111 63 0 4694 0 vsize: 19028 [startup+170.032 s] Raw data (loadavg): 0.99 0.95 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 2404 0 0 0 16991 10 0 0 25 0 1 0 777790192 19787776 2328 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4831 2328 1111 63 0 4768 0 vsize: 19324 [startup+180.032 s] Raw data (loadavg): 0.99 0.95 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 2477 0 0 0 17991 11 0 0 25 0 1 0 777790192 20090880 2401 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4905 2401 1111 63 0 4842 0 vsize: 19620 [startup+190.037 s] Raw data (loadavg): 0.99 0.95 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 2543 0 0 0 18991 11 0 0 25 0 1 0 777790192 20389888 2467 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4978 2467 1111 63 0 4915 0 vsize: 19912 [startup+200.038 s] Raw data (loadavg): 0.99 0.95 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 2612 0 0 0 19991 12 0 0 25 0 1 0 777790192 20668416 2536 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5046 2536 1111 63 0 4983 0 vsize: 20184 [startup+210.038 s] Raw data (loadavg): 0.99 0.95 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 2684 0 0 0 20990 12 0 0 25 0 1 0 777790192 20967424 2608 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5119 2608 1111 63 0 5056 0 vsize: 20476 [startup+220.038 s] Raw data (loadavg): 0.99 0.95 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 2744 0 0 0 21990 13 0 0 25 0 1 0 777790192 21114880 2668 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5155 2668 1111 63 0 5092 0 vsize: 20620 [startup+230.038 s] Raw data (loadavg): 0.99 0.95 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 2818 0 0 0 22989 13 0 0 25 0 1 0 777790192 21422080 2742 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5230 2742 1111 63 0 5167 0 vsize: 20920 [startup+240.038 s] Raw data (loadavg): 0.99 0.95 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 2884 0 0 0 23989 14 0 0 25 0 1 0 777790192 21721088 2808 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5303 2808 1111 63 0 5240 0 vsize: 21212 [startup+250.039 s] Raw data (loadavg): 0.99 0.95 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 2950 0 0 0 24989 14 0 0 25 0 1 0 777790192 22024192 2874 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5377 2874 1111 63 0 5314 0 vsize: 21508 [startup+260.04 s] Raw data (loadavg): 0.99 0.96 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 3018 0 0 0 25989 15 0 0 25 0 1 0 777790192 22327296 2942 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5451 2942 1111 63 0 5388 0 vsize: 21804 [startup+270.04 s] Raw data (loadavg): 0.99 0.96 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 3083 0 0 0 26989 15 0 0 25 0 1 0 777790192 22630400 3007 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5525 3007 1111 63 0 5462 0 vsize: 22100 [startup+280.041 s] Raw data (loadavg): 0.99 0.96 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 3143 0 0 0 27988 15 0 0 25 0 1 0 777790192 22781952 3067 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5562 3067 1111 63 0 5499 0 vsize: 22248 [startup+290.041 s] Raw data (loadavg): 0.99 0.96 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 3215 0 0 0 28988 16 0 0 25 0 1 0 777790192 23080960 3139 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5635 3139 1111 63 0 5572 0 vsize: 22540 [startup+300.043 s] Raw data (loadavg): 0.99 0.96 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 3296 0 0 0 29987 17 0 0 25 0 1 0 777790192 23523328 3220 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5743 3220 1111 63 0 5680 0 vsize: 22972 [startup+310.043 s] Raw data (loadavg): 0.99 0.96 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 3357 0 0 0 30987 17 0 0 25 0 1 0 777790192 23674880 3281 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5780 3281 1111 63 0 5717 0 vsize: 23120 [startup+320.043 s] Raw data (loadavg): 0.99 0.96 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 3430 0 0 0 31987 17 0 0 25 0 1 0 777790192 23977984 3354 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5854 3354 1111 63 0 5791 0 vsize: 23416 [startup+330.044 s] Raw data (loadavg): 0.99 0.96 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 3497 0 0 0 32987 18 0 0 25 0 1 0 777790192 24281088 3421 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5928 3421 1111 63 0 5865 0 vsize: 23712 [startup+340.044 s] Raw data (loadavg): 0.99 0.96 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 3563 0 0 0 33986 18 0 0 25 0 1 0 777790192 24584192 3487 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6002 3487 1111 63 0 5939 0 vsize: 24008 [startup+350.044 s] Raw data (loadavg): 0.99 0.96 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 3629 0 0 0 34986 19 0 0 25 0 1 0 777790192 24883200 3553 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6075 3553 1111 63 0 6012 0 vsize: 24300 [startup+360.046 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 3697 0 0 0 35986 19 0 0 25 0 1 0 777790192 25030656 3621 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6111 3621 1111 63 0 6048 0 vsize: 24444 [startup+370.046 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 3771 0 0 0 36986 19 0 0 25 0 1 0 777790192 25456640 3695 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6215 3695 1111 63 0 6152 0 vsize: 24860 [startup+380.046 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 3837 0 0 0 37986 19 0 0 25 0 1 0 777790192 25608192 3761 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6252 3761 1111 63 0 6189 0 vsize: 25008 [startup+390.046 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 3906 0 0 0 38985 20 0 0 25 0 1 0 777790192 25911296 3830 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6326 3830 1111 63 0 6263 0 vsize: 25304 [startup+400.049 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 3978 0 0 0 39985 21 0 0 25 0 1 0 777790192 26214400 3902 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6400 3902 1111 63 0 6337 0 vsize: 25600 [startup+410.048 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 4045 0 0 0 40984 21 0 0 25 0 1 0 777790192 26517504 3969 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6474 3969 1111 63 0 6411 0 vsize: 25896 [startup+420.048 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 4111 0 0 0 41984 21 0 0 25 0 1 0 777790192 26816512 4035 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6547 4035 1111 63 0 6484 0 vsize: 26188 [startup+430.049 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 4185 0 0 0 42984 22 0 0 25 0 1 0 777790192 27123712 4109 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6622 4109 1111 63 0 6559 0 vsize: 26488 [startup+440.049 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 4259 0 0 0 43984 22 0 0 25 0 1 0 777790192 27422720 4183 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6695 4183 1111 63 0 6632 0 vsize: 26780 [startup+450.05 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 4326 0 0 0 44984 23 0 0 25 0 1 0 777790192 27721728 4250 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6768 4250 1111 63 0 6705 0 vsize: 27072 [startup+460.05 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 4401 0 0 0 45983 23 0 0 25 0 1 0 777790192 28028928 4325 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6843 4325 1111 63 0 6780 0 vsize: 27372 [startup+470.05 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 4468 0 0 0 46983 23 0 0 25 0 1 0 777790192 28176384 4392 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6879 4392 1111 63 0 6816 0 vsize: 27516 [startup+480.05 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 4541 0 0 0 47983 23 0 0 25 0 1 0 777790192 28475392 4465 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6952 4465 1111 63 0 6889 0 vsize: 27808 [startup+490.05 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 4615 0 0 0 48983 24 0 0 25 0 1 0 777790192 28782592 4539 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7027 4539 1111 63 0 6964 0 vsize: 28108 [startup+500.051 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 4688 0 0 0 49983 24 0 0 25 0 1 0 777790192 29085696 4612 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7101 4612 1111 63 0 7038 0 vsize: 28404 [startup+510.051 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 4755 0 0 0 50983 24 0 0 25 0 1 0 777790192 29384704 4679 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7174 4679 1111 63 0 7111 0 vsize: 28696 [startup+520.051 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 4823 0 0 0 51983 24 0 0 25 0 1 0 777790192 29691904 4747 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7249 4747 1111 63 0 7186 0 vsize: 28996 [startup+530.051 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 4896 0 0 0 52983 25 0 0 25 0 1 0 777790192 29990912 4820 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7322 4820 1111 63 0 7259 0 vsize: 29288 [startup+540.052 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 4969 0 0 0 53983 25 0 0 25 0 1 0 777790192 30289920 4893 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7395 4893 1111 63 0 7332 0 vsize: 29580 [startup+550.053 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 5044 0 0 0 54982 25 0 0 25 0 1 0 777790192 30597120 4968 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7470 4968 1111 63 0 7407 0 vsize: 29880 [startup+560.053 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 5117 0 0 0 55982 26 0 0 25 0 1 0 777790192 30896128 5041 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7543 5041 1111 63 0 7480 0 vsize: 30172 [startup+570.053 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 5190 0 0 0 56981 27 0 0 25 0 1 0 777790192 31195136 5114 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7616 5114 1111 63 0 7553 0 vsize: 30464 [startup+580.053 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 5275 0 0 0 57981 27 0 0 25 0 1 0 777790192 31657984 5199 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7729 5199 1111 63 0 7666 0 vsize: 30916 [startup+590.052 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 5348 0 0 0 58981 28 0 0 25 0 1 0 777790192 31961088 5272 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7803 5272 1111 63 0 7740 0 vsize: 31212 [startup+600.053 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 5421 0 0 0 59981 28 0 0 25 0 1 0 777790192 32260096 5345 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7876 5345 1111 63 0 7813 0 vsize: 31504 [startup+610.054 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 5497 0 0 0 60981 28 0 0 25 0 1 0 777790192 32567296 5421 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7951 5421 1111 63 0 7888 0 vsize: 31804 [startup+620.054 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 5571 0 0 0 61981 28 0 0 25 0 1 0 777790192 32866304 5495 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8024 5495 1111 63 0 7961 0 vsize: 32096 [startup+630.054 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 5644 0 0 0 62980 29 0 0 25 0 1 0 777790192 33165312 5568 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8097 5568 1111 63 0 8034 0 vsize: 32388 [startup+640.055 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 5719 0 0 0 63980 29 0 0 25 0 1 0 777790192 33472512 5643 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8172 5643 1111 63 0 8109 0 vsize: 32688 [startup+650.055 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 5793 0 0 0 64980 30 0 0 25 0 1 0 777790192 33771520 5717 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8245 5717 1111 63 0 8182 0 vsize: 32980 [startup+660.055 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 5866 0 0 0 65979 30 0 0 25 0 1 0 777790192 34074624 5790 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8319 5790 1111 63 0 8256 0 vsize: 33276 [startup+670.055 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 5934 0 0 0 66979 31 0 0 25 0 1 0 777790192 34226176 5858 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8356 5858 1111 63 0 8293 0 vsize: 33424 [startup+680.056 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 6002 0 0 0 67979 31 0 0 25 0 1 0 777790192 34529280 5926 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8430 5926 1111 63 0 8367 0 vsize: 33720 [startup+690.056 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 6075 0 0 0 68979 32 0 0 25 0 1 0 777790192 34832384 5999 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8504 5999 1111 63 0 8441 0 vsize: 34016 [startup+700.057 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 6150 0 0 0 69978 33 0 0 25 0 1 0 777790192 35131392 6074 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8577 6074 1111 63 0 8514 0 vsize: 34308 [startup+710.057 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 6224 0 0 0 70978 33 0 0 25 0 1 0 777790192 35438592 6148 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8652 6148 1111 63 0 8589 0 vsize: 34608 [startup+720.057 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 6304 0 0 0 71977 33 0 0 25 0 1 0 777790192 35737600 6228 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8725 6228 1111 63 0 8662 0 vsize: 34900 [startup+730.057 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 6379 0 0 0 72977 34 0 0 25 0 1 0 777790192 36036608 6303 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8798 6303 1111 63 0 8735 0 vsize: 35192 [startup+740.057 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 6445 0 0 0 73977 34 0 0 25 0 1 0 777790192 36343808 6369 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8873 6369 1111 63 0 8810 0 vsize: 35492 [startup+750.058 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 6526 0 0 0 74977 34 0 0 25 0 1 0 777790192 36642816 6450 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8946 6450 1111 63 0 8883 0 vsize: 35784 [startup+760.058 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 6601 0 0 0 75976 35 0 0 25 0 1 0 777790192 36945920 6525 4294967295 134512640 134714508 3221224592 3221223248 134527935 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9020 6525 1111 63 0 8957 0 vsize: 36080 [startup+770.057 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 6675 0 0 0 76976 35 0 0 25 0 1 0 777790192 37253120 6599 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9095 6599 1111 63 0 9032 0 vsize: 36380 [startup+780.058 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 6755 0 0 0 77975 36 0 0 25 0 1 0 777790192 37699584 6679 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9204 6679 1111 63 0 9141 0 vsize: 36816 [startup+790.058 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 6830 0 0 0 78975 36 0 0 25 0 1 0 777790192 38006784 6754 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9279 6754 1111 63 0 9216 0 vsize: 37116 [startup+800.059 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 6903 0 0 0 79975 37 0 0 25 0 1 0 777790192 38305792 6827 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9352 6827 1111 63 0 9289 0 vsize: 37408 [startup+810.059 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 6978 0 0 0 80975 37 0 0 25 0 1 0 777790192 38604800 6902 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9425 6902 1111 63 0 9362 0 vsize: 37700 [startup+820.059 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 7053 0 0 0 81974 37 0 0 25 0 1 0 777790192 38912000 6977 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9500 6977 1111 63 0 9437 0 vsize: 38000 [startup+830.059 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 7127 0 0 0 82974 37 0 0 25 0 1 0 777790192 39211008 7051 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9573 7051 1111 63 0 9510 0 vsize: 38292 [startup+840.059 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 7200 0 0 0 83974 38 0 0 25 0 1 0 777790192 39514112 7124 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9647 7124 1111 63 0 9584 0 vsize: 38588 [startup+850.06 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 7276 0 0 0 84974 38 0 0 25 0 1 0 777790192 39817216 7200 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9721 7200 1111 63 0 9658 0 vsize: 38884 [startup+860.06 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 7356 0 0 0 85974 39 0 0 25 0 1 0 777790192 40120320 7280 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9795 7280 1111 63 0 9732 0 vsize: 39180 [startup+870.06 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 7436 0 0 0 86974 39 0 0 25 0 1 0 777790192 40419328 7360 4294967295 134512640 134714508 3221224592 3221222460 1077245976 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9868 7360 1111 63 0 9805 0 vsize: 39472 [startup+880.06 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 7512 0 0 0 87974 39 0 0 25 0 1 0 777790192 40726528 7436 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9943 7436 1111 63 0 9880 0 vsize: 39772 [startup+890.061 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 7586 0 0 0 88974 39 0 0 25 0 1 0 777790192 41025536 7510 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10016 7510 1111 63 0 9953 0 vsize: 40064 [startup+900.061 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 7659 0 0 0 89974 39 0 0 25 0 1 0 777790192 41324544 7583 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10089 7583 1111 63 0 10026 0 vsize: 40356 [startup+910.061 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 7735 0 0 0 90974 39 0 0 25 0 1 0 777790192 41631744 7659 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10164 7659 1111 63 0 10101 0 vsize: 40656 [startup+920.061 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 7816 0 0 0 91974 39 0 0 25 0 1 0 777790192 41930752 7740 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10237 7740 1111 63 0 10174 0 vsize: 40948 [startup+930.061 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 7889 0 0 0 92974 39 0 0 25 0 1 0 777790192 42233856 7813 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10311 7813 1111 63 0 10248 0 vsize: 41244 [startup+940.061 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 7964 0 0 0 93974 40 0 0 25 0 1 0 777790192 42541056 7888 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10386 7888 1111 63 0 10323 0 vsize: 41544 [startup+950.061 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 8044 0 0 0 94974 40 0 0 25 0 1 0 777790192 42840064 7968 4294967295 134512640 134714508 3221224592 3221222460 1077245976 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10459 7968 1111 63 0 10396 0 vsize: 41836 [startup+960.062 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 8118 0 0 0 95974 40 0 0 25 0 1 0 777790192 43139072 8042 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10532 8042 1111 63 0 10469 0 vsize: 42128 [startup+970.066 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 8201 0 0 0 96974 40 0 0 25 0 1 0 777790192 43597824 8125 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10644 8125 1111 63 0 10581 0 vsize: 42576 [startup+980.066 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 8282 0 0 0 97975 40 0 0 25 0 1 0 777790192 43896832 8206 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10717 8206 1111 63 0 10654 0 vsize: 42868 [startup+990.067 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 8356 0 0 0 98975 41 0 0 25 0 1 0 777790192 44199936 8280 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10791 8280 1111 63 0 10728 0 vsize: 43164 [startup+1000.07 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 8438 0 0 0 99975 41 0 0 25 0 1 0 777790192 44503040 8362 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10865 8362 1111 63 0 10802 0 vsize: 43460 [startup+1010.07 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 8519 0 0 0 100975 41 0 0 25 0 1 0 777790192 44806144 8443 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10939 8443 1111 63 0 10876 0 vsize: 43756 [startup+1020.07 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 8594 0 0 0 101975 41 0 0 25 0 1 0 777790192 45105152 8518 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11012 8518 1111 63 0 10949 0 vsize: 44048 [startup+1030.07 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 8668 0 0 0 102975 41 0 0 25 0 1 0 777790192 45412352 8592 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11087 8592 1111 63 0 11024 0 vsize: 44348 [startup+1040.07 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 8740 0 0 0 103975 41 0 0 25 0 1 0 777790192 45711360 8664 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11160 8664 1111 63 0 11097 0 vsize: 44640 [startup+1050.07 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 8799 0 0 0 104975 42 0 0 25 0 1 0 777790192 46010368 8723 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11233 8723 1111 63 0 11170 0 vsize: 44932 [startup+1060.07 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 8873 0 0 0 105975 42 0 0 25 0 1 0 777790192 46317568 8797 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11308 8797 1111 63 0 11245 0 vsize: 45232 [startup+1070.07 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 8947 0 0 0 106974 42 0 0 25 0 1 0 777790192 46616576 8871 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11381 8871 1111 63 0 11318 0 vsize: 45524 [startup+1080.07 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 9021 0 0 0 107974 42 0 0 25 0 1 0 777790192 46919680 8945 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11455 8945 1111 63 0 11392 0 vsize: 45820 [startup+1090.07 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 9102 0 0 0 108974 42 0 0 25 0 1 0 777790192 47222784 9026 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11529 9026 1111 63 0 11466 0 vsize: 46116 [startup+1100.07 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 9209 0 0 0 109974 42 0 0 25 0 1 0 777790192 47714304 9133 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11649 9133 1111 63 0 11586 0 vsize: 46596 [startup+1110.07 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 9275 0 0 0 110974 43 0 0 25 0 1 0 777790192 48013312 9199 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11722 9199 1111 63 0 11659 0 vsize: 46888 [startup+1120.07 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 9355 0 0 0 111974 43 0 0 25 0 1 0 777790192 48316416 9279 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11796 9279 1111 63 0 11733 0 vsize: 47184 [startup+1130.07 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 9429 0 0 0 112974 43 0 0 25 0 1 0 777790192 48615424 9353 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11869 9353 1111 63 0 11806 0 vsize: 47476 [startup+1140.07 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 9511 0 0 0 113974 43 0 0 25 0 1 0 777790192 49070080 9435 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11980 9435 1111 63 0 11917 0 vsize: 47920 [startup+1150.07 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 9584 0 0 0 114974 44 0 0 25 0 1 0 777790192 49369088 9508 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12053 9508 1111 63 0 11990 0 vsize: 48212 [startup+1160.07 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 9671 0 0 0 115974 44 0 0 25 0 1 0 777790192 49668096 9595 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12126 9595 1111 63 0 12063 0 vsize: 48504 [startup+1170.07 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 9747 0 0 0 116974 44 0 0 25 0 1 0 777790192 49971200 9671 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12200 9671 1111 63 0 12137 0 vsize: 48800 [startup+1180.07 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 9827 0 0 0 117973 44 0 0 25 0 1 0 777790192 50270208 9751 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12273 9751 1111 63 0 12210 0 vsize: 49092 [startup+1190.07 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 9907 0 0 0 118973 45 0 0 25 0 1 0 777790192 50569216 9831 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12346 9831 1111 63 0 12283 0 vsize: 49384 [startup+1200.07 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 9984 0 0 0 119973 45 0 0 25 0 1 0 777790192 50876416 9908 4294967295 134512640 134714508 3221224592 3221222820 1077414374 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12421 9908 1111 63 0 12358 0 vsize: 49684 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.1 s] Raw data (loadavg): 0.99 0.97 0.95 1/54 30084 Raw data (stat): 30084 (bsolo_lpr_cuts) Z 30083 20224 20223 0 -1 1036 9984 0 0 0 119973 47 0 0 25 0 1 0 777790192 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.1 CPU time (s): 1200.21 CPU user time (s): 1199.74 CPU system time (s): 0.470928 CPU usage (%): 100.01 Max. virtual memory (Kb): 49684 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####