Name | normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-maros-r7.opb |
MD5SUM | 652a81faea87c0443f84aaa4223a3702 |
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 | 125440 |
Biggest coefficient in the objective function | 524288 |
Number of bits for the biggest coefficient in the objective function | 20 |
Sum of the numbers in the objective function | 6576662400 |
Number of bits of the sum of numbers in the objective function | 33 |
Biggest number in a constraint | 4020224000000 |
Number of bits of the biggest number in a constraint | 42 |
Biggest sum of numbers in a constraint | 8483418475850 |
Number of bits of the biggest sum of numbers | 43 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 1.71574 |
Number of variables | 188160 |
Total number of constraints | 3136 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 3136 |
Minimum length of a constraint | 100 |
Maximum length of a constraint | 480 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc7 THE 2005-05-24 23:09:13 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=15980 boxname=wulflinc7 idbench=1230 idsolver=3 numberseed=0 MD5SUM SOLVER: 03a6a792daea978e4202f78851741568 /oldhome/oroussel/solvers/bsolo_mis MD5SUM BENCH: 652a81faea87c0443f84aaa4223a3702 /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-13-7-maros-r7.opb REAL COMMAND: bsolo_mis /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-13-7-maros-r7.opb IDLAUNCH: 15980 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.050 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.050 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: 444220 kB Buffers: 35908 kB Cached: 532744 kB SwapCached: 100 kB Active: 193116 kB Inactive: 378276 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 443968 kB SwapTotal: 2097136 kB SwapFree: 2096820 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6740 kB Slab: 13428 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-24 23:29:16 (client local time) WITH STATUS 0 IN 1200.33 SECONDS stats: 15980 7 1200.33 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.79 0.87 0.89 2/54 1215 Raw data (stat): 1215 (runsolver) R 1214 24300 24299 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 775871331 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.0002 s] Raw data (loadavg): 0.82 0.88 0.89 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 1037 0 0 0 995 3 0 0 25 0 1 0 775871331 15900672 1015 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3882 1015 1111 63 0 3819 0 vsize: 15528 [startup+20.0008 s] Raw data (loadavg): 0.85 0.88 0.89 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 1250 0 0 0 1995 3 0 0 25 0 1 0 775871331 16748544 1228 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4089 1228 1111 63 0 4026 0 vsize: 16356 [startup+30.0015 s] Raw data (loadavg): 0.87 0.88 0.89 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 1463 0 0 0 2995 4 0 0 25 0 1 0 775871331 17596416 1441 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4296 1441 1111 63 0 4233 0 vsize: 17184 [startup+40.0016 s] Raw data (loadavg): 0.89 0.89 0.89 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 1680 0 0 0 3994 5 0 0 25 0 1 0 775871331 18452480 1658 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4505 1658 1111 63 0 4442 0 vsize: 18020 [startup+50.0025 s] Raw data (loadavg): 0.91 0.89 0.89 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 1892 0 0 0 4994 5 0 0 25 0 1 0 775871331 19435520 1870 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4745 1870 1111 63 0 4682 0 vsize: 18980 [startup+60.0022 s] Raw data (loadavg): 0.92 0.89 0.89 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 2106 0 0 0 5994 5 0 0 25 0 1 0 775871331 20283392 2084 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4952 2084 1111 63 0 4889 0 vsize: 19808 [startup+70.0019 s] Raw data (loadavg): 0.93 0.90 0.89 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 2331 0 0 0 6994 5 0 0 25 0 1 0 775871331 21123072 2309 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5157 2309 1111 63 0 5094 0 vsize: 20628 [startup+80.0027 s] Raw data (loadavg): 0.94 0.90 0.89 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 2551 0 0 0 7994 6 0 0 25 0 1 0 775871331 22110208 2529 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5398 2529 1111 63 0 5335 0 vsize: 21592 [startup+90.0035 s] Raw data (loadavg): 0.95 0.90 0.89 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 2764 0 0 0 8994 6 0 0 25 0 1 0 775871331 22949888 2742 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5603 2742 1111 63 0 5540 0 vsize: 22412 [startup+100.003 s] Raw data (loadavg): 0.96 0.90 0.89 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 2978 0 0 0 9994 6 0 0 25 0 1 0 775871331 23797760 2956 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5810 2956 1111 63 0 5747 0 vsize: 23240 [startup+110.006 s] Raw data (loadavg): 0.96 0.91 0.90 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 3198 0 0 0 10994 7 0 0 25 0 1 0 775871331 24784896 3176 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6051 3176 1111 63 0 5988 0 vsize: 24204 [startup+120.005 s] Raw data (loadavg): 0.97 0.91 0.90 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 3418 0 0 0 11994 7 0 0 25 0 1 0 775871331 25624576 3396 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6256 3396 1111 63 0 6193 0 vsize: 25024 [startup+130.006 s] Raw data (loadavg): 0.97 0.91 0.90 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 3638 0 0 0 12994 7 0 0 25 0 1 0 775871331 26476544 3616 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6464 3616 1111 63 0 6401 0 vsize: 25856 [startup+140.006 s] Raw data (loadavg): 0.98 0.91 0.90 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 3859 0 0 0 13993 8 0 0 25 0 1 0 775871331 27475968 3837 4294967295 134512640 134714540 3221224592 3221222820 1077414399 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6708 3837 1111 63 0 6645 0 vsize: 26832 [startup+150.007 s] Raw data (loadavg): 0.98 0.92 0.90 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 4079 0 0 0 14993 8 0 0 25 0 1 0 775871331 28323840 4057 4294967295 134512640 134714540 3221224592 3221223248 134527935 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6915 4057 1111 63 0 6852 0 vsize: 27660 [startup+160.006 s] Raw data (loadavg): 0.98 0.92 0.90 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 4299 0 0 0 15993 9 0 0 25 0 1 0 775871331 29306880 4277 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7155 4277 1111 63 0 7092 0 vsize: 28620 [startup+170.006 s] Raw data (loadavg): 0.98 0.92 0.90 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 4513 0 0 0 16993 9 0 0 25 0 1 0 775871331 30150656 4491 4294967295 134512640 134714540 3221224592 3221222820 1077414424 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7361 4491 1111 63 0 7298 0 vsize: 29444 [startup+180.006 s] Raw data (loadavg): 0.99 0.92 0.90 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 4734 0 0 0 17992 10 0 0 25 0 1 0 775871331 30998528 4712 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7568 4712 1111 63 0 7505 0 vsize: 30272 [startup+190.006 s] Raw data (loadavg): 0.99 0.92 0.90 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 4955 0 0 0 18992 10 0 0 25 0 1 0 775871331 31985664 4933 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7809 4933 1111 63 0 7746 0 vsize: 31236 [startup+200.007 s] Raw data (loadavg): 0.99 0.93 0.90 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 5175 0 0 0 19991 11 0 0 25 0 1 0 775871331 32825344 5153 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8014 5153 1111 63 0 7951 0 vsize: 32056 [startup+210.008 s] Raw data (loadavg): 0.99 0.93 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 5396 0 0 0 20991 11 0 0 25 0 1 0 775871331 33673216 5374 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8221 5374 1111 63 0 8158 0 vsize: 32884 [startup+220.007 s] Raw data (loadavg): 0.99 0.93 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 5623 0 0 0 21990 12 0 0 25 0 1 0 775871331 34660352 5601 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8462 5601 1111 63 0 8399 0 vsize: 33848 [startup+230.015 s] Raw data (loadavg): 0.99 0.93 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 5843 0 0 0 22991 13 0 0 25 0 1 0 775871331 35508224 5821 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8669 5821 1111 63 0 8606 0 vsize: 34676 [startup+240.015 s] Raw data (loadavg): 0.99 0.93 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 6064 0 0 0 23991 13 0 0 25 0 1 0 775871331 36487168 6042 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8908 6042 1111 63 0 8845 0 vsize: 35632 [startup+250.025 s] Raw data (loadavg): 0.99 0.94 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 6289 0 0 0 24992 13 0 0 25 0 1 0 775871331 37330944 6267 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9114 6267 1111 63 0 9051 0 vsize: 36456 [startup+260.025 s] Raw data (loadavg): 0.99 0.94 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 6520 0 0 0 25991 14 0 0 25 0 1 0 775871331 38359040 6498 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9365 6498 1111 63 0 9302 0 vsize: 37460 [startup+270.024 s] Raw data (loadavg): 0.99 0.94 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 6742 0 0 0 26991 15 0 0 25 0 1 0 775871331 39346176 6720 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9606 6720 1111 63 0 9543 0 vsize: 38424 [startup+280.025 s] Raw data (loadavg): 0.99 0.94 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 6962 0 0 0 27990 15 0 0 25 0 1 0 775871331 40185856 6940 4294967295 134512640 134714540 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9811 6940 1111 63 0 9748 0 vsize: 39244 [startup+290.025 s] Raw data (loadavg): 0.99 0.94 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 7189 0 0 0 28990 16 0 0 25 0 1 0 775871331 41172992 7167 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10052 7167 1111 63 0 9989 0 vsize: 40208 [startup+300.025 s] Raw data (loadavg): 0.99 0.94 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 7416 0 0 0 29989 17 0 0 25 0 1 0 775871331 42020864 7394 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10259 7394 1111 63 0 10196 0 vsize: 41036 [startup+310.025 s] Raw data (loadavg): 0.99 0.94 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 7637 0 0 0 30989 17 0 0 25 0 1 0 775871331 43008000 7615 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10500 7615 1111 63 0 10437 0 vsize: 42000 [startup+320.04 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 7865 0 0 0 31990 17 0 0 25 0 1 0 775871331 43851776 7843 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10706 7843 1111 63 0 10643 0 vsize: 42824 [startup+330.041 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 8092 0 0 0 32990 18 0 0 25 0 1 0 775871331 44834816 8070 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10946 8070 1111 63 0 10883 0 vsize: 43784 [startup+340.041 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 8313 0 0 0 33990 18 0 0 25 0 1 0 775871331 45682688 8291 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11153 8291 1111 63 0 11090 0 vsize: 44612 [startup+350.041 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 8541 0 0 0 34990 19 0 0 25 0 1 0 775871331 46665728 8519 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11393 8519 1111 63 0 11330 0 vsize: 45572 [startup+360.042 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 8769 0 0 0 35990 19 0 0 25 0 1 0 775871331 47513600 8747 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11600 8747 1111 63 0 11537 0 vsize: 46400 [startup+370.049 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 8995 0 0 0 36990 20 0 0 25 0 1 0 775871331 48496640 8973 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11840 8973 1111 63 0 11777 0 vsize: 47360 [startup+380.056 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 9223 0 0 0 37991 20 0 0 25 0 1 0 775871331 49479680 9201 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12080 9201 1111 63 0 12017 0 vsize: 48320 [startup+390.06 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 9451 0 0 0 38991 20 0 0 25 0 1 0 775871331 50327552 9429 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12287 9429 1111 63 0 12224 0 vsize: 49148 [startup+400.06 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 9678 0 0 0 39991 20 0 0 25 0 1 0 775871331 51314688 9656 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12528 9656 1111 63 0 12465 0 vsize: 50112 [startup+410.06 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 9907 0 0 0 40991 21 0 0 25 0 1 0 775871331 52154368 9885 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12733 9885 1111 63 0 12670 0 vsize: 50932 [startup+420.059 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 10134 0 0 0 41990 21 0 0 25 0 1 0 775871331 53141504 10112 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12974 10112 1111 63 0 12911 0 vsize: 51896 [startup+430.059 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 10367 0 0 0 42990 21 0 0 25 0 1 0 775871331 54128640 10345 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13215 10345 1111 63 0 13152 0 vsize: 52860 [startup+440.059 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 10595 0 0 0 43990 22 0 0 25 0 1 0 775871331 54976512 10573 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13422 10573 1111 63 0 13359 0 vsize: 53688 [startup+450.06 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 10824 0 0 0 44990 22 0 0 25 0 1 0 775871331 55959552 10802 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13662 10802 1111 63 0 13599 0 vsize: 54648 [startup+460.06 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 11056 0 0 0 45990 23 0 0 25 0 1 0 775871331 56942592 11034 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13902 11034 1111 63 0 13839 0 vsize: 55608 [startup+470.06 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 11284 0 0 0 46989 23 0 0 25 0 1 0 775871331 57790464 11262 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14109 11262 1111 63 0 14046 0 vsize: 56436 [startup+480.06 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 11517 0 0 0 47989 23 0 0 25 0 1 0 775871331 58773504 11495 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14349 11495 1111 63 0 14286 0 vsize: 57396 [startup+490.06 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 11745 0 0 0 48989 24 0 0 25 0 1 0 775871331 59764736 11723 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14591 11723 1111 63 0 14528 0 vsize: 58364 [startup+500.061 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 11997 0 0 0 49988 25 0 0 25 0 1 0 775871331 60858368 11975 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14858 11975 1111 63 0 14795 0 vsize: 59432 [startup+510.061 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 12229 0 0 0 50988 25 0 0 25 0 1 0 775871331 61837312 12207 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15097 12207 1111 63 0 15034 0 vsize: 60388 [startup+520.061 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 12464 0 0 0 51988 26 0 0 25 0 1 0 775871331 62824448 12442 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15338 12442 1111 63 0 15275 0 vsize: 61352 [startup+530.061 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 12699 0 0 0 52987 26 0 0 25 0 1 0 775871331 63811584 12677 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15579 12677 1111 63 0 15516 0 vsize: 62316 [startup+540.061 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 12927 0 0 0 53987 27 0 0 25 0 1 0 775871331 64655360 12905 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15785 12905 1111 63 0 15722 0 vsize: 63140 [startup+550.062 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 13162 0 0 0 54987 28 0 0 25 0 1 0 775871331 65638400 13140 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16025 13140 1111 63 0 15962 0 vsize: 64100 [startup+560.063 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 13395 0 0 0 55986 28 0 0 25 0 1 0 775871331 66625536 13373 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16266 13373 1111 63 0 16203 0 vsize: 65064 [startup+570.062 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 13629 0 0 0 56986 29 0 0 25 0 1 0 775871331 67612672 13607 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16507 13607 1111 63 0 16444 0 vsize: 66028 [startup+580.062 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 13871 0 0 0 57986 29 0 0 25 0 1 0 775871331 68599808 13849 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16748 13849 1111 63 0 16685 0 vsize: 66992 [startup+590.062 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 14106 0 0 0 58986 29 0 0 25 0 1 0 775871331 69443584 14084 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16954 14084 1111 63 0 16891 0 vsize: 67816 [startup+600.063 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 14340 0 0 0 59985 30 0 0 25 0 1 0 775871331 70426624 14318 4294967295 134512640 134714540 3221224592 3221222820 1077414422 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17194 14318 1111 63 0 17131 0 vsize: 68776 [startup+610.063 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 14574 0 0 0 60985 30 0 0 25 0 1 0 775871331 71413760 14552 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17435 14552 1111 63 0 17372 0 vsize: 69740 [startup+620.062 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 14809 0 0 0 61985 31 0 0 25 0 1 0 775871331 72400896 14787 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17676 14787 1111 63 0 17613 0 vsize: 70704 [startup+630.063 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 15050 0 0 0 62985 31 0 0 25 0 1 0 775871331 73383936 15028 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17916 15028 1111 63 0 17853 0 vsize: 71664 [startup+640.063 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 15285 0 0 0 63984 32 0 0 25 0 1 0 775871331 74371072 15263 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18157 15263 1111 63 0 18094 0 vsize: 72628 [startup+650.062 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 15526 0 0 0 64984 32 0 0 25 0 1 0 775871331 75358208 15504 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18398 15504 1111 63 0 18335 0 vsize: 73592 [startup+660.063 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 15760 0 0 0 65984 32 0 0 25 0 1 0 775871331 76197888 15738 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18603 15738 1111 63 0 18540 0 vsize: 74412 [startup+670.062 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 16001 0 0 0 66984 33 0 0 25 0 1 0 775871331 77185024 15979 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18844 15979 1111 63 0 18781 0 vsize: 75376 [startup+680.063 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 16243 0 0 0 67983 33 0 0 25 0 1 0 775871331 78172160 16221 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19085 16221 1111 63 0 19022 0 vsize: 76340 [startup+690.064 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 16477 0 0 0 68983 34 0 0 25 0 1 0 775871331 79159296 16455 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19326 16455 1111 63 0 19263 0 vsize: 77304 [startup+700.063 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 16726 0 0 0 69983 34 0 0 25 0 1 0 775871331 80146432 16704 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19567 16704 1111 63 0 19504 0 vsize: 78268 [startup+710.064 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 16960 0 0 0 70982 35 0 0 25 0 1 0 775871331 81129472 16938 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19807 16938 1111 63 0 19744 0 vsize: 79228 [startup+720.064 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 17201 0 0 0 71982 36 0 0 25 0 1 0 775871331 82112512 17179 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20047 17179 1111 63 0 19984 0 vsize: 80188 [startup+730.064 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 17443 0 0 0 72982 36 0 0 25 0 1 0 775871331 83099648 17421 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20288 17421 1111 63 0 20225 0 vsize: 81152 [startup+740.064 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 17690 0 0 0 73982 36 0 0 25 0 1 0 775871331 84086784 17668 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20529 17668 1111 63 0 20466 0 vsize: 82116 [startup+750.063 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 17925 0 0 0 74982 37 0 0 25 0 1 0 775871331 85073920 17903 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20770 17903 1111 63 0 20707 0 vsize: 83080 [startup+760.064 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 18174 0 0 0 75981 38 0 0 25 0 1 0 775871331 86052864 18152 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21009 18152 1111 63 0 20946 0 vsize: 84036 [startup+770.063 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 18414 0 0 0 76981 38 0 0 25 0 1 0 775871331 87040000 18392 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21250 18392 1111 63 0 21187 0 vsize: 85000 [startup+780.063 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 18656 0 0 0 77980 38 0 0 25 0 1 0 775871331 88027136 18634 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21491 18634 1111 63 0 21428 0 vsize: 85964 [startup+790.063 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 18904 0 0 0 78980 39 0 0 25 0 1 0 775871331 89153536 18882 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21766 18882 1111 63 0 21703 0 vsize: 87064 [startup+800.063 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 19146 0 0 0 79980 39 0 0 25 0 1 0 775871331 90140672 19124 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22007 19124 1111 63 0 21944 0 vsize: 88028 [startup+810.063 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 19394 0 0 0 80980 40 0 0 25 0 1 0 775871331 91127808 19372 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22248 19372 1111 63 0 22185 0 vsize: 88992 [startup+820.063 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 19636 0 0 0 81979 40 0 0 25 0 1 0 775871331 92114944 19614 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22489 19614 1111 63 0 22426 0 vsize: 89956 [startup+830.064 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 19882 0 0 0 82978 41 0 0 25 0 1 0 775871331 93093888 19860 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22728 19860 1111 63 0 22665 0 vsize: 90912 [startup+840.063 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 20131 0 0 0 83978 42 0 0 25 0 1 0 775871331 94081024 20109 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22969 20109 1111 63 0 22906 0 vsize: 91876 [startup+850.063 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 20380 0 0 0 84978 42 0 0 25 0 1 0 775871331 95068160 20358 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23210 20358 1111 63 0 23147 0 vsize: 92840 [startup+860.063 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 20621 0 0 0 85978 42 0 0 25 0 1 0 775871331 96055296 20599 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23451 20599 1111 63 0 23388 0 vsize: 93804 [startup+870.063 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 20871 0 0 0 86977 43 0 0 25 0 1 0 775871331 97181696 20849 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23726 20849 1111 63 0 23663 0 vsize: 94904 [startup+880.064 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 21118 0 0 0 87977 43 0 0 25 0 1 0 775871331 98168832 21096 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23967 21096 1111 63 0 23904 0 vsize: 95868 [startup+890.063 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 21365 0 0 0 88977 44 0 0 25 0 1 0 775871331 99151872 21343 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24207 21343 1111 63 0 24144 0 vsize: 96828 [startup+900.063 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 21621 0 0 0 89977 44 0 0 25 0 1 0 775871331 100134912 21599 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24447 21599 1111 63 0 24384 0 vsize: 97788 [startup+910.064 s] Raw data (loadavg): 1.07 0.99 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 21868 0 0 0 90976 45 0 0 25 0 1 0 775871331 101261312 21846 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24722 21846 1111 63 0 24659 0 vsize: 98888 [startup+920.063 s] Raw data (loadavg): 1.06 0.99 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 22116 0 0 0 91976 45 0 0 25 0 1 0 775871331 102248448 22094 4294967295 134512640 134714540 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24963 22094 1111 63 0 24900 0 vsize: 99852 [startup+930.064 s] Raw data (loadavg): 1.05 0.99 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 22365 0 0 0 92976 45 0 0 25 0 1 0 775871331 103235584 22343 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25204 22343 1111 63 0 25141 0 vsize: 100816 [startup+940.064 s] Raw data (loadavg): 1.04 0.99 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 22613 0 0 0 93976 46 0 0 25 0 1 0 775871331 104222720 22591 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25445 22591 1111 63 0 25382 0 vsize: 101780 [startup+950.064 s] Raw data (loadavg): 1.03 0.99 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 22868 0 0 0 94976 46 0 0 25 0 1 0 775871331 105349120 22846 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25720 22846 1111 63 0 25657 0 vsize: 102880 [startup+960.064 s] Raw data (loadavg): 1.03 0.99 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 23154 0 0 0 95975 47 0 0 25 0 1 0 775871331 106692608 23132 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 26048 23132 1111 63 0 25985 0 vsize: 104192 [startup+970.065 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 23402 0 0 0 96975 48 0 0 25 0 1 0 775871331 107675648 23380 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 26288 23380 1111 63 0 26225 0 vsize: 105152 [startup+980.065 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 23652 0 0 0 97974 48 0 0 25 0 1 0 775871331 108802048 23630 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 26563 23630 1111 63 0 26500 0 vsize: 106252 [startup+990.065 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 23913 0 0 0 98974 49 0 0 25 0 1 0 775871331 109793280 23891 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 26805 23891 1111 63 0 26742 0 vsize: 107220 [startup+1000.06 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 24161 0 0 0 99974 49 0 0 25 0 1 0 775871331 110776320 24139 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 27045 24139 1111 63 0 26982 0 vsize: 108180 [startup+1010.06 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 24418 0 0 0 100974 50 0 0 25 0 1 0 775871331 111902720 24396 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 27320 24396 1111 63 0 27257 0 vsize: 109280 [startup+1020.06 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 24672 0 0 0 101973 50 0 0 25 0 1 0 775871331 112885760 24650 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 27560 24650 1111 63 0 27497 0 vsize: 110240 [startup+1030.07 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 24926 0 0 0 102973 50 0 0 25 0 1 0 775871331 114012160 24904 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 27835 24904 1111 63 0 27772 0 vsize: 111340 [startup+1040.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 25182 0 0 0 103973 51 0 0 25 0 1 0 775871331 114999296 25160 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 28076 25160 1111 63 0 28013 0 vsize: 112304 [startup+1050.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 25437 0 0 0 104972 52 0 0 25 0 1 0 775871331 115986432 25415 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 28317 25415 1111 63 0 28254 0 vsize: 113268 [startup+1060.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 25692 0 0 0 105972 52 0 0 25 0 1 0 775871331 117112832 25670 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 28592 25670 1111 63 0 28529 0 vsize: 114368 [startup+1070.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 25954 0 0 0 106972 52 0 0 25 0 1 0 775871331 118099968 25932 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 28833 25932 1111 63 0 28770 0 vsize: 115332 [startup+1080.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 26209 0 0 0 107972 53 0 0 25 0 1 0 775871331 119226368 26187 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29108 26187 1111 63 0 29045 0 vsize: 116432 [startup+1090.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 26466 0 0 0 108971 53 0 0 25 0 1 0 775871331 120213504 26444 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29349 26444 1111 63 0 29286 0 vsize: 117396 [startup+1100.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 26727 0 0 0 109971 54 0 0 25 0 1 0 775871331 121339904 26705 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29624 26705 1111 63 0 29561 0 vsize: 118496 [startup+1110.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 26987 0 0 0 110971 54 0 0 25 0 1 0 775871331 122318848 26965 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29863 26965 1111 63 0 29800 0 vsize: 119452 [startup+1120.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 27244 0 0 0 111971 55 0 0 25 0 1 0 775871331 123445248 27222 4294967295 134512640 134714540 3221224592 3221222820 1077414399 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 30138 27222 1111 63 0 30075 0 vsize: 120552 [startup+1130.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 27505 0 0 0 112970 55 0 0 25 0 1 0 775871331 124432384 27483 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 30379 27483 1111 63 0 30316 0 vsize: 121516 [startup+1140.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 27767 0 0 0 113970 55 0 0 25 0 1 0 775871331 125558784 27745 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 30654 27745 1111 63 0 30591 0 vsize: 122616 [startup+1150.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 28023 0 0 0 114970 56 0 0 25 0 1 0 775871331 126545920 28001 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 30895 28001 1111 63 0 30832 0 vsize: 123580 [startup+1160.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 28285 0 0 0 115969 57 0 0 25 0 1 0 775871331 127672320 28263 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31170 28263 1111 63 0 31107 0 vsize: 124680 [startup+1170.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 28548 0 0 0 116969 57 0 0 25 0 1 0 775871331 128798720 28526 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31445 28526 1111 63 0 31382 0 vsize: 125780 [startup+1180.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 28810 0 0 0 117968 58 0 0 25 0 1 0 775871331 129785856 28788 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31686 28788 1111 63 0 31623 0 vsize: 126744 [startup+1190.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 29077 0 0 0 118968 58 0 0 25 0 1 0 775871331 130908160 29055 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31960 29055 1111 63 0 31897 0 vsize: 127840 [startup+1200.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1215 Raw data (stat): 1215 (bsolo_mis) R 1214 24300 24299 0 -1 0 29339 0 0 0 119968 59 0 0 25 0 1 0 775871331 132034560 29317 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 32235 29317 1111 63 0 32172 0 vsize: 128940 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.12 s] Raw data (loadavg): 1.00 0.99 0.91 1/54 1215 Raw data (stat): 1215 (bsolo_mis) Z 1214 24300 24299 0 -1 1036 29339 0 0 0 119968 64 0 0 25 0 1 0 775871331 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.12 CPU time (s): 1200.33 CPU user time (s): 1199.68 CPU system time (s): 0.647901 CPU usage (%): 100.018 Max. virtual memory (Kb): 128940 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####