Name | normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos1.opb |
MD5SUM | 3fce91583b30a82646d8d8e778b97a89 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 19 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 288 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 288 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 5 |
Number of bits of the biggest number in a constraint | 3 |
Biggest sum of numbers in a constraint | 288 |
Number of bits of the biggest sum of numbers | 9 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.07084 |
Number of variables | 2112 |
Total number of constraints | 7132 |
Number of constraints which are clauses | 4128 |
Number of constraints which are cardinality constraints (but not clauses) | 2328 |
Number of constraints which are nor clauses,nor cardinality constraints | 676 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 32 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc25 THE 2005-05-28 13:57:51 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=25040 boxname=wulflinc25 idbench=1512 idsolver=17 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 3fce91583b30a82646d8d8e778b97a89 /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-13-7-neos1.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-13-7-neos1.opb IDLAUNCH: 25040 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.220 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.220 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: 737128 kB Buffers: 35068 kB Cached: 242068 kB SwapCached: 984 kB Active: 22304 kB Inactive: 256860 kB HighTotal: 131008 kB HighFree: 5936 kB LowTotal: 903652 kB LowFree: 731192 kB SwapTotal: 2097892 kB SwapFree: 2095996 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5060 kB Slab: 12712 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-28 14:17:53 (client local time) WITH STATUS 0 IN 1200.45 SECONDS stats: 25040 7 1200.45 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... Decision: 46239/98112 Time: 607.556/86400 Decision: 46305/98112 Time: 661.452/86400 Decision: 46564/98112 Time: 809.671/86400 Decision: 46595/98112 Time: 887.591/86400 Decision: 47361/98112 Time: 1174.46/86400s UNKNOWN #### 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 Enforcing Stack size limit: 67108864 bytes Current StackSize limit: 67108864 bytes Raw data (loadavg): 0.91 0.95 0.91 2/54 10850 Raw data (stat): 10850 (runsolver) R 10849 1586 1585 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 865355377 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.0003 s] Raw data (loadavg): 0.92 0.95 0.91 2/54 10850 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 13625 0 0 0 969 30 0 0 25 0 1 0 865355377 42930176 8022 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10481 8022 300 300 0 10181 0 vsize: 41924 [startup+20.0013 s] Raw data (loadavg): 0.93 0.95 0.91 2/54 10850 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 13878 0 0 0 1967 32 0 0 25 0 1 0 865355377 44077056 8275 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10761 8275 300 300 0 10461 0 vsize: 43044 [startup+30.0015 s] Raw data (loadavg): 0.94 0.95 0.91 2/54 10850 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 13927 0 0 0 2966 33 0 0 25 0 1 0 865355377 44273664 8324 4294967295 134512640 135726644 3221224576 3221223072 134743982 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10809 8324 300 300 0 10509 0 vsize: 43236 [startup+40.0024 s] Raw data (loadavg): 0.95 0.95 0.91 2/54 10850 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 14013 0 0 0 3963 35 0 0 25 0 1 0 865355377 44634112 8410 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 10897 8410 300 300 0 10597 0 vsize: 43588 [startup+50.0032 s] Raw data (loadavg): 0.96 0.95 0.91 2/54 10850 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 14068 0 0 0 4962 37 0 0 25 0 1 0 865355377 44830720 8465 4294967295 134512640 135726644 3221224576 3221223072 134744126 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 10945 8465 300 300 0 10645 0 vsize: 43780 [startup+60.0022 s] Raw data (loadavg): 0.96 0.95 0.91 2/54 10850 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 14161 0 0 0 5960 39 0 0 25 0 1 0 865355377 45223936 8558 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11041 8558 300 300 0 10741 0 vsize: 44164 [startup+70.0028 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 10850 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 14189 0 0 0 6959 40 0 0 25 0 1 0 865355377 45223936 8586 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11041 8586 300 300 0 10741 0 vsize: 44164 [startup+80.0027 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 10850 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 14218 0 0 0 7958 42 0 0 25 0 1 0 865355377 45223936 8615 4294967295 134512640 135726644 3221224576 3221223120 134736684 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11041 8615 300 300 0 10741 0 vsize: 44164 [startup+90.003 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 10850 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 14272 0 0 0 8957 43 0 0 25 0 1 0 865355377 45420544 8669 4294967295 134512640 135726644 3221224576 3221223180 134743852 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11089 8669 300 300 0 10789 0 vsize: 44356 [startup+100.003 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 10850 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 14291 0 0 0 9955 45 0 0 25 0 1 0 865355377 45420544 8688 4294967295 134512640 135726644 3221224576 3221223072 134744244 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11089 8688 300 300 0 10789 0 vsize: 44356 [startup+110.003 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 10850 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 14334 0 0 0 10954 46 0 0 25 0 1 0 865355377 45420544 8731 4294967295 134512640 135726644 3221224576 3221223072 134743907 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11089 8731 300 300 0 10789 0 vsize: 44356 [startup+120.003 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 10850 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 14353 0 0 0 11953 47 0 0 25 0 1 0 865355377 45420544 8750 4294967295 134512640 135726644 3221224576 3221223184 134744646 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11089 8750 300 300 0 10789 0 vsize: 44356 [startup+130.002 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 10850 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 14391 0 0 0 12952 48 0 0 25 0 1 0 865355377 45617152 8788 4294967295 134512640 135726644 3221224576 3221223072 134744351 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11137 8788 300 300 0 10837 0 vsize: 44548 [startup+140.003 s] Raw data (loadavg): 1.07 0.98 0.92 2/54 10903 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 14410 0 0 0 13944 55 0 0 25 0 1 0 865355377 45617152 8807 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11137 8807 300 300 0 10837 0 vsize: 44548 [startup+150.004 s] Raw data (loadavg): 1.06 0.98 0.92 2/54 10903 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 14438 0 0 0 14944 56 0 0 25 0 1 0 865355377 45617152 8835 4294967295 134512640 135726644 3221224576 3221223072 134743999 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11137 8835 300 300 0 10837 0 vsize: 44548 [startup+160.004 s] Raw data (loadavg): 1.05 0.98 0.92 2/54 10903 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 14475 0 0 0 15941 59 0 0 25 0 1 0 865355377 45813760 8872 4294967295 134512640 135726644 3221224576 3221223264 134744911 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11185 8872 300 300 0 10885 0 vsize: 44740 [startup+170.004 s] Raw data (loadavg): 1.04 0.98 0.92 2/54 10903 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 14488 0 0 0 16940 59 0 0 25 0 1 0 865355377 45813760 8885 4294967295 134512640 135726644 3221224576 3221223072 134744020 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11185 8885 300 300 0 10885 0 vsize: 44740 [startup+180.004 s] Raw data (loadavg): 1.03 0.98 0.92 2/54 10903 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 14503 0 0 0 17939 60 0 0 25 0 1 0 865355377 45813760 8900 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11185 8900 300 300 0 10885 0 vsize: 44740 [startup+190.004 s] Raw data (loadavg): 1.03 0.98 0.92 2/54 10903 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 14533 0 0 0 18938 62 0 0 25 0 1 0 865355377 45813760 8930 4294967295 134512640 135726644 3221224576 3221223072 134744169 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11185 8930 300 300 0 10885 0 vsize: 44740 [startup+200.004 s] Raw data (loadavg): 1.02 0.98 0.92 2/54 10903 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 14557 0 0 0 19937 64 0 0 25 0 1 0 865355377 46010368 8954 4294967295 134512640 135726644 3221224576 3221223072 134744311 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11233 8954 300 300 0 10933 0 vsize: 44932 [startup+210.004 s] Raw data (loadavg): 1.02 0.98 0.92 2/54 10905 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 14608 0 0 0 20936 65 0 0 25 0 1 0 865355377 46206976 9005 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11281 9005 300 300 0 10981 0 vsize: 45124 [startup+220.004 s] Raw data (loadavg): 1.02 0.98 0.92 2/54 10905 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 14634 0 0 0 21935 66 0 0 25 0 1 0 865355377 46206976 9031 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11281 9031 300 300 0 10981 0 vsize: 45124 [startup+230.003 s] Raw data (loadavg): 1.01 0.98 0.92 2/54 10905 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 14656 0 0 0 22934 67 0 0 25 0 1 0 865355377 46206976 9053 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11281 9053 300 300 0 10981 0 vsize: 45124 [startup+240.004 s] Raw data (loadavg): 1.01 0.98 0.92 2/54 10905 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 14673 0 0 0 23933 68 0 0 25 0 1 0 865355377 46206976 9070 4294967295 134512640 135726644 3221224576 3221223072 134744025 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11281 9070 300 300 0 10981 0 vsize: 45124 [startup+250.005 s] Raw data (loadavg): 1.01 0.98 0.92 2/54 10905 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 14691 0 0 0 24932 69 0 0 25 0 1 0 865355377 46206976 9088 4294967295 134512640 135726644 3221224576 3221223072 134743975 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11281 9088 300 300 0 10981 0 vsize: 45124 [startup+260.004 s] Raw data (loadavg): 1.01 0.98 0.92 2/54 10905 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 14704 0 0 0 25931 70 0 0 25 0 1 0 865355377 46206976 9101 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11281 9101 300 300 0 10981 0 vsize: 45124 [startup+270.004 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 10905 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 14732 0 0 0 26930 72 0 0 25 0 1 0 865355377 46206976 9129 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11281 9129 300 300 0 10981 0 vsize: 45124 [startup+280.003 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 10905 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 14749 0 0 0 27929 73 0 0 25 0 1 0 865355377 46206976 9146 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11281 9146 300 300 0 10981 0 vsize: 45124 [startup+290.004 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 10905 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 14766 0 0 0 28928 74 0 0 25 0 1 0 865355377 46206976 9163 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11281 9163 300 300 0 10981 0 vsize: 45124 [startup+300.005 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 10905 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 14784 0 0 0 29927 75 0 0 25 0 1 0 865355377 46206976 9181 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11281 9181 300 300 0 10981 0 vsize: 45124 [startup+310.005 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 10905 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 14811 0 0 0 30926 76 0 0 25 0 1 0 865355377 46403584 9208 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11329 9208 300 300 0 11029 0 vsize: 45316 [startup+320.005 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 10905 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 14829 0 0 0 31925 77 0 0 25 0 1 0 865355377 46403584 9226 4294967295 134512640 135726644 3221224576 3221223072 134743975 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11329 9226 300 300 0 11029 0 vsize: 45316 [startup+330.005 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 10905 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 14846 0 0 0 32924 79 0 0 25 0 1 0 865355377 46403584 9243 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11329 9243 300 300 0 11029 0 vsize: 45316 [startup+340.004 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 10905 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 14874 0 0 0 33923 80 0 0 25 0 1 0 865355377 46403584 9271 4294967295 134512640 135726644 3221224576 3221223072 134744020 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11329 9271 300 300 0 11029 0 vsize: 45316 [startup+350.004 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 10905 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 14889 0 0 0 34922 81 0 0 25 0 1 0 865355377 46403584 9286 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11329 9286 300 300 0 11029 0 vsize: 45316 [startup+360.004 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 10905 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 14906 0 0 0 35921 82 0 0 25 0 1 0 865355377 46403584 9303 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11329 9303 300 300 0 11029 0 vsize: 45316 [startup+370.004 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 10905 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 14929 0 0 0 36921 83 0 0 25 0 1 0 865355377 46403584 9326 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11329 9326 300 300 0 11029 0 vsize: 45316 [startup+380.004 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 10905 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 14951 0 0 0 37919 84 0 0 25 0 1 0 865355377 46403584 9348 4294967295 134512640 135726644 3221224576 3221223072 134744014 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11329 9348 300 300 0 11029 0 vsize: 45316 [startup+390.004 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 10905 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 14970 0 0 0 38918 86 0 0 25 0 1 0 865355377 46403584 9367 4294967295 134512640 135726644 3221224576 3221223200 134744550 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11329 9367 300 300 0 11029 0 vsize: 45316 [startup+400.004 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 10905 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 14991 0 0 0 39917 87 0 0 25 0 1 0 865355377 46403584 9388 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11329 9388 300 300 0 11029 0 vsize: 45316 [startup+410.004 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 10905 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 15013 0 0 0 40916 88 0 0 25 0 1 0 865355377 46534656 9410 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11361 9410 300 300 0 11061 0 vsize: 45444 [startup+420.004 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 10905 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 15039 0 0 0 41916 89 0 0 25 0 1 0 865355377 46534656 9436 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11361 9436 300 300 0 11061 0 vsize: 45444 [startup+430.007 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 10905 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 15057 0 0 0 42916 89 0 0 25 0 1 0 865355377 46534656 9454 4294967295 134512640 135726644 3221224576 3221223072 134744147 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11361 9454 300 300 0 11061 0 vsize: 45444 [startup+440.006 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 10905 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 15086 0 0 0 43915 90 0 0 25 0 1 0 865355377 46673920 9483 4294967295 134512640 135726644 3221224576 3221223072 134744123 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11395 9483 300 300 0 11095 0 vsize: 45580 [startup+450.007 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 10905 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 15104 0 0 0 44914 91 0 0 25 0 1 0 865355377 46673920 9501 4294967295 134512640 135726644 3221224576 3221223264 134744911 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11395 9501 300 300 0 11095 0 vsize: 45580 [startup+460.007 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 10905 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 15121 0 0 0 45913 93 0 0 25 0 1 0 865355377 46673920 9518 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11395 9518 300 300 0 11095 0 vsize: 45580 [startup+470.007 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 10905 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 15141 0 0 0 46912 93 0 0 25 0 1 0 865355377 46673920 9538 4294967295 134512640 135726644 3221224576 3221223120 134736726 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11395 9538 300 300 0 11095 0 vsize: 45580 [startup+480.007 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 10905 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 15161 0 0 0 47912 94 0 0 25 0 1 0 865355377 46673920 9558 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11395 9558 300 300 0 11095 0 vsize: 45580 [startup+490.007 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 10907 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 15185 0 0 0 48911 95 0 0 25 0 1 0 865355377 46673920 9582 4294967295 134512640 135726644 3221224576 3221223072 134743987 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11395 9582 300 300 0 11095 0 vsize: 45580 [startup+500.007 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 10907 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 15202 0 0 0 49910 96 0 0 25 0 1 0 865355377 46673920 9599 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11395 9599 300 300 0 11095 0 vsize: 45580 [startup+510.007 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 10907 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 15225 0 0 0 50908 98 0 0 25 0 1 0 865355377 46673920 9622 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11395 9622 300 300 0 11095 0 vsize: 45580 [startup+520.007 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 10907 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 15254 0 0 0 51908 99 0 0 25 0 1 0 865355377 46809088 9651 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11428 9651 300 300 0 11128 0 vsize: 45712 [startup+530.007 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 10907 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 15284 0 0 0 52906 100 0 0 25 0 1 0 865355377 46809088 9681 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11428 9681 300 300 0 11128 0 vsize: 45712 [startup+540.011 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 10907 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 15301 0 0 0 53906 102 0 0 25 0 1 0 865355377 46809088 9698 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11428 9698 300 300 0 11128 0 vsize: 45712 [startup+550.011 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 10907 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 15325 0 0 0 54905 103 0 0 25 0 1 0 865355377 46809088 9722 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11428 9722 300 300 0 11128 0 vsize: 45712 [startup+560.01 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 10907 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 15344 0 0 0 55904 104 0 0 25 0 1 0 865355377 46809088 9741 4294967295 134512640 135726644 3221224576 3221223264 134744911 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11428 9741 300 300 0 11128 0 vsize: 45712 [startup+570.011 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 10907 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 15362 0 0 0 56903 105 0 0 25 0 1 0 865355377 55197696 9759 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13476 9759 300 300 0 13176 0 vsize: 53904 [startup+580.011 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 10907 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 15378 0 0 0 57901 107 0 0 25 0 1 0 865355377 55197696 9775 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13476 9775 300 300 0 13176 0 vsize: 53904 [startup+590.019 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 10907 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 15402 0 0 0 58902 107 0 0 25 0 1 0 865355377 55336960 9799 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13510 9799 300 300 0 13210 0 vsize: 54040 [startup+600.019 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 10907 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 15441 0 0 0 59901 108 0 0 25 0 1 0 865355377 55336960 9838 4294967295 134512640 135726644 3221224576 3221223072 134744147 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13510 9838 300 300 0 13210 0 vsize: 54040 [startup+610.02 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 10907 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 15484 0 0 0 60900 110 0 0 25 0 1 0 865355377 55533568 9881 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13558 9881 300 300 0 13258 0 vsize: 54232 [startup+620.02 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 10907 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 15696 0 0 0 61898 111 0 0 25 0 1 0 865355377 55533568 9901 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13558 9901 300 300 0 13258 0 vsize: 54232 [startup+630.02 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 10907 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 15697 0 0 0 62897 112 0 0 25 0 1 0 865355377 55533568 9902 4294967295 134512640 135726644 3221224576 3221222816 134782753 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13558 9902 300 300 0 13258 0 vsize: 54232 [startup+640.019 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 10907 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 15699 0 0 0 63897 112 0 0 25 0 1 0 865355377 55533568 9904 4294967295 134512640 135726644 3221224576 3221223264 134744915 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13558 9904 300 300 0 13258 0 vsize: 54232 [startup+650.02 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 10907 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 15708 0 0 0 64896 114 0 0 25 0 1 0 865355377 55533568 9913 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13558 9913 300 300 0 13258 0 vsize: 54232 [startup+660.02 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 10907 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 15725 0 0 0 65895 115 0 0 25 0 1 0 865355377 55533568 9930 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13558 9930 300 300 0 13258 0 vsize: 54232 [startup+670.021 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 10907 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 15942 0 0 0 66893 116 0 0 25 0 1 0 865355377 55533568 9955 4294967295 134512640 135726644 3221224576 3221222896 134728895 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13558 9955 300 300 0 13258 0 vsize: 54232 [startup+680.021 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 10907 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 15960 0 0 0 67892 117 0 0 25 0 1 0 865355377 55533568 9973 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13558 9973 300 300 0 13258 0 vsize: 54232 [startup+690.021 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 10907 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 15979 0 0 0 68891 118 0 0 25 0 1 0 865355377 55533568 9992 4294967295 134512640 135726644 3221224576 3221223264 134744977 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13558 9992 300 300 0 13258 0 vsize: 54232 [startup+700.021 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 10907 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 15998 0 0 0 69891 118 0 0 25 0 1 0 865355377 55533568 10011 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13558 10011 300 300 0 13258 0 vsize: 54232 [startup+710.022 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 10907 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 16012 0 0 0 70890 119 0 0 25 0 1 0 865355377 55533568 10025 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13558 10025 300 300 0 13258 0 vsize: 54232 [startup+720.022 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 10907 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 16030 0 0 0 71890 120 0 0 25 0 1 0 865355377 55533568 10043 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13558 10043 300 300 0 13258 0 vsize: 54232 [startup+730.022 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 10907 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 16046 0 0 0 72889 121 0 0 25 0 1 0 865355377 55664640 10059 4294967295 134512640 135726644 3221224576 3221223200 134744518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13590 10059 300 300 0 13290 0 vsize: 54360 [startup+740.021 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 10907 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 16126 0 0 0 73889 122 0 0 25 0 1 0 865355377 56070144 10139 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13689 10139 300 300 0 13389 0 vsize: 54756 [startup+750.021 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 10907 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 16139 0 0 0 74888 123 0 0 25 0 1 0 865355377 56070144 10152 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13689 10152 300 300 0 13389 0 vsize: 54756 [startup+760.021 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 10907 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 16156 0 0 0 75887 124 0 0 25 0 1 0 865355377 56070144 10169 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13689 10169 300 300 0 13389 0 vsize: 54756 [startup+770.021 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 10907 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 16174 0 0 0 76886 125 0 0 25 0 1 0 865355377 56070144 10187 4294967295 134512640 135726644 3221224576 3221223072 134744169 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13689 10187 300 300 0 13389 0 vsize: 54756 [startup+780.022 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 10907 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 16207 0 0 0 77885 126 0 0 25 0 1 0 865355377 56205312 10220 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13722 10220 300 300 0 13422 0 vsize: 54888 [startup+790.022 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 10907 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 16243 0 0 0 78884 127 0 0 25 0 1 0 865355377 56340480 10256 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13755 10256 300 300 0 13455 0 vsize: 55020 [startup+800.022 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 10907 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 16261 0 0 0 79884 128 0 0 25 0 1 0 865355377 56340480 10274 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13755 10274 300 300 0 13455 0 vsize: 55020 [startup+810.022 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 10907 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 16282 0 0 0 80883 128 0 0 25 0 1 0 865355377 56340480 10295 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13755 10295 300 300 0 13455 0 vsize: 55020 [startup+820.022 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 10907 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 16488 0 0 0 81882 130 0 0 25 0 1 0 865355377 56340480 10309 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13755 10309 300 300 0 13455 0 vsize: 55020 [startup+830.022 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 10907 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 16506 0 0 0 82882 130 0 0 25 0 1 0 865355377 56340480 10327 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13755 10327 300 300 0 13455 0 vsize: 55020 [startup+840.022 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 10907 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 16522 0 0 0 83881 131 0 0 25 0 1 0 865355377 56340480 10343 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13755 10343 300 300 0 13455 0 vsize: 55020 [startup+850.022 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 10907 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 16575 0 0 0 84880 132 0 0 25 0 1 0 865355377 56610816 10396 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13821 10396 300 300 0 13521 0 vsize: 55284 [startup+860.021 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 10907 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 16624 0 0 0 85879 133 0 0 25 0 1 0 865355377 56745984 10445 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13854 10445 300 300 0 13554 0 vsize: 55416 [startup+870.021 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 10907 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 16640 0 0 0 86878 134 0 0 25 0 1 0 865355377 56745984 10461 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13854 10461 300 300 0 13554 0 vsize: 55416 [startup+880.022 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 10907 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 16656 0 0 0 87878 135 0 0 25 0 1 0 865355377 56745984 10477 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13854 10477 300 300 0 13554 0 vsize: 55416 [startup+890.022 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 10907 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 16719 0 0 0 88877 136 0 0 25 0 1 0 865355377 57016320 10540 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13920 10540 300 300 0 13620 0 vsize: 55680 [startup+900.022 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 10907 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 16966 0 0 0 89876 137 0 0 25 0 1 0 865355377 57286656 10595 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13986 10595 300 300 0 13686 0 vsize: 55944 [startup+910.022 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 10907 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 16985 0 0 0 90875 138 0 0 25 0 1 0 865355377 57286656 10614 4294967295 134512640 135726644 3221224576 3221223200 134744594 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13986 10614 300 300 0 13686 0 vsize: 55944 [startup+920.022 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 10907 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 17002 0 0 0 91875 139 0 0 25 0 1 0 865355377 57286656 10631 4294967295 134512640 135726644 3221224576 3221223072 134743978 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13986 10631 300 300 0 13686 0 vsize: 55944 [startup+930.022 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 10907 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 17020 0 0 0 92873 140 0 0 25 0 1 0 865355377 57286656 10649 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13986 10649 300 300 0 13686 0 vsize: 55944 [startup+940.022 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 10907 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 17032 0 0 0 93873 141 0 0 25 0 1 0 865355377 57286656 10661 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13986 10661 300 300 0 13686 0 vsize: 55944 [startup+950.022 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 10907 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 17042 0 0 0 94872 142 0 0 25 0 1 0 865355377 57286656 10671 4294967295 134512640 135726644 3221224576 3221223072 134744304 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13986 10671 300 300 0 13686 0 vsize: 55944 [startup+960.022 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 10907 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 17058 0 0 0 95871 143 0 0 25 0 1 0 865355377 57286656 10687 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13986 10687 300 300 0 13686 0 vsize: 55944 [startup+970.022 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 10907 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 17075 0 0 0 96871 144 0 0 25 0 1 0 865355377 57286656 10704 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13986 10704 300 300 0 13686 0 vsize: 55944 [startup+980.023 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 10907 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 17093 0 0 0 97870 145 0 0 25 0 1 0 865355377 57286656 10722 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13986 10722 300 300 0 13686 0 vsize: 55944 [startup+990.023 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 10907 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 17111 0 0 0 98869 146 0 0 25 0 1 0 865355377 57286656 10740 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13986 10740 300 300 0 13686 0 vsize: 55944 [startup+1000.02 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 10907 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 17127 0 0 0 99869 146 0 0 25 0 1 0 865355377 57286656 10756 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13986 10756 300 300 0 13686 0 vsize: 55944 [startup+1010.02 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 10907 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 17159 0 0 0 100868 147 0 0 25 0 1 0 865355377 57421824 10788 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14019 10788 300 300 0 13719 0 vsize: 56076 [startup+1020.02 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 10907 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 17173 0 0 0 101868 148 0 0 25 0 1 0 865355377 57421824 10802 4294967295 134512640 135726644 3221224576 3221223168 134760006 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14019 10802 300 300 0 13719 0 vsize: 56076 [startup+1030.02 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 10907 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 17190 0 0 0 102866 149 0 0 25 0 1 0 865355377 57421824 10819 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14019 10819 300 300 0 13719 0 vsize: 56076 [startup+1040.02 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 10907 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 17205 0 0 0 103865 150 0 0 25 0 1 0 865355377 57421824 10834 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14019 10834 300 300 0 13719 0 vsize: 56076 [startup+1050.02 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 10907 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 17220 0 0 0 104865 151 0 0 25 0 1 0 865355377 57421824 10849 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14019 10849 300 300 0 13719 0 vsize: 56076 [startup+1060.02 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 10907 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 17237 0 0 0 105865 151 0 0 25 0 1 0 865355377 57421824 10866 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14019 10866 300 300 0 13719 0 vsize: 56076 [startup+1070.02 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 10907 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 17270 0 0 0 106864 152 0 0 25 0 1 0 865355377 57556992 10899 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14052 10899 300 300 0 13752 0 vsize: 56208 [startup+1080.02 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 10907 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 17310 0 0 0 107864 153 0 0 25 0 1 0 865355377 57692160 10939 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14085 10939 300 300 0 13785 0 vsize: 56340 [startup+1090.02 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 10907 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 17328 0 0 0 108863 154 0 0 25 0 1 0 865355377 57692160 10957 4294967295 134512640 135726644 3221224576 3221223072 134743982 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14085 10957 300 300 0 13785 0 vsize: 56340 [startup+1100.02 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 10907 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 17345 0 0 0 109863 154 0 0 25 0 1 0 865355377 57692160 10974 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14085 10974 300 300 0 13785 0 vsize: 56340 [startup+1110.02 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 10907 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 17359 0 0 0 110863 154 0 0 25 0 1 0 865355377 57692160 10988 4294967295 134512640 135726644 3221224576 3221223172 134743856 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14085 10988 300 300 0 13785 0 vsize: 56340 [startup+1120.02 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 10907 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 17376 0 0 0 111862 155 0 0 25 0 1 0 865355377 57692160 11005 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14085 11005 300 300 0 13785 0 vsize: 56340 [startup+1130.02 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 10907 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 17390 0 0 0 112861 156 0 0 25 0 1 0 865355377 57692160 11019 4294967295 134512640 135726644 3221224576 3221223184 134741670 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14085 11019 300 300 0 13785 0 vsize: 56340 [startup+1140.02 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 10907 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 17403 0 0 0 113861 157 0 0 25 0 1 0 865355377 57692160 11032 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14085 11032 300 300 0 13785 0 vsize: 56340 [startup+1150.02 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 10907 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 17418 0 0 0 114861 157 0 0 25 0 1 0 865355377 57692160 11047 4294967295 134512640 135726644 3221224576 3221223264 134744858 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14085 11047 300 300 0 13785 0 vsize: 56340 [startup+1160.02 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 10907 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 17437 0 0 0 115860 158 0 0 25 0 1 0 865355377 57692160 11066 4294967295 134512640 135726644 3221224576 3221223072 134744046 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14085 11066 300 300 0 13785 0 vsize: 56340 [startup+1170.03 s] Raw data (loadavg): 1.00 0.98 0.92 3/54 10907 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 17450 0 0 0 116859 159 0 0 25 0 1 0 865355377 57692160 11079 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14085 11079 300 300 0 13785 0 vsize: 56340 [startup+1180.03 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 10907 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 17660 0 0 0 117858 161 0 0 25 0 1 0 865355377 57692160 11097 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14085 11097 300 300 0 13785 0 vsize: 56340 [startup+1190.03 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 10907 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 17677 0 0 0 118857 161 0 0 25 0 1 0 865355377 57692160 11114 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14085 11114 300 300 0 13785 0 vsize: 56340 [startup+1200.03 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 10907 Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 17693 0 0 0 119856 162 0 0 25 0 1 0 865355377 57692160 11130 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14085 11130 300 300 0 13785 0 vsize: 56340 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.29 s] Raw data (loadavg): 1.00 0.98 0.92 1/54 10907 Raw data (stat): 10850 (pb2sat) Z 10849 1586 1585 0 -1 12 17694 0 0 0 119879 164 0 0 25 0 1 0 865355377 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 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 status: 0 Real time (s): 1200.28 CPU time (s): 1200.45 CPU user time (s): 1198.8 CPU system time (s): 1.64775 CPU usage (%): 100.013 Max. virtual memory (Kb): 56340 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####