Name | normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-ship08l.opb |
MD5SUM | 765ea624bde3931069939663462a01e5 |
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 | 128490 |
Biggest coefficient in the objective function | 435455996723200 |
Number of bits for the biggest coefficient in the objective function | 49 |
Sum of the numbers in the objective function | 204823519821908064 |
Number of bits of the sum of numbers in the objective function | 58 |
Biggest number in a constraint | 435455996723200 |
Number of bits of the biggest number in a constraint | 49 |
Biggest sum of numbers in a constraint | 204823519821908064 |
Number of bits of the biggest sum of numbers | 58 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 1.16382 |
Number of variables | 128490 |
Total number of constraints | 712 |
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 | 712 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 2550 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-25 04:17:12 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=11430 boxname=wulflinc31 idbench=880 idsolver=3 numberseed=0 MD5SUM SOLVER: 03a6a792daea978e4202f78851741568 /oldhome/oroussel/solvers/bsolo_mis MD5SUM BENCH: 765ea624bde3931069939663462a01e5 /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-ship08l.opb REAL COMMAND: bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-ship08l.opb IDLAUNCH: 11430 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.153 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.153 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 523164 kB Buffers: 2696 kB Cached: 477756 kB SwapCached: 920 kB Active: 57976 kB Inactive: 424564 kB HighTotal: 131008 kB HighFree: 280 kB LowTotal: 903652 kB LowFree: 522884 kB SwapTotal: 2097892 kB SwapFree: 2095956 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5188 kB Slab: 23292 kB Committed_AS: 63808 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-25 04:37:15 (client local time) WITH STATUS 0 IN 1200.3 SECONDS stats: 11430 7 1200.3 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): 1.06 1.73 1.61 2/55 10612 Raw data (stat): 10612 (runsolver) R 10611 29618 29617 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 835913129 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+9.99982 s] Raw data (loadavg): 1.05 1.70 1.60 2/55 10612 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 1191 0 8 0 963 5 0 0 25 0 1 0 835913129 15355904 1177 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3749 1177 1111 63 0 3686 0 vsize: 14996 [startup+20.0011 s] Raw data (loadavg): 1.04 1.68 1.60 2/55 10612 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 1264 0 8 0 1963 5 0 0 25 0 1 0 835913129 15654912 1250 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3822 1250 1111 63 0 3759 0 vsize: 15288 [startup+30.0011 s] Raw data (loadavg): 1.03 1.66 1.59 2/55 10612 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 1338 0 8 0 2963 6 0 0 25 0 1 0 835913129 15933440 1324 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3890 1324 1111 63 0 3827 0 vsize: 15560 [startup+40.0016 s] Raw data (loadavg): 1.03 1.63 1.58 2/55 10614 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 1405 0 8 0 3962 6 0 0 25 0 1 0 835913129 16232448 1391 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3963 1391 1111 63 0 3900 0 vsize: 15852 [startup+50.0032 s] Raw data (loadavg): 1.02 1.61 1.58 2/55 10614 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 1477 0 8 0 4962 6 0 0 25 0 1 0 835913129 16531456 1463 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4036 1463 1111 63 0 3973 0 vsize: 16144 [startup+60.0028 s] Raw data (loadavg): 1.02 1.59 1.57 2/55 10614 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 1559 0 8 0 5962 7 0 0 25 0 1 0 835913129 16814080 1545 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4105 1545 1111 63 0 4042 0 vsize: 16420 [startup+70.0034 s] Raw data (loadavg): 1.09 1.59 1.57 2/55 10614 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 1636 0 8 0 6961 7 0 0 25 0 1 0 835913129 17096704 1622 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4174 1622 1111 63 0 4111 0 vsize: 16696 [startup+80.0037 s] Raw data (loadavg): 1.07 1.57 1.56 2/55 10614 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 1722 0 8 0 7961 8 0 0 25 0 1 0 835913129 17534976 1708 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4281 1708 1111 63 0 4218 0 vsize: 17124 [startup+90.0119 s] Raw data (loadavg): 1.06 1.55 1.55 2/55 10614 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 1798 0 8 0 8962 8 0 0 25 0 1 0 835913129 17838080 1784 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4355 1784 1111 63 0 4292 0 vsize: 17420 [startup+100.012 s] Raw data (loadavg): 1.05 1.53 1.55 2/55 10616 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 1884 0 8 0 9961 9 0 0 25 0 1 0 835913129 18137088 1870 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4428 1870 1111 63 0 4365 0 vsize: 17712 [startup+110.013 s] Raw data (loadavg): 1.04 1.51 1.54 2/55 10616 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 1958 0 8 0 10961 9 0 0 25 0 1 0 835913129 18436096 1944 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4501 1944 1111 63 0 4438 0 vsize: 18004 [startup+120.013 s] Raw data (loadavg): 1.04 1.50 1.54 2/55 10616 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 2046 0 8 0 11960 10 0 0 25 0 1 0 835913129 18862080 2032 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4605 2032 1111 63 0 4542 0 vsize: 18420 [startup+130.013 s] Raw data (loadavg): 1.03 1.48 1.53 2/55 10616 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 2125 0 8 0 12961 10 0 0 25 0 1 0 835913129 19161088 2111 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4678 2111 1111 63 0 4615 0 vsize: 18712 [startup+140.014 s] Raw data (loadavg): 1.03 1.46 1.52 2/55 10616 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 2213 0 8 0 13960 10 0 0 25 0 1 0 835913129 19439616 2199 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4746 2199 1111 63 0 4683 0 vsize: 18984 [startup+150.015 s] Raw data (loadavg): 1.02 1.45 1.52 2/55 10616 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 2287 0 8 0 14960 11 0 0 25 0 1 0 835913129 19730432 2273 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4817 2273 1111 63 0 4754 0 vsize: 19268 [startup+160.015 s] Raw data (loadavg): 1.02 1.43 1.51 2/55 10618 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 2375 0 8 0 15959 12 0 0 25 0 1 0 835913129 20180992 2361 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4927 2361 1111 63 0 4864 0 vsize: 19708 [startup+170.058 s] Raw data (loadavg): 1.01 1.42 1.51 2/55 10618 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 2451 0 8 0 16963 12 0 0 25 0 1 0 835913129 20484096 2437 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5001 2437 1111 63 0 4938 0 vsize: 20004 [startup+180.061 s] Raw data (loadavg): 1.01 1.40 1.50 2/55 10618 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 2537 0 8 0 17963 13 0 0 25 0 1 0 835913129 20783104 2523 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5074 2523 1111 63 0 5011 0 vsize: 20296 [startup+190.066 s] Raw data (loadavg): 1.01 1.39 1.49 2/55 10618 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 2617 0 8 0 18963 14 0 0 25 0 1 0 835913129 21082112 2603 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5147 2603 1111 63 0 5084 0 vsize: 20588 [startup+200.068 s] Raw data (loadavg): 1.01 1.38 1.49 2/55 10618 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 2700 0 8 0 19962 14 0 0 25 0 1 0 835913129 21508096 2686 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5251 2686 1111 63 0 5188 0 vsize: 21004 [startup+210.068 s] Raw data (loadavg): 1.01 1.36 1.48 2/55 10618 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 2780 0 8 0 20962 15 0 0 25 0 1 0 835913129 21807104 2766 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5324 2766 1111 63 0 5261 0 vsize: 21296 [startup+220.068 s] Raw data (loadavg): 1.00 1.35 1.48 2/55 10620 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 2862 0 8 0 21961 15 0 0 25 0 1 0 835913129 22106112 2848 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5397 2848 1111 63 0 5334 0 vsize: 21588 [startup+230.069 s] Raw data (loadavg): 1.00 1.34 1.47 2/55 10620 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 2949 0 8 0 22961 16 0 0 25 0 1 0 835913129 22556672 2935 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5507 2935 1111 63 0 5444 0 vsize: 22028 [startup+240.07 s] Raw data (loadavg): 1.00 1.33 1.46 2/55 10620 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 3023 0 8 0 23960 16 0 0 25 0 1 0 835913129 22855680 3009 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5580 3009 1111 63 0 5517 0 vsize: 22320 [startup+250.07 s] Raw data (loadavg): 1.00 1.32 1.46 2/55 10620 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 3118 0 8 0 24960 17 0 0 25 0 1 0 835913129 23171072 3104 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5657 3104 1111 63 0 5594 0 vsize: 22628 [startup+260.086 s] Raw data (loadavg): 1.00 1.31 1.45 2/55 10620 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 3198 0 8 0 25962 17 0 0 25 0 1 0 835913129 23601152 3184 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5762 3184 1111 63 0 5699 0 vsize: 23048 [startup+270.087 s] Raw data (loadavg): 1.00 1.29 1.45 2/55 10620 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 3279 0 8 0 26962 17 0 0 25 0 1 0 835913129 23900160 3265 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5835 3265 1111 63 0 5772 0 vsize: 23340 [startup+280.087 s] Raw data (loadavg): 1.00 1.28 1.44 2/55 10622 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 3367 0 8 0 27961 18 0 0 25 0 1 0 835913129 24203264 3353 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5909 3353 1111 63 0 5846 0 vsize: 23636 [startup+290.089 s] Raw data (loadavg): 1.00 1.27 1.44 2/55 10622 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 3448 0 8 0 28961 18 0 0 25 0 1 0 835913129 24502272 3434 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5982 3434 1111 63 0 5919 0 vsize: 23928 [startup+300.089 s] Raw data (loadavg): 1.00 1.26 1.43 2/55 10622 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 3530 0 8 0 29961 18 0 0 25 0 1 0 835913129 24956928 3516 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6093 3516 1111 63 0 6030 0 vsize: 24372 [startup+310.089 s] Raw data (loadavg): 1.00 1.26 1.43 2/55 10622 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 3612 0 8 0 30961 19 0 0 25 0 1 0 835913129 25255936 3598 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6166 3598 1111 63 0 6103 0 vsize: 24664 [startup+320.09 s] Raw data (loadavg): 1.00 1.25 1.42 2/55 10622 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 3692 0 8 0 31961 19 0 0 25 0 1 0 835913129 25554944 3678 4294967295 134512640 134714540 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6239 3678 1111 63 0 6176 0 vsize: 24956 [startup+330.097 s] Raw data (loadavg): 1.00 1.24 1.42 2/55 10622 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 3774 0 8 0 32961 19 0 0 25 0 1 0 835913129 25858048 3760 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6313 3760 1111 63 0 6250 0 vsize: 25252 [startup+340.097 s] Raw data (loadavg): 1.00 1.23 1.41 2/55 10624 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 3855 0 8 0 33961 19 0 0 25 0 1 0 835913129 26157056 3841 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6386 3841 1111 63 0 6323 0 vsize: 25544 [startup+350.111 s] Raw data (loadavg): 1.00 1.22 1.41 2/55 10624 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 3941 0 8 0 34962 20 0 0 25 0 1 0 835913129 26607616 3927 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6496 3927 1111 63 0 6433 0 vsize: 25984 [startup+360.113 s] Raw data (loadavg): 1.00 1.21 1.40 2/55 10624 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 4017 0 8 0 35962 20 0 0 25 0 1 0 835913129 26890240 4003 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6565 4003 1111 63 0 6502 0 vsize: 26260 [startup+370.113 s] Raw data (loadavg): 1.00 1.21 1.40 2/55 10624 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 4106 0 8 0 36962 21 0 0 25 0 1 0 835913129 27181056 4092 4294967295 134512640 134714540 3221224592 3221222820 1077414374 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6636 4092 1111 63 0 6573 0 vsize: 26544 [startup+380.113 s] Raw data (loadavg): 1.00 1.20 1.39 2/55 10624 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 4186 0 8 0 37962 21 0 0 25 0 1 0 835913129 27631616 4172 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6746 4172 1111 63 0 6683 0 vsize: 26984 [startup+390.114 s] Raw data (loadavg): 1.00 1.19 1.39 2/55 10624 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 4268 0 8 0 38962 21 0 0 25 0 1 0 835913129 27934720 4254 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6820 4254 1111 63 0 6757 0 vsize: 27280 [startup+400.115 s] Raw data (loadavg): 1.00 1.19 1.38 2/55 10626 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 4348 0 8 0 39962 22 0 0 25 0 1 0 835913129 28233728 4334 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6893 4334 1111 63 0 6830 0 vsize: 27572 [startup+410.115 s] Raw data (loadavg): 1.00 1.18 1.38 2/55 10626 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 4430 0 8 0 40962 22 0 0 25 0 1 0 835913129 28532736 4416 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6966 4416 1111 63 0 6903 0 vsize: 27864 [startup+420.116 s] Raw data (loadavg): 1.00 1.17 1.37 2/55 10626 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 4511 0 8 0 41962 22 0 0 25 0 1 0 835913129 28839936 4497 4294967295 134512640 134714540 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7041 4497 1111 63 0 6978 0 vsize: 28164 [startup+430.116 s] Raw data (loadavg): 1.00 1.17 1.37 2/55 10626 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 4592 0 8 0 42962 22 0 0 25 0 1 0 835913129 29286400 4578 4294967295 134512640 134714540 3221224592 3221222824 1077414469 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7150 4578 1111 63 0 7087 0 vsize: 28600 [startup+440.117 s] Raw data (loadavg): 1.00 1.16 1.37 2/55 10626 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 4680 0 8 0 43962 22 0 0 25 0 1 0 835913129 29589504 4666 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7224 4666 1111 63 0 7161 0 vsize: 28896 [startup+450.118 s] Raw data (loadavg): 1.00 1.15 1.36 2/55 10626 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 4761 0 8 0 44962 22 0 0 25 0 1 0 835913129 29888512 4747 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7297 4747 1111 63 0 7234 0 vsize: 29188 [startup+460.118 s] Raw data (loadavg): 1.00 1.15 1.36 2/55 10628 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 4842 0 8 0 45962 22 0 0 25 0 1 0 835913129 30187520 4828 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7370 4828 1111 63 0 7307 0 vsize: 29480 [startup+470.222 s] Raw data (loadavg): 1.00 1.14 1.35 2/55 10628 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 4930 0 8 0 46973 22 0 0 25 0 1 0 835913129 30646272 4916 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7482 4916 1111 63 0 7419 0 vsize: 29928 [startup+480.221 s] Raw data (loadavg): 1.00 1.14 1.35 2/55 10628 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 5011 0 8 0 47973 23 0 0 25 0 1 0 835913129 30945280 4997 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7555 4997 1111 63 0 7492 0 vsize: 30220 [startup+490.221 s] Raw data (loadavg): 1.00 1.13 1.35 2/55 10628 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 5105 0 8 0 48973 23 0 0 25 0 1 0 835913129 31432704 5091 4294967295 134512640 134714540 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7674 5091 1111 63 0 7611 0 vsize: 30696 [startup+500.222 s] Raw data (loadavg): 1.00 1.13 1.34 2/55 10628 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 5192 0 8 0 49973 23 0 0 25 0 1 0 835913129 31731712 5178 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7747 5178 1111 63 0 7684 0 vsize: 30988 [startup+510.222 s] Raw data (loadavg): 1.00 1.12 1.34 2/55 10628 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 5272 0 8 0 50973 23 0 0 25 0 1 0 835913129 32030720 5258 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7820 5258 1111 63 0 7757 0 vsize: 31280 [startup+520.223 s] Raw data (loadavg): 1.00 1.12 1.33 2/55 10630 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 5354 0 8 0 51973 24 0 0 25 0 1 0 835913129 32337920 5340 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7895 5340 1111 63 0 7832 0 vsize: 31580 [startup+530.325 s] Raw data (loadavg): 1.00 1.11 1.33 2/55 10630 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 5441 0 8 0 52983 24 0 0 25 0 1 0 835913129 32788480 5427 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8005 5427 1111 63 0 7942 0 vsize: 32020 [startup+540.326 s] Raw data (loadavg): 1.00 1.11 1.33 2/55 10630 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 5528 0 8 0 53983 24 0 0 25 0 1 0 835913129 33087488 5514 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8078 5514 1111 63 0 8015 0 vsize: 32312 [startup+550.326 s] Raw data (loadavg): 1.00 1.11 1.32 2/55 10630 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 5612 0 8 0 54983 24 0 0 25 0 1 0 835913129 33390592 5598 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8152 5598 1111 63 0 8089 0 vsize: 32608 [startup+560.326 s] Raw data (loadavg): 1.00 1.10 1.32 2/55 10630 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 5693 0 8 0 55983 24 0 0 25 0 1 0 835913129 33837056 5679 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8261 5679 1111 63 0 8198 0 vsize: 33044 [startup+570.327 s] Raw data (loadavg): 1.00 1.10 1.31 2/55 10630 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 5782 0 8 0 56983 24 0 0 25 0 1 0 835913129 34144256 5768 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8336 5768 1111 63 0 8273 0 vsize: 33344 [startup+580.327 s] Raw data (loadavg): 1.00 1.10 1.31 2/55 10632 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 5869 0 8 0 57983 24 0 0 25 0 1 0 835913129 34443264 5855 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8409 5855 1111 63 0 8346 0 vsize: 33636 [startup+590.356 s] Raw data (loadavg): 1.00 1.09 1.31 2/55 10632 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 5950 0 8 0 58986 24 0 0 25 0 1 0 835913129 34889728 5936 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8518 5936 1111 63 0 8455 0 vsize: 34072 [startup+600.381 s] Raw data (loadavg): 1.00 1.09 1.30 2/55 10632 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 6033 0 8 0 59988 25 0 0 25 0 1 0 835913129 35196928 6019 4294967295 134512640 134714540 3221224592 3221222820 1077414399 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8593 6019 1111 63 0 8530 0 vsize: 34372 [startup+610.38 s] Raw data (loadavg): 1.00 1.08 1.30 2/55 10632 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 6121 0 8 0 60989 25 0 0 25 0 1 0 835913129 35495936 6107 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8666 6107 1111 63 0 8603 0 vsize: 34664 [startup+620.382 s] Raw data (loadavg): 1.00 1.08 1.29 2/55 10632 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 6209 0 8 0 61989 25 0 0 25 0 1 0 835913129 35946496 6195 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8776 6195 1111 63 0 8713 0 vsize: 35104 [startup+630.385 s] Raw data (loadavg): 1.00 1.08 1.29 2/55 10632 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 6290 0 8 0 62989 25 0 0 25 0 1 0 835913129 36245504 6276 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8849 6276 1111 63 0 8786 0 vsize: 35396 [startup+640.385 s] Raw data (loadavg): 1.00 1.08 1.29 2/55 10634 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 6371 0 8 0 63989 25 0 0 25 0 1 0 835913129 36544512 6357 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8922 6357 1111 63 0 8859 0 vsize: 35688 [startup+650.386 s] Raw data (loadavg): 1.00 1.07 1.28 2/55 10634 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 6460 0 8 0 64989 25 0 0 25 0 1 0 835913129 36851712 6446 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8997 6446 1111 63 0 8934 0 vsize: 35988 [startup+660.385 s] Raw data (loadavg): 1.00 1.07 1.28 2/55 10634 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 6548 0 8 0 65989 25 0 0 25 0 1 0 835913129 37302272 6534 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9107 6534 1111 63 0 9044 0 vsize: 36428 [startup+670.386 s] Raw data (loadavg): 1.00 1.07 1.27 2/55 10634 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 6629 0 8 0 66989 25 0 0 25 0 1 0 835913129 37601280 6615 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9180 6615 1111 63 0 9117 0 vsize: 36720 [startup+680.386 s] Raw data (loadavg): 1.00 1.06 1.27 2/55 10634 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 6712 0 8 0 67989 26 0 0 25 0 1 0 835913129 37904384 6698 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9254 6698 1111 63 0 9191 0 vsize: 37016 [startup+690.387 s] Raw data (loadavg): 1.00 1.06 1.27 2/55 10634 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 6799 0 8 0 68989 26 0 0 25 0 1 0 835913129 38350848 6785 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9363 6785 1111 63 0 9300 0 vsize: 37452 [startup+700.388 s] Raw data (loadavg): 1.00 1.06 1.27 2/55 10636 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 6888 0 8 0 69989 26 0 0 25 0 1 0 835913129 38658048 6874 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9438 6874 1111 63 0 9375 0 vsize: 37752 [startup+710.388 s] Raw data (loadavg): 1.00 1.06 1.26 2/55 10636 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 6969 0 8 0 70989 26 0 0 25 0 1 0 835913129 38957056 6955 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9511 6955 1111 63 0 9448 0 vsize: 38044 [startup+720.389 s] Raw data (loadavg): 1.00 1.05 1.26 2/55 10636 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 7058 0 8 0 71989 27 0 0 25 0 1 0 835913129 39407616 7044 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9621 7044 1111 63 0 9558 0 vsize: 38484 [startup+730.388 s] Raw data (loadavg): 1.00 1.05 1.26 2/55 10636 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 7141 0 8 0 72989 27 0 0 25 0 1 0 835913129 39710720 7127 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9695 7127 1111 63 0 9632 0 vsize: 38780 [startup+740.39 s] Raw data (loadavg): 1.00 1.05 1.25 2/55 10636 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 7228 0 8 0 73989 27 0 0 25 0 1 0 835913129 40009728 7214 4294967295 134512640 134714540 3221224592 3221222820 1077414399 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9768 7214 1111 63 0 9705 0 vsize: 39072 [startup+750.39 s] Raw data (loadavg): 1.00 1.05 1.25 2/55 10636 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 7317 0 8 0 74989 27 0 0 25 0 1 0 835913129 40464384 7303 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9879 7303 1111 63 0 9816 0 vsize: 39516 [startup+760.389 s] Raw data (loadavg): 1.00 1.05 1.25 2/55 10638 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 7404 0 8 0 75989 27 0 0 25 0 1 0 835913129 40763392 7390 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9952 7390 1111 63 0 9889 0 vsize: 39808 [startup+770.391 s] Raw data (loadavg): 1.00 1.04 1.24 2/55 10638 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 7491 0 8 0 76989 27 0 0 25 0 1 0 835913129 41062400 7477 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10025 7477 1111 63 0 9962 0 vsize: 40100 [startup+780.39 s] Raw data (loadavg): 1.00 1.04 1.24 2/55 10638 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 7576 0 8 0 77989 28 0 0 25 0 1 0 835913129 41517056 7562 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10136 7562 1111 63 0 10073 0 vsize: 40544 [startup+790.391 s] Raw data (loadavg): 1.00 1.04 1.24 2/55 10638 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 7663 0 8 0 78989 28 0 0 25 0 1 0 835913129 41816064 7649 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10209 7649 1111 63 0 10146 0 vsize: 40836 [startup+800.391 s] Raw data (loadavg): 1.00 1.04 1.24 2/55 10638 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 7744 0 8 0 79989 28 0 0 25 0 1 0 835913129 42115072 7730 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10282 7730 1111 63 0 10219 0 vsize: 41128 [startup+810.391 s] Raw data (loadavg): 1.00 1.04 1.23 2/55 10638 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 7832 0 8 0 80989 28 0 0 25 0 1 0 835913129 42541056 7818 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10386 7818 1111 63 0 10323 0 vsize: 41544 [startup+820.392 s] Raw data (loadavg): 1.00 1.03 1.23 2/55 10640 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 7913 0 8 0 81989 28 0 0 25 0 1 0 835913129 42840064 7899 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10459 7899 1111 63 0 10396 0 vsize: 41836 [startup+830.392 s] Raw data (loadavg): 1.00 1.03 1.23 2/55 10640 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 7995 0 8 0 82989 29 0 0 25 0 1 0 835913129 43139072 7981 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10532 7981 1111 63 0 10469 0 vsize: 42128 [startup+840.393 s] Raw data (loadavg): 1.00 1.03 1.22 2/55 10640 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 8085 0 8 0 83989 29 0 0 25 0 1 0 835913129 43589632 8071 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10642 8071 1111 63 0 10579 0 vsize: 42568 [startup+850.393 s] Raw data (loadavg): 1.00 1.03 1.22 2/55 10640 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 8172 0 8 0 84989 29 0 0 25 0 1 0 835913129 43888640 8158 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10715 8158 1111 63 0 10652 0 vsize: 42860 [startup+860.393 s] Raw data (loadavg): 1.00 1.03 1.22 2/55 10640 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 8261 0 8 0 85989 29 0 0 25 0 1 0 835913129 44195840 8247 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10790 8247 1111 63 0 10727 0 vsize: 43160 [startup+870.394 s] Raw data (loadavg): 1.00 1.03 1.22 2/55 10640 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 8342 0 8 0 86989 29 0 0 25 0 1 0 835913129 44646400 8328 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10900 8328 1111 63 0 10837 0 vsize: 43600 [startup+880.394 s] Raw data (loadavg): 1.00 1.03 1.21 2/55 10642 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 8430 0 8 0 87989 30 0 0 25 0 1 0 835913129 44945408 8416 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10973 8416 1111 63 0 10910 0 vsize: 43892 [startup+890.396 s] Raw data (loadavg): 1.00 1.02 1.21 2/55 10642 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 8511 0 8 0 88989 30 0 0 25 0 1 0 835913129 45248512 8497 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11047 8497 1111 63 0 10984 0 vsize: 44188 [startup+900.397 s] Raw data (loadavg): 1.00 1.02 1.21 2/55 10642 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 8599 0 8 0 89989 30 0 0 25 0 1 0 835913129 45694976 8585 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11156 8585 1111 63 0 11093 0 vsize: 44624 [startup+910.396 s] Raw data (loadavg): 1.00 1.02 1.20 2/55 10642 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 8687 0 8 0 90989 30 0 0 25 0 1 0 835913129 46002176 8673 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11231 8673 1111 63 0 11168 0 vsize: 44924 [startup+920.401 s] Raw data (loadavg): 1.00 1.02 1.20 2/55 10642 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 8775 0 8 0 91990 30 0 0 25 0 1 0 835913129 46301184 8761 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11304 8761 1111 63 0 11241 0 vsize: 45216 [startup+930.401 s] Raw data (loadavg): 1.00 1.02 1.20 2/55 10642 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 8862 0 8 0 92990 30 0 0 25 0 1 0 835913129 46751744 8848 4294967295 134512640 134714540 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11414 8848 1111 63 0 11351 0 vsize: 45656 [startup+940.402 s] Raw data (loadavg): 1.00 1.02 1.19 2/55 10644 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 8951 0 8 0 93990 30 0 0 25 0 1 0 835913129 47054848 8937 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11488 8937 1111 63 0 11425 0 vsize: 45952 [startup+950.406 s] Raw data (loadavg): 1.00 1.02 1.19 2/55 10644 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 9052 0 8 0 94990 31 0 0 25 0 1 0 835913129 47611904 9038 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11624 9038 1111 63 0 11561 0 vsize: 46496 [startup+960.405 s] Raw data (loadavg): 1.00 1.02 1.19 2/55 10644 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 9141 0 8 0 95990 31 0 0 25 0 1 0 835913129 47910912 9127 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11697 9127 1111 63 0 11634 0 vsize: 46788 [startup+970.406 s] Raw data (loadavg): 1.00 1.02 1.19 2/55 10644 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 9228 0 8 0 96990 31 0 0 25 0 1 0 835913129 48357376 9214 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11806 9214 1111 63 0 11743 0 vsize: 47224 [startup+980.41 s] Raw data (loadavg): 1.00 1.02 1.18 2/55 10644 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 9309 0 8 0 97991 31 0 0 25 0 1 0 835913129 48656384 9295 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11879 9295 1111 63 0 11816 0 vsize: 47516 [startup+990.411 s] Raw data (loadavg): 1.00 1.02 1.18 2/55 10644 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 9398 0 8 0 98991 31 0 0 25 0 1 0 835913129 49082368 9384 4294967295 134512640 134714540 3221224592 3221222460 1077244776 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11983 9384 1111 63 0 11920 0 vsize: 47932 [startup+1000.41 s] Raw data (loadavg): 1.00 1.01 1.18 2/55 10646 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 9487 0 8 0 99991 31 0 0 25 0 1 0 835913129 49381376 9473 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12056 9473 1111 63 0 11993 0 vsize: 48224 [startup+1010.41 s] Raw data (loadavg): 1.00 1.01 1.18 2/55 10646 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 9577 0 8 0 100991 32 0 0 25 0 1 0 835913129 49680384 9563 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12129 9563 1111 63 0 12066 0 vsize: 48516 [startup+1020.42 s] Raw data (loadavg): 1.00 1.01 1.17 2/55 10646 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 9665 0 8 0 101991 32 0 0 25 0 1 0 835913129 50135040 9651 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12240 9651 1111 63 0 12177 0 vsize: 48960 [startup+1030.42 s] Raw data (loadavg): 1.00 1.01 1.17 2/55 10646 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 9752 0 8 0 102991 32 0 0 25 0 1 0 835913129 50434048 9738 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12313 9738 1111 63 0 12250 0 vsize: 49252 [startup+1040.42 s] Raw data (loadavg): 1.00 1.01 1.17 2/55 10646 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 9841 0 8 0 103991 32 0 0 25 0 1 0 835913129 50860032 9827 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12417 9827 1111 63 0 12354 0 vsize: 49668 [startup+1050.42 s] Raw data (loadavg): 1.00 1.01 1.17 2/55 10646 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 9929 0 8 0 104991 32 0 0 25 0 1 0 835913129 51159040 9915 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12490 9915 1111 63 0 12427 0 vsize: 49960 [startup+1060.42 s] Raw data (loadavg): 1.00 1.01 1.17 2/55 10648 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 10020 0 8 0 105991 32 0 0 25 0 1 0 835913129 51609600 10006 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12600 10006 1111 63 0 12537 0 vsize: 50400 [startup+1070.42 s] Raw data (loadavg): 1.00 1.01 1.16 2/55 10648 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 10108 0 8 0 106991 33 0 0 25 0 1 0 835913129 51908608 10094 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12673 10094 1111 63 0 12610 0 vsize: 50692 [startup+1080.42 s] Raw data (loadavg): 1.00 1.01 1.16 2/55 10648 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 10195 0 8 0 107991 33 0 0 25 0 1 0 835913129 52207616 10181 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12746 10181 1111 63 0 12683 0 vsize: 50984 [startup+1090.42 s] Raw data (loadavg): 1.00 1.01 1.16 2/55 10648 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 10284 0 8 0 108991 33 0 0 25 0 1 0 835913129 52666368 10270 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12858 10270 1111 63 0 12795 0 vsize: 51432 [startup+1100.42 s] Raw data (loadavg): 1.00 1.00 1.16 2/55 10648 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 10378 0 8 0 109992 33 0 0 25 0 1 0 835913129 52965376 10364 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12931 10364 1111 63 0 12868 0 vsize: 51724 [startup+1110.42 s] Raw data (loadavg): 1.00 1.00 1.16 2/55 10648 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 10468 0 8 0 110992 33 0 0 25 0 1 0 835913129 53415936 10454 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13041 10454 1111 63 0 12978 0 vsize: 52164 [startup+1120.42 s] Raw data (loadavg): 1.00 1.00 1.16 2/55 10650 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 10557 0 8 0 111992 33 0 0 25 0 1 0 835913129 53714944 10543 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13114 10543 1111 63 0 13051 0 vsize: 52456 [startup+1130.42 s] Raw data (loadavg): 1.00 1.00 1.15 2/55 10650 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 10645 0 8 0 112992 34 0 0 25 0 1 0 835913129 54165504 10631 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13224 10631 1111 63 0 13161 0 vsize: 52896 [startup+1140.42 s] Raw data (loadavg): 1.00 1.00 1.15 2/55 10650 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 10740 0 8 0 113992 34 0 0 25 0 1 0 835913129 54472704 10726 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13299 10726 1111 63 0 13236 0 vsize: 53196 [startup+1150.42 s] Raw data (loadavg): 1.00 1.00 1.15 2/55 10650 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 10828 0 8 0 114992 34 0 0 25 0 1 0 835913129 54919168 10814 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13408 10814 1111 63 0 13345 0 vsize: 53632 [startup+1160.43 s] Raw data (loadavg): 1.00 1.00 1.15 2/55 10650 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 10917 0 8 0 115991 35 0 0 25 0 1 0 835913129 55222272 10903 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13482 10903 1111 63 0 13419 0 vsize: 53928 [startup+1170.43 s] Raw data (loadavg): 1.00 1.00 1.15 2/55 10650 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 11007 0 8 0 116991 35 0 0 25 0 1 0 835913129 55521280 10993 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13555 10993 1111 63 0 13492 0 vsize: 54220 [startup+1180.43 s] Raw data (loadavg): 1.00 1.00 1.14 2/55 10652 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 11095 0 8 0 117991 35 0 0 25 0 1 0 835913129 55971840 11081 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13665 11081 1111 63 0 13602 0 vsize: 54660 [startup+1190.43 s] Raw data (loadavg): 1.00 1.00 1.14 2/55 10652 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 11184 0 8 0 118991 35 0 0 25 0 1 0 835913129 56279040 11170 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13740 11170 1111 63 0 13677 0 vsize: 54960 [startup+1200.43 s] Raw data (loadavg): 1.00 1.00 1.14 2/55 10652 Raw data (stat): 10612 (bsolo_mis) R 10611 29618 29617 0 -1 0 11272 0 8 0 119991 36 0 0 25 0 1 0 835913129 56725504 11258 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13849 11258 1111 63 0 13786 0 vsize: 55396 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.47 s] Raw data (loadavg): 1.00 1.00 1.14 1/55 10652 Raw data (stat): 10612 (bsolo_mis) Z 10611 29618 29617 0 -1 1036 11272 0 8 0 119991 38 0 0 24 0 1 0 835913129 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child ended because it received signal 15 (SIGTERM) Real time (s): 1200.47 CPU time (s): 1200.3 CPU user time (s): 1199.92 CPU system time (s): 0.380942 CPU usage (%): 99.986 Max. virtual memory (Kb): 55396 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####