Name | normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-d2q06c.opb |
MD5SUM | 91ef78d459f6272891a68c3f1abe1bde |
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 | 89670 |
Biggest coefficient in the objective function | 36281708852543488 |
Number of bits for the biggest coefficient in the objective function | 56 |
Sum of the numbers in the objective function | -1012211575040220109 |
Number of bits of the sum of numbers in the objective function | 64 |
Biggest number in a constraint | 1246989811751845888 |
Number of bits of the biggest number in a constraint | 61 |
Biggest sum of numbers in a constraint | -1012211575040220109 |
Number of bits of the biggest sum of numbers | 64 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 1.42378 |
Number of variables | 155010 |
Total number of constraints | 2171 |
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 | 2171 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 3270 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc2 THE 2005-05-25 04:27:55 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=10661 boxname=wulflinc2 idbench=821 idsolver=1 numberseed=0 MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef /oldhome/oroussel/solvers/bsolo_lpr MD5SUM BENCH: 91ef78d459f6272891a68c3f1abe1bde /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-d2q06c.opb REAL COMMAND: bsolo_lpr /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-d2q06c.opb IDLAUNCH: 10661 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.191 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.191 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 560224 kB Buffers: 17696 kB Cached: 435780 kB SwapCached: 696 kB Active: 54008 kB Inactive: 401860 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 559972 kB SwapTotal: 2097136 kB SwapFree: 2095796 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5616 kB Slab: 12884 kB Committed_AS: 71788 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-25 04:47:58 (client local time) WITH STATUS 0 IN 1200.23 SECONDS stats: 10661 7 1200.23 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.95 0.94 0.91 2/54 9723 Raw data (stat): 9723 (runsolver) R 9722 31399 31398 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 777778935 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+10.0002 s] Raw data (loadavg): 0.96 0.94 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 1151 0 0 0 993 4 0 0 25 0 1 0 777778935 15511552 1075 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3787 1075 1111 63 0 3724 0 vsize: 15148 [startup+20.0013 s] Raw data (loadavg): 0.96 0.94 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 1262 0 0 0 1993 5 0 0 25 0 1 0 777778935 15945728 1186 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3893 1186 1111 63 0 3830 0 vsize: 15572 [startup+30.0006 s] Raw data (loadavg): 0.97 0.94 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 1371 0 0 0 2992 5 0 0 25 0 1 0 777778935 16388096 1295 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4001 1295 1111 63 0 3938 0 vsize: 16004 [startup+40.0013 s] Raw data (loadavg): 0.97 0.95 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 1475 0 0 0 3992 6 0 0 25 0 1 0 777778935 16838656 1399 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4111 1399 1111 63 0 4048 0 vsize: 16444 [startup+50.0024 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 1587 0 0 0 4992 6 0 0 25 0 1 0 777778935 17272832 1511 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4217 1511 1111 63 0 4154 0 vsize: 16868 [startup+60.0027 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 1698 0 0 0 5992 7 0 0 25 0 1 0 777778935 17702912 1622 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4322 1622 1111 63 0 4259 0 vsize: 17288 [startup+70.0024 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 1801 0 0 0 6991 7 0 0 25 0 1 0 777778935 18145280 1725 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4430 1725 1111 63 0 4367 0 vsize: 17720 [startup+80.0025 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 1912 0 0 0 7991 8 0 0 25 0 1 0 777778935 18591744 1836 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4539 1836 1111 63 0 4476 0 vsize: 18156 [startup+90.0028 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 2021 0 0 0 8991 8 0 0 25 0 1 0 777778935 19046400 1945 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4650 1945 1111 63 0 4587 0 vsize: 18600 [startup+100.002 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 2130 0 0 0 9990 9 0 0 25 0 1 0 777778935 19488768 2054 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4758 2054 1111 63 0 4695 0 vsize: 19032 [startup+110.004 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 2203 0 0 0 10990 9 0 0 25 0 1 0 777778935 19795968 2127 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4833 2127 1111 63 0 4770 0 vsize: 19332 [startup+120.004 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 2262 0 0 0 11990 9 0 0 25 0 1 0 777778935 20094976 2186 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4906 2186 1111 63 0 4843 0 vsize: 19624 [startup+130.004 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 2350 0 0 0 12990 10 0 0 25 0 1 0 777778935 20393984 2274 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4979 2274 1111 63 0 4916 0 vsize: 19916 [startup+140.004 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 2438 0 0 0 13990 10 0 0 25 0 1 0 777778935 20844544 2362 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5089 2362 1111 63 0 5026 0 vsize: 20356 [startup+150.004 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 2541 0 0 0 14990 10 0 0 25 0 1 0 777778935 21143552 2465 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5162 2465 1111 63 0 5099 0 vsize: 20648 [startup+160.005 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 2637 0 0 0 15989 11 0 0 25 0 1 0 777778935 21602304 2561 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5274 2561 1111 63 0 5211 0 vsize: 21096 [startup+170.005 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 2732 0 0 0 16989 11 0 0 25 0 1 0 777778935 22048768 2656 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5383 2656 1111 63 0 5320 0 vsize: 21532 [startup+180.004 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 2828 0 0 0 17988 12 0 0 25 0 1 0 777778935 22351872 2752 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5457 2752 1111 63 0 5394 0 vsize: 21828 [startup+190.005 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 2924 0 0 0 18988 12 0 0 25 0 1 0 777778935 22802432 2848 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5567 2848 1111 63 0 5504 0 vsize: 22268 [startup+200.005 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 3048 0 0 0 19988 13 0 0 25 0 1 0 777778935 23265280 2972 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5680 2972 1111 63 0 5617 0 vsize: 22720 [startup+210.006 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 3150 0 0 0 20987 13 0 0 25 0 1 0 777778935 23695360 3074 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5785 3074 1111 63 0 5722 0 vsize: 23140 [startup+220.006 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 3247 0 0 0 21987 14 0 0 25 0 1 0 777778935 24145920 3171 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5895 3171 1111 63 0 5832 0 vsize: 23580 [startup+230.006 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 3341 0 0 0 22987 14 0 0 25 0 1 0 777778935 24444928 3265 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5968 3265 1111 63 0 5905 0 vsize: 23872 [startup+240.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 3437 0 0 0 23986 15 0 0 25 0 1 0 777778935 24895488 3361 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6078 3361 1111 63 0 6015 0 vsize: 24312 [startup+250.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 3549 0 0 0 24986 15 0 0 25 0 1 0 777778935 25350144 3473 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6189 3473 1111 63 0 6126 0 vsize: 24756 [startup+260.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 3637 0 0 0 25986 16 0 0 25 0 1 0 777778935 25649152 3561 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6262 3561 1111 63 0 6199 0 vsize: 25048 [startup+270.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 3741 0 0 0 26985 16 0 0 25 0 1 0 777778935 26103808 3665 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6373 3665 1111 63 0 6310 0 vsize: 25492 [startup+280.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 3843 0 0 0 27985 16 0 0 25 0 1 0 777778935 26550272 3767 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6482 3767 1111 63 0 6419 0 vsize: 25928 [startup+290.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 3932 0 0 0 28986 16 0 0 25 0 1 0 777778935 26849280 3856 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6555 3856 1111 63 0 6492 0 vsize: 26220 [startup+300.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 4036 0 0 0 29986 17 0 0 25 0 1 0 777778935 27275264 3960 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6659 3960 1111 63 0 6596 0 vsize: 26636 [startup+310.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 4155 0 0 0 30986 17 0 0 25 0 1 0 777778935 27881472 4079 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6807 4079 1111 63 0 6744 0 vsize: 27228 [startup+320.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 4264 0 0 0 31986 17 0 0 25 0 1 0 777778935 28327936 4188 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6916 4188 1111 63 0 6853 0 vsize: 27664 [startup+330.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 4360 0 0 0 32986 18 0 0 25 0 1 0 777778935 28626944 4284 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6989 4284 1111 63 0 6926 0 vsize: 27956 [startup+340.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 4464 0 0 0 33986 18 0 0 25 0 1 0 777778935 29081600 4388 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7100 4388 1111 63 0 7037 0 vsize: 28400 [startup+350.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 4565 0 0 0 34985 18 0 0 25 0 1 0 777778935 29532160 4489 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7210 4489 1111 63 0 7147 0 vsize: 28840 [startup+360.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 4655 0 0 0 35986 18 0 0 25 0 1 0 777778935 29835264 4579 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7284 4579 1111 63 0 7221 0 vsize: 29136 [startup+370.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 4764 0 0 0 36986 18 0 0 25 0 1 0 777778935 30281728 4688 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7393 4688 1111 63 0 7330 0 vsize: 29572 [startup+380.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 4874 0 0 0 37986 19 0 0 25 0 1 0 777778935 30740480 4798 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7505 4798 1111 63 0 7442 0 vsize: 30020 [startup+390.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 4949 0 0 0 38986 19 0 0 25 0 1 0 777778935 31039488 4873 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7578 4873 1111 63 0 7515 0 vsize: 30312 [startup+400.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 5071 0 0 0 39986 19 0 0 25 0 1 0 777778935 31678464 4995 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7734 4995 1111 63 0 7671 0 vsize: 30936 [startup+410.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 5188 0 0 0 40986 20 0 0 25 0 1 0 777778935 32124928 5112 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7843 5112 1111 63 0 7780 0 vsize: 31372 [startup+420.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 5312 0 0 0 41986 20 0 0 25 0 1 0 777778935 32583680 5236 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7955 5236 1111 63 0 7892 0 vsize: 31820 [startup+430.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 5416 0 0 0 42986 20 0 0 25 0 1 0 777778935 33030144 5340 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8064 5340 1111 63 0 8001 0 vsize: 32256 [startup+440.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 5528 0 0 0 43985 21 0 0 25 0 1 0 777778935 33484800 5452 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8175 5452 1111 63 0 8112 0 vsize: 32700 [startup+450.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 5638 0 0 0 44985 21 0 0 25 0 1 0 777778935 33931264 5562 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8284 5562 1111 63 0 8221 0 vsize: 33136 [startup+460.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 5748 0 0 0 45985 21 0 0 25 0 1 0 777778935 34390016 5672 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8396 5672 1111 63 0 8333 0 vsize: 33584 [startup+470.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 5858 0 0 0 46985 21 0 0 25 0 1 0 777778935 34836480 5782 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8505 5782 1111 63 0 8442 0 vsize: 34020 [startup+480.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 5963 0 0 0 47985 22 0 0 25 0 1 0 777778935 35291136 5887 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8616 5887 1111 63 0 8553 0 vsize: 34464 [startup+490.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 6067 0 0 0 48985 22 0 0 25 0 1 0 777778935 35737600 5991 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8725 5991 1111 63 0 8662 0 vsize: 34900 [startup+500.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 6169 0 0 0 49985 22 0 0 25 0 1 0 777778935 36044800 6093 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8800 6093 1111 63 0 8737 0 vsize: 35200 [startup+510.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 6286 0 0 0 50984 23 0 0 25 0 1 0 777778935 36642816 6210 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8946 6210 1111 63 0 8883 0 vsize: 35784 [startup+520.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 6391 0 0 0 51985 23 0 0 25 0 1 0 777778935 36945920 6315 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9020 6315 1111 63 0 8957 0 vsize: 36080 [startup+530.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 6509 0 0 0 52985 23 0 0 25 0 1 0 777778935 37543936 6433 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9166 6433 1111 63 0 9103 0 vsize: 36664 [startup+540.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 6627 0 0 0 53985 23 0 0 25 0 1 0 777778935 37998592 6551 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9277 6551 1111 63 0 9214 0 vsize: 37108 [startup+550.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 6729 0 0 0 54985 23 0 0 25 0 1 0 777778935 38445056 6653 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9386 6653 1111 63 0 9323 0 vsize: 37544 [startup+560.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 6832 0 0 0 55985 23 0 0 25 0 1 0 777778935 38752256 6756 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9461 6756 1111 63 0 9398 0 vsize: 37844 [startup+570.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 6943 0 0 0 56985 23 0 0 25 0 1 0 777778935 39202816 6867 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9571 6867 1111 63 0 9508 0 vsize: 38284 [startup+580.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 7048 0 0 0 57985 23 0 0 25 0 1 0 777778935 39653376 6972 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9681 6972 1111 63 0 9618 0 vsize: 38724 [startup+590.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 7158 0 0 0 58985 24 0 0 25 0 1 0 777778935 40103936 7082 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9791 7082 1111 63 0 9728 0 vsize: 39164 [startup+600.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 7261 0 0 0 59985 24 0 0 25 0 1 0 777778935 40558592 7185 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9902 7185 1111 63 0 9839 0 vsize: 39608 [startup+610.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 7357 0 0 0 60985 24 0 0 25 0 1 0 777778935 41009152 7281 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10012 7281 1111 63 0 9949 0 vsize: 40048 [startup+620.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 7484 0 0 0 61985 24 0 0 25 0 1 0 777778935 41459712 7408 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10122 7408 1111 63 0 10059 0 vsize: 40488 [startup+630.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 7585 0 0 0 62985 24 0 0 25 0 1 0 777778935 41910272 7509 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10232 7509 1111 63 0 10169 0 vsize: 40928 [startup+640.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 7673 0 0 0 63985 25 0 0 25 0 1 0 777778935 42209280 7597 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10305 7597 1111 63 0 10242 0 vsize: 41220 [startup+650.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 7792 0 0 0 64985 25 0 0 25 0 1 0 777778935 42782720 7716 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10445 7716 1111 63 0 10382 0 vsize: 41780 [startup+660.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 7901 0 0 0 65984 25 0 0 25 0 1 0 777778935 43233280 7825 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10555 7825 1111 63 0 10492 0 vsize: 42220 [startup+670.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 8022 0 0 0 66984 25 0 0 25 0 1 0 777778935 43683840 7946 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10665 7946 1111 63 0 10602 0 vsize: 42660 [startup+680.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 8146 0 0 0 67984 25 0 0 25 0 1 0 777778935 44134400 8070 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10775 8070 1111 63 0 10712 0 vsize: 43100 [startup+690.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 8264 0 0 0 68984 26 0 0 25 0 1 0 777778935 44589056 8188 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10886 8188 1111 63 0 10823 0 vsize: 43544 [startup+700.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 8382 0 0 0 69984 26 0 0 25 0 1 0 777778935 45191168 8306 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11033 8306 1111 63 0 10970 0 vsize: 44132 [startup+710.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 8498 0 0 0 70984 26 0 0 25 0 1 0 777778935 45641728 8422 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11143 8422 1111 63 0 11080 0 vsize: 44572 [startup+720.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 8617 0 0 0 71984 26 0 0 25 0 1 0 777778935 46096384 8541 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11254 8541 1111 63 0 11191 0 vsize: 45016 [startup+730.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 8712 0 0 0 72984 26 0 0 25 0 1 0 777778935 46546944 8636 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11364 8636 1111 63 0 11301 0 vsize: 45456 [startup+740.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 8846 0 0 0 73984 27 0 0 25 0 1 0 777778935 46997504 8770 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11474 8770 1111 63 0 11411 0 vsize: 45896 [startup+750.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 8988 0 0 0 74984 27 0 0 25 0 1 0 777778935 47710208 8912 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11648 8912 1111 63 0 11585 0 vsize: 46592 [startup+760.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 9121 0 0 0 75984 27 0 0 25 0 1 0 777778935 48304128 9045 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11793 9045 1111 63 0 11730 0 vsize: 47172 [startup+770.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 9245 0 0 0 76984 28 0 0 25 0 1 0 777778935 48750592 9169 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11902 9169 1111 63 0 11839 0 vsize: 47608 [startup+780.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 9371 0 0 0 77984 28 0 0 25 0 1 0 777778935 49328128 9295 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12043 9295 1111 63 0 11980 0 vsize: 48172 [startup+790.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 9461 0 0 0 78983 28 0 0 25 0 1 0 777778935 49627136 9385 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12116 9385 1111 63 0 12053 0 vsize: 48464 [startup+800.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 9578 0 0 0 79984 28 0 0 25 0 1 0 777778935 50077696 9502 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12226 9502 1111 63 0 12163 0 vsize: 48904 [startup+810.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 9695 0 0 0 80983 28 0 0 25 0 1 0 777778935 50675712 9619 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12372 9619 1111 63 0 12309 0 vsize: 49488 [startup+820.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 9814 0 0 0 81983 29 0 0 25 0 1 0 777778935 51101696 9738 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12476 9738 1111 63 0 12413 0 vsize: 49904 [startup+830.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 9917 0 0 0 82983 29 0 0 25 0 1 0 777778935 51552256 9841 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12586 9841 1111 63 0 12523 0 vsize: 50344 [startup+840.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 10050 0 0 0 83983 29 0 0 25 0 1 0 777778935 52006912 9974 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12697 9974 1111 63 0 12634 0 vsize: 50788 [startup+850.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 10169 0 0 0 84983 29 0 0 25 0 1 0 777778935 52609024 10093 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12844 10093 1111 63 0 12781 0 vsize: 51376 [startup+860.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 10285 0 0 0 85983 30 0 0 25 0 1 0 777778935 53059584 10209 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12954 10209 1111 63 0 12891 0 vsize: 51816 [startup+870.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 10391 0 0 0 86983 30 0 0 25 0 1 0 777778935 53510144 10315 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13064 10315 1111 63 0 13001 0 vsize: 52256 [startup+880.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 10522 0 0 0 87983 30 0 0 25 0 1 0 777778935 53960704 10446 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13174 10446 1111 63 0 13111 0 vsize: 52696 [startup+890.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 10641 0 0 0 88983 30 0 0 25 0 1 0 777778935 54415360 10565 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13285 10565 1111 63 0 13222 0 vsize: 53140 [startup+900.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 10772 0 0 0 89983 30 0 0 25 0 1 0 777778935 55013376 10696 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13431 10696 1111 63 0 13368 0 vsize: 53724 [startup+910.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 10891 0 0 0 90983 30 0 0 25 0 1 0 777778935 55468032 10815 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13542 10815 1111 63 0 13479 0 vsize: 54168 [startup+920.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 11010 0 0 0 91983 30 0 0 25 0 1 0 777778935 55914496 10934 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13651 10934 1111 63 0 13588 0 vsize: 54604 [startup+930.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 11142 0 0 0 92983 31 0 0 25 0 1 0 777778935 56520704 11066 4294967295 134512640 134714508 3221224592 3221223248 134527935 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13799 11066 1111 63 0 13736 0 vsize: 55196 [startup+940.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 11268 0 0 0 93983 31 0 0 25 0 1 0 777778935 56971264 11192 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13909 11192 1111 63 0 13846 0 vsize: 55636 [startup+950.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 11393 0 0 0 94983 31 0 0 25 0 1 0 777778935 57573376 11317 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14056 11317 1111 63 0 13993 0 vsize: 56224 [startup+960.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 11511 0 0 0 95983 32 0 0 25 0 1 0 777778935 58028032 11435 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14167 11435 1111 63 0 14104 0 vsize: 56668 [startup+970.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 11622 0 0 0 96983 32 0 0 25 0 1 0 777778935 58478592 11546 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14277 11546 1111 63 0 14214 0 vsize: 57108 [startup+980.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 11733 0 0 0 97983 32 0 0 25 0 1 0 777778935 58929152 11657 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14387 11657 1111 63 0 14324 0 vsize: 57548 [startup+990.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 11849 0 0 0 98982 33 0 0 25 0 1 0 777778935 59379712 11773 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14497 11773 1111 63 0 14434 0 vsize: 57988 [startup+1000.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 11985 0 0 0 99982 33 0 0 25 0 1 0 777778935 59985920 11909 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14645 11909 1111 63 0 14582 0 vsize: 58580 [startup+1010.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 12115 0 0 0 100982 33 0 0 25 0 1 0 777778935 60432384 12039 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14754 12039 1111 63 0 14691 0 vsize: 59016 [startup+1020.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 12234 0 0 0 101982 33 0 0 25 0 1 0 777778935 61034496 12158 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14901 12158 1111 63 0 14838 0 vsize: 59604 [startup+1030.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 12351 0 0 0 102982 33 0 0 25 0 1 0 777778935 61485056 12275 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15011 12275 1111 63 0 14948 0 vsize: 60044 [startup+1040.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 12471 0 0 0 103982 34 0 0 25 0 1 0 777778935 61939712 12395 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15122 12395 1111 63 0 15059 0 vsize: 60488 [startup+1050.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 12590 0 0 0 104982 34 0 0 25 0 1 0 777778935 62390272 12514 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15232 12514 1111 63 0 15169 0 vsize: 60928 [startup+1060.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 12714 0 0 0 105982 35 0 0 25 0 1 0 777778935 62992384 12638 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15379 12638 1111 63 0 15316 0 vsize: 61516 [startup+1070.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 12839 0 0 0 106981 35 0 0 25 0 1 0 777778935 63447040 12763 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15490 12763 1111 63 0 15427 0 vsize: 61960 [startup+1080.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 12950 0 0 0 107981 35 0 0 25 0 1 0 777778935 63897600 12874 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15600 12874 1111 63 0 15537 0 vsize: 62400 [startup+1090.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 13069 0 0 0 108981 35 0 0 25 0 1 0 777778935 64348160 12993 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15710 12993 1111 63 0 15647 0 vsize: 62840 [startup+1100.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 13179 0 0 0 109981 35 0 0 25 0 1 0 777778935 64798720 13103 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15820 13103 1111 63 0 15757 0 vsize: 63280 [startup+1110.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 13297 0 0 0 110981 36 0 0 25 0 1 0 777778935 65253376 13221 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15931 13221 1111 63 0 15868 0 vsize: 63724 [startup+1120.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 13415 0 0 0 111981 36 0 0 25 0 1 0 777778935 65851392 13339 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16077 13339 1111 63 0 16014 0 vsize: 64308 [startup+1130.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 13534 0 0 0 112981 36 0 0 25 0 1 0 777778935 66306048 13458 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16188 13458 1111 63 0 16125 0 vsize: 64752 [startup+1140.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 13664 0 0 0 113981 36 0 0 25 0 1 0 777778935 66752512 13588 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16297 13588 1111 63 0 16234 0 vsize: 65188 [startup+1150.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 13783 0 0 0 114981 36 0 0 25 0 1 0 777778935 67354624 13707 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16444 13707 1111 63 0 16381 0 vsize: 65776 [startup+1160.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 13909 0 0 0 115982 36 0 0 25 0 1 0 777778935 67805184 13833 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16554 13833 1111 63 0 16491 0 vsize: 66216 [startup+1170.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 14035 0 0 0 116982 37 0 0 25 0 1 0 777778935 68259840 13959 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16665 13959 1111 63 0 16602 0 vsize: 66660 [startup+1180.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 14154 0 0 0 117982 37 0 0 25 0 1 0 777778935 68861952 14078 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16812 14078 1111 63 0 16749 0 vsize: 67248 [startup+1190.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 14284 0 0 0 118982 37 0 0 25 0 1 0 777778935 69312512 14208 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16922 14208 1111 63 0 16859 0 vsize: 67688 [startup+1200.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9723 Raw data (stat): 9723 (bsolo_lpr) R 9722 31399 31398 0 -1 0 14405 0 0 0 119982 38 0 0 25 0 1 0 777778935 69767168 14329 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17033 14329 1111 63 0 16970 0 vsize: 68132 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.05 s] Raw data (loadavg): 0.99 0.97 0.91 1/54 9723 Raw data (stat): 9723 (bsolo_lpr) Z 9722 31399 31398 0 -1 1036 14405 0 0 0 119982 40 0 0 25 0 1 0 777778935 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.05 CPU time (s): 1200.23 CPU user time (s): 1199.82 CPU system time (s): 0.408937 CPU usage (%): 100.015 Max. virtual memory (Kb): 68132 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####