Name | normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-dc1l.opb |
MD5SUM | 4d1c8086316d85cb5ef2a3148b52a8a1 |
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 | 85408 |
Biggest coefficient in the objective function | 536870912000000000000 |
Number of bits for the biggest coefficient in the objective function | 69 |
Sum of the numbers in the objective function | 6807849934732110331904 |
Number of bits of the sum of numbers in the objective function | 73 |
Biggest number in a constraint | 536870912000000000000 |
Number of bits of the biggest number in a constraint | 69 |
Biggest sum of numbers in a constraint | 6807849934732110331904 |
Number of bits of the biggest sum of numbers | 73 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.91486 |
Number of variables | 85198 |
Total number of constraints | 37291 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 35639 |
Number of constraints which are nor clauses,nor cardinality constraints | 1652 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 35129 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc19 THE 2005-05-24 23:49:43 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=15083 boxname=wulflinc19 idbench=1161 idsolver=3 numberseed=0 MD5SUM SOLVER: 03a6a792daea978e4202f78851741568 /oldhome/oroussel/solvers/bsolo_mis MD5SUM BENCH: 4d1c8086316d85cb5ef2a3148b52a8a1 /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-20-10-dc1l.opb REAL COMMAND: bsolo_mis /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-20-10-dc1l.opb IDLAUNCH: 15083 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.037 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 : 3 cpu MHz : 451.037 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: 830540 kB Buffers: 31164 kB Cached: 145252 kB SwapCached: 520 kB Active: 49284 kB Inactive: 129532 kB HighTotal: 131008 kB HighFree: 15484 kB LowTotal: 903652 kB LowFree: 815056 kB SwapTotal: 2097892 kB SwapFree: 2096796 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5672 kB Slab: 19488 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-25 00:09:46 (client local time) WITH STATUS 0 IN 1200.56 SECONDS stats: 15083 7 1200.56 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.87 0.94 0.90 2/54 16461 Raw data (stat): 16461 (runsolver) R 16460 10795 10794 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 834320318 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.0011 s] Raw data (loadavg): 0.89 0.94 0.90 2/54 16461 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 1561 0 0 0 995 4 0 0 25 0 1 0 834320318 17899520 1539 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4370 1539 1111 63 0 4307 0 vsize: 17480 [startup+20.0019 s] Raw data (loadavg): 0.90 0.94 0.90 2/54 16461 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 2296 0 0 0 1994 5 0 0 25 0 1 0 834320318 20885504 2274 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5099 2274 1111 63 0 5036 0 vsize: 20396 [startup+30.0017 s] Raw data (loadavg): 0.92 0.94 0.90 2/54 16461 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 3032 0 0 0 2992 7 0 0 25 0 1 0 834320318 24023040 3010 4294967295 134512640 134714540 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5865 3010 1111 63 0 5802 0 vsize: 23460 [startup+40.0025 s] Raw data (loadavg): 0.93 0.94 0.90 2/54 16461 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 3761 0 0 0 3991 8 0 0 25 0 1 0 834320318 27009024 3739 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6594 3739 1111 63 0 6531 0 vsize: 26376 [startup+50.0033 s] Raw data (loadavg): 0.94 0.95 0.90 2/54 16461 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 4489 0 0 0 4990 10 0 0 25 0 1 0 834320318 29990912 4467 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7322 4467 1111 63 0 7259 0 vsize: 29288 [startup+60.0042 s] Raw data (loadavg): 0.95 0.95 0.91 2/54 16461 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 5225 0 0 0 5988 12 0 0 25 0 1 0 834320318 32980992 5203 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8052 5203 1111 63 0 7989 0 vsize: 32208 [startup+70.004 s] Raw data (loadavg): 0.96 0.95 0.91 2/54 16461 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 5960 0 0 0 6986 14 0 0 25 0 1 0 834320318 35966976 5938 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8781 5938 1111 63 0 8718 0 vsize: 35124 [startup+80.0038 s] Raw data (loadavg): 0.96 0.95 0.91 2/54 16461 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 6695 0 0 0 7984 15 0 0 25 0 1 0 834320318 38948864 6673 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9509 6673 1111 63 0 9446 0 vsize: 38036 [startup+90.0036 s] Raw data (loadavg): 0.97 0.95 0.91 2/54 16461 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 7433 0 0 0 8983 17 0 0 25 0 1 0 834320318 41926656 7411 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10236 7411 1111 63 0 10173 0 vsize: 40944 [startup+100.003 s] Raw data (loadavg): 0.97 0.95 0.91 2/54 16461 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 8169 0 0 0 9982 18 0 0 25 0 1 0 834320318 45060096 8147 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11001 8147 1111 63 0 10938 0 vsize: 44004 [startup+110.004 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 16461 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 8909 0 0 0 10981 20 0 0 25 0 1 0 834320318 48041984 8887 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11729 8887 1111 63 0 11666 0 vsize: 46916 [startup+120.005 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 16461 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 9650 0 0 0 11980 21 0 0 25 0 1 0 834320318 51032064 9628 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12459 9628 1111 63 0 12396 0 vsize: 49836 [startup+130.005 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 16461 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 10392 0 0 0 12978 22 0 0 25 0 1 0 834320318 54169600 10370 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13225 10370 1111 63 0 13162 0 vsize: 52900 [startup+140.005 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 16461 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 11133 0 0 0 13977 24 0 0 25 0 1 0 834320318 57155584 11111 4294967295 134512640 134714540 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13954 11111 1111 63 0 13891 0 vsize: 55816 [startup+150.004 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 16461 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 11874 0 0 0 14976 25 0 0 25 0 1 0 834320318 60137472 11852 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14682 11852 1111 63 0 14619 0 vsize: 58728 [startup+160.005 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 16461 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 12621 0 0 0 15975 27 0 0 25 0 1 0 834320318 63275008 12599 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15448 12599 1111 63 0 15385 0 vsize: 61792 [startup+170.005 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 16461 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 13374 0 0 0 16973 28 0 0 25 0 1 0 834320318 66260992 13352 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16177 13352 1111 63 0 16114 0 vsize: 64708 [startup+180.005 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 16461 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 14121 0 0 0 17972 29 0 0 25 0 1 0 834320318 69398528 14099 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16943 14099 1111 63 0 16880 0 vsize: 67772 [startup+190.006 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 16461 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 14869 0 0 0 18971 31 0 0 25 0 1 0 834320318 72380416 14847 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17671 14847 1111 63 0 17608 0 vsize: 70684 [startup+200.006 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 16461 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 15610 0 0 0 19970 32 0 0 25 0 1 0 834320318 75517952 15588 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18437 15588 1111 63 0 18374 0 vsize: 73748 [startup+210.006 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 16461 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 16358 0 0 0 20968 34 0 0 25 0 1 0 834320318 78508032 16336 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19167 16336 1111 63 0 19104 0 vsize: 76668 [startup+220.007 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 16461 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 17306 0 0 0 21967 36 0 0 25 0 1 0 834320318 82386944 17284 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20114 17284 1111 63 0 20051 0 vsize: 80456 [startup+230.007 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 16461 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 18179 0 0 0 22965 38 0 0 25 0 1 0 834320318 85966848 18157 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20988 18157 1111 63 0 20925 0 vsize: 83952 [startup+240.007 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 16461 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 18927 0 0 0 23963 40 0 0 25 0 1 0 834320318 89104384 18905 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21754 18905 1111 63 0 21691 0 vsize: 87016 [startup+250.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16461 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 19681 0 0 0 24961 42 0 0 25 0 1 0 834320318 92090368 19659 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22483 19659 1111 63 0 22420 0 vsize: 89932 [startup+260.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16461 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 20434 0 0 0 25959 44 0 0 25 0 1 0 834320318 95227904 20412 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 23249 20412 1111 63 0 23186 0 vsize: 92996 [startup+270.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16461 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 21498 0 0 0 26956 47 0 0 25 0 1 0 834320318 99557376 21476 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24306 21476 1111 63 0 24243 0 vsize: 97224 [startup+280.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16461 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 22250 0 0 0 27955 48 0 0 25 0 1 0 834320318 102690816 22228 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25071 22228 1111 63 0 25008 0 vsize: 100284 [startup+290.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16461 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 23010 0 0 0 28954 49 0 0 25 0 1 0 834320318 105824256 22988 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25836 22988 1111 63 0 25773 0 vsize: 103344 [startup+300.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16461 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 23909 0 0 0 29952 51 0 0 25 0 1 0 834320318 109412352 23887 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 26712 23887 1111 63 0 26649 0 vsize: 106848 [startup+310.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16461 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 24996 0 0 0 30951 53 0 0 25 0 1 0 834320318 113889280 24974 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27805 24974 1111 63 0 27742 0 vsize: 111220 [startup+320.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16461 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 25769 0 0 0 31949 55 0 0 25 0 1 0 834320318 117174272 25747 4294967295 134512640 134714540 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28607 25747 1111 63 0 28544 0 vsize: 114428 [startup+330.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16461 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 26527 0 0 0 32947 57 0 0 25 0 1 0 834320318 120156160 26505 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29335 26505 1111 63 0 29272 0 vsize: 117340 [startup+340.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16461 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 27305 0 0 0 33946 59 0 0 25 0 1 0 834320318 123441152 27283 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30137 27283 1111 63 0 30074 0 vsize: 120548 [startup+350.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16461 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 28265 0 0 0 34943 61 0 0 25 0 1 0 834320318 127324160 28243 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 31085 28243 1111 63 0 31022 0 vsize: 124340 [startup+360.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16461 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 29032 0 0 0 35942 62 0 0 25 0 1 0 834320318 130461696 29010 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 31851 29010 1111 63 0 31788 0 vsize: 127404 [startup+370.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16461 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 29804 0 0 0 36941 64 0 0 25 0 1 0 834320318 133599232 29782 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 32617 29782 1111 63 0 32554 0 vsize: 130468 [startup+380.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16461 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 30568 0 0 0 37940 65 0 0 25 0 1 0 834320318 136728576 30546 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 33381 30546 1111 63 0 33318 0 vsize: 133524 [startup+390.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16461 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 31341 0 0 0 38938 67 0 0 25 0 1 0 834320318 139866112 31319 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 34147 31319 1111 63 0 34084 0 vsize: 136588 [startup+400.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16461 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 32514 0 0 0 39936 70 0 0 25 0 1 0 834320318 144793600 32492 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 35350 32492 1111 63 0 35287 0 vsize: 141400 [startup+410.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16461 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 33352 0 0 0 40934 72 0 0 25 0 1 0 834320318 148226048 33330 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36188 33330 1111 63 0 36125 0 vsize: 144752 [startup+420.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16461 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 34124 0 0 0 41933 73 0 0 25 0 1 0 834320318 151363584 34102 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36954 34102 1111 63 0 36891 0 vsize: 147816 [startup+430.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16461 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 34902 0 0 0 42932 74 0 0 25 0 1 0 834320318 154501120 34880 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37720 34880 1111 63 0 37657 0 vsize: 150880 [startup+440.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16461 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 35674 0 0 0 43930 76 0 0 25 0 1 0 834320318 157630464 35652 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 38484 35652 1111 63 0 38421 0 vsize: 153936 [startup+450.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16461 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 36531 0 0 0 44928 78 0 0 25 0 1 0 834320318 161214464 36509 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 39359 36509 1111 63 0 39296 0 vsize: 157436 [startup+460.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16461 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 37328 0 0 0 45927 80 0 0 25 0 1 0 834320318 164503552 37306 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 40162 37306 1111 63 0 40099 0 vsize: 160648 [startup+470.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16461 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 38100 0 0 0 46926 81 0 0 25 0 1 0 834320318 167641088 38078 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 40928 38078 1111 63 0 40865 0 vsize: 163712 [startup+480.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16461 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 38870 0 0 0 47925 82 0 0 25 0 1 0 834320318 170770432 38848 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 41692 38848 1111 63 0 41629 0 vsize: 166768 [startup+490.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16461 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 39648 0 0 0 48924 84 0 0 25 0 1 0 834320318 173907968 39626 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 42458 39626 1111 63 0 42395 0 vsize: 169832 [startup+500.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16461 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 40760 0 0 0 49922 86 0 0 25 0 1 0 834320318 178536448 40738 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43588 40738 1111 63 0 43525 0 vsize: 174352 [startup+510.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16461 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 41660 0 0 0 50920 88 0 0 25 0 1 0 834320318 182120448 41638 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44463 41638 1111 63 0 44400 0 vsize: 177852 [startup+520.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16461 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 42438 0 0 0 51919 89 0 0 25 0 1 0 834320318 185405440 42416 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45265 42416 1111 63 0 45202 0 vsize: 181060 [startup+530.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16461 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 43222 0 0 0 52918 91 0 0 25 0 1 0 834320318 188542976 43200 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 46031 43200 1111 63 0 45968 0 vsize: 184124 [startup+540.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16461 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 44065 0 0 0 53917 92 0 0 25 0 1 0 834320318 191971328 44043 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 46868 44043 1111 63 0 46805 0 vsize: 187472 [startup+550.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16461 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 45245 0 0 0 54915 94 0 0 25 0 1 0 834320318 196902912 45223 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 48072 45223 1111 63 0 48009 0 vsize: 192288 [startup+560.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16461 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 46028 0 0 0 55914 95 0 0 25 0 1 0 834320318 200036352 46006 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 48837 46006 1111 63 0 48774 0 vsize: 195348 [startup+570.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16461 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 46812 0 0 0 56913 96 0 0 25 0 1 0 834320318 203321344 46790 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 49639 46790 1111 63 0 49576 0 vsize: 198556 [startup+580.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16461 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 47596 0 0 0 57912 98 0 0 25 0 1 0 834320318 206458880 47574 4294967295 134512640 134714540 3221224592 3221222820 1077414424 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 50405 47574 1111 63 0 50342 0 vsize: 201620 [startup+590.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16461 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 48386 0 0 0 58911 99 0 0 25 0 1 0 834320318 209743872 48364 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 51207 48364 1111 63 0 51144 0 vsize: 204828 [startup+600.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16461 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 49175 0 0 0 59910 100 0 0 25 0 1 0 834320318 213024768 49153 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 52008 49153 1111 63 0 51945 0 vsize: 208032 [startup+610.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16461 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 49975 0 0 0 60909 101 0 0 25 0 1 0 834320318 216330240 49953 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 52815 49953 1111 63 0 52752 0 vsize: 211260 [startup+620.076 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 16465 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 50772 0 0 0 61912 103 0 0 25 0 1 0 834320318 219615232 50750 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 53617 50750 1111 63 0 53554 0 vsize: 214468 [startup+630.079 s] Raw data (loadavg): 1.07 0.99 0.91 2/54 16514 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 51575 0 0 0 62911 104 0 0 25 0 1 0 834320318 222904320 51553 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 54420 51553 1111 63 0 54357 0 vsize: 217680 [startup+640.08 s] Raw data (loadavg): 1.06 0.99 0.91 2/54 16514 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 52363 0 0 0 63910 106 0 0 25 0 1 0 834320318 226033664 52341 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 55184 52341 1111 63 0 55121 0 vsize: 220736 [startup+650.079 s] Raw data (loadavg): 1.05 0.99 0.91 2/54 16514 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 53160 0 0 0 64909 107 0 0 25 0 1 0 834320318 229318656 53138 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 55986 53138 1111 63 0 55923 0 vsize: 223944 [startup+660.085 s] Raw data (loadavg): 1.04 0.99 0.91 2/54 16514 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 53956 0 0 0 65907 109 0 0 25 0 1 0 834320318 232607744 53934 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 56789 53934 1111 63 0 56726 0 vsize: 227156 [startup+670.085 s] Raw data (loadavg): 1.03 0.99 0.91 2/54 16514 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 54892 0 0 0 66906 111 0 0 25 0 1 0 834320318 236490752 54870 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 57737 54870 1111 63 0 57674 0 vsize: 230948 [startup+680.085 s] Raw data (loadavg): 1.03 0.99 0.91 2/54 16514 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 55695 0 0 0 67905 112 0 0 25 0 1 0 834320318 239775744 55673 4294967295 134512640 134714540 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 58539 55673 1111 63 0 58476 0 vsize: 234156 [startup+690.086 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 16514 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 56496 0 0 0 68904 114 0 0 25 0 1 0 834320318 243056640 56474 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 59340 56474 1111 63 0 59277 0 vsize: 237360 [startup+700.087 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 16516 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 57365 0 0 0 69902 115 0 0 25 0 1 0 834320318 246489088 57343 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 60178 57343 1111 63 0 60115 0 vsize: 240712 [startup+710.087 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 16516 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 58241 0 0 0 70902 116 0 0 25 0 1 0 834320318 250073088 58219 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 61053 58219 1111 63 0 60990 0 vsize: 244212 [startup+720.087 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 16516 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 59049 0 0 0 71900 117 0 0 25 0 1 0 834320318 253509632 59027 4294967295 134512640 134714540 3221224592 3221222820 1077414424 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 61892 59027 1111 63 0 61829 0 vsize: 247568 [startup+730.088 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 16516 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 59863 0 0 0 72899 119 0 0 25 0 1 0 834320318 256794624 59841 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 62694 59841 1111 63 0 62631 0 vsize: 250776 [startup+740.096 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 16516 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 60670 0 0 0 73898 121 0 0 25 0 1 0 834320318 260075520 60648 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 63495 60648 1111 63 0 63432 0 vsize: 253980 [startup+750.096 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 16516 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 61509 0 0 0 74898 122 0 0 25 0 1 0 834320318 263512064 61487 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 64334 61487 1111 63 0 64271 0 vsize: 257336 [startup+760.097 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 16516 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 62324 0 0 0 75896 123 0 0 25 0 1 0 834320318 266797056 62302 4294967295 134512640 134714540 3221224592 3221222944 134567410 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 65136 62302 1111 63 0 65073 0 vsize: 260544 [startup+770.098 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 16516 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 63345 0 0 0 76894 125 0 0 25 0 1 0 834320318 270979072 63323 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 66157 63323 1111 63 0 66094 0 vsize: 264628 [startup+780.098 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 16516 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 64160 0 0 0 77893 127 0 0 25 0 1 0 834320318 274411520 64138 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 66995 64138 1111 63 0 66932 0 vsize: 267980 [startup+790.099 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 16516 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 64981 0 0 0 78892 128 0 0 25 0 1 0 834320318 277696512 64959 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 67797 64959 1111 63 0 67734 0 vsize: 271188 [startup+800.1 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 16516 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 65891 0 0 0 79891 129 0 0 25 0 1 0 834320318 281423872 65869 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 68707 65869 1111 63 0 68644 0 vsize: 274828 [startup+810.108 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 16516 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 66711 0 0 0 80891 130 0 0 25 0 1 0 834320318 284860416 66689 4294967295 134512640 134714540 3221224592 3221222460 1077245729 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 69546 66689 1111 63 0 69483 0 vsize: 278184 [startup+820.109 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 16516 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 67598 0 0 0 81889 132 0 0 25 0 1 0 834320318 288444416 67576 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 70421 67576 1111 63 0 70358 0 vsize: 281684 [startup+830.11 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 16516 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 68420 0 0 0 82889 133 0 0 25 0 1 0 834320318 291880960 68398 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 71260 68398 1111 63 0 71197 0 vsize: 285040 [startup+840.111 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 16516 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 69259 0 0 0 83887 135 0 0 25 0 1 0 834320318 295317504 69237 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 72099 69237 1111 63 0 72036 0 vsize: 288396 [startup+850.112 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 16516 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 70085 0 0 0 84885 137 0 0 25 0 1 0 834320318 298594304 70063 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 72899 70063 1111 63 0 72836 0 vsize: 291596 [startup+860.112 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 16516 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 70917 0 0 0 85884 138 0 0 25 0 1 0 834320318 302030848 70895 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 73738 70895 1111 63 0 73675 0 vsize: 294952 [startup+870.112 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 16516 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 71774 0 0 0 86883 140 0 0 25 0 1 0 834320318 305614848 71752 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 74613 71752 1111 63 0 74550 0 vsize: 298452 [startup+880.112 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 16516 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 72607 0 0 0 87881 142 0 0 25 0 1 0 834320318 308899840 72585 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 75415 72585 1111 63 0 75352 0 vsize: 301660 [startup+890.12 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 16516 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 73451 0 0 0 88879 144 0 0 25 0 1 0 834320318 312483840 73429 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 76290 73429 1111 63 0 76227 0 vsize: 305160 [startup+900.138 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 16516 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 74334 0 0 0 89879 147 0 0 25 0 1 0 834320318 316067840 74312 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 77165 74312 1111 63 0 77102 0 vsize: 308660 [startup+910.139 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 16516 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 75219 0 0 0 90878 148 0 0 25 0 1 0 834320318 319647744 75197 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 78039 75197 1111 63 0 77976 0 vsize: 312156 [startup+920.14 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 16516 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 76064 0 0 0 91877 150 0 0 25 0 1 0 834320318 323084288 76042 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 78878 76042 1111 63 0 78815 0 vsize: 315512 [startup+930.14 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 16516 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 76910 0 0 0 92876 151 0 0 25 0 1 0 834320318 326516736 76888 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 79716 76888 1111 63 0 79653 0 vsize: 318864 [startup+940.141 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 16516 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 77748 0 0 0 93875 152 0 0 25 0 1 0 834320318 329953280 77726 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 80555 77726 1111 63 0 80492 0 vsize: 322220 [startup+950.149 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 16516 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 78593 0 0 0 94874 154 0 0 25 0 1 0 834320318 333537280 78571 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 81430 78571 1111 63 0 81367 0 vsize: 325720 [startup+960.157 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 16518 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 79442 0 0 0 95873 156 0 0 25 0 1 0 834320318 336965632 79420 4294967295 134512640 134714540 3221224592 3221222944 134567410 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 82267 79420 1111 63 0 82204 0 vsize: 329068 [startup+970.157 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 16518 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 80288 0 0 0 96871 158 0 0 25 0 1 0 834320318 340402176 80266 4294967295 134512640 134714540 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 83106 80266 1111 63 0 83043 0 vsize: 332424 [startup+980.157 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 16518 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 81139 0 0 0 97870 159 0 0 25 0 1 0 834320318 343838720 81117 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 83945 81117 1111 63 0 83882 0 vsize: 335780 [startup+990.158 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 16518 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 82032 0 0 0 98868 161 0 0 25 0 1 0 834320318 347570176 82010 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 84856 82010 1111 63 0 84793 0 vsize: 339424 [startup+1000.17 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 16518 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 82890 0 0 0 99868 162 0 0 25 0 1 0 834320318 351006720 82868 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 85695 82868 1111 63 0 85632 0 vsize: 342780 [startup+1010.17 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 16518 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 83892 0 0 0 100867 164 0 0 25 0 1 0 834320318 355184640 83870 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 86715 83870 1111 63 0 86652 0 vsize: 346860 [startup+1020.17 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 16518 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 84761 0 0 0 101865 166 0 0 25 0 1 0 834320318 358768640 84739 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 87590 84739 1111 63 0 87527 0 vsize: 350360 [startup+1030.17 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 16518 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 85758 0 0 0 102864 167 0 0 25 0 1 0 834320318 362803200 85736 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 88575 85736 1111 63 0 88512 0 vsize: 354300 [startup+1040.17 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 16518 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 86614 0 0 0 103863 169 0 0 25 0 1 0 834320318 366379008 86592 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 89448 86592 1111 63 0 89385 0 vsize: 357792 [startup+1050.17 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 16518 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 87507 0 0 0 104861 171 0 0 25 0 1 0 834320318 369963008 87485 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 90323 87485 1111 63 0 90260 0 vsize: 361292 [startup+1060.17 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 16518 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 88419 0 0 0 105859 173 0 0 25 0 1 0 834320318 373698560 88397 4294967295 134512640 134714540 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 91235 88397 1111 63 0 91172 0 vsize: 364940 [startup+1070.17 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 16518 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 89404 0 0 0 106857 175 0 0 25 0 1 0 834320318 377729024 89382 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 92219 89382 1111 63 0 92156 0 vsize: 368876 [startup+1080.17 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 16518 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 90449 0 0 0 107855 178 0 0 25 0 1 0 834320318 382058496 90427 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 93276 90427 1111 63 0 93213 0 vsize: 373104 [startup+1090.17 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 16518 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 91318 0 0 0 108853 179 0 0 25 0 1 0 834320318 385642496 91296 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 94151 91296 1111 63 0 94088 0 vsize: 376604 [startup+1100.17 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 16518 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 92272 0 0 0 109852 181 0 0 25 0 1 0 834320318 389525504 92250 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 95099 92250 1111 63 0 95036 0 vsize: 380396 [startup+1110.17 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 16518 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 93372 0 0 0 110850 183 0 0 25 0 1 0 834320318 394002432 93350 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 96192 93350 1111 63 0 96129 0 vsize: 384768 [startup+1120.17 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 16518 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 94277 0 0 0 111849 184 0 0 25 0 1 0 834320318 397737984 94255 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 97104 94255 1111 63 0 97041 0 vsize: 388416 [startup+1130.17 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 16518 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 95152 0 0 0 112848 185 0 0 25 0 1 0 834320318 401321984 95130 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 97979 95130 1111 63 0 97916 0 vsize: 391916 [startup+1140.18 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 16518 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 96044 0 0 0 113847 187 0 0 25 0 1 0 834320318 404901888 96022 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 98853 96022 1111 63 0 98790 0 vsize: 395412 [startup+1150.18 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 16518 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 96967 0 0 0 114846 189 0 0 25 0 1 0 834320318 408780800 96945 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 99800 96945 1111 63 0 99737 0 vsize: 399200 [startup+1160.18 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 16518 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 97861 0 0 0 115844 191 0 0 25 0 1 0 834320318 412364800 97839 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 100675 97839 1111 63 0 100612 0 vsize: 402700 [startup+1170.19 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 16518 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 98852 0 0 0 116843 192 0 0 25 0 1 0 834320318 416616448 98830 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 101713 98830 1111 63 0 101650 0 vsize: 406852 [startup+1180.19 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 16518 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 99781 0 0 0 117842 193 0 0 25 0 1 0 834320318 420347904 99759 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 102624 99759 1111 63 0 102561 0 vsize: 410496 [startup+1190.19 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 16518 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 100669 0 0 0 118841 195 0 0 25 0 1 0 834320318 423931904 100647 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 103499 100647 1111 63 0 103436 0 vsize: 413996 [startup+1200.19 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 16518 Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 101580 0 0 0 119840 196 0 0 25 0 1 0 834320318 427667456 101558 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 104411 101558 1111 63 0 104348 0 vsize: 417644 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.38 s] Raw data (loadavg): 1.00 0.99 0.91 1/54 16518 Raw data (stat): 16461 (bsolo_mis) Z 16460 10795 10794 0 -1 1036 101580 0 0 0 119840 214 0 0 25 0 1 0 834320318 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.38 CPU time (s): 1200.56 CPU user time (s): 1198.41 CPU system time (s): 2.14667 CPU usage (%): 100.015 Max. virtual memory (Kb): 417644 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####