Name | normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos9.opb |
MD5SUM | 450ad3720278f8a937b0ae6f1c4dfd6d |
Bench Category | optimization, medium integers (OPTMEDINT) |
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 | 145051 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 4825267 |
Number of bits of the sum of numbers in the objective function | 23 |
Biggest number in a constraint | 3840 |
Number of bits of the biggest number in a constraint | 12 |
Biggest sum of numbers in a constraint | 4825267 |
Number of bits of the biggest sum of numbers | 23 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 6.26005 |
Number of variables | 636571 |
Total number of constraints | 113008 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 2186 |
Number of constraints which are nor clauses,nor cardinality constraints | 110822 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 10240 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-19 12:24:48 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=19763 boxname=wulflinc31 idbench=1521 idsolver=3 numberseed=0 MD5SUM SOLVER: 03a6a792daea978e4202f78851741568 /oldhome/oroussel/solvers/bsolo_mis MD5SUM BENCH: 450ad3720278f8a937b0ae6f1c4dfd6d /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-neos9.opb REAL COMMAND: bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-neos9.opb IDLAUNCH: 19763 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.153 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.153 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 695440 kB Buffers: 31456 kB Cached: 281996 kB SwapCached: 5400 kB Active: 250480 kB Inactive: 69604 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 695188 kB SwapTotal: 2097892 kB SwapFree: 2091564 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5360 kB Slab: 13380 kB Committed_AS: 63860 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-19 12:44:52 (client local time) WITH STATUS 0 IN 1200.31 SECONDS stats: 19763 7 1200.31 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.93 0.98 0.99 2/55 20685 Raw data (stat): 20685 (runsolver) R 20684 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 786993215 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0 Raw data (statm): 258 100 215 215 0 43 0 vsize: 1032 [startup+10.0004 s] Raw data (loadavg): 0.94 0.98 0.99 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 2541 0 0 0 987 8 0 0 25 0 1 0 786993215 21778432 2518 4294967295 134512640 134714540 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5317 2518 1111 63 0 5254 0 vsize: 21268 [startup+20.0018 s] Raw data (loadavg): 0.95 0.98 0.99 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 4248 0 0 0 1984 12 0 0 25 0 1 0 786993215 28798976 4225 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7031 4225 1111 63 0 6968 0 vsize: 28124 [startup+30.0027 s] Raw data (loadavg): 0.96 0.98 0.99 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 5950 0 0 0 2980 16 0 0 25 0 1 0 786993215 35819520 5927 4294967295 134512640 134714540 3221221776 3221220004 1077414357 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8745 5927 1111 63 0 8682 0 vsize: 34980 [startup+40.0033 s] Raw data (loadavg): 0.96 0.98 0.99 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 7665 0 0 0 3978 19 0 0 25 0 1 0 786993215 42819584 7642 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10454 7642 1111 63 0 10391 0 vsize: 41816 [startup+50.0044 s] Raw data (loadavg): 0.97 0.98 0.99 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 9361 0 0 0 4975 22 0 0 25 0 1 0 786993215 49688576 9338 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12131 9338 1111 63 0 12068 0 vsize: 48524 [startup+60.0045 s] Raw data (loadavg): 0.97 0.98 0.99 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 11062 0 0 0 5973 24 0 0 25 0 1 0 786993215 56709120 11039 4294967295 134512640 134714540 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13845 11039 1111 63 0 13782 0 vsize: 55380 [startup+70.005 s] Raw data (loadavg): 0.98 0.98 0.99 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 12762 0 0 0 6971 26 0 0 25 0 1 0 786993215 63721472 12739 4294967295 134512640 134714540 3221221776 3221220004 1077414407 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 15557 12739 1111 63 0 15494 0 vsize: 62228 [startup+80.0062 s] Raw data (loadavg): 0.98 0.98 0.99 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 13858 0 0 0 7969 28 0 0 25 0 1 0 786993215 68235264 13835 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16659 13835 1111 63 0 16596 0 vsize: 66636 [startup+90.0062 s] Raw data (loadavg): 0.98 0.98 0.99 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 14303 0 0 0 8969 29 0 0 25 0 1 0 786993215 69926912 14280 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17072 14280 1111 63 0 17009 0 vsize: 68288 [startup+100.007 s] Raw data (loadavg): 0.98 0.98 0.99 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 14753 0 0 0 9968 30 0 0 25 0 1 0 786993215 71770112 14730 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17522 14730 1111 63 0 17459 0 vsize: 70088 [startup+110.007 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 15204 0 0 0 10967 31 0 0 25 0 1 0 786993215 73617408 15181 4294967295 134512640 134714540 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17973 15181 1111 63 0 17910 0 vsize: 71892 [startup+120.009 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 15648 0 0 0 11966 32 0 0 25 0 1 0 786993215 75460608 15625 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18423 15625 1111 63 0 18360 0 vsize: 73692 [startup+130.009 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 16105 0 0 0 12965 33 0 0 25 0 1 0 786993215 77307904 16082 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18874 16082 1111 63 0 18811 0 vsize: 75496 [startup+140.009 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 16548 0 0 0 13965 34 0 0 25 0 1 0 786993215 79175680 16525 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19330 16525 1111 63 0 19267 0 vsize: 77320 [startup+150.01 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 17011 0 0 0 14964 35 0 0 25 0 1 0 786993215 81145856 16988 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19811 16988 1111 63 0 19748 0 vsize: 79244 [startup+160.01 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 17463 0 0 0 15963 35 0 0 25 0 1 0 786993215 82989056 17440 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 20261 17440 1111 63 0 20198 0 vsize: 81044 [startup+170.011 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 17913 0 0 0 16962 37 0 0 25 0 1 0 786993215 84836352 17890 4294967295 134512640 134714540 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 20712 17890 1111 63 0 20649 0 vsize: 82848 [startup+180.011 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 18371 0 0 0 17962 38 0 0 25 0 1 0 786993215 86679552 18348 4294967295 134512640 134714540 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21162 18348 1111 63 0 21099 0 vsize: 84648 [startup+190.01 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 18823 0 0 0 18961 38 0 0 25 0 1 0 786993215 88526848 18800 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21613 18800 1111 63 0 21550 0 vsize: 86452 [startup+200.01 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 19272 0 0 0 19960 39 0 0 25 0 1 0 786993215 90390528 19249 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 22068 19249 1111 63 0 22005 0 vsize: 88272 [startup+210.01 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 19728 0 0 0 20959 41 0 0 25 0 1 0 786993215 92233728 19705 4294967295 134512640 134714540 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 22518 19705 1111 63 0 22455 0 vsize: 90072 [startup+220.011 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 20186 0 0 0 21958 42 0 0 25 0 1 0 786993215 94081024 20163 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 22969 20163 1111 63 0 22906 0 vsize: 91876 [startup+230.011 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 20644 0 0 0 22957 43 0 0 25 0 1 0 786993215 95928320 20621 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23420 20621 1111 63 0 23357 0 vsize: 93680 [startup+240.011 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 21101 0 0 0 23957 44 0 0 25 0 1 0 786993215 97771520 21078 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23870 21078 1111 63 0 23807 0 vsize: 95480 [startup+250.012 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 21551 0 0 0 24956 44 0 0 25 0 1 0 786993215 99618816 21528 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24321 21528 1111 63 0 24258 0 vsize: 97284 [startup+260.012 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 22007 0 0 0 25955 45 0 0 25 0 1 0 786993215 101482496 21984 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24776 21984 1111 63 0 24713 0 vsize: 99104 [startup+270.013 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 22464 0 0 0 26955 46 0 0 25 0 1 0 786993215 103485440 22441 4294967295 134512640 134714540 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 25265 22441 1111 63 0 25202 0 vsize: 101060 [startup+280.013 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 22921 0 0 0 27954 47 0 0 25 0 1 0 786993215 105328640 22898 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 25715 22898 1111 63 0 25652 0 vsize: 102860 [startup+290.013 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 23395 0 0 0 28953 48 0 0 25 0 1 0 786993215 107347968 23372 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26208 23372 1111 63 0 26145 0 vsize: 104832 [startup+300.014 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 23852 0 0 0 29953 49 0 0 25 0 1 0 786993215 109195264 23829 4294967295 134512640 134714540 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26659 23829 1111 63 0 26596 0 vsize: 106636 [startup+310.014 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 24309 0 0 0 30952 49 0 0 25 0 1 0 786993215 111038464 24286 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 27109 24286 1111 63 0 27046 0 vsize: 108436 [startup+320.014 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 24768 0 0 0 31952 50 0 0 25 0 1 0 786993215 112885760 24745 4294967295 134512640 134714540 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 27560 24745 1111 63 0 27497 0 vsize: 110240 [startup+330.016 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 25223 0 0 0 32951 51 0 0 25 0 1 0 786993215 114749440 25200 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28015 25200 1111 63 0 27952 0 vsize: 112060 [startup+340.015 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 25692 0 0 0 33950 52 0 0 25 0 1 0 786993215 116748288 25669 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28503 25669 1111 63 0 28440 0 vsize: 114012 [startup+350.016 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 26150 0 0 0 34950 53 0 0 25 0 1 0 786993215 118595584 26127 4294967295 134512640 134714540 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28954 26127 1111 63 0 28891 0 vsize: 115816 [startup+360.017 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 26608 0 0 0 35949 54 0 0 25 0 1 0 786993215 120438784 26585 4294967295 134512640 134714540 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 29404 26585 1111 63 0 29341 0 vsize: 117616 [startup+370.017 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 27077 0 0 0 36948 54 0 0 25 0 1 0 786993215 122286080 27054 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 29855 27054 1111 63 0 29792 0 vsize: 119420 [startup+380.017 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 27535 0 0 0 37947 56 0 0 25 0 1 0 786993215 124284928 27512 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30343 27512 1111 63 0 30280 0 vsize: 121372 [startup+390.017 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 28000 0 0 0 38946 57 0 0 25 0 1 0 786993215 126152704 27977 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30799 27977 1111 63 0 30736 0 vsize: 123196 [startup+400.018 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 28461 0 0 0 39946 58 0 0 25 0 1 0 786993215 127995904 28438 4294967295 134512640 134714540 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 31249 28438 1111 63 0 31186 0 vsize: 124996 [startup+410.018 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 28931 0 0 0 40945 59 0 0 25 0 1 0 786993215 129998848 28908 4294967295 134512640 134714540 3221221776 3221220004 1077414372 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 31738 28908 1111 63 0 31675 0 vsize: 126952 [startup+420.019 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 29390 0 0 0 41944 60 0 0 25 0 1 0 786993215 131842048 29367 4294967295 134512640 134714540 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 32188 29367 1111 63 0 32125 0 vsize: 128752 [startup+430.02 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 29859 0 0 0 42943 61 0 0 25 0 1 0 786993215 133689344 29836 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 32639 29836 1111 63 0 32576 0 vsize: 130556 [startup+440.02 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 30316 0 0 0 43942 62 0 0 25 0 1 0 786993215 135532544 30293 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 33089 30293 1111 63 0 33026 0 vsize: 132356 [startup+450.02 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 30786 0 0 0 44942 63 0 0 25 0 1 0 786993215 137535488 30763 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 33578 30763 1111 63 0 33515 0 vsize: 134312 [startup+460.02 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 31257 0 0 0 45941 63 0 0 25 0 1 0 786993215 139399168 31234 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 34033 31234 1111 63 0 33970 0 vsize: 136132 [startup+470.021 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 31719 0 0 0 46940 64 0 0 25 0 1 0 786993215 141402112 31696 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 34522 31696 1111 63 0 34459 0 vsize: 138088 [startup+480.022 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 32182 0 0 0 47940 65 0 0 25 0 1 0 786993215 143245312 32159 4294967295 134512640 134714540 3221221776 3221220004 1077414357 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 34972 32159 1111 63 0 34909 0 vsize: 139888 [startup+490.021 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 32653 0 0 0 48939 66 0 0 25 0 1 0 786993215 145092608 32630 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 35423 32630 1111 63 0 35360 0 vsize: 141692 [startup+500.022 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 33123 0 0 0 49939 67 0 0 25 0 1 0 786993215 147091456 33100 4294967295 134512640 134714540 3221221776 3221220004 1077414336 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 35911 33100 1111 63 0 35848 0 vsize: 143644 [startup+510.023 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 33592 0 0 0 50938 67 0 0 25 0 1 0 786993215 148938752 33569 4294967295 134512640 134714540 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 36362 33569 1111 63 0 36299 0 vsize: 145448 [startup+520.023 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 34062 0 0 0 51938 68 0 0 25 0 1 0 786993215 150937600 34039 4294967295 134512640 134714540 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 36850 34039 1111 63 0 36787 0 vsize: 147400 [startup+530.024 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 34531 0 0 0 52936 70 0 0 25 0 1 0 786993215 152784896 34508 4294967295 134512640 134714540 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 37301 34508 1111 63 0 37238 0 vsize: 149204 [startup+540.024 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 34999 0 0 0 53935 71 0 0 25 0 1 0 786993215 154804224 34976 4294967295 134512640 134714540 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 37794 34976 1111 63 0 37731 0 vsize: 151176 [startup+550.025 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 35469 0 0 0 54934 72 0 0 25 0 1 0 786993215 156647424 35446 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 38244 35446 1111 63 0 38181 0 vsize: 152976 [startup+560.025 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 35957 0 0 0 55934 73 0 0 25 0 1 0 786993215 158789632 35934 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 38767 35934 1111 63 0 38704 0 vsize: 155068 [startup+570.026 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 36428 0 0 0 56933 73 0 0 25 0 1 0 786993215 160788480 36405 4294967295 134512640 134714540 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 39255 36405 1111 63 0 39192 0 vsize: 157020 [startup+580.026 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 36904 0 0 0 57932 74 0 0 25 0 1 0 786993215 162635776 36881 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 39706 36881 1111 63 0 39643 0 vsize: 158824 [startup+590.026 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 37380 0 0 0 58932 75 0 0 25 0 1 0 786993215 164634624 37357 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 40194 37357 1111 63 0 40131 0 vsize: 160776 [startup+600.027 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 37851 0 0 0 59930 77 0 0 25 0 1 0 786993215 166481920 37828 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 40645 37828 1111 63 0 40582 0 vsize: 162580 [startup+610.028 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 38327 0 0 0 60928 78 0 0 25 0 1 0 786993215 168484864 38304 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 41134 38304 1111 63 0 41071 0 vsize: 164536 [startup+620.029 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 38801 0 0 0 61927 79 0 0 25 0 1 0 786993215 170504192 38778 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 41627 38778 1111 63 0 41564 0 vsize: 166508 [startup+630.029 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 39273 0 0 0 62927 80 0 0 25 0 1 0 786993215 172347392 39250 4294967295 134512640 134714540 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 42077 39250 1111 63 0 42014 0 vsize: 168308 [startup+640.029 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 39748 0 0 0 63926 80 0 0 25 0 1 0 786993215 174350336 39725 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 42566 39725 1111 63 0 42503 0 vsize: 170264 [startup+650.029 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 40224 0 0 0 64925 82 0 0 25 0 1 0 786993215 176193536 40201 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 43016 40201 1111 63 0 42953 0 vsize: 172064 [startup+660.029 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 40694 0 0 0 65924 82 0 0 25 0 1 0 786993215 178196480 40671 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 43505 40671 1111 63 0 43442 0 vsize: 174020 [startup+670.028 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 41177 0 0 0 66923 84 0 0 25 0 1 0 786993215 180195328 41154 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 43993 41154 1111 63 0 43930 0 vsize: 175972 [startup+680.029 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 41646 0 0 0 67923 84 0 0 25 0 1 0 786993215 182042624 41623 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 44444 41623 1111 63 0 44381 0 vsize: 177776 [startup+690.03 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 42129 0 0 0 68923 85 0 0 25 0 1 0 786993215 184041472 42106 4294967295 134512640 134714540 3221221776 3221219644 1077245731 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 44932 42106 1111 63 0 44869 0 vsize: 179728 [startup+700.03 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 42605 0 0 0 69923 85 0 0 25 0 1 0 786993215 186064896 42582 4294967295 134512640 134714540 3221221776 3221220004 1077414424 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 45426 42582 1111 63 0 45363 0 vsize: 181704 [startup+710.03 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 43081 0 0 0 70922 86 0 0 25 0 1 0 786993215 187908096 43058 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 45876 43058 1111 63 0 45813 0 vsize: 183504 [startup+720.03 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 43562 0 0 0 71921 87 0 0 25 0 1 0 786993215 189911040 43539 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 46365 43539 1111 63 0 46302 0 vsize: 185460 [startup+730.03 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 44033 0 0 0 72921 87 0 0 25 0 1 0 786993215 191909888 44010 4294967295 134512640 134714540 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 46853 44010 1111 63 0 46790 0 vsize: 187412 [startup+740.03 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 44516 0 0 0 73920 88 0 0 25 0 1 0 786993215 193757184 44493 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 47304 44493 1111 63 0 47241 0 vsize: 189216 [startup+750.031 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 44998 0 0 0 74919 89 0 0 25 0 1 0 786993215 195756032 44975 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 47792 44975 1111 63 0 47729 0 vsize: 191168 [startup+760.031 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 45475 0 0 0 75919 90 0 0 25 0 1 0 786993215 197758976 45452 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 48281 45452 1111 63 0 48218 0 vsize: 193124 [startup+770.031 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 45952 0 0 0 76918 91 0 0 25 0 1 0 786993215 199757824 45929 4294967295 134512640 134714540 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 48769 45929 1111 63 0 48706 0 vsize: 195076 [startup+780.032 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 46434 0 0 0 77917 92 0 0 25 0 1 0 786993215 201621504 46411 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 49224 46411 1111 63 0 49161 0 vsize: 196896 [startup+790.032 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 46916 0 0 0 78916 93 0 0 25 0 1 0 786993215 203624448 46893 4294967295 134512640 134714540 3221221776 3221220004 1077414382 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 49713 46893 1111 63 0 49650 0 vsize: 198852 [startup+800.032 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 47399 0 0 0 79915 95 0 0 25 0 1 0 786993215 205623296 47376 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 50201 47376 1111 63 0 50138 0 vsize: 200804 [startup+810.033 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 47881 0 0 0 80914 95 0 0 25 0 1 0 786993215 207626240 47858 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 50690 47858 1111 63 0 50627 0 vsize: 202760 [startup+820.032 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 48363 0 0 0 81914 96 0 0 25 0 1 0 786993215 209625088 48340 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 51178 48340 1111 63 0 51115 0 vsize: 204712 [startup+830.033 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 48846 0 0 0 82912 97 0 0 25 0 1 0 786993215 211472384 48823 4294967295 134512640 134714540 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 51629 48823 1111 63 0 51566 0 vsize: 206516 [startup+840.033 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 49329 0 0 0 83911 99 0 0 25 0 1 0 786993215 213471232 49306 4294967295 134512640 134714540 3221221776 3221220004 1077414357 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 52117 49306 1111 63 0 52054 0 vsize: 208468 [startup+850.033 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 49812 0 0 0 84911 99 0 0 25 0 1 0 786993215 215474176 49789 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 52606 49789 1111 63 0 52543 0 vsize: 210424 [startup+860.033 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 50295 0 0 0 85911 100 0 0 25 0 1 0 786993215 217473024 50272 4294967295 134512640 134714540 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 53094 50272 1111 63 0 53031 0 vsize: 212376 [startup+870.033 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 50778 0 0 0 86909 101 0 0 25 0 1 0 786993215 219475968 50755 4294967295 134512640 134714540 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 53583 50755 1111 63 0 53520 0 vsize: 214332 [startup+880.034 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 51259 0 0 0 87909 102 0 0 25 0 1 0 786993215 221339648 51236 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 54038 51236 1111 63 0 53975 0 vsize: 216152 [startup+890.034 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 51748 0 0 0 88908 103 0 0 25 0 1 0 786993215 223338496 51725 4294967295 134512640 134714540 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 54526 51725 1111 63 0 54463 0 vsize: 218104 [startup+900.035 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 52236 0 0 0 89908 104 0 0 25 0 1 0 786993215 225341440 52213 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 55015 52213 1111 63 0 54952 0 vsize: 220060 [startup+910.035 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 52720 0 0 0 90907 104 0 0 25 0 1 0 786993215 227340288 52697 4294967295 134512640 134714540 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 55503 52697 1111 63 0 55440 0 vsize: 222012 [startup+920.035 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 53203 0 0 0 91906 105 0 0 25 0 1 0 786993215 229343232 53180 4294967295 134512640 134714540 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 55992 53180 1111 63 0 55929 0 vsize: 223968 [startup+930.036 s] Raw data (loadavg): 1.07 1.00 1.00 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 53685 0 0 0 92905 107 0 0 25 0 1 0 786993215 231342080 53662 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 56480 53662 1111 63 0 56417 0 vsize: 225920 [startup+940.036 s] Raw data (loadavg): 1.06 1.00 1.00 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 54181 0 0 0 93904 108 0 0 25 0 1 0 786993215 233345024 54158 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 56969 54158 1111 63 0 56906 0 vsize: 227876 [startup+950.037 s] Raw data (loadavg): 1.05 1.00 1.00 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 54663 0 0 0 94903 109 0 0 25 0 1 0 786993215 235343872 54640 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 57457 54640 1111 63 0 57394 0 vsize: 229828 [startup+960.038 s] Raw data (loadavg): 1.04 1.00 1.00 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 55146 0 0 0 95902 110 0 0 25 0 1 0 786993215 237318144 55123 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 57939 55123 1111 63 0 57876 0 vsize: 231756 [startup+970.038 s] Raw data (loadavg): 1.03 1.00 1.00 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 55640 0 0 0 96902 111 0 0 25 0 1 0 786993215 239337472 55617 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 58432 55617 1111 63 0 58369 0 vsize: 233728 [startup+980.038 s] Raw data (loadavg): 1.03 1.00 1.00 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 56123 0 0 0 97901 112 0 0 25 0 1 0 786993215 241340416 56100 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 58921 56100 1111 63 0 58858 0 vsize: 235684 [startup+990.038 s] Raw data (loadavg): 1.02 1.00 1.00 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 56606 0 0 0 98900 113 0 0 25 0 1 0 786993215 243339264 56583 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 59409 56583 1111 63 0 59346 0 vsize: 237636 [startup+1000.04 s] Raw data (loadavg): 1.02 1.00 1.00 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 57100 0 0 0 99900 113 0 0 25 0 1 0 786993215 245342208 57077 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 59898 57077 1111 63 0 59835 0 vsize: 239592 [startup+1010.04 s] Raw data (loadavg): 1.02 1.00 1.00 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 57584 0 0 0 100899 115 0 0 25 0 1 0 786993215 247341056 57561 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 60386 57561 1111 63 0 60323 0 vsize: 241544 [startup+1020.04 s] Raw data (loadavg): 1.01 1.00 1.00 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 58079 0 0 0 101898 115 0 0 25 0 1 0 786993215 249344000 58056 4294967295 134512640 134714540 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 60875 58056 1111 63 0 60812 0 vsize: 243500 [startup+1030.04 s] Raw data (loadavg): 1.01 1.00 1.00 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 58562 0 0 0 102897 117 0 0 25 0 1 0 786993215 251342848 58539 4294967295 134512640 134714540 3221221776 3221220004 1077414407 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 61363 58539 1111 63 0 61300 0 vsize: 245452 [startup+1040.04 s] Raw data (loadavg): 1.01 1.00 1.00 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 59057 0 0 0 103897 117 0 0 25 0 1 0 786993215 253345792 59034 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 61852 59034 1111 63 0 61789 0 vsize: 247408 [startup+1050.04 s] Raw data (loadavg): 1.01 1.00 1.00 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 59552 0 0 0 104896 118 0 0 25 0 1 0 786993215 255344640 59529 4294967295 134512640 134714540 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 62340 59529 1111 63 0 62277 0 vsize: 249360 [startup+1060.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 60034 0 0 0 105895 119 0 0 25 0 1 0 786993215 257347584 60011 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 62829 60011 1111 63 0 62766 0 vsize: 251316 [startup+1070.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 60529 0 0 0 106894 121 0 0 25 0 1 0 786993215 259342336 60506 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 63316 60506 1111 63 0 63253 0 vsize: 253264 [startup+1080.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 61022 0 0 0 107893 122 0 0 25 0 1 0 786993215 261341184 60999 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 63804 60999 1111 63 0 63741 0 vsize: 255216 [startup+1090.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 61538 0 0 0 108892 123 0 0 25 0 1 0 786993215 263680000 61515 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 64375 61515 1111 63 0 64312 0 vsize: 257500 [startup+1100.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 62033 0 0 0 109892 123 0 0 25 0 1 0 786993215 265678848 62010 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 64863 62010 1111 63 0 64800 0 vsize: 259452 [startup+1110.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 62529 0 0 0 110891 125 0 0 25 0 1 0 786993215 267833344 62506 4294967295 134512640 134714540 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 65389 62506 1111 63 0 65326 0 vsize: 261556 [startup+1120.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 63024 0 0 0 111890 125 0 0 25 0 1 0 786993215 269811712 63001 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 65872 63001 1111 63 0 65809 0 vsize: 263488 [startup+1130.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 63519 0 0 0 112890 126 0 0 25 0 1 0 786993215 271810560 63496 4294967295 134512640 134714540 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 66360 63496 1111 63 0 66297 0 vsize: 265440 [startup+1140.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 64015 0 0 0 113889 127 0 0 25 0 1 0 786993215 273813504 63992 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 66849 63992 1111 63 0 66786 0 vsize: 267396 [startup+1150.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 64511 0 0 0 114889 127 0 0 25 0 1 0 786993215 275812352 64488 4294967295 134512640 134714540 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 67337 64488 1111 63 0 67274 0 vsize: 269348 [startup+1160.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 64999 0 0 0 115888 128 0 0 25 0 1 0 786993215 277815296 64976 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 67826 64976 1111 63 0 67763 0 vsize: 271304 [startup+1170.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 65494 0 0 0 116888 129 0 0 25 0 1 0 786993215 279969792 65471 4294967295 134512640 134714540 3221221776 3221219644 1077244492 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 68352 65471 1111 63 0 68289 0 vsize: 273408 [startup+1180.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 65991 0 0 0 117887 130 0 0 25 0 1 0 786993215 281972736 65968 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 68841 65968 1111 63 0 68778 0 vsize: 275364 [startup+1190.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 66484 0 0 0 118886 131 0 0 25 0 1 0 786993215 283992064 66461 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 69334 66461 1111 63 0 69271 0 vsize: 277336 [startup+1200.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 20685 Raw data (stat): 20685 (bsolo_mis) R 20684 7876 7672 0 -1 0 66985 0 0 0 119885 132 0 0 25 0 1 0 786993215 285990912 66962 4294967295 134512640 134714540 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 69822 66962 1111 63 0 69759 0 vsize: 279288 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.17 s] Raw data (loadavg): 1.00 1.00 1.00 1/55 20685 Raw data (stat): 20685 (bsolo_mis) Z 20684 7876 7672 0 -1 1036 66985 0 0 0 119885 144 0 0 25 0 1 0 786993215 0 0 4294967295 0 0 0 0 0 0 0 1 0 3222412051 0 0 17 1 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child ended because it received signal 15 (SIGTERM) Real time (s): 1200.17 CPU time (s): 1200.31 CPU user time (s): 1198.86 CPU system time (s): 1.44878 CPU usage (%): 100.011 Max. virtual memory (Kb): 279288 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####