Name | normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-nesm.opb |
MD5SUM | 9ca217d68e197c62a424642cb15d4c0d |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 6687 |
Biggest coefficient in the objective function | 13107200000000000 |
Number of bits for the biggest coefficient in the objective function | 54 |
Sum of the numbers in the objective function | 655896268577248767 |
Number of bits of the sum of numbers in the objective function | 60 |
Biggest number in a constraint | 13107200000000000 |
Number of bits of the biggest number in a constraint | 54 |
Biggest sum of numbers in a constraint | 655896268577248767 |
Number of bits of the biggest sum of numbers | 60 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.378942 |
Number of variables | 43191 |
Total number of constraints | 2258 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 2258 |
Minimum length of a constraint | 7 |
Maximum length of a constraint | 648 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc17 THE 2005-04-21 19:47:07 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=16012 boxname=wulflinc17 idbench=1232 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: 9ca217d68e197c62a424642cb15d4c0d /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-13-7-nesm.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-13-7-nesm.opb IDLAUNCH: 16012 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.072 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.072 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: 590304 kB Buffers: 22268 kB Cached: 395388 kB SwapCached: 408 kB Active: 91232 kB Inactive: 329044 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 590052 kB SwapTotal: 2097892 kB SwapFree: 2097056 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5856 kB Slab: 18268 kB Committed_AS: 63820 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-21 19:56:56 (client local time) WITH STATUS 20 IN 605.954 SECONDS stats: 16012 7 605.954 20 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-13-7-nesm.opb c reading problem c [nbvar=43191] c [nbconstr=2258] c time 536.314 c #vars 43191 c #clauses 2738 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 Total CPU time (ms) : 588.17 s UNSATISFIABLE #### 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.50 0.78 0.91 2/55 3592 Raw data (stat): 3592 (runsolver) R 3591 20838 20837 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 547721683 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0011 s] Raw data (loadavg): 0.57 0.78 0.91 2/64 3601 Raw data (stat): 3592 (java) S 3591 20838 20837 0 -1 0 17981 0 1 0 884 40 0 0 25 0 10 0 547721683 853471232 19133 4294967295 134512640 134569956 3221224400 3221213656 1073952481 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208367 19133 13073 16 0 208351 0 vsize: 833468 [startup+20.0019 s] Raw data (loadavg): 0.80 0.82 0.92 3/64 3601 Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18009 0 1 0 1669 40 0 0 25 0 10 0 547721683 869781504 23402 4294967295 134512640 134569956 3221224400 3221214564 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212349 23402 13073 16 0 212333 0 vsize: 849396 [startup+30.0015 s] Raw data (loadavg): 0.98 0.86 0.93 2/64 3601 Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18012 0 1 0 2484 41 0 0 24 0 10 0 547721683 869691392 24132 4294967295 134512640 134569956 3221224400 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212327 24132 13073 16 0 212311 0 vsize: 849308 [startup+40.0017 s] Raw data (loadavg): 0.99 0.87 0.93 2/64 3601 Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18012 0 1 0 3355 41 0 0 25 0 10 0 547721683 865091584 23413 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211204 23413 13073 16 0 211188 0 vsize: 844816 [startup+50.0017 s] Raw data (loadavg): 0.99 0.87 0.93 2/64 3601 Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18012 0 1 0 4252 41 0 0 25 0 10 0 547721683 865091584 23615 4294967295 134512640 134569956 3221224400 3221214184 1076874552 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211204 23615 13073 16 0 211188 0 vsize: 844816 [startup+60.0012 s] Raw data (loadavg): 0.99 0.87 0.93 2/64 3601 Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18012 0 1 0 5164 41 0 0 25 0 10 0 547721683 865091584 23857 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211204 23857 13073 16 0 211188 0 vsize: 844816 [startup+70.0049 s] Raw data (loadavg): 0.99 0.88 0.93 2/64 3601 Raw data (stat): 3592 (java) S 3591 20838 20837 0 -1 0 18012 0 1 0 6087 42 0 0 25 0 10 0 547721683 865091584 24059 4294967295 134512640 134569956 3221224400 3221213520 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211204 24059 13073 16 0 211188 0 vsize: 844816 [startup+80.0065 s] Raw data (loadavg): 0.99 0.88 0.93 2/64 3601 Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18012 0 1 0 7017 42 0 0 24 0 10 0 547721683 865091584 24173 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211204 24173 13073 16 0 211188 0 vsize: 844816 [startup+90.0061 s] Raw data (loadavg): 0.99 0.88 0.93 2/64 3601 Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18012 0 1 0 7952 42 0 0 25 0 10 0 547721683 865091584 24272 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211204 24272 13073 16 0 211188 0 vsize: 844816 [startup+100.008 s] Raw data (loadavg): 0.99 0.89 0.93 2/64 3601 Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18012 0 1 0 8887 42 0 0 25 0 10 0 547721683 865091584 24363 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211204 24363 13073 16 0 211188 0 vsize: 844816 [startup+110.009 s] Raw data (loadavg): 0.99 0.89 0.93 2/64 3601 Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18012 0 1 0 9796 42 0 0 25 0 10 0 547721683 865091584 24444 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211204 24444 13073 16 0 211188 0 vsize: 844816 [startup+120.01 s] Raw data (loadavg): 0.99 0.89 0.93 2/64 3603 Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18012 0 1 0 10694 43 0 0 25 0 10 0 547721683 865091584 24525 4294967295 134512640 134569956 3221224400 3221214888 1131154492 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211204 24525 13073 16 0 211188 0 vsize: 844816 [startup+130.01 s] Raw data (loadavg): 0.99 0.90 0.93 2/64 3603 Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18012 0 1 0 11620 43 0 0 25 0 10 0 547721683 865091584 24798 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211204 24798 13073 16 0 211188 0 vsize: 844816 [startup+140.01 s] Raw data (loadavg): 0.99 0.90 0.93 2/64 3603 Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18012 0 1 0 12549 43 0 0 25 0 10 0 547721683 865091584 24895 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211204 24895 13073 16 0 211188 0 vsize: 844816 [startup+150.013 s] Raw data (loadavg): 0.99 0.90 0.93 2/64 3603 Raw data (stat): 3592 (java) S 3591 20838 20837 0 -1 0 18012 0 1 0 13479 43 0 0 25 0 10 0 547721683 865091584 24990 4294967295 134512640 134569956 3221224400 3221213504 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211204 24990 13073 16 0 211188 0 vsize: 844816 [startup+160.013 s] Raw data (loadavg): 0.99 0.91 0.93 2/64 3603 Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18012 0 1 0 14406 43 0 0 25 0 10 0 547721683 865091584 25064 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211204 25064 13073 16 0 211188 0 vsize: 844816 [startup+170.013 s] Raw data (loadavg): 0.99 0.91 0.93 2/64 3603 Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18012 0 1 0 15335 43 0 0 25 0 10 0 547721683 865091584 25154 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211204 25154 13073 16 0 211188 0 vsize: 844816 [startup+180.014 s] Raw data (loadavg): 0.99 0.91 0.93 2/64 3603 Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18012 0 1 0 16255 44 0 0 25 0 10 0 547721683 865091584 25222 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211204 25222 13073 16 0 211188 0 vsize: 844816 [startup+190.014 s] Raw data (loadavg): 0.99 0.91 0.93 2/64 3603 Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18012 0 1 0 17167 44 0 0 25 0 10 0 547721683 865091584 25311 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211204 25311 13073 16 0 211188 0 vsize: 844816 [startup+200.014 s] Raw data (loadavg): 0.99 0.92 0.93 2/64 3603 Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18012 0 1 0 18086 44 0 0 25 0 10 0 547721683 865091584 25536 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211204 25536 13073 16 0 211188 0 vsize: 844816 [startup+210.014 s] Raw data (loadavg): 1.07 0.93 0.94 2/64 3603 Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18012 0 1 0 19012 44 0 0 25 0 10 0 547721683 865091584 25621 4294967295 134512640 134569956 3221224400 3221214264 1077558382 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211204 25621 13073 16 0 211188 0 vsize: 844816 [startup+220.028 s] Raw data (loadavg): 1.06 0.94 0.94 2/64 3603 Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18012 0 1 0 19936 44 0 0 24 0 10 0 547721683 865091584 25687 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211204 25687 13073 16 0 211188 0 vsize: 844816 [startup+230.028 s] Raw data (loadavg): 1.05 0.94 0.94 2/64 3603 Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18012 0 1 0 20861 44 0 0 25 0 10 0 547721683 865091584 25748 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211204 25748 13073 16 0 211188 0 vsize: 844816 [startup+240.027 s] Raw data (loadavg): 1.04 0.94 0.94 2/64 3603 Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18012 0 1 0 21785 44 0 0 25 0 10 0 547721683 865091584 25810 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211204 25810 13073 16 0 211188 0 vsize: 844816 [startup+250.048 s] Raw data (loadavg): 1.03 0.94 0.94 2/64 3603 Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18012 0 1 0 22712 45 0 0 25 0 10 0 547721683 865091584 25893 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211204 25893 13073 16 0 211188 0 vsize: 844816 [startup+260.049 s] Raw data (loadavg): 1.03 0.94 0.94 2/64 3603 Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18012 0 1 0 23636 45 0 0 25 0 10 0 547721683 865091584 25952 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211204 25952 13073 16 0 211188 0 vsize: 844816 [startup+270.052 s] Raw data (loadavg): 1.02 0.94 0.94 2/64 3603 Raw data (stat): 3592 (java) S 3591 20838 20837 0 -1 0 18012 0 1 0 24555 45 0 0 25 0 10 0 547721683 865091584 26012 4294967295 134512640 134569956 3221224400 3221213520 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211204 26012 13073 16 0 211188 0 vsize: 844816 [startup+280.052 s] Raw data (loadavg): 1.02 0.94 0.94 2/64 3603 Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18012 0 1 0 25478 45 0 0 25 0 10 0 547721683 865091584 26071 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211204 26071 13073 16 0 211188 0 vsize: 844816 [startup+290.057 s] Raw data (loadavg): 1.10 0.96 0.94 2/64 3603 Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18012 0 1 0 26401 45 0 0 25 0 10 0 547721683 865091584 26129 4294967295 134512640 134569956 3221224400 3221214168 1076874558 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211204 26129 13073 16 0 211188 0 vsize: 844816 [startup+300.058 s] Raw data (loadavg): 1.08 0.96 0.94 2/64 3603 Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18012 0 1 0 27324 46 0 0 25 0 10 0 547721683 865091584 26206 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211204 26206 13073 16 0 211188 0 vsize: 844816 [startup+310.061 s] Raw data (loadavg): 1.07 0.96 0.94 2/64 3603 Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18012 0 1 0 28246 46 0 0 25 0 10 0 547721683 865091584 26261 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211204 26261 13073 16 0 211188 0 vsize: 844816 [startup+320.069 s] Raw data (loadavg): 1.06 0.97 0.94 2/64 3603 Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18012 0 1 0 29168 46 0 0 25 0 10 0 547721683 865091584 26317 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211204 26317 13073 16 0 211188 0 vsize: 844816 [startup+330.069 s] Raw data (loadavg): 1.05 0.97 0.94 2/64 3603 Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18012 0 1 0 30089 46 0 0 25 0 10 0 547721683 865091584 26371 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211204 26371 13073 16 0 211188 0 vsize: 844816 [startup+340.072 s] Raw data (loadavg): 1.04 0.97 0.94 2/64 3603 Raw data (stat): 3592 (java) S 3591 20838 20837 0 -1 0 18012 0 1 0 31006 46 0 0 25 0 10 0 547721683 865091584 26425 4294967295 134512640 134569956 3221224400 3221213520 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211204 26425 13073 16 0 211188 0 vsize: 844816 [startup+350.075 s] Raw data (loadavg): 1.03 0.97 0.94 2/64 3603 Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18012 0 1 0 31925 47 0 0 24 0 10 0 547721683 865091584 26479 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211204 26479 13073 16 0 211188 0 vsize: 844816 [startup+360.077 s] Raw data (loadavg): 1.03 0.97 0.94 2/64 3603 Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18012 0 1 0 32845 47 0 0 25 0 10 0 547721683 865091584 26532 4294967295 134512640 134569956 3221224400 3221214264 1077558382 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211204 26532 13073 16 0 211188 0 vsize: 844816 [startup+370.078 s] Raw data (loadavg): 1.02 0.97 0.94 2/64 3603 Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18012 0 1 0 33765 47 0 0 25 0 10 0 547721683 865091584 26584 4294967295 134512640 134569956 3221224400 3221214812 1080204166 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211204 26584 13073 16 0 211188 0 vsize: 844816 [startup+380.181 s] Raw data (loadavg): 1.02 0.97 0.94 2/64 3603 Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18012 0 1 0 34694 47 0 0 25 0 10 0 547721683 865091584 26634 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211204 26634 13073 16 0 211188 0 vsize: 844816 [startup+390.182 s] Raw data (loadavg): 1.02 0.97 0.94 2/64 3603 Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18012 0 1 0 35612 47 0 0 25 0 10 0 547721683 865091584 26684 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211204 26684 13073 16 0 211188 0 vsize: 844816 [startup+400.184 s] Raw data (loadavg): 1.01 0.97 0.94 2/64 3603 Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18012 0 1 0 36530 47 0 0 25 0 10 0 547721683 865091584 26734 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211204 26734 13073 16 0 211188 0 vsize: 844816 [startup+410.184 s] Raw data (loadavg): 1.01 0.97 0.94 2/64 3603 Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18012 0 1 0 37447 47 0 0 25 0 10 0 547721683 865091584 26783 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211204 26783 13073 16 0 211188 0 vsize: 844816 [startup+420.184 s] Raw data (loadavg): 1.01 0.97 0.94 2/64 3605 Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18012 0 1 0 38363 47 0 0 25 0 10 0 547721683 865091584 26833 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211204 26833 13073 16 0 211188 0 vsize: 844816 [startup+430.185 s] Raw data (loadavg): 1.01 0.97 0.94 2/64 3605 Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18012 0 1 0 39279 47 0 0 25 0 10 0 547721683 865091584 26861 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211204 26861 13073 16 0 211188 0 vsize: 844816 [startup+440.185 s] Raw data (loadavg): 1.00 0.97 0.94 2/64 3605 Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18013 0 1 0 40177 48 0 0 25 0 10 0 547721683 865091584 28312 4294967295 134512640 134569956 3221224400 3221214440 1131350092 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211204 28312 13073 16 0 211188 0 vsize: 844816 [startup+450.185 s] Raw data (loadavg): 1.00 0.97 0.94 2/64 3605 Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18013 0 1 0 41052 49 0 0 25 0 10 0 547721683 865091584 28653 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211204 28653 13073 16 0 211188 0 vsize: 844816 [startup+460.186 s] Raw data (loadavg): 1.00 0.97 0.94 2/64 3605 Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18015 0 1 0 41917 49 0 0 25 0 10 0 547721683 865091584 29182 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211204 29182 13073 16 0 211188 0 vsize: 844816 [startup+470.186 s] Raw data (loadavg): 1.00 0.97 0.94 2/64 3605 Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18015 0 1 0 42793 49 0 0 25 0 10 0 547721683 865091584 29416 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211204 29416 13073 16 0 211188 0 vsize: 844816 [startup+480.186 s] Raw data (loadavg): 1.00 0.97 0.94 2/64 3605 Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18015 0 1 0 43677 50 0 0 25 0 10 0 547721683 865091584 29493 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211204 29493 13073 16 0 211188 0 vsize: 844816 [startup+490.186 s] Raw data (loadavg): 1.00 0.97 0.94 2/64 3605 Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18015 0 1 0 44553 50 0 0 25 0 10 0 547721683 865091584 29647 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211204 29647 13073 16 0 211188 0 vsize: 844816 [startup+500.186 s] Raw data (loadavg): 1.00 0.97 0.94 2/64 3605 Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18015 0 1 0 45424 50 0 0 24 0 10 0 547721683 865091584 29892 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211204 29892 13073 16 0 211188 0 vsize: 844816 [startup+510.185 s] Raw data (loadavg): 1.00 0.97 0.94 2/64 3605 Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18015 0 1 0 46300 50 0 0 25 0 10 0 547721683 865091584 30063 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211204 30063 13073 16 0 211188 0 vsize: 844816 [startup+520.186 s] Raw data (loadavg): 1.00 0.97 0.94 2/64 3605 Raw data (stat): 3592 (java) S 3591 20838 20837 0 -1 0 18015 0 1 0 47186 51 0 0 25 0 10 0 547721683 865091584 31404 4294967295 134512640 134569956 3221224400 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211204 31404 13073 16 0 211188 0 vsize: 844816 [startup+530.187 s] Raw data (loadavg): 1.00 0.97 0.94 2/64 3605 Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18015 0 1 0 48094 51 0 0 25 0 10 0 547721683 865091584 31404 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211204 31404 13073 16 0 211188 0 vsize: 844816 [startup+540.186 s] Raw data (loadavg): 1.00 0.97 0.94 2/65 3606 Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18058 0 1 0 48960 53 0 0 25 0 11 0 547721683 865619968 34383 4294967295 134512640 134569956 3221224400 3221214768 1131496737 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211333 34383 13073 16 0 211317 0 vsize: 845332 [startup+550.186 s] Raw data (loadavg): 1.00 0.97 0.94 2/65 3606 Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18096 0 1 0 49937 53 0 0 25 0 11 0 547721683 865619968 34399 4294967295 134512640 134569956 3221224400 3221214848 1131536551 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211333 34399 13073 16 0 211317 0 vsize: 845332 [startup+560.186 s] Raw data (loadavg): 1.00 0.97 0.94 2/65 3606 Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18096 0 1 0 50935 54 0 0 25 0 11 0 547721683 865619968 34318 4294967295 134512640 134569956 3221224400 3221214848 1131536540 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211333 34318 13073 16 0 211317 0 vsize: 845332 [startup+570.187 s] Raw data (loadavg): 1.00 0.97 0.94 2/65 3606 Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18096 0 1 0 51934 54 0 0 25 0 11 0 547721683 865619968 34318 4294967295 134512640 134569956 3221224400 3221214848 1131536808 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211333 34318 13073 16 0 211317 0 vsize: 845332 [startup+580.187 s] Raw data (loadavg): 1.00 0.97 0.94 2/65 3606 Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18096 0 1 0 52897 54 0 0 25 0 11 0 547721683 865619968 34340 4294967295 134512640 134569956 3221224400 3221214512 1131651127 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211333 34340 13073 16 0 211317 0 vsize: 845332 [startup+588.911 s] Raw data (loadavg): 1.00 0.97 0.94 1/54 3607 Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18096 0 1 0 52897 54 0 0 25 0 11 0 547721683 865619968 34340 4294967295 134512640 134569956 3221224400 3221214512 1131651127 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211333 34340 13073 16 0 211317 0 vsize: 0 Child status: 20 Real time (s): 588.911 CPU time (s): 605.954 CPU user time (s): 604.626 CPU system time (s): 1.3278 CPU usage (%): 102.894 Max. virtual memory (Kb): 849396 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####