Name | normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-roll3000.opb |
MD5SUM | e92110eefe66ae3240a292dc732eb360 |
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 | 31 |
Biggest coefficient in the objective function | 1073741824 |
Number of bits for the biggest coefficient in the objective function | 31 |
Sum of the numbers in the objective function | 2147483647 |
Number of bits of the sum of numbers in the objective function | 31 |
Biggest number in a constraint | 1024000000000 |
Number of bits of the biggest number in a constraint | 40 |
Biggest sum of numbers in a constraint | 2123511627775 |
Number of bits of the biggest sum of numbers | 41 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 1.9457 |
Number of variables | 8902 |
Total number of constraints | 3459 |
Number of constraints which are clauses | 143 |
Number of constraints which are cardinality constraints (but not clauses) | 626 |
Number of constraints which are nor clauses,nor cardinality constraints | 2690 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 2407 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-04-22 00:25:38 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=12983 boxname=wulflinc31 idbench=999 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: e92110eefe66ae3240a292dc732eb360 /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-roll3000.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-roll3000.opb IDLAUNCH: 12983 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.153 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.153 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 718944 kB Buffers: 21764 kB Cached: 269104 kB SwapCached: 580 kB Active: 64128 kB Inactive: 228700 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 718692 kB SwapTotal: 2097892 kB SwapFree: 2096356 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5024 kB Slab: 17292 kB Committed_AS: 63596 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-22 00:46:11 (client local time) WITH STATUS 143 IN 1227.99 SECONDS stats: 12983 7 1227.99 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-roll3000.opb c reading problem c [nbvar=8902] c [nbconstr=3459] c time 32.528 c #vars 8902 c #clauses 3038 c starts : 0 c conflicts : 0 c decisions : 0 c propagations : 0 c inspects : 0 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 0 #### 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.66 0.80 0.85 2/54 6596 Raw data (stat): 6596 (runsolver) R 6595 23176 23175 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 549370676 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0374 s] Raw data (loadavg): 0.86 0.84 0.86 3/63 6605 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18007 0 1 0 866 38 0 0 25 0 10 0 549370676 856252416 19824 4294967295 134512640 134569956 3221224400 3221213852 1073952732 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209046 19824 13073 16 0 209030 0 vsize: 836184 [startup+20.0375 s] Raw data (loadavg): 0.88 0.84 0.86 2/63 6605 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18007 0 1 0 1762 38 0 0 24 0 10 0 549370676 855334912 20191 4294967295 134512640 134569956 3221224400 3221214488 1076461336 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208822 20191 13073 16 0 208806 0 vsize: 835288 [startup+30.0388 s] Raw data (loadavg): 0.90 0.85 0.86 4/63 6605 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18008 0 1 0 2623 39 0 0 24 0 10 0 549370676 858984448 21506 4294967295 134512640 134569956 3221224400 3221214320 1131179728 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209713 21506 13073 16 0 209697 0 vsize: 838852 [startup+40.0383 s] Raw data (loadavg): 0.91 0.85 0.86 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18079 0 1 0 3429 41 0 0 25 0 11 0 549370676 859181056 24710 4294967295 134512640 134569956 3221224400 3221214384 1074489757 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209761 24710 13073 16 0 209745 0 vsize: 839044 [startup+50.0393 s] Raw data (loadavg): 0.92 0.85 0.86 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18079 0 1 0 4391 41 0 0 25 0 11 0 549370676 859799552 24921 4294967295 134512640 134569956 3221224400 3221214704 1131382253 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 24921 13073 16 0 209896 0 vsize: 839648 [startup+60.0397 s] Raw data (loadavg): 0.94 0.86 0.86 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18079 0 1 0 5358 41 0 0 25 0 11 0 549370676 859570176 24865 4294967295 134512640 134569956 3221224400 3221214744 1131430417 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209856 24865 13073 16 0 209840 0 vsize: 839424 [startup+70.0406 s] Raw data (loadavg): 0.94 0.86 0.86 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18079 0 1 0 6332 41 0 0 25 0 11 0 549370676 859365376 25066 4294967295 134512640 134569956 3221224400 3221214848 1131383819 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209806 25066 13073 16 0 209790 0 vsize: 839224 [startup+80.0411 s] Raw data (loadavg): 0.95 0.87 0.87 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18080 0 1 0 7319 41 0 0 25 0 11 0 549370676 858132480 24801 4294967295 134512640 134569956 3221224400 3221214848 1131208562 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209505 24801 13073 16 0 209489 0 vsize: 838020 [startup+90.0415 s] Raw data (loadavg): 0.96 0.87 0.87 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18080 0 1 0 8303 41 0 0 25 0 11 0 549370676 858132480 24805 4294967295 134512640 134569956 3221224400 3221214792 1131347511 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209505 24805 13073 16 0 209489 0 vsize: 838020 [startup+100.066 s] Raw data (loadavg): 0.97 0.87 0.87 3/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18080 0 1 0 9289 42 0 0 25 0 11 0 549370676 858132480 24807 4294967295 134512640 134569956 3221224400 3221214576 1131315033 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209505 24807 13073 16 0 209489 0 vsize: 838020 [startup+110.107 s] Raw data (loadavg): 1.12 0.91 0.88 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 10261 42 0 0 25 0 11 0 549370676 858132480 24839 4294967295 134512640 134569956 3221224400 3221214472 1131250576 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 24839 13073 16 0 209489 0 vsize: 838020 [startup+120.108 s] Raw data (loadavg): 1.17 0.93 0.89 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 11252 42 0 0 25 0 11 0 549370676 858132480 24854 4294967295 134512640 134569956 3221224400 3221214664 1131559408 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 24854 13073 16 0 209489 0 vsize: 838020 [startup+130.116 s] Raw data (loadavg): 1.15 0.93 0.89 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 12243 42 0 0 25 0 11 0 549370676 858132480 24868 4294967295 134512640 134569956 3221224400 3221214792 1131347511 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 24868 13073 16 0 209489 0 vsize: 838020 [startup+140.124 s] Raw data (loadavg): 1.12 0.93 0.89 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 13229 43 0 0 25 0 11 0 549370676 858132480 24880 4294967295 134512640 134569956 3221224400 3221214848 1131208405 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 24880 13073 16 0 209489 0 vsize: 838020 [startup+150.136 s] Raw data (loadavg): 1.10 0.94 0.89 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 14221 44 0 0 25 0 11 0 549370676 858132480 24933 4294967295 134512640 134569956 3221224400 3221214872 1131352561 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 24933 13073 16 0 209489 0 vsize: 838020 [startup+160.147 s] Raw data (loadavg): 1.09 0.94 0.89 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 15210 44 0 0 25 0 11 0 549370676 858132480 24948 4294967295 134512640 134569956 3221224400 3221214528 1131404953 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 24948 13073 16 0 209489 0 vsize: 838020 [startup+170.147 s] Raw data (loadavg): 1.07 0.94 0.89 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 16198 44 0 0 25 0 11 0 549370676 858132480 24952 4294967295 134512640 134569956 3221224400 3221214524 1131232172 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 24952 13073 16 0 209489 0 vsize: 838020 [startup+180.147 s] Raw data (loadavg): 1.06 0.94 0.89 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 17189 45 0 0 25 0 11 0 549370676 858132480 25009 4294967295 134512640 134569956 3221224400 3221214792 1131347689 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 25009 13073 16 0 209489 0 vsize: 838020 [startup+190.149 s] Raw data (loadavg): 1.05 0.94 0.89 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 18182 45 0 0 25 0 11 0 549370676 858132480 25009 4294967295 134512640 134569956 3221224400 3221214576 1131314875 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 25009 13073 16 0 209489 0 vsize: 838020 [startup+200.15 s] Raw data (loadavg): 1.04 0.94 0.89 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 19177 45 0 0 25 0 11 0 549370676 858132480 25009 4294967295 134512640 134569956 3221224400 3221214480 1131250247 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 25009 13073 16 0 209489 0 vsize: 838020 [startup+210.151 s] Raw data (loadavg): 1.04 0.94 0.89 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 20164 46 0 0 25 0 11 0 549370676 858132480 25010 4294967295 134512640 134569956 3221224400 3221214792 1131347276 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 25010 13073 16 0 209489 0 vsize: 838020 [startup+220.152 s] Raw data (loadavg): 1.03 0.95 0.90 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 21149 46 0 0 25 0 11 0 549370676 858132480 25011 4294967295 134512640 134569956 3221224400 3221214792 1131347045 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 25011 13073 16 0 209489 0 vsize: 838020 [startup+230.158 s] Raw data (loadavg): 1.02 0.95 0.90 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 22127 46 0 0 25 0 11 0 549370676 858132480 25012 4294967295 134512640 134569956 3221224400 3221214648 1131251205 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 25012 13073 16 0 209489 0 vsize: 838020 [startup+240.261 s] Raw data (loadavg): 1.02 0.95 0.90 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 23120 47 0 0 24 0 11 0 549370676 858132480 25088 4294967295 134512640 134569956 3221224400 3221214472 1131250327 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 25088 13073 16 0 209489 0 vsize: 838020 [startup+250.265 s] Raw data (loadavg): 1.02 0.95 0.90 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 24096 48 0 0 16 0 11 0 549370676 858132480 25090 4294967295 134512640 134569956 3221224400 3221214792 1131347511 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 25090 13073 16 0 209489 0 vsize: 838020 [startup+260.27 s] Raw data (loadavg): 1.01 0.95 0.90 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 25067 48 0 0 25 0 11 0 549370676 858132480 25102 4294967295 134512640 134569956 3221224400 3221214752 1131661063 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 25102 13073 16 0 209489 0 vsize: 838020 [startup+270.272 s] Raw data (loadavg): 1.01 0.95 0.90 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 26048 48 0 0 25 0 11 0 549370676 858132480 25120 4294967295 134512640 134569956 3221224400 3221214848 1131208529 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 25120 13073 16 0 209489 0 vsize: 838020 [startup+280.272 s] Raw data (loadavg): 1.01 0.95 0.90 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 27028 49 0 0 25 0 11 0 549370676 858132480 25275 4294967295 134512640 134569956 3221224400 3221214760 1131659216 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 25275 13073 16 0 209489 0 vsize: 838020 [startup+290.283 s] Raw data (loadavg): 1.01 0.95 0.90 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 28012 49 0 0 25 0 11 0 549370676 858132480 25349 4294967295 134512640 134569956 3221224400 3221214896 1131356624 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 25349 13073 16 0 209489 0 vsize: 838020 [startup+300.285 s] Raw data (loadavg): 1.01 0.95 0.90 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 28996 49 0 0 25 0 11 0 549370676 858132480 25356 4294967295 134512640 134569956 3221224400 3221214664 1131314849 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 25356 13073 16 0 209489 0 vsize: 838020 [startup+310.286 s] Raw data (loadavg): 1.00 0.95 0.90 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 29984 50 0 0 24 0 11 0 549370676 858132480 25362 4294967295 134512640 134569956 3221224400 3221214576 1131312468 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 25362 13073 16 0 209489 0 vsize: 838020 [startup+320.286 s] Raw data (loadavg): 1.00 0.96 0.91 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 30974 50 0 0 25 0 11 0 549370676 858132480 25400 4294967295 134512640 134569956 3221224400 3221214664 1131315050 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 25400 13073 16 0 209489 0 vsize: 838020 [startup+330.291 s] Raw data (loadavg): 1.00 0.96 0.91 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 31967 50 0 0 24 0 11 0 549370676 858132480 25431 4294967295 134512640 134569956 3221224400 3221214848 1131208384 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 25431 13073 16 0 209489 0 vsize: 838020 [startup+340.296 s] Raw data (loadavg): 1.00 0.96 0.91 2/64 6606 Raw data (stat): 6596 (java) S 6595 23176 23175 0 -1 0 18082 0 1 0 32956 51 0 0 25 0 11 0 549370676 858132480 25439 4294967295 134512640 134569956 3221224400 3221213536 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 25439 13073 16 0 209489 0 vsize: 838020 [startup+350.298 s] Raw data (loadavg): 1.00 0.96 0.91 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 33933 52 0 0 24 0 11 0 549370676 858132480 25439 4294967295 134512640 134569956 3221224400 3221214892 1131347020 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 25439 13073 16 0 209489 0 vsize: 838020 [startup+360.299 s] Raw data (loadavg): 1.00 0.96 0.91 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 34910 52 0 0 25 0 11 0 549370676 858132480 25451 4294967295 134512640 134569956 3221224400 3221214656 1131574596 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 25451 13073 16 0 209489 0 vsize: 838020 [startup+370.31 s] Raw data (loadavg): 1.00 0.96 0.91 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 35894 53 0 0 25 0 11 0 549370676 858132480 25495 4294967295 134512640 134569956 3221224400 3221214656 1131575500 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 25495 13073 16 0 209489 0 vsize: 838020 [startup+380.311 s] Raw data (loadavg): 1.00 0.96 0.91 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 36866 53 0 0 25 0 11 0 549370676 858132480 25499 4294967295 134512640 134569956 3221224400 3221214800 1131477230 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 25499 13073 16 0 209489 0 vsize: 838020 [startup+390.311 s] Raw data (loadavg): 1.00 0.96 0.91 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 37839 53 0 0 25 0 11 0 549370676 858132480 25506 4294967295 134512640 134569956 3221224400 3221214656 1131575339 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 25506 13073 16 0 209489 0 vsize: 838020 [startup+400.314 s] Raw data (loadavg): 1.00 0.96 0.91 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 38800 54 0 0 25 0 11 0 549370676 858132480 25534 4294967295 134512640 134569956 3221224400 3221214760 1131659356 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 25534 13073 16 0 209489 0 vsize: 838020 [startup+410.315 s] Raw data (loadavg): 1.00 0.96 0.91 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 39767 54 0 0 25 0 11 0 549370676 858132480 25597 4294967295 134512640 134569956 3221224400 3221214760 1131659212 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 25597 13073 16 0 209489 0 vsize: 838020 [startup+420.325 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 40735 54 0 0 25 0 11 0 549370676 858132480 25598 4294967295 134512640 134569956 3221224400 3221214728 1131499604 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209505 25598 13073 16 0 209489 0 vsize: 838020 [startup+430.327 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 41680 55 0 0 25 0 11 0 549370676 858132480 25664 4294967295 134512640 134569956 3221224400 3221214576 1131250289 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209505 25664 13073 16 0 209489 0 vsize: 838020 [startup+440.327 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 42641 55 0 0 25 0 11 0 549370676 858132480 25925 4294967295 134512640 134569956 3221224400 3221214752 1131661203 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 25925 13073 16 0 209489 0 vsize: 838020 [startup+450.327 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 43608 55 0 0 25 0 11 0 549370676 858132480 25973 4294967295 134512640 134569956 3221224400 3221214576 1131250176 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 25973 13073 16 0 209489 0 vsize: 838020 [startup+460.328 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 44580 56 0 0 25 0 11 0 549370676 858132480 26193 4294967295 134512640 134569956 3221224400 3221214656 1131575513 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 26193 13073 16 0 209489 0 vsize: 838020 [startup+470.328 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 45556 56 0 0 25 0 11 0 549370676 858132480 26333 4294967295 134512640 134569956 3221224400 3221214568 1131250327 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 26333 13073 16 0 209489 0 vsize: 838020 [startup+480.329 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 46532 56 0 0 25 0 11 0 549370676 858132480 26469 4294967295 134512640 134569956 3221224400 3221214656 1131575623 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 26469 13073 16 0 209489 0 vsize: 838020 [startup+490.329 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 47517 56 0 0 25 0 11 0 549370676 858132480 26469 4294967295 134512640 134569956 3221224400 3221214664 1131432213 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 26469 13073 16 0 209489 0 vsize: 838020 [startup+500.33 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 48500 57 0 0 25 0 11 0 549370676 858132480 26469 4294967295 134512640 134569956 3221224400 3221214728 1131499352 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 26469 13073 16 0 209489 0 vsize: 838020 [startup+510.33 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 49476 57 0 0 25 0 11 0 549370676 858132480 26525 4294967295 134512640 134569956 3221224400 3221214760 1131659270 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 26525 13073 16 0 209489 0 vsize: 838020 [startup+520.331 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 50457 57 0 0 25 0 11 0 549370676 858132480 26616 4294967295 134512640 134569956 3221224400 3221214656 1131573890 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 26616 13073 16 0 209489 0 vsize: 838020 [startup+530.331 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 51445 58 0 0 25 0 11 0 549370676 858132480 26616 4294967295 134512640 134569956 3221224400 3221214760 1131659220 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 26616 13073 16 0 209489 0 vsize: 838020 [startup+540.332 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 52426 58 0 0 25 0 11 0 549370676 858132480 26662 4294967295 134512640 134569956 3221224400 3221214656 1131574584 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209505 26662 13073 16 0 209489 0 vsize: 838020 [startup+550.333 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 53405 59 0 0 25 0 11 0 549370676 858132480 26665 4294967295 134512640 134569956 3221224400 3221214752 1131661063 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 26665 13073 16 0 209489 0 vsize: 838020 [startup+560.333 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 54387 59 0 0 25 0 11 0 549370676 858132480 26802 4294967295 134512640 134569956 3221224400 3221214568 1131250257 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 26802 13073 16 0 209489 0 vsize: 838020 [startup+570.333 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 55365 59 0 0 25 0 11 0 549370676 858132480 26802 4294967295 134512640 134569956 3221224400 3221214760 1131659216 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 26802 13073 16 0 209489 0 vsize: 838020 [startup+580.334 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 6606 Raw data (stat): 6596 (java) S 6595 23176 23175 0 -1 0 18082 0 1 0 56350 60 0 0 25 0 11 0 549370676 858132480 26802 4294967295 134512640 134569956 3221224400 3221213272 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 26802 13073 16 0 209489 0 vsize: 838020 [startup+590.335 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 6606 Raw data (stat): 6596 (java) S 6595 23176 23175 0 -1 0 18082 0 1 0 57329 60 0 0 25 0 11 0 549370676 858132480 26850 4294967295 134512640 134569956 3221224400 3221213408 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 26850 13073 16 0 209489 0 vsize: 838020 [startup+600.335 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 58310 61 0 0 25 0 11 0 549370676 858132480 26894 4294967295 134512640 134569956 3221224400 3221214568 1131250247 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 26894 13073 16 0 209489 0 vsize: 838020 [startup+610.335 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 59289 62 0 0 25 0 11 0 549370676 858132480 26931 4294967295 134512640 134569956 3221224400 3221214680 1131620399 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 26931 13073 16 0 209489 0 vsize: 838020 [startup+620.335 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 60270 62 0 0 25 0 11 0 549370676 858132480 27043 4294967295 134512640 134569956 3221224400 3221214576 1131250484 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 27043 13073 16 0 209489 0 vsize: 838020 [startup+630.336 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 61249 62 0 0 24 0 11 0 549370676 858132480 27043 4294967295 134512640 134569956 3221224400 3221214760 1131659223 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 27043 13073 16 0 209489 0 vsize: 838020 [startup+640.338 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 62234 63 0 0 25 0 11 0 549370676 858132480 27043 4294967295 134512640 134569956 3221224400 3221214896 1131356576 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 27043 13073 16 0 209489 0 vsize: 838020 [startup+650.338 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 63214 63 0 0 25 0 11 0 549370676 858132480 27097 4294967295 134512640 134569956 3221224400 3221214760 1131659216 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 27097 13073 16 0 209489 0 vsize: 838020 [startup+660.338 s] Raw data (loadavg): 1.08 0.99 0.91 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 64189 63 0 0 25 0 11 0 549370676 858132480 27140 4294967295 134512640 134569956 3221224400 3221214656 1131574494 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 27140 13073 16 0 209489 0 vsize: 838020 [startup+670.338 s] Raw data (loadavg): 1.07 0.99 0.91 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 65163 63 0 0 25 0 11 0 549370676 858132480 27191 4294967295 134512640 134569956 3221224400 3221214568 1131250593 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 27191 13073 16 0 209489 0 vsize: 838020 [startup+680.339 s] Raw data (loadavg): 1.06 0.99 0.91 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 66150 64 0 0 25 0 11 0 549370676 858132480 27291 4294967295 134512640 134569956 3221224400 3221214656 1131575249 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209505 27291 13073 16 0 209489 0 vsize: 838020 [startup+690.339 s] Raw data (loadavg): 1.05 0.99 0.91 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 67135 64 0 0 25 0 11 0 549370676 858132480 27291 4294967295 134512640 134569956 3221224400 3221214656 1131573867 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 27291 13073 16 0 209489 0 vsize: 838020 [startup+700.34 s] Raw data (loadavg): 1.04 0.99 0.91 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 68111 64 0 0 25 0 11 0 549370676 858132480 27383 4294967295 134512640 134569956 3221224400 3221214632 1131352573 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 27383 13073 16 0 209489 0 vsize: 838020 [startup+710.341 s] Raw data (loadavg): 1.03 0.99 0.91 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 69088 65 0 0 25 0 11 0 549370676 858132480 27383 4294967295 134512640 134569956 3221224400 3221214760 1131659220 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 27383 13073 16 0 209489 0 vsize: 838020 [startup+720.341 s] Raw data (loadavg): 1.03 0.99 0.91 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 70072 65 0 0 25 0 11 0 549370676 858132480 27475 4294967295 134512640 134569956 3221224400 3221214752 1131661063 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 27475 13073 16 0 209489 0 vsize: 838020 [startup+730.342 s] Raw data (loadavg): 1.02 0.99 0.91 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 71058 65 0 0 25 0 11 0 549370676 858132480 27475 4294967295 134512640 134569956 3221224400 3221214656 1131574584 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 27475 13073 16 0 209489 0 vsize: 838020 [startup+740.342 s] Raw data (loadavg): 1.02 0.99 0.91 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 72036 65 0 0 25 0 11 0 549370676 858132480 27478 4294967295 134512640 134569956 3221224400 3221214760 1131659216 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 27478 13073 16 0 209489 0 vsize: 838020 [startup+750.343 s] Raw data (loadavg): 1.02 0.99 0.91 2/64 6606 Raw data (stat): 6596 (java) S 6595 23176 23175 0 -1 0 18082 0 1 0 73013 66 0 0 25 0 11 0 549370676 858132480 27567 4294967295 134512640 134569956 3221224400 3221213408 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 27567 13073 16 0 209489 0 vsize: 838020 [startup+760.344 s] Raw data (loadavg): 1.01 0.99 0.91 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 73994 66 0 0 25 0 11 0 549370676 858132480 27661 4294967295 134512640 134569956 3221224400 3221214568 1131250463 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 27661 13073 16 0 209489 0 vsize: 838020 [startup+770.343 s] Raw data (loadavg): 1.01 0.99 0.91 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 74973 66 0 0 25 0 11 0 549370676 858132480 27661 4294967295 134512640 134569956 3221224400 3221214760 1131659290 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 27661 13073 16 0 209489 0 vsize: 838020 [startup+780.344 s] Raw data (loadavg): 1.01 0.99 0.91 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 75955 66 0 0 24 0 11 0 549370676 858132480 27661 4294967295 134512640 134569956 3221224400 3221214568 1131250324 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 27661 13073 16 0 209489 0 vsize: 838020 [startup+790.344 s] Raw data (loadavg): 1.01 0.99 0.91 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 76941 67 0 0 25 0 11 0 549370676 858132480 27753 4294967295 134512640 134569956 3221224400 3221214728 1131499693 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 27753 13073 16 0 209489 0 vsize: 838020 [startup+800.345 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 77922 67 0 0 25 0 11 0 549370676 858132480 27753 4294967295 134512640 134569956 3221224400 3221214576 1131250411 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 27753 13073 16 0 209489 0 vsize: 838020 [startup+810.346 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 78898 67 0 0 25 0 11 0 549370676 858132480 27802 4294967295 134512640 134569956 3221224400 3221214568 1131250327 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 27802 13073 16 0 209489 0 vsize: 838020 [startup+820.347 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 79876 67 0 0 25 0 11 0 549370676 858132480 27901 4294967295 134512640 134569956 3221224400 3221214760 1131659216 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 27901 13073 16 0 209489 0 vsize: 838020 [startup+830.347 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 80852 68 0 0 25 0 11 0 549370676 858132480 27901 4294967295 134512640 134569956 3221224400 3221214656 1131574535 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 27901 13073 16 0 209489 0 vsize: 838020 [startup+840.347 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 81836 68 0 0 25 0 11 0 549370676 858132480 27937 4294967295 134512640 134569956 3221224400 3221214760 1131659347 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 27937 13073 16 0 209489 0 vsize: 838020 [startup+850.348 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 82821 68 0 0 25 0 11 0 549370676 858132480 27937 4294967295 134512640 134569956 3221224400 3221214792 1131597312 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 27937 13073 16 0 209489 0 vsize: 838020 [startup+860.349 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 83799 69 0 0 25 0 11 0 549370676 858132480 28045 4294967295 134512640 134569956 3221224400 3221214672 1131315012 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 28045 13073 16 0 209489 0 vsize: 838020 [startup+870.349 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 84776 69 0 0 25 0 11 0 549370676 858132480 28093 4294967295 134512640 134569956 3221224400 3221214760 1131659216 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 28093 13073 16 0 209489 0 vsize: 838020 [startup+880.35 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 85757 69 0 0 25 0 11 0 549370676 858132480 28182 4294967295 134512640 134569956 3221224400 3221214656 1131575613 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 28182 13073 16 0 209489 0 vsize: 838020 [startup+890.351 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 86735 69 0 0 25 0 11 0 549370676 858132480 28182 4294967295 134512640 134569956 3221224400 3221214568 1131250327 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 28182 13073 16 0 209489 0 vsize: 838020 [startup+900.351 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 87720 70 0 0 25 0 11 0 549370676 858132480 28219 4294967295 134512640 134569956 3221224400 3221214760 1131659223 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 28219 13073 16 0 209489 0 vsize: 838020 [startup+910.351 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 88705 70 0 0 25 0 11 0 549370676 858132480 28228 4294967295 134512640 134569956 3221224400 3221214568 1131250247 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 28228 13073 16 0 209489 0 vsize: 838020 [startup+920.351 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 89677 70 0 0 24 0 11 0 549370676 858132480 28287 4294967295 134512640 134569956 3221224400 3221214576 1131251602 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 28287 13073 16 0 209489 0 vsize: 838020 [startup+930.352 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 90655 71 0 0 25 0 11 0 549370676 858132480 28337 4294967295 134512640 134569956 3221224400 3221214576 1131250257 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 28337 13073 16 0 209489 0 vsize: 838020 [startup+940.353 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 91636 71 0 0 25 0 11 0 549370676 858132480 28433 4294967295 134512640 134569956 3221224400 3221214664 1131314971 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 28433 13073 16 0 209489 0 vsize: 838020 [startup+950.354 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 92612 72 0 0 25 0 11 0 549370676 858132480 28433 4294967295 134512640 134569956 3221224400 3221214656 1131574491 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 28433 13073 16 0 209489 0 vsize: 838020 [startup+960.354 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 93593 72 0 0 25 0 11 0 549370676 858132480 28470 4294967295 134512640 134569956 3221224400 3221214752 1131661048 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 28470 13073 16 0 209489 0 vsize: 838020 [startup+970.354 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 94579 72 0 0 25 0 11 0 549370676 858132480 28577 4294967295 134512640 134569956 3221224400 3221214656 1131575639 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 28577 13073 16 0 209489 0 vsize: 838020 [startup+980.355 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 95559 73 0 0 25 0 11 0 549370676 858132480 28577 4294967295 134512640 134569956 3221224400 3221214576 1131250176 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 28577 13073 16 0 209489 0 vsize: 838020 [startup+990.356 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 96535 73 0 0 25 0 11 0 549370676 858132480 28626 4294967295 134512640 134569956 3221224400 3221214656 1131575658 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 28626 13073 16 0 209489 0 vsize: 838020 [startup+1000.36 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 97510 73 0 0 25 0 11 0 549370676 858132480 28720 4294967295 134512640 134569956 3221224400 3221214568 1131250516 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 28720 13073 16 0 209489 0 vsize: 838020 [startup+1010.36 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 98490 74 0 0 25 0 11 0 549370676 858132480 28720 4294967295 134512640 134569956 3221224400 3221214656 1131574584 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 28720 13073 16 0 209489 0 vsize: 838020 [startup+1020.36 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 99469 74 0 0 25 0 11 0 549370676 858132480 28720 4294967295 134512640 134569956 3221224400 3221214752 1131661102 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 28720 13073 16 0 209489 0 vsize: 838020 [startup+1030.36 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 100447 74 0 0 25 0 11 0 549370676 858132480 28776 4294967295 134512640 134569956 3221224400 3221214656 1131574494 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 28776 13073 16 0 209489 0 vsize: 838020 [startup+1040.36 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 101433 75 0 0 25 0 11 0 549370676 858132480 28874 4294967295 134512640 134569956 3221224400 3221214760 1131659223 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 28874 13073 16 0 209489 0 vsize: 838020 [startup+1050.36 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 102410 75 0 0 25 0 11 0 549370676 858132480 28930 4294967295 134512640 134569956 3221224400 3221214728 1131499604 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 28930 13073 16 0 209489 0 vsize: 838020 [startup+1060.36 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 6606 Raw data (stat): 6596 (java) S 6595 23176 23175 0 -1 0 18082 0 1 0 103387 76 0 0 25 0 11 0 549370676 858132480 28934 4294967295 134512640 134569956 3221224400 3221213272 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 28934 13073 16 0 209489 0 vsize: 838020 [startup+1070.36 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 104365 76 0 0 24 0 11 0 549370676 858132480 29021 4294967295 134512640 134569956 3221224400 3221214568 1131250411 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 29021 13073 16 0 209489 0 vsize: 838020 [startup+1080.36 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 105340 76 0 0 25 0 11 0 549370676 858132480 29021 4294967295 134512640 134569956 3221224400 3221214760 1131659223 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 29021 13073 16 0 209489 0 vsize: 838020 [startup+1090.36 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 106320 76 0 0 25 0 11 0 549370676 858132480 29058 4294967295 134512640 134569956 3221224400 3221214752 1131661063 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 29058 13073 16 0 209489 0 vsize: 838020 [startup+1100.36 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 107306 76 0 0 25 0 11 0 549370676 858132480 29169 4294967295 134512640 134569956 3221224400 3221214656 1131573867 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209505 29169 13073 16 0 209489 0 vsize: 838020 [startup+1110.36 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 108287 77 0 0 25 0 11 0 549370676 858132480 29169 4294967295 134512640 134569956 3221224400 3221214656 1131576386 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209505 29169 13073 16 0 209489 0 vsize: 838020 [startup+1120.36 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 109263 77 0 0 25 0 11 0 549370676 858132480 29233 4294967295 134512640 134569956 3221224400 3221214760 1131659356 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209505 29233 13073 16 0 209489 0 vsize: 838020 [startup+1130.36 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 110246 77 0 0 25 0 11 0 549370676 858132480 29280 4294967295 134512640 134569956 3221224400 3221214568 1131251193 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209505 29280 13073 16 0 209489 0 vsize: 838020 [startup+1140.37 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 111222 77 0 0 25 0 11 0 549370676 858132480 29325 4294967295 134512640 134569956 3221224400 3221214656 1131573867 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209505 29325 13073 16 0 209489 0 vsize: 838020 [startup+1150.37 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 112201 77 0 0 25 0 11 0 549370676 858132480 29362 4294967295 134512640 134569956 3221224400 3221214664 1131315005 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209505 29362 13073 16 0 209489 0 vsize: 838020 [startup+1160.37 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 113187 77 0 0 25 0 11 0 549370676 858132480 29362 4294967295 134512640 134569956 3221224400 3221214760 1131659220 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209505 29362 13073 16 0 209489 0 vsize: 838020 [startup+1170.37 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 114162 77 0 0 25 0 11 0 549370676 858132480 29468 4294967295 134512640 134569956 3221224400 3221214664 1131315078 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209505 29468 13073 16 0 209489 0 vsize: 838020 [startup+1180.37 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 115141 77 0 0 25 0 11 0 549370676 858132480 29519 4294967295 134512640 134569956 3221224400 3221214760 1131659216 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209505 29519 13073 16 0 209489 0 vsize: 838020 [startup+1190.37 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 116122 77 0 0 25 0 11 0 549370676 858132480 29606 4294967295 134512640 134569956 3221224400 3221214664 1131314943 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209505 29606 13073 16 0 209489 0 vsize: 838020 [startup+1200.37 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 117098 77 0 0 25 0 11 0 549370676 858132480 29606 4294967295 134512640 134569956 3221224400 3221214680 1131620388 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209505 29606 13073 16 0 209489 0 vsize: 838020 [startup+1210.37 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 118079 77 0 0 25 0 11 0 549370676 858132480 29643 4294967295 134512640 134569956 3221224400 3221214760 1131659223 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209505 29643 13073 16 0 209489 0 vsize: 838020 [startup+1220.37 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 119064 77 0 0 25 0 11 0 549370676 858132480 29652 4294967295 134512640 134569956 3221224400 3221214728 1131499596 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209505 29652 13073 16 0 209489 0 vsize: 838020 [startup+1230.37 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 6606 Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 120044 77 0 0 25 0 11 0 549370676 858132480 29744 4294967295 134512640 134569956 3221224400 3221214576 1131252188 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209505 29744 13073 16 0 209489 0 vsize: 838020 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1230.46 s] Raw data (loadavg): 1.00 0.99 0.91 1/54 6608 Raw data (stat): 6596 (java) Z 6595 23176 23175 0 -1 1036 18082 10166 1 0 120048 77 2643 29 25 0 1 0 549370676 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 143 Real time (s): 1230.46 CPU time (s): 1227.99 CPU user time (s): 1226.91 CPU system time (s): 1.07584 CPU usage (%): 99.799 Max. virtual memory (Kb): 839648 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####