Name | normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos4.opb |
MD5SUM | 30059c64e21a2e364f81efb4e08403c5 |
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 | 78981 |
Biggest coefficient in the objective function | 1400338009135513600000000 |
Number of bits for the biggest coefficient in the objective function | 81 |
Sum of the numbers in the objective function | 357842136202818385868750848 |
Number of bits of the sum of numbers in the objective function | 89 |
Biggest number in a constraint | 1400338009135513600000000 |
Number of bits of the biggest number in a constraint | 81 |
Biggest sum of numbers in a constraint | 357842136202818385868750848 |
Number of bits of the biggest sum of numbers | 89 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 1.50277 |
Number of variables | 151216 |
Total number of constraints | 56505 |
Number of constraints which are clauses | 32142 |
Number of constraints which are cardinality constraints (but not clauses) | 17175 |
Number of constraints which are nor clauses,nor cardinality constraints | 7188 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 752 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-19 14:42:22 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=19696 boxname=wulflinc31 idbench=1516 idsolver=1 numberseed=0 MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef /oldhome/oroussel/solvers/bsolo_lpr MD5SUM BENCH: 30059c64e21a2e364f81efb4e08403c5 /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-neos4.opb REAL COMMAND: bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-neos4.opb IDLAUNCH: 19696 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.153 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.153 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 : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 703464 kB Buffers: 33032 kB Cached: 272464 kB SwapCached: 5400 kB Active: 244844 kB Inactive: 67332 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 703212 kB SwapTotal: 2097892 kB SwapFree: 2091564 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5360 kB Slab: 13420 kB Committed_AS: 63860 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-19 15:02:26 (client local time) WITH STATUS 0 IN 1200.64 SECONDS stats: 19696 7 1200.64 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.84 0.94 0.96 1/55 22113 Raw data (stat): 22113 (runsolver) R 22112 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 787818636 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 0 1 90112 0 0 0 17 1 0 0 Raw data (statm): 258 100 215 215 0 43 0 vsize: 1032 [startup+10.0012 s] Raw data (loadavg): 0.87 0.94 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 1078 0 0 0 990 5 0 0 25 0 1 0 787818636 15351808 1001 4294967295 134512640 134714508 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3748 1001 1111 63 0 3685 0 vsize: 14992 [startup+20.0024 s] Raw data (loadavg): 0.89 0.94 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 1135 0 0 0 1990 5 0 0 25 0 1 0 787818636 15622144 1058 4294967295 134512640 134714508 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3814 1058 1111 63 0 3751 0 vsize: 15256 [startup+30.0024 s] Raw data (loadavg): 0.90 0.94 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 1199 0 0 0 2990 5 0 0 25 0 1 0 787818636 15757312 1122 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3847 1122 1111 63 0 3784 0 vsize: 15388 [startup+40.003 s] Raw data (loadavg): 0.92 0.94 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 1261 0 0 0 3990 5 0 0 25 0 1 0 787818636 16048128 1184 4294967295 134512640 134714508 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3918 1184 1111 63 0 3855 0 vsize: 15672 [startup+50.0032 s] Raw data (loadavg): 0.93 0.94 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 1312 0 0 0 4990 5 0 0 25 0 1 0 787818636 16338944 1235 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3989 1235 1111 63 0 3926 0 vsize: 15956 [startup+60.0041 s] Raw data (loadavg): 0.94 0.95 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 1379 0 0 0 5990 6 0 0 25 0 1 0 787818636 16613376 1302 4294967295 134512640 134714508 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4056 1302 1111 63 0 3993 0 vsize: 16224 [startup+70.0037 s] Raw data (loadavg): 0.95 0.95 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 1442 0 0 0 6991 6 0 0 25 0 1 0 787818636 16748544 1365 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4089 1365 1111 63 0 4026 0 vsize: 16356 [startup+80.0049 s] Raw data (loadavg): 0.96 0.95 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 1495 0 0 0 7991 6 0 0 25 0 1 0 787818636 17018880 1418 4294967295 134512640 134714508 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4155 1418 1111 63 0 4092 0 vsize: 16620 [startup+90.0059 s] Raw data (loadavg): 0.96 0.95 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 1558 0 0 0 8991 6 0 0 25 0 1 0 787818636 17289216 1481 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4221 1481 1111 63 0 4158 0 vsize: 16884 [startup+100.006 s] Raw data (loadavg): 0.97 0.95 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 1620 0 0 0 9991 6 0 0 25 0 1 0 787818636 17580032 1543 4294967295 134512640 134714508 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4292 1543 1111 63 0 4229 0 vsize: 17168 [startup+110.007 s] Raw data (loadavg): 0.97 0.95 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 1672 0 0 0 10991 6 0 0 25 0 1 0 787818636 17715200 1595 4294967295 134512640 134714508 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4325 1595 1111 63 0 4262 0 vsize: 17300 [startup+120.008 s] Raw data (loadavg): 0.98 0.95 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 1739 0 0 0 11991 7 0 0 25 0 1 0 787818636 18006016 1662 4294967295 134512640 134714508 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4396 1662 1111 63 0 4333 0 vsize: 17584 [startup+130.007 s] Raw data (loadavg): 0.98 0.95 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 1803 0 0 0 12990 7 0 0 25 0 1 0 787818636 18296832 1726 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4467 1726 1111 63 0 4404 0 vsize: 17868 [startup+140.008 s] Raw data (loadavg): 0.98 0.95 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 1868 0 0 0 13990 7 0 0 25 0 1 0 787818636 18567168 1791 4294967295 134512640 134714508 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4533 1791 1111 63 0 4470 0 vsize: 18132 [startup+150.009 s] Raw data (loadavg): 0.98 0.95 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 1919 0 0 0 14990 8 0 0 25 0 1 0 787818636 18702336 1842 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4566 1842 1111 63 0 4503 0 vsize: 18264 [startup+160.009 s] Raw data (loadavg): 0.99 0.96 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 1985 0 0 0 15990 8 0 0 25 0 1 0 787818636 18989056 1908 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4636 1908 1111 63 0 4573 0 vsize: 18544 [startup+170.009 s] Raw data (loadavg): 0.99 0.96 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 2048 0 0 0 16990 8 0 0 25 0 1 0 787818636 19263488 1971 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4703 1971 1111 63 0 4640 0 vsize: 18812 [startup+180.009 s] Raw data (loadavg): 0.99 0.96 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 2111 0 0 0 17990 8 0 0 25 0 1 0 787818636 19554304 2034 4294967295 134512640 134714508 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4774 2034 1111 63 0 4711 0 vsize: 19096 [startup+190.01 s] Raw data (loadavg): 0.99 0.96 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 2176 0 0 0 18990 9 0 0 25 0 1 0 787818636 19824640 2099 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4840 2099 1111 63 0 4777 0 vsize: 19360 [startup+200.01 s] Raw data (loadavg): 0.99 0.96 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 2226 0 0 0 19990 9 0 0 25 0 1 0 787818636 19959808 2149 4294967295 134512640 134714508 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4873 2149 1111 63 0 4810 0 vsize: 19492 [startup+210.011 s] Raw data (loadavg): 0.99 0.96 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 2289 0 0 0 20990 9 0 0 25 0 1 0 787818636 20246528 2212 4294967295 134512640 134714508 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4943 2212 1111 63 0 4880 0 vsize: 19772 [startup+220.012 s] Raw data (loadavg): 0.99 0.96 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 2354 0 0 0 21990 9 0 0 25 0 1 0 787818636 20516864 2277 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5009 2277 1111 63 0 4946 0 vsize: 20036 [startup+230.012 s] Raw data (loadavg): 0.99 0.96 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 2427 0 0 0 22990 9 0 0 25 0 1 0 787818636 20807680 2350 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5080 2350 1111 63 0 5017 0 vsize: 20320 [startup+240.013 s] Raw data (loadavg): 0.99 0.96 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 2482 0 0 0 23990 9 0 0 25 0 1 0 787818636 21098496 2405 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5151 2405 1111 63 0 5088 0 vsize: 20604 [startup+250.014 s] Raw data (loadavg): 0.99 0.96 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 2541 0 0 0 24991 10 0 0 25 0 1 0 787818636 21389312 2464 4294967295 134512640 134714508 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5222 2464 1111 63 0 5159 0 vsize: 20888 [startup+260.014 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 2605 0 0 0 25991 10 0 0 25 0 1 0 787818636 21659648 2528 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5288 2528 1111 63 0 5225 0 vsize: 21152 [startup+270.014 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 2670 0 0 0 26991 10 0 0 25 0 1 0 787818636 21794816 2593 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5321 2593 1111 63 0 5258 0 vsize: 21284 [startup+280.014 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 2734 0 0 0 27990 10 0 0 25 0 1 0 787818636 22085632 2657 4294967295 134512640 134714508 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5392 2657 1111 63 0 5329 0 vsize: 21568 [startup+290.015 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 2799 0 0 0 28991 10 0 0 25 0 1 0 787818636 22376448 2722 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5463 2722 1111 63 0 5400 0 vsize: 21852 [startup+300.015 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 2855 0 0 0 29991 10 0 0 25 0 1 0 787818636 22646784 2778 4294967295 134512640 134714508 3221221776 3221220004 1077414407 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5529 2778 1111 63 0 5466 0 vsize: 22116 [startup+310.015 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 2914 0 0 0 30991 10 0 0 25 0 1 0 787818636 22917120 2837 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5595 2837 1111 63 0 5532 0 vsize: 22380 [startup+320.015 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 2979 0 0 0 31991 10 0 0 25 0 1 0 787818636 23072768 2902 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5633 2902 1111 63 0 5570 0 vsize: 22532 [startup+330.015 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 3042 0 0 0 32991 10 0 0 25 0 1 0 787818636 23367680 2965 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5705 2965 1111 63 0 5642 0 vsize: 22820 [startup+340.017 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 3106 0 0 0 33991 11 0 0 25 0 1 0 787818636 23638016 3029 4294967295 134512640 134714508 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5771 3029 1111 63 0 5708 0 vsize: 23084 [startup+350.016 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 3171 0 0 0 34991 11 0 0 25 0 1 0 787818636 23908352 3094 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5837 3094 1111 63 0 5774 0 vsize: 23348 [startup+360.017 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 3236 0 0 0 35991 11 0 0 25 0 1 0 787818636 24199168 3159 4294967295 134512640 134714508 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5908 3159 1111 63 0 5845 0 vsize: 23632 [startup+370.018 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 3295 0 0 0 36991 11 0 0 25 0 1 0 787818636 24469504 3218 4294967295 134512640 134714508 3221221776 3221220004 1077414336 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5974 3218 1111 63 0 5911 0 vsize: 23896 [startup+380.018 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 3365 0 0 0 37992 11 0 0 25 0 1 0 787818636 24625152 3288 4294967295 134512640 134714508 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6012 3288 1111 63 0 5949 0 vsize: 24048 [startup+390.019 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 3414 0 0 0 38992 11 0 0 25 0 1 0 787818636 24895488 3337 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6078 3337 1111 63 0 6015 0 vsize: 24312 [startup+400.019 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 3473 0 0 0 39992 11 0 0 25 0 1 0 787818636 25165824 3396 4294967295 134512640 134714508 3221221776 3221220004 1077414336 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6144 3396 1111 63 0 6081 0 vsize: 24576 [startup+410.02 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 3530 0 0 0 40992 12 0 0 25 0 1 0 787818636 25300992 3453 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6177 3453 1111 63 0 6114 0 vsize: 24708 [startup+420.02 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 3594 0 0 0 41992 12 0 0 25 0 1 0 787818636 25591808 3517 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6248 3517 1111 63 0 6185 0 vsize: 24992 [startup+430.02 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 3659 0 0 0 42992 12 0 0 25 0 1 0 787818636 25882624 3582 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6319 3582 1111 63 0 6256 0 vsize: 25276 [startup+440.021 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 3723 0 0 0 43992 12 0 0 25 0 1 0 787818636 26152960 3646 4294967295 134512640 134714508 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6385 3646 1111 63 0 6322 0 vsize: 25540 [startup+450.021 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 3789 0 0 0 44992 12 0 0 25 0 1 0 787818636 26423296 3712 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6451 3712 1111 63 0 6388 0 vsize: 25804 [startup+460.022 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 3863 0 0 0 45992 12 0 0 25 0 1 0 787818636 26746880 3786 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6530 3786 1111 63 0 6467 0 vsize: 26120 [startup+470.022 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 3927 0 0 0 46992 12 0 0 25 0 1 0 787818636 27037696 3850 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6601 3850 1111 63 0 6538 0 vsize: 26404 [startup+480.022 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 3984 0 0 0 47992 13 0 0 25 0 1 0 787818636 27312128 3907 4294967295 134512640 134714508 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6668 3907 1111 63 0 6605 0 vsize: 26672 [startup+490.023 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 4041 0 0 0 48992 13 0 0 25 0 1 0 787818636 27447296 3964 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6701 3964 1111 63 0 6638 0 vsize: 26804 [startup+500.023 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 4107 0 0 0 49992 13 0 0 25 0 1 0 787818636 27738112 4030 4294967295 134512640 134714508 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6772 4030 1111 63 0 6709 0 vsize: 27088 [startup+510.024 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 4172 0 0 0 50993 13 0 0 25 0 1 0 787818636 28028928 4095 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6843 4095 1111 63 0 6780 0 vsize: 27372 [startup+520.024 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 4236 0 0 0 51992 13 0 0 25 0 1 0 787818636 28299264 4159 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6909 4159 1111 63 0 6846 0 vsize: 27636 [startup+530.024 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 4302 0 0 0 52993 13 0 0 25 0 1 0 787818636 28569600 4225 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6975 4225 1111 63 0 6912 0 vsize: 27900 [startup+540.025 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 4366 0 0 0 53993 13 0 0 25 0 1 0 787818636 28860416 4289 4294967295 134512640 134714508 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7046 4289 1111 63 0 6983 0 vsize: 28184 [startup+550.026 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 4439 0 0 0 54993 13 0 0 25 0 1 0 787818636 29151232 4362 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7117 4362 1111 63 0 7054 0 vsize: 28468 [startup+560.027 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 4511 0 0 0 55993 13 0 0 25 0 1 0 787818636 29421568 4434 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7183 4434 1111 63 0 7120 0 vsize: 28732 [startup+570.027 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 4574 0 0 0 56993 13 0 0 25 0 1 0 787818636 29691904 4497 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7249 4497 1111 63 0 7186 0 vsize: 28996 [startup+580.027 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 4641 0 0 0 57993 14 0 0 25 0 1 0 787818636 29962240 4564 4294967295 134512640 134714508 3221221776 3221220004 1077414407 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7315 4564 1111 63 0 7252 0 vsize: 29260 [startup+590.028 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 4706 0 0 0 58993 14 0 0 25 0 1 0 787818636 30253056 4629 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7386 4629 1111 63 0 7323 0 vsize: 29544 [startup+600.028 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 4774 0 0 0 59992 14 0 0 25 0 1 0 787818636 30543872 4697 4294967295 134512640 134714508 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7457 4697 1111 63 0 7394 0 vsize: 29828 [startup+610.029 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 4852 0 0 0 60993 15 0 0 25 0 1 0 787818636 30814208 4775 4294967295 134512640 134714508 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7523 4775 1111 63 0 7460 0 vsize: 30092 [startup+620.028 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 4917 0 0 0 61993 15 0 0 25 0 1 0 787818636 31084544 4840 4294967295 134512640 134714508 3221221776 3221220004 1077414424 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7589 4840 1111 63 0 7526 0 vsize: 30356 [startup+630.028 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 4984 0 0 0 62993 15 0 0 25 0 1 0 787818636 31375360 4907 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7660 4907 1111 63 0 7597 0 vsize: 30640 [startup+640.03 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 5047 0 0 0 63993 15 0 0 25 0 1 0 787818636 31666176 4970 4294967295 134512640 134714508 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7731 4970 1111 63 0 7668 0 vsize: 30924 [startup+650.03 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 5115 0 0 0 64993 15 0 0 25 0 1 0 787818636 31936512 5038 4294967295 134512640 134714508 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7797 5038 1111 63 0 7734 0 vsize: 31188 [startup+660.031 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 5193 0 0 0 65993 15 0 0 25 0 1 0 787818636 32206848 5116 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7863 5116 1111 63 0 7800 0 vsize: 31452 [startup+670.031 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 5260 0 0 0 66993 15 0 0 25 0 1 0 787818636 32477184 5183 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7929 5183 1111 63 0 7866 0 vsize: 31716 [startup+680.031 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 5331 0 0 0 67993 15 0 0 25 0 1 0 787818636 32768000 5254 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8000 5254 1111 63 0 7937 0 vsize: 32000 [startup+690.032 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 5403 0 0 0 68993 15 0 0 25 0 1 0 787818636 33058816 5326 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8071 5326 1111 63 0 8008 0 vsize: 32284 [startup+700.032 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 5472 0 0 0 69993 15 0 0 25 0 1 0 787818636 33329152 5395 4294967295 134512640 134714508 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8137 5395 1111 63 0 8074 0 vsize: 32548 [startup+710.033 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 5550 0 0 0 70993 16 0 0 25 0 1 0 787818636 33599488 5473 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8203 5473 1111 63 0 8140 0 vsize: 32812 [startup+720.034 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 5615 0 0 0 71993 16 0 0 25 0 1 0 787818636 33890304 5538 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8274 5538 1111 63 0 8211 0 vsize: 33096 [startup+730.034 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 5680 0 0 0 72993 16 0 0 25 0 1 0 787818636 34181120 5603 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8345 5603 1111 63 0 8282 0 vsize: 33380 [startup+740.035 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 5747 0 0 0 73993 17 0 0 25 0 1 0 787818636 34451456 5670 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8411 5670 1111 63 0 8348 0 vsize: 33644 [startup+750.036 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 5825 0 0 0 74993 17 0 0 25 0 1 0 787818636 34721792 5748 4294967295 134512640 134714508 3221221776 3221220004 1077414399 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8477 5748 1111 63 0 8414 0 vsize: 33908 [startup+760.037 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 5893 0 0 0 75993 17 0 0 25 0 1 0 787818636 35012608 5816 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8548 5816 1111 63 0 8485 0 vsize: 34192 [startup+770.037 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 5972 0 0 0 76993 18 0 0 25 0 1 0 787818636 35438592 5895 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8652 5895 1111 63 0 8589 0 vsize: 34608 [startup+780.037 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 6038 0 0 0 77993 18 0 0 25 0 1 0 787818636 35708928 5961 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8718 5961 1111 63 0 8655 0 vsize: 34872 [startup+790.038 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 6118 0 0 0 78993 18 0 0 25 0 1 0 787818636 35979264 6041 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8784 6041 1111 63 0 8721 0 vsize: 35136 [startup+800.038 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 6192 0 0 0 79993 18 0 0 25 0 1 0 787818636 36270080 6115 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8855 6115 1111 63 0 8792 0 vsize: 35420 [startup+810.039 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 6267 0 0 0 80993 18 0 0 25 0 1 0 787818636 36564992 6190 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8927 6190 1111 63 0 8864 0 vsize: 35708 [startup+820.04 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 6347 0 0 0 81993 18 0 0 25 0 1 0 787818636 36970496 6270 4294967295 134512640 134714508 3221221776 3221220004 1077414382 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9026 6270 1111 63 0 8963 0 vsize: 36104 [startup+830.04 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 6428 0 0 0 82993 19 0 0 25 0 1 0 787818636 37265408 6351 4294967295 134512640 134714508 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9098 6351 1111 63 0 9035 0 vsize: 36392 [startup+840.041 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 6507 0 0 0 83993 19 0 0 25 0 1 0 787818636 37556224 6430 4294967295 134512640 134714508 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9169 6430 1111 63 0 9106 0 vsize: 36676 [startup+850.042 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 6606 0 0 0 84993 19 0 0 25 0 1 0 787818636 38019072 6529 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9282 6529 1111 63 0 9219 0 vsize: 37128 [startup+860.043 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 6658 0 0 0 85993 19 0 0 25 0 1 0 787818636 38289408 6581 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9348 6581 1111 63 0 9285 0 vsize: 37392 [startup+870.043 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 6737 0 0 0 86993 20 0 0 25 0 1 0 787818636 38580224 6660 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9419 6660 1111 63 0 9356 0 vsize: 37676 [startup+880.043 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 6810 0 0 0 87993 20 0 0 25 0 1 0 787818636 38871040 6733 4294967295 134512640 134714508 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9490 6733 1111 63 0 9427 0 vsize: 37960 [startup+890.044 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 6883 0 0 0 88993 20 0 0 25 0 1 0 787818636 39276544 6806 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9589 6806 1111 63 0 9526 0 vsize: 38356 [startup+900.044 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 6964 0 0 0 89993 20 0 0 25 0 1 0 787818636 39546880 6887 4294967295 134512640 134714508 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9655 6887 1111 63 0 9592 0 vsize: 38620 [startup+910.044 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 7031 0 0 0 90993 20 0 0 25 0 1 0 787818636 39837696 6954 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9726 6954 1111 63 0 9663 0 vsize: 38904 [startup+920.044 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 7096 0 0 0 91993 20 0 0 25 0 1 0 787818636 40128512 7019 4294967295 134512640 134714508 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9797 7019 1111 63 0 9734 0 vsize: 39188 [startup+930.044 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 7174 0 0 0 92993 20 0 0 25 0 1 0 787818636 40398848 7097 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9863 7097 1111 63 0 9800 0 vsize: 39452 [startup+940.045 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 7242 0 0 0 93993 21 0 0 25 0 1 0 787818636 40669184 7165 4294967295 134512640 134714508 3221221776 3221220004 1077414336 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9929 7165 1111 63 0 9866 0 vsize: 39716 [startup+950.046 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 7323 0 0 0 94993 21 0 0 25 0 1 0 787818636 40960000 7246 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10000 7246 1111 63 0 9937 0 vsize: 40000 [startup+960.047 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 7404 0 0 0 95993 21 0 0 25 0 1 0 787818636 41385984 7327 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10104 7327 1111 63 0 10041 0 vsize: 40416 [startup+970.047 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 7483 0 0 0 96993 21 0 0 25 0 1 0 787818636 41656320 7406 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10170 7406 1111 63 0 10107 0 vsize: 40680 [startup+980.047 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 7551 0 0 0 97993 22 0 0 25 0 1 0 787818636 41926656 7474 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10236 7474 1111 63 0 10173 0 vsize: 40944 [startup+990.048 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 7615 0 0 0 98993 22 0 0 25 0 1 0 787818636 42217472 7538 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10307 7538 1111 63 0 10244 0 vsize: 41228 [startup+1000.05 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 7696 0 0 0 99993 22 0 0 25 0 1 0 787818636 42508288 7619 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10378 7619 1111 63 0 10315 0 vsize: 41512 [startup+1010.05 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 7775 0 0 0 100993 22 0 0 25 0 1 0 787818636 42782720 7698 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10445 7698 1111 63 0 10382 0 vsize: 41780 [startup+1020.05 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 7849 0 0 0 101993 23 0 0 25 0 1 0 787818636 43208704 7772 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10549 7772 1111 63 0 10486 0 vsize: 42196 [startup+1030.05 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 7924 0 0 0 102993 23 0 0 25 0 1 0 787818636 43479040 7847 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10615 7847 1111 63 0 10552 0 vsize: 42460 [startup+1040.05 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 8005 0 0 0 103993 23 0 0 25 0 1 0 787818636 43769856 7928 4294967295 134512640 134714508 3221221776 3221220004 1077414393 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10686 7928 1111 63 0 10623 0 vsize: 42744 [startup+1050.05 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 8086 0 0 0 104993 23 0 0 25 0 1 0 787818636 44040192 8009 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10752 8009 1111 63 0 10689 0 vsize: 43008 [startup+1060.23 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 22113 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 8151 0 0 0 106010 23 0 0 25 0 1 0 787818636 44310528 8074 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10818 8074 1111 63 0 10755 0 vsize: 43272 [startup+1070.47 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 22166 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 8233 0 0 0 107035 24 0 0 25 0 1 0 787818636 44761088 8156 4294967295 134512640 134714508 3221221776 3221218300 1077197770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10928 8156 1111 63 0 10865 0 vsize: 43712 [startup+1080.47 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 22166 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 8312 0 0 0 108035 24 0 0 25 0 1 0 787818636 45031424 8235 4294967295 134512640 134714508 3221221776 3221220004 1077414432 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10994 8235 1111 63 0 10931 0 vsize: 43976 [startup+1090.47 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 22166 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 8394 0 0 0 109035 24 0 0 25 0 1 0 787818636 45301760 8317 4294967295 134512640 134714508 3221221776 3221220004 1077414357 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11060 8317 1111 63 0 10997 0 vsize: 44240 [startup+1100.47 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 22166 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 8474 0 0 0 110035 24 0 0 25 0 1 0 787818636 45748224 8397 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11169 8397 1111 63 0 11106 0 vsize: 44676 [startup+1110.47 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 22166 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 8549 0 0 0 111035 24 0 0 25 0 1 0 787818636 46018560 8472 4294967295 134512640 134714508 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11235 8472 1111 63 0 11172 0 vsize: 44940 [startup+1120.47 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 22166 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 8628 0 0 0 112035 24 0 0 25 0 1 0 787818636 46288896 8551 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11301 8551 1111 63 0 11238 0 vsize: 45204 [startup+1130.47 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 22168 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 8711 0 0 0 113034 25 0 0 25 0 1 0 787818636 46718976 8634 4294967295 134512640 134714508 3221221776 3221220004 1077414432 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11406 8634 1111 63 0 11343 0 vsize: 45624 [startup+1140.47 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 22168 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 8784 0 0 0 114034 25 0 0 25 0 1 0 787818636 47009792 8707 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11477 8707 1111 63 0 11414 0 vsize: 45908 [startup+1150.47 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 22168 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 8865 0 0 0 115034 25 0 0 25 0 1 0 787818636 47284224 8788 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11544 8788 1111 63 0 11481 0 vsize: 46176 [startup+1160.47 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 22168 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 8944 0 0 0 116035 25 0 0 25 0 1 0 787818636 47575040 8867 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11615 8867 1111 63 0 11552 0 vsize: 46460 [startup+1170.47 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 22168 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 9027 0 0 0 117035 26 0 0 25 0 1 0 787818636 48001024 8950 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11719 8950 1111 63 0 11656 0 vsize: 46876 [startup+1180.47 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 22168 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 9107 0 0 0 118035 26 0 0 25 0 1 0 787818636 48271360 9030 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11785 9030 1111 63 0 11722 0 vsize: 47140 [startup+1190.47 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 22168 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 9189 0 0 0 119035 26 0 0 25 0 1 0 787818636 48541696 9112 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11851 9112 1111 63 0 11788 0 vsize: 47404 [startup+1200.48 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 22168 Raw data (stat): 22113 (bsolo_lpr) R 22112 7876 7672 0 -1 0 9270 0 0 0 120035 26 0 0 25 0 1 0 787818636 48967680 9193 4294967295 134512640 134714508 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11955 9193 1111 63 0 11892 0 vsize: 47820 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.5 s] Raw data (loadavg): 0.99 0.97 0.96 1/55 22168 Raw data (stat): 22113 (bsolo_lpr) Z 22112 7876 7672 0 -1 1036 9270 0 0 0 120035 28 0 0 25 0 1 0 787818636 0 0 4294967295 0 0 0 0 0 0 0 1 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.49 CPU time (s): 1200.64 CPU user time (s): 1200.35 CPU system time (s): 0.281957 CPU usage (%): 100.012 Max. virtual memory (Kb): 47820 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####