PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:

LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.

General information on the benchmark

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-momentum1.opb
MD5SUM	611e05ec291e603bb8a780ac778ac9aa
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	31027
Biggest coefficient in the objective function	16384000000
Number of bits for the biggest coefficient in the objective function	34
Sum of the numbers in the objective function	1372391683575
Number of bits of the sum of numbers in the objective function	41
Biggest number in a constraint	536870912000000000000000
Number of bits of the biggest number in a constraint	79
Biggest sum of numbers in a constraint	1073792773951002037452800
Number of bits of the biggest sum of numbers	80
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.374942
Number of variables	41495
Total number of constraints	47575
Number of constraints which are clauses	24365
Number of constraints which are cardinality constraints (but not clauses)	3166
Number of constraints which are nor clauses,nor cardinality constraints	20044
Minimum length of a constraint	1
Maximum length of a constraint	840

Trace number 29581

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc29 THE 2005-05-25 09:23:00 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20993 boxname=wulflinc29 idbench=981 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  611e05ec291e603bb8a780ac778ac9aa  /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-20-10-momentum1.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-20-10-momentum1.opb
IDLAUNCH: 20993
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.020
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.020
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:        665000 kB
Buffers:         33084 kB
Cached:         310492 kB
SwapCached:        572 kB
Active:          55644 kB
Inactive:       293452 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        664748 kB
SwapTotal:     2097892 kB
SwapFree:      2096728 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           5612 kB
Slab:            14672 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 09:31:28 (client local time) WITH STATUS 20 IN 514.35 SECONDS
stats: 20993 7 514.35 20
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre
c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
c version Special PB05 Second trial
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@1e4cbc4
c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c
c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c 
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-20-10-momentum1.opb
c reading problem ... c (trivial inconsistency)
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
s UNSATISFIABLE
c Total CPU time (ms) : 506.502
#### 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.86 0.97 0.99 2/54 32061
Raw data (stat): 32061 (runsolver) R 32060 20001 20000 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 837763266 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 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.0009 s]
Raw data (loadavg): 0.95 0.98 0.99 2/63 32070
Raw data (stat): 32061 (java) R 32060 20001 20000 0 -1 0 18014 0 1 0 876 39 0 0 25 0 10 0 837763266 853508096 19277 4294967295 134512640 134569956 3221224368 3221214416 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208376 19277 13086 16 0 208360 0
vsize: 833504
[startup+20.0016 s]
Raw data (loadavg): 0.96 0.98 0.99 2/63 32070
Raw data (stat): 32061 (java) R 32060 20001 20000 0 -1 0 18015 0 1 0 1777 39 0 0 25 0 10 0 837763266 854556672 20077 4294967295 134512640 134569956 3221224368 3221214416 1076461342 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208632 20077 13086 16 0 208616 0
vsize: 834528
[startup+30.0027 s]
Raw data (loadavg): 0.97 0.98 0.99 2/63 32070
Raw data (stat): 32061 (java) R 32060 20001 20000 0 -1 0 18015 0 1 0 2669 40 0 0 21 0 10 0 837763266 854556672 20567 4294967295 134512640 134569956 3221224368 3221214648 1131187725 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208632 20567 13086 16 0 208616 0
vsize: 834528
[startup+40.0033 s]
Raw data (loadavg): 0.97 0.98 0.99 2/63 32070
Raw data (stat): 32061 (java) R 32060 20001 20000 0 -1 0 18015 0 1 0 3586 40 0 0 25 0 10 0 837763266 854794240 20915 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208690 20915 13086 16 0 208674 0
vsize: 834760
[startup+50.0051 s]
Raw data (loadavg): 0.97 0.98 0.99 2/63 32070
Raw data (stat): 32061 (java) R 32060 20001 20000 0 -1 0 18015 0 1 0 4508 40 0 0 25 0 10 0 837763266 854794240 21077 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208690 21077 13086 16 0 208674 0
vsize: 834760
[startup+60.0141 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 32070
Raw data (stat): 32061 (java) R 32060 20001 20000 0 -1 0 18015 0 1 0 5431 40 0 0 25 0 10 0 837763266 854794240 21201 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208690 21201 13086 16 0 208674 0
vsize: 834760
[startup+70.0151 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 32070
Raw data (stat): 32061 (java) R 32060 20001 20000 0 -1 0 18015 0 1 0 6362 40 0 0 25 0 10 0 837763266 854556672 21433 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208632 21433 13086 16 0 208616 0
vsize: 834528
[startup+80.0166 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 32070
Raw data (stat): 32061 (java) R 32060 20001 20000 0 -1 0 18015 0 1 0 7300 40 0 0 25 0 10 0 837763266 854556672 21538 4294967295 134512640 134569956 3221224368 3221214756 1080204160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208632 21538 13086 16 0 208616 0
vsize: 834528
[startup+90.0173 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32070
Raw data (stat): 32061 (java) R 32060 20001 20000 0 -1 0 18015 0 1 0 8244 40 0 0 25 0 10 0 837763266 854556672 21627 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208632 21627 13086 16 0 208616 0
vsize: 834528
[startup+100.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32070
Raw data (stat): 32061 (java) R 32060 20001 20000 0 -1 0 18015 0 1 0 9184 40 0 0 25 0 10 0 837763266 854556672 21716 4294967295 134512640 134569956 3221224368 3221214128 1076874552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208632 21716 13086 16 0 208616 0
vsize: 834528
[startup+110.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32070
Raw data (stat): 32061 (java) R 32060 20001 20000 0 -1 0 18015 0 1 0 10126 40 0 0 24 0 10 0 837763266 854556672 21798 4294967295 134512640 134569956 3221224368 3221214128 1076874552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208632 21798 13086 16 0 208616 0
vsize: 834528
[startup+120.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32070
Raw data (stat): 32061 (java) R 32060 20001 20000 0 -1 0 18015 0 1 0 11070 41 0 0 25 0 10 0 837763266 854556672 21872 4294967295 134512640 134569956 3221224368 3221214224 1080019433 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208632 21872 13086 16 0 208616 0
vsize: 834528
[startup+130.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32070
Raw data (stat): 32061 (java) R 32060 20001 20000 0 -1 0 18015 0 1 0 12013 41 0 0 25 0 10 0 837763266 854556672 21945 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208632 21945 13086 16 0 208616 0
vsize: 834528
[startup+140.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32070
Raw data (stat): 32061 (java) R 32060 20001 20000 0 -1 0 18015 0 1 0 12960 41 0 0 25 0 10 0 837763266 854556672 22011 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208632 22011 13086 16 0 208616 0
vsize: 834528
[startup+150.041 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32070
Raw data (stat): 32061 (java) R 32060 20001 20000 0 -1 0 18015 0 1 0 13902 41 0 0 25 0 10 0 837763266 854556672 22078 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208632 22078 13086 16 0 208616 0
vsize: 834528
[startup+160.044 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32070
Raw data (stat): 32061 (java) S 32060 20001 20000 0 -1 0 18015 0 1 0 14847 41 0 0 22 0 10 0 837763266 854556672 22140 4294967295 134512640 134569956 3221224368 3221213448 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208632 22140 13086 16 0 208616 0
vsize: 834528
[startup+170.044 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32070
Raw data (stat): 32061 (java) R 32060 20001 20000 0 -1 0 18015 0 1 0 15790 41 0 0 25 0 10 0 837763266 854556672 22201 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208632 22201 13086 16 0 208616 0
vsize: 834528
[startup+180.045 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32070
Raw data (stat): 32061 (java) R 32060 20001 20000 0 -1 0 18015 0 1 0 16706 42 0 0 25 0 10 0 837763266 854556672 22257 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208632 22257 13086 16 0 208616 0
vsize: 834528
[startup+190.045 s]
Raw data (loadavg): 1.07 1.00 1.00 2/63 32070
Raw data (stat): 32061 (java) R 32060 20001 20000 0 -1 0 18015 0 1 0 17626 42 0 0 25 0 10 0 837763266 854556672 22569 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208632 22569 13086 16 0 208616 0
vsize: 834528
[startup+200.047 s]
Raw data (loadavg): 1.06 1.00 1.00 2/63 32070
Raw data (stat): 32061 (java) R 32060 20001 20000 0 -1 0 18015 0 1 0 18565 42 0 0 25 0 10 0 837763266 854556672 22625 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208632 22625 13086 16 0 208616 0
vsize: 834528
[startup+210.048 s]
Raw data (loadavg): 1.05 1.00 1.00 2/63 32070
Raw data (stat): 32061 (java) R 32060 20001 20000 0 -1 0 18015 0 1 0 19508 42 0 0 25 0 10 0 837763266 854556672 22677 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208632 22677 13086 16 0 208616 0
vsize: 834528
[startup+220.048 s]
Raw data (loadavg): 1.04 1.00 1.00 2/63 32070
Raw data (stat): 32061 (java) R 32060 20001 20000 0 -1 0 18015 0 1 0 20447 42 0 0 25 0 10 0 837763266 854556672 22730 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208632 22730 13086 16 0 208616 0
vsize: 834528
[startup+230.049 s]
Raw data (loadavg): 1.04 1.00 1.00 2/63 32070
Raw data (stat): 32061 (java) R 32060 20001 20000 0 -1 0 18015 0 1 0 21388 42 0 0 25 0 10 0 837763266 854556672 22779 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208632 22779 13086 16 0 208616 0
vsize: 834528
[startup+240.05 s]
Raw data (loadavg): 1.03 1.00 1.00 2/63 32070
Raw data (stat): 32061 (java) R 32060 20001 20000 0 -1 0 18015 0 1 0 22326 42 0 0 25 0 10 0 837763266 854556672 22830 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208632 22830 13086 16 0 208616 0
vsize: 834528
[startup+250.052 s]
Raw data (loadavg): 1.03 1.00 1.00 2/63 32070
Raw data (stat): 32061 (java) R 32060 20001 20000 0 -1 0 18015 0 1 0 23268 42 0 0 25 0 10 0 837763266 854556672 22877 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208632 22877 13086 16 0 208616 0
vsize: 834528
[startup+260.053 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 32070
Raw data (stat): 32061 (java) R 32060 20001 20000 0 -1 0 18015 0 1 0 24204 43 0 0 25 0 10 0 837763266 854556672 22926 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208632 22926 13086 16 0 208616 0
vsize: 834528
[startup+270.069 s]
Raw data (loadavg): 1.02 1.00 1.00 3/63 32070
Raw data (stat): 32061 (java) R 32060 20001 20000 0 -1 0 18026 0 1 0 25076 44 0 0 25 0 10 0 837763266 856633344 23274 4294967295 134512640 134569956 3221224368 3221213796 1073952732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209177 23290 13086 16 0 209161 0
vsize: 836556
[startup+280.069 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 32070
Raw data (stat): 32061 (java) R 32060 20001 20000 0 -1 0 18026 0 1 0 26001 44 0 0 25 0 10 0 837763266 854941696 24014 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208726 24014 13086 16 0 208710 0
vsize: 834904
[startup+290.07 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 32070
Raw data (stat): 32061 (java) R 32060 20001 20000 0 -1 0 18026 0 1 0 26946 44 0 0 25 0 10 0 837763266 854941696 24014 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208726 24014 13086 16 0 208710 0
vsize: 834904
[startup+300.071 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 32070
Raw data (stat): 32061 (java) R 32060 20001 20000 0 -1 0 18026 0 1 0 27886 45 0 0 25 0 10 0 837763266 854941696 24047 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208726 24047 13086 16 0 208710 0
vsize: 834904
[startup+310.072 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 32070
Raw data (stat): 32061 (java) R 32060 20001 20000 0 -1 0 18030 0 1 0 28798 46 0 0 25 0 10 0 837763266 854941696 25187 4294967295 134512640 134569956 3221224368 3221214808 1131170452 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208726 25187 13086 16 0 208710 0
vsize: 834904
[startup+320.072 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 32070
Raw data (stat): 32061 (java) R 32060 20001 20000 0 -1 0 18030 0 1 0 29709 47 0 0 25 0 10 0 837763266 854556672 27257 4294967295 134512640 134569956 3221224368 3221214772 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208632 27257 13086 16 0 208616 0
vsize: 834528
[startup+330.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32070
Raw data (stat): 32061 (java) R 32060 20001 20000 0 -1 0 18030 0 1 0 30632 48 0 0 24 0 10 0 837763266 854556672 27257 4294967295 134512640 134569956 3221224368 3221214232 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208632 27257 13086 16 0 208616 0
vsize: 834528
[startup+340.076 s]
Raw data (loadavg): 1.08 1.02 1.00 2/63 32070
Raw data (stat): 32061 (java) S 32060 20001 20000 0 -1 0 18030 0 1 0 31529 48 0 0 25 0 10 0 837763266 855605248 27565 4294967295 134512640 134569956 3221224368 3221213488 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208888 27565 13086 16 0 208872 0
vsize: 835552
[startup+350.078 s]
Raw data (loadavg): 1.06 1.02 1.00 2/63 32070
Raw data (stat): 32061 (java) S 32060 20001 20000 0 -1 0 18030 0 1 0 32403 48 0 0 25 0 10 0 837763266 855605248 27686 4294967295 134512640 134569956 3221224368 3221213488 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208888 27686 13086 16 0 208872 0
vsize: 835552
[startup+360.078 s]
Raw data (loadavg): 1.05 1.01 1.00 2/63 32070
Raw data (stat): 32061 (java) R 32060 20001 20000 0 -1 0 18030 0 1 0 33286 48 0 0 25 0 10 0 837763266 855605248 27968 4294967295 134512640 134569956 3221224368 3221214616 1131270425 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208888 27968 13086 16 0 208872 0
vsize: 835552
[startup+370.078 s]
Raw data (loadavg): 1.05 1.01 1.00 2/63 32070
Raw data (stat): 32061 (java) R 32060 20001 20000 0 -1 0 18030 0 1 0 34152 50 0 0 25 0 10 0 837763266 855605248 28936 4294967295 134512640 134569956 3221224368 3221214232 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208888 28936 13086 16 0 208872 0
vsize: 835552
[startup+380.083 s]
Raw data (loadavg): 1.12 1.03 1.01 2/63 32070
Raw data (stat): 32061 (java) S 32060 20001 20000 0 -1 0 18031 0 1 0 35013 53 0 0 25 0 10 0 837763266 854556672 31388 4294967295 134512640 134569956 3221224368 3221213368 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208632 31388 13086 16 0 208616 0
vsize: 834528
[startup+390.084 s]
Raw data (loadavg): 1.10 1.03 1.01 2/63 32070
Raw data (stat): 32061 (java) S 32060 20001 20000 0 -1 0 18031 0 1 0 35921 53 0 0 25 0 10 0 837763266 854556672 33856 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208632 33856 13086 16 0 208616 0
vsize: 834528
[startup+400.084 s]
Raw data (loadavg): 1.08 1.03 1.00 2/63 32070
Raw data (stat): 32061 (java) R 32060 20001 20000 0 -1 0 18031 0 1 0 36831 54 0 0 25 0 10 0 837763266 854556672 33856 4294967295 134512640 134569956 3221224368 3221214772 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208632 33856 13086 16 0 208616 0
vsize: 834528
[startup+410.085 s]
Raw data (loadavg): 1.07 1.03 1.00 2/63 32070
Raw data (stat): 32061 (java) R 32060 20001 20000 0 -1 0 18031 0 1 0 37719 54 0 0 25 0 10 0 837763266 854556672 33984 4294967295 134512640 134569956 3221224368 3221213880 1079277875 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208632 33984 13086 16 0 208616 0
vsize: 834528
[startup+420.094 s]
Raw data (loadavg): 1.06 1.02 1.00 2/63 32070
Raw data (stat): 32061 (java) R 32060 20001 20000 0 -1 0 18031 0 1 0 38607 55 0 0 24 0 10 0 837763266 854556672 34153 4294967295 134512640 134569956 3221224368 3221214232 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208632 34153 13086 16 0 208616 0
vsize: 834528
[startup+430.094 s]
Raw data (loadavg): 1.05 1.02 1.00 2/63 32070
Raw data (stat): 32061 (java) R 32060 20001 20000 0 -1 0 18031 0 1 0 39500 55 0 0 25 0 10 0 837763266 854556672 34321 4294967295 134512640 134569956 3221224368 3221214248 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208632 34321 13086 16 0 208616 0
vsize: 834528
[startup+440.095 s]
Raw data (loadavg): 1.04 1.02 1.00 2/63 32070
Raw data (stat): 32061 (java) R 32060 20001 20000 0 -1 0 18031 0 1 0 40384 55 0 0 25 0 10 0 837763266 854556672 34491 4294967295 134512640 134569956 3221224368 3221214676 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208632 34491 13086 16 0 208616 0
vsize: 834528
[startup+450.1 s]
Raw data (loadavg): 1.04 1.02 1.00 2/63 32070
Raw data (stat): 32061 (java) S 32060 20001 20000 0 -1 0 18031 0 1 0 41278 56 0 0 23 0 10 0 837763266 854556672 34670 4294967295 134512640 134569956 3221224368 3221213488 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208632 34670 13086 16 0 208616 0
vsize: 834528
[startup+460.106 s]
Raw data (loadavg): 1.03 1.02 1.00 2/63 32070
Raw data (stat): 32061 (java) R 32060 20001 20000 0 -1 0 18031 0 1 0 42179 56 0 0 22 0 10 0 837763266 854556672 34829 4294967295 134512640 134569956 3221224368 3221214780 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208632 34829 13086 16 0 208616 0
vsize: 834528
[startup+470.106 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 32070
Raw data (stat): 32061 (java) R 32060 20001 20000 0 -1 0 18031 0 1 0 43077 56 0 0 21 0 10 0 837763266 854556672 34971 4294967295 134512640 134569956 3221224368 3221214780 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208632 34971 13086 16 0 208616 0
vsize: 834528
[startup+480.107 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 32070
Raw data (stat): 32061 (java) R 32060 20001 20000 0 -1 0 18031 0 1 0 43975 56 0 0 19 0 10 0 837763266 854556672 35100 4294967295 134512640 134569956 3221224368 3221214676 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208632 35100 13086 16 0 208616 0
vsize: 834528
[startup+490.108 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 32070
Raw data (stat): 32061 (java) R 32060 20001 20000 0 -1 0 18031 0 1 0 44871 57 0 0 18 0 10 0 837763266 854556672 35228 4294967295 134512640 134569956 3221224368 3221214772 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208632 35228 13086 16 0 208616 0
vsize: 834528
[startup+500.112 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 32070
Raw data (stat): 32061 (java) S 32060 20001 20000 0 -1 0 18031 0 1 0 45775 57 0 0 24 0 10 0 837763266 854556672 35358 4294967295 134512640 134569956 3221224368 3221213488 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208632 35358 13086 16 0 208616 0
vsize: 834528
[startup+507.544 s]
Raw data (loadavg): 1.01 1.02 1.00 1/53 32071
Raw data (stat): 32061 (java) S 32060 20001 20000 0 -1 0 18031 0 1 0 45775 57 0 0 24 0 10 0 837763266 854556672 35358 4294967295 134512640 134569956 3221224368 3221213488 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208632 35358 13086 16 0 208616 0
vsize: 0

Child status: 20
Real time (s): 507.544
CPU time (s): 514.35
CPU user time (s): 513.146
CPU system time (s): 1.20382
CPU usage (%): 101.341
Max. virtual memory (Kb): 836556
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####