Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par32-3-c.opb |
MD5SUM | b552ff39062b6c42ea64365c815cbd78 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 2650 |
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 | 2650 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 2650 |
Number of bits of the biggest sum of numbers | 12 |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Number of variables | 2650 |
Total number of constraints | 6619 |
Number of constraints which are clauses | 6619 |
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 | 3 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc25 THE 2005-04-13 16:57:00 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=1863 boxname=wulflinc25 idbench=207 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: b552ff39062b6c42ea64365c815cbd78 /oldhome/oroussel/tmp/wulflinc25/normalized-par32-3-c.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc25/normalized-par32-3-c.opb IDLAUNCH: 1863 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.220 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.220 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 912216 kB Buffers: 32132 kB Cached: 55756 kB SwapCached: 36 kB Active: 39276 kB Inactive: 51528 kB HighTotal: 131008 kB HighFree: 71484 kB LowTotal: 903652 kB LowFree: 840732 kB SwapTotal: 2097892 kB SwapFree: 2097856 kB Dirty: 36 kB Writeback: 0 kB Mapped: 6920 kB Slab: 26096 kB Committed_AS: 63484 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-13 17:17:22 (client local time) WITH STATUS 143 IN SECONDS stats: 1863 7 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc25/normalized-par32-3-c.opb c reading problem c [nbvar=2650] c [nbconstr=6619] c time 6.799 c #vars 2650 c #clauses 6619 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.92 0.98 0.92 1/54 28616 Raw data (stat): 28616 (runsolver) R 28615 28099 28098 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477572860 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+9.99989 s] Raw data (loadavg): 1.09 1.02 0.93 4/64 28626 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18073 0 1 0 836 45 0 0 25 0 11 0 477572860 862945280 20823 4294967295 134512640 134569956 3221224416 3221214864 1131352090 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210680 20823 13073 16 0 210664 0 vsize: 842720 [startup+20.0007 s] Raw data (loadavg): 1.22 1.05 0.94 2/64 28626 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18103 0 1 0 1762 45 0 0 25 0 11 0 477572860 868540416 23030 4294967295 134512640 134569956 3221224416 3221214848 1131352383 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212046 23030 13073 16 0 212030 0 vsize: 848184 [startup+30.0014 s] Raw data (loadavg): 1.19 1.05 0.94 2/64 28626 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18104 0 1 0 2740 45 0 0 25 0 11 0 477572860 868409344 23511 4294967295 134512640 134569956 3221224416 3221214552 1131509596 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212014 23511 13073 16 0 211998 0 vsize: 848056 [startup+40.0018 s] Raw data (loadavg): 1.16 1.04 0.94 2/64 28626 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18104 0 1 0 3717 46 0 0 25 0 11 0 477572860 868409344 23681 4294967295 134512640 134569956 3221224416 3221214848 1131352380 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212014 23681 13073 16 0 211998 0 vsize: 848056 [startup+50.0018 s] Raw data (loadavg): 1.13 1.04 0.94 2/64 28626 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18104 0 1 0 4695 46 0 0 25 0 11 0 477572860 866471936 23339 4294967295 134512640 134569956 3221224416 3221214728 1131526369 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211541 23339 13073 16 0 211525 0 vsize: 846164 [startup+60.0024 s] Raw data (loadavg): 1.11 1.04 0.94 2/64 28626 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18104 0 1 0 5675 46 0 0 25 0 11 0 477572860 866471936 23377 4294967295 134512640 134569956 3221224416 3221214848 1131352383 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211541 23377 13073 16 0 211525 0 vsize: 846164 [startup+70.0025 s] Raw data (loadavg): 1.10 1.04 0.94 2/64 28626 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18104 0 1 0 6664 46 0 0 25 0 11 0 477572860 866471936 23494 4294967295 134512640 134569956 3221224416 3221214848 1131352086 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211541 23494 13073 16 0 211525 0 vsize: 846164 [startup+80.0033 s] Raw data (loadavg): 1.08 1.04 0.94 2/64 28626 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18104 0 1 0 7647 46 0 0 25 0 11 0 477572860 866471936 23944 4294967295 134512640 134569956 3221224416 3221214848 1131352303 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211541 23944 13073 16 0 211525 0 vsize: 846164 [startup+90.0041 s] Raw data (loadavg): 1.07 1.03 0.94 2/64 28626 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18104 0 1 0 8634 46 0 0 25 0 11 0 477572860 866471936 23948 4294967295 134512640 134569956 3221224416 3221214848 1131352380 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211541 23948 13073 16 0 211525 0 vsize: 846164 [startup+100.003 s] Raw data (loadavg): 1.06 1.03 0.94 2/64 28626 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18104 0 1 0 9620 47 0 0 25 0 11 0 477572860 866471936 23948 4294967295 134512640 134569956 3221224416 3221214736 1131363274 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211541 23948 13073 16 0 211525 0 vsize: 846164 [startup+110.005 s] Raw data (loadavg): 1.05 1.03 0.94 2/64 28626 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18104 0 1 0 10607 47 0 0 25 0 11 0 477572860 866471936 23948 4294967295 134512640 134569956 3221224416 3221214848 1131352076 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211541 23948 13073 16 0 211525 0 vsize: 846164 [startup+120.005 s] Raw data (loadavg): 1.04 1.03 0.94 2/64 28626 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18104 0 1 0 11592 47 0 0 25 0 11 0 477572860 866471936 23958 4294967295 134512640 134569956 3221224416 3221214848 1131352076 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211541 23958 13073 16 0 211525 0 vsize: 846164 [startup+130.005 s] Raw data (loadavg): 1.03 1.03 0.94 2/64 28626 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18104 0 1 0 12584 47 0 0 25 0 11 0 477572860 866471936 23997 4294967295 134512640 134569956 3221224416 3221214736 1131364079 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211541 23997 13073 16 0 211525 0 vsize: 846164 [startup+140.005 s] Raw data (loadavg): 1.03 1.03 0.94 2/64 28626 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18104 0 1 0 13569 47 0 0 25 0 11 0 477572860 866471936 24070 4294967295 134512640 134569956 3221224416 3221214848 1131352569 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211541 24070 13073 16 0 211525 0 vsize: 846164 [startup+150.005 s] Raw data (loadavg): 1.02 1.03 0.94 2/64 28626 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18104 0 1 0 14554 47 0 0 25 0 11 0 477572860 866471936 24150 4294967295 134512640 134569956 3221224416 3221214696 1131622179 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211541 24150 13073 16 0 211525 0 vsize: 846164 [startup+160.006 s] Raw data (loadavg): 1.02 1.02 0.94 2/64 28626 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18104 0 1 0 15538 48 0 0 25 0 11 0 477572860 866471936 24338 4294967295 134512640 134569956 3221224416 3221214848 1131352315 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211541 24338 13073 16 0 211525 0 vsize: 846164 [startup+170.006 s] Raw data (loadavg): 1.02 1.02 0.94 2/64 28626 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18104 0 1 0 16524 48 0 0 25 0 11 0 477572860 866471936 24437 4294967295 134512640 134569956 3221224416 3221214416 1076460785 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211541 24437 13073 16 0 211525 0 vsize: 846164 [startup+180.007 s] Raw data (loadavg): 1.01 1.02 0.94 2/64 28626 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18104 0 1 0 17516 48 0 0 25 0 11 0 477572860 866471936 24502 4294967295 134512640 134569956 3221224416 3221214848 1131352315 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211541 24502 13073 16 0 211525 0 vsize: 846164 [startup+190.008 s] Raw data (loadavg): 1.09 1.04 0.95 3/67 28670 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18104 0 1 0 18499 48 0 0 25 0 11 0 477572860 866471936 24658 4294967295 134512640 134569956 3221224416 3221214848 1131352383 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211541 24658 13073 16 0 211525 0 vsize: 846164 [startup+200.008 s] Raw data (loadavg): 1.15 1.05 0.95 2/64 28679 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18104 0 1 0 19485 48 0 0 25 0 11 0 477572860 866471936 24815 4294967295 134512640 134569956 3221224416 3221214696 1131622065 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211541 24815 13073 16 0 211525 0 vsize: 846164 [startup+210.008 s] Raw data (loadavg): 1.13 1.05 0.95 2/64 28679 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18104 0 1 0 20469 49 0 0 25 0 11 0 477572860 866471936 25026 4294967295 134512640 134569956 3221224416 3221214848 1131352297 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211541 25026 13073 16 0 211525 0 vsize: 846164 [startup+220.008 s] Raw data (loadavg): 1.11 1.05 0.95 2/64 28679 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18104 0 1 0 21454 49 0 0 25 0 11 0 477572860 866471936 25193 4294967295 134512640 134569956 3221224416 3221214848 1131352076 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211541 25193 13073 16 0 211525 0 vsize: 846164 [startup+230.01 s] Raw data (loadavg): 1.09 1.05 0.95 2/64 28679 Raw data (stat): 28616 (java) S 28615 28099 28098 0 -1 0 18104 0 1 0 22445 49 0 0 25 0 11 0 477572860 866471936 25298 4294967295 134512640 134569956 3221224416 3221213176 1073952481 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211541 25298 13073 16 0 211525 0 vsize: 846164 [startup+240.01 s] Raw data (loadavg): 1.08 1.05 0.95 2/64 28679 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18104 0 1 0 23432 49 0 0 25 0 11 0 477572860 866471936 25470 4294967295 134512640 134569956 3221224416 3221214736 1131364093 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211541 25470 13073 16 0 211525 0 vsize: 846164 [startup+250.009 s] Raw data (loadavg): 1.06 1.04 0.95 2/64 28679 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18104 0 1 0 24417 50 0 0 25 0 11 0 477572860 866471936 25642 4294967295 134512640 134569956 3221224416 3221214696 1131622172 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211541 25642 13073 16 0 211525 0 vsize: 846164 [startup+260.01 s] Raw data (loadavg): 1.05 1.04 0.95 2/64 28679 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18104 0 1 0 25404 50 0 0 25 0 11 0 477572860 866471936 25721 4294967295 134512640 134569956 3221224416 3221214736 1131364168 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211541 25721 13073 16 0 211525 0 vsize: 846164 [startup+270.01 s] Raw data (loadavg): 1.04 1.04 0.95 2/64 28681 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18104 0 1 0 26390 50 0 0 25 0 11 0 477572860 866471936 25859 4294967295 134512640 134569956 3221224416 3221214848 1131352076 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211541 25859 13073 16 0 211525 0 vsize: 846164 [startup+280.011 s] Raw data (loadavg): 1.04 1.04 0.95 2/64 28681 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18104 0 1 0 27383 51 0 0 25 0 11 0 477572860 866471936 25951 4294967295 134512640 134569956 3221224416 3221214848 1131352064 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211541 25951 13073 16 0 211525 0 vsize: 846164 [startup+290.012 s] Raw data (loadavg): 1.03 1.04 0.95 2/64 28681 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18104 0 1 0 28370 51 0 0 25 0 11 0 477572860 866471936 26052 4294967295 134512640 134569956 3221224416 3221214848 1131352086 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211541 26052 13073 16 0 211525 0 vsize: 846164 [startup+300.012 s] Raw data (loadavg): 1.03 1.03 0.95 2/64 28681 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18104 0 1 0 29356 51 0 0 25 0 11 0 477572860 866471936 26162 4294967295 134512640 134569956 3221224416 3221214848 1131352383 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211541 26162 13073 16 0 211525 0 vsize: 846164 [startup+310.013 s] Raw data (loadavg): 1.02 1.03 0.95 2/64 28681 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18104 0 1 0 30342 51 0 0 25 0 11 0 477572860 866471936 26335 4294967295 134512640 134569956 3221224416 3221214848 1131352380 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211541 26335 13073 16 0 211525 0 vsize: 846164 [startup+320.014 s] Raw data (loadavg): 1.02 1.03 0.95 2/64 28681 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18104 0 1 0 31335 51 0 0 25 0 11 0 477572860 866471936 26335 4294967295 134512640 134569956 3221224416 3221214736 1131363261 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211541 26335 13073 16 0 211525 0 vsize: 846164 [startup+330.014 s] Raw data (loadavg): 1.01 1.03 0.95 2/64 28681 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18104 0 1 0 32319 52 0 0 25 0 11 0 477572860 866471936 26488 4294967295 134512640 134569956 3221224416 3221214848 1131352090 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211541 26488 13073 16 0 211525 0 vsize: 846164 [startup+340.013 s] Raw data (loadavg): 1.01 1.03 0.95 2/64 28681 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18104 0 1 0 33302 52 0 0 25 0 11 0 477572860 866471936 26678 4294967295 134512640 134569956 3221224416 3221214848 1131352297 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211541 26678 13073 16 0 211525 0 vsize: 846164 [startup+350.014 s] Raw data (loadavg): 1.01 1.03 0.95 2/64 28681 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18104 0 1 0 34287 52 0 0 25 0 11 0 477572860 866471936 26831 4294967295 134512640 134569956 3221224416 3221214896 1131434596 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211541 26831 13073 16 0 211525 0 vsize: 846164 [startup+360.015 s] Raw data (loadavg): 1.01 1.03 0.95 2/64 28681 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18104 0 1 0 35278 52 0 0 25 0 11 0 477572860 866471936 26880 4294967295 134512640 134569956 3221224416 3221214504 1131189704 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211541 26880 13073 16 0 211525 0 vsize: 846164 [startup+370.014 s] Raw data (loadavg): 1.01 1.02 0.95 2/64 28681 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18104 0 1 0 36262 52 0 0 25 0 11 0 477572860 866471936 27094 4294967295 134512640 134569956 3221224416 3221214896 1131434215 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211541 27094 13073 16 0 211525 0 vsize: 846164 [startup+380.015 s] Raw data (loadavg): 1.00 1.02 0.95 2/64 28681 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18104 0 1 0 37247 52 0 0 25 0 11 0 477572860 866471936 27216 4294967295 134512640 134569956 3221224416 3221214848 1131352076 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211541 27216 13073 16 0 211525 0 vsize: 846164 [startup+390.015 s] Raw data (loadavg): 1.00 1.02 0.95 2/64 28681 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18104 0 1 0 38238 53 0 0 25 0 11 0 477572860 866471936 27285 4294967295 134512640 134569956 3221224416 3221214792 1131542303 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211541 27285 13073 16 0 211525 0 vsize: 846164 [startup+400.015 s] Raw data (loadavg): 1.00 1.02 0.95 2/64 28681 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18104 0 1 0 39222 53 0 0 25 0 11 0 477572860 866471936 27435 4294967295 134512640 134569956 3221224416 3221214848 1131352088 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211541 27435 13073 16 0 211525 0 vsize: 846164 [startup+410.015 s] Raw data (loadavg): 1.00 1.02 0.95 2/64 28681 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18104 0 1 0 40206 53 0 0 25 0 11 0 477572860 866471936 27577 4294967295 134512640 134569956 3221224416 3221214848 1131352076 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211541 27577 13073 16 0 211525 0 vsize: 846164 [startup+420.015 s] Raw data (loadavg): 1.00 1.02 0.95 2/64 28681 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18104 0 1 0 41191 54 0 0 25 0 11 0 477572860 866471936 27729 4294967295 134512640 134569956 3221224416 3221214848 1131352385 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211541 27729 13073 16 0 211525 0 vsize: 846164 [startup+430.016 s] Raw data (loadavg): 1.00 1.02 0.95 2/64 28681 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18104 0 1 0 42182 54 0 0 25 0 11 0 477572860 866471936 27808 4294967295 134512640 134569956 3221224416 3221214848 1131352288 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211541 27808 13073 16 0 211525 0 vsize: 846164 [startup+440.016 s] Raw data (loadavg): 1.00 1.02 0.95 2/64 28681 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18104 0 1 0 43167 55 0 0 25 0 11 0 477572860 866471936 28051 4294967295 134512640 134569956 3221224416 3221214792 1131541453 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211541 28051 13073 16 0 211525 0 vsize: 846164 [startup+450.015 s] Raw data (loadavg): 1.00 1.02 0.95 2/64 28681 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18104 0 1 0 44151 55 0 0 25 0 11 0 477572860 866471936 28212 4294967295 134512640 134569956 3221224416 3221214848 1131352380 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211541 28212 13073 16 0 211525 0 vsize: 846164 [startup+460.016 s] Raw data (loadavg): 1.00 1.02 0.95 2/64 28681 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18104 0 1 0 45135 55 0 0 25 0 11 0 477572860 866471936 28454 4294967295 134512640 134569956 3221224416 3221214696 1131622063 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211541 28454 13073 16 0 211525 0 vsize: 846164 [startup+470.016 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 28681 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18104 0 1 0 46121 55 0 0 25 0 11 0 477572860 866471936 28624 4294967295 134512640 134569956 3221224416 3221214848 1131352579 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211541 28624 13073 16 0 211525 0 vsize: 846164 [startup+480.017 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 28681 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18104 0 1 0 47113 55 0 0 25 0 11 0 477572860 866471936 28726 4294967295 134512640 134569956 3221224416 3221214736 1131364043 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211541 28726 13073 16 0 211525 0 vsize: 846164 [startup+490.016 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 28681 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18104 0 1 0 48097 56 0 0 25 0 11 0 477572860 866471936 28826 4294967295 134512640 134569956 3221224416 3221214848 1131352064 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211541 28826 13073 16 0 211525 0 vsize: 846164 [startup+500.017 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 28681 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18104 0 1 0 49081 56 0 0 25 0 11 0 477572860 866471936 29008 4294967295 134512640 134569956 3221224416 3221214672 1131484866 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211541 29008 13073 16 0 211525 0 vsize: 846164 [startup+510.017 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 28681 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18104 0 1 0 50065 57 0 0 25 0 11 0 477572860 866471936 29204 4294967295 134512640 134569956 3221224416 3221214848 1131352589 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211541 29204 13073 16 0 211525 0 vsize: 846164 [startup+520.016 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 28681 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18104 0 1 0 51058 57 0 0 25 0 11 0 477572860 866471936 29275 4294967295 134512640 134569956 3221224416 3221214736 1131363240 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211541 29275 13073 16 0 211525 0 vsize: 846164 [startup+530.018 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 28681 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18105 0 1 0 52042 58 0 0 25 0 11 0 477572860 866471936 29464 4294967295 134512640 134569956 3221224416 3221214736 1131363297 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211541 29464 13073 16 0 211525 0 vsize: 846164 [startup+540.018 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 28683 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18105 0 1 0 53027 58 0 0 25 0 11 0 477572860 866471936 29618 4294967295 134512640 134569956 3221224416 3221214848 1131352380 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211541 29618 13073 16 0 211525 0 vsize: 846164 [startup+550.017 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 28683 Raw data (stat): 28616 (java) S 28615 28099 28098 0 -1 0 18105 0 1 0 54017 59 0 0 25 0 11 0 477572860 866471936 29716 4294967295 134512640 134569956 3221224416 3221213448 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211541 29716 13073 16 0 211525 0 vsize: 846164 [startup+560.018 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 28683 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18105 0 1 0 55005 59 0 0 25 0 11 0 477572860 866471936 29812 4294967295 134512640 134569956 3221224416 3221214848 1131352309 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211541 29812 13073 16 0 211525 0 vsize: 846164 [startup+570.018 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 28683 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18105 0 1 0 55990 60 0 0 25 0 11 0 477572860 866471936 29994 4294967295 134512640 134569956 3221224416 3221214848 1131352383 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211541 29994 13073 16 0 211525 0 vsize: 846164 [startup+580.019 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 28683 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18105 0 1 0 56975 60 0 0 25 0 11 0 477572860 866471936 30145 4294967295 134512640 134569956 3221224416 3221214848 1131352309 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211541 30145 13073 16 0 211525 0 vsize: 846164 [startup+590.019 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 28683 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18105 0 1 0 57968 60 0 0 25 0 11 0 477572860 866471936 30145 4294967295 134512640 134569956 3221224416 3221214896 1131435733 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211541 30145 13073 16 0 211525 0 vsize: 846164 [startup+600.019 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 28683 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18105 0 1 0 58952 61 0 0 25 0 11 0 477572860 866471936 30377 4294967295 134512640 134569956 3221224416 3221214696 1131622179 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211541 30377 13073 16 0 211525 0 vsize: 846164 [startup+610.02 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 28683 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18105 0 1 0 59938 61 0 0 25 0 11 0 477572860 866471936 30523 4294967295 134512640 134569956 3221224416 3221214848 1131352079 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211541 30523 13073 16 0 211525 0 vsize: 846164 [startup+620.02 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 28683 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18105 0 1 0 60923 61 0 0 25 0 11 0 477572860 866471936 30654 4294967295 134512640 134569956 3221224416 3221214848 1131352368 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211541 30654 13073 16 0 211525 0 vsize: 846164 [startup+630.02 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 28683 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18105 0 1 0 61915 61 0 0 25 0 11 0 477572860 866471936 30736 4294967295 134512640 134569956 3221224416 3221214736 1131364073 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211541 30736 13073 16 0 211525 0 vsize: 846164 [startup+640.02 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 28683 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18105 0 1 0 62900 62 0 0 25 0 11 0 477572860 866471936 30906 4294967295 134512640 134569956 3221224416 3221214736 1131363197 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211541 30906 13073 16 0 211525 0 vsize: 846164 [startup+650.02 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 28683 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18105 0 1 0 63885 62 0 0 25 0 11 0 477572860 866471936 31050 4294967295 134512640 134569956 3221224416 3221214848 1131352309 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211541 31050 13073 16 0 211525 0 vsize: 846164 [startup+660.021 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 28683 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18105 0 1 0 64878 62 0 0 25 0 11 0 477572860 866471936 31135 4294967295 134512640 134569956 3221224416 3221214696 1131207119 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211541 31135 13073 16 0 211525 0 vsize: 846164 [startup+670.021 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 28683 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18105 0 1 0 65863 63 0 0 25 0 11 0 477572860 866471936 31216 4294967295 134512640 134569956 3221224416 3221214736 1131363225 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211541 31216 13073 16 0 211525 0 vsize: 846164 [startup+680.021 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 28683 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18105 0 1 0 66849 63 0 0 25 0 11 0 477572860 866471936 31390 4294967295 134512640 134569956 3221224416 3221214848 1131352088 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211541 31390 13073 16 0 211525 0 vsize: 846164 [startup+690.02 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 28683 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18105 0 1 0 67834 63 0 0 25 0 11 0 477572860 866471936 31548 4294967295 134512640 134569956 3221224416 3221214848 1131352380 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211541 31548 13073 16 0 211525 0 vsize: 846164 [startup+700.02 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 28683 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18105 0 1 0 68826 64 0 0 25 0 11 0 477572860 866471936 31618 4294967295 134512640 134569956 3221224416 3221214848 1131352297 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211541 31618 13073 16 0 211525 0 vsize: 846164 [startup+710.021 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 28683 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18105 0 1 0 69811 64 0 0 25 0 11 0 477572860 866471936 31753 4294967295 134512640 134569956 3221224416 3221214848 1131352064 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211541 31753 13073 16 0 211525 0 vsize: 846164 [startup+720.021 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 28683 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18105 0 1 0 70795 64 0 0 25 0 11 0 477572860 866471936 31952 4294967295 134512640 134569956 3221224416 3221214848 1131352079 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211541 31952 13073 16 0 211525 0 vsize: 846164 [startup+730.021 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 28683 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18105 0 1 0 71781 64 0 0 25 0 11 0 477572860 866471936 32092 4294967295 134512640 134569956 3221224416 3221214896 1131434460 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211541 32092 13073 16 0 211525 0 vsize: 846164 [startup+740.022 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 28683 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18105 0 1 0 72766 64 0 0 25 0 11 0 477572860 866471936 32215 4294967295 134512640 134569956 3221224416 3221214736 1131363225 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211541 32215 13073 16 0 211525 0 vsize: 846164 [startup+750.021 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 28683 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18105 0 1 0 73751 64 0 0 25 0 11 0 477572860 866471936 32366 4294967295 134512640 134569956 3221224416 3221214848 1131352079 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211541 32366 13073 16 0 211525 0 vsize: 846164 [startup+760.022 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 28683 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18105 0 1 0 74736 64 0 0 25 0 11 0 477572860 866471936 32535 4294967295 134512640 134569956 3221224416 3221214848 1131352076 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211541 32535 13073 16 0 211525 0 vsize: 846164 [startup+770.022 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 28683 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18105 0 1 0 75728 65 0 0 25 0 11 0 477572860 866471936 32639 4294967295 134512640 134569956 3221224416 3221214736 1131363428 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211541 32639 13073 16 0 211525 0 vsize: 846164 [startup+780.022 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 28683 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18105 0 1 0 76714 65 0 0 25 0 11 0 477572860 866471936 32894 4294967295 134512640 134569956 3221224416 3221214672 1131483812 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211541 32894 13073 16 0 211525 0 vsize: 846164 [startup+790.021 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 28683 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18105 0 1 0 77700 65 0 0 25 0 11 0 477572860 866471936 33049 4294967295 134512640 134569956 3221224416 3221214848 1131352383 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211541 33049 13073 16 0 211525 0 vsize: 846164 [startup+800.021 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 28683 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18105 0 1 0 78685 66 0 0 25 0 11 0 477572860 866471936 33186 4294967295 134512640 134569956 3221224416 3221214848 1131352368 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211541 33186 13073 16 0 211525 0 vsize: 846164 [startup+810.022 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 28683 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18105 0 1 0 79678 66 0 0 25 0 11 0 477572860 866471936 33271 4294967295 134512640 134569956 3221224416 3221214848 1131352383 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211541 33271 13073 16 0 211525 0 vsize: 846164 [startup+820.021 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 28683 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18105 0 1 0 80663 66 0 0 25 0 11 0 477572860 866471936 33458 4294967295 134512640 134569956 3221224416 3221214848 1131352288 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211541 33458 13073 16 0 211525 0 vsize: 846164 [startup+830.021 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 28683 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18105 0 1 0 81649 67 0 0 25 0 11 0 477572860 866471936 33641 4294967295 134512640 134569956 3221224416 3221214848 1131352383 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211541 33641 13073 16 0 211525 0 vsize: 846164 [startup+840.021 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 28683 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18105 0 1 0 82635 67 0 0 25 0 11 0 477572860 866471936 33831 4294967295 134512640 134569956 3221224416 3221214848 1131352309 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211541 33831 13073 16 0 211525 0 vsize: 846164 [startup+850.022 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 28683 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18105 0 1 0 83620 67 0 0 24 0 11 0 477572860 866471936 33930 4294967295 134512640 134569956 3221224416 3221214848 1131352380 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211541 33930 13073 16 0 211525 0 vsize: 846164 [startup+860.023 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 28683 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18105 0 1 0 84613 68 0 0 25 0 11 0 477572860 866471936 33994 4294967295 134512640 134569956 3221224416 3221214736 1131363280 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211541 33994 13073 16 0 211525 0 vsize: 846164 [startup+870.022 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 28683 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18105 0 1 0 85599 68 0 0 25 0 11 0 477572860 866471936 34154 4294967295 134512640 134569956 3221224416 3221214736 1131364095 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211541 34154 13073 16 0 211525 0 vsize: 846164 [startup+880.022 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 28683 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18105 0 1 0 86584 68 0 0 25 0 11 0 477572860 866471936 34336 4294967295 134512640 134569956 3221224416 3221214792 1131542194 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211541 34336 13073 16 0 211525 0 vsize: 846164 [startup+890.022 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 28683 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18105 0 1 0 87570 69 0 0 25 0 11 0 477572860 866471936 34494 4294967295 134512640 134569956 3221224416 3221214848 1131352315 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211541 34494 13073 16 0 211525 0 vsize: 846164 [startup+900.022 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 28683 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18105 0 1 0 88556 69 0 0 24 0 11 0 477572860 866471936 34596 4294967295 134512640 134569956 3221224416 3221214848 1131352380 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211541 34596 13073 16 0 211525 0 vsize: 846164 [startup+910.022 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 28683 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18105 0 1 0 89549 69 0 0 25 0 11 0 477572860 866471936 34671 4294967295 134512640 134569956 3221224416 3221214848 1131352368 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211541 34671 13073 16 0 211525 0 vsize: 846164 [startup+920.023 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 28683 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18105 0 1 0 90535 70 0 0 25 0 11 0 477572860 866471936 34798 4294967295 134512640 134569956 3221224416 3221214696 1131622157 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211541 34798 13073 16 0 211525 0 vsize: 846164 [startup+930.022 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 28683 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18105 0 1 0 91519 70 0 0 25 0 11 0 477572860 866471936 34957 4294967295 134512640 134569956 3221224416 3221214848 1131352443 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211541 34957 13073 16 0 211525 0 vsize: 846164 [startup+940.021 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 28683 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18105 0 1 0 92504 70 0 0 25 0 11 0 477572860 866471936 35119 4294967295 134512640 134569956 3221224416 3221214736 1131363240 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211541 35119 13073 16 0 211525 0 vsize: 846164 [startup+950.022 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 28683 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18105 0 1 0 93490 70 0 0 25 0 11 0 477572860 866471936 35268 4294967295 134512640 134569956 3221224416 3221214736 1131364095 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211541 35268 13073 16 0 211525 0 vsize: 846164 [startup+960.022 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 28683 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18105 0 1 0 94481 71 0 0 25 0 11 0 477572860 866471936 35336 4294967295 134512640 134569956 3221224416 3221214848 1131352086 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211541 35336 13073 16 0 211525 0 vsize: 846164 [startup+970.021 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 28683 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18105 0 1 0 95466 71 0 0 25 0 11 0 477572860 866471936 35464 4294967295 134512640 134569956 3221224416 3221214848 1131352288 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211541 35464 13073 16 0 211525 0 vsize: 846164 [startup+980.021 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 28683 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18105 0 1 0 96451 71 0 0 25 0 11 0 477572860 866471936 35602 4294967295 134512640 134569956 3221224416 3221214848 1131352189 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211541 35602 13073 16 0 211525 0 vsize: 846164 [startup+990.021 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 28683 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18105 0 1 0 97435 71 0 0 25 0 11 0 477572860 866471936 35764 4294967295 134512640 134569956 3221224416 3221214720 1131283874 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211541 35764 13073 16 0 211525 0 vsize: 846164 [startup+1000.02 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 28683 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18105 0 1 0 98428 71 0 0 25 0 11 0 477572860 866471936 35764 4294967295 134512640 134569956 3221224416 3221214824 1131591155 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211541 35764 13073 16 0 211525 0 vsize: 846164 [startup+1010.02 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 28683 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18105 0 1 0 99413 72 0 0 25 0 11 0 477572860 866471936 35888 4294967295 134512640 134569956 3221224416 3221214848 1131352309 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211541 35888 13073 16 0 211525 0 vsize: 846164 [startup+1020.02 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 28683 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18105 0 1 0 100398 72 0 0 25 0 11 0 477572860 866471936 36036 4294967295 134512640 134569956 3221224416 3221214736 1131364063 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211541 36036 13073 16 0 211525 0 vsize: 846164 [startup+1030.02 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 28683 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18105 0 1 0 101382 72 0 0 25 0 11 0 477572860 866471936 36180 4294967295 134512640 134569956 3221224416 3221214696 1131622172 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211541 36180 13073 16 0 211525 0 vsize: 846164 [startup+1040.02 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 28683 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18105 0 1 0 102367 72 0 0 25 0 11 0 477572860 866471936 36305 4294967295 134512640 134569956 3221224416 3221214736 1131364043 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211541 36305 13073 16 0 211525 0 vsize: 846164 [startup+1050.02 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 28683 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18105 0 1 0 103358 72 0 0 25 0 11 0 477572860 866471936 36373 4294967295 134512640 134569956 3221224416 3221214696 1131622168 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211541 36373 13073 16 0 211525 0 vsize: 846164 [startup+1060.02 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 28683 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18105 0 1 0 104343 72 0 0 25 0 11 0 477572860 866471936 36510 4294967295 134512640 134569956 3221224416 3221214736 1131364180 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211541 36510 13073 16 0 211525 0 vsize: 846164 [startup+1070.02 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 28683 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18105 0 1 0 105327 72 0 0 25 0 11 0 477572860 866471936 36695 4294967295 134512640 134569956 3221224416 3221214848 1131352076 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211541 36695 13073 16 0 211525 0 vsize: 846164 [startup+1080.02 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 28683 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18105 0 1 0 106312 73 0 0 25 0 11 0 477572860 866471936 36833 4294967295 134512640 134569956 3221224416 3221214784 1080203665 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211541 36833 13073 16 0 211525 0 vsize: 846164 [startup+1090.02 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 28683 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18105 0 1 0 107304 73 0 0 25 0 11 0 477572860 866471936 36951 4294967295 134512640 134569956 3221224416 3221214736 1131364079 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211541 36951 13073 16 0 211525 0 vsize: 846164 [startup+1100.02 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 28683 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18105 0 1 0 108289 73 0 0 25 0 11 0 477572860 866471936 37102 4294967295 134512640 134569956 3221224416 3221214848 1131352380 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211541 37102 13073 16 0 211525 0 vsize: 846164 [startup+1110.02 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 28683 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18105 0 1 0 109274 74 0 0 25 0 11 0 477572860 866471936 37248 4294967295 134512640 134569956 3221224416 3221214696 1131622168 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211541 37248 13073 16 0 211525 0 vsize: 846164 [startup+1120.02 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 28683 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18105 0 1 0 110258 74 0 0 25 0 11 0 477572860 866471936 37407 4294967295 134512640 134569956 3221224416 3221214848 1131352368 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211541 37407 13073 16 0 211525 0 vsize: 846164 [startup+1130.02 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 28683 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18105 0 1 0 111250 74 0 0 25 0 11 0 477572860 866471936 37496 4294967295 134512640 134569956 3221224416 3221214848 1131352368 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211541 37496 13073 16 0 211525 0 vsize: 846164 [startup+1140.02 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 28683 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18105 0 1 0 112234 74 0 0 25 0 11 0 477572860 866471936 37631 4294967295 134512640 134569956 3221224416 3221214848 1131352383 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211541 37631 13073 16 0 211525 0 vsize: 846164 [startup+1150.02 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 28683 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18105 0 1 0 113219 75 0 0 25 0 11 0 477572860 866471936 37794 4294967295 134512640 134569956 3221224416 3221214736 1131364093 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211541 37794 13073 16 0 211525 0 vsize: 846164 [startup+1160.02 s] Raw data (loadavg): 1.08 1.02 0.96 2/64 28683 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18105 0 1 0 114211 75 0 0 25 0 11 0 477572860 866471936 37794 4294967295 134512640 134569956 3221224416 3221214848 1131352569 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211541 37794 13073 16 0 211525 0 vsize: 846164 [startup+1170.02 s] Raw data (loadavg): 1.07 1.02 0.96 2/64 28683 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18105 0 1 0 115195 75 0 0 25 0 11 0 477572860 866471936 37940 4294967295 134512640 134569956 3221224416 3221214736 1131364043 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211541 37940 13073 16 0 211525 0 vsize: 846164 [startup+1180.02 s] Raw data (loadavg): 1.06 1.01 0.96 2/64 28683 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18105 0 1 0 116179 76 0 0 25 0 11 0 477572860 866471936 38083 4294967295 134512640 134569956 3221224416 3221214848 1131352288 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211541 38083 13073 16 0 211525 0 vsize: 846164 [startup+1190.02 s] Raw data (loadavg): 1.05 1.01 0.96 2/64 28683 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18105 0 1 0 117163 76 0 0 25 0 11 0 477572860 866471936 38258 4294967295 134512640 134569956 3221224416 3221214696 1131622157 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211541 38258 13073 16 0 211525 0 vsize: 846164 [startup+1200.02 s] Raw data (loadavg): 1.04 1.01 0.96 2/64 28683 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18105 0 1 0 118148 76 0 0 25 0 11 0 477572860 866471936 38305 4294967295 134512640 134569956 3221224416 3221214736 1131364091 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211541 38305 13073 16 0 211525 0 vsize: 846164 [startup+1210.02 s] Raw data (loadavg): 1.03 1.01 0.96 2/64 28683 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18105 0 1 0 119140 76 0 0 25 0 11 0 477572860 866471936 38377 4294967295 134512640 134569956 3221224416 3221214848 1131352297 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211541 38377 13073 16 0 211525 0 vsize: 846164 [startup+1220.02 s] Raw data (loadavg): 1.03 1.01 0.96 2/64 28683 Raw data (stat): 28616 (java) R 28615 28099 28098 0 -1 0 18105 0 1 0 120125 76 0 0 25 0 11 0 477572860 866471936 38547 4294967295 134512640 134569956 3221224416 3221214848 1131352380 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211541 38547 13073 16 0 211525 0 vsize: 846164 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1220.12 s] Raw data (loadavg): 1.03 1.01 0.96 1/54 28685 Raw data (stat): 28616 (java) Z 28615 28099 28098 0 -1 1036 18105 28373 1 0 120127 83 2987 65 25 0 1 0 477572860 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): 1220.12 CPU time (s): 1232.66 CPU user time (s): 1231.16 CPU system time (s): 1.49877 CPU usage (%): 101.027 Max. virtual memory (Kb): 848184 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####