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 wulflinc10 THE 2005-05-24 17:12:32 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=10648 boxname=wulflinc10 idbench=820 idsolver=1 numberseed=0 MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef /oldhome/oroussel/solvers/bsolo_lpr MD5SUM BENCH: 8225997c3fd9c39c0ae1e7fa3d3e4160 /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-20-10-czprob.opb REAL COMMAND: bsolo_lpr /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-20-10-czprob.opb IDLAUNCH: 10648 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 450.999 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 : 450.999 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: 785124 kB Buffers: 34700 kB Cached: 193284 kB SwapCached: 224 kB Active: 84464 kB Inactive: 146320 kB HighTotal: 131008 kB HighFree: 280 kB LowTotal: 903652 kB LowFree: 784844 kB SwapTotal: 2097136 kB SwapFree: 2096792 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6568 kB Slab: 13132 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-24 17:32:34 (client local time) WITH STATUS 0 IN 1200.28 SECONDS stats: 10648 7 1200.28 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.96 0.95 0.91 2/54 19072 Raw data (stat): 19072 (runsolver) R 19071 15547 15546 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 773735945 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 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+9.99989 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 1331 0 0 0 993 5 0 0 25 0 1 0 773735945 15364096 1255 4294967295 134512640 134714508 3221224592 3221222820 1077414395 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.0003 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 1391 0 0 0 1993 5 0 0 25 0 1 0 773735945 15667200 1315 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3825 1315 1111 63 0 3762 0 vsize: 15300 [startup+29.9995 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 1465 0 0 0 2993 5 0 0 25 0 1 0 773735945 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.0004 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 1525 0 0 0 3993 5 0 0 25 0 1 0 773735945 16240640 1449 4294967295 134512640 134714508 3221224592 3221222820 1077414363 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.0009 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 1598 0 0 0 4993 6 0 0 25 0 1 0 773735945 16543744 1522 4294967295 134512640 134714508 3221224592 3221222820 1077414363 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.0006 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 1665 0 0 0 5993 6 0 0 25 0 1 0 773735945 16695296 1589 4294967295 134512640 134714508 3221224592 3221222820 1077414388 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.0012 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 1731 0 0 0 6992 6 0 0 25 0 1 0 773735945 17002496 1655 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4151 1655 1111 63 0 4088 0 vsize: 16604 [startup+80.0016 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 1794 0 0 0 7992 6 0 0 25 0 1 0 773735945 17285120 1718 4294967295 134512640 134714508 3221224592 3221222820 1077414426 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.0019 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 1866 0 0 0 8992 6 0 0 25 0 1 0 773735945 17584128 1790 4294967295 134512640 134714508 3221224592 3221222820 1077414388 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.002 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 1928 0 0 0 9992 7 0 0 25 0 1 0 773735945 17862656 1852 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4361 1852 1111 63 0 4298 0 vsize: 17444 [startup+110.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 2000 0 0 0 10992 7 0 0 25 0 1 0 773735945 18165760 1924 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4435 1924 1111 63 0 4372 0 vsize: 17740 [startup+120.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 2059 0 0 0 11992 7 0 0 25 0 1 0 773735945 18313216 1983 4294967295 134512640 134714508 3221224592 3221222820 1077414338 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.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 2133 0 0 0 12992 7 0 0 25 0 1 0 773735945 18612224 2057 4294967295 134512640 134714508 3221224592 3221222820 1077414432 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.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 2200 0 0 0 13992 7 0 0 25 0 1 0 773735945 18890752 2124 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4612 2124 1111 63 0 4549 0 vsize: 18448 [startup+150.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 2271 0 0 0 14993 7 0 0 25 0 1 0 773735945 19189760 2195 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4685 2195 1111 63 0 4622 0 vsize: 18740 [startup+160.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 2338 0 0 0 15992 8 0 0 25 0 1 0 773735945 19484672 2262 4294967295 134512640 134714508 3221224592 3221222820 1077414413 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.005 s] Raw data (loadavg): 1.07 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 2404 0 0 0 16993 8 0 0 25 0 1 0 773735945 19787776 2328 4294967295 134512640 134714508 3221224592 3221222820 1077414370 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.014 s] Raw data (loadavg): 1.06 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 2477 0 0 0 17994 8 0 0 25 0 1 0 773735945 20090880 2401 4294967295 134512640 134714508 3221224592 3221222820 1077414388 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.027 s] Raw data (loadavg): 1.05 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 2543 0 0 0 18995 8 0 0 25 0 1 0 773735945 20389888 2467 4294967295 134512640 134714508 3221224592 3221222820 1077414345 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.026 s] Raw data (loadavg): 1.04 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 2612 0 0 0 19995 8 0 0 25 0 1 0 773735945 20668416 2536 4294967295 134512640 134714508 3221224592 3221222820 1077414345 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.026 s] Raw data (loadavg): 1.03 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 2685 0 0 0 20995 8 0 0 25 0 1 0 773735945 20967424 2609 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5119 2609 1111 63 0 5056 0 vsize: 20476 [startup+220.028 s] Raw data (loadavg): 1.03 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 2751 0 0 0 21995 9 0 0 25 0 1 0 773735945 21266432 2675 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5192 2675 1111 63 0 5129 0 vsize: 20768 [startup+230.028 s] Raw data (loadavg): 1.02 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 2818 0 0 0 22995 9 0 0 25 0 1 0 773735945 21422080 2742 4294967295 134512640 134714508 3221224592 3221222820 1077414338 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.029 s] Raw data (loadavg): 1.02 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 2884 0 0 0 23995 9 0 0 25 0 1 0 773735945 21721088 2808 4294967295 134512640 134714508 3221224592 3221222820 1077414432 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.028 s] Raw data (loadavg): 1.02 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 2950 0 0 0 24995 9 0 0 25 0 1 0 773735945 22024192 2874 4294967295 134512640 134714508 3221224592 3221222820 1077414349 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.028 s] Raw data (loadavg): 1.01 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 3024 0 0 0 25995 9 0 0 25 0 1 0 773735945 22327296 2948 4294967295 134512640 134714508 3221224592 3221222820 1077414374 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5451 2948 1111 63 0 5388 0 vsize: 21804 [startup+270.028 s] Raw data (loadavg): 1.01 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 3083 0 0 0 26995 10 0 0 25 0 1 0 773735945 22630400 3007 4294967295 134512640 134714508 3221224592 3221222820 1077414370 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.028 s] Raw data (loadavg): 1.01 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 3150 0 0 0 27995 10 0 0 25 0 1 0 773735945 22781952 3074 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5562 3074 1111 63 0 5499 0 vsize: 22248 [startup+290.028 s] Raw data (loadavg): 1.01 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 3216 0 0 0 28995 10 0 0 25 0 1 0 773735945 23080960 3140 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5635 3140 1111 63 0 5572 0 vsize: 22540 [startup+300.028 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 3297 0 0 0 29995 10 0 0 25 0 1 0 773735945 23523328 3221 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5743 3221 1111 63 0 5680 0 vsize: 22972 [startup+310.027 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 3364 0 0 0 30995 10 0 0 25 0 1 0 773735945 23674880 3288 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5780 3288 1111 63 0 5717 0 vsize: 23120 [startup+320.028 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 3430 0 0 0 31995 11 0 0 25 0 1 0 773735945 23977984 3354 4294967295 134512640 134714508 3221224592 3221222820 1077414345 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.027 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 3498 0 0 0 32995 11 0 0 25 0 1 0 773735945 24281088 3422 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5928 3422 1111 63 0 5865 0 vsize: 23712 [startup+340.027 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 3563 0 0 0 33995 11 0 0 25 0 1 0 773735945 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.026 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 3630 0 0 0 34995 11 0 0 25 0 1 0 773735945 24883200 3554 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6075 3554 1111 63 0 6012 0 vsize: 24300 [startup+360.034 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 3697 0 0 0 35996 11 0 0 25 0 1 0 773735945 25030656 3621 4294967295 134512640 134714508 3221224592 3221222820 1077414374 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.041 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 3771 0 0 0 36997 11 0 0 25 0 1 0 773735945 25456640 3695 4294967295 134512640 134714508 3221224592 3221222820 1077414338 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.041 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 3837 0 0 0 37997 11 0 0 25 0 1 0 773735945 25608192 3761 4294967295 134512640 134714508 3221224592 3221222820 1077414420 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.041 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 3906 0 0 0 38997 11 0 0 25 0 1 0 773735945 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.042 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 3979 0 0 0 39997 11 0 0 25 0 1 0 773735945 26214400 3903 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6400 3903 1111 63 0 6337 0 vsize: 25600 [startup+410.049 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 4051 0 0 0 40998 11 0 0 25 0 1 0 773735945 26517504 3975 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6474 3975 1111 63 0 6411 0 vsize: 25896 [startup+420.05 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 4118 0 0 0 41998 11 0 0 25 0 1 0 773735945 26816512 4042 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6547 4042 1111 63 0 6484 0 vsize: 26188 [startup+430.057 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 4185 0 0 0 42999 12 0 0 25 0 1 0 773735945 27123712 4109 4294967295 134512640 134714508 3221224592 3221222820 1077414363 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.056 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 4259 0 0 0 43999 12 0 0 25 0 1 0 773735945 27422720 4183 4294967295 134512640 134714508 3221224592 3221222820 1077414363 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.056 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 4332 0 0 0 44999 12 0 0 25 0 1 0 773735945 27721728 4256 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6768 4256 1111 63 0 6705 0 vsize: 27072 [startup+460.056 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 4402 0 0 0 45999 12 0 0 25 0 1 0 773735945 28028928 4326 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6843 4326 1111 63 0 6780 0 vsize: 27372 [startup+470.056 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 4475 0 0 0 46999 12 0 0 25 0 1 0 773735945 28327936 4399 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6916 4399 1111 63 0 6853 0 vsize: 27664 [startup+480.056 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 4548 0 0 0 47999 12 0 0 25 0 1 0 773735945 28631040 4472 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6990 4472 1111 63 0 6927 0 vsize: 27960 [startup+490.057 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 4616 0 0 0 48999 12 0 0 25 0 1 0 773735945 28782592 4540 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7027 4540 1111 63 0 6964 0 vsize: 28108 [startup+500.057 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 4689 0 0 0 49999 13 0 0 25 0 1 0 773735945 29085696 4613 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7101 4613 1111 63 0 7038 0 vsize: 28404 [startup+510.056 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 4762 0 0 0 50999 13 0 0 25 0 1 0 773735945 29384704 4686 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7174 4686 1111 63 0 7111 0 vsize: 28696 [startup+520.056 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 4830 0 0 0 51999 13 0 0 25 0 1 0 773735945 29691904 4754 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7249 4754 1111 63 0 7186 0 vsize: 28996 [startup+530.056 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 4903 0 0 0 52999 13 0 0 25 0 1 0 773735945 29990912 4827 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7322 4827 1111 63 0 7259 0 vsize: 29288 [startup+540.056 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 4976 0 0 0 53999 14 0 0 25 0 1 0 773735945 30289920 4900 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7395 4900 1111 63 0 7332 0 vsize: 29580 [startup+550.056 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 5044 0 0 0 54999 14 0 0 25 0 1 0 773735945 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.055 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 5118 0 0 0 55999 14 0 0 25 0 1 0 773735945 30896128 5042 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7543 5042 1111 63 0 7480 0 vsize: 30172 [startup+570.056 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 5191 0 0 0 56999 14 0 0 25 0 1 0 773735945 31195136 5115 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7616 5115 1111 63 0 7553 0 vsize: 30464 [startup+580.056 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 5276 0 0 0 57999 15 0 0 25 0 1 0 773735945 31657984 5200 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7729 5200 1111 63 0 7666 0 vsize: 30916 [startup+590.056 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 5349 0 0 0 58999 15 0 0 25 0 1 0 773735945 31961088 5273 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7803 5273 1111 63 0 7740 0 vsize: 31212 [startup+600.056 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 5422 0 0 0 59998 15 0 0 25 0 1 0 773735945 32260096 5346 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7876 5346 1111 63 0 7813 0 vsize: 31504 [startup+610.055 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 5498 0 0 0 60998 15 0 0 25 0 1 0 773735945 32567296 5422 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7951 5422 1111 63 0 7888 0 vsize: 31804 [startup+620.056 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 5571 0 0 0 61999 15 0 0 25 0 1 0 773735945 32866304 5495 4294967295 134512640 134714508 3221224592 3221222820 1077414407 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.055 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 5644 0 0 0 62999 15 0 0 25 0 1 0 773735945 33165312 5568 4294967295 134512640 134714508 3221224592 3221222820 1077414407 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.056 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 5719 0 0 0 63999 16 0 0 25 0 1 0 773735945 33472512 5643 4294967295 134512640 134714508 3221224592 3221222820 1077414363 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): 1.00 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 5793 0 0 0 64999 16 0 0 25 0 1 0 773735945 33771520 5717 4294967295 134512640 134714508 3221224592 3221222820 1077414388 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): 1.00 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 5866 0 0 0 65999 16 0 0 25 0 1 0 773735945 34074624 5790 4294967295 134512640 134714508 3221224592 3221222820 1077414363 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.056 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 5941 0 0 0 66999 16 0 0 25 0 1 0 773735945 34377728 5865 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8393 5865 1111 63 0 8330 0 vsize: 33572 [startup+680.056 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 6008 0 0 0 67999 17 0 0 25 0 1 0 773735945 34529280 5932 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8430 5932 1111 63 0 8367 0 vsize: 33720 [startup+690.055 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 6081 0 0 0 68999 17 0 0 25 0 1 0 773735945 34832384 6005 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8504 6005 1111 63 0 8441 0 vsize: 34016 [startup+700.055 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 6157 0 0 0 69999 17 0 0 25 0 1 0 773735945 35131392 6081 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8577 6081 1111 63 0 8514 0 vsize: 34308 [startup+710.055 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 6231 0 0 0 70999 17 0 0 25 0 1 0 773735945 35438592 6155 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8652 6155 1111 63 0 8589 0 vsize: 34608 [startup+720.054 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 6311 0 0 0 71999 17 0 0 25 0 1 0 773735945 35885056 6235 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8761 6235 1111 63 0 8698 0 vsize: 35044 [startup+730.054 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 6385 0 0 0 72999 17 0 0 25 0 1 0 773735945 36192256 6309 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8836 6309 1111 63 0 8773 0 vsize: 35344 [startup+740.054 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 6459 0 0 0 73999 17 0 0 25 0 1 0 773735945 36491264 6383 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8909 6383 1111 63 0 8846 0 vsize: 35636 [startup+750.055 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 6533 0 0 0 74999 18 0 0 25 0 1 0 773735945 36794368 6457 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8983 6457 1111 63 0 8920 0 vsize: 35932 [startup+760.055 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 6608 0 0 0 75999 18 0 0 25 0 1 0 773735945 37097472 6532 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9057 6532 1111 63 0 8994 0 vsize: 36228 [startup+770.055 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 6681 0 0 0 76999 18 0 0 25 0 1 0 773735945 37400576 6605 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9131 6605 1111 63 0 9068 0 vsize: 36524 [startup+780.055 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 6756 0 0 0 77999 18 0 0 25 0 1 0 773735945 37699584 6680 4294967295 134512640 134714508 3221224592 3221222820 1077414349 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9204 6680 1111 63 0 9141 0 vsize: 36816 [startup+790.055 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 6831 0 0 0 78999 18 0 0 25 0 1 0 773735945 38006784 6755 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9279 6755 1111 63 0 9216 0 vsize: 37116 [startup+800.055 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 6904 0 0 0 79999 18 0 0 25 0 1 0 773735945 38305792 6828 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9352 6828 1111 63 0 9289 0 vsize: 37408 [startup+810.054 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 6978 0 0 0 80999 19 0 0 25 0 1 0 773735945 38604800 6902 4294967295 134512640 134714508 3221224592 3221222820 1077414358 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.055 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 7054 0 0 0 81999 19 0 0 25 0 1 0 773735945 38912000 6978 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9500 6978 1111 63 0 9437 0 vsize: 38000 [startup+830.054 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 7134 0 0 0 82999 19 0 0 25 0 1 0 773735945 39211008 7058 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9573 7058 1111 63 0 9510 0 vsize: 38292 [startup+840.054 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 7200 0 0 0 83999 19 0 0 25 0 1 0 773735945 39514112 7124 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9647 7124 1111 63 0 9584 0 vsize: 38588 [startup+850.055 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 7283 0 0 0 84999 19 0 0 25 0 1 0 773735945 39817216 7207 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9721 7207 1111 63 0 9658 0 vsize: 38884 [startup+860.054 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 7362 0 0 0 85999 19 0 0 25 0 1 0 773735945 40120320 7286 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9795 7286 1111 63 0 9732 0 vsize: 39180 [startup+870.053 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 7436 0 0 0 86999 19 0 0 25 0 1 0 773735945 40419328 7360 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9868 7360 1111 63 0 9805 0 vsize: 39472 [startup+880.053 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 7512 0 0 0 87999 19 0 0 25 0 1 0 773735945 40726528 7436 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9943 7436 1111 63 0 9880 0 vsize: 39772 [startup+890.054 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 7585 0 0 0 88999 19 0 0 25 0 1 0 773735945 41025536 7509 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10016 7509 1111 63 0 9953 0 vsize: 40064 [startup+900.053 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 7659 0 0 0 89999 20 0 0 25 0 1 0 773735945 41324544 7583 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10089 7583 1111 63 0 10026 0 vsize: 40356 [startup+910.053 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 7735 0 0 0 90999 20 0 0 25 0 1 0 773735945 41631744 7659 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10164 7659 1111 63 0 10101 0 vsize: 40656 [startup+920.054 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 7809 0 0 0 92000 20 0 0 25 0 1 0 773735945 41930752 7733 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10237 7733 1111 63 0 10174 0 vsize: 40948 [startup+930.053 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 7882 0 0 0 93000 20 0 0 25 0 1 0 773735945 42233856 7806 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10311 7806 1111 63 0 10248 0 vsize: 41244 [startup+940.054 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 7956 0 0 0 94000 20 0 0 25 0 1 0 773735945 42541056 7880 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10386 7880 1111 63 0 10323 0 vsize: 41544 [startup+950.053 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 8031 0 0 0 95000 20 0 0 25 0 1 0 773735945 42840064 7955 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10459 7955 1111 63 0 10396 0 vsize: 41836 [startup+960.053 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 8111 0 0 0 96000 20 0 0 25 0 1 0 773735945 43139072 8035 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10532 8035 1111 63 0 10469 0 vsize: 42128 [startup+970.053 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 8193 0 0 0 97000 21 0 0 25 0 1 0 773735945 43446272 8117 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10607 8117 1111 63 0 10544 0 vsize: 42428 [startup+980.053 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 8268 0 0 0 98000 21 0 0 25 0 1 0 773735945 43745280 8192 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10680 8192 1111 63 0 10617 0 vsize: 42720 [startup+990.053 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 8348 0 0 0 99000 21 0 0 25 0 1 0 773735945 44199936 8272 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10791 8272 1111 63 0 10728 0 vsize: 43164 [startup+1000.05 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 8429 0 0 0 99999 21 0 0 25 0 1 0 773735945 44503040 8353 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10865 8353 1111 63 0 10802 0 vsize: 43460 [startup+1010.05 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 8504 0 0 0 101000 21 0 0 25 0 1 0 773735945 44806144 8428 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10939 8428 1111 63 0 10876 0 vsize: 43756 [startup+1020.05 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 8578 0 0 0 102000 22 0 0 25 0 1 0 773735945 45105152 8502 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11012 8502 1111 63 0 10949 0 vsize: 44048 [startup+1030.05 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 8659 0 0 0 103000 22 0 0 25 0 1 0 773735945 45412352 8583 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11087 8583 1111 63 0 11024 0 vsize: 44348 [startup+1040.05 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 8726 0 0 0 104000 22 0 0 25 0 1 0 773735945 45711360 8650 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11160 8650 1111 63 0 11097 0 vsize: 44640 [startup+1050.05 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 8785 0 0 0 105000 22 0 0 25 0 1 0 773735945 45858816 8709 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11196 8709 1111 63 0 11133 0 vsize: 44784 [startup+1060.05 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 8859 0 0 0 105999 23 0 0 25 0 1 0 773735945 46166016 8783 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11271 8783 1111 63 0 11208 0 vsize: 45084 [startup+1070.05 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 8932 0 0 0 107000 23 0 0 25 0 1 0 773735945 46465024 8856 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11344 8856 1111 63 0 11281 0 vsize: 45376 [startup+1080.05 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 9006 0 0 0 108000 23 0 0 25 0 1 0 773735945 46764032 8930 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11417 8930 1111 63 0 11354 0 vsize: 45668 [startup+1090.05 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 9081 0 0 0 109000 23 0 0 25 0 1 0 773735945 47071232 9005 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11492 9005 1111 63 0 11429 0 vsize: 45968 [startup+1100.05 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 9160 0 0 0 110000 23 0 0 25 0 1 0 773735945 47521792 9084 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11602 9084 1111 63 0 11539 0 vsize: 46408 [startup+1110.05 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 9258 0 0 0 111000 23 0 0 25 0 1 0 773735945 48013312 9182 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11722 9182 1111 63 0 11659 0 vsize: 46888 [startup+1120.05 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 9333 0 0 0 112000 24 0 0 25 0 1 0 773735945 48316416 9257 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11796 9257 1111 63 0 11733 0 vsize: 47184 [startup+1130.05 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 9407 0 0 0 113000 24 0 0 25 0 1 0 773735945 48615424 9331 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11869 9331 1111 63 0 11806 0 vsize: 47476 [startup+1140.06 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 9488 0 0 0 114000 24 0 0 25 0 1 0 773735945 48914432 9412 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11942 9412 1111 63 0 11879 0 vsize: 47768 [startup+1150.05 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 9562 0 0 0 115000 24 0 0 25 0 1 0 773735945 49221632 9486 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12017 9486 1111 63 0 11954 0 vsize: 48068 [startup+1160.05 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 9642 0 0 0 116000 24 0 0 25 0 1 0 773735945 49520640 9566 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12090 9566 1111 63 0 12027 0 vsize: 48360 [startup+1170.05 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 9725 0 0 0 117000 25 0 0 25 0 1 0 773735945 49819648 9649 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12163 9649 1111 63 0 12100 0 vsize: 48652 [startup+1180.05 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 9805 0 0 0 117999 25 0 0 25 0 1 0 773735945 50270208 9729 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12273 9729 1111 63 0 12210 0 vsize: 49092 [startup+1190.05 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 9878 0 0 0 119000 25 0 0 25 0 1 0 773735945 50569216 9802 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12346 9802 1111 63 0 12283 0 vsize: 49384 [startup+1200.06 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19072 Raw data (stat): 19072 (bsolo_lpr) R 19071 15547 15546 0 -1 0 9961 0 0 0 120000 25 0 0 25 0 1 0 773735945 50876416 9885 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12421 9885 1111 63 0 12358 0 vsize: 49684 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.08 s] Raw data (loadavg): 1.00 0.99 0.92 1/54 19072 Raw data (stat): 19072 (bsolo_lpr) Z 19071 15547 15546 0 -1 1036 9961 0 0 0 120000 27 0 0 25 0 1 0 773735945 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child ended because it received signal 15 (SIGTERM) Real time (s): 1200.08 CPU time (s): 1200.28 CPU user time (s): 1200 CPU system time (s): 0.277957 CPU usage (%): 100.017 Max. virtual memory (Kb): 49684 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####