Name | normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-fit2d.opb |
MD5SUM | 2e76b80d3e2b7702736bbbb87d69e547 |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 75000 |
Biggest coefficient in the objective function | 20812800 |
Number of bits for the biggest coefficient in the objective function | 25 |
Sum of the numbers in the objective function | 5499924834 |
Number of bits of the sum of numbers in the objective function | 33 |
Biggest number in a constraint | 20812800 |
Number of bits of the biggest number in a constraint | 25 |
Biggest sum of numbers in a constraint | 5499924834 |
Number of bits of the biggest sum of numbers | 33 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.850869 |
Number of variables | 87000 |
Total number of constraints | 10525 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 10525 |
Minimum length of a constraint | 7 |
Maximum length of a constraint | 87000 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc10 THE 2005-04-21 19:53:58 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=15804 boxname=wulflinc10 idbench=1216 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: 2e76b80d3e2b7702736bbbb87d69e547 /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-13-7-fit2d.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-13-7-fit2d.opb IDLAUNCH: 15804 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 450.999 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 450.999 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: 794588 kB Buffers: 7792 kB Cached: 209876 kB SwapCached: 0 kB Active: 43308 kB Inactive: 176892 kB HighTotal: 131008 kB HighFree: 22568 kB LowTotal: 903652 kB LowFree: 772020 kB SwapTotal: 2097136 kB SwapFree: 2096784 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6412 kB Slab: 13968 kB Committed_AS: 63480 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-21 20:15:41 (client local time) WITH STATUS 143 IN 1301.88 SECONDS stats: 15804 7 1301.88 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-13-7-fit2d.opb c reading problem c [nbvar=87000] c [nbconstr=10525] #### 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.82 0.93 0.90 2/54 4443 Raw data (stat): 4443 (runsolver) R 4442 25347 25346 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 489541356 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+9.99948 s] Raw data (loadavg): 0.85 0.93 0.90 2/63 4452 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 887 42 0 0 25 0 10 0 489541356 853581824 19150 4294967295 134512640 134569956 3221224400 3221214516 1080019614 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208394 19150 13073 16 0 208378 0 vsize: 833576 [startup+20 s] Raw data (loadavg): 0.87 0.93 0.90 2/63 4452 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 1783 42 0 0 25 0 10 0 489541356 853647360 19660 4294967295 134512640 134569956 3221224400 3221214824 1131216685 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208410 19660 13073 16 0 208394 0 vsize: 833640 [startup+29.9996 s] Raw data (loadavg): 0.89 0.93 0.90 2/63 4452 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 2680 42 0 0 25 0 10 0 489541356 853647360 20102 4294967295 134512640 134569956 3221224400 3221214824 1131216685 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208410 20102 13073 16 0 208394 0 vsize: 833640 [startup+40.0001 s] Raw data (loadavg): 0.91 0.93 0.90 2/63 4452 Raw data (stat): 4443 (java) S 4442 25347 25346 0 -1 0 17976 0 1 0 3612 43 0 0 25 0 10 0 489541356 853647360 20329 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208410 20329 13073 16 0 208394 0 vsize: 833640 [startup+50.0007 s] Raw data (loadavg): 0.92 0.93 0.90 2/63 4452 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 4543 44 0 0 25 0 10 0 489541356 853647360 20454 4294967295 134512640 134569956 3221224400 3221214820 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208410 20454 13073 16 0 208394 0 vsize: 833640 [startup+60.0004 s] Raw data (loadavg): 0.93 0.94 0.90 2/63 4452 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 5475 44 0 0 25 0 10 0 489541356 853647360 20552 4294967295 134512640 134569956 3221224400 3221214288 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208410 20552 13073 16 0 208394 0 vsize: 833640 [startup+70.0009 s] Raw data (loadavg): 0.94 0.94 0.90 2/63 4452 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 6418 44 0 0 25 0 10 0 489541356 853573632 20752 4294967295 134512640 134569956 3221224400 3221214272 1080019600 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208392 20752 13073 16 0 208376 0 vsize: 833568 [startup+80.0014 s] Raw data (loadavg): 0.95 0.94 0.90 2/63 4452 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 7367 45 0 0 25 0 10 0 489541356 853573632 20830 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208392 20830 13073 16 0 208376 0 vsize: 833568 [startup+90.001 s] Raw data (loadavg): 0.96 0.94 0.90 2/63 4452 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 8316 46 0 0 25 0 10 0 489541356 853573632 20902 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208392 20902 13073 16 0 208376 0 vsize: 833568 [startup+100.001 s] Raw data (loadavg): 0.96 0.94 0.91 2/63 4452 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 9262 46 0 0 24 0 10 0 489541356 853573632 20973 4294967295 134512640 134569956 3221224400 3221214804 1080204146 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208392 20973 13073 16 0 208376 0 vsize: 833568 [startup+110.001 s] Raw data (loadavg): 0.97 0.94 0.91 2/63 4452 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 10212 46 0 0 24 0 10 0 489541356 853573632 21036 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208392 21036 13073 16 0 208376 0 vsize: 833568 [startup+120.001 s] Raw data (loadavg): 0.97 0.95 0.91 2/63 4452 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 11162 47 0 0 25 0 10 0 489541356 853573632 21095 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208392 21095 13073 16 0 208376 0 vsize: 833568 [startup+130 s] Raw data (loadavg): 0.98 0.95 0.91 2/63 4452 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 12112 48 0 0 25 0 10 0 489541356 853573632 21151 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208392 21151 13073 16 0 208376 0 vsize: 833568 [startup+140 s] Raw data (loadavg): 0.98 0.95 0.91 2/63 4452 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 13062 48 0 0 25 0 10 0 489541356 853573632 21205 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208392 21205 13073 16 0 208376 0 vsize: 833568 [startup+150 s] Raw data (loadavg): 0.98 0.95 0.91 2/63 4452 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 14011 49 0 0 25 0 10 0 489541356 853573632 21257 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208392 21257 13073 16 0 208376 0 vsize: 833568 [startup+160 s] Raw data (loadavg): 0.98 0.95 0.91 2/63 4452 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 14960 50 0 0 25 0 10 0 489541356 853573632 21307 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208392 21307 13073 16 0 208376 0 vsize: 833568 [startup+170.001 s] Raw data (loadavg): 0.99 0.95 0.91 2/63 4452 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 15909 50 0 0 25 0 10 0 489541356 853573632 21355 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208392 21355 13073 16 0 208376 0 vsize: 833568 [startup+180.001 s] Raw data (loadavg): 0.99 0.95 0.91 2/63 4452 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 16834 51 0 0 25 0 10 0 489541356 853573632 21401 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208392 21401 13073 16 0 208376 0 vsize: 833568 [startup+190.001 s] Raw data (loadavg): 0.99 0.95 0.91 2/63 4452 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 17762 51 0 0 25 0 10 0 489541356 853573632 21702 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208392 21702 13073 16 0 208376 0 vsize: 833568 [startup+200.001 s] Raw data (loadavg): 0.99 0.95 0.91 2/63 4452 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 18708 52 0 0 25 0 10 0 489541356 853573632 21745 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208392 21745 13073 16 0 208376 0 vsize: 833568 [startup+210.001 s] Raw data (loadavg): 0.99 0.95 0.91 2/63 4452 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 19654 52 0 0 25 0 10 0 489541356 853573632 21789 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208392 21789 13073 16 0 208376 0 vsize: 833568 [startup+220.001 s] Raw data (loadavg): 0.99 0.95 0.91 2/63 4452 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 20599 53 0 0 25 0 10 0 489541356 853573632 21830 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208392 21830 13073 16 0 208376 0 vsize: 833568 [startup+230.005 s] Raw data (loadavg): 0.99 0.96 0.91 2/63 4452 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 21544 53 0 0 25 0 10 0 489541356 853573632 21870 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208392 21870 13073 16 0 208376 0 vsize: 833568 [startup+240.006 s] Raw data (loadavg): 0.99 0.96 0.91 2/63 4452 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 22488 54 0 0 25 0 10 0 489541356 853573632 21909 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208392 21909 13073 16 0 208376 0 vsize: 833568 [startup+250.006 s] Raw data (loadavg): 0.99 0.96 0.91 2/63 4452 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 23432 54 0 0 25 0 10 0 489541356 853573632 21948 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208392 21948 13073 16 0 208376 0 vsize: 833568 [startup+260.006 s] Raw data (loadavg): 0.99 0.96 0.91 2/63 4452 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 24376 54 0 0 25 0 10 0 489541356 853573632 21985 4294967295 134512640 134569956 3221224400 3221214176 1076874552 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208392 21985 13073 16 0 208376 0 vsize: 833568 [startup+270.006 s] Raw data (loadavg): 0.99 0.96 0.91 2/63 4452 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 25318 55 0 0 25 0 10 0 489541356 853573632 22022 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208392 22022 13073 16 0 208376 0 vsize: 833568 [startup+280.006 s] Raw data (loadavg): 0.99 0.96 0.91 2/63 4452 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 26261 55 0 0 25 0 10 0 489541356 853573632 22058 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208392 22058 13073 16 0 208376 0 vsize: 833568 [startup+290.006 s] Raw data (loadavg): 0.99 0.96 0.91 2/63 4452 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 27203 56 0 0 25 0 10 0 489541356 853573632 22093 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208392 22093 13073 16 0 208376 0 vsize: 833568 [startup+300.006 s] Raw data (loadavg): 0.99 0.96 0.91 2/63 4452 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 28144 56 0 0 25 0 10 0 489541356 853573632 22128 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208392 22128 13073 16 0 208376 0 vsize: 833568 [startup+310.006 s] Raw data (loadavg): 0.99 0.96 0.91 2/63 4452 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 29086 57 0 0 25 0 10 0 489541356 853573632 22162 4294967295 134512640 134569956 3221224400 3221214240 1076460933 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208392 22162 13073 16 0 208376 0 vsize: 833568 [startup+320.007 s] Raw data (loadavg): 0.99 0.96 0.91 2/63 4452 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 30026 57 0 0 25 0 10 0 489541356 853573632 22195 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208392 22195 13073 16 0 208376 0 vsize: 833568 [startup+330.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 4452 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 30966 58 0 0 25 0 10 0 489541356 853573632 22228 4294967295 134512640 134569956 3221224400 3221214796 1080203551 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208392 22228 13073 16 0 208376 0 vsize: 833568 [startup+340.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 4452 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 31906 58 0 0 25 0 10 0 489541356 853573632 22260 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208392 22260 13073 16 0 208376 0 vsize: 833568 [startup+350.007 s] Raw data (loadavg): 1.07 0.98 0.91 2/63 4452 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 32845 59 0 0 25 0 10 0 489541356 853573632 22293 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208392 22293 13073 16 0 208376 0 vsize: 833568 [startup+360.007 s] Raw data (loadavg): 1.06 0.98 0.91 2/63 4452 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 33784 60 0 0 25 0 10 0 489541356 853573632 22325 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208392 22325 13073 16 0 208376 0 vsize: 833568 [startup+370.016 s] Raw data (loadavg): 1.13 1.00 0.92 3/66 4492 Raw data (stat): 4443 (java) S 4442 25347 25346 0 -1 0 17976 0 1 0 34718 62 0 0 25 0 10 0 489541356 853573632 22354 4294967295 134512640 134569956 3221224400 3221213392 1073952481 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208392 22354 13073 16 0 208376 0 vsize: 833568 [startup+380.016 s] Raw data (loadavg): 1.11 1.00 0.92 3/63 4505 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 35656 65 0 0 25 0 10 0 489541356 853573632 22384 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208392 22384 13073 16 0 208376 0 vsize: 833568 [startup+390.016 s] Raw data (loadavg): 1.09 1.00 0.92 2/63 4505 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 36594 65 0 0 25 0 10 0 489541356 853573632 22414 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208392 22414 13073 16 0 208376 0 vsize: 833568 [startup+400.016 s] Raw data (loadavg): 1.08 1.00 0.92 2/63 4505 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 37531 66 0 0 25 0 10 0 489541356 853573632 22444 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208392 22444 13073 16 0 208376 0 vsize: 833568 [startup+410.016 s] Raw data (loadavg): 1.06 1.00 0.92 2/63 4505 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 38469 66 0 0 25 0 10 0 489541356 853573632 22473 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208392 22473 13073 16 0 208376 0 vsize: 833568 [startup+420.017 s] Raw data (loadavg): 1.05 1.00 0.92 2/63 4505 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 39406 66 0 0 25 0 10 0 489541356 853573632 22502 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208392 22502 13073 16 0 208376 0 vsize: 833568 [startup+430.017 s] Raw data (loadavg): 1.04 1.00 0.92 2/63 4505 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 40343 66 0 0 24 0 10 0 489541356 853573632 22531 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208392 22531 13073 16 0 208376 0 vsize: 833568 [startup+440.017 s] Raw data (loadavg): 1.04 1.00 0.92 2/63 4507 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 41282 66 0 0 25 0 10 0 489541356 853573632 22557 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208392 22557 13073 16 0 208376 0 vsize: 833568 [startup+450.016 s] Raw data (loadavg): 1.03 1.00 0.92 2/63 4507 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 42218 66 0 0 25 0 10 0 489541356 853573632 22585 4294967295 134512640 134569956 3221224400 3221214796 1080203551 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208392 22585 13073 16 0 208376 0 vsize: 833568 [startup+460.017 s] Raw data (loadavg): 1.03 1.00 0.92 2/63 4507 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 43153 66 0 0 25 0 10 0 489541356 853573632 22612 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208392 22612 13073 16 0 208376 0 vsize: 833568 [startup+470.018 s] Raw data (loadavg): 1.02 1.00 0.92 2/63 4507 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 44088 67 0 0 25 0 10 0 489541356 853573632 22640 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208392 22640 13073 16 0 208376 0 vsize: 833568 [startup+480.018 s] Raw data (loadavg): 1.02 1.00 0.92 2/63 4507 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 45022 67 0 0 25 0 10 0 489541356 853573632 22667 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208392 22667 13073 16 0 208376 0 vsize: 833568 [startup+490.02 s] Raw data (loadavg): 1.01 1.00 0.92 2/63 4507 Raw data (stat): 4443 (java) S 4442 25347 25346 0 -1 0 17976 0 1 0 45959 67 0 0 25 0 10 0 489541356 853573632 22692 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208392 22692 13073 16 0 208376 0 vsize: 833568 [startup+500.021 s] Raw data (loadavg): 1.09 1.02 0.93 2/63 4507 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 46893 67 0 0 25 0 10 0 489541356 853573632 22718 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208392 22718 13073 16 0 208376 0 vsize: 833568 [startup+510.021 s] Raw data (loadavg): 1.07 1.02 0.93 2/63 4507 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 47826 67 0 0 25 0 10 0 489541356 853573632 22744 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208392 22744 13073 16 0 208376 0 vsize: 833568 [startup+520.022 s] Raw data (loadavg): 1.14 1.03 0.93 2/63 4507 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 48759 68 0 0 25 0 10 0 489541356 853573632 22770 4294967295 134512640 134569956 3221224400 3221214804 1080204166 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208392 22770 13073 16 0 208376 0 vsize: 833568 [startup+530.022 s] Raw data (loadavg): 1.12 1.03 0.93 2/63 4507 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 49691 68 0 0 24 0 10 0 489541356 853573632 22796 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208392 22796 13073 16 0 208376 0 vsize: 833568 [startup+540.022 s] Raw data (loadavg): 1.10 1.03 0.93 2/63 4507 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 50627 68 0 0 25 0 10 0 489541356 853573632 22820 4294967295 134512640 134569956 3221224400 3221214272 1080019600 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208392 22820 13073 16 0 208376 0 vsize: 833568 [startup+550.023 s] Raw data (loadavg): 1.08 1.03 0.93 2/63 4507 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 51558 68 0 0 25 0 10 0 489541356 853573632 22845 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208392 22845 13073 16 0 208376 0 vsize: 833568 [startup+560.024 s] Raw data (loadavg): 1.07 1.03 0.93 2/63 4507 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 52490 68 0 0 25 0 10 0 489541356 853573632 22870 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208392 22870 13073 16 0 208376 0 vsize: 833568 [startup+570.024 s] Raw data (loadavg): 1.06 1.02 0.93 2/63 4507 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 53420 68 0 0 24 0 10 0 489541356 853573632 22895 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208392 22895 13073 16 0 208376 0 vsize: 833568 [startup+580.024 s] Raw data (loadavg): 1.05 1.02 0.93 2/63 4507 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 54355 69 0 0 25 0 10 0 489541356 853573632 22918 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208392 22918 13073 16 0 208376 0 vsize: 833568 [startup+590.024 s] Raw data (loadavg): 1.04 1.02 0.93 2/63 4507 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 55285 69 0 0 25 0 10 0 489541356 853573632 22942 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208392 22942 13073 16 0 208376 0 vsize: 833568 [startup+600.024 s] Raw data (loadavg): 1.04 1.02 0.93 2/63 4507 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 56215 69 0 0 24 0 10 0 489541356 853573632 22966 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208392 22966 13073 16 0 208376 0 vsize: 833568 [startup+610.024 s] Raw data (loadavg): 1.03 1.02 0.93 2/63 4507 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 57148 69 0 0 25 0 10 0 489541356 853573632 22988 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208392 22988 13073 16 0 208376 0 vsize: 833568 [startup+620.024 s] Raw data (loadavg): 1.02 1.02 0.93 2/63 4507 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 58076 70 0 0 25 0 10 0 489541356 853573632 23012 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208392 23012 13073 16 0 208376 0 vsize: 833568 [startup+630.025 s] Raw data (loadavg): 1.02 1.02 0.93 2/63 4507 Raw data (stat): 4443 (java) S 4442 25347 25346 0 -1 0 17976 0 1 0 59007 70 0 0 25 0 10 0 489541356 853573632 23034 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208392 23034 13073 16 0 208376 0 vsize: 833568 [startup+640.027 s] Raw data (loadavg): 1.02 1.02 0.93 2/63 4507 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 59937 71 0 0 25 0 10 0 489541356 853573632 23057 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208392 23057 13073 16 0 208376 0 vsize: 833568 [startup+650.027 s] Raw data (loadavg): 1.01 1.02 0.93 2/63 4507 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 60865 71 0 0 25 0 10 0 489541356 853573632 23080 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208392 23080 13073 16 0 208376 0 vsize: 833568 [startup+660.027 s] Raw data (loadavg): 1.01 1.02 0.93 2/63 4507 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 61797 71 0 0 25 0 10 0 489541356 853573632 23101 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208392 23101 13073 16 0 208376 0 vsize: 833568 [startup+670.028 s] Raw data (loadavg): 1.01 1.02 0.93 2/63 4507 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 62724 71 0 0 25 0 10 0 489541356 853573632 23124 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208392 23124 13073 16 0 208376 0 vsize: 833568 [startup+680.028 s] Raw data (loadavg): 1.01 1.01 0.93 2/63 4507 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 63655 71 0 0 25 0 10 0 489541356 853573632 23145 4294967295 134512640 134569956 3221224400 3221214272 1080019600 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208392 23145 13073 16 0 208376 0 vsize: 833568 [startup+690.028 s] Raw data (loadavg): 1.01 1.01 0.93 2/63 4507 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 64576 72 0 0 25 0 10 0 489541356 853573632 24151 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208392 24151 13073 16 0 208376 0 vsize: 833568 [startup+700.028 s] Raw data (loadavg): 1.00 1.01 0.93 2/63 4507 Raw data (stat): 4443 (java) S 4442 25347 25346 0 -1 0 17976 0 1 0 65498 72 0 0 25 0 10 0 489541356 853573632 24151 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208392 24151 13073 16 0 208376 0 vsize: 833568 [startup+710.029 s] Raw data (loadavg): 1.00 1.01 0.93 2/63 4507 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 66416 72 0 0 25 0 10 0 489541356 853573632 24175 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208392 24175 13073 16 0 208376 0 vsize: 833568 [startup+720.029 s] Raw data (loadavg): 1.00 1.01 0.93 2/63 4509 Raw data (stat): 4443 (java) S 4442 25347 25346 0 -1 0 17976 0 1 0 67334 73 0 0 25 0 10 0 489541356 853573632 24198 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208392 24198 13073 16 0 208376 0 vsize: 833568 [startup+730.03 s] Raw data (loadavg): 1.00 1.01 0.93 2/63 4509 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 68251 73 0 0 25 0 10 0 489541356 853573632 24225 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208392 24225 13073 16 0 208376 0 vsize: 833568 [startup+740.03 s] Raw data (loadavg): 1.00 1.01 0.93 2/63 4509 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 69171 73 0 0 25 0 10 0 489541356 853573632 24249 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208392 24249 13073 16 0 208376 0 vsize: 833568 [startup+750.03 s] Raw data (loadavg): 1.00 1.01 0.93 2/63 4509 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 70088 73 0 0 25 0 10 0 489541356 853573632 24276 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208392 24276 13073 16 0 208376 0 vsize: 833568 [startup+760.03 s] Raw data (loadavg): 1.00 1.01 0.93 2/63 4509 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 71008 73 0 0 25 0 10 0 489541356 853573632 24297 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208392 24297 13073 16 0 208376 0 vsize: 833568 [startup+770.031 s] Raw data (loadavg): 1.00 1.01 0.93 2/63 4509 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 71923 73 0 0 25 0 10 0 489541356 853573632 24318 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208392 24318 13073 16 0 208376 0 vsize: 833568 [startup+780.031 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 4509 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 72843 73 0 0 25 0 10 0 489541356 853573632 24350 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208392 24350 13073 16 0 208376 0 vsize: 833568 [startup+790.031 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 4509 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 73763 73 0 0 25 0 10 0 489541356 853573632 24371 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208392 24371 13073 16 0 208376 0 vsize: 833568 [startup+800.031 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 4509 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 74677 73 0 0 25 0 10 0 489541356 853573632 24395 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208392 24395 13073 16 0 208376 0 vsize: 833568 [startup+810.032 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 4509 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 75595 74 0 0 25 0 10 0 489541356 853573632 24414 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208392 24414 13073 16 0 208376 0 vsize: 833568 [startup+820.035 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 4509 Raw data (stat): 4443 (java) S 4442 25347 25346 0 -1 0 17976 0 1 0 76511 74 0 0 25 0 10 0 489541356 853573632 24444 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208392 24444 13073 16 0 208376 0 vsize: 833568 [startup+830.035 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 4509 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 77426 74 0 0 25 0 10 0 489541356 853573632 24468 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208392 24468 13073 16 0 208376 0 vsize: 833568 [startup+840.035 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 4509 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 78344 74 0 0 25 0 10 0 489541356 853573632 24491 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208392 24491 13073 16 0 208376 0 vsize: 833568 [startup+850.036 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 4509 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 79256 74 0 0 24 0 10 0 489541356 853573632 24511 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208392 24511 13073 16 0 208376 0 vsize: 833568 [startup+860.037 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 4509 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 80173 74 0 0 25 0 10 0 489541356 853573632 24538 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208392 24538 13073 16 0 208376 0 vsize: 833568 [startup+870.037 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 4509 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 81090 75 0 0 25 0 10 0 489541356 853573632 24557 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208392 24557 13073 16 0 208376 0 vsize: 833568 [startup+880.038 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 4509 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 82001 75 0 0 24 0 10 0 489541356 853573632 24582 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208392 24582 13073 16 0 208376 0 vsize: 833568 [startup+890.038 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 4509 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 82918 75 0 0 25 0 10 0 489541356 853573632 24600 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208392 24600 13073 16 0 208376 0 vsize: 833568 [startup+900.038 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 4509 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 83835 75 0 0 25 0 10 0 489541356 853573632 24628 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208392 24628 13073 16 0 208376 0 vsize: 833568 [startup+910.038 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 4509 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 84745 75 0 0 24 0 10 0 489541356 853573632 24651 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208392 24651 13073 16 0 208376 0 vsize: 833568 [startup+920.039 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 4509 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 85661 75 0 0 25 0 10 0 489541356 853573632 24669 4294967295 134512640 134569956 3221224400 3221214768 1131150208 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208392 24669 13073 16 0 208376 0 vsize: 833568 [startup+930.039 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 4509 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 86575 75 0 0 25 0 10 0 489541356 853573632 24696 4294967295 134512640 134569956 3221224400 3221214272 1080019600 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208392 24696 13073 16 0 208376 0 vsize: 833568 [startup+940.038 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 4509 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 87484 75 0 0 24 0 10 0 489541356 853573632 24715 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208392 24715 13073 16 0 208376 0 vsize: 833568 [startup+950.039 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 4509 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 88397 76 0 0 25 0 10 0 489541356 853573632 24740 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208392 24740 13073 16 0 208376 0 vsize: 833568 [startup+960.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 4509 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 89309 76 0 0 25 0 10 0 489541356 853573632 24759 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208392 24759 13073 16 0 208376 0 vsize: 833568 [startup+970.039 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 4509 Raw data (stat): 4443 (java) S 4442 25347 25346 0 -1 0 17976 0 1 0 90217 77 0 0 25 0 10 0 489541356 853573632 24777 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208392 24777 13073 16 0 208376 0 vsize: 833568 [startup+980.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 4509 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 91127 78 0 0 25 0 10 0 489541356 853573632 24803 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208392 24803 13073 16 0 208376 0 vsize: 833568 [startup+990.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 4509 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 92038 78 0 0 25 0 10 0 489541356 853573632 24827 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208392 24827 13073 16 0 208376 0 vsize: 833568 [startup+1000.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 4509 Raw data (stat): 4443 (java) S 4442 25347 25346 0 -1 0 17976 0 1 0 92948 78 0 0 25 0 10 0 489541356 853573632 24845 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208392 24845 13073 16 0 208376 0 vsize: 833568 [startup+1010.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 4509 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 93853 79 0 0 25 0 10 0 489541356 853573632 24869 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208392 24869 13073 16 0 208376 0 vsize: 833568 [startup+1020.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 4509 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 94764 79 0 0 25 0 10 0 489541356 853573632 24886 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208392 24886 13073 16 0 208376 0 vsize: 833568 [startup+1030.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 4509 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 95675 80 0 0 25 0 10 0 489541356 853573632 24910 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208392 24910 13073 16 0 208376 0 vsize: 833568 [startup+1040.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 4509 Raw data (stat): 4443 (java) S 4442 25347 25346 0 -1 0 17976 0 1 0 96582 80 0 0 25 0 10 0 489541356 853573632 24930 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208392 24930 13073 16 0 208376 0 vsize: 833568 [startup+1050.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 4509 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 97490 80 0 0 25 0 10 0 489541356 853573632 24948 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208392 24948 13073 16 0 208376 0 vsize: 833568 [startup+1060.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 4509 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 98400 80 0 0 25 0 10 0 489541356 853573632 24974 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208392 24974 13073 16 0 208376 0 vsize: 833568 [startup+1070.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 4509 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 99310 81 0 0 25 0 10 0 489541356 853573632 24992 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208392 24992 13073 16 0 208376 0 vsize: 833568 [startup+1080.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 4509 Raw data (stat): 4443 (java) S 4442 25347 25346 0 -1 0 17976 0 1 0 100216 81 0 0 25 0 10 0 489541356 853573632 25015 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208392 25015 13073 16 0 208376 0 vsize: 833568 [startup+1090.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 4509 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 101124 82 0 0 25 0 10 0 489541356 853573632 25036 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208392 25036 13073 16 0 208376 0 vsize: 833568 [startup+1100.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 4509 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 102032 82 0 0 25 0 10 0 489541356 853573632 25056 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208392 25056 13073 16 0 208376 0 vsize: 833568 [startup+1110.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 4509 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 102940 83 0 0 25 0 10 0 489541356 853573632 25076 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208392 25076 13073 16 0 208376 0 vsize: 833568 [startup+1120.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 4509 Raw data (stat): 4443 (java) S 4442 25347 25346 0 -1 0 17976 0 1 0 103848 83 0 0 25 0 10 0 489541356 853573632 25092 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208392 25092 13073 16 0 208376 0 vsize: 833568 [startup+1130.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 4509 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 104752 83 0 0 25 0 10 0 489541356 853573632 25116 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208392 25116 13073 16 0 208376 0 vsize: 833568 [startup+1140.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 4509 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 105660 83 0 0 25 0 10 0 489541356 853573632 25136 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208392 25136 13073 16 0 208376 0 vsize: 833568 [startup+1150.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 4509 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 106568 84 0 0 25 0 10 0 489541356 853573632 25156 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208392 25156 13073 16 0 208376 0 vsize: 833568 [startup+1160.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 4509 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 107476 84 0 0 25 0 10 0 489541356 853573632 25174 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208392 25174 13073 16 0 208376 0 vsize: 833568 [startup+1170.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 4509 Raw data (stat): 4443 (java) S 4442 25347 25346 0 -1 0 17976 0 1 0 108383 84 0 0 25 0 10 0 489541356 853573632 25195 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208392 25195 13073 16 0 208376 0 vsize: 833568 [startup+1180.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 4509 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 109285 85 0 0 24 0 10 0 489541356 853573632 25212 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208392 25212 13073 16 0 208376 0 vsize: 833568 [startup+1190.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 4509 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 110193 85 0 0 25 0 10 0 489541356 853573632 25234 4294967295 134512640 134569956 3221224400 3221214256 1077558368 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208392 25234 13073 16 0 208376 0 vsize: 833568 [startup+1200.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 4509 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 111098 86 0 0 25 0 10 0 489541356 853573632 25252 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208392 25252 13073 16 0 208376 0 vsize: 833568 [startup+1210.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 4509 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 112004 86 0 0 25 0 10 0 489541356 853573632 25272 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208392 25272 13073 16 0 208376 0 vsize: 833568 [startup+1220.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 4509 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 112910 86 0 0 25 0 10 0 489541356 853573632 25288 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208392 25288 13073 16 0 208376 0 vsize: 833568 [startup+1230.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 4509 Raw data (stat): 4443 (java) S 4442 25347 25346 0 -1 0 17976 0 1 0 113814 87 0 0 25 0 10 0 489541356 853573632 25311 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208392 25311 13073 16 0 208376 0 vsize: 833568 [startup+1240.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 4509 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 114710 87 0 0 18 0 10 0 489541356 853573632 25331 4294967295 134512640 134569956 3221224400 3221214768 1131149887 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208392 25331 13073 16 0 208376 0 vsize: 833568 [startup+1250.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 4509 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 115614 87 0 0 19 0 10 0 489541356 853573632 25349 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208392 25349 13073 16 0 208376 0 vsize: 833568 [startup+1260.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 4509 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 116518 88 0 0 20 0 10 0 489541356 853573632 25367 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208392 25367 13073 16 0 208376 0 vsize: 833568 [startup+1270.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 4509 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 117423 88 0 0 22 0 10 0 489541356 853573632 25382 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208392 25382 13073 16 0 208376 0 vsize: 833568 [startup+1280.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 4509 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 118327 88 0 0 21 0 10 0 489541356 853573632 25398 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208392 25398 13073 16 0 208376 0 vsize: 833568 [startup+1290.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 4509 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 119231 89 0 0 23 0 10 0 489541356 853573632 25413 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208392 25413 13073 16 0 208376 0 vsize: 833568 [startup+1300.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 4509 Raw data (stat): 4443 (java) R 4442 25347 25346 0 -1 0 17976 0 1 0 120136 89 0 0 23 0 10 0 489541356 853573632 25442 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208392 25442 13073 16 0 208376 0 vsize: 833568 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1300.37 s] Raw data (loadavg): 1.00 1.00 0.93 1/54 4510 Raw data (stat): 4443 (java) Z 4442 25347 25346 0 -1 1036 17976 7808 1 1 120148 94 9903 40 17 0 1 0 489541356 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): 1300.37 CPU time (s): 1301.88 CPU user time (s): 1300.53 CPU system time (s): 1.35279 CPU usage (%): 100.116 Max. virtual memory (Kb): 833640 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####