Name | normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-fit2d.opb |
MD5SUM | 2e76b80d3e2b7702736bbbb87d69e547 |
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 | 75000 |
Biggest coefficient in the objective function | 20812800 |
Number of bits for the biggest coefficient in the objective function | 25 |
Sum of the numbers in the objective function | 5499924834 |
Number of bits of the sum of numbers in the objective function | 33 |
Biggest number in a constraint | 20812800 |
Number of bits of the biggest number in a constraint | 25 |
Biggest sum of numbers in a constraint | 5499924834 |
Number of bits of the biggest sum of numbers | 33 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.850869 |
Number of variables | 87000 |
Total number of constraints | 10525 |
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 | 10525 |
Minimum length of a constraint | 7 |
Maximum length of a constraint | 87000 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-23 22:30:00 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=15798 boxname=wulflinc31 idbench=1216 idsolver=3 numberseed=0 MD5SUM SOLVER: 03a6a792daea978e4202f78851741568 /oldhome/oroussel/solvers/bsolo_mis MD5SUM BENCH: 2e76b80d3e2b7702736bbbb87d69e547 /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-fit2d.opb REAL COMMAND: bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-fit2d.opb IDLAUNCH: 15798 /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: 698904 kB Buffers: 13480 kB Cached: 301096 kB SwapCached: 1352 kB Active: 244912 kB Inactive: 72188 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 698652 kB SwapTotal: 2097892 kB SwapFree: 2095532 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5104 kB Slab: 12956 kB Committed_AS: 63840 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-23 22:50:04 (client local time) WITH STATUS 0 IN 1200.38 SECONDS stats: 15798 7 1200.38 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (runsolver) R 18963 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 825188739 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0 Raw data (statm): 258 100 215 215 0 43 0 vsize: 1032 [startup+10.0006 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 1262 0 0 0 992 4 0 0 25 0 1 0 825188739 17268736 1239 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4216 1239 1111 63 0 4153 0 vsize: 16864 [startup+20.001 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 1837 0 0 0 1991 5 0 0 25 0 1 0 825188739 19652608 1814 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4798 1814 1111 63 0 4735 0 vsize: 19192 [startup+30.001 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 2416 0 0 0 2989 7 0 0 25 0 1 0 825188739 22052864 2393 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5384 2393 1111 63 0 5321 0 vsize: 21536 [startup+40.0022 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 2992 0 0 0 3988 9 0 0 25 0 1 0 825188739 24461312 2969 4294967295 134512640 134714540 3221221776 3221220004 1077414424 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5972 2969 1111 63 0 5909 0 vsize: 23888 [startup+50.0027 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 3567 0 0 0 4987 10 0 0 25 0 1 0 825188739 26820608 3544 4294967295 134512640 134714540 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6548 3544 1111 63 0 6485 0 vsize: 26192 [startup+60.0027 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 4139 0 0 0 5986 11 0 0 25 0 1 0 825188739 29057024 4116 4294967295 134512640 134714540 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7094 4116 1111 63 0 7031 0 vsize: 28376 [startup+70.003 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 4722 0 0 0 6985 13 0 0 25 0 1 0 825188739 31444992 4699 4294967295 134512640 134714540 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7677 4699 1111 63 0 7614 0 vsize: 30708 [startup+80.0035 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 5304 0 0 0 7984 14 0 0 25 0 1 0 825188739 33828864 5281 4294967295 134512640 134714540 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8259 5281 1111 63 0 8196 0 vsize: 33036 [startup+90.0034 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 5881 0 0 0 8983 15 0 0 25 0 1 0 825188739 36241408 5858 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8848 5858 1111 63 0 8785 0 vsize: 35392 [startup+100.005 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 6476 0 0 0 9982 16 0 0 25 0 1 0 825188739 38752256 6453 4294967295 134512640 134714540 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9461 6453 1111 63 0 9398 0 vsize: 37844 [startup+110.005 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 7059 0 0 0 10981 17 0 0 25 0 1 0 825188739 41140224 7036 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10044 7036 1111 63 0 9981 0 vsize: 40176 [startup+120.005 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 7650 0 0 0 11980 18 0 0 25 0 1 0 825188739 43507712 7627 4294967295 134512640 134714540 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10622 7627 1111 63 0 10559 0 vsize: 42488 [startup+130.006 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 8240 0 0 0 12979 19 0 0 25 0 1 0 825188739 45891584 8217 4294967295 134512640 134714540 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11204 8217 1111 63 0 11141 0 vsize: 44816 [startup+140.005 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 8824 0 0 0 13978 20 0 0 25 0 1 0 825188739 48279552 8801 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11787 8801 1111 63 0 11724 0 vsize: 47148 [startup+150.006 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 9426 0 0 0 14977 22 0 0 25 0 1 0 825188739 50794496 9403 4294967295 134512640 134714540 3221221776 3221220004 1077414432 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12401 9403 1111 63 0 12338 0 vsize: 49604 [startup+160.006 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 10015 0 0 0 15976 23 0 0 25 0 1 0 825188739 53182464 9992 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12984 9992 1111 63 0 12921 0 vsize: 51936 [startup+170.006 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 10613 0 0 0 16974 25 0 0 25 0 1 0 825188739 55570432 10590 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13567 10590 1111 63 0 13504 0 vsize: 54268 [startup+180.006 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 11221 0 0 0 17973 26 0 0 25 0 1 0 825188739 58089472 11198 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 14182 11198 1111 63 0 14119 0 vsize: 56728 [startup+190.006 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 11816 0 0 0 18972 28 0 0 25 0 1 0 825188739 60477440 11793 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 14765 11793 1111 63 0 14702 0 vsize: 59060 [startup+200.007 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 12436 0 0 0 19970 29 0 0 25 0 1 0 825188739 63139840 12413 4294967295 134512640 134714540 3221221776 3221220004 1077414336 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 15415 12413 1111 63 0 15352 0 vsize: 61660 [startup+210.007 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 13045 0 0 0 20970 30 0 0 25 0 1 0 825188739 65683456 13022 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 16036 13022 1111 63 0 15973 0 vsize: 64144 [startup+220.007 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 13655 0 0 0 21968 32 0 0 25 0 1 0 825188739 68046848 13632 4294967295 134512640 134714540 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 16613 13632 1111 63 0 16550 0 vsize: 66452 [startup+230.007 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 14263 0 0 0 22967 33 0 0 25 0 1 0 825188739 70565888 14240 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 17228 14240 1111 63 0 17165 0 vsize: 68912 [startup+240.007 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 14874 0 0 0 23966 34 0 0 25 0 1 0 825188739 73109504 14851 4294967295 134512640 134714540 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 17849 14851 1111 63 0 17786 0 vsize: 71396 [startup+250.009 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 15494 0 0 0 24965 35 0 0 25 0 1 0 825188739 75653120 15471 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18470 15471 1111 63 0 18407 0 vsize: 73880 [startup+260.009 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 16112 0 0 0 25965 36 0 0 25 0 1 0 825188739 78172160 16089 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19085 16089 1111 63 0 19022 0 vsize: 76340 [startup+270.009 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 16733 0 0 0 26964 37 0 0 25 0 1 0 825188739 80715776 16710 4294967295 134512640 134714540 3221221776 3221218300 1077191059 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19706 16710 1111 63 0 19643 0 vsize: 78824 [startup+280.01 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 17354 0 0 0 27963 38 0 0 25 0 1 0 825188739 83234816 17331 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20321 17331 1111 63 0 20258 0 vsize: 81284 [startup+290.01 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 17983 0 0 0 28962 39 0 0 25 0 1 0 825188739 85774336 17960 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20941 17960 1111 63 0 20878 0 vsize: 83764 [startup+300.011 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 18606 0 0 0 29962 40 0 0 25 0 1 0 825188739 88432640 18583 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 21590 18583 1111 63 0 21527 0 vsize: 86360 [startup+310.011 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 19235 0 0 0 30961 41 0 0 25 0 1 0 825188739 90972160 19212 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 22210 19212 1111 63 0 22147 0 vsize: 88840 [startup+320.011 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 19874 0 0 0 31959 43 0 0 25 0 1 0 825188739 93487104 19851 4294967295 134512640 134714540 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 22824 19851 1111 63 0 22761 0 vsize: 91296 [startup+330.012 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 20506 0 0 0 32959 43 0 0 25 0 1 0 825188739 96190464 20483 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 23484 20483 1111 63 0 23421 0 vsize: 93936 [startup+340.012 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 21146 0 0 0 33958 44 0 0 25 0 1 0 825188739 98713600 21123 4294967295 134512640 134714540 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24100 21123 1111 63 0 24037 0 vsize: 96400 [startup+350.013 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 21785 0 0 0 34957 46 0 0 25 0 1 0 825188739 101412864 21762 4294967295 134512640 134714540 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24759 21762 1111 63 0 24696 0 vsize: 99036 [startup+360.014 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 22425 0 0 0 35956 47 0 0 25 0 1 0 825188739 103927808 22402 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 25373 22402 1111 63 0 25310 0 vsize: 101492 [startup+370.014 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 23093 0 0 0 36955 48 0 0 25 0 1 0 825188739 106905600 23070 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 26100 23070 1111 63 0 26037 0 vsize: 104400 [startup+380.014 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 23739 0 0 0 37954 49 0 0 25 0 1 0 825188739 109420544 23716 4294967295 134512640 134714540 3221221776 3221220004 1077414399 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 26714 23716 1111 63 0 26651 0 vsize: 106856 [startup+390.014 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 24392 0 0 0 38953 50 0 0 25 0 1 0 825188739 112095232 24369 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 27367 24369 1111 63 0 27304 0 vsize: 109468 [startup+400.016 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 25042 0 0 0 39952 52 0 0 25 0 1 0 825188739 114774016 25019 4294967295 134512640 134714540 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 28021 25019 1111 63 0 27958 0 vsize: 112084 [startup+410.016 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 25688 0 0 0 40951 53 0 0 25 0 1 0 825188739 117448704 25665 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 28674 25665 1111 63 0 28611 0 vsize: 114696 [startup+420.017 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 26350 0 0 0 41950 54 0 0 25 0 1 0 825188739 120147968 26327 4294967295 134512640 134714540 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 29333 26327 1111 63 0 29270 0 vsize: 117332 [startup+430.017 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 27010 0 0 0 42948 56 0 0 25 0 1 0 825188739 122847232 26987 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 29992 26987 1111 63 0 29929 0 vsize: 119968 [startup+440.017 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 27671 0 0 0 43947 58 0 0 25 0 1 0 825188739 125501440 27648 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30640 27648 1111 63 0 30577 0 vsize: 122560 [startup+450.018 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 28337 0 0 0 44946 59 0 0 25 0 1 0 825188739 128356352 28314 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31337 28314 1111 63 0 31274 0 vsize: 125348 [startup+460.018 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 29000 0 0 0 45945 60 0 0 25 0 1 0 825188739 131039232 28977 4294967295 134512640 134714540 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31992 28977 1111 63 0 31929 0 vsize: 127968 [startup+470.018 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 29671 0 0 0 46944 61 0 0 25 0 1 0 825188739 133713920 29648 4294967295 134512640 134714540 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 32645 29648 1111 63 0 32582 0 vsize: 130580 [startup+480.018 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 30345 0 0 0 47943 62 0 0 25 0 1 0 825188739 136519680 30322 4294967295 134512640 134714540 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 33330 30322 1111 63 0 33267 0 vsize: 133320 [startup+490.019 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 31019 0 0 0 48943 63 0 0 25 0 1 0 825188739 139223040 30996 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 33990 30996 1111 63 0 33927 0 vsize: 135960 [startup+500.02 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 31692 0 0 0 49941 65 0 0 25 0 1 0 825188739 142077952 31669 4294967295 134512640 134714540 3221221776 3221220004 1077414336 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 34687 31669 1111 63 0 34624 0 vsize: 138748 [startup+510.02 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 32365 0 0 0 50939 66 0 0 25 0 1 0 825188739 144728064 32342 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 35334 32342 1111 63 0 35271 0 vsize: 141336 [startup+520.019 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 33053 0 0 0 51938 67 0 0 25 0 1 0 825188739 147542016 33030 4294967295 134512640 134714540 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 36021 33030 1111 63 0 35958 0 vsize: 144084 [startup+530.019 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 33731 0 0 0 52937 69 0 0 25 0 1 0 825188739 150396928 33708 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 36718 33708 1111 63 0 36655 0 vsize: 146872 [startup+540.02 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 34418 0 0 0 53936 70 0 0 25 0 1 0 825188739 153227264 34395 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 37409 34395 1111 63 0 37346 0 vsize: 149636 [startup+550.02 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 35110 0 0 0 54935 71 0 0 25 0 1 0 825188739 156037120 35087 4294967295 134512640 134714540 3221221776 3221220004 1077414432 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 38095 35087 1111 63 0 38032 0 vsize: 152380 [startup+560.02 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 35796 0 0 0 55935 72 0 0 25 0 1 0 825188739 158736384 35773 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 38754 35773 1111 63 0 38691 0 vsize: 155016 [startup+570.02 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 36496 0 0 0 56933 74 0 0 25 0 1 0 825188739 161701888 36473 4294967295 134512640 134714540 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 39478 36473 1111 63 0 39415 0 vsize: 157912 [startup+580.021 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 37194 0 0 0 57931 75 0 0 25 0 1 0 825188739 164532224 37171 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 40169 37171 1111 63 0 40106 0 vsize: 160676 [startup+590.021 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 37886 0 0 0 58931 76 0 0 25 0 1 0 825188739 167362560 37863 4294967295 134512640 134714540 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 40860 37863 1111 63 0 40797 0 vsize: 163440 [startup+600.022 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 38591 0 0 0 59929 78 0 0 25 0 1 0 825188739 170176512 38568 4294967295 134512640 134714540 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 41547 38568 1111 63 0 41484 0 vsize: 166188 [startup+610.023 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 39302 0 0 0 60928 79 0 0 25 0 1 0 825188739 173162496 39279 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 42276 39279 1111 63 0 42213 0 vsize: 169104 [startup+620.023 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 39984 0 0 0 61927 81 0 0 25 0 1 0 825188739 175996928 39961 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 42968 39961 1111 63 0 42905 0 vsize: 171872 [startup+630.023 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 40701 0 0 0 62926 82 0 0 25 0 1 0 825188739 178831360 40678 4294967295 134512640 134714540 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43660 40678 1111 63 0 43597 0 vsize: 174640 [startup+640.024 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 41406 0 0 0 63925 83 0 0 25 0 1 0 825188739 181817344 41383 4294967295 134512640 134714540 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 44389 41383 1111 63 0 44326 0 vsize: 177556 [startup+650.025 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 42125 0 0 0 64924 84 0 0 25 0 1 0 825188739 184758272 42102 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 45107 42102 1111 63 0 45044 0 vsize: 180428 [startup+660.025 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 42837 0 0 0 65923 86 0 0 25 0 1 0 825188739 187588608 42814 4294967295 134512640 134714540 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 45798 42814 1111 63 0 45735 0 vsize: 183192 [startup+670.025 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 43555 0 0 0 66922 87 0 0 25 0 1 0 825188739 190558208 43532 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 46523 43532 1111 63 0 46460 0 vsize: 186092 [startup+680.025 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 44278 0 0 0 67920 88 0 0 25 0 1 0 825188739 193568768 44255 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 47258 44255 1111 63 0 47195 0 vsize: 189032 [startup+690.026 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 44996 0 0 0 68919 90 0 0 25 0 1 0 825188739 196509696 44973 4294967295 134512640 134714540 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 47976 44973 1111 63 0 47913 0 vsize: 191904 [startup+700.026 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 45753 0 0 0 69918 91 0 0 25 0 1 0 825188739 199733248 45730 4294967295 134512640 134714540 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 48763 45730 1111 63 0 48700 0 vsize: 195052 [startup+710.027 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 46485 0 0 0 70917 92 0 0 25 0 1 0 825188739 202723328 46462 4294967295 134512640 134714540 3221221776 3221218444 1077254713 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 49493 46462 1111 63 0 49430 0 vsize: 197972 [startup+720.028 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 47209 0 0 0 71916 94 0 0 25 0 1 0 825188739 205709312 47186 4294967295 134512640 134714540 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 50222 47186 1111 63 0 50159 0 vsize: 200888 [startup+730.028 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 47947 0 0 0 72914 96 0 0 25 0 1 0 825188739 208834560 47924 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 50985 47924 1111 63 0 50922 0 vsize: 203940 [startup+740.028 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 48684 0 0 0 73913 97 0 0 25 0 1 0 825188739 211800064 48661 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 51709 48661 1111 63 0 51646 0 vsize: 206836 [startup+750.029 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 49485 0 0 0 74912 98 0 0 25 0 1 0 825188739 215076864 49462 4294967295 134512640 134714540 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 52509 49462 1111 63 0 52446 0 vsize: 210036 [startup+760.03 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 50298 0 0 0 75912 99 0 0 25 0 1 0 825188739 218349568 50275 4294967295 134512640 134714540 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 53308 50275 1111 63 0 53245 0 vsize: 213232 [startup+770.03 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 51132 0 0 0 76909 102 0 0 25 0 1 0 825188739 221728768 51109 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 54133 51109 1111 63 0 54070 0 vsize: 216532 [startup+780.032 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 51963 0 0 0 77908 103 0 0 25 0 1 0 825188739 225263616 51940 4294967295 134512640 134714540 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 54996 51940 1111 63 0 54933 0 vsize: 219984 [startup+790.033 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 52796 0 0 0 78906 105 0 0 25 0 1 0 825188739 228642816 52773 4294967295 134512640 134714540 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 55821 52773 1111 63 0 55758 0 vsize: 223284 [startup+800.034 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 53634 0 0 0 79904 107 0 0 25 0 1 0 825188739 232071168 53611 4294967295 134512640 134714540 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 56658 53611 1111 63 0 56595 0 vsize: 226632 [startup+810.035 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 54487 0 0 0 80903 109 0 0 25 0 1 0 825188739 235479040 54464 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 57490 54464 1111 63 0 57427 0 vsize: 229960 [startup+820.034 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 55358 0 0 0 81901 111 0 0 25 0 1 0 825188739 239140864 55335 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 58384 55335 1111 63 0 58321 0 vsize: 233536 [startup+830.034 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 56241 0 0 0 82900 113 0 0 25 0 1 0 825188739 242733056 56218 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 59261 56218 1111 63 0 59198 0 vsize: 237044 [startup+840.035 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 57138 0 0 0 83898 114 0 0 25 0 1 0 825188739 246378496 57115 4294967295 134512640 134714540 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 60151 57115 1111 63 0 60088 0 vsize: 240604 [startup+850.035 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 58054 0 0 0 84897 115 0 0 25 0 1 0 825188739 250073088 58031 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 61053 58031 1111 63 0 60990 0 vsize: 244212 [startup+860.035 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 58975 0 0 0 85896 117 0 0 25 0 1 0 825188739 253919232 58952 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 61992 58952 1111 63 0 61929 0 vsize: 247968 [startup+870.035 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 59904 0 0 0 86895 118 0 0 25 0 1 0 825188739 257634304 59881 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 62899 59881 1111 63 0 62836 0 vsize: 251596 [startup+880.036 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 60850 0 0 0 87893 120 0 0 25 0 1 0 825188739 261595136 60827 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 63866 60827 1111 63 0 63803 0 vsize: 255464 [startup+890.036 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 61786 0 0 0 88892 121 0 0 25 0 1 0 825188739 265420800 61763 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 64800 61763 1111 63 0 64737 0 vsize: 259200 [startup+900.036 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 62741 0 0 0 89890 123 0 0 25 0 1 0 825188739 269266944 62718 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 65739 62718 1111 63 0 65676 0 vsize: 262956 [startup+910.037 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 63700 0 0 0 90889 125 0 0 25 0 1 0 825188739 273276928 63677 4294967295 134512640 134714540 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 66718 63677 1111 63 0 66655 0 vsize: 266872 [startup+920.037 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 64662 0 0 0 91888 126 0 0 25 0 1 0 825188739 277102592 64639 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 67652 64639 1111 63 0 67589 0 vsize: 270608 [startup+930.037 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 65630 0 0 0 92886 128 0 0 25 0 1 0 825188739 281083904 65607 4294967295 134512640 134714540 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 68624 65607 1111 63 0 68561 0 vsize: 274496 [startup+940.037 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 66614 0 0 0 93884 130 0 0 25 0 1 0 825188739 285196288 66591 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 69628 66591 1111 63 0 69565 0 vsize: 278512 [startup+950.037 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 67601 0 0 0 94882 132 0 0 25 0 1 0 825188739 289206272 67578 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 70607 67578 1111 63 0 70544 0 vsize: 282428 [startup+960.037 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 68601 0 0 0 95881 134 0 0 25 0 1 0 825188739 293318656 68578 4294967295 134512640 134714540 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 71611 68578 1111 63 0 71548 0 vsize: 286444 [startup+970.036 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 69599 0 0 0 96879 135 0 0 25 0 1 0 825188739 297353216 69576 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 72596 69576 1111 63 0 72533 0 vsize: 290384 [startup+980.036 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 70596 0 0 0 97878 137 0 0 25 0 1 0 825188739 301355008 70573 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 73573 70573 1111 63 0 73510 0 vsize: 294292 [startup+990.036 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 71597 0 0 0 98875 139 0 0 25 0 1 0 825188739 305491968 71574 4294967295 134512640 134714540 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 74583 71574 1111 63 0 74520 0 vsize: 298332 [startup+1000.04 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 72614 0 0 0 99874 141 0 0 25 0 1 0 825188739 309633024 72591 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 75594 72591 1111 63 0 75531 0 vsize: 302376 [startup+1010.04 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 73627 0 0 0 100872 143 0 0 25 0 1 0 825188739 313769984 73604 4294967295 134512640 134714540 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 76604 73604 1111 63 0 76541 0 vsize: 306416 [startup+1020.04 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 74646 0 0 0 101871 145 0 0 25 0 1 0 825188739 317992960 74623 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 77635 74623 1111 63 0 77572 0 vsize: 310540 [startup+1030.04 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 75671 0 0 0 102869 147 0 0 25 0 1 0 825188739 322158592 75648 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 78652 75648 1111 63 0 78589 0 vsize: 314608 [startup+1040.04 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 76720 0 0 0 103867 148 0 0 25 0 1 0 825188739 326455296 76697 4294967295 134512640 134714540 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 79701 76697 1111 63 0 79638 0 vsize: 318804 [startup+1050.04 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 77771 0 0 0 104865 151 0 0 25 0 1 0 825188739 330772480 77748 4294967295 134512640 134714540 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 80755 77748 1111 63 0 80692 0 vsize: 323020 [startup+1060.04 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 78872 0 0 0 105863 153 0 0 25 0 1 0 825188739 335224832 78849 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 81842 78849 1111 63 0 81779 0 vsize: 327368 [startup+1070.04 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 79999 0 0 0 106862 154 0 0 25 0 1 0 825188739 339808256 79976 4294967295 134512640 134714540 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 82961 79976 1111 63 0 82898 0 vsize: 331844 [startup+1080.04 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 81138 0 0 0 107861 156 0 0 25 0 1 0 825188739 344551424 81115 4294967295 134512640 134714540 3221221776 3221220432 134527972 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 84119 81115 1111 63 0 84056 0 vsize: 336476 [startup+1090.04 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 82291 0 0 0 108858 158 0 0 25 0 1 0 825188739 349265920 82268 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 85270 82268 1111 63 0 85207 0 vsize: 341080 [startup+1100.04 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 83444 0 0 0 109856 161 0 0 25 0 1 0 825188739 353984512 83421 4294967295 134512640 134714540 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 86422 83421 1111 63 0 86359 0 vsize: 345688 [startup+1110.04 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 84597 0 0 0 110854 163 0 0 25 0 1 0 825188739 358744064 84574 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 87584 84574 1111 63 0 87521 0 vsize: 350336 [startup+1120.04 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 85757 0 0 0 111852 165 0 0 25 0 1 0 825188739 363413504 85734 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 88724 85734 1111 63 0 88661 0 vsize: 354896 [startup+1130.04 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 86934 0 0 0 112850 167 0 0 25 0 1 0 825188739 368181248 86911 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 89888 86911 1111 63 0 89825 0 vsize: 359552 [startup+1140.04 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 88106 0 0 0 113848 169 0 0 25 0 1 0 825188739 373051392 88083 4294967295 134512640 134714540 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 91077 88083 1111 63 0 91014 0 vsize: 364308 [startup+1150.04 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 89298 0 0 0 114847 171 0 0 25 0 1 0 825188739 377921536 89275 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 92266 89275 1111 63 0 92203 0 vsize: 369064 [startup+1160.04 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 90501 0 0 0 115844 174 0 0 25 0 1 0 825188739 382791680 90478 4294967295 134512640 134714540 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 93455 90478 1111 63 0 93392 0 vsize: 373820 [startup+1170.04 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 91833 0 0 0 116842 176 0 0 25 0 1 0 825188739 388571136 91684 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 94866 91684 1111 63 0 94803 0 vsize: 379464 [startup+1180.04 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 93038 0 0 0 117840 178 0 0 25 0 1 0 825188739 393445376 92889 4294967295 134512640 134714540 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 96056 92889 1111 63 0 95993 0 vsize: 384224 [startup+1190.04 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 94261 0 0 0 118838 180 0 0 25 0 1 0 825188739 398450688 94112 4294967295 134512640 134714540 3221221776 3221220432 134527930 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 97278 94112 1111 63 0 97215 0 vsize: 389112 [startup+1200.04 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 18964 Raw data (stat): 18964 (bsolo_mis) R 18963 7876 7672 0 -1 0 95487 0 0 0 119837 182 0 0 25 0 1 0 825188739 403456000 95338 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 98500 95338 1111 63 0 98437 0 vsize: 394000 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.22 s] Raw data (loadavg): 1.00 0.97 0.91 1/55 18964 Raw data (stat): 18964 (bsolo_mis) Z 18963 7876 7672 0 -1 1036 95487 0 0 0 119837 200 0 0 25 0 1 0 825188739 0 0 4294967295 0 0 0 0 0 0 0 1 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.22 CPU time (s): 1200.38 CPU user time (s): 1198.37 CPU system time (s): 2.00469 CPU usage (%): 100.013 Max. virtual memory (Kb): 394000 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####