Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-sp97ar.opb |
MD5SUM | d98db64f69c8547ad0880486d1128dd0 |
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 | 183313 |
Biggest coefficient in the objective function | 19194096394240 |
Number of bits for the biggest coefficient in the objective function | 45 |
Sum of the numbers in the objective function | 127830561163966644 |
Number of bits of the sum of numbers in the objective function | 57 |
Biggest number in a constraint | 19194096394240 |
Number of bits of the biggest number in a constraint | 45 |
Biggest sum of numbers in a constraint | 127830561163966644 |
Number of bits of the biggest sum of numbers | 57 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 1.68874 |
Number of variables | 183313 |
Total number of constraints | 1761 |
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 | 1761 |
Minimum length of a constraint | 13 |
Maximum length of a constraint | 32019 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc1 THE 2005-05-24 19:59:37 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=18021 boxname=wulflinc1 idbench=1387 idsolver=3 numberseed=0 MD5SUM SOLVER: 03a6a792daea978e4202f78851741568 /oldhome/oroussel/solvers/bsolo_mis MD5SUM BENCH: d98db64f69c8547ad0880486d1128dd0 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-sp97ar.opb REAL COMMAND: bsolo_mis /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-sp97ar.opb IDLAUNCH: 18021 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.053 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.053 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: 518480 kB Buffers: 38940 kB Cached: 449096 kB SwapCached: 0 kB Active: 149728 kB Inactive: 341428 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 518228 kB SwapTotal: 2097136 kB SwapFree: 2096968 kB Dirty: 28 kB Writeback: 0 kB Mapped: 7144 kB Slab: 19212 kB Committed_AS: 92716 kB PageTables: 332 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-24 20:19:41 (client local time) WITH STATUS 0 IN 1200.23 SECONDS stats: 18021 7 1200.23 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.94 0.96 0.92 2/55 11465 Raw data (stat): 11465 (runsolver) R 11464 8378 8377 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 717869186 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.0015 s] Raw data (loadavg): 0.95 0.96 0.92 2/55 11465 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 1476 0 0 0 994 5 0 0 25 0 1 0 717869186 15204352 1454 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3712 1454 1111 63 0 3649 0 vsize: 14848 [startup+20.0017 s] Raw data (loadavg): 0.96 0.96 0.92 2/55 11465 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 1533 0 0 0 1994 5 0 0 25 0 1 0 717869186 15495168 1511 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3783 1511 1111 63 0 3720 0 vsize: 15132 [startup+30.0025 s] Raw data (loadavg): 0.96 0.96 0.92 2/55 11518 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 1583 0 0 0 2994 5 0 0 25 0 1 0 717869186 15642624 1561 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3819 1561 1111 63 0 3756 0 vsize: 15276 [startup+40.0032 s] Raw data (loadavg): 0.97 0.96 0.92 2/55 11518 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 1648 0 0 0 3994 6 0 0 25 0 1 0 717869186 15937536 1626 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3891 1626 1111 63 0 3828 0 vsize: 15564 [startup+50.003 s] Raw data (loadavg): 0.97 0.96 0.92 2/55 11518 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 1705 0 0 0 4994 6 0 0 25 0 1 0 717869186 16228352 1683 4294967295 134512640 134714540 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3962 1683 1111 63 0 3899 0 vsize: 15848 [startup+60.0028 s] Raw data (loadavg): 0.98 0.96 0.92 2/55 11518 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 1762 0 0 0 5994 6 0 0 25 0 1 0 717869186 16375808 1740 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3998 1740 1111 63 0 3935 0 vsize: 15992 [startup+70.003 s] Raw data (loadavg): 0.98 0.96 0.92 2/55 11518 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 1819 0 0 0 6994 6 0 0 25 0 1 0 717869186 16666624 1797 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4069 1797 1111 63 0 4006 0 vsize: 16276 [startup+80.0034 s] Raw data (loadavg): 0.98 0.96 0.92 2/55 11518 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 1884 0 0 0 7994 6 0 0 25 0 1 0 717869186 16961536 1862 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4141 1862 1111 63 0 4078 0 vsize: 16564 [startup+90.0032 s] Raw data (loadavg): 0.98 0.97 0.92 2/55 11520 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 1941 0 0 0 8994 6 0 0 25 0 1 0 717869186 17108992 1919 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4177 1919 1111 63 0 4114 0 vsize: 16708 [startup+100.003 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 11522 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 2001 0 0 0 9994 6 0 0 25 0 1 0 717869186 17387520 1979 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4245 1979 1111 63 0 4182 0 vsize: 16980 [startup+110.004 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 11522 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 2058 0 0 0 10994 6 0 0 25 0 1 0 717869186 17674240 2036 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4315 2036 1111 63 0 4252 0 vsize: 17260 [startup+120.004 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 11522 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 2116 0 0 0 11994 6 0 0 25 0 1 0 717869186 17817600 2094 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4350 2094 1111 63 0 4287 0 vsize: 17400 [startup+130.005 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 11522 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 2173 0 0 0 12995 6 0 0 25 0 1 0 717869186 18116608 2151 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4423 2151 1111 63 0 4360 0 vsize: 17692 [startup+140.005 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 11522 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 2229 0 0 0 13995 6 0 0 25 0 1 0 717869186 18407424 2207 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4494 2207 1111 63 0 4431 0 vsize: 17976 [startup+150.005 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 11522 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 2286 0 0 0 14995 6 0 0 25 0 1 0 717869186 18550784 2264 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4529 2264 1111 63 0 4466 0 vsize: 18116 [startup+160.005 s] Raw data (loadavg): 1.07 0.99 0.92 2/55 11522 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 2344 0 0 0 15995 6 0 0 25 0 1 0 717869186 18841600 2322 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4600 2322 1111 63 0 4537 0 vsize: 18400 [startup+170.004 s] Raw data (loadavg): 1.06 0.99 0.92 2/55 11522 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 2401 0 0 0 16995 7 0 0 25 0 1 0 717869186 18993152 2379 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4637 2379 1111 63 0 4574 0 vsize: 18548 [startup+180.005 s] Raw data (loadavg): 1.05 0.99 0.92 2/55 11522 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 2451 0 0 0 17995 7 0 0 25 0 1 0 717869186 19283968 2429 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4708 2429 1111 63 0 4645 0 vsize: 18832 [startup+190.006 s] Raw data (loadavg): 1.04 0.99 0.92 2/55 11522 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 2508 0 0 0 18995 7 0 0 25 0 1 0 717869186 19427328 2486 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4743 2486 1111 63 0 4680 0 vsize: 18972 [startup+200.006 s] Raw data (loadavg): 1.04 0.99 0.92 2/55 11522 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 2576 0 0 0 19995 7 0 0 25 0 1 0 717869186 19714048 2554 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4813 2554 1111 63 0 4750 0 vsize: 19252 [startup+210.006 s] Raw data (loadavg): 1.03 0.99 0.92 2/55 11522 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 2634 0 0 0 20995 7 0 0 25 0 1 0 717869186 20013056 2612 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4886 2612 1111 63 0 4823 0 vsize: 19544 [startup+220.005 s] Raw data (loadavg): 1.02 0.99 0.92 2/55 11522 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 2691 0 0 0 21995 7 0 0 25 0 1 0 717869186 20303872 2669 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4957 2669 1111 63 0 4894 0 vsize: 19828 [startup+230.006 s] Raw data (loadavg): 1.02 0.99 0.92 2/55 11522 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 2748 0 0 0 22996 7 0 0 25 0 1 0 717869186 20447232 2726 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4992 2726 1111 63 0 4929 0 vsize: 19968 [startup+240.006 s] Raw data (loadavg): 1.02 0.99 0.92 2/55 11522 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 2805 0 0 0 23996 7 0 0 25 0 1 0 717869186 20738048 2783 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5063 2783 1111 63 0 5000 0 vsize: 20252 [startup+250.006 s] Raw data (loadavg): 1.01 0.99 0.92 2/55 11522 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 2863 0 0 0 24996 7 0 0 25 0 1 0 717869186 20885504 2841 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5099 2841 1111 63 0 5036 0 vsize: 20396 [startup+260.007 s] Raw data (loadavg): 1.01 0.99 0.92 2/55 11522 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 2921 0 0 0 25996 7 0 0 25 0 1 0 717869186 21180416 2899 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5171 2899 1111 63 0 5108 0 vsize: 20684 [startup+270.006 s] Raw data (loadavg): 1.01 0.99 0.92 2/55 11522 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 2978 0 0 0 26996 7 0 0 25 0 1 0 717869186 21471232 2956 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5242 2956 1111 63 0 5179 0 vsize: 20968 [startup+280.007 s] Raw data (loadavg): 1.09 1.00 0.93 2/55 11522 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 3035 0 0 0 27996 8 0 0 25 0 1 0 717869186 21618688 3013 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5278 3013 1111 63 0 5215 0 vsize: 21112 [startup+290.008 s] Raw data (loadavg): 1.15 1.02 0.94 2/55 11522 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 3099 0 0 0 28996 8 0 0 25 0 1 0 717869186 21913600 3077 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5350 3077 1111 63 0 5287 0 vsize: 21400 [startup+300.008 s] Raw data (loadavg): 1.12 1.02 0.94 2/55 11522 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 3150 0 0 0 29996 8 0 0 25 0 1 0 717869186 22061056 3128 4294967295 134512640 134714540 3221224592 3221222820 1077414374 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5386 3128 1111 63 0 5323 0 vsize: 21544 [startup+310.008 s] Raw data (loadavg): 1.10 1.02 0.94 2/55 11522 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 3213 0 0 0 30996 8 0 0 25 0 1 0 717869186 22351872 3191 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5457 3191 1111 63 0 5394 0 vsize: 21828 [startup+320.008 s] Raw data (loadavg): 1.09 1.02 0.94 2/55 11522 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 3270 0 0 0 31996 8 0 0 25 0 1 0 717869186 22642688 3248 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5528 3248 1111 63 0 5465 0 vsize: 22112 [startup+330.009 s] Raw data (loadavg): 1.07 1.02 0.94 2/55 11522 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 3328 0 0 0 32996 8 0 0 25 0 1 0 717869186 22786048 3306 4294967295 134512640 134714540 3221224592 3221222820 1077414374 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5563 3306 1111 63 0 5500 0 vsize: 22252 [startup+340.009 s] Raw data (loadavg): 1.06 1.01 0.94 2/55 11522 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 3385 0 0 0 33996 9 0 0 25 0 1 0 717869186 23080960 3363 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5635 3363 1111 63 0 5572 0 vsize: 22540 [startup+350.009 s] Raw data (loadavg): 1.05 1.01 0.94 2/55 11522 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 3442 0 0 0 34996 9 0 0 25 0 1 0 717869186 23371776 3420 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5706 3420 1111 63 0 5643 0 vsize: 22824 [startup+360.009 s] Raw data (loadavg): 1.04 1.01 0.94 2/55 11522 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 3499 0 0 0 35996 9 0 0 25 0 1 0 717869186 23519232 3477 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5742 3477 1111 63 0 5679 0 vsize: 22968 [startup+370.009 s] Raw data (loadavg): 1.04 1.01 0.94 2/55 11524 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 3556 0 0 0 36997 9 0 0 25 0 1 0 717869186 23810048 3534 4294967295 134512640 134714540 3221224592 3221222820 1077414399 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5813 3534 1111 63 0 5750 0 vsize: 23252 [startup+380.01 s] Raw data (loadavg): 1.03 1.01 0.94 2/55 11524 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 3621 0 0 0 37997 9 0 0 25 0 1 0 717869186 24104960 3599 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5885 3599 1111 63 0 5822 0 vsize: 23540 [startup+390.011 s] Raw data (loadavg): 1.02 1.01 0.94 2/55 11524 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 3684 0 0 0 38997 9 0 0 25 0 1 0 717869186 24387584 3662 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5954 3662 1111 63 0 5891 0 vsize: 23816 [startup+400.01 s] Raw data (loadavg): 1.02 1.01 0.94 2/55 11524 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 3741 0 0 0 39997 9 0 0 25 0 1 0 717869186 24530944 3719 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5989 3719 1111 63 0 5926 0 vsize: 23956 [startup+410.01 s] Raw data (loadavg): 1.02 1.01 0.94 2/55 11524 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 3798 0 0 0 40997 9 0 0 25 0 1 0 717869186 24821760 3776 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6060 3776 1111 63 0 5997 0 vsize: 24240 [startup+420.01 s] Raw data (loadavg): 1.01 1.01 0.94 2/55 11524 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 3856 0 0 0 41997 9 0 0 25 0 1 0 717869186 24973312 3834 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6097 3834 1111 63 0 6034 0 vsize: 24388 [startup+430.011 s] Raw data (loadavg): 1.01 1.01 0.94 2/55 11524 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 3913 0 0 0 42997 9 0 0 25 0 1 0 717869186 25264128 3891 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6168 3891 1111 63 0 6105 0 vsize: 24672 [startup+440.012 s] Raw data (loadavg): 1.01 1.00 0.94 2/55 11524 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 3971 0 0 0 43997 9 0 0 25 0 1 0 717869186 25554944 3949 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6239 3949 1111 63 0 6176 0 vsize: 24956 [startup+450.011 s] Raw data (loadavg): 1.01 1.00 0.94 2/55 11524 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 4028 0 0 0 44997 10 0 0 25 0 1 0 717869186 25702400 4006 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6275 4006 1111 63 0 6212 0 vsize: 25100 [startup+460.012 s] Raw data (loadavg): 1.01 1.00 0.94 2/55 11524 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 4093 0 0 0 45997 10 0 0 25 0 1 0 717869186 25997312 4071 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6347 4071 1111 63 0 6284 0 vsize: 25388 [startup+470.012 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 11524 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 4150 0 0 0 46997 10 0 0 25 0 1 0 717869186 26288128 4128 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6418 4128 1111 63 0 6355 0 vsize: 25672 [startup+480.012 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 11524 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 4208 0 0 0 47997 10 0 0 25 0 1 0 717869186 26435584 4186 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6454 4186 1111 63 0 6391 0 vsize: 25816 [startup+490.012 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 11524 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 4265 0 0 0 48997 10 0 0 25 0 1 0 717869186 26726400 4243 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6525 4243 1111 63 0 6462 0 vsize: 26100 [startup+500.012 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 11524 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 4330 0 0 0 49997 10 0 0 25 0 1 0 717869186 27021312 4308 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6597 4308 1111 63 0 6534 0 vsize: 26388 [startup+510.012 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 11524 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 4387 0 0 0 50997 11 0 0 25 0 1 0 717869186 27168768 4365 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6633 4365 1111 63 0 6570 0 vsize: 26532 [startup+520.012 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 11524 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 4444 0 0 0 51997 11 0 0 25 0 1 0 717869186 27459584 4422 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6704 4422 1111 63 0 6641 0 vsize: 26816 [startup+530.012 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 11524 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 4508 0 0 0 52997 11 0 0 25 0 1 0 717869186 27750400 4486 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6775 4486 1111 63 0 6712 0 vsize: 27100 [startup+540.011 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 11524 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 4566 0 0 0 53997 11 0 0 25 0 1 0 717869186 27893760 4544 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6810 4544 1111 63 0 6747 0 vsize: 27240 [startup+550.012 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 11524 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 4623 0 0 0 54997 11 0 0 25 0 1 0 717869186 28192768 4601 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6883 4601 1111 63 0 6820 0 vsize: 27532 [startup+560.012 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 11524 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 4680 0 0 0 55997 12 0 0 25 0 1 0 717869186 28336128 4658 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6918 4658 1111 63 0 6855 0 vsize: 27672 [startup+570.012 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 11524 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 4738 0 0 0 56997 12 0 0 25 0 1 0 717869186 28626944 4716 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6989 4716 1111 63 0 6926 0 vsize: 27956 [startup+580.012 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 11524 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 4803 0 0 0 57997 12 0 0 25 0 1 0 717869186 28917760 4781 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7060 4781 1111 63 0 6997 0 vsize: 28240 [startup+590.011 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 11524 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 4860 0 0 0 58997 12 0 0 25 0 1 0 717869186 29069312 4838 4294967295 134512640 134714540 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7097 4838 1111 63 0 7034 0 vsize: 28388 [startup+600.011 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 11524 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 4917 0 0 0 59997 12 0 0 25 0 1 0 717869186 29360128 4895 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7168 4895 1111 63 0 7105 0 vsize: 28672 [startup+610.012 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 11524 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 4974 0 0 0 60998 12 0 0 25 0 1 0 717869186 29650944 4952 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7239 4952 1111 63 0 7176 0 vsize: 28956 [startup+620.012 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 11524 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 5031 0 0 0 61998 12 0 0 25 0 1 0 717869186 29794304 5009 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7274 5009 1111 63 0 7211 0 vsize: 29096 [startup+630.012 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 11524 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 5096 0 0 0 62998 12 0 0 25 0 1 0 717869186 30093312 5074 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7347 5074 1111 63 0 7284 0 vsize: 29388 [startup+640.012 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 11524 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 5154 0 0 0 63998 13 0 0 25 0 1 0 717869186 30384128 5132 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7418 5132 1111 63 0 7355 0 vsize: 29672 [startup+650.012 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 11524 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 5211 0 0 0 64998 13 0 0 25 0 1 0 717869186 30527488 5189 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7453 5189 1111 63 0 7390 0 vsize: 29812 [startup+660.012 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 11524 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 5274 0 0 0 65998 13 0 0 25 0 1 0 717869186 30818304 5252 4294967295 134512640 134714540 3221224592 3221222820 1077414424 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7524 5252 1111 63 0 7461 0 vsize: 30096 [startup+670.021 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 11524 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 5339 0 0 0 66998 13 0 0 25 0 1 0 717869186 31117312 5317 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7597 5317 1111 63 0 7534 0 vsize: 30388 [startup+680.02 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 11524 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 5396 0 0 0 67998 13 0 0 25 0 1 0 717869186 31260672 5374 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7632 5374 1111 63 0 7569 0 vsize: 30528 [startup+690.02 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 11524 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 5453 0 0 0 68999 13 0 0 25 0 1 0 717869186 31551488 5431 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7703 5431 1111 63 0 7640 0 vsize: 30812 [startup+700.02 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 11524 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 5510 0 0 0 69999 13 0 0 25 0 1 0 717869186 31842304 5488 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7774 5488 1111 63 0 7711 0 vsize: 31096 [startup+710.021 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 11524 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 5568 0 0 0 70999 13 0 0 25 0 1 0 717869186 31993856 5546 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7811 5546 1111 63 0 7748 0 vsize: 31244 [startup+720.021 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 11524 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 5625 0 0 0 71999 13 0 0 25 0 1 0 717869186 32284672 5603 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7882 5603 1111 63 0 7819 0 vsize: 31528 [startup+730.021 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 11524 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 5689 0 0 0 72999 14 0 0 25 0 1 0 717869186 32575488 5667 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7953 5667 1111 63 0 7890 0 vsize: 31812 [startup+740.021 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 11524 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 5752 0 0 0 73999 14 0 0 25 0 1 0 717869186 32722944 5730 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7989 5730 1111 63 0 7926 0 vsize: 31956 [startup+750.021 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 11524 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 5811 0 0 0 74999 14 0 0 25 0 1 0 717869186 33017856 5789 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8061 5789 1111 63 0 7998 0 vsize: 32244 [startup+760.021 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 11524 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 5878 0 0 0 75999 14 0 0 25 0 1 0 717869186 33316864 5856 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8134 5856 1111 63 0 8071 0 vsize: 32536 [startup+770.021 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 11524 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 5942 0 0 0 76999 14 0 0 25 0 1 0 717869186 33607680 5920 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8205 5920 1111 63 0 8142 0 vsize: 32820 [startup+780.02 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 11524 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 5999 0 0 0 77999 14 0 0 25 0 1 0 717869186 33898496 5977 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8276 5977 1111 63 0 8213 0 vsize: 33104 [startup+790.02 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 11524 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 6064 0 0 0 78999 14 0 0 25 0 1 0 717869186 34050048 6042 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8313 6042 1111 63 0 8250 0 vsize: 33252 [startup+800.02 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 11524 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 6128 0 0 0 80000 14 0 0 25 0 1 0 717869186 34340864 6106 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8384 6106 1111 63 0 8321 0 vsize: 33536 [startup+810.021 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 11524 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 6185 0 0 0 81000 14 0 0 25 0 1 0 717869186 34631680 6163 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8455 6163 1111 63 0 8392 0 vsize: 33820 [startup+820.02 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 11524 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 6243 0 0 0 82000 14 0 0 25 0 1 0 717869186 34779136 6221 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8491 6221 1111 63 0 8428 0 vsize: 33964 [startup+830.02 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 11524 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 6308 0 0 0 83000 14 0 0 25 0 1 0 717869186 35074048 6286 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8563 6286 1111 63 0 8500 0 vsize: 34252 [startup+840.02 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 11524 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 6365 0 0 0 84000 14 0 0 25 0 1 0 717869186 35364864 6343 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8634 6343 1111 63 0 8571 0 vsize: 34536 [startup+850.02 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 11524 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 6429 0 0 0 85000 15 0 0 25 0 1 0 717869186 35655680 6407 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8705 6407 1111 63 0 8642 0 vsize: 34820 [startup+860.021 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 11524 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 6486 0 0 0 86000 15 0 0 25 0 1 0 717869186 35803136 6464 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8741 6464 1111 63 0 8678 0 vsize: 34964 [startup+870.02 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 11524 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 6545 0 0 0 87000 15 0 0 25 0 1 0 717869186 36098048 6523 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8813 6523 1111 63 0 8750 0 vsize: 35252 [startup+880.02 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 11524 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 6608 0 0 0 88000 15 0 0 25 0 1 0 717869186 36388864 6586 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8884 6586 1111 63 0 8821 0 vsize: 35536 [startup+890.02 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 11524 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 6665 0 0 0 89000 15 0 0 25 0 1 0 717869186 36536320 6643 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8920 6643 1111 63 0 8857 0 vsize: 35680 [startup+900.02 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 11524 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 6723 0 0 0 90000 16 0 0 25 0 1 0 717869186 36827136 6701 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8991 6701 1111 63 0 8928 0 vsize: 35964 [startup+910.02 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 11524 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 6788 0 0 0 90999 16 0 0 25 0 1 0 717869186 37122048 6766 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9063 6766 1111 63 0 9000 0 vsize: 36252 [startup+920.02 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 11524 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 6846 0 0 0 92000 16 0 0 25 0 1 0 717869186 37269504 6824 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9099 6824 1111 63 0 9036 0 vsize: 36396 [startup+930.02 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 11524 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 6909 0 0 0 92999 16 0 0 25 0 1 0 717869186 37560320 6887 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9170 6887 1111 63 0 9107 0 vsize: 36680 [startup+940.02 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 11524 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 6967 0 0 0 93999 17 0 0 25 0 1 0 717869186 37847040 6945 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9240 6945 1111 63 0 9177 0 vsize: 36960 [startup+950.02 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 11524 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 7025 0 0 0 94999 17 0 0 25 0 1 0 717869186 37994496 7003 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9276 7003 1111 63 0 9213 0 vsize: 37104 [startup+960.019 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 11524 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 7075 0 0 0 95999 17 0 0 25 0 1 0 717869186 38289408 7053 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9348 7053 1111 63 0 9285 0 vsize: 37392 [startup+970.02 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 11524 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 7132 0 0 0 96999 17 0 0 25 0 1 0 717869186 38436864 7110 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9384 7110 1111 63 0 9321 0 vsize: 37536 [startup+980.019 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 11524 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 7195 0 0 0 97999 17 0 0 25 0 1 0 717869186 38727680 7173 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9455 7173 1111 63 0 9392 0 vsize: 37820 [startup+990.02 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 11524 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 7254 0 0 0 99000 17 0 0 25 0 1 0 717869186 39022592 7232 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9527 7232 1111 63 0 9464 0 vsize: 38108 [startup+1000.02 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 11524 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 7311 0 0 0 99999 18 0 0 25 0 1 0 717869186 39170048 7289 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9563 7289 1111 63 0 9500 0 vsize: 38252 [startup+1010.02 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 11524 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 7375 0 0 0 100999 18 0 0 25 0 1 0 717869186 39460864 7353 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9634 7353 1111 63 0 9571 0 vsize: 38536 [startup+1020.02 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 11524 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 7432 0 0 0 102000 18 0 0 25 0 1 0 717869186 39751680 7410 4294967295 134512640 134714540 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9705 7410 1111 63 0 9642 0 vsize: 38820 [startup+1030.02 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 11524 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 7491 0 0 0 103000 18 0 0 25 0 1 0 717869186 39895040 7469 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9740 7469 1111 63 0 9677 0 vsize: 38960 [startup+1040.02 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 11524 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 7555 0 0 0 104000 18 0 0 25 0 1 0 717869186 40194048 7533 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9813 7533 1111 63 0 9750 0 vsize: 39252 [startup+1050.02 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 11524 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 7612 0 0 0 105000 18 0 0 25 0 1 0 717869186 40484864 7590 4294967295 134512640 134714540 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9884 7590 1111 63 0 9821 0 vsize: 39536 [startup+1060.02 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 11524 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 7676 0 0 0 106000 18 0 0 25 0 1 0 717869186 40628224 7654 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9919 7654 1111 63 0 9856 0 vsize: 39676 [startup+1070.02 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 11524 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 7741 0 0 0 107000 18 0 0 25 0 1 0 717869186 40919040 7719 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9990 7719 1111 63 0 9927 0 vsize: 39960 [startup+1080.02 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 11524 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 7805 0 0 0 108000 19 0 0 25 0 1 0 717869186 41218048 7783 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10063 7783 1111 63 0 10000 0 vsize: 40252 [startup+1090.02 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 11524 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 7863 0 0 0 109000 19 0 0 25 0 1 0 717869186 41508864 7841 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10134 7841 1111 63 0 10071 0 vsize: 40536 [startup+1100.02 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 11524 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 7927 0 0 0 110000 19 0 0 25 0 1 0 717869186 41652224 7905 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10169 7905 1111 63 0 10106 0 vsize: 40676 [startup+1110.02 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 11524 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 7985 0 0 0 111000 19 0 0 25 0 1 0 717869186 41943040 7963 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10240 7963 1111 63 0 10177 0 vsize: 40960 [startup+1120.02 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 11524 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 8043 0 0 0 112000 19 0 0 25 0 1 0 717869186 42242048 8021 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10313 8021 1111 63 0 10250 0 vsize: 41252 [startup+1130.02 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 11524 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 8100 0 0 0 113001 19 0 0 25 0 1 0 717869186 42385408 8078 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10348 8078 1111 63 0 10285 0 vsize: 41392 [startup+1140.02 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 11524 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 8164 0 0 0 114001 19 0 0 25 0 1 0 717869186 42676224 8142 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10419 8142 1111 63 0 10356 0 vsize: 41676 [startup+1150.02 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 11524 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 8221 0 0 0 115001 19 0 0 25 0 1 0 717869186 42967040 8199 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10490 8199 1111 63 0 10427 0 vsize: 41960 [startup+1160.02 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 11524 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 8279 0 0 0 116001 19 0 0 25 0 1 0 717869186 43118592 8257 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10527 8257 1111 63 0 10464 0 vsize: 42108 [startup+1170.02 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 11524 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 8343 0 0 0 117001 19 0 0 25 0 1 0 717869186 43409408 8321 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10598 8321 1111 63 0 10535 0 vsize: 42392 [startup+1180.02 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 11524 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 8406 0 0 0 118001 19 0 0 25 0 1 0 717869186 43700224 8384 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10669 8384 1111 63 0 10606 0 vsize: 42676 [startup+1190.02 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 11524 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 8465 0 0 0 119001 19 0 0 25 0 1 0 717869186 43847680 8443 4294967295 134512640 134714540 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10705 8443 1111 63 0 10642 0 vsize: 42820 [startup+1200.02 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 11524 Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 8530 0 0 0 120001 19 0 0 25 0 1 0 717869186 44142592 8508 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10777 8508 1111 63 0 10714 0 vsize: 43108 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.04 s] Raw data (loadavg): 1.00 1.00 0.94 1/55 11524 Raw data (stat): 11465 (bsolo_mis) Z 11464 8378 8377 0 -1 1036 8530 0 0 0 120001 21 0 0 25 0 1 0 717869186 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.04 CPU time (s): 1200.23 CPU user time (s): 1200.02 CPU system time (s): 0.215967 CPU usage (%): 100.016 Max. virtual memory (Kb): 43108 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####