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/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-ship04s.opb
MD5SUM	0b425344c538e99a27247a487d2e5952
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	43740
Biggest coefficient in the objective function	1977295568896000
Number of bits for the biggest coefficient in the objective function	51
Sum of the numbers in the objective function	276588440762806557
Number of bits of the sum of numbers in the objective function	58
Biggest number in a constraint	1977295568896000
Number of bits of the biggest number in a constraint	51
Biggest sum of numbers in a constraint	276588440762806557
Number of bits of the biggest sum of numbers	58
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.375942
Number of variables	43740
Total number of constraints	352
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	352
Minimum length of a constraint	30
Maximum length of a constraint	1980

Trace number 29469

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.080
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:        658284 kB
Buffers:         24196 kB
Cached:         329492 kB
SwapCached:        524 kB
Active:         150836 kB
Inactive:       205240 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        658032 kB
SwapTotal:     2097892 kB
SwapFree:      2096776 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5656 kB
Slab:            14692 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 08:22:56 (client local time) WITH STATUS 20 IN 545.184 SECONDS
stats: 20891 7 545.184 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/wulflinc24/normalized-mps-v2-20-10-ship04s.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) : 539.317
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.93 0.98 0.99 2/54 19855
Raw data (stat): 19855 (runsolver) R 19854 4613 4612 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 837350890 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+9.9995 s]
Raw data (loadavg): 1.16 1.03 1.01 2/63 19864
Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 867 40 0 0 25 0 10 0 837350890 857001984 20099 4294967295 134512640 134569956 3221224368 3221214756 1130895490 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209229 20099 13086 16 0 209213 0
vsize: 836916
[startup+20.0007 s]
Raw data (loadavg): 1.14 1.03 1.01 2/63 19864
Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 1761 40 0 0 25 0 10 0 837350890 854736896 20158 4294967295 134512640 134569956 3221224368 3221214416 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208676 20158 13086 16 0 208660 0
vsize: 834704
[startup+30.0009 s]
Raw data (loadavg): 1.12 1.03 1.01 2/63 19864
Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 2648 41 0 0 24 0 10 0 837350890 854736896 20673 4294967295 134512640 134569956 3221224368 3221214416 1076461328 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208676 20673 13086 16 0 208660 0
vsize: 834704
[startup+40.0017 s]
Raw data (loadavg): 1.10 1.03 1.01 2/63 19864
Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 3566 41 0 0 25 0 10 0 837350890 854822912 21007 4294967295 134512640 134569956 3221224368 3221214768 1131246970 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208697 21007 13086 16 0 208681 0
vsize: 834788
[startup+50.0028 s]
Raw data (loadavg): 1.08 1.03 1.01 2/63 19864
Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 4487 41 0 0 25 0 10 0 837350890 854822912 21178 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208697 21178 13086 16 0 208681 0
vsize: 834788
[startup+60.0021 s]
Raw data (loadavg): 1.07 1.03 1.01 2/63 19864
Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 5406 41 0 0 25 0 10 0 837350890 854822912 21309 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208697 21309 13086 16 0 208681 0
vsize: 834788
[startup+70.003 s]
Raw data (loadavg): 1.06 1.02 1.00 2/63 19864
Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 6334 41 0 0 25 0 10 0 837350890 854822912 21422 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208697 21422 13086 16 0 208681 0
vsize: 834788
[startup+80.004 s]
Raw data (loadavg): 1.05 1.02 1.00 2/63 19864
Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 7275 41 0 0 25 0 10 0 837350890 854822912 21523 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208697 21523 13086 16 0 208681 0
vsize: 834788
[startup+90.0042 s]
Raw data (loadavg): 1.12 1.04 1.01 2/63 19864
Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 8216 42 0 0 25 0 10 0 837350890 854822912 21616 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208697 21616 13086 16 0 208681 0
vsize: 834788
[startup+100.004 s]
Raw data (loadavg): 1.10 1.04 1.01 2/63 19864
Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 9159 42 0 0 25 0 10 0 837350890 854822912 21701 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208697 21701 13086 16 0 208681 0
vsize: 834788
[startup+110.005 s]
Raw data (loadavg): 1.09 1.04 1.01 2/63 19864
Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 10099 42 0 0 24 0 10 0 837350890 854822912 21787 4294967295 134512640 134569956 3221224368 3221214216 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208697 21787 13086 16 0 208681 0
vsize: 834788
[startup+120.006 s]
Raw data (loadavg): 1.07 1.03 1.00 2/63 19864
Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 11043 42 0 0 25 0 10 0 837350890 854822912 21862 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208697 21862 13086 16 0 208681 0
vsize: 834788
[startup+130.006 s]
Raw data (loadavg): 1.06 1.03 1.00 2/63 19864
Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 11987 43 0 0 25 0 10 0 837350890 854822912 21933 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208697 21933 13086 16 0 208681 0
vsize: 834788
[startup+140.007 s]
Raw data (loadavg): 1.05 1.03 1.00 2/63 19864
Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 12932 43 0 0 25 0 10 0 837350890 854822912 22001 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208697 22001 13086 16 0 208681 0
vsize: 834788
[startup+150.007 s]
Raw data (loadavg): 1.04 1.03 1.00 2/63 19864
Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 13873 43 0 0 24 0 10 0 837350890 854822912 22070 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208697 22070 13086 16 0 208681 0
vsize: 834788
[startup+160.007 s]
Raw data (loadavg): 1.04 1.03 1.00 2/63 19864
Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 14818 43 0 0 25 0 10 0 837350890 854822912 22132 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208697 22132 13086 16 0 208681 0
vsize: 834788
[startup+170.009 s]
Raw data (loadavg): 1.03 1.03 1.00 2/63 19864
Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 15763 43 0 0 25 0 10 0 837350890 854822912 22192 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208697 22192 13086 16 0 208681 0
vsize: 834788
[startup+180.009 s]
Raw data (loadavg): 1.02 1.03 1.00 2/63 19864
Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 16686 43 0 0 25 0 10 0 837350890 854822912 22250 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208697 22250 13086 16 0 208681 0
vsize: 834788
[startup+190.009 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 19864
Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 17603 43 0 0 25 0 10 0 837350890 854822912 22307 4294967295 134512640 134569956 3221224368 3221214216 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208697 22307 13086 16 0 208681 0
vsize: 834788
[startup+200.009 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 19864
Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 18538 43 0 0 25 0 10 0 837350890 854822912 22618 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208697 22618 13086 16 0 208681 0
vsize: 834788
[startup+210.01 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 19864
Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 19479 43 0 0 25 0 10 0 837350890 854822912 22671 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208697 22671 13086 16 0 208681 0
vsize: 834788
[startup+220.011 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 19864
Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 20420 43 0 0 24 0 10 0 837350890 854822912 22722 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208697 22722 13086 16 0 208681 0
vsize: 834788
[startup+230.012 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 19864
Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 21357 43 0 0 24 0 10 0 837350890 854822912 22776 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208697 22776 13086 16 0 208681 0
vsize: 834788
[startup+240.012 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 19864
Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 22298 43 0 0 25 0 10 0 837350890 854822912 22825 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208697 22825 13086 16 0 208681 0
vsize: 834788
[startup+250.012 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 19864
Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 23238 44 0 0 25 0 10 0 837350890 854822912 22873 4294967295 134512640 134569956 3221224368 3221214748 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208697 22873 13086 16 0 208681 0
vsize: 834788
[startup+260.012 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 19864
Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 24178 44 0 0 25 0 10 0 837350890 854822912 22920 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208697 22920 13086 16 0 208681 0
vsize: 834788
[startup+270.013 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 19864
Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 25116 44 0 0 25 0 10 0 837350890 854822912 22966 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208697 22966 13086 16 0 208681 0
vsize: 834788
[startup+280.014 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 19864
Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 26055 44 0 0 25 0 10 0 837350890 854822912 23011 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208697 23011 13086 16 0 208681 0
vsize: 834788
[startup+290.019 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 19864
Raw data (stat): 19855 (java) S 19854 4613 4612 0 -1 0 18003 0 1 0 26990 44 0 0 25 0 10 0 837350890 854822912 23056 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208697 23056 13086 16 0 208681 0
vsize: 834788
[startup+300.019 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 19864
Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 27927 44 0 0 25 0 10 0 837350890 854822912 23101 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208697 23101 13086 16 0 208681 0
vsize: 834788
[startup+310.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 19864
Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 28865 45 0 0 25 0 10 0 837350890 854822912 23143 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208697 23143 13086 16 0 208681 0
vsize: 834788
[startup+320.02 s]
Raw data (loadavg): 1.07 1.03 1.00 2/63 19864
Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 29802 45 0 0 25 0 10 0 837350890 854822912 23185 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208697 23185 13086 16 0 208681 0
vsize: 834788
[startup+330.021 s]
Raw data (loadavg): 1.06 1.03 1.00 2/63 19864
Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 30738 45 0 0 25 0 10 0 837350890 854822912 23226 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208697 23226 13086 16 0 208681 0
vsize: 834788
[startup+340.024 s]
Raw data (loadavg): 1.05 1.03 1.00 2/63 19864
Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 31674 45 0 0 25 0 10 0 837350890 854822912 23266 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208697 23266 13086 16 0 208681 0
vsize: 834788
[startup+350.024 s]
Raw data (loadavg): 1.04 1.03 1.00 2/63 19864
Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 32610 46 0 0 25 0 10 0 837350890 854822912 23306 4294967295 134512640 134569956 3221224368 3221214200 1077558368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208697 23306 13086 16 0 208681 0
vsize: 834788
[startup+360.024 s]
Raw data (loadavg): 1.04 1.02 1.00 2/63 19864
Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 33545 46 0 0 25 0 10 0 837350890 854822912 23346 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208697 23346 13086 16 0 208681 0
vsize: 834788
[startup+370.025 s]
Raw data (loadavg): 1.03 1.02 1.00 2/63 19864
Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 34480 46 0 0 25 0 10 0 837350890 854822912 23384 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208697 23384 13086 16 0 208681 0
vsize: 834788
[startup+380.024 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 19864
Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 35415 46 0 0 25 0 10 0 837350890 854822912 23422 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208697 23422 13086 16 0 208681 0
vsize: 834788
[startup+390.026 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 19864
Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 36349 47 0 0 25 0 10 0 837350890 854822912 23460 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208697 23460 13086 16 0 208681 0
vsize: 834788
[startup+400.026 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 19864
Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 37283 47 0 0 20 0 10 0 837350890 854822912 23497 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208697 23497 13086 16 0 208681 0
vsize: 834788
[startup+410.026 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 19864
Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 38215 47 0 0 25 0 10 0 837350890 854822912 23533 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208697 23533 13086 16 0 208681 0
vsize: 834788
[startup+420.027 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 19864
Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 39149 47 0 0 25 0 10 0 837350890 854822912 23569 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208697 23569 13086 16 0 208681 0
vsize: 834788
[startup+430.027 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 19864
Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 40082 47 0 0 25 0 10 0 837350890 854822912 23605 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208697 23605 13086 16 0 208681 0
vsize: 834788
[startup+440.028 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 19864
Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 41015 47 0 0 25 0 10 0 837350890 854822912 23640 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208697 23640 13086 16 0 208681 0
vsize: 834788
[startup+450.028 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 19864
Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 41946 47 0 0 25 0 10 0 837350890 854822912 23674 4294967295 134512640 134569956 3221224368 3221214776 1131174916 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208697 23674 13086 16 0 208681 0
vsize: 834788
[startup+460.028 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 19864
Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 42878 48 0 0 25 0 10 0 837350890 854822912 23709 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208697 23709 13086 16 0 208681 0
vsize: 834788
[startup+470.029 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 19864
Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 43809 48 0 0 25 0 10 0 837350890 854822912 23742 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208697 23742 13086 16 0 208681 0
vsize: 834788
[startup+480.03 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 19864
Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 44740 48 0 0 25 0 10 0 837350890 854822912 23776 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208697 23776 13086 16 0 208681 0
vsize: 834788
[startup+490.03 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 19864
Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 45670 48 0 0 25 0 10 0 837350890 854822912 23809 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208697 23809 13086 16 0 208681 0
vsize: 834788
[startup+500.031 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 19864
Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 46600 48 0 0 25 0 10 0 837350890 854822912 23843 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208697 23843 13086 16 0 208681 0
vsize: 834788
[startup+510.031 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 19864
Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 47530 48 0 0 25 0 10 0 837350890 854822912 23875 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208697 23875 13086 16 0 208681 0
vsize: 834788
[startup+520.031 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 19864
Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 48459 48 0 0 24 0 10 0 837350890 854822912 23907 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208697 23907 13086 16 0 208681 0
vsize: 834788
[startup+530.033 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 19864
Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 49387 49 0 0 24 0 10 0 837350890 854822912 23939 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208697 23939 13086 16 0 208681 0
vsize: 834788
[startup+540.033 s]
Raw data (loadavg): 1.16 1.04 1.01 2/63 19864
Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18013 0 1 0 50246 49 0 0 25 0 10 0 837350890 854822912 24224 4294967295 134512640 134569956 3221224368 3221214768 1131157236 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208697 24224 13086 16 0 208681 0
vsize: 834788
[startup+540.387 s]
Raw data (loadavg): 1.16 1.04 1.01 1/53 19865
Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18013 0 1 0 50246 49 0 0 25 0 10 0 837350890 854822912 24224 4294967295 134512640 134569956 3221224368 3221214768 1131157236 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208697 24224 13086 16 0 208681 0
vsize: 0

Child status: 20
Real time (s): 540.386
CPU time (s): 545.184
CPU user time (s): 544.325
CPU system time (s): 0.858869
CPU usage (%): 100.888
Max. virtual memory (Kb): 836916
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####