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-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

Trace number 29823

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-25 12:06:30 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21244 boxname=wulflinc31 idbench=1232 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  9ca217d68e197c62a424642cb15d4c0d  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-nesm.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-nesm.opb
IDLAUNCH: 21244
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        440712 kB
Buffers:         31720 kB
Cached:         531288 kB
SwapCached:       1052 kB
Active:          70972 kB
Inactive:       494208 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        440460 kB
SwapTotal:     2097892 kB
SwapFree:      2095964 kB
Dirty:              44 kB
Writeback:           0 kB
Mapped:           5192 kB
Slab:            23060 kB
Committed_AS:    63796 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 12:15:32 (client local time) WITH STATUS 20 IN 548.628 SECONDS
stats: 21244 7 548.628 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/wulflinc31/normalized-mps-v2-13-7-nesm.opb
c reading problem ... done. Time 539.332 ms.
c #vars     43191
c #constraints  2737
c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 2756
c inspects	: 1679
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) : 541.18
#### 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/55 14894
Raw data (stat): 14894 (runsolver) R 14893 29618 29617 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 838729130 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0009 s]
Raw data (loadavg): 0.88 0.97 0.99 3/64 14903
Raw data (stat): 14894 (java) R 14893 29618 29617 0 -1 0 18008 0 1 0 873 36 0 0 25 0 10 0 838729130 857382912 20132 4294967295 134512640 134569956 3221224368 3221214464 1077558368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209322 20132 13086 16 0 209306 0
vsize: 837288
[startup+20.0017 s]
Raw data (loadavg): 0.90 0.97 0.99 2/64 14905
Raw data (stat): 14894 (java) R 14893 29618 29617 0 -1 0 18016 0 1 0 1767 36 0 0 24 0 10 0 838729130 854872064 20347 4294967295 134512640 134569956 3221224368 3221214528 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208709 20347 13086 16 0 208693 0
vsize: 834836
[startup+30.0016 s]
Raw data (loadavg): 0.91 0.97 0.99 2/64 14905
Raw data (stat): 14894 (java) R 14893 29618 29617 0 -1 0 18017 0 1 0 2652 37 0 0 24 0 10 0 838729130 855793664 20928 4294967295 134512640 134569956 3221224368 3221214748 1130917299 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208934 20928 13086 16 0 208918 0
vsize: 835736
[startup+40.0026 s]
Raw data (loadavg): 1.07 1.00 1.00 2/64 14905
Raw data (stat): 14894 (java) R 14893 29618 29617 0 -1 0 18018 0 1 0 3536 37 0 0 25 0 10 0 838729130 855793664 21289 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208934 21289 13086 16 0 208918 0
vsize: 835736
[startup+50.0035 s]
Raw data (loadavg): 1.06 1.00 1.00 2/64 14905
Raw data (stat): 14894 (java) R 14893 29618 29617 0 -1 0 18018 0 1 0 4432 37 0 0 19 0 10 0 838729130 855793664 21500 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208934 21500 13086 16 0 208918 0
vsize: 835736
[startup+60.0049 s]
Raw data (loadavg): 1.05 1.00 1.00 2/64 14905
Raw data (stat): 14894 (java) R 14893 29618 29617 0 -1 0 18018 0 1 0 5338 38 0 0 24 0 10 0 838729130 855793664 21754 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208934 21754 13086 16 0 208918 0
vsize: 835736
[startup+70.0054 s]
Raw data (loadavg): 1.04 1.00 1.00 2/64 14905
Raw data (stat): 14894 (java) R 14893 29618 29617 0 -1 0 18018 0 1 0 6264 38 0 0 25 0 10 0 838729130 855793664 21959 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208934 21959 13086 16 0 208918 0
vsize: 835736
[startup+80.0083 s]
Raw data (loadavg): 1.04 1.00 1.00 2/64 14907
Raw data (stat): 14894 (java) R 14893 29618 29617 0 -1 0 18018 0 1 0 7199 39 0 0 25 0 10 0 838729130 855793664 22069 4294967295 134512640 134569956 3221224368 3221214240 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208934 22069 13086 16 0 208918 0
vsize: 835736
[startup+90.0086 s]
Raw data (loadavg): 1.03 1.00 1.00 2/64 14907
Raw data (stat): 14894 (java) R 14893 29618 29617 0 -1 0 18018 0 1 0 8136 39 0 0 25 0 10 0 838729130 855793664 22169 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208934 22169 13086 16 0 208918 0
vsize: 835736
[startup+100.008 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 14907
Raw data (stat): 14894 (java) R 14893 29618 29617 0 -1 0 18018 0 1 0 9074 39 0 0 25 0 10 0 838729130 855793664 22263 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208934 22263 13086 16 0 208918 0
vsize: 835736
[startup+110.009 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 14907
Raw data (stat): 14894 (java) R 14893 29618 29617 0 -1 0 18018 0 1 0 9981 40 0 0 25 0 10 0 838729130 855793664 22366 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208934 22366 13086 16 0 208918 0
vsize: 835736
[startup+120.01 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 14907
Raw data (stat): 14894 (java) R 14893 29618 29617 0 -1 0 18018 0 1 0 10882 40 0 0 24 0 10 0 838729130 855793664 22449 4294967295 134512640 134569956 3221224368 3221214240 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208934 22449 13086 16 0 208918 0
vsize: 835736
[startup+130.009 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 14907
Raw data (stat): 14894 (java) R 14893 29618 29617 0 -1 0 18018 0 1 0 11813 40 0 0 24 0 10 0 838729130 855793664 22738 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208934 22738 13086 16 0 208918 0
vsize: 835736
[startup+140.01 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 14909
Raw data (stat): 14894 (java) R 14893 29618 29617 0 -1 0 18018 0 1 0 12750 40 0 0 24 0 10 0 838729130 855793664 22837 4294967295 134512640 134569956 3221224368 3221214240 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208934 22837 13086 16 0 208918 0
vsize: 835736
[startup+150.01 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 14909
Raw data (stat): 14894 (java) R 14893 29618 29617 0 -1 0 18018 0 1 0 13686 41 0 0 25 0 10 0 838729130 855793664 22932 4294967295 134512640 134569956 3221224368 3221214780 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208934 22932 13086 16 0 208918 0
vsize: 835736
[startup+160.011 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 14909
Raw data (stat): 14894 (java) R 14893 29618 29617 0 -1 0 18018 0 1 0 14624 41 0 0 25 0 10 0 838729130 855793664 23004 4294967295 134512640 134569956 3221224368 3221214780 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208934 23004 13086 16 0 208918 0
vsize: 835736
[startup+170.012 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 14909
Raw data (stat): 14894 (java) R 14893 29618 29617 0 -1 0 18018 0 1 0 15560 41 0 0 25 0 10 0 838729130 855793664 23096 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208934 23096 13086 16 0 208918 0
vsize: 835736
[startup+180.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14909
Raw data (stat): 14894 (java) R 14893 29618 29617 0 -1 0 18018 0 1 0 16488 41 0 0 24 0 10 0 838729130 855793664 23164 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208934 23164 13086 16 0 208918 0
vsize: 835736
[startup+190.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14909
Raw data (stat): 14894 (java) R 14893 29618 29617 0 -1 0 18018 0 1 0 17412 41 0 0 25 0 10 0 838729130 855793664 23252 4294967295 134512640 134569956 3221224368 3221214780 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208934 23252 13086 16 0 208918 0
vsize: 835736
[startup+200.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14911
Raw data (stat): 14894 (java) R 14893 29618 29617 0 -1 0 18018 0 1 0 18338 41 0 0 25 0 10 0 838729130 855793664 23478 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208934 23478 13086 16 0 208918 0
vsize: 835736
[startup+210.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14911
Raw data (stat): 14894 (java) R 14893 29618 29617 0 -1 0 18018 0 1 0 19273 41 0 0 25 0 10 0 838729130 855793664 23543 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208934 23543 13086 16 0 208918 0
vsize: 835736
[startup+220.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14911
Raw data (stat): 14894 (java) R 14893 29618 29617 0 -1 0 18018 0 1 0 20208 41 0 0 25 0 10 0 838729130 855793664 23628 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208934 23628 13086 16 0 208918 0
vsize: 835736
[startup+230.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14911
Raw data (stat): 14894 (java) R 14893 29618 29617 0 -1 0 18018 0 1 0 21141 41 0 0 25 0 10 0 838729130 856842240 23982 4294967295 134512640 134569956 3221224368 3221214788 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209190 23982 13086 16 0 209174 0
vsize: 836760
[startup+240.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14911
Raw data (stat): 14894 (java) R 14893 29618 29617 0 -1 0 18018 0 1 0 22073 42 0 0 25 0 10 0 838729130 856842240 24044 4294967295 134512640 134569956 3221224368 3221214780 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209190 24044 13086 16 0 209174 0
vsize: 836760
[startup+250.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14911
Raw data (stat): 14894 (java) R 14893 29618 29617 0 -1 0 18018 0 1 0 23005 42 0 0 25 0 10 0 838729130 856842240 24106 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209190 24106 13086 16 0 209174 0
vsize: 836760
[startup+260.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14913
Raw data (stat): 14894 (java) S 14893 29618 29617 0 -1 0 18018 0 1 0 23936 42 0 0 25 0 10 0 838729130 856842240 24189 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209190 24189 13086 16 0 209174 0
vsize: 836760
[startup+270.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14913
Raw data (stat): 14894 (java) R 14893 29618 29617 0 -1 0 18018 0 1 0 24865 42 0 0 24 0 10 0 838729130 856842240 24251 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209190 24251 13086 16 0 209174 0
vsize: 836760
[startup+280.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14913
Raw data (stat): 14894 (java) R 14893 29618 29617 0 -1 0 18018 0 1 0 25797 42 0 0 25 0 10 0 838729130 856842240 24310 4294967295 134512640 134569956 3221224368 3221214840 1131219345 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209190 24310 13086 16 0 209174 0
vsize: 836760
[startup+290.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14913
Raw data (stat): 14894 (java) R 14893 29618 29617 0 -1 0 18018 0 1 0 26728 43 0 0 24 0 10 0 838729130 856842240 24368 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209190 24368 13086 16 0 209174 0
vsize: 836760
[startup+300.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14913
Raw data (stat): 14894 (java) R 14893 29618 29617 0 -1 0 18018 0 1 0 27658 43 0 0 24 0 10 0 838729130 856842240 24426 4294967295 134512640 134569956 3221224368 3221214788 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209190 24426 13086 16 0 209174 0
vsize: 836760
[startup+310.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14913
Raw data (stat): 14894 (java) R 14893 29618 29617 0 -1 0 18018 0 1 0 28588 44 0 0 25 0 10 0 838729130 856842240 24481 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209190 24481 13086 16 0 209174 0
vsize: 836760
[startup+320.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14915
Raw data (stat): 14894 (java) R 14893 29618 29617 0 -1 0 18018 0 1 0 29519 44 0 0 25 0 10 0 838729130 856842240 24537 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209190 24537 13086 16 0 209174 0
vsize: 836760
[startup+330.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14915
Raw data (stat): 14894 (java) R 14893 29618 29617 0 -1 0 18018 0 1 0 30449 45 0 0 25 0 10 0 838729130 856842240 24614 4294967295 134512640 134569956 3221224368 3221214780 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209190 24614 13086 16 0 209174 0
vsize: 836760
[startup+340.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14915
Raw data (stat): 14894 (java) R 14893 29618 29617 0 -1 0 18018 0 1 0 31379 46 0 0 24 0 10 0 838729130 856842240 24669 4294967295 134512640 134569956 3221224368 3221214780 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209190 24669 13086 16 0 209174 0
vsize: 836760
[startup+350.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14915
Raw data (stat): 14894 (java) R 14893 29618 29617 0 -1 0 18018 0 1 0 32309 46 0 0 25 0 10 0 838729130 856842240 24723 4294967295 134512640 134569956 3221224368 3221214368 1131274077 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209190 24723 13086 16 0 209174 0
vsize: 836760
[startup+360.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14915
Raw data (stat): 14894 (java) R 14893 29618 29617 0 -1 0 18018 0 1 0 33238 47 0 0 25 0 10 0 838729130 856842240 24776 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209190 24776 13086 16 0 209174 0
vsize: 836760
[startup+370.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14915
Raw data (stat): 14894 (java) R 14893 29618 29617 0 -1 0 18018 0 1 0 34167 48 0 0 24 0 10 0 838729130 856842240 24829 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209190 24829 13086 16 0 209174 0
vsize: 836760
[startup+380.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14917
Raw data (stat): 14894 (java) R 14893 29618 29617 0 -1 0 18018 0 1 0 35095 49 0 0 24 0 10 0 838729130 856842240 24879 4294967295 134512640 134569956 3221224368 3221214240 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209190 24879 13086 16 0 209174 0
vsize: 836760
[startup+390.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14917
Raw data (stat): 14894 (java) S 14893 29618 29617 0 -1 0 18018 0 1 0 36027 50 0 0 25 0 10 0 838729130 856842240 24908 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209190 24908 13086 16 0 209174 0
vsize: 836760
[startup+400.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14917
Raw data (stat): 14894 (java) R 14893 29618 29617 0 -1 0 18018 0 1 0 36957 50 0 0 25 0 10 0 838729130 856842240 24958 4294967295 134512640 134569956 3221224368 3221214256 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209190 24958 13086 16 0 209174 0
vsize: 836760
[startup+410.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14917
Raw data (stat): 14894 (java) R 14893 29618 29617 0 -1 0 18018 0 1 0 37885 50 0 0 25 0 10 0 838729130 856842240 25008 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209190 25008 13086 16 0 209174 0
vsize: 836760
[startup+420.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14917
Raw data (stat): 14894 (java) R 14893 29618 29617 0 -1 0 18018 0 1 0 38813 51 0 0 25 0 10 0 838729130 856842240 25059 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209190 25059 13086 16 0 209174 0
vsize: 836760
[startup+430.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14917
Raw data (stat): 14894 (java) R 14893 29618 29617 0 -1 0 18018 0 1 0 39740 51 0 0 25 0 10 0 838729130 856842240 25108 4294967295 134512640 134569956 3221224368 3221214240 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209190 25108 13086 16 0 209174 0
vsize: 836760
[startup+440.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14919
Raw data (stat): 14894 (java) R 14893 29618 29617 0 -1 0 18018 0 1 0 40651 52 0 0 25 0 10 0 838729130 856842240 26577 4294967295 134512640 134569956 3221224368 3221214240 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209190 26577 13086 16 0 209174 0
vsize: 836760
[startup+450.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14919
Raw data (stat): 14894 (java) R 14893 29618 29617 0 -1 0 18018 0 1 0 41540 53 0 0 25 0 10 0 838729130 856842240 26760 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209190 26760 13086 16 0 209174 0
vsize: 836760
[startup+460.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14919
Raw data (stat): 14894 (java) R 14893 29618 29617 0 -1 0 18018 0 1 0 42406 53 0 0 25 0 10 0 838729130 856842240 27344 4294967295 134512640 134569956 3221224368 3221214256 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209190 27344 13086 16 0 209174 0
vsize: 836760
[startup+470.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14919
Raw data (stat): 14894 (java) R 14893 29618 29617 0 -1 0 18018 0 1 0 43275 54 0 0 25 0 10 0 838729130 856842240 27516 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209190 27516 13086 16 0 209174 0
vsize: 836760
[startup+480.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14919
Raw data (stat): 14894 (java) R 14893 29618 29617 0 -1 0 18018 0 1 0 44152 54 0 0 24 0 10 0 838729130 856842240 27728 4294967295 134512640 134569956 3221224368 3221214780 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209190 27728 13086 16 0 209174 0
vsize: 836760
[startup+490.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14919
Raw data (stat): 14894 (java) S 14893 29618 29617 0 -1 0 18018 0 1 0 45045 54 0 0 25 0 10 0 838729130 856842240 27894 4294967295 134512640 134569956 3221224368 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209190 27894 13086 16 0 209174 0
vsize: 836760
[startup+500.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14921
Raw data (stat): 14894 (java) R 14893 29618 29617 0 -1 0 18018 0 1 0 45925 55 0 0 25 0 10 0 838729130 856842240 28035 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209190 28035 13086 16 0 209174 0
vsize: 836760
[startup+510.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14921
Raw data (stat): 14894 (java) R 14893 29618 29617 0 -1 0 18018 0 1 0 46796 56 0 0 25 0 10 0 838729130 856842240 28297 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209190 28297 13086 16 0 209174 0
vsize: 836760
[startup+520.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14921
Raw data (stat): 14894 (java) S 14893 29618 29617 0 -1 0 18018 0 1 0 47673 57 0 0 25 0 10 0 838729130 856842240 28724 4294967295 134512640 134569956 3221224368 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209190 28724 13086 16 0 209174 0
vsize: 836760
[startup+530.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14921
Raw data (stat): 14894 (java) R 14893 29618 29617 0 -1 0 18018 0 1 0 48590 57 0 0 25 0 10 0 838729130 856842240 29903 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209190 29903 13086 16 0 209174 0
vsize: 836760
[startup+540.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14921
Raw data (stat): 14894 (java) R 14893 29618 29617 0 -1 0 18018 0 1 0 49494 59 0 0 25 0 10 0 838729130 856842240 29903 4294967295 134512640 134569956 3221224368 3221213936 1131342018 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209190 29903 13086 16 0 209174 0
vsize: 836760
[startup+542.228 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 14922
Raw data (stat): 14894 (java) R 14893 29618 29617 0 -1 0 18018 0 1 0 49494 59 0 0 25 0 10 0 838729130 856842240 29903 4294967295 134512640 134569956 3221224368 3221213936 1131342018 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209190 29903 13086 16 0 209174 0
vsize: 0

Child status: 20
Real time (s): 542.227
CPU time (s): 548.628
CPU user time (s): 547.512
CPU system time (s): 1.11583
CPU usage (%): 101.18
Max. virtual memory (Kb): 837288
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####