Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32e2.opb |
MD5SUM | 4e882bbd92f288daf6e68ac3de757136 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 235 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 534 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 534 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 534 |
Number of bits of the biggest sum of numbers | 10 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.03084 |
Number of variables | 534 |
Total number of constraints | 3013 |
Number of constraints which are clauses | 3013 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 32 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc23 THE 2005-04-13 16:35:54 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=1431 boxname=wulflinc23 idbench=159 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: 4e882bbd92f288daf6e68ac3de757136 /oldhome/oroussel/tmp/wulflinc23/normalized-ii32e2.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc23/normalized-ii32e2.opb IDLAUNCH: 1431 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.037 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 : 3 cpu MHz : 451.037 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: 919624 kB Buffers: 31892 kB Cached: 40540 kB SwapCached: 192 kB Active: 38916 kB Inactive: 36536 kB HighTotal: 131008 kB HighFree: 86604 kB LowTotal: 903652 kB LowFree: 833020 kB SwapTotal: 2097136 kB SwapFree: 2096944 kB Dirty: 64 kB Writeback: 0 kB Mapped: 6908 kB Slab: 33952 kB Committed_AS: 63516 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-13 16:56:46 (client local time) WITH STATUS 143 IN SECONDS stats: 1431 7 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc23/normalized-ii32e2.opb c reading problem c [nbvar=534] c [nbconstr=3013] c time 2.947 c #vars 534 c #clauses 3013 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 c SATISFIABLE c OPTIMIZING... c c CURRENT OPTIMUM=264 c Current CPU time (ms) : 5.231 c starts : 1 c conflicts : 12 c decisions : 138 c propagations : 1160 c inspects : 5777 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 12 c root simplifications : 1 c c CURRENT OPTIMUM=237 c Current CPU time (ms) : 10.969 c starts : 2 c conflicts : 28 c decisions : 510 c propagations : 3857 c inspects : 15751 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 28 c root simplifications : 2 c c CURRENT OPTIMUM=236 c Current CPU time (ms) : 351.459 c starts : 7 c conflicts : 899 c decisions : 3010 c propagations : 80348 c inspects : 1235682 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 899 c root simplifications : 7 #### 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.93 0.98 0.90 2/54 3669 Raw data (stat): 3669 (runsolver) R 3668 3260 3259 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477435493 1052672 99 4294967295 134512640 135381576 3221224448 3221219696 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+9.99961 s] Raw data (loadavg): 1.24 1.05 0.93 4/64 3680 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 15901 3 1 0 584 40 0 0 25 0 11 0 477435493 879525888 21942 4294967295 134512640 134569956 3221224416 3221214696 1131227756 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 214728 21942 13073 16 0 214712 0 vsize: 858912 [startup+20.0007 s] Raw data (loadavg): 1.28 1.06 0.93 3/64 3681 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18115 3 1 0 1402 46 0 0 23 0 11 0 477435493 876814336 24912 4294967295 134512640 134569956 3221224416 3221214760 1131252165 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 214066 24912 13073 16 0 214050 0 vsize: 856264 [startup+30.0012 s] Raw data (loadavg): 1.24 1.06 0.93 2/64 3681 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18115 3 1 0 2335 46 0 0 25 0 11 0 477435493 872075264 24366 4294967295 134512640 134569956 3221224416 3221214696 1131227467 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212909 24366 13073 16 0 212893 0 vsize: 851636 [startup+40.0004 s] Raw data (loadavg): 1.20 1.06 0.93 2/64 3681 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18115 3 1 0 3272 46 0 0 25 0 11 0 477435493 869580800 23837 4294967295 134512640 134569956 3221224416 3221214856 1131285155 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 23837 13073 16 0 212284 0 vsize: 849200 [startup+50.0014 s] Raw data (loadavg): 1.17 1.06 0.93 2/64 3681 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18115 3 1 0 4210 47 0 0 25 0 11 0 477435493 869580800 23911 4294967295 134512640 134569956 3221224416 3221214696 1131227608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 23911 13073 16 0 212284 0 vsize: 849200 [startup+60.0011 s] Raw data (loadavg): 1.14 1.05 0.93 2/64 3681 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18115 3 1 0 5150 47 0 0 25 0 11 0 477435493 869580800 24291 4294967295 134512640 134569956 3221224416 3221214792 1131321687 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 24291 13073 16 0 212284 0 vsize: 849200 [startup+70.0012 s] Raw data (loadavg): 1.12 1.05 0.93 2/64 3681 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18115 3 1 0 6103 48 0 0 25 0 11 0 477435493 869580800 24639 4294967295 134512640 134569956 3221224416 3221214696 1131227402 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 24639 13073 16 0 212284 0 vsize: 849200 [startup+80.0023 s] Raw data (loadavg): 1.10 1.05 0.93 2/64 3681 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18115 3 1 0 7070 48 0 0 25 0 11 0 477435493 869580800 24674 4294967295 134512640 134569956 3221224416 3221214696 1131227371 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 24674 13073 16 0 212284 0 vsize: 849200 [startup+90.002 s] Raw data (loadavg): 1.08 1.05 0.93 2/64 3681 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18115 3 1 0 8026 48 0 0 25 0 11 0 477435493 869580800 24728 4294967295 134512640 134569956 3221224416 3221214848 1131661607 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 24728 13073 16 0 212284 0 vsize: 849200 [startup+100.002 s] Raw data (loadavg): 1.07 1.05 0.93 2/64 3681 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18115 3 1 0 8980 49 0 0 25 0 11 0 477435493 869580800 24788 4294967295 134512640 134569956 3221224416 3221214696 1131227933 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 24788 13073 16 0 212284 0 vsize: 849200 [startup+110.002 s] Raw data (loadavg): 1.06 1.04 0.93 2/64 3681 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18115 3 1 0 9931 49 0 0 25 0 11 0 477435493 869580800 24873 4294967295 134512640 134569956 3221224416 3221214696 1131227696 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 24873 13073 16 0 212284 0 vsize: 849200 [startup+120.003 s] Raw data (loadavg): 1.05 1.04 0.93 2/64 3681 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18115 3 1 0 10870 50 0 0 25 0 11 0 477435493 869580800 25052 4294967295 134512640 134569956 3221224416 3221214880 1131360471 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 25052 13073 16 0 212284 0 vsize: 849200 [startup+130.003 s] Raw data (loadavg): 1.04 1.04 0.93 2/64 3681 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18115 3 1 0 11823 50 0 0 25 0 11 0 477435493 869580800 25130 4294967295 134512640 134569956 3221224416 3221214696 1131227711 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212300 25130 13073 16 0 212284 0 vsize: 849200 [startup+140.003 s] Raw data (loadavg): 1.04 1.04 0.93 2/64 3681 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18115 3 1 0 12780 50 0 0 25 0 11 0 477435493 869580800 25403 4294967295 134512640 134569956 3221224416 3221214792 1131321687 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 25403 13073 16 0 212284 0 vsize: 849200 [startup+150.004 s] Raw data (loadavg): 1.03 1.04 0.93 2/64 3681 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18115 3 1 0 13750 50 0 0 25 0 11 0 477435493 869580800 25428 4294967295 134512640 134569956 3221224416 3221214792 1131321882 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 25428 13073 16 0 212284 0 vsize: 849200 [startup+160.003 s] Raw data (loadavg): 1.02 1.03 0.93 2/64 3681 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18115 3 1 0 14715 51 0 0 25 0 11 0 477435493 869580800 25511 4294967295 134512640 134569956 3221224416 3221214696 1131227761 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 25511 13073 16 0 212284 0 vsize: 849200 [startup+170.004 s] Raw data (loadavg): 1.02 1.03 0.93 2/64 3681 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18115 3 1 0 15688 51 0 0 25 0 11 0 477435493 869580800 25699 4294967295 134512640 134569956 3221224416 3221214792 1131321781 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 25699 13073 16 0 212284 0 vsize: 849200 [startup+180.005 s] Raw data (loadavg): 1.02 1.03 0.93 2/64 3681 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18115 3 1 0 16673 51 0 0 25 0 11 0 477435493 869580800 25775 4294967295 134512640 134569956 3221224416 3221214792 1131321752 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 25775 13073 16 0 212284 0 vsize: 849200 [startup+190.005 s] Raw data (loadavg): 1.01 1.03 0.93 2/64 3681 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18115 3 1 0 17658 52 0 0 25 0 11 0 477435493 869580800 25807 4294967295 134512640 134569956 3221224416 3221214696 1131227711 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 25807 13073 16 0 212284 0 vsize: 849200 [startup+200.005 s] Raw data (loadavg): 1.01 1.03 0.93 2/64 3681 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18115 3 1 0 18643 52 0 0 25 0 11 0 477435493 869580800 25841 4294967295 134512640 134569956 3221224416 3221214696 1131228282 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 25841 13073 16 0 212284 0 vsize: 849200 [startup+210.004 s] Raw data (loadavg): 1.01 1.03 0.93 2/64 3681 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18115 3 1 0 19627 52 0 0 25 0 11 0 477435493 869580800 25877 4294967295 134512640 134569956 3221224416 3221214976 1131343959 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 25877 13073 16 0 212284 0 vsize: 849200 [startup+220.005 s] Raw data (loadavg): 1.01 1.03 0.93 2/64 3681 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18115 3 1 0 20612 53 0 0 25 0 11 0 477435493 869580800 25900 4294967295 134512640 134569956 3221224416 3221214976 1131343898 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 25900 13073 16 0 212284 0 vsize: 849200 [startup+230.005 s] Raw data (loadavg): 1.01 1.02 0.93 2/64 3681 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18115 3 1 0 21597 53 0 0 25 0 11 0 477435493 869580800 25941 4294967295 134512640 134569956 3221224416 3221214696 1131227954 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 25941 13073 16 0 212284 0 vsize: 849200 [startup+240.005 s] Raw data (loadavg): 1.00 1.02 0.93 2/64 3681 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18115 3 1 0 22578 53 0 0 25 0 11 0 477435493 869580800 25977 4294967295 134512640 134569956 3221224416 3221214792 1131321687 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 25977 13073 16 0 212284 0 vsize: 849200 [startup+250.005 s] Raw data (loadavg): 1.00 1.02 0.93 2/64 3681 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18115 3 1 0 23563 53 0 0 25 0 11 0 477435493 869580800 26010 4294967295 134512640 134569956 3221224416 3221214792 1131321649 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 26010 13073 16 0 212284 0 vsize: 849200 [startup+260.005 s] Raw data (loadavg): 1.00 1.02 0.93 2/64 3681 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18115 3 1 0 24548 53 0 0 25 0 11 0 477435493 869580800 26036 4294967295 134512640 134569956 3221224416 3221214696 1131227711 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 26036 13073 16 0 212284 0 vsize: 849200 [startup+270.005 s] Raw data (loadavg): 1.00 1.02 0.93 2/64 3681 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18115 3 1 0 25531 54 0 0 25 0 11 0 477435493 869580800 26065 4294967295 134512640 134569956 3221224416 3221214792 1131321923 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 26065 13073 16 0 212284 0 vsize: 849200 [startup+280.005 s] Raw data (loadavg): 1.00 1.02 0.93 2/64 3681 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18115 3 1 0 26517 54 0 0 25 0 11 0 477435493 869580800 26095 4294967295 134512640 134569956 3221224416 3221214696 1131227595 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 26095 13073 16 0 212284 0 vsize: 849200 [startup+290.005 s] Raw data (loadavg): 1.00 1.02 0.93 2/64 3681 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18115 3 1 0 27500 54 0 0 25 0 11 0 477435493 869580800 26117 4294967295 134512640 134569956 3221224416 3221214696 1131227371 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 26117 13073 16 0 212284 0 vsize: 849200 [startup+300.006 s] Raw data (loadavg): 1.00 1.02 0.93 2/64 3681 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18115 3 1 0 28485 55 0 0 25 0 11 0 477435493 869580800 26147 4294967295 134512640 134569956 3221224416 3221214792 1131321687 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 26147 13073 16 0 212284 0 vsize: 849200 [startup+310.006 s] Raw data (loadavg): 1.00 1.02 0.93 2/64 3681 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18115 3 1 0 29469 55 0 0 25 0 11 0 477435493 869580800 26168 4294967295 134512640 134569956 3221224416 3221214696 1131227660 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 26168 13073 16 0 212284 0 vsize: 849200 [startup+320.007 s] Raw data (loadavg): 1.00 1.02 0.93 2/64 3681 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18115 3 1 0 30452 55 0 0 25 0 11 0 477435493 869580800 26198 4294967295 134512640 134569956 3221224416 3221214696 1131227711 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 26198 13073 16 0 212284 0 vsize: 849200 [startup+330.008 s] Raw data (loadavg): 1.00 1.02 0.93 2/64 3681 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18115 3 1 0 31436 56 0 0 25 0 11 0 477435493 869580800 26215 4294967295 134512640 134569956 3221224416 3221214792 1131321521 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 26215 13073 16 0 212284 0 vsize: 849200 [startup+340.007 s] Raw data (loadavg): 1.00 1.01 0.93 2/64 3681 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18115 3 1 0 32420 56 0 0 25 0 11 0 477435493 869580800 26233 4294967295 134512640 134569956 3221224416 3221214696 1131227660 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 26233 13073 16 0 212284 0 vsize: 849200 [startup+350.008 s] Raw data (loadavg): 1.00 1.01 0.93 2/64 3681 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18115 3 1 0 33400 56 0 0 25 0 11 0 477435493 869580800 26253 4294967295 134512640 134569956 3221224416 3221214696 1131228327 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 26253 13073 16 0 212284 0 vsize: 849200 [startup+360.009 s] Raw data (loadavg): 1.00 1.01 0.93 2/64 3682 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 34373 57 0 0 25 0 11 0 477435493 869580800 26277 4294967295 134512640 134569956 3221224416 3221214792 1131323969 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 26277 13073 16 0 212284 0 vsize: 849200 [startup+370.009 s] Raw data (loadavg): 1.00 1.01 0.93 2/64 3682 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 35336 57 0 0 25 0 11 0 477435493 869580800 26299 4294967295 134512640 134569956 3221224416 3221214792 1131321687 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 26299 13073 16 0 212284 0 vsize: 849200 [startup+380.009 s] Raw data (loadavg): 1.00 1.01 0.93 2/64 3682 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 36307 58 0 0 25 0 11 0 477435493 869580800 26311 4294967295 134512640 134569956 3221224416 3221214696 1131227413 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 26311 13073 16 0 212284 0 vsize: 849200 [startup+390.009 s] Raw data (loadavg): 1.00 1.01 0.93 2/64 3682 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 37277 58 0 0 25 0 11 0 477435493 869580800 26337 4294967295 134512640 134569956 3221224416 3221214792 1131321752 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 26337 13073 16 0 212284 0 vsize: 849200 [startup+400.009 s] Raw data (loadavg): 1.00 1.01 0.93 2/64 3682 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 38244 58 0 0 25 0 11 0 477435493 869580800 26548 4294967295 134512640 134569956 3221224416 3221214792 1131321752 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 26548 13073 16 0 212284 0 vsize: 849200 [startup+410.009 s] Raw data (loadavg): 1.00 1.01 0.93 2/64 3682 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 39230 58 0 0 25 0 11 0 477435493 869580800 26611 4294967295 134512640 134569956 3221224416 3221214792 1131323972 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 26611 13073 16 0 212284 0 vsize: 849200 [startup+420.01 s] Raw data (loadavg): 1.00 1.01 0.93 2/64 3682 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 40214 59 0 0 25 0 11 0 477435493 869580800 26636 4294967295 134512640 134569956 3221224416 3221214792 1131321509 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 26636 13073 16 0 212284 0 vsize: 849200 [startup+430.01 s] Raw data (loadavg): 1.00 1.01 0.93 2/64 3682 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 41200 59 0 0 25 0 11 0 477435493 869580800 26660 4294967295 134512640 134569956 3221224416 3221214792 1131323675 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 26660 13073 16 0 212284 0 vsize: 849200 [startup+440.009 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3682 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 42184 59 0 0 25 0 11 0 477435493 869580800 26676 4294967295 134512640 134569956 3221224416 3221214696 1131228367 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 26676 13073 16 0 212284 0 vsize: 849200 [startup+450.01 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3682 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 43166 59 0 0 25 0 11 0 477435493 869580800 26702 4294967295 134512640 134569956 3221224416 3221214792 1131321687 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 26702 13073 16 0 212284 0 vsize: 849200 [startup+460.009 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3682 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 44149 60 0 0 24 0 11 0 477435493 869580800 26723 4294967295 134512640 134569956 3221224416 3221214696 1131227329 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 26723 13073 16 0 212284 0 vsize: 849200 [startup+470.009 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3682 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 45130 60 0 0 25 0 11 0 477435493 869580800 26743 4294967295 134512640 134569956 3221224416 3221214696 1131227830 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 26743 13073 16 0 212284 0 vsize: 849200 [startup+480.01 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3682 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 46111 61 0 0 24 0 11 0 477435493 869580800 26755 4294967295 134512640 134569956 3221224416 3221214696 1131228197 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 26755 13073 16 0 212284 0 vsize: 849200 [startup+490.01 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3682 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 47083 61 0 0 25 0 11 0 477435493 869580800 26769 4294967295 134512640 134569956 3221224416 3221214584 1131252232 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 26769 13073 16 0 212284 0 vsize: 849200 [startup+500.01 s] Raw data (loadavg): 1.08 1.02 0.94 2/64 3682 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 48034 61 0 0 25 0 11 0 477435493 869580800 26786 4294967295 134512640 134569956 3221224416 3221214680 1131764100 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 26786 13073 16 0 212284 0 vsize: 849200 [startup+510.01 s] Raw data (loadavg): 1.07 1.02 0.94 2/64 3682 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 48964 61 0 0 25 0 11 0 477435493 869580800 26857 4294967295 134512640 134569956 3221224416 3221214792 1131321691 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 26857 13073 16 0 212284 0 vsize: 849200 [startup+520.011 s] Raw data (loadavg): 1.06 1.01 0.94 2/64 3682 Raw data (stat): 3669 (java) S 3668 3260 3259 0 -1 0 18116 3 1 0 49906 61 0 0 25 0 11 0 477435493 869580800 26872 4294967295 134512640 134569956 3221224416 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 26872 13073 16 0 212284 0 vsize: 849200 [startup+530.01 s] Raw data (loadavg): 1.05 1.01 0.94 2/64 3682 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 50845 61 0 0 25 0 11 0 477435493 869580800 26893 4294967295 134512640 134569956 3221224416 3221214696 1131228320 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 26893 13073 16 0 212284 0 vsize: 849200 [startup+540.01 s] Raw data (loadavg): 1.04 1.01 0.94 2/64 3682 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 51784 62 0 0 25 0 11 0 477435493 869580800 27111 4294967295 134512640 134569956 3221224416 3221214788 1131227308 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 27111 13073 16 0 212284 0 vsize: 849200 [startup+550.01 s] Raw data (loadavg): 1.03 1.01 0.94 2/64 3682 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 52730 62 0 0 25 0 11 0 477435493 869580800 27591 4294967295 134512640 134569956 3221224416 3221214572 1131508393 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 27591 13073 16 0 212284 0 vsize: 849200 [startup+560.01 s] Raw data (loadavg): 1.03 1.01 0.94 2/64 3682 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 53666 62 0 0 25 0 11 0 477435493 869580800 27656 4294967295 134512640 134569956 3221224416 3221214584 1131251988 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 27656 13073 16 0 212284 0 vsize: 849200 [startup+570.011 s] Raw data (loadavg): 1.02 1.01 0.94 2/64 3682 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 54602 62 0 0 25 0 11 0 477435493 869580800 27683 4294967295 134512640 134569956 3221224416 3221214696 1131227711 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 27683 13073 16 0 212284 0 vsize: 849200 [startup+580.011 s] Raw data (loadavg): 1.02 1.01 0.94 2/64 3682 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 55520 63 0 0 25 0 11 0 477435493 869580800 28182 4294967295 134512640 134569956 3221224416 3221214696 1131227711 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 28182 13073 16 0 212284 0 vsize: 849200 [startup+590.011 s] Raw data (loadavg): 1.02 1.01 0.94 2/64 3682 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 56455 63 0 0 25 0 11 0 477435493 869580800 28281 4294967295 134512640 134569956 3221224416 3221214696 1131228179 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 28281 13073 16 0 212284 0 vsize: 849200 [startup+600.011 s] Raw data (loadavg): 1.01 1.01 0.94 2/64 3682 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 57396 63 0 0 25 0 11 0 477435493 869580800 28441 4294967295 134512640 134569956 3221224416 3221214568 1131663091 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 28441 13073 16 0 212284 0 vsize: 849200 [startup+610.011 s] Raw data (loadavg): 1.01 1.01 0.94 2/64 3682 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 58334 64 0 0 25 0 11 0 477435493 869580800 28598 4294967295 134512640 134569956 3221224416 3221214584 1131252290 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 28598 13073 16 0 212284 0 vsize: 849200 [startup+620.012 s] Raw data (loadavg): 1.01 1.00 0.94 2/64 3682 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 59278 64 0 0 25 0 11 0 477435493 869580800 28859 4294967295 134512640 134569956 3221224416 3221214696 1131227756 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 28859 13073 16 0 212284 0 vsize: 849200 [startup+630.012 s] Raw data (loadavg): 1.01 1.00 0.94 2/64 3682 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 60240 65 0 0 25 0 11 0 477435493 869580800 28915 4294967295 134512640 134569956 3221224416 3221214792 1131322557 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 28915 13073 16 0 212284 0 vsize: 849200 [startup+640.012 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 3682 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 61194 65 0 0 25 0 11 0 477435493 869580800 29065 4294967295 134512640 134569956 3221224416 3221214792 1131322875 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 29065 13073 16 0 212284 0 vsize: 849200 [startup+650.012 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 3682 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 62152 65 0 0 25 0 11 0 477435493 869580800 29197 4294967295 134512640 134569956 3221224416 3221214792 1131321752 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 29197 13073 16 0 212284 0 vsize: 849200 [startup+660.012 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 3682 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 63124 66 0 0 25 0 11 0 477435493 869580800 29347 4294967295 134512640 134569956 3221224416 3221214792 1131322742 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 29347 13073 16 0 212284 0 vsize: 849200 [startup+670.012 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 3682 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 64107 66 0 0 25 0 11 0 477435493 869580800 29456 4294967295 134512640 134569956 3221224416 3221214696 1131227333 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 29456 13073 16 0 212284 0 vsize: 849200 [startup+680.013 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 3682 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 65094 66 0 0 25 0 11 0 477435493 869580800 29473 4294967295 134512640 134569956 3221224416 3221214792 1131321752 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 29473 13073 16 0 212284 0 vsize: 849200 [startup+690.013 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 3682 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 66081 66 0 0 25 0 11 0 477435493 869580800 29489 4294967295 134512640 134569956 3221224416 3221214792 1131321752 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 29489 13073 16 0 212284 0 vsize: 849200 [startup+700.013 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 3682 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 67069 67 0 0 25 0 11 0 477435493 869580800 29503 4294967295 134512640 134569956 3221224416 3221214696 1131227711 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 29503 13073 16 0 212284 0 vsize: 849200 [startup+710.014 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 3682 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 68056 67 0 0 25 0 11 0 477435493 869580800 29514 4294967295 134512640 134569956 3221224416 3221214792 1131321687 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 29514 13073 16 0 212284 0 vsize: 849200 [startup+720.015 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 3682 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 69042 67 0 0 25 0 11 0 477435493 869580800 29527 4294967295 134512640 134569956 3221224416 3221214792 1131321687 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 29527 13073 16 0 212284 0 vsize: 849200 [startup+730.015 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 3682 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 70030 68 0 0 25 0 11 0 477435493 869580800 29536 4294967295 134512640 134569956 3221224416 3221214792 1131321791 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212300 29536 13073 16 0 212284 0 vsize: 849200 [startup+740.015 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 3682 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 71018 68 0 0 25 0 11 0 477435493 869580800 29545 4294967295 134512640 134569956 3221224416 3221214792 1131322742 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 29545 13073 16 0 212284 0 vsize: 849200 [startup+750.016 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 3682 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 71996 68 0 0 25 0 11 0 477435493 869580800 29560 4294967295 134512640 134569956 3221224416 3221214696 1131228320 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 29560 13073 16 0 212284 0 vsize: 849200 [startup+760.016 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 3682 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 72969 69 0 0 25 0 11 0 477435493 869580800 29566 4294967295 134512640 134569956 3221224416 3221214576 1131498670 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 29566 13073 16 0 212284 0 vsize: 849200 [startup+770.017 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 3682 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 73939 69 0 0 25 0 11 0 477435493 869580800 29577 4294967295 134512640 134569956 3221224416 3221214696 1131227329 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 29577 13073 16 0 212284 0 vsize: 849200 [startup+780.018 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 3682 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 74904 70 0 0 25 0 11 0 477435493 869580800 29602 4294967295 134512640 134569956 3221224416 3221214976 1131344050 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 29602 13073 16 0 212284 0 vsize: 849200 [startup+790.017 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 3682 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 75861 70 0 0 25 0 11 0 477435493 869580800 29685 4294967295 134512640 134569956 3221224416 3221214792 1131322705 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 29685 13073 16 0 212284 0 vsize: 849200 [startup+800.017 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 3682 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 76820 70 0 0 25 0 11 0 477435493 869580800 29760 4294967295 134512640 134569956 3221224416 3221214696 1131228226 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 29760 13073 16 0 212284 0 vsize: 849200 [startup+810.017 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 3682 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 77779 71 0 0 25 0 11 0 477435493 869580800 29861 4294967295 134512640 134569956 3221224416 3221214696 1131227357 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 29861 13073 16 0 212284 0 vsize: 849200 [startup+820.018 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 3682 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 78740 71 0 0 25 0 11 0 477435493 869580800 29932 4294967295 134512640 134569956 3221224416 3221214792 1131321687 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 29932 13073 16 0 212284 0 vsize: 849200 [startup+830.018 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 3682 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 79700 71 0 0 25 0 11 0 477435493 869580800 29992 4294967295 134512640 134569956 3221224416 3221214696 1131227333 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 29992 13073 16 0 212284 0 vsize: 849200 [startup+840.018 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 3682 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 80661 72 0 0 24 0 11 0 477435493 869580800 30169 4294967295 134512640 134569956 3221224416 3221214696 1131228228 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 30169 13073 16 0 212284 0 vsize: 849200 [startup+850.019 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 3682 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 81632 72 0 0 25 0 11 0 477435493 869580800 30246 4294967295 134512640 134569956 3221224416 3221214792 1131321521 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212300 30246 13073 16 0 212284 0 vsize: 849200 [startup+860.019 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 3682 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 82604 72 0 0 25 0 11 0 477435493 869580800 30320 4294967295 134512640 134569956 3221224416 3221214792 1131321687 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 30320 13073 16 0 212284 0 vsize: 849200 [startup+870.019 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 3682 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 83575 73 0 0 25 0 11 0 477435493 869580800 30386 4294967295 134512640 134569956 3221224416 3221214696 1131228367 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 30386 13073 16 0 212284 0 vsize: 849200 [startup+880.02 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 3682 Raw data (stat): 3669 (java) S 3668 3260 3259 0 -1 0 18116 3 1 0 84542 73 0 0 25 0 11 0 477435493 869580800 30470 4294967295 134512640 134569956 3221224416 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 30470 13073 16 0 212284 0 vsize: 849200 [startup+890.02 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 3682 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 85512 73 0 0 25 0 11 0 477435493 869580800 30526 4294967295 134512640 134569956 3221224416 3221214792 1131322417 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 30526 13073 16 0 212284 0 vsize: 849200 [startup+900.021 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 3682 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 86469 74 0 0 25 0 11 0 477435493 869580800 30592 4294967295 134512640 134569956 3221224416 3221214680 1131764221 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 30592 13073 16 0 212284 0 vsize: 849200 [startup+910.021 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 3682 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 87428 74 0 0 25 0 11 0 477435493 869580800 30669 4294967295 134512640 134569956 3221224416 3221214680 1131766231 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 30669 13073 16 0 212284 0 vsize: 849200 [startup+920.022 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 3682 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 88375 74 0 0 24 0 11 0 477435493 869580800 30768 4294967295 134512640 134569956 3221224416 3221214560 1131508409 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 30768 13073 16 0 212284 0 vsize: 849200 [startup+930.023 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 3682 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 89311 74 0 0 25 0 11 0 477435493 869580800 30806 4294967295 134512640 134569956 3221224416 3221214576 1131499220 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 30806 13073 16 0 212284 0 vsize: 849200 [startup+940.022 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 3682 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 90244 75 0 0 25 0 11 0 477435493 869580800 31005 4294967295 134512640 134569956 3221224416 3221214584 1131252097 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 31005 13073 16 0 212284 0 vsize: 849200 [startup+950.023 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 3682 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 91180 75 0 0 25 0 11 0 477435493 869580800 31063 4294967295 134512640 134569956 3221224416 3221214592 1078032289 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 31063 13073 16 0 212284 0 vsize: 849200 [startup+960.024 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 3682 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 92124 75 0 0 25 0 11 0 477435493 869580800 31185 4294967295 134512640 134569956 3221224416 3221214792 1131322742 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 31185 13073 16 0 212284 0 vsize: 849200 [startup+970.024 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 3682 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 93075 75 0 0 25 0 11 0 477435493 869580800 31459 4294967295 134512640 134569956 3221224416 3221214696 1131227371 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 31459 13073 16 0 212284 0 vsize: 849200 [startup+980.025 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 3682 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 94044 76 0 0 25 0 11 0 477435493 869580800 31621 4294967295 134512640 134569956 3221224416 3221214696 1131228191 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 31621 13073 16 0 212284 0 vsize: 849200 [startup+990.024 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 3682 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 95011 76 0 0 25 0 11 0 477435493 869580800 31736 4294967295 134512640 134569956 3221224416 3221214792 1131321521 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 31736 13073 16 0 212284 0 vsize: 849200 [startup+1000.02 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 3682 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 95987 76 0 0 25 0 11 0 477435493 869580800 31850 4294967295 134512640 134569956 3221224416 3221214792 1131321831 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 31850 13073 16 0 212284 0 vsize: 849200 [startup+1010.02 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 3682 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 96969 77 0 0 25 0 11 0 477435493 869580800 31896 4294967295 134512640 134569956 3221224416 3221214792 1131325093 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 31896 13073 16 0 212284 0 vsize: 849200 [startup+1020.03 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 3682 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 97953 77 0 0 25 0 11 0 477435493 869580800 31933 4294967295 134512640 134569956 3221224416 3221214792 1131321687 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 31933 13073 16 0 212284 0 vsize: 849200 [startup+1030.03 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 3682 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 98936 77 0 0 25 0 11 0 477435493 869580800 31954 4294967295 134512640 134569956 3221224416 3221214792 1131321687 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 31954 13073 16 0 212284 0 vsize: 849200 [startup+1040.03 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 3682 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 99922 77 0 0 25 0 11 0 477435493 869580800 31965 4294967295 134512640 134569956 3221224416 3221214792 1131321687 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 31965 13073 16 0 212284 0 vsize: 849200 [startup+1050.03 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 3682 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 100905 78 0 0 24 0 11 0 477435493 869580800 31982 4294967295 134512640 134569956 3221224416 3221214788 1131228519 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 31982 13073 16 0 212284 0 vsize: 849200 [startup+1060.03 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 3682 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 101892 78 0 0 25 0 11 0 477435493 869580800 31993 4294967295 134512640 134569956 3221224416 3221214792 1131321687 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 31993 13073 16 0 212284 0 vsize: 849200 [startup+1070.03 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 3682 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 102879 79 0 0 25 0 11 0 477435493 869580800 32001 4294967295 134512640 134569956 3221224416 3221214792 1131321521 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 32001 13073 16 0 212284 0 vsize: 849200 [startup+1080.03 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 3682 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 103861 79 0 0 25 0 11 0 477435493 869580800 32029 4294967295 134512640 134569956 3221224416 3221214792 1131321752 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 32029 13073 16 0 212284 0 vsize: 849200 [startup+1090.03 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 3682 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 104849 79 0 0 25 0 11 0 477435493 869580800 32036 4294967295 134512640 134569956 3221224416 3221214792 1131321866 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 32036 13073 16 0 212284 0 vsize: 849200 [startup+1100.03 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 3682 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 105834 80 0 0 25 0 11 0 477435493 869580800 32040 4294967295 134512640 134569956 3221224416 3221214792 1131321752 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 32040 13073 16 0 212284 0 vsize: 849200 [startup+1110.03 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 3682 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 106818 80 0 0 25 0 11 0 477435493 869580800 32051 4294967295 134512640 134569956 3221224416 3221214696 1131227432 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 32051 13073 16 0 212284 0 vsize: 849200 [startup+1120.03 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 3682 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 107803 80 0 0 25 0 11 0 477435493 869580800 32066 4294967295 134512640 134569956 3221224416 3221214696 1131228302 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 32066 13073 16 0 212284 0 vsize: 849200 [startup+1130.03 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 3682 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 108791 80 0 0 25 0 11 0 477435493 869580800 32082 4294967295 134512640 134569956 3221224416 3221214696 1131227639 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 32082 13073 16 0 212284 0 vsize: 849200 [startup+1140.03 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 3682 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 109775 81 0 0 25 0 11 0 477435493 869580800 32105 4294967295 134512640 134569956 3221224416 3221214696 1131227711 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 32105 13073 16 0 212284 0 vsize: 849200 [startup+1150.03 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 3682 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 110761 81 0 0 25 0 11 0 477435493 869580800 32115 4294967295 134512640 134569956 3221224416 3221214792 1131322785 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 32115 13073 16 0 212284 0 vsize: 849200 [startup+1160.03 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 3682 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 111748 81 0 0 25 0 11 0 477435493 869580800 32120 4294967295 134512640 134569956 3221224416 3221214792 1131321509 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 32120 13073 16 0 212284 0 vsize: 849200 [startup+1170.03 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 3682 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 112735 82 0 0 25 0 11 0 477435493 869580800 32129 4294967295 134512640 134569956 3221224416 3221214696 1131227471 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 32129 13073 16 0 212284 0 vsize: 849200 [startup+1180.03 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 3682 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 113721 82 0 0 25 0 11 0 477435493 869580800 32138 4294967295 134512640 134569956 3221224416 3221214696 1131227761 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 32138 13073 16 0 212284 0 vsize: 849200 [startup+1190.03 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 3682 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 114706 82 0 0 25 0 11 0 477435493 869580800 32146 4294967295 134512640 134569956 3221224416 3221214792 1131321896 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 32146 13073 16 0 212284 0 vsize: 849200 [startup+1200.03 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 3682 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 115694 82 0 0 25 0 11 0 477435493 869580800 32156 4294967295 134512640 134569956 3221224416 3221214792 1131322738 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 32156 13073 16 0 212284 0 vsize: 849200 [startup+1210.03 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 3682 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 116681 83 0 0 25 0 11 0 477435493 869580800 32169 4294967295 134512640 134569956 3221224416 3221214976 1131344055 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 32169 13073 16 0 212284 0 vsize: 849200 [startup+1220.03 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 3682 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 117667 83 0 0 25 0 11 0 477435493 869580800 32177 4294967295 134512640 134569956 3221224416 3221214792 1131321687 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 32177 13073 16 0 212284 0 vsize: 849200 [startup+1230.03 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 3682 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 118654 83 0 0 25 0 11 0 477435493 869580800 32191 4294967295 134512640 134569956 3221224416 3221214792 1131321841 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 32191 13073 16 0 212284 0 vsize: 849200 [startup+1240.03 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 3682 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 119639 84 0 0 25 0 11 0 477435493 869580800 32200 4294967295 134512640 134569956 3221224416 3221214696 1131227413 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 32200 13073 16 0 212284 0 vsize: 849200 [startup+1250.03 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 3682 Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 120624 84 0 0 25 0 11 0 477435493 869580800 32208 4294967295 134512640 134569956 3221224416 3221214792 1131321680 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212300 32208 13073 16 0 212284 0 vsize: 849200 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1250.13 s] Raw data (loadavg): 1.00 1.00 0.94 1/54 3684 Raw data (stat): 3669 (java) Z 3668 3260 3259 0 -1 1036 18116 29270 1 0 120627 90 6215 87 25 0 1 0 477435493 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): 1250.12 CPU time (s): 1270.21 CPU user time (s): 1268.43 CPU system time (s): 1.78073 CPU usage (%): 101.607 Max. virtual memory (Kb): 858912 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####