Name | normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-scsd8.opb |
MD5SUM | 489cca8508801e1a27a21414584e0af6 |
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 | 55000 |
Biggest coefficient in the objective function | 216169480454144 |
Number of bits for the biggest coefficient in the objective function | 48 |
Sum of the numbers in the objective function | 581831637603140100 |
Number of bits of the sum of numbers in the objective function | 60 |
Biggest number in a constraint | 216169480454144 |
Number of bits of the biggest number in a constraint | 48 |
Biggest sum of numbers in a constraint | 581831637603140100 |
Number of bits of the biggest sum of numbers | 60 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.481926 |
Number of variables | 55000 |
Total number of constraints | 397 |
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 | 397 |
Minimum length of a constraint | 200 |
Maximum length of a constraint | 480 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc10 THE 2005-05-24 22:55:05 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=16292 boxname=wulflinc10 idbench=1254 idsolver=3 numberseed=0 MD5SUM SOLVER: 03a6a792daea978e4202f78851741568 /oldhome/oroussel/solvers/bsolo_mis MD5SUM BENCH: 489cca8508801e1a27a21414584e0af6 /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-13-7-scsd8.opb REAL COMMAND: bsolo_mis /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-13-7-scsd8.opb IDLAUNCH: 16292 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 450.999 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 : 450.999 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: 864936 kB Buffers: 26768 kB Cached: 121384 kB SwapCached: 224 kB Active: 48820 kB Inactive: 102140 kB HighTotal: 131008 kB HighFree: 8372 kB LowTotal: 903652 kB LowFree: 856564 kB SwapTotal: 2097136 kB SwapFree: 2096792 kB Dirty: 396 kB Writeback: 0 kB Mapped: 6568 kB Slab: 13100 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-24 23:14:27 (client local time) WITH STATUS 0 IN 1161.73 SECONDS stats: 16292 7 1161.73 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c ERROR Parsing file!!! c ERROR parsing line: -100000000*V30001002_bit_7 -200000000*V30001002_bit_6 -400000000*V30001002_bit_5 -800000000*V30001002_bit_4 -1600000000*V30001002_bit_3 -3200000000*V30001002_bit_2 -6400000000*V30001002_bit_1 -12800000000*V30001002_bit0 -25600000000*V30001002_bit1 -51200000000*V30001002_bit2 -102400000000*V30001002_bit3 -204800000000*V30001002_bit4 -409600000000*V30001002_bit5 -819200000000*V30001002_bit6 -1638400000000*V30001002_bit7 -3276800000000*V30001002_bit8 -6553600000000*V30001002_bit9 -13107200000000*V30001002_bit10 -26214400000000*V30001002_bit11 -52428800000000*V30001002_bit12 +100000000*V40001002_bit_7 +200000000*V40001002_bit_6 +400000000*V40001002_bit_5 +800000000*V40001002_bit_4 +1600000000*V40001002_bit_3 +3200000000*V40001002_bit_2 +6400000000*V40001002_bit_1 +12800000000*V40001002_bit0 +25600000000*V40001002_bit1 +51200000000*V40001002_bit2 +102400000000*V40001002_bit3 +204800000000*V40001002_bit4 +409600000000*V40001002_bit5 +819200000000*V40001002_bit6 +1638400000000*V40001002_bit7 +3276800000000*V40001002_bit8 +6553600000000*V40001002_bit9 +13107200000000*V40001002_bit10 +26214400000000*V40001002_bit11 +52428800000000*V40001002_bit12 -100000000*V30001003_bit_7 -200000000*V30001003_bit_6 -400000000*V30001003_bit_5 -800000000*V30001003_bit_4 -1600000000*V30001003_bit_3 -3200000000*V30001003_bit_2 -6400000000*V30001003_bit_1 -12800000000*V30001003_bit0 -25600000000*V30001003_bit1 -51200000000*V30001003_bit2 -102400000000*V30001003_bit3 -204800000000*V30001003_bit4 -409600000000*V30001003_bit5 -819200000000*V30001003_bit6 -1638400000000*V30001003_bit7 -3276800000000*V30001003_bit8 -6553600000000*V30001003_bit9 -13107200000000*V30001003_bit10 -26214400000000*V30001003_bit11 -52428800000000*V30001003_bit12 +100000000*V40001003_bit_7 +200000000*V40001003_bit_6 +400000000*V40001003_bit_5 +800000000*V40001003_bit_4 +1600000000*V40001003_bit_3 +3200000000*V40001003_bit_2 +6400000000*V40001003_bit_1 +12800000000*V40001003_bit0 +25600000000*V40001003_bit1 +51200000000*V40001003_bit2 +102400000000*V40001003_bit3 +204800000000*V40001003_bit4 +409600000000*V40001003_bit5 +819200000000*V40001003_bit6 +1638400000000*V40001003_bit7 +3276800000000*V40001003_bit8 +6553600000000*V40001003_bit9 +13107200000000*V40001003_bit10 +26214400000000*V40001003_bit11 +52428800000000*V40001003_bit12 -100000000*V30001004_bit_7 -200000000*V30001004_bit_6 -400000000*V30001004_bit_5 -800000000*V30001004_bit_4 -1600000000*V30001004_bit_3 -3200000000*V30001004_bit_2 -6400000000*V30001004_bit_1 -12800000000*V30001004_bit0 -25600000000*V30001004_bit1 -51200000000*V30001004_bit2 -102400000000*V30001004_bit3 -204800000000*V30001004_bit4 -409600000000*V30001004_bit5 -819200000000*V30001004_bit6 -1638400000000*V30001004_bit7 -3276800000000*V30001004_bit8 -6553600000000*V30001004_bit9 -13107200000000*V30001004_bit10 -26214400000000*V30001004_bit11 -52428800000000*V30001004_bit12 +100000000*V40001004_bit_7 +200000000*V40001004_bit_6 +400000000*V40001004_bit_5 +800000000*V40001004_bit_4 +1600000000*V40001004_bit_3 +3200000000*V40001004_bit_2 +6400000000*V40001004_bit_1 +12800000000*V40001004_bit0 +25600000000*V40001004_bit1 +51200000000*V40001004_bit2 +102400000000*V40001004_bit3 +204800000000*V40001004_bit4 +409600000000*V40001004_bit5 +819200000000*V40001004_bit6 +1638400000000*V40001004_bit7 +3276800000000*V40001004_bit8 +6553600000000*V40001004_bit9 +13107200000000*V40001004_bit10 +26214400000000*V40001004_bit11 +52428800000000*V40001004_bit12 -100000000*V30001005_bit_7 -200000000*V30001005_bit_6 -400000000*V30001005_bit_5 -800000000*V30001005_bit_4 -1600000000*V30001005_bit_3 -3200000000*V30001005_bit_2 -6400000000*V30001005_bit_1 -12800000000*V30001005_bit0 -25600000000*V30001005_bit1 -51200000000*V30001005_bit2 -102400000000*V30001005_bit3 -204800000000*V30001005_bit4 -409600000000*V30001005_bit5 -819200000000*V30001005_bit6 -1638400000000*V30001005_bit7 -3276800000000*V30001005_bit8 -6553600000000*V30001005_bit9 -13107200000000*V30001005_bit10 -26214400000000*V30001005_bit11 -52428800000000*V30001005_bit12 +100000000*V40001005_bit_7 +200000000*V40001005_bit_6 +400000000*V40001005_bit_5 +800000000*V40001005_bit_4 +1600000000*V40001005_bit_3 +3200000000*V40001005_bit_2 +6400000000*V40001005_bit_1 +12800000000*V40001005_bit0 +25600000000*V40001005_bit1 +51200000000*V40001005_bit2 +102400000000*V40001005_bit3 +204800000000*V40001005_bit4 +409600000000*V40001005_bit5 +819200000000*V40001005_bit6 +1638400000000*V40001005_bit7 +3276800000000*V40001005_bit8 +6553600000000*V40001005_bit9 +13107200000000*V40001005_bit10 +26214400000000*V40001005_bit11 +52428800000000*V40001005_bit12 -70710678*V30001007_bit_7 -141421356*V30001007_bit_6 -282842712*V30001007_bit_5 -565685424*V30001007_bit_4 -1131370848*V30001007_bit_3 -2262741696*V30001007_bit_2 -4525483392*V30001007_bit_1 -9050966784*V30001007_bit0 -18101933568*V30001007_bit1 -36203867136*V30001007_bit2 -72407734272*V30001007_bit3 -144815468544*V30001007_bit4 -289630937088*V30001007_bit5 -579261874176*V30001007_bit6 -1158523748352*V30001007_bit7 -2317047496704*V30001007_bit8 -4634094993408*V30001007_bit9 -9268189986816*V30001007_bit10 -18536379973632*V30001007_bit11 -37072759947264*V30001007_bit12 +70710678*V40001007_bit_7 +141421356*V40001007_bit_6 +282842712*V40001007_bit_5 +565685424*V40001007_bit_4 +1131370848*V40001007_bit_3 +2262741696*V40001007_bit_2 +4525483392*V40001007_bit_1 +9050966784*V40001007_bit0 +18101933568*V40001007_bit1 +36203867136*V40001007_bit2 +72407734272*V40001007_bit3 +144815468544*V40001007_bit4 +289630937088*V40001007_bit5 +579261874176*V40001007_bit6 +1158523748352*V40001007_bit7 +2317047496704*V40001007_bit8 +4634094993408*V40001007_bit9 +9268189986816*V40001007_bit10 +18536379973632*V40001007_bit11 +37072759947264*V40001007_bit12 -89442719*V30001008_bit_7 -178885438*V30001008_bit_6 -357770876*V30001008_bit_5 -715541752*V30001008_bit_4 -1431083504*V30001008_bit_3 -2862167008*V30001008_bit_2 -5724334016*V30001008_bit_1 -11448668032*V30001008_bit0 -22897336064*V30001008_bit1 -45794672128*V30001008_bit2 -91589344256*V30001008_bit3 -183178688512*V30001008_bit4 -366357377024*V30001008_bit5 -732714754048*V30001008_bit6 -1465429508096*V30001008_bit7 -2930859016192*V30001008_bit8 -5861718032384*V30001008_bit9 -11723436064768*V30001008_bit10 -23446872129536*V30001008_bit11 -46893744259072*V30001008_bit12 +89442719*V40001008_bit_7 +178885438*V40001008_bit_6 +357770876*V40001008_bit_5 +715541752*V40001008_bit_4 +1431083504*V40001008_bit_3 +2862167008*V40001008_bit_2 +5724334016*V40001008_bit_1 +11448668032*V40001008_bit0 +22897336064*V40001008_bit1 +45794672128*V40001008_bit2 +91589344256*V40001008_bit3 +183178688512*V40001008_bit4 +366357377024*V40001008_bit5 +732714754048*V40001008_bit6 +1465429508096*V40001008_bit7 +2930859016192*V40001008_bit8 +5861718032384*V40001008_bit9 +11723436064768*V40001008_bit10 +23446872129536*V40001008_bit11 +46893744259072*V40001008_bit12 -94868330*V30001009_bit_7 -189736660*V30001009_bit_6 -379473320*V30001009_bit_5 -758946640*V30001009_bit_4 -1517893280*V30001009_bit_3 -3035786560*V30001009_bit_2 -6071573120*V30001009_bit_1 -12143146240*V30001009_bit0 -24286292480*V30001009_bit1 -48572584960*V30001009_bit2 -97145169920*V30001009_bit3 -194290339840*V30001009_bit4 -388580679680*V30001009_bit5 -777161359360*V30001009_bit6 -1554322718720*V30001009_bit7 -3108645437440*V30001009_bit8 -6217290874880*V30001009_bit9 -12434581749760*V30001009_bit10 -24869163499520*V30001009_bit11 -49738326999040*V30001009_bit12 +94868330*V40001009_bit_7 +189736660*V40001009_bit_6 +379473320*V40001009_bit_5 +758946640*V40001009_bit_4 +1517893280*V40001009_bit_3 +3035786560*V40001009_bit_2 +6071573120*V40001009_bit_1 +12143146240*V40001009_bit0 +24286292480*V40001009_bit1 +48572584960*V40001009_bit2 +97145169920*V40001009_bit3 +194290339840*V40001009_bit4 +388580679680*V40001009_bit5 +777161359360*V40001009_bit6 +1554322718720*V40001009_bit7 +3108645437440*V40001009_bit8 +6217290874880*V40001009_bit9 +12434581749760*V40001009_bit10 +24869163499520*V40001009_bit11 +49738326999040*V40001009_bit12 -97014250*V30001010_bit_7 -194028500*V30001010_bit_6 -388057000*V30001010_bit_5 -776114000*V30001010_bit_4 -1552228000*V30001010_bit_3 -3104456000*V30001010_bit_2 -6208912000*V30001010_bit_1 -12417824000*V30001010_bit0 -24835648000*V30001010_bit1 -49671296000*V30001010_bit2 -99342592000*V30001010_bit3 -198685184000*V30001010_bit4 -397370368000*V30001010_bit5 -794740736000*V30001010_bit6 -1589481472000*V30001010_bit7 -3178962944000*V30001010_bit8 -6357925888000*V30001010_bit9 -12715851776000*V30001010_bit10 -25431703552000*V30001010_bit11 -50863407104000*V30001010_bit12 +97014250*V40001010_bit_7 +194028500*V40001010_bit_6 +388057000*V40001010_bit_5 +776114000*V40001010_bit_4 +1552228000*V40001010_bit_3 +3104456000*V40001010_bit_2 +6208912000*V40001010_bit_1 +12417824000*V40001010_bit0 +24835648000*V40001010_bit1 +49671296000*V40001010_bit2 +99342592000*V40001010_bit3 +198685184000*V40001010_bit4 +397370368000*V40001010_bit5 +794740736000*V40001010_bit6 +1589481472000*V40001010_bit7 +3178962944000*V40001010_bit8 +6357925888000*V40001010_bit9 +12715851776000*V40001010_bit10 +25431703552000*V40001010_bit11 +50863407104000*V40001010_bit12 = +0; c Cannot parse input file name: /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-13-7-scsd8.opb s UNKNOWN c Exit Code: 0 c Total time: 1161.65 s #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.93 0.98 0.92 2/54 22160 Raw data (stat): 22160 (runsolver) R 22159 15547 15546 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 775791612 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0007 s] Raw data (loadavg): 0.94 0.98 0.92 2/54 22160 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 850 0 0 0 997 2 0 0 25 0 1 0 775791612 15622144 828 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3814 828 1111 63 0 3751 0 vsize: 15256 [startup+20.0008 s] Raw data (loadavg): 0.95 0.98 0.92 2/54 22160 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 1029 0 0 0 1996 2 0 0 25 0 1 0 775791612 16330752 1007 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3987 1007 1111 63 0 3924 0 vsize: 15948 [startup+30.0004 s] Raw data (loadavg): 0.95 0.98 0.92 2/54 22160 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 1208 0 0 0 2995 3 0 0 25 0 1 0 775791612 17035264 1186 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4159 1186 1111 63 0 4096 0 vsize: 16636 [startup+40.0002 s] Raw data (loadavg): 0.96 0.98 0.92 2/54 22160 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 1388 0 0 0 3995 4 0 0 25 0 1 0 775791612 17883136 1366 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4366 1366 1111 63 0 4303 0 vsize: 17464 [startup+50.0009 s] Raw data (loadavg): 0.97 0.98 0.92 2/54 22160 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 1591 0 0 0 4995 4 0 0 25 0 1 0 775791612 18604032 1569 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4542 1569 1111 63 0 4479 0 vsize: 18168 [startup+60 s] Raw data (loadavg): 0.97 0.98 0.92 2/54 22160 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 1762 0 0 0 5995 4 0 0 25 0 1 0 775791612 19304448 1740 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4713 1740 1111 63 0 4650 0 vsize: 18852 [startup+70.0009 s] Raw data (loadavg): 0.97 0.98 0.92 2/54 22160 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 1942 0 0 0 6995 4 0 0 25 0 1 0 775791612 20156416 1920 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4921 1920 1111 63 0 4858 0 vsize: 19684 [startup+80.0011 s] Raw data (loadavg): 0.98 0.98 0.92 2/54 22160 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 2120 0 0 0 7995 5 0 0 25 0 1 0 775791612 20852736 2098 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5091 2098 1111 63 0 5028 0 vsize: 20364 [startup+90.0007 s] Raw data (loadavg): 0.98 0.98 0.92 2/54 22160 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 2305 0 0 0 8994 5 0 0 25 0 1 0 775791612 21561344 2283 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5264 2283 1111 63 0 5201 0 vsize: 21056 [startup+100 s] Raw data (loadavg): 0.98 0.98 0.92 2/54 22160 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 2499 0 0 0 9994 6 0 0 25 0 1 0 775791612 22413312 2477 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5472 2477 1111 63 0 5409 0 vsize: 21888 [startup+110 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 22160 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 2685 0 0 0 10994 6 0 0 25 0 1 0 775791612 23113728 2663 4294967295 134512640 134714540 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5643 2663 1111 63 0 5580 0 vsize: 22572 [startup+120 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 22160 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 2858 0 0 0 11993 7 0 0 25 0 1 0 775791612 23822336 2836 4294967295 134512640 134714540 3221224592 3221222820 1077414399 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5816 2836 1111 63 0 5753 0 vsize: 23264 [startup+130 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 22160 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 3038 0 0 0 12993 7 0 0 25 0 1 0 775791612 24530944 3016 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5989 3016 1111 63 0 5926 0 vsize: 23956 [startup+140 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 22160 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 3230 0 0 0 13993 7 0 0 25 0 1 0 775791612 25374720 3208 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6195 3208 1111 63 0 6132 0 vsize: 24780 [startup+150 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 22160 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 3424 0 0 0 14993 8 0 0 25 0 1 0 775791612 26222592 3402 4294967295 134512640 134714540 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6402 3402 1111 63 0 6339 0 vsize: 25608 [startup+160 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 22160 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 3637 0 0 0 15993 8 0 0 25 0 1 0 775791612 27090944 3615 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6614 3615 1111 63 0 6551 0 vsize: 26456 [startup+170.001 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 22160 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 3802 0 0 0 16993 8 0 0 25 0 1 0 775791612 27795456 3780 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6786 3780 1111 63 0 6723 0 vsize: 27144 [startup+180.001 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 22160 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 3990 0 0 0 17993 9 0 0 25 0 1 0 775791612 28504064 3968 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6959 3968 1111 63 0 6896 0 vsize: 27836 [startup+190 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 22160 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 4184 0 0 0 18992 9 0 0 25 0 1 0 775791612 29347840 4162 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7165 4162 1111 63 0 7102 0 vsize: 28660 [startup+200 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 22160 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 4384 0 0 0 19992 9 0 0 25 0 1 0 775791612 30052352 4362 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7337 4362 1111 63 0 7274 0 vsize: 29348 [startup+209.999 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 22160 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 4592 0 0 0 20992 10 0 0 25 0 1 0 775791612 30904320 4570 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7545 4570 1111 63 0 7482 0 vsize: 30180 [startup+220 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 22160 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 4763 0 0 0 21992 10 0 0 25 0 1 0 775791612 31604736 4741 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7716 4741 1111 63 0 7653 0 vsize: 30864 [startup+230 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 22160 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 4951 0 0 0 22991 11 0 0 25 0 1 0 775791612 32456704 4929 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7924 4929 1111 63 0 7861 0 vsize: 31696 [startup+239.999 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 22160 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 5158 0 0 0 23991 11 0 0 25 0 1 0 775791612 33304576 5136 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8131 5136 1111 63 0 8068 0 vsize: 32524 [startup+249.999 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 22160 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 5366 0 0 0 24990 12 0 0 25 0 1 0 775791612 34148352 5344 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8337 5344 1111 63 0 8274 0 vsize: 33348 [startup+259.999 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 22160 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 5572 0 0 0 25990 12 0 0 25 0 1 0 775791612 34996224 5550 4294967295 134512640 134714540 3221224592 3221221308 1077196754 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8544 5550 1111 63 0 8481 0 vsize: 34176 [startup+269.999 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 22160 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 5752 0 0 0 26990 13 0 0 25 0 1 0 775791612 35704832 5730 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8717 5730 1111 63 0 8654 0 vsize: 34868 [startup+279.998 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 22160 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 5944 0 0 0 27990 13 0 0 25 0 1 0 775791612 36544512 5922 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8922 5922 1111 63 0 8859 0 vsize: 35688 [startup+289.998 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 22160 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 6151 0 0 0 28990 13 0 0 25 0 1 0 775791612 37396480 6129 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9130 6129 1111 63 0 9067 0 vsize: 36520 [startup+300 s] Raw data (loadavg): 1.07 1.00 0.93 3/57 22200 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 6377 0 0 0 29990 14 0 0 25 0 1 0 775791612 38285312 6355 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9347 6355 1111 63 0 9284 0 vsize: 37388 [startup+309.999 s] Raw data (loadavg): 1.06 1.00 0.93 2/54 22213 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 6584 0 0 0 30988 16 0 0 25 0 1 0 775791612 39133184 6562 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9554 6562 1111 63 0 9491 0 vsize: 38216 [startup+319.999 s] Raw data (loadavg): 1.05 1.00 0.93 2/54 22213 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 6784 0 0 0 31987 16 0 0 25 0 1 0 775791612 39976960 6762 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9760 6762 1111 63 0 9697 0 vsize: 39040 [startup+329.999 s] Raw data (loadavg): 1.04 1.00 0.93 2/54 22213 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 6985 0 0 0 32987 17 0 0 25 0 1 0 775791612 40824832 6963 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9967 6963 1111 63 0 9904 0 vsize: 39868 [startup+339.999 s] Raw data (loadavg): 1.04 1.00 0.93 2/54 22213 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 7193 0 0 0 33986 18 0 0 25 0 1 0 775791612 41672704 7171 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10174 7171 1111 63 0 10111 0 vsize: 40696 [startup+349.999 s] Raw data (loadavg): 1.03 1.00 0.93 2/54 22213 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 7413 0 0 0 34986 18 0 0 25 0 1 0 775791612 42516480 7391 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10380 7391 1111 63 0 10317 0 vsize: 41520 [startup+359.999 s] Raw data (loadavg): 1.03 1.00 0.93 2/54 22213 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 7600 0 0 0 35986 18 0 0 25 0 1 0 775791612 43364352 7578 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10587 7578 1111 63 0 10524 0 vsize: 42348 [startup+369.998 s] Raw data (loadavg): 1.02 1.00 0.93 2/54 22215 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 7808 0 0 0 36985 20 0 0 25 0 1 0 775791612 44216320 7786 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10795 7786 1111 63 0 10732 0 vsize: 43180 [startup+379.998 s] Raw data (loadavg): 1.02 1.00 0.93 2/54 22215 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 8020 0 0 0 37985 20 0 0 25 0 1 0 775791612 45060096 7998 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11001 7998 1111 63 0 10938 0 vsize: 44004 [startup+389.998 s] Raw data (loadavg): 1.01 1.00 0.93 2/54 22215 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 8248 0 0 0 38984 21 0 0 25 0 1 0 775791612 45907968 8226 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11208 8226 1111 63 0 11145 0 vsize: 44832 [startup+399.998 s] Raw data (loadavg): 1.01 1.00 0.93 2/54 22215 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 8471 0 0 0 39984 21 0 0 25 0 1 0 775791612 46899200 8449 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11450 8449 1111 63 0 11387 0 vsize: 45800 [startup+409.998 s] Raw data (loadavg): 1.01 1.00 0.93 2/54 22215 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 8671 0 0 0 40984 21 0 0 25 0 1 0 775791612 47747072 8649 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11657 8649 1111 63 0 11594 0 vsize: 46628 [startup+419.997 s] Raw data (loadavg): 1.01 1.00 0.93 2/54 22215 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 8885 0 0 0 41983 23 0 0 25 0 1 0 775791612 48590848 8863 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11863 8863 1111 63 0 11800 0 vsize: 47452 [startup+429.998 s] Raw data (loadavg): 1.01 1.00 0.93 2/54 22215 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 9107 0 0 0 42982 24 0 0 25 0 1 0 775791612 49438720 9085 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12070 9085 1111 63 0 12007 0 vsize: 48280 [startup+439.998 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 22215 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 9341 0 0 0 43981 24 0 0 25 0 1 0 775791612 50425856 9319 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12311 9319 1111 63 0 12248 0 vsize: 49244 [startup+449.998 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 22215 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 9543 0 0 0 44981 25 0 0 25 0 1 0 775791612 51277824 9521 4294967295 134512640 134714540 3221224592 3221222820 1077414374 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12519 9521 1111 63 0 12456 0 vsize: 50076 [startup+459.998 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 22215 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 9757 0 0 0 45981 25 0 0 25 0 1 0 775791612 52117504 9735 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12724 9735 1111 63 0 12661 0 vsize: 50896 [startup+469.999 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 22215 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 9985 0 0 0 46980 26 0 0 25 0 1 0 775791612 53108736 9963 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12966 9963 1111 63 0 12903 0 vsize: 51864 [startup+479.998 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 22215 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 10227 0 0 0 47980 27 0 0 25 0 1 0 775791612 54099968 10205 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13208 10205 1111 63 0 13145 0 vsize: 52832 [startup+489.998 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 22215 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 10449 0 0 0 48980 27 0 0 25 0 1 0 775791612 54947840 10427 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13415 10427 1111 63 0 13352 0 vsize: 53660 [startup+499.999 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 22215 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 10669 0 0 0 49979 28 0 0 25 0 1 0 775791612 55791616 10647 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13621 10647 1111 63 0 13558 0 vsize: 54484 [startup+509.998 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 22215 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 10896 0 0 0 50977 30 0 0 25 0 1 0 775791612 56778752 10874 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13862 10874 1111 63 0 13799 0 vsize: 55448 [startup+519.998 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 22215 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 11132 0 0 0 51977 30 0 0 25 0 1 0 775791612 57769984 11110 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14104 11110 1111 63 0 14041 0 vsize: 56416 [startup+529.999 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 22215 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 11374 0 0 0 52977 30 0 0 25 0 1 0 775791612 58761216 11352 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14346 11352 1111 63 0 14283 0 vsize: 57384 [startup+539.998 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 22215 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 11595 0 0 0 53976 31 0 0 25 0 1 0 775791612 59609088 11573 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14553 11573 1111 63 0 14490 0 vsize: 58212 [startup+549.997 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 22215 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 11846 0 0 0 54976 32 0 0 25 0 1 0 775791612 60841984 11824 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14854 11824 1111 63 0 14791 0 vsize: 59416 [startup+559.997 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 22215 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 12082 0 0 0 55975 33 0 0 25 0 1 0 775791612 61689856 12060 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15061 12060 1111 63 0 14998 0 vsize: 60244 [startup+569.997 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 22215 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 12344 0 0 0 56975 33 0 0 25 0 1 0 775791612 62816256 12322 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15336 12322 1111 63 0 15273 0 vsize: 61344 [startup+579.996 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 22215 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 12566 0 0 0 57974 34 0 0 25 0 1 0 775791612 63668224 12544 4294967295 134512640 134714540 3221224592 3221223248 134527935 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15544 12544 1111 63 0 15481 0 vsize: 62176 [startup+589.996 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 22215 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 12808 0 0 0 58974 34 0 0 25 0 1 0 775791612 64659456 12786 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15786 12786 1111 63 0 15723 0 vsize: 63144 [startup+599.996 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 22215 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 13049 0 0 0 59973 35 0 0 25 0 1 0 775791612 65638400 13027 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16025 13027 1111 63 0 15962 0 vsize: 64100 [startup+609.996 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 22215 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 13312 0 0 0 60972 36 0 0 25 0 1 0 775791612 66768896 13290 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16301 13290 1111 63 0 16238 0 vsize: 65204 [startup+619.996 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 22215 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 13548 0 0 0 61971 37 0 0 25 0 1 0 775791612 67760128 13526 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16543 13526 1111 63 0 16480 0 vsize: 66172 [startup+629.996 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 22215 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 13796 0 0 0 62971 38 0 0 25 0 1 0 775791612 68747264 13774 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16784 13774 1111 63 0 16721 0 vsize: 67136 [startup+639.995 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 22215 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 14058 0 0 0 63970 39 0 0 25 0 1 0 775791612 69877760 14036 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17060 14036 1111 63 0 16997 0 vsize: 68240 [startup+649.996 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 22215 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 14322 0 0 0 64970 39 0 0 25 0 1 0 775791612 70868992 14300 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17302 14300 1111 63 0 17239 0 vsize: 69208 [startup+659.996 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 22215 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 14565 0 0 0 65970 39 0 0 25 0 1 0 775791612 71856128 14543 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17543 14543 1111 63 0 17480 0 vsize: 70172 [startup+669.995 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 22217 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 14818 0 0 0 66969 40 0 0 25 0 1 0 775791612 72982528 14796 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17818 14796 1111 63 0 17755 0 vsize: 71272 [startup+679.995 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 22217 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 15088 0 0 0 67969 41 0 0 25 0 1 0 775791612 73973760 15066 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18060 15066 1111 63 0 17997 0 vsize: 72240 [startup+689.995 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 22217 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 15351 0 0 0 68969 41 0 0 25 0 1 0 775791612 75104256 15329 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18336 15329 1111 63 0 18273 0 vsize: 73344 [startup+699.996 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 22217 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 15615 0 0 0 69968 41 0 0 25 0 1 0 775791612 76230656 15593 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18611 15593 1111 63 0 18548 0 vsize: 74444 [startup+709.996 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 22217 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 15891 0 0 0 70969 42 0 0 25 0 1 0 775791612 77361152 15869 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18887 15869 1111 63 0 18824 0 vsize: 75548 [startup+719.996 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 22217 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 16181 0 0 0 71968 42 0 0 25 0 1 0 775791612 78491648 16159 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19163 16159 1111 63 0 19100 0 vsize: 76652 [startup+729.996 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 22217 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 16445 0 0 0 72968 42 0 0 25 0 1 0 775791612 79622144 16423 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19439 16423 1111 63 0 19376 0 vsize: 77756 [startup+739.995 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 22217 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 16721 0 0 0 73968 43 0 0 25 0 1 0 775791612 80752640 16699 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19715 16699 1111 63 0 19652 0 vsize: 78860 [startup+749.996 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 22217 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 17012 0 0 0 74967 43 0 0 25 0 1 0 775791612 81883136 16990 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19991 16990 1111 63 0 19928 0 vsize: 79964 [startup+759.997 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 22217 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 17294 0 0 0 75967 44 0 0 25 0 1 0 775791612 83013632 17272 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20267 17272 1111 63 0 20204 0 vsize: 81068 [startup+770 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 22217 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 17572 0 0 0 76967 45 0 0 25 0 1 0 775791612 84144128 17550 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20543 17550 1111 63 0 20480 0 vsize: 82172 [startup+780.002 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 22217 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 17876 0 0 0 77967 45 0 0 25 0 1 0 775791612 85409792 17854 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20852 17854 1111 63 0 20789 0 vsize: 83408 [startup+790.003 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 22217 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 18180 0 0 0 78967 46 0 0 25 0 1 0 775791612 86683648 18158 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21163 18158 1111 63 0 21100 0 vsize: 84652 [startup+800.003 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 22217 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 18464 0 0 0 79967 46 0 0 25 0 1 0 775791612 87814144 18442 4294967295 134512640 134714540 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21439 18442 1111 63 0 21376 0 vsize: 85756 [startup+810.003 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 22217 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 18768 0 0 0 80966 46 0 0 25 0 1 0 775791612 89083904 18746 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21749 18746 1111 63 0 21686 0 vsize: 86996 [startup+820.003 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 22217 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 19093 0 0 0 81966 47 0 0 25 0 1 0 775791612 90353664 19071 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22059 19071 1111 63 0 21996 0 vsize: 88236 [startup+830.004 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 22217 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 19383 0 0 0 82966 47 0 0 25 0 1 0 775791612 91623424 19361 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22369 19361 1111 63 0 22306 0 vsize: 89476 [startup+840.004 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 22217 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 19700 0 0 0 83965 48 0 0 25 0 1 0 775791612 92893184 19678 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22679 19678 1111 63 0 22616 0 vsize: 90716 [startup+850.004 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 22217 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 20039 0 0 0 84965 49 0 0 25 0 1 0 775791612 94306304 20017 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 23024 20017 1111 63 0 22961 0 vsize: 92096 [startup+860.003 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 22217 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 20371 0 0 0 85965 49 0 0 25 0 1 0 775791612 95576064 20349 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 23334 20349 1111 63 0 23271 0 vsize: 93336 [startup+870.003 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 22217 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 20710 0 0 0 86964 50 0 0 25 0 1 0 775791612 96985088 20688 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 23678 20688 1111 63 0 23615 0 vsize: 94712 [startup+880.012 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 22217 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 21070 0 0 0 87964 50 0 0 25 0 1 0 775791612 98402304 21048 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24024 21048 1111 63 0 23961 0 vsize: 96096 [startup+890.011 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 22217 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 21415 0 0 0 88964 51 0 0 25 0 1 0 775791612 99815424 21393 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24369 21393 1111 63 0 24306 0 vsize: 97476 [startup+900.011 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 22217 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 21775 0 0 0 89963 52 0 0 25 0 1 0 775791612 101367808 21753 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24748 21753 1111 63 0 24685 0 vsize: 98992 [startup+910.012 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 22217 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 22135 0 0 0 90962 53 0 0 25 0 1 0 775791612 102776832 22113 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25092 22113 1111 63 0 25029 0 vsize: 100368 [startup+920.011 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 22217 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 22508 0 0 0 91961 54 0 0 25 0 1 0 775791612 104329216 22486 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25471 22486 1111 63 0 25408 0 vsize: 101884 [startup+930.011 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 22217 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 22923 0 0 0 92961 55 0 0 25 0 1 0 775791612 106262528 22901 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25943 22901 1111 63 0 25880 0 vsize: 103772 [startup+940.012 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 22217 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 23299 0 0 0 93960 56 0 0 25 0 1 0 775791612 107827200 23277 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 26325 23277 1111 63 0 26262 0 vsize: 105300 [startup+950.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 22217 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 23686 0 0 0 94960 57 0 0 25 0 1 0 775791612 109379584 23664 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 26704 23664 1111 63 0 26641 0 vsize: 106816 [startup+960.034 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 22217 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 24087 0 0 0 95961 58 0 0 25 0 1 0 775791612 111075328 24065 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27118 24065 1111 63 0 27055 0 vsize: 108472 [startup+970.047 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 22217 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 24489 0 0 0 96961 58 0 0 25 0 1 0 775791612 112627712 24467 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27497 24467 1111 63 0 27434 0 vsize: 109988 [startup+980.047 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 22217 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 24911 0 0 0 97961 59 0 0 25 0 1 0 775791612 114466816 24889 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27946 24889 1111 63 0 27883 0 vsize: 111784 [startup+990.046 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 22217 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 25339 0 0 0 98960 60 0 0 25 0 1 0 775791612 116158464 25317 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28359 25317 1111 63 0 28296 0 vsize: 113436 [startup+1000.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 22217 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 25810 0 0 0 99960 61 0 0 25 0 1 0 775791612 118136832 25788 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28842 25788 1111 63 0 28779 0 vsize: 115368 [startup+1010.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 22217 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 26314 0 0 0 100960 61 0 0 25 0 1 0 775791612 120111104 26292 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29324 26292 1111 63 0 29261 0 vsize: 117296 [startup+1020.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 22217 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 26860 0 0 0 101959 63 0 0 25 0 1 0 775791612 122368000 26838 4294967295 134512640 134714540 3221224592 3221222820 1077414424 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29875 26838 1111 63 0 29812 0 vsize: 119500 [startup+1030.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 22217 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 27482 0 0 0 102958 64 0 0 25 0 1 0 775791612 124911616 27460 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30496 27460 1111 63 0 30433 0 vsize: 121984 [startup+1040.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 22217 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 28118 0 0 0 103957 65 0 0 25 0 1 0 775791612 127451136 28096 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 31116 28096 1111 63 0 31053 0 vsize: 124464 [startup+1050.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 22217 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 28775 0 0 0 104956 66 0 0 25 0 1 0 775791612 130138112 28753 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 31772 28753 1111 63 0 31709 0 vsize: 127088 [startup+1060.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 22217 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 29467 0 0 0 105955 68 0 0 25 0 1 0 775791612 132960256 29445 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 32461 29445 1111 63 0 32398 0 vsize: 129844 [startup+1070.15 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 22217 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 30184 0 0 0 106964 69 0 0 25 0 1 0 775791612 135921664 30162 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 33184 30162 1111 63 0 33121 0 vsize: 132736 [startup+1080.16 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 22217 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 30925 0 0 0 107963 70 0 0 25 0 1 0 775791612 139030528 30903 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 33943 30903 1111 63 0 33880 0 vsize: 135772 [startup+1090.16 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 22217 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 31686 0 0 0 108962 71 0 0 25 0 1 0 775791612 142143488 31664 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 34703 31664 1111 63 0 34640 0 vsize: 138812 [startup+1100.16 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 22217 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 32507 0 0 0 109962 72 0 0 25 0 1 0 775791612 145383424 32485 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 35494 32485 1111 63 0 35431 0 vsize: 141976 [startup+1110.16 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 22217 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 33373 0 0 0 110960 75 0 0 25 0 1 0 775791612 148914176 33351 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36356 33351 1111 63 0 36293 0 vsize: 145424 [startup+1120.17 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 22217 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 34278 0 0 0 111958 77 0 0 25 0 1 0 775791612 152727552 34256 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37287 34256 1111 63 0 37224 0 vsize: 149148 [startup+1130.17 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 22217 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 35233 0 0 0 112957 79 0 0 25 0 1 0 775791612 156536832 35211 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 38217 35211 1111 63 0 38154 0 vsize: 152868 [startup+1140.17 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 22217 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 36250 0 0 0 113954 81 0 0 25 0 1 0 775791612 160776192 36228 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 39252 36228 1111 63 0 39189 0 vsize: 157008 [startup+1150.17 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 22217 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 37341 0 0 0 114953 82 0 0 25 0 1 0 775791612 165154816 37319 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 40321 37319 1111 63 0 40258 0 vsize: 161284 [startup+1160.17 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 22217 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 38517 0 0 0 115951 84 0 0 25 0 1 0 775791612 169955328 38495 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 41493 38495 1111 63 0 41430 0 vsize: 165972 [startup+1161.53 s] Raw data (loadavg): 1.00 1.00 0.93 1/53 22217 Raw data (stat): 22160 (bsolo_mis) R 22159 15547 15546 0 -1 0 38517 0 0 0 115951 84 0 0 25 0 1 0 775791612 169955328 38495 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 41493 38495 1111 63 0 41430 0 vsize: 0 Child status: 0 Real time (s): 1161.53 CPU time (s): 1161.73 CPU user time (s): 1160.8 CPU system time (s): 0.930858 CPU usage (%): 100.017 Max. virtual memory (Kb): 165972 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####