Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-mzzv11.opb |
MD5SUM | ec9eb8bc5f0ce888f87dfc271da55db8 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -5109 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 773 |
Biggest coefficient in the objective function | 1000 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 76861 |
Number of bits of the sum of numbers in the objective function | 17 |
Biggest number in a constraint | 1999 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 76861 |
Number of bits of the biggest sum of numbers | 17 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1189.05 |
Number of variables | 11247 |
Total number of constraints | 19739 |
Number of constraints which are clauses | 77 |
Number of constraints which are cardinality constraints (but not clauses) | 15744 |
Number of constraints which are nor clauses,nor cardinality constraints | 3918 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 68 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc2 THE 2005-05-24 20:33:58 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=17787 boxname=wulflinc2 idbench=1369 idsolver=3 numberseed=0 MD5SUM SOLVER: 03a6a792daea978e4202f78851741568 /oldhome/oroussel/solvers/bsolo_mis MD5SUM BENCH: ec9eb8bc5f0ce888f87dfc271da55db8 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-mzzv11.opb REAL COMMAND: bsolo_mis /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-mzzv11.opb IDLAUNCH: 17787 /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: 683720 kB Buffers: 32712 kB Cached: 297308 kB SwapCached: 868 kB Active: 38504 kB Inactive: 294124 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 683468 kB SwapTotal: 2097136 kB SwapFree: 2095788 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5616 kB Slab: 12516 kB Committed_AS: 71788 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-24 20:54:01 (client local time) WITH STATUS 0 IN 1200.46 SECONDS stats: 17787 7 1200.46 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c Initial problem consists of 11247 variables and 13116 constraints. c After prepocess the problem consists of 10816 variables and 12409 constraints. c preprocess terminated 348.069 s c Initial Lower Bound: -13489 c Lower Bound Elapsed time: 0 c Use computed LB before first solution. c NEW SOLUTION FOUND: -1010 @ 465.049 c NEW SOLUTION FOUND: -1090 @ 465.057 c NEW SOLUTION FOUND: -1170 @ 465.064 c NEW SOLUTION FOUND: -1210 @ 465.074 c NEW SOLUTION FOUND: -1250 @ 465.084 c NEW SOLUTION FOUND: -1290 @ 465.094 c NEW SOLUTION FOUND: -1330 @ 465.104 c NEW SOLUTION FOUND: -1410 @ 465.115 c NEW SOLUTION FOUND: -1450 @ 465.124 c NEW SOLUTION FOUND: -1490 @ 465.134 c NEW SOLUTION FOUND: -1530 @ 465.147 c NEW SOLUTION FOUND: -1550 @ 465.163 c NEW SOLUTION FOUND: -1590 @ 465.175 c NEW SOLUTION FOUND: -1610 @ 465.188 c NEW SOLUTION FOUND: -1650 @ 465.2 c NEW SOLUTION FOUND: -1690 @ 465.216 c NEW SOLUTION FOUND: -1730 @ 465.23 c NEW SOLUTION FOUND: -1750 @ 465.245 c NEW SOLUTION FOUND: -1770 @ 465.265 c NEW SOLUTION FOUND: -1790 @ 465.389 c NEW SOLUTION FOUND: -1800 @ 465.485 c NEW SOLUTION FOUND: -1805 @ 466.079 c NEW SOLUTION FOUND: -1815 @ 466.141 c NEW SOLUTION FOUND: -1820 @ 466.937 c NEW SOLUTION FOUND: -1830 @ 467.03 c NEW SOLUTION FOUND: -1840 @ 468.103 c NEW SOLUTION FOUND: -1850 @ 470.649 #### 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.92 0.95 0.93 2/54 2737 Raw data (stat): 2737 (runsolver) R 2736 31399 31398 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 774934729 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0007 s] Raw data (loadavg): 0.93 0.95 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 57990 0 0 0 888 110 0 0 25 0 1 0 774934729 251240448 57968 4294967295 134512640 134714540 3221224592 3221222880 134566780 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 61338 57968 1111 63 0 61275 0 vsize: 245352 [startup+20.001 s] Raw data (loadavg): 0.94 0.95 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 63429 0 0 0 1876 122 0 0 25 0 1 0 774934729 273485824 63407 4294967295 134512640 134714540 3221224592 3221222876 1077399562 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 66769 63407 1111 63 0 66706 0 vsize: 267076 [startup+30.0018 s] Raw data (loadavg): 0.95 0.95 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 110268 0 0 0 2768 230 0 0 25 0 1 0 774934729 455536640 110238 4294967295 134512640 134714540 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 111215 110238 1111 63 0 111152 0 vsize: 444860 [startup+40.0019 s] Raw data (loadavg): 0.95 0.96 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 110268 0 0 0 3768 230 0 0 25 0 1 0 774934729 455536640 110238 4294967295 134512640 134714540 3221224592 3221223088 134543686 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 111215 110238 1111 63 0 111152 0 vsize: 444860 [startup+50.0032 s] Raw data (loadavg): 0.96 0.96 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 110268 0 0 0 4768 231 0 0 25 0 1 0 774934729 455536640 110238 4294967295 134512640 134714540 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 111215 110238 1111 63 0 111152 0 vsize: 444860 [startup+60.0028 s] Raw data (loadavg): 0.97 0.96 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 110268 0 0 0 5768 231 0 0 25 0 1 0 774934729 455536640 110238 4294967295 134512640 134714540 3221224592 3221223088 134543740 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 111215 110238 1111 63 0 111152 0 vsize: 444860 [startup+70.003 s] Raw data (loadavg): 0.97 0.96 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 110268 0 0 0 6768 231 0 0 25 0 1 0 774934729 455536640 110238 4294967295 134512640 134714540 3221224592 3221223188 134524465 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 111215 110238 1111 63 0 111152 0 vsize: 444860 [startup+80.0032 s] Raw data (loadavg): 0.98 0.96 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 110268 0 0 0 7767 232 0 0 25 0 1 0 774934729 455536640 110238 4294967295 134512640 134714540 3221224592 3221223072 134536638 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 111215 110238 1111 63 0 111152 0 vsize: 444860 [startup+90.0029 s] Raw data (loadavg): 0.98 0.96 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 110268 0 0 0 8767 233 0 0 25 0 1 0 774934729 455536640 110238 4294967295 134512640 134714540 3221224592 3221222976 134542350 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 111215 110238 1111 63 0 111152 0 vsize: 444860 [startup+100.004 s] Raw data (loadavg): 0.98 0.96 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 110268 0 0 0 9767 233 0 0 25 0 1 0 774934729 455536640 110238 4294967295 134512640 134714540 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 111215 110238 1111 63 0 111152 0 vsize: 444860 [startup+110.005 s] Raw data (loadavg): 0.98 0.96 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 110268 0 0 0 10767 233 0 0 25 0 1 0 774934729 455536640 110238 4294967295 134512640 134714540 3221224592 3221223100 134543653 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 111215 110238 1111 63 0 111152 0 vsize: 444860 [startup+120.005 s] Raw data (loadavg): 0.99 0.96 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 110268 0 0 0 11766 234 0 0 25 0 1 0 774934729 455536640 110238 4294967295 134512640 134714540 3221224592 3221223080 134543638 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 111215 110238 1111 63 0 111152 0 vsize: 444860 [startup+130.005 s] Raw data (loadavg): 0.99 0.96 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 110268 0 0 0 12766 234 0 0 25 0 1 0 774934729 455536640 110238 4294967295 134512640 134714540 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 111215 110238 1111 63 0 111152 0 vsize: 444860 [startup+140.005 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 110268 0 0 0 13766 234 0 0 25 0 1 0 774934729 455536640 110238 4294967295 134512640 134714540 3221224592 3221223232 134594947 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 111215 110238 1111 63 0 111152 0 vsize: 444860 [startup+150.006 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 116872 0 0 0 14748 251 0 0 25 0 1 0 774934729 482582528 116841 4294967295 134512640 134714540 3221224592 3221223072 134539462 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 117818 116841 1111 63 0 117755 0 vsize: 471272 [startup+160.007 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135088 0 0 0 15703 297 0 0 25 0 1 0 774934729 557191168 135056 4294967295 134512640 134714540 3221224592 3221223208 134543796 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 136033 135056 1111 63 0 135970 0 vsize: 544132 [startup+170.006 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135088 0 0 0 16703 297 0 0 25 0 1 0 774934729 557191168 135056 4294967295 134512640 134714540 3221224592 3221223104 134542860 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 136033 135056 1111 63 0 135970 0 vsize: 544132 [startup+180.006 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135088 0 0 0 17702 298 0 0 25 0 1 0 774934729 557191168 135056 4294967295 134512640 134714540 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 136033 135056 1111 63 0 135970 0 vsize: 544132 [startup+190.007 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135088 0 0 0 18702 298 0 0 25 0 1 0 774934729 557191168 135056 4294967295 134512640 134714540 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 136033 135056 1111 63 0 135970 0 vsize: 544132 [startup+200.008 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135088 0 0 0 19702 298 0 0 25 0 1 0 774934729 557191168 135056 4294967295 134512640 134714540 3221224592 3221222984 1077378310 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 136033 135056 1111 63 0 135970 0 vsize: 544132 [startup+210.007 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135088 0 0 0 20701 299 0 0 25 0 1 0 774934729 557191168 135056 4294967295 134512640 134714540 3221224592 3221223208 134543785 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 136033 135056 1111 63 0 135970 0 vsize: 544132 [startup+220.008 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135088 0 0 0 21701 299 0 0 25 0 1 0 774934729 557191168 135056 4294967295 134512640 134714540 3221224592 3221223232 134594970 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 136033 135056 1111 63 0 135970 0 vsize: 544132 [startup+230.008 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135088 0 0 0 22701 300 0 0 25 0 1 0 774934729 557191168 135056 4294967295 134512640 134714540 3221224592 3221223072 134536638 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 136033 135056 1111 63 0 135970 0 vsize: 544132 [startup+240.007 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135088 0 0 0 23701 300 0 0 25 0 1 0 774934729 557191168 135056 4294967295 134512640 134714540 3221224592 3221223344 134630792 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 136033 135056 1111 63 0 135970 0 vsize: 544132 [startup+250.009 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135088 0 0 0 24701 300 0 0 25 0 1 0 774934729 557191168 135056 4294967295 134512640 134714540 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 136033 135056 1111 63 0 135970 0 vsize: 544132 [startup+260.009 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135088 0 0 0 25701 300 0 0 25 0 1 0 774934729 557191168 135056 4294967295 134512640 134714540 3221224592 3221223072 134536643 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 136033 135056 1111 63 0 135970 0 vsize: 544132 [startup+270.008 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135088 0 0 0 26701 301 0 0 25 0 1 0 774934729 557191168 135056 4294967295 134512640 134714540 3221224592 3221222956 134539237 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 136033 135056 1111 63 0 135970 0 vsize: 544132 [startup+280.015 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135088 0 0 0 27701 301 0 0 25 0 1 0 774934729 557191168 135056 4294967295 134512640 134714540 3221224592 3221223088 134542352 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 136033 135056 1111 63 0 135970 0 vsize: 544132 [startup+290.02 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135088 0 0 0 28702 301 0 0 25 0 1 0 774934729 557191168 135056 4294967295 134512640 134714540 3221224592 3221222956 134539306 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 136033 135056 1111 63 0 135970 0 vsize: 544132 [startup+300.021 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135088 0 0 0 29701 301 0 0 25 0 1 0 774934729 557191168 135056 4294967295 134512640 134714540 3221224592 3221222956 134539237 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 136033 135056 1111 63 0 135970 0 vsize: 544132 [startup+310.02 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135088 0 0 0 30701 301 0 0 25 0 1 0 774934729 557191168 135056 4294967295 134512640 134714540 3221224592 3221223392 134617242 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 136033 135056 1111 63 0 135970 0 vsize: 544132 [startup+320.02 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135088 0 0 0 31701 302 0 0 25 0 1 0 774934729 557191168 135056 4294967295 134512640 134714540 3221224592 3221222924 134535900 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 136033 135056 1111 63 0 135970 0 vsize: 544132 [startup+330.033 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135088 0 0 0 32702 302 0 0 25 0 1 0 774934729 557191168 135056 4294967295 134512640 134714540 3221224592 3221223120 134542848 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 136033 135056 1111 63 0 135970 0 vsize: 544132 [startup+340.034 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135088 0 0 0 33702 303 0 0 25 0 1 0 774934729 557191168 135056 4294967295 134512640 134714540 3221224592 3221223072 134539376 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 136033 135056 1111 63 0 135970 0 vsize: 544132 [startup+350.037 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135105 0 0 0 34701 303 0 0 25 0 1 0 774934729 557191168 135073 4294967295 134512640 134714540 3221224592 3221223376 134624467 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 136033 135073 1111 63 0 135970 0 vsize: 544132 [startup+360.039 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135105 0 0 0 35701 303 0 0 25 0 1 0 774934729 557191168 135073 4294967295 134512640 134714540 3221224592 3221223396 134610916 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 136033 135073 1111 63 0 135970 0 vsize: 544132 [startup+370.038 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135105 0 0 0 36701 303 0 0 25 0 1 0 774934729 557191168 135073 4294967295 134512640 134714540 3221224592 3221223440 134623453 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 136033 135073 1111 63 0 135970 0 vsize: 544132 [startup+380.038 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135105 0 0 0 37700 304 0 0 25 0 1 0 774934729 557191168 135073 4294967295 134512640 134714540 3221224592 3221223396 134610916 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 136033 135073 1111 63 0 135970 0 vsize: 544132 [startup+390.038 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135107 0 0 0 38700 304 0 0 25 0 1 0 774934729 557191168 135075 4294967295 134512640 134714540 3221224592 3221223376 134624467 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 136033 135075 1111 63 0 135970 0 vsize: 544132 [startup+400.04 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135107 0 0 0 39699 305 0 0 25 0 1 0 774934729 557191168 135075 4294967295 134512640 134714540 3221224592 3221223440 134623453 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 136033 135075 1111 63 0 135970 0 vsize: 544132 [startup+410.04 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135109 0 0 0 40699 306 0 0 25 0 1 0 774934729 557191168 135077 4294967295 134512640 134714540 3221224592 3221223328 134556630 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 136033 135077 1111 63 0 135970 0 vsize: 544132 [startup+420.04 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135109 0 0 0 41698 306 0 0 25 0 1 0 774934729 557191168 135077 4294967295 134512640 134714540 3221224592 3221223344 134558521 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 136033 135077 1111 63 0 135970 0 vsize: 544132 [startup+430.041 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135109 0 0 0 42698 307 0 0 25 0 1 0 774934729 557191168 135077 4294967295 134512640 134714540 3221224592 3221223364 134624473 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 136033 135077 1111 63 0 135970 0 vsize: 544132 [startup+440.04 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135109 0 0 0 43697 307 0 0 25 0 1 0 774934729 557191168 135077 4294967295 134512640 134714540 3221224592 3221223336 134536877 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 136033 135077 1111 63 0 135970 0 vsize: 544132 [startup+450.04 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135109 0 0 0 44697 308 0 0 25 0 1 0 774934729 557191168 135077 4294967295 134512640 134714540 3221224592 3221223292 134558607 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 136033 135077 1111 63 0 135970 0 vsize: 544132 [startup+460.041 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135109 0 0 0 45696 309 0 0 25 0 1 0 774934729 557191168 135077 4294967295 134512640 134714540 3221224592 3221223360 134624405 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 136033 135077 1111 63 0 135970 0 vsize: 544132 [startup+470.049 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135109 0 0 0 46696 309 0 0 25 0 1 0 774934729 557191168 135077 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 136033 135077 1111 63 0 135970 0 vsize: 544132 [startup+480.049 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135109 0 0 0 47695 310 0 0 25 0 1 0 774934729 557191168 135077 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 136033 135077 1111 63 0 135970 0 vsize: 544132 [startup+490.049 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135109 0 0 0 48695 311 0 0 25 0 1 0 774934729 557191168 135077 4294967295 134512640 134714540 3221224592 3221223384 134536921 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 136033 135077 1111 63 0 135970 0 vsize: 544132 [startup+500.05 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135109 0 0 0 49696 311 0 0 25 0 1 0 774934729 557191168 135077 4294967295 134512640 134714540 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 136033 135077 1111 63 0 135970 0 vsize: 544132 [startup+510.049 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135109 0 0 0 50696 311 0 0 25 0 1 0 774934729 557191168 135077 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 136033 135077 1111 63 0 135970 0 vsize: 544132 [startup+520.049 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135109 0 0 0 51696 311 0 0 25 0 1 0 774934729 557191168 135077 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 136033 135077 1111 63 0 135970 0 vsize: 544132 [startup+530.05 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135109 0 0 0 52696 311 0 0 25 0 1 0 774934729 557191168 135077 4294967295 134512640 134714540 3221224592 3221223384 134542409 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 136033 135077 1111 63 0 135970 0 vsize: 544132 [startup+540.05 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135109 0 0 0 53696 311 0 0 25 0 1 0 774934729 557191168 135077 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 136033 135077 1111 63 0 135970 0 vsize: 544132 [startup+550.051 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135109 0 0 0 54696 311 0 0 25 0 1 0 774934729 557191168 135077 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 136033 135077 1111 63 0 135970 0 vsize: 544132 [startup+560.051 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135109 0 0 0 55697 311 0 0 25 0 1 0 774934729 557191168 135077 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 136033 135077 1111 63 0 135970 0 vsize: 544132 [startup+570.05 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135109 0 0 0 56697 311 0 0 25 0 1 0 774934729 557191168 135077 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 136033 135077 1111 63 0 135970 0 vsize: 544132 [startup+580.05 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135109 0 0 0 57697 311 0 0 25 0 1 0 774934729 557191168 135077 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 136033 135077 1111 63 0 135970 0 vsize: 544132 [startup+590.05 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135109 0 0 0 58696 311 0 0 25 0 1 0 774934729 557191168 135077 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 136033 135077 1111 63 0 135970 0 vsize: 544132 [startup+600.05 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135109 0 0 0 59697 311 0 0 25 0 1 0 774934729 557191168 135077 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 136033 135077 1111 63 0 135970 0 vsize: 544132 [startup+610.051 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135109 0 0 0 60697 312 0 0 25 0 1 0 774934729 557191168 135077 4294967295 134512640 134714540 3221224592 3221223328 134622849 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 136033 135077 1111 63 0 135970 0 vsize: 544132 [startup+620.051 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135109 0 0 0 61697 312 0 0 25 0 1 0 774934729 557191168 135077 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 136033 135077 1111 63 0 135970 0 vsize: 544132 [startup+630.051 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135109 0 0 0 62697 312 0 0 25 0 1 0 774934729 557191168 135077 4294967295 134512640 134714540 3221224592 3221223392 134622638 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 136033 135077 1111 63 0 135970 0 vsize: 544132 [startup+640.051 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135109 0 0 0 63697 312 0 0 25 0 1 0 774934729 557191168 135077 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 136033 135077 1111 63 0 135970 0 vsize: 544132 [startup+650.052 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135109 0 0 0 64697 312 0 0 25 0 1 0 774934729 557191168 135077 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 136033 135077 1111 63 0 135970 0 vsize: 544132 [startup+660.052 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135109 0 0 0 65698 312 0 0 25 0 1 0 774934729 557191168 135077 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 136033 135077 1111 63 0 135970 0 vsize: 544132 [startup+670.051 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135109 0 0 0 66698 312 0 0 25 0 1 0 774934729 557191168 135077 4294967295 134512640 134714540 3221224592 3221223384 134536900 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 136033 135077 1111 63 0 135970 0 vsize: 544132 [startup+680.051 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135109 0 0 0 67698 312 0 0 25 0 1 0 774934729 557191168 135077 4294967295 134512640 134714540 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 136033 135077 1111 63 0 135970 0 vsize: 544132 [startup+690.051 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135109 0 0 0 68698 312 0 0 25 0 1 0 774934729 557191168 135077 4294967295 134512640 134714540 3221224592 3221223384 134542412 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 136033 135077 1111 63 0 135970 0 vsize: 544132 [startup+700.052 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135109 0 0 0 69698 312 0 0 25 0 1 0 774934729 557191168 135077 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 136033 135077 1111 63 0 135970 0 vsize: 544132 [startup+710.052 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135109 0 0 0 70698 312 0 0 25 0 1 0 774934729 557191168 135077 4294967295 134512640 134714540 3221224592 3221223308 134543192 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 136033 135077 1111 63 0 135970 0 vsize: 544132 [startup+720.052 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135109 0 0 0 71698 312 0 0 25 0 1 0 774934729 557191168 135077 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 136033 135077 1111 63 0 135970 0 vsize: 544132 [startup+730.051 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135109 0 0 0 72698 312 0 0 25 0 1 0 774934729 557191168 135077 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 136033 135077 1111 63 0 135970 0 vsize: 544132 [startup+740.051 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135109 0 0 0 73699 312 0 0 25 0 1 0 774934729 557191168 135077 4294967295 134512640 134714540 3221224592 3221223304 134543165 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 136033 135077 1111 63 0 135970 0 vsize: 544132 [startup+750.052 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135109 0 0 0 74699 312 0 0 25 0 1 0 774934729 557191168 135077 4294967295 134512640 134714540 3221224592 3221223304 134543191 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 136033 135077 1111 63 0 135970 0 vsize: 544132 [startup+760.052 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135109 0 0 0 75699 312 0 0 25 0 1 0 774934729 557191168 135077 4294967295 134512640 134714540 3221224592 3221223304 134558492 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 136033 135077 1111 63 0 135970 0 vsize: 544132 [startup+770.052 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135109 0 0 0 76699 312 0 0 25 0 1 0 774934729 557191168 135077 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 136033 135077 1111 63 0 135970 0 vsize: 544132 [startup+780.052 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135109 0 0 0 77699 312 0 0 25 0 1 0 774934729 557191168 135077 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 136033 135077 1111 63 0 135970 0 vsize: 544132 [startup+790.052 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135109 0 0 0 78699 312 0 0 25 0 1 0 774934729 557191168 135077 4294967295 134512640 134714540 3221224592 3221223316 134622811 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 136033 135077 1111 63 0 135970 0 vsize: 544132 [startup+800.052 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135109 0 0 0 79700 312 0 0 25 0 1 0 774934729 557191168 135077 4294967295 134512640 134714540 3221224592 3221223320 134622882 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 136033 135077 1111 63 0 135970 0 vsize: 544132 [startup+810.053 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135109 0 0 0 80700 312 0 0 25 0 1 0 774934729 557191168 135077 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 136033 135077 1111 63 0 135970 0 vsize: 544132 [startup+820.053 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135109 0 0 0 81700 312 0 0 25 0 1 0 774934729 557191168 135077 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 136033 135077 1111 63 0 135970 0 vsize: 544132 [startup+830.053 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135109 0 0 0 82700 312 0 0 25 0 1 0 774934729 557191168 135077 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 136033 135077 1111 63 0 135970 0 vsize: 544132 [startup+840.053 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135109 0 0 0 83700 312 0 0 25 0 1 0 774934729 557191168 135077 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 136033 135077 1111 63 0 135970 0 vsize: 544132 [startup+850.054 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135109 0 0 0 84701 312 0 0 25 0 1 0 774934729 557191168 135077 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 136033 135077 1111 63 0 135970 0 vsize: 544132 [startup+860.053 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135109 0 0 0 85701 312 0 0 25 0 1 0 774934729 557191168 135077 4294967295 134512640 134714540 3221224592 3221223312 134622815 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 136033 135077 1111 63 0 135970 0 vsize: 544132 [startup+870.053 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135109 0 0 0 86701 312 0 0 25 0 1 0 774934729 557191168 135077 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 136033 135077 1111 63 0 135970 0 vsize: 544132 [startup+880.054 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135109 0 0 0 87701 312 0 0 25 0 1 0 774934729 557191168 135077 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 136033 135077 1111 63 0 135970 0 vsize: 544132 [startup+890.055 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135109 0 0 0 88701 312 0 0 25 0 1 0 774934729 557191168 135077 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 136033 135077 1111 63 0 135970 0 vsize: 544132 [startup+900.055 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135109 0 0 0 89702 312 0 0 25 0 1 0 774934729 557191168 135077 4294967295 134512640 134714540 3221224592 3221223304 134543136 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 136033 135077 1111 63 0 135970 0 vsize: 544132 [startup+910.055 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135109 0 0 0 90702 312 0 0 25 0 1 0 774934729 557191168 135077 4294967295 134512640 134714540 3221224592 3221223408 134622477 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 136033 135077 1111 63 0 135970 0 vsize: 544132 [startup+920.056 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135109 0 0 0 91702 312 0 0 25 0 1 0 774934729 557191168 135077 4294967295 134512640 134714540 3221224592 3221223304 134558477 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 136033 135077 1111 63 0 135970 0 vsize: 544132 [startup+930.055 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135109 0 0 0 92702 312 0 0 25 0 1 0 774934729 557191168 135077 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 136033 135077 1111 63 0 135970 0 vsize: 544132 [startup+940.056 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135109 0 0 0 93702 312 0 0 25 0 1 0 774934729 557191168 135077 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 136033 135077 1111 63 0 135970 0 vsize: 544132 [startup+950.057 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135109 0 0 0 94702 313 0 0 25 0 1 0 774934729 557191168 135077 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 136033 135077 1111 63 0 135970 0 vsize: 544132 [startup+960.057 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135109 0 0 0 95703 313 0 0 25 0 1 0 774934729 557191168 135077 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 136033 135077 1111 63 0 135970 0 vsize: 544132 [startup+970.057 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135109 0 0 0 96703 313 0 0 25 0 1 0 774934729 557191168 135077 4294967295 134512640 134714540 3221224592 3221223304 134558485 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 136033 135077 1111 63 0 135970 0 vsize: 544132 [startup+980.057 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135109 0 0 0 97703 313 0 0 25 0 1 0 774934729 557191168 135077 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 136033 135077 1111 63 0 135970 0 vsize: 544132 [startup+990.057 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135109 0 0 0 98703 313 0 0 25 0 1 0 774934729 557191168 135077 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 136033 135077 1111 63 0 135970 0 vsize: 544132 [startup+1000.06 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135109 0 0 0 99703 313 0 0 25 0 1 0 774934729 557191168 135077 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 136033 135077 1111 63 0 135970 0 vsize: 544132 [startup+1010.06 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135109 0 0 0 100703 313 0 0 25 0 1 0 774934729 557191168 135077 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 136033 135077 1111 63 0 135970 0 vsize: 544132 [startup+1020.06 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135109 0 0 0 101704 313 0 0 25 0 1 0 774934729 557191168 135077 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 136033 135077 1111 63 0 135970 0 vsize: 544132 [startup+1030.06 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135109 0 0 0 102704 313 0 0 25 0 1 0 774934729 557191168 135077 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 136033 135077 1111 63 0 135970 0 vsize: 544132 [startup+1040.06 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135109 0 0 0 103704 313 0 0 25 0 1 0 774934729 557191168 135077 4294967295 134512640 134714540 3221224592 3221223328 134622825 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 136033 135077 1111 63 0 135970 0 vsize: 544132 [startup+1050.06 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135109 0 0 0 104704 313 0 0 25 0 1 0 774934729 557191168 135077 4294967295 134512640 134714540 3221224592 3221223320 134622882 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 136033 135077 1111 63 0 135970 0 vsize: 544132 [startup+1060.06 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135109 0 0 0 105704 313 0 0 25 0 1 0 774934729 557191168 135077 4294967295 134512640 134714540 3221224592 3221223308 134543156 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 136033 135077 1111 63 0 135970 0 vsize: 544132 [startup+1070.06 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135109 0 0 0 106705 313 0 0 25 0 1 0 774934729 557191168 135077 4294967295 134512640 134714540 3221224592 3221223328 134622873 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 136033 135077 1111 63 0 135970 0 vsize: 544132 [startup+1080.06 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135109 0 0 0 107705 313 0 0 25 0 1 0 774934729 557191168 135077 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 136033 135077 1111 63 0 135970 0 vsize: 544132 [startup+1090.06 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135109 0 0 0 108705 313 0 0 25 0 1 0 774934729 557191168 135077 4294967295 134512640 134714540 3221224592 3221223388 134558476 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 136033 135077 1111 63 0 135970 0 vsize: 544132 [startup+1100.06 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135109 0 0 0 109705 313 0 0 25 0 1 0 774934729 557191168 135077 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 136033 135077 1111 63 0 135970 0 vsize: 544132 [startup+1110.06 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135109 0 0 0 110705 313 0 0 25 0 1 0 774934729 557191168 135077 4294967295 134512640 134714540 3221224592 3221223304 134558477 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 136033 135077 1111 63 0 135970 0 vsize: 544132 [startup+1120.06 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135109 0 0 0 111706 313 0 0 25 0 1 0 774934729 557191168 135077 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 136033 135077 1111 63 0 135970 0 vsize: 544132 [startup+1130.06 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135109 0 0 0 112706 313 0 0 25 0 1 0 774934729 557191168 135077 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 136033 135077 1111 63 0 135970 0 vsize: 544132 [startup+1140.06 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135109 0 0 0 113706 313 0 0 25 0 1 0 774934729 557191168 135077 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 136033 135077 1111 63 0 135970 0 vsize: 544132 [startup+1150.06 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135109 0 0 0 114706 313 0 0 25 0 1 0 774934729 557191168 135077 4294967295 134512640 134714540 3221224592 3221223384 134558492 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 136033 135077 1111 63 0 135970 0 vsize: 544132 [startup+1160.06 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135109 0 0 0 115706 313 0 0 25 0 1 0 774934729 557191168 135077 4294967295 134512640 134714540 3221224592 3221223312 134622884 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 136033 135077 1111 63 0 135970 0 vsize: 544132 [startup+1170.06 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135109 0 0 0 116706 313 0 0 25 0 1 0 774934729 557191168 135077 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 136033 135077 1111 63 0 135970 0 vsize: 544132 [startup+1180.06 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135109 0 0 0 117706 313 0 0 25 0 1 0 774934729 557191168 135077 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 136033 135077 1111 63 0 135970 0 vsize: 544132 [startup+1190.06 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135109 0 0 0 118706 313 0 0 25 0 1 0 774934729 557191168 135077 4294967295 134512640 134714540 3221224592 3221223316 134622811 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 136033 135077 1111 63 0 135970 0 vsize: 544132 [startup+1200.06 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 2737 Raw data (stat): 2737 (bsolo_mis) R 2736 31399 31398 0 -1 0 135109 0 0 0 119706 314 0 0 25 0 1 0 774934729 557191168 135077 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 136033 135077 1111 63 0 135970 0 vsize: 544132 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.31 s] Raw data (loadavg): 0.99 0.97 0.93 1/54 2737 Raw data (stat): 2737 (bsolo_mis) Z 2736 31399 31398 0 -1 1036 135109 0 0 0 119706 338 0 0 25 0 1 0 774934729 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.31 CPU time (s): 1200.46 CPU user time (s): 1197.07 CPU system time (s): 3.38848 CPU usage (%): 100.012 Max. virtual memory (Kb): 544132 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####