Name | normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos4.opb |
MD5SUM | e465af1c9ec9e748a7782ddbee36d3b1 |
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 | 100590 |
Biggest coefficient in the objective function | 11202704073084108800000000 |
Number of bits for the biggest coefficient in the objective function | 84 |
Sum of the numbers in the objective function | 2862789126208280618841669632 |
Number of bits of the sum of numbers in the objective function | 92 |
Biggest number in a constraint | 11202704073084108800000000 |
Number of bits of the biggest number in a constraint | 84 |
Biggest sum of numbers in a constraint | 2862789126208280618841669632 |
Number of bits of the biggest sum of numbers | 92 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 1.90971 |
Number of variables | 203044 |
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 | 1115 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc4 THE 2005-05-25 00:10:27 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=14693 boxname=wulflinc4 idbench=1131 idsolver=3 numberseed=0 MD5SUM SOLVER: 03a6a792daea978e4202f78851741568 /oldhome/oroussel/solvers/bsolo_mis MD5SUM BENCH: e465af1c9ec9e748a7782ddbee36d3b1 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-neos4.opb REAL COMMAND: bsolo_mis /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-neos4.opb IDLAUNCH: 14693 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.169 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.169 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: 702332 kB Buffers: 34812 kB Cached: 276464 kB SwapCached: 504 kB Active: 75200 kB Inactive: 238584 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 702080 kB SwapTotal: 2097136 kB SwapFree: 2096156 kB Dirty: 24 kB Writeback: 0 kB Mapped: 5944 kB Slab: 12888 kB Committed_AS: 71780 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-25 00:30:31 (client local time) WITH STATUS 0 IN 1200.77 SECONDS stats: 14693 7 1200.77 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### #### 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.93 0.97 0.91 2/54 25691 Raw data (stat): 25691 (runsolver) R 25690 21152 21151 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 776222472 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.0005 s] Raw data (loadavg): 0.94 0.97 0.91 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 1081 0 0 0 994 4 0 0 25 0 1 0 776222472 15196160 1059 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3710 1059 1111 63 0 3647 0 vsize: 14840 [startup+20.0008 s] Raw data (loadavg): 0.95 0.97 0.91 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 1122 0 0 0 1995 4 0 0 25 0 1 0 776222472 15331328 1100 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3743 1100 1111 63 0 3680 0 vsize: 14972 [startup+30.0011 s] Raw data (loadavg): 0.96 0.97 0.91 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 1163 0 0 0 2995 4 0 0 25 0 1 0 776222472 15466496 1141 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3776 1141 1111 63 0 3713 0 vsize: 15104 [startup+40.0015 s] Raw data (loadavg): 0.96 0.97 0.91 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 1205 0 0 0 3995 4 0 0 25 0 1 0 776222472 15601664 1183 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3809 1183 1111 63 0 3746 0 vsize: 15236 [startup+50.0024 s] Raw data (loadavg): 0.97 0.97 0.91 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 1252 0 0 0 4995 4 0 0 25 0 1 0 776222472 15872000 1230 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3875 1230 1111 63 0 3812 0 vsize: 15500 [startup+60.0026 s] Raw data (loadavg): 0.97 0.97 0.91 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 1287 0 0 0 5995 4 0 0 25 0 1 0 776222472 16027648 1265 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3913 1265 1111 63 0 3850 0 vsize: 15652 [startup+70.0031 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 1335 0 0 0 6995 4 0 0 25 0 1 0 776222472 16162816 1313 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3946 1313 1111 63 0 3883 0 vsize: 15784 [startup+80.004 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 1370 0 0 0 7995 4 0 0 25 0 1 0 776222472 16302080 1348 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3980 1348 1111 63 0 3917 0 vsize: 15920 [startup+90.0055 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 1421 0 0 0 8996 4 0 0 25 0 1 0 776222472 16584704 1399 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4049 1399 1111 63 0 3986 0 vsize: 16196 [startup+100.006 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 1461 0 0 0 9996 4 0 0 25 0 1 0 776222472 16740352 1439 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4087 1439 1111 63 0 4024 0 vsize: 16348 [startup+110.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 1504 0 0 0 10996 4 0 0 25 0 1 0 776222472 16875520 1482 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4120 1482 1111 63 0 4057 0 vsize: 16480 [startup+120.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 1551 0 0 0 11997 4 0 0 25 0 1 0 776222472 17149952 1529 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4187 1529 1111 63 0 4124 0 vsize: 16748 [startup+130.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 1592 0 0 0 12997 4 0 0 25 0 1 0 776222472 17285120 1570 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4220 1570 1111 63 0 4157 0 vsize: 16880 [startup+140.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 1634 0 0 0 13997 4 0 0 25 0 1 0 776222472 17420288 1612 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4253 1612 1111 63 0 4190 0 vsize: 17012 [startup+150.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 1668 0 0 0 14998 4 0 0 25 0 1 0 776222472 17555456 1646 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4286 1646 1111 63 0 4223 0 vsize: 17144 [startup+160.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 1720 0 0 0 15998 4 0 0 25 0 1 0 776222472 17846272 1698 4294967295 134512640 134714540 3221224592 3221222820 1077414374 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4357 1698 1111 63 0 4294 0 vsize: 17428 [startup+170.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 1761 0 0 0 16999 4 0 0 25 0 1 0 776222472 17981440 1739 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4390 1739 1111 63 0 4327 0 vsize: 17560 [startup+180.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 1805 0 0 0 17998 5 0 0 25 0 1 0 776222472 18116608 1783 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4423 1783 1111 63 0 4360 0 vsize: 17692 [startup+190.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 1852 0 0 0 18998 5 0 0 25 0 1 0 776222472 18251776 1830 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4456 1830 1111 63 0 4393 0 vsize: 17824 [startup+200.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 1887 0 0 0 19998 5 0 0 25 0 1 0 776222472 18522112 1865 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4522 1865 1111 63 0 4459 0 vsize: 18088 [startup+210.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 1935 0 0 0 20998 5 0 0 25 0 1 0 776222472 18657280 1913 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4555 1913 1111 63 0 4492 0 vsize: 18220 [startup+220.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 1984 0 0 0 21998 5 0 0 25 0 1 0 776222472 18792448 1962 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4588 1962 1111 63 0 4525 0 vsize: 18352 [startup+230.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 2019 0 0 0 22999 5 0 0 25 0 1 0 776222472 19062784 1997 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4654 1997 1111 63 0 4591 0 vsize: 18616 [startup+240.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 2067 0 0 0 23999 5 0 0 25 0 1 0 776222472 19197952 2045 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4687 2045 1111 63 0 4624 0 vsize: 18748 [startup+250.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 2115 0 0 0 24999 5 0 0 25 0 1 0 776222472 19333120 2093 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4720 2093 1111 63 0 4657 0 vsize: 18880 [startup+260.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 2150 0 0 0 25999 5 0 0 25 0 1 0 776222472 19603456 2128 4294967295 134512640 134714540 3221224592 3221221304 1077404102 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4786 2128 1111 63 0 4723 0 vsize: 19144 [startup+270.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 2198 0 0 0 27000 5 0 0 25 0 1 0 776222472 19738624 2176 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4819 2176 1111 63 0 4756 0 vsize: 19276 [startup+280.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 2245 0 0 0 28000 6 0 0 25 0 1 0 776222472 19873792 2223 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4852 2223 1111 63 0 4789 0 vsize: 19408 [startup+290.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 2281 0 0 0 29000 6 0 0 25 0 1 0 776222472 20029440 2259 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4890 2259 1111 63 0 4827 0 vsize: 19560 [startup+300.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 2328 0 0 0 30000 6 0 0 25 0 1 0 776222472 20303872 2306 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4957 2306 1111 63 0 4894 0 vsize: 19828 [startup+310.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 2363 0 0 0 31000 6 0 0 25 0 1 0 776222472 20439040 2341 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4990 2341 1111 63 0 4927 0 vsize: 19960 [startup+320.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 2418 0 0 0 32000 7 0 0 25 0 1 0 776222472 20590592 2396 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5027 2396 1111 63 0 4964 0 vsize: 20108 [startup+330.046 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 2461 0 0 0 33001 7 0 0 25 0 1 0 776222472 20860928 2439 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5093 2439 1111 63 0 5030 0 vsize: 20372 [startup+340.053 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 2502 0 0 0 34002 7 0 0 25 0 1 0 776222472 20996096 2480 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5126 2480 1111 63 0 5063 0 vsize: 20504 [startup+350.054 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 2549 0 0 0 35002 7 0 0 25 0 1 0 776222472 21131264 2527 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5159 2527 1111 63 0 5096 0 vsize: 20636 [startup+360.062 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 2593 0 0 0 36003 7 0 0 25 0 1 0 776222472 21401600 2571 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5225 2571 1111 63 0 5162 0 vsize: 20900 [startup+370.062 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 2634 0 0 0 37003 7 0 0 25 0 1 0 776222472 21536768 2612 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5258 2612 1111 63 0 5195 0 vsize: 21032 [startup+380.062 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 2682 0 0 0 38003 7 0 0 25 0 1 0 776222472 21671936 2660 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5291 2660 1111 63 0 5228 0 vsize: 21164 [startup+390.062 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 2732 0 0 0 39003 8 0 0 25 0 1 0 776222472 21962752 2710 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5362 2710 1111 63 0 5299 0 vsize: 21448 [startup+400.063 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 2775 0 0 0 40003 8 0 0 25 0 1 0 776222472 22102016 2753 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5396 2753 1111 63 0 5333 0 vsize: 21584 [startup+410.063 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 2816 0 0 0 41003 8 0 0 25 0 1 0 776222472 22237184 2794 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5429 2794 1111 63 0 5366 0 vsize: 21716 [startup+420.064 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 2849 0 0 0 42003 8 0 0 25 0 1 0 776222472 22372352 2827 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5462 2827 1111 63 0 5399 0 vsize: 21848 [startup+430.064 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 2898 0 0 0 43003 8 0 0 25 0 1 0 776222472 22663168 2876 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5533 2876 1111 63 0 5470 0 vsize: 22132 [startup+440.064 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 2945 0 0 0 44003 8 0 0 25 0 1 0 776222472 22802432 2923 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5567 2923 1111 63 0 5504 0 vsize: 22268 [startup+450.088 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 2981 0 0 0 45006 8 0 0 25 0 1 0 776222472 22937600 2959 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5600 2959 1111 63 0 5537 0 vsize: 22400 [startup+460.088 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 3028 0 0 0 46006 8 0 0 25 0 1 0 776222472 23207936 3006 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5666 3006 1111 63 0 5603 0 vsize: 22664 [startup+470.089 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 3079 0 0 0 47006 8 0 0 25 0 1 0 776222472 23343104 3057 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5699 3057 1111 63 0 5636 0 vsize: 22796 [startup+480.09 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 3115 0 0 0 48006 8 0 0 25 0 1 0 776222472 23478272 3093 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5732 3093 1111 63 0 5669 0 vsize: 22928 [startup+490.101 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 3162 0 0 0 49007 9 0 0 25 0 1 0 776222472 23748608 3140 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5798 3140 1111 63 0 5735 0 vsize: 23192 [startup+500.113 s] Raw data (loadavg): 1.06 0.99 0.92 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 3209 0 0 0 50008 9 0 0 25 0 1 0 776222472 23883776 3187 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5831 3187 1111 63 0 5768 0 vsize: 23324 [startup+510.113 s] Raw data (loadavg): 1.05 0.99 0.92 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 3252 0 0 0 51008 9 0 0 25 0 1 0 776222472 24018944 3230 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5864 3230 1111 63 0 5801 0 vsize: 23456 [startup+520.114 s] Raw data (loadavg): 1.04 0.99 0.92 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 3294 0 0 0 52009 9 0 0 25 0 1 0 776222472 24289280 3272 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5930 3272 1111 63 0 5867 0 vsize: 23720 [startup+530.131 s] Raw data (loadavg): 1.04 0.99 0.92 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 3341 0 0 0 53011 9 0 0 25 0 1 0 776222472 24424448 3319 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5963 3319 1111 63 0 5900 0 vsize: 23852 [startup+540.158 s] Raw data (loadavg): 1.03 0.99 0.92 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 3391 0 0 0 54013 9 0 0 25 0 1 0 776222472 24559616 3369 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5996 3369 1111 63 0 5933 0 vsize: 23984 [startup+550.158 s] Raw data (loadavg): 1.03 0.99 0.92 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 3426 0 0 0 55013 9 0 0 25 0 1 0 776222472 24829952 3404 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6062 3404 1111 63 0 5999 0 vsize: 24248 [startup+560.158 s] Raw data (loadavg): 1.02 0.99 0.92 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 3458 0 0 0 56013 9 0 0 25 0 1 0 776222472 24829952 3436 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6062 3436 1111 63 0 5999 0 vsize: 24248 [startup+570.159 s] Raw data (loadavg): 1.02 0.99 0.92 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 3506 0 0 0 57014 10 0 0 25 0 1 0 776222472 25100288 3484 4294967295 134512640 134714540 3221224592 3221222820 1077414374 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6128 3484 1111 63 0 6065 0 vsize: 24512 [startup+580.161 s] Raw data (loadavg): 1.01 0.99 0.92 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 3548 0 0 0 58014 10 0 0 25 0 1 0 776222472 25235456 3526 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6161 3526 1111 63 0 6098 0 vsize: 24644 [startup+590.162 s] Raw data (loadavg): 1.01 0.99 0.92 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 3590 0 0 0 59014 10 0 0 25 0 1 0 776222472 25370624 3568 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6194 3568 1111 63 0 6131 0 vsize: 24776 [startup+600.162 s] Raw data (loadavg): 1.01 0.99 0.92 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 3637 0 0 0 60014 10 0 0 25 0 1 0 776222472 25661440 3615 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6265 3615 1111 63 0 6202 0 vsize: 25060 [startup+610.175 s] Raw data (loadavg): 1.01 0.99 0.92 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 3680 0 0 0 61016 10 0 0 25 0 1 0 776222472 25796608 3658 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6298 3658 1111 63 0 6235 0 vsize: 25192 [startup+620.176 s] Raw data (loadavg): 1.01 0.99 0.92 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 3733 0 0 0 62016 10 0 0 25 0 1 0 776222472 26124288 3711 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6378 3711 1111 63 0 6315 0 vsize: 25512 [startup+630.176 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 3781 0 0 0 63016 10 0 0 25 0 1 0 776222472 26259456 3759 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6411 3759 1111 63 0 6348 0 vsize: 25644 [startup+640.177 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 3829 0 0 0 64016 10 0 0 25 0 1 0 776222472 26529792 3807 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6477 3807 1111 63 0 6414 0 vsize: 25908 [startup+650.181 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 3879 0 0 0 65016 10 0 0 25 0 1 0 776222472 26664960 3857 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6510 3857 1111 63 0 6447 0 vsize: 26040 [startup+660.189 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 3914 0 0 0 66017 10 0 0 25 0 1 0 776222472 26800128 3892 4294967295 134512640 134714540 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6543 3892 1111 63 0 6480 0 vsize: 26172 [startup+670.19 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 3962 0 0 0 67017 10 0 0 25 0 1 0 776222472 27070464 3940 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6609 3940 1111 63 0 6546 0 vsize: 26436 [startup+680.19 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 4011 0 0 0 68017 11 0 0 25 0 1 0 776222472 27205632 3989 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6642 3989 1111 63 0 6579 0 vsize: 26568 [startup+690.197 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 4045 0 0 0 69018 11 0 0 25 0 1 0 776222472 27340800 4023 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6675 4023 1111 63 0 6612 0 vsize: 26700 [startup+700.203 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 4093 0 0 0 70019 11 0 0 25 0 1 0 776222472 27475968 4071 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6708 4071 1111 63 0 6645 0 vsize: 26832 [startup+710.211 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 4128 0 0 0 71020 11 0 0 25 0 1 0 776222472 27746304 4106 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6774 4106 1111 63 0 6711 0 vsize: 27096 [startup+720.211 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 4177 0 0 0 72020 11 0 0 25 0 1 0 776222472 27881472 4155 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6807 4155 1111 63 0 6744 0 vsize: 27228 [startup+730.211 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 4225 0 0 0 73020 11 0 0 25 0 1 0 776222472 28016640 4203 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6840 4203 1111 63 0 6777 0 vsize: 27360 [startup+740.21 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 4260 0 0 0 74020 11 0 0 25 0 1 0 776222472 28286976 4238 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6906 4238 1111 63 0 6843 0 vsize: 27624 [startup+750.212 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 4308 0 0 0 75020 11 0 0 25 0 1 0 776222472 28422144 4286 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6939 4286 1111 63 0 6876 0 vsize: 27756 [startup+760.211 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 4357 0 0 0 76020 11 0 0 25 0 1 0 776222472 28557312 4335 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6972 4335 1111 63 0 6909 0 vsize: 27888 [startup+770.211 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 4407 0 0 0 77020 11 0 0 25 0 1 0 776222472 28827648 4385 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7038 4385 1111 63 0 6975 0 vsize: 28152 [startup+780.214 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 4449 0 0 0 78021 11 0 0 25 0 1 0 776222472 28962816 4427 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7071 4427 1111 63 0 7008 0 vsize: 28284 [startup+790.214 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 4493 0 0 0 79021 12 0 0 25 0 1 0 776222472 29118464 4471 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7109 4471 1111 63 0 7046 0 vsize: 28436 [startup+800.213 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 4541 0 0 0 80021 12 0 0 25 0 1 0 776222472 29392896 4519 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7176 4519 1111 63 0 7113 0 vsize: 28704 [startup+810.214 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 4590 0 0 0 81021 12 0 0 25 0 1 0 776222472 29528064 4568 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7209 4568 1111 63 0 7146 0 vsize: 28836 [startup+820.213 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 4638 0 0 0 82021 12 0 0 25 0 1 0 776222472 29798400 4616 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7275 4616 1111 63 0 7212 0 vsize: 29100 [startup+830.22 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 4680 0 0 0 83021 12 0 0 25 0 1 0 776222472 29933568 4658 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7308 4658 1111 63 0 7245 0 vsize: 29232 [startup+840.22 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 4723 0 0 0 84022 12 0 0 25 0 1 0 776222472 30068736 4701 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7341 4701 1111 63 0 7278 0 vsize: 29364 [startup+850.221 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 4773 0 0 0 85022 12 0 0 25 0 1 0 776222472 30359552 4751 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7412 4751 1111 63 0 7349 0 vsize: 29648 [startup+860.221 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 4823 0 0 0 86022 12 0 0 25 0 1 0 776222472 30498816 4801 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7446 4801 1111 63 0 7383 0 vsize: 29784 [startup+870.223 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 4871 0 0 0 87022 13 0 0 25 0 1 0 776222472 30769152 4849 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7512 4849 1111 63 0 7449 0 vsize: 30048 [startup+880.224 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 4920 0 0 0 88022 13 0 0 25 0 1 0 776222472 30904320 4898 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7545 4898 1111 63 0 7482 0 vsize: 30180 [startup+890.23 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 4970 0 0 0 89022 13 0 0 25 0 1 0 776222472 31174656 4948 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7611 4948 1111 63 0 7548 0 vsize: 30444 [startup+900.239 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 5018 0 0 0 90023 13 0 0 25 0 1 0 776222472 31309824 4996 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7644 4996 1111 63 0 7581 0 vsize: 30576 [startup+910.239 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 5068 0 0 0 91023 14 0 0 25 0 1 0 776222472 31444992 5046 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7677 5046 1111 63 0 7614 0 vsize: 30708 [startup+920.239 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 5104 0 0 0 92023 14 0 0 25 0 1 0 776222472 31715328 5082 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7743 5082 1111 63 0 7680 0 vsize: 30972 [startup+930.239 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 5153 0 0 0 93022 14 0 0 25 0 1 0 776222472 31850496 5131 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7776 5131 1111 63 0 7713 0 vsize: 31104 [startup+940.239 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 5201 0 0 0 94023 14 0 0 25 0 1 0 776222472 31985664 5179 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7809 5179 1111 63 0 7746 0 vsize: 31236 [startup+950.343 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 5250 0 0 0 95033 15 0 0 25 0 1 0 776222472 32256000 5228 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7875 5228 1111 63 0 7812 0 vsize: 31500 [startup+960.344 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 5300 0 0 0 96033 15 0 0 25 0 1 0 776222472 32391168 5278 4294967295 134512640 134714540 3221224592 3221222820 1077414374 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7908 5278 1111 63 0 7845 0 vsize: 31632 [startup+970.351 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 5348 0 0 0 97034 15 0 0 25 0 1 0 776222472 32661504 5326 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7974 5326 1111 63 0 7911 0 vsize: 31896 [startup+980.351 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 5398 0 0 0 98034 15 0 0 25 0 1 0 776222472 32817152 5376 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8012 5376 1111 63 0 7949 0 vsize: 32048 [startup+990.359 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 5450 0 0 0 99035 15 0 0 25 0 1 0 776222472 33091584 5428 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8079 5428 1111 63 0 8016 0 vsize: 32316 [startup+1000.37 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 5498 0 0 0 100036 15 0 0 25 0 1 0 776222472 33226752 5476 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8112 5476 1111 63 0 8049 0 vsize: 32448 [startup+1010.37 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 5547 0 0 0 101036 16 0 0 25 0 1 0 776222472 33517568 5525 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8183 5525 1111 63 0 8120 0 vsize: 32732 [startup+1020.38 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 5598 0 0 0 102037 16 0 0 25 0 1 0 776222472 33656832 5576 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8217 5576 1111 63 0 8154 0 vsize: 32868 [startup+1030.39 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 5646 0 0 0 103037 16 0 0 25 0 1 0 776222472 33927168 5624 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8283 5624 1111 63 0 8220 0 vsize: 33132 [startup+1040.39 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 5688 0 0 0 104037 16 0 0 25 0 1 0 776222472 34062336 5666 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8316 5666 1111 63 0 8253 0 vsize: 33264 [startup+1050.44 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 5738 0 0 0 105043 16 0 0 25 0 1 0 776222472 34197504 5716 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8349 5716 1111 63 0 8286 0 vsize: 33396 [startup+1060.44 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 5781 0 0 0 106043 16 0 0 25 0 1 0 776222472 34467840 5759 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8415 5759 1111 63 0 8352 0 vsize: 33660 [startup+1070.45 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 5830 0 0 0 107044 16 0 0 25 0 1 0 776222472 34603008 5808 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8448 5808 1111 63 0 8385 0 vsize: 33792 [startup+1080.45 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 5880 0 0 0 108044 16 0 0 25 0 1 0 776222472 34873344 5858 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8514 5858 1111 63 0 8451 0 vsize: 34056 [startup+1090.55 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 5929 0 0 0 109054 16 0 0 25 0 1 0 776222472 35008512 5907 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8547 5907 1111 63 0 8484 0 vsize: 34188 [startup+1100.55 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 5977 0 0 0 110055 16 0 0 25 0 1 0 776222472 35278848 5955 4294967295 134512640 134714540 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8613 5955 1111 63 0 8550 0 vsize: 34452 [startup+1110.55 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 6027 0 0 0 111055 17 0 0 25 0 1 0 776222472 35414016 6005 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8646 6005 1111 63 0 8583 0 vsize: 34584 [startup+1120.56 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 6077 0 0 0 112055 17 0 0 25 0 1 0 776222472 35684352 6055 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8712 6055 1111 63 0 8649 0 vsize: 34848 [startup+1130.57 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 6126 0 0 0 113056 17 0 0 25 0 1 0 776222472 35819520 6104 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8745 6104 1111 63 0 8682 0 vsize: 34980 [startup+1140.57 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 6181 0 0 0 114056 17 0 0 25 0 1 0 776222472 36089856 6159 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8811 6159 1111 63 0 8748 0 vsize: 35244 [startup+1150.57 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 6238 0 0 0 115057 17 0 0 25 0 1 0 776222472 36225024 6216 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8844 6216 1111 63 0 8781 0 vsize: 35376 [startup+1160.57 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 6288 0 0 0 116057 17 0 0 25 0 1 0 776222472 36495360 6266 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8910 6266 1111 63 0 8847 0 vsize: 35640 [startup+1170.57 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 6337 0 0 0 117057 17 0 0 25 0 1 0 776222472 36651008 6315 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8948 6315 1111 63 0 8885 0 vsize: 35792 [startup+1180.57 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 6408 0 0 0 118057 17 0 0 25 0 1 0 776222472 37158912 6386 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9072 6386 1111 63 0 9009 0 vsize: 36288 [startup+1190.58 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 6471 0 0 0 119058 17 0 0 25 0 1 0 776222472 37314560 6449 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9110 6449 1111 63 0 9047 0 vsize: 36440 [startup+1200.58 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 25691 Raw data (stat): 25691 (bsolo_mis) R 25690 21152 21151 0 -1 0 6521 0 0 0 120058 17 0 0 25 0 1 0 776222472 37584896 6499 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9176 6499 1111 63 0 9113 0 vsize: 36704 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.61 s] Raw data (loadavg): 1.00 0.99 0.92 1/54 25691 Raw data (stat): 25691 (bsolo_mis) Z 25690 21152 21151 0 -1 1036 6521 0 0 0 120058 19 0 0 23 0 1 0 776222472 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.61 CPU time (s): 1200.77 CPU user time (s): 1200.58 CPU system time (s): 0.19197 CPU usage (%): 100.013 Max. virtual memory (Kb): 36704 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####