Name | normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-sp97ar.opb |
MD5SUM | 501db04e3c45fac1238dfa119cd7abd9 |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 282020 |
Biggest coefficient in the objective function | 2456844338462720 |
Number of bits for the biggest coefficient in the objective function | 52 |
Sum of the numbers in the objective function | -2082450254578026316 |
Number of bits of the sum of numbers in the objective function | 64 |
Biggest number in a constraint | 2456844338462720 |
Number of bits of the biggest number in a constraint | 52 |
Biggest sum of numbers in a constraint | -2082450254578026316 |
Number of bits of the biggest sum of numbers | 64 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 2.6406 |
Number of variables | 282020 |
Total number of constraints | 1761 |
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 | 1761 |
Minimum length of a constraint | 20 |
Maximum length of a constraint | 49260 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc2 THE 2005-04-22 00:13:51 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=13035 boxname=wulflinc2 idbench=1003 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: 501db04e3c45fac1238dfa119cd7abd9 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-sp97ar.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-sp97ar.opb IDLAUNCH: 13035 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.191 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 : 2 cpu MHz : 451.191 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 270528 kB Buffers: 32180 kB Cached: 707940 kB SwapCached: 3324 kB Active: 457172 kB Inactive: 287684 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 270276 kB SwapTotal: 2097136 kB SwapFree: 2092928 kB Dirty: 24 kB Writeback: 0 kB Mapped: 5108 kB Slab: 13584 kB Committed_AS: 71780 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-22 00:35:47 (client local time) WITH STATUS 143 IN 1308.96 SECONDS stats: 13035 7 1308.96 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-sp97ar.opb c reading problem c [nbvar=282020] c [nbconstr=1761] #### 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.91 0.97 0.91 1/54 16872 Raw data (stat): 16872 (runsolver) D 16871 20937 20936 0 -1 64 4 0 0 0 0 0 0 0 18 0 1 0 491095163 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 3225161850 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0005 s] Raw data (loadavg): 1.07 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 811 42 0 0 25 0 10 0 491095163 853323776 19104 4294967295 134512640 134569956 3221224400 3221214472 1076461336 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208331 19104 13073 16 0 208315 0 vsize: 833324 [startup+20.0016 s] Raw data (loadavg): 1.13 1.02 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 1703 43 0 0 24 0 10 0 491095163 853569536 19672 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208391 19672 13073 16 0 208375 0 vsize: 833564 [startup+30.0013 s] Raw data (loadavg): 1.11 1.01 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 2602 43 0 0 25 0 10 0 491095163 853569536 20096 4294967295 134512640 134569956 3221224400 3221214820 1080204166 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208391 20096 13073 16 0 208375 0 vsize: 833564 [startup+40.0016 s] Raw data (loadavg): 1.09 1.01 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 3528 44 0 0 25 0 10 0 491095163 853569536 20329 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208391 20329 13073 16 0 208375 0 vsize: 833564 [startup+50.0027 s] Raw data (loadavg): 1.08 1.01 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 4457 44 0 0 24 0 10 0 491095163 853278720 20381 4294967295 134512640 134569956 3221224400 3221214812 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 20381 13073 16 0 208304 0 vsize: 833280 [startup+60.0035 s] Raw data (loadavg): 1.07 1.01 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 5389 44 0 0 25 0 10 0 491095163 853278720 20476 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 20476 13073 16 0 208304 0 vsize: 833280 [startup+70.0036 s] Raw data (loadavg): 1.06 1.01 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 6330 45 0 0 25 0 10 0 491095163 853278720 20688 4294967295 134512640 134569956 3221224400 3221214264 1077558382 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 20688 13073 16 0 208304 0 vsize: 833280 [startup+80.0042 s] Raw data (loadavg): 1.05 1.01 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 7275 45 0 0 25 0 10 0 491095163 853278720 20770 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 20770 13073 16 0 208304 0 vsize: 833280 [startup+90.0045 s] Raw data (loadavg): 1.04 1.01 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 8220 45 0 0 25 0 10 0 491095163 853278720 20844 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 20844 13073 16 0 208304 0 vsize: 833280 [startup+100.005 s] Raw data (loadavg): 1.03 1.01 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 9168 46 0 0 25 0 10 0 491095163 853278720 20908 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 20908 13073 16 0 208304 0 vsize: 833280 [startup+110.01 s] Raw data (loadavg): 1.03 1.01 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 10114 46 0 0 25 0 10 0 491095163 853278720 20972 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 20972 13073 16 0 208304 0 vsize: 833280 [startup+120.02 s] Raw data (loadavg): 1.02 1.01 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 11060 46 0 0 25 0 10 0 491095163 853278720 21032 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 21032 13073 16 0 208304 0 vsize: 833280 [startup+130.123 s] Raw data (loadavg): 1.02 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 12016 47 0 0 25 0 10 0 491095163 853278720 21089 4294967295 134512640 134569956 3221224400 3221214280 1080019614 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 21089 13073 16 0 208304 0 vsize: 833280 [startup+140.124 s] Raw data (loadavg): 1.02 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 12964 47 0 0 25 0 10 0 491095163 853278720 21142 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 21142 13073 16 0 208304 0 vsize: 833280 [startup+150.142 s] Raw data (loadavg): 1.01 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 13911 47 0 0 25 0 10 0 491095163 853278720 21195 4294967295 134512640 134569956 3221224400 3221214280 1080019614 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 21195 13073 16 0 208304 0 vsize: 833280 [startup+160.142 s] Raw data (loadavg): 1.01 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 14856 48 0 0 25 0 10 0 491095163 853278720 21247 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 21247 13073 16 0 208304 0 vsize: 833280 [startup+170.15 s] Raw data (loadavg): 1.01 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) S 16871 20937 20936 0 -1 0 17986 0 1 0 15790 48 0 0 25 0 10 0 491095163 853278720 21294 4294967295 134512640 134569956 3221224400 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 21294 13073 16 0 208304 0 vsize: 833280 [startup+180.15 s] Raw data (loadavg): 1.01 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 16714 49 0 0 25 0 10 0 491095163 853278720 21341 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 21341 13073 16 0 208304 0 vsize: 833280 [startup+190.15 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 17649 49 0 0 25 0 10 0 491095163 853278720 21641 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208320 21641 13073 16 0 208304 0 vsize: 833280 [startup+200.15 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 18590 49 0 0 25 0 10 0 491095163 853278720 21685 4294967295 134512640 134569956 3221224400 3221214184 1076874552 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 21685 13073 16 0 208304 0 vsize: 833280 [startup+210.159 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 19531 50 0 0 25 0 10 0 491095163 853278720 21729 4294967295 134512640 134569956 3221224400 3221214824 1131192899 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 21729 13073 16 0 208304 0 vsize: 833280 [startup+220.168 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 20472 50 0 0 24 0 10 0 491095163 853278720 21772 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 21772 13073 16 0 208304 0 vsize: 833280 [startup+230.167 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 21415 51 0 0 25 0 10 0 491095163 853278720 21811 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 21811 13073 16 0 208304 0 vsize: 833280 [startup+240.168 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 22354 51 0 0 25 0 10 0 491095163 853278720 21852 4294967295 134512640 134569956 3221224400 3221214900 1131155571 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 21852 13073 16 0 208304 0 vsize: 833280 [startup+250.168 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 23293 51 0 0 25 0 10 0 491095163 853278720 21891 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 21891 13073 16 0 208304 0 vsize: 833280 [startup+260.169 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) S 16871 20937 20936 0 -1 0 17986 0 1 0 24233 51 0 0 25 0 10 0 491095163 853278720 21928 4294967295 134512640 134569956 3221224400 3221213520 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 21928 13073 16 0 208304 0 vsize: 833280 [startup+270.169 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 25173 52 0 0 25 0 10 0 491095163 853278720 21965 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 21965 13073 16 0 208304 0 vsize: 833280 [startup+280.169 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 26110 52 0 0 25 0 10 0 491095163 853278720 22002 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 22002 13073 16 0 208304 0 vsize: 833280 [startup+290.169 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) S 16871 20937 20936 0 -1 0 17986 0 1 0 27048 53 0 0 25 0 10 0 491095163 853278720 22037 4294967295 134512640 134569956 3221224400 3221213520 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 22037 13073 16 0 208304 0 vsize: 833280 [startup+300.169 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 27986 53 0 0 25 0 10 0 491095163 853278720 22072 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 22072 13073 16 0 208304 0 vsize: 833280 [startup+310.17 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 28922 54 0 0 25 0 10 0 491095163 853278720 22107 4294967295 134512640 134569956 3221224400 3221214804 1080203551 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 22107 13073 16 0 208304 0 vsize: 833280 [startup+320.171 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 29861 54 0 0 25 0 10 0 491095163 853278720 22139 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 22139 13073 16 0 208304 0 vsize: 833280 [startup+330.171 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 30796 55 0 0 25 0 10 0 491095163 853278720 22173 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 22173 13073 16 0 208304 0 vsize: 833280 [startup+340.172 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 31730 56 0 0 25 0 10 0 491095163 853278720 22206 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 22206 13073 16 0 208304 0 vsize: 833280 [startup+350.173 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 32668 56 0 0 25 0 10 0 491095163 853278720 22237 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 22237 13073 16 0 208304 0 vsize: 833280 [startup+360.173 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 33601 56 0 0 25 0 10 0 491095163 853278720 22270 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 22270 13073 16 0 208304 0 vsize: 833280 [startup+370.174 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 34538 57 0 0 25 0 10 0 491095163 853278720 22300 4294967295 134512640 134569956 3221224400 3221214812 1080204166 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 22300 13073 16 0 208304 0 vsize: 833280 [startup+380.174 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 35470 57 0 0 25 0 10 0 491095163 853278720 22331 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 22331 13073 16 0 208304 0 vsize: 833280 [startup+390.175 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 36402 58 0 0 24 0 10 0 491095163 853278720 22362 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 22362 13073 16 0 208304 0 vsize: 833280 [startup+400.175 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 37339 58 0 0 25 0 10 0 491095163 853278720 22391 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 22391 13073 16 0 208304 0 vsize: 833280 [startup+410.176 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 38270 58 0 0 24 0 10 0 491095163 853278720 22421 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 22421 13073 16 0 208304 0 vsize: 833280 [startup+420.177 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 39205 59 0 0 25 0 10 0 491095163 853278720 22449 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 22449 13073 16 0 208304 0 vsize: 833280 [startup+430.177 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 40136 59 0 0 24 0 10 0 491095163 853278720 22478 4294967295 134512640 134569956 3221224400 3221214280 1080019600 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 22478 13073 16 0 208304 0 vsize: 833280 [startup+440.178 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 41070 59 0 0 25 0 10 0 491095163 853278720 22506 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 22506 13073 16 0 208304 0 vsize: 833280 [startup+450.179 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 41999 60 0 0 24 0 10 0 491095163 853278720 22534 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 22534 13073 16 0 208304 0 vsize: 833280 [startup+460.181 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 42931 60 0 0 25 0 10 0 491095163 853278720 22561 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 22561 13073 16 0 208304 0 vsize: 833280 [startup+470.181 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 43859 60 0 0 24 0 10 0 491095163 853278720 22589 4294967295 134512640 134569956 3221224400 3221214184 1076874544 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 22589 13073 16 0 208304 0 vsize: 833280 [startup+480.181 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 44791 61 0 0 25 0 10 0 491095163 853278720 22615 4294967295 134512640 134569956 3221224400 3221214264 1077558382 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 22615 13073 16 0 208304 0 vsize: 833280 [startup+490.182 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) S 16871 20937 20936 0 -1 0 17986 0 1 0 45721 61 0 0 25 0 10 0 491095163 853278720 22641 4294967295 134512640 134569956 3221224400 3221213520 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 22641 13073 16 0 208304 0 vsize: 833280 [startup+500.182 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 46650 62 0 0 25 0 10 0 491095163 853278720 22668 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 22668 13073 16 0 208304 0 vsize: 833280 [startup+510.183 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 47582 62 0 0 25 0 10 0 491095163 853278720 22693 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 22693 13073 16 0 208304 0 vsize: 833280 [startup+520.184 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 48507 62 0 0 25 0 10 0 491095163 853278720 22719 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 22719 13073 16 0 208304 0 vsize: 833280 [startup+530.185 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 49437 62 0 0 25 0 10 0 491095163 853278720 22744 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 22744 13073 16 0 208304 0 vsize: 833280 [startup+540.185 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 50367 63 0 0 25 0 10 0 491095163 853278720 22769 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 22769 13073 16 0 208304 0 vsize: 833280 [startup+550.186 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 51291 63 0 0 25 0 10 0 491095163 853278720 22795 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 22795 13073 16 0 208304 0 vsize: 833280 [startup+560.187 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 52220 63 0 0 25 0 10 0 491095163 853278720 22819 4294967295 134512640 134569956 3221224400 3221214280 1080019600 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 22819 13073 16 0 208304 0 vsize: 833280 [startup+570.188 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 53149 64 0 0 25 0 10 0 491095163 853278720 22843 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 22843 13073 16 0 208304 0 vsize: 833280 [startup+580.188 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 54071 65 0 0 25 0 10 0 491095163 853278720 22868 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 22868 13073 16 0 208304 0 vsize: 833280 [startup+590.188 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 54997 65 0 0 25 0 10 0 491095163 853278720 22891 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 22891 13073 16 0 208304 0 vsize: 833280 [startup+600.189 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 55919 66 0 0 24 0 10 0 491095163 853278720 22916 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 22916 13073 16 0 208304 0 vsize: 833280 [startup+610.19 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 56846 66 0 0 25 0 10 0 491095163 853278720 22939 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 22939 13073 16 0 208304 0 vsize: 833280 [startup+620.191 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 57772 66 0 0 25 0 10 0 491095163 853278720 22962 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 22962 13073 16 0 208304 0 vsize: 833280 [startup+630.192 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) S 16871 20937 20936 0 -1 0 17986 0 1 0 58697 67 0 0 25 0 10 0 491095163 853278720 22985 4294967295 134512640 134569956 3221224400 3221213520 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 22985 13073 16 0 208304 0 vsize: 833280 [startup+640.192 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 59618 68 0 0 25 0 10 0 491095163 853278720 23008 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 23008 13073 16 0 208304 0 vsize: 833280 [startup+650.193 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 60544 68 0 0 25 0 10 0 491095163 853278720 23034 4294967295 134512640 134569956 3221224400 3221214812 1080204166 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 23034 13073 16 0 208304 0 vsize: 833280 [startup+660.193 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 61463 68 0 0 25 0 10 0 491095163 853278720 24065 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 24065 13073 16 0 208304 0 vsize: 833280 [startup+670.194 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 62383 69 0 0 25 0 10 0 491095163 853278720 24065 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 24065 13073 16 0 208304 0 vsize: 833280 [startup+680.194 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 63300 69 0 0 25 0 10 0 491095163 853278720 24090 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 24090 13073 16 0 208304 0 vsize: 833280 [startup+690.194 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 64214 70 0 0 25 0 10 0 491095163 853278720 24117 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 24117 13073 16 0 208304 0 vsize: 833280 [startup+700.195 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 65129 71 0 0 25 0 10 0 491095163 853278720 24140 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 24140 13073 16 0 208304 0 vsize: 833280 [startup+710.196 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 66043 71 0 0 25 0 10 0 491095163 853278720 24167 4294967295 134512640 134569956 3221224400 3221214804 1080203551 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 24167 13073 16 0 208304 0 vsize: 833280 [startup+720.197 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 66956 71 0 0 25 0 10 0 491095163 853278720 24194 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 24194 13073 16 0 208304 0 vsize: 833280 [startup+730.196 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 67869 72 0 0 25 0 10 0 491095163 853278720 24216 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 24216 13073 16 0 208304 0 vsize: 833280 [startup+740.197 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) S 16871 20937 20936 0 -1 0 17986 0 1 0 68782 72 0 0 25 0 10 0 491095163 853278720 24236 4294967295 134512640 134569956 3221224400 3221213520 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 24236 13073 16 0 208304 0 vsize: 833280 [startup+750.198 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 69691 72 0 0 24 0 10 0 491095163 853278720 24270 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 24270 13073 16 0 208304 0 vsize: 833280 [startup+760.198 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 70603 73 0 0 24 0 10 0 491095163 853278720 24294 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 24294 13073 16 0 208304 0 vsize: 833280 [startup+770.199 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 71517 73 0 0 25 0 10 0 491095163 853278720 24317 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 24317 13073 16 0 208304 0 vsize: 833280 [startup+780.202 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 72429 73 0 0 24 0 10 0 491095163 853278720 24337 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 24337 13073 16 0 208304 0 vsize: 833280 [startup+790.202 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 73341 74 0 0 25 0 10 0 491095163 853278720 24370 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 24370 13073 16 0 208304 0 vsize: 833280 [startup+800.204 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 74252 74 0 0 25 0 10 0 491095163 853278720 24392 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 24392 13073 16 0 208304 0 vsize: 833280 [startup+810.208 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 75164 74 0 0 25 0 10 0 491095163 853278720 24414 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 24414 13073 16 0 208304 0 vsize: 833280 [startup+820.211 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 76074 75 0 0 25 0 10 0 491095163 853278720 24441 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 24441 13073 16 0 208304 0 vsize: 833280 [startup+830.211 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 76985 76 0 0 25 0 10 0 491095163 853278720 24465 4294967295 134512640 134569956 3221224400 3221214280 1080019747 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 24465 13073 16 0 208304 0 vsize: 833280 [startup+840.22 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 77895 76 0 0 20 0 10 0 491095163 853278720 24484 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 24484 13073 16 0 208304 0 vsize: 833280 [startup+850.22 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 78805 76 0 0 25 0 10 0 491095163 853278720 24509 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 24509 13073 16 0 208304 0 vsize: 833280 [startup+860.224 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 79715 77 0 0 21 0 10 0 491095163 853278720 24528 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 24528 13073 16 0 208304 0 vsize: 833280 [startup+870.225 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 80624 78 0 0 25 0 10 0 491095163 853278720 24558 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 24558 13073 16 0 208304 0 vsize: 833280 [startup+880.252 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 81537 78 0 0 25 0 10 0 491095163 853278720 24578 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 24578 13073 16 0 208304 0 vsize: 833280 [startup+890.253 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 82445 79 0 0 25 0 10 0 491095163 853278720 24597 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 24597 13073 16 0 208304 0 vsize: 833280 [startup+900.254 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 83354 79 0 0 25 0 10 0 491095163 853278720 24627 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 24627 13073 16 0 208304 0 vsize: 833280 [startup+910.259 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 84262 79 0 0 25 0 10 0 491095163 853278720 24647 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 24647 13073 16 0 208304 0 vsize: 833280 [startup+920.263 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 85170 80 0 0 25 0 10 0 491095163 853278720 24670 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 24670 13073 16 0 208304 0 vsize: 833280 [startup+930.266 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 86078 80 0 0 25 0 10 0 491095163 853278720 24689 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 24689 13073 16 0 208304 0 vsize: 833280 [startup+940.268 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 86984 81 0 0 25 0 10 0 491095163 853278720 24716 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 24716 13073 16 0 208304 0 vsize: 833280 [startup+950.269 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 87890 82 0 0 25 0 10 0 491095163 853278720 24739 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 24739 13073 16 0 208304 0 vsize: 833280 [startup+960.273 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 88796 82 0 0 25 0 10 0 491095163 853278720 24759 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 24759 13073 16 0 208304 0 vsize: 833280 [startup+970.281 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 89702 83 0 0 25 0 10 0 491095163 853278720 24783 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 24783 13073 16 0 208304 0 vsize: 833280 [startup+980.283 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 90609 83 0 0 25 0 10 0 491095163 853278720 24801 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 24801 13073 16 0 208304 0 vsize: 833280 [startup+990.289 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) S 16871 20937 20936 0 -1 0 17986 0 1 0 91519 84 0 0 25 0 10 0 491095163 853278720 24824 4294967295 134512640 134569956 3221224400 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 24824 13073 16 0 208304 0 vsize: 833280 [startup+1000.29 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 92426 84 0 0 25 0 10 0 491095163 853278720 24844 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 24844 13073 16 0 208304 0 vsize: 833280 [startup+1010.29 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 93332 84 0 0 25 0 10 0 491095163 853278720 24862 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 24862 13073 16 0 208304 0 vsize: 833280 [startup+1020.29 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 94236 85 0 0 25 0 10 0 491095163 853278720 24889 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208320 24889 13073 16 0 208304 0 vsize: 833280 [startup+1030.3 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 95141 85 0 0 25 0 10 0 491095163 853278720 24908 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 24908 13073 16 0 208304 0 vsize: 833280 [startup+1040.31 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 96046 85 0 0 25 0 10 0 491095163 853278720 24932 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 24932 13073 16 0 208304 0 vsize: 833280 [startup+1050.31 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 96950 86 0 0 25 0 10 0 491095163 853278720 24955 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 24955 13073 16 0 208304 0 vsize: 833280 [startup+1060.32 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 97852 86 0 0 25 0 10 0 491095163 853278720 24976 4294967295 134512640 134569956 3221224400 3221214280 1080019614 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 24976 13073 16 0 208304 0 vsize: 833280 [startup+1070.32 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 98754 87 0 0 25 0 10 0 491095163 853278720 24995 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 24995 13073 16 0 208304 0 vsize: 833280 [startup+1080.32 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 99657 87 0 0 24 0 10 0 491095163 853278720 25017 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 25017 13073 16 0 208304 0 vsize: 833280 [startup+1090.32 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) S 16871 20937 20936 0 -1 0 17986 0 1 0 100563 87 0 0 25 0 10 0 491095163 853278720 25037 4294967295 134512640 134569956 3221224400 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 25037 13073 16 0 208304 0 vsize: 833280 [startup+1100.33 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 101468 88 0 0 24 0 10 0 491095163 853278720 25056 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 25056 13073 16 0 208304 0 vsize: 833280 [startup+1110.33 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 102369 88 0 0 23 0 10 0 491095163 853278720 25078 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 25078 13073 16 0 208304 0 vsize: 833280 [startup+1120.33 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 103271 89 0 0 22 0 10 0 491095163 853278720 25099 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 25099 13073 16 0 208304 0 vsize: 833280 [startup+1130.35 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 104173 89 0 0 22 0 10 0 491095163 853278720 25117 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 25117 13073 16 0 208304 0 vsize: 833280 [startup+1140.36 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 105074 90 0 0 20 0 10 0 491095163 853278720 25134 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 25134 13073 16 0 208304 0 vsize: 833280 [startup+1150.36 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 105975 90 0 0 20 0 10 0 491095163 853278720 25159 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 25159 13073 16 0 208304 0 vsize: 833280 [startup+1160.36 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 106875 91 0 0 19 0 10 0 491095163 853278720 25178 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 25178 13073 16 0 208304 0 vsize: 833280 [startup+1170.36 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) S 16871 20937 20936 0 -1 0 17986 0 1 0 107781 91 0 0 23 0 10 0 491095163 853278720 25194 4294967295 134512640 134569956 3221224400 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 25194 13073 16 0 208304 0 vsize: 833280 [startup+1180.36 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 108682 92 0 0 23 0 10 0 491095163 853278720 25218 4294967295 134512640 134569956 3221224400 3221214812 1080204166 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 25218 13073 16 0 208304 0 vsize: 833280 [startup+1190.36 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 109580 92 0 0 20 0 10 0 491095163 853278720 25238 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 25238 13073 16 0 208304 0 vsize: 833280 [startup+1200.36 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 110477 93 0 0 19 0 10 0 491095163 853278720 25257 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 25257 13073 16 0 208304 0 vsize: 833280 [startup+1210.36 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 111377 93 0 0 19 0 10 0 491095163 853278720 25276 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 25276 13073 16 0 208304 0 vsize: 833280 [startup+1220.36 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 112281 94 0 0 22 0 10 0 491095163 853278720 25291 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 25291 13073 16 0 208304 0 vsize: 833280 [startup+1230.36 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 113180 94 0 0 21 0 10 0 491095163 853278720 25307 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 25307 13073 16 0 208304 0 vsize: 833280 [startup+1240.36 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 114079 94 0 0 19 0 10 0 491095163 853278720 25323 4294967295 134512640 134569956 3221224400 3221214848 1131168584 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 25323 13073 16 0 208304 0 vsize: 833280 [startup+1250.36 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 114977 95 0 0 18 0 10 0 491095163 853278720 25353 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 25353 13073 16 0 208304 0 vsize: 833280 [startup+1260.36 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 115881 95 0 0 22 0 10 0 491095163 853278720 25372 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 25372 13073 16 0 208304 0 vsize: 833280 [startup+1270.36 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 116779 96 0 0 20 0 10 0 491095163 853278720 25392 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 25392 13073 16 0 208304 0 vsize: 833280 [startup+1280.36 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 117677 96 0 0 19 0 10 0 491095163 853278720 25405 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 25405 13073 16 0 208304 0 vsize: 833280 [startup+1290.36 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 118577 96 0 0 19 0 10 0 491095163 853278720 25436 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 25436 13073 16 0 208304 0 vsize: 833280 [startup+1300.36 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 119485 97 0 0 24 0 10 0 491095163 853278720 25450 4294967295 134512640 134569956 3221224400 3221214280 1080019614 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 25450 13073 16 0 208304 0 vsize: 833280 [startup+1310.36 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 16881 Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 120386 98 0 0 22 0 10 0 491095163 853278720 25475 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208320 25475 13073 16 0 208304 0 vsize: 833280 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1310.47 s] Raw data (loadavg): 1.00 1.00 0.93 1/54 16882 Raw data (stat): 16872 (java) Z 16871 20937 20936 0 -1 1036 17986 7196 1 0 120392 98 10364 40 23 0 1 0 491095163 0 0 4294967295 0 0 0 0 0 0 4 3 23756 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: 143 Real time (s): 1310.47 CPU time (s): 1308.96 CPU user time (s): 1307.57 CPU system time (s): 1.38679 CPU usage (%): 99.8847 Max. virtual memory (Kb): 833564 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####