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-ship08s.opb
MD5SUM	686a91b29b124fe4cc498973c082aa6a
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	47740
Biggest coefficient in the objective function	425249996800
Number of bits for the biggest coefficient in the objective function	39
Sum of the numbers in the objective function	109780207303800
Number of bits of the sum of numbers in the objective function	47
Biggest number in a constraint	425249996800
Number of bits of the biggest number in a constraint	39
Biggest sum of numbers in a constraint	109780207303800
Number of bits of the biggest sum of numbers	47
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.416936
Number of variables	47740
Total number of constraints	712
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	712
Minimum length of a constraint	20
Maximum length of a constraint	1220

Trace number 29858

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc29 THE 2005-05-25 12:21:08 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21277 boxname=wulflinc29 idbench=1265 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  686a91b29b124fe4cc498973c082aa6a  /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-13-7-ship08s.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-13-7-ship08s.opb
IDLAUNCH: 21277
/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:        625248 kB
Buffers:         33776 kB
Cached:         349920 kB
SwapCached:        572 kB
Active:          57884 kB
Inactive:       331380 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        624996 kB
SwapTotal:     2097892 kB
SwapFree:      2096728 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            14580 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 12:31:40 (client local time) WITH STATUS 20 IN 635.899 SECONDS
stats: 21277 7 635.899 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-13-7-ship08s.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) : 630.407
#### 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.85 0.97 0.99 2/54 819
Raw data (stat): 819 (runsolver) R 818 20001 20000 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 838832228 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.0007 s]
Raw data (loadavg): 0.87 0.97 0.99 2/63 830
Raw data (stat): 819 (java) S 818 20001 20000 0 -1 0 18009 0 1 0 873 41 0 0 25 0 10 0 838832228 853749760 19348 4294967295 134512640 134569956 3221224368 3221213352 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208435 19348 13086 16 0 208419 0
vsize: 833740
[startup+20.0014 s]
Raw data (loadavg): 0.96 0.98 0.99 2/63 830
Raw data (stat): 819 (java) R 818 20001 20000 0 -1 0 18010 0 1 0 1771 41 0 0 25 0 10 0 838832228 855638016 20297 4294967295 134512640 134569956 3221224368 3221214648 1131183773 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208896 20297 13086 16 0 208880 0
vsize: 835584
[startup+30.0027 s]
Raw data (loadavg): 0.97 0.98 0.99 2/63 830
Raw data (stat): 819 (java) R 818 20001 20000 0 -1 0 18010 0 1 0 2662 41 0 0 25 0 10 0 838832228 854700032 20590 4294967295 134512640 134569956 3221224368 3221214800 1131220176 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208667 20590 13086 16 0 208651 0
vsize: 834668
[startup+40.0037 s]
Raw data (loadavg): 0.97 0.98 0.99 2/63 830
Raw data (stat): 819 (java) R 818 20001 20000 0 -1 0 18010 0 1 0 3578 41 0 0 25 0 10 0 838832228 854700032 20888 4294967295 134512640 134569956 3221224368 3221214768 1131252920 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208667 20888 13086 16 0 208651 0
vsize: 834668
[startup+50.004 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 830
Raw data (stat): 819 (java) R 818 20001 20000 0 -1 0 18010 0 1 0 4500 42 0 0 25 0 10 0 838832228 854700032 21055 4294967295 134512640 134569956 3221224368 3221214768 1131253117 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208667 21055 13086 16 0 208651 0
vsize: 834668
[startup+60.01 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 830
Raw data (stat): 819 (java) S 818 20001 20000 0 -1 0 18010 0 1 0 5419 42 0 0 25 0 10 0 838832228 854700032 21185 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208667 21185 13086 16 0 208651 0
vsize: 834668
[startup+70.0104 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 830
Raw data (stat): 819 (java) R 818 20001 20000 0 -1 0 18010 0 1 0 6349 42 0 0 25 0 10 0 838832228 854700032 21430 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208667 21430 13086 16 0 208651 0
vsize: 834668
[startup+80.0114 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 830
Raw data (stat): 819 (java) R 818 20001 20000 0 -1 0 18010 0 1 0 7291 42 0 0 25 0 10 0 838832228 854700032 21529 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208667 21529 13086 16 0 208651 0
vsize: 834668
[startup+90.0116 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 830
Raw data (stat): 819 (java) R 818 20001 20000 0 -1 0 18010 0 1 0 8230 42 0 0 25 0 10 0 838832228 854700032 21625 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208667 21625 13086 16 0 208651 0
vsize: 834668
[startup+100.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 830
Raw data (stat): 819 (java) R 818 20001 20000 0 -1 0 18010 0 1 0 9175 42 0 0 25 0 10 0 838832228 854700032 21708 4294967295 134512640 134569956 3221224368 3221214748 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208667 21708 13086 16 0 208651 0
vsize: 834668
[startup+110.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 830
Raw data (stat): 819 (java) R 818 20001 20000 0 -1 0 18010 0 1 0 10116 42 0 0 25 0 10 0 838832228 854700032 21792 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208667 21792 13086 16 0 208651 0
vsize: 834668
[startup+120.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 830
Raw data (stat): 819 (java) R 818 20001 20000 0 -1 0 18010 0 1 0 11061 43 0 0 25 0 10 0 838832228 854700032 21865 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208667 21865 13086 16 0 208651 0
vsize: 834668
[startup+130.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 830
Raw data (stat): 819 (java) R 818 20001 20000 0 -1 0 18010 0 1 0 12003 43 0 0 25 0 10 0 838832228 854700032 21939 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208667 21939 13086 16 0 208651 0
vsize: 834668
[startup+140.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 830
Raw data (stat): 819 (java) R 818 20001 20000 0 -1 0 18010 0 1 0 12949 43 0 0 25 0 10 0 838832228 854700032 22006 4294967295 134512640 134569956 3221224368 3221214740 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208667 22006 13086 16 0 208651 0
vsize: 834668
[startup+150.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 830
Raw data (stat): 819 (java) R 818 20001 20000 0 -1 0 18010 0 1 0 13891 43 0 0 25 0 10 0 838832228 854700032 22073 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208667 22073 13086 16 0 208651 0
vsize: 834668
[startup+160.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 830
Raw data (stat): 819 (java) R 818 20001 20000 0 -1 0 18010 0 1 0 14833 43 0 0 24 0 10 0 838832228 854700032 22138 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208667 22138 13086 16 0 208651 0
vsize: 834668
[startup+170.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 830
Raw data (stat): 819 (java) R 818 20001 20000 0 -1 0 18010 0 1 0 15778 43 0 0 25 0 10 0 838832228 854700032 22197 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208667 22197 13086 16 0 208651 0
vsize: 834668
[startup+180.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 830
Raw data (stat): 819 (java) R 818 20001 20000 0 -1 0 18010 0 1 0 16694 43 0 0 25 0 10 0 838832228 854700032 22254 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208667 22254 13086 16 0 208651 0
vsize: 834668
[startup+190.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 830
Raw data (stat): 819 (java) R 818 20001 20000 0 -1 0 18010 0 1 0 17614 43 0 0 25 0 10 0 838832228 854700032 22566 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208667 22566 13086 16 0 208651 0
vsize: 834668
[startup+200.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 830
Raw data (stat): 819 (java) R 818 20001 20000 0 -1 0 18010 0 1 0 18553 43 0 0 25 0 10 0 838832228 854700032 22623 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208667 22623 13086 16 0 208651 0
vsize: 834668
[startup+210.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 830
Raw data (stat): 819 (java) R 818 20001 20000 0 -1 0 18010 0 1 0 19495 43 0 0 25 0 10 0 838832228 854700032 22675 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208667 22675 13086 16 0 208651 0
vsize: 834668
[startup+220.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 830
Raw data (stat): 819 (java) R 818 20001 20000 0 -1 0 18010 0 1 0 20433 43 0 0 25 0 10 0 838832228 854700032 22728 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208667 22728 13086 16 0 208651 0
vsize: 834668
[startup+230.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 830
Raw data (stat): 819 (java) R 818 20001 20000 0 -1 0 18010 0 1 0 21374 44 0 0 25 0 10 0 838832228 854700032 22778 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208667 22778 13086 16 0 208651 0
vsize: 834668
[startup+240.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 830
Raw data (stat): 819 (java) R 818 20001 20000 0 -1 0 18010 0 1 0 22312 44 0 0 25 0 10 0 838832228 854700032 22830 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208667 22830 13086 16 0 208651 0
vsize: 834668
[startup+250.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 830
Raw data (stat): 819 (java) R 818 20001 20000 0 -1 0 18010 0 1 0 23253 44 0 0 25 0 10 0 838832228 854700032 22877 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208667 22877 13086 16 0 208651 0
vsize: 834668
[startup+260.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 830
Raw data (stat): 819 (java) R 818 20001 20000 0 -1 0 18010 0 1 0 24190 44 0 0 24 0 10 0 838832228 854700032 22925 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208667 22925 13086 16 0 208651 0
vsize: 834668
[startup+270.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 830
Raw data (stat): 819 (java) R 818 20001 20000 0 -1 0 18010 0 1 0 25130 44 0 0 25 0 10 0 838832228 854700032 22970 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208667 22970 13086 16 0 208651 0
vsize: 834668
[startup+280.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 830
Raw data (stat): 819 (java) S 818 20001 20000 0 -1 0 18010 0 1 0 26067 44 0 0 25 0 10 0 838832228 854700032 23015 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208667 23015 13086 16 0 208651 0
vsize: 834668
[startup+290.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 830
Raw data (stat): 819 (java) R 818 20001 20000 0 -1 0 18010 0 1 0 27005 44 0 0 25 0 10 0 838832228 854700032 23060 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208667 23060 13086 16 0 208651 0
vsize: 834668
[startup+300.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 830
Raw data (stat): 819 (java) R 818 20001 20000 0 -1 0 18010 0 1 0 27944 45 0 0 25 0 10 0 838832228 854700032 23103 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208667 23103 13086 16 0 208651 0
vsize: 834668
[startup+310.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 830
Raw data (stat): 819 (java) R 818 20001 20000 0 -1 0 18010 0 1 0 28878 45 0 0 25 0 10 0 838832228 854700032 23147 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208667 23147 13086 16 0 208651 0
vsize: 834668
[startup+320.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 830
Raw data (stat): 819 (java) R 818 20001 20000 0 -1 0 18010 0 1 0 29816 45 0 0 24 0 10 0 838832228 854700032 23188 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208667 23188 13086 16 0 208651 0
vsize: 834668
[startup+330.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 830
Raw data (stat): 819 (java) R 818 20001 20000 0 -1 0 18010 0 1 0 30754 45 0 0 25 0 10 0 838832228 854700032 23228 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208667 23228 13086 16 0 208651 0
vsize: 834668
[startup+340.025 s]
Raw data (loadavg): 0.99 0.98 0.99 3/63 830
Raw data (stat): 819 (java) R 818 20001 20000 0 -1 0 18010 0 1 0 31688 45 0 0 25 0 10 0 838832228 854700032 23270 4294967295 134512640 134569956 3221224368 3221214740 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208667 23270 13086 16 0 208651 0
vsize: 834668
[startup+350.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 830
Raw data (stat): 819 (java) R 818 20001 20000 0 -1 0 18010 0 1 0 32624 46 0 0 25 0 10 0 838832228 854700032 23309 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208667 23309 13086 16 0 208651 0
vsize: 834668
[startup+360.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 830
Raw data (stat): 819 (java) S 818 20001 20000 0 -1 0 18010 0 1 0 33557 46 0 0 25 0 10 0 838832228 854700032 23349 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208667 23349 13086 16 0 208651 0
vsize: 834668
[startup+370.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 830
Raw data (stat): 819 (java) R 818 20001 20000 0 -1 0 18010 0 1 0 34492 46 0 0 25 0 10 0 838832228 854700032 23388 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208667 23388 13086 16 0 208651 0
vsize: 834668
[startup+380.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 830
Raw data (stat): 819 (java) R 818 20001 20000 0 -1 0 18010 0 1 0 35427 46 0 0 25 0 10 0 838832228 854700032 23425 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208667 23425 13086 16 0 208651 0
vsize: 834668
[startup+390.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 830
Raw data (stat): 819 (java) S 818 20001 20000 0 -1 0 18010 0 1 0 36362 46 0 0 25 0 10 0 838832228 854700032 23463 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208667 23463 13086 16 0 208651 0
vsize: 834668
[startup+400.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 830
Raw data (stat): 819 (java) R 818 20001 20000 0 -1 0 18010 0 1 0 37293 46 0 0 25 0 10 0 838832228 854700032 23500 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208667 23500 13086 16 0 208651 0
vsize: 834668
[startup+410.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 830
Raw data (stat): 819 (java) R 818 20001 20000 0 -1 0 18010 0 1 0 38228 47 0 0 25 0 10 0 838832228 854700032 23536 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208667 23536 13086 16 0 208651 0
vsize: 834668
[startup+420.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 830
Raw data (stat): 819 (java) R 818 20001 20000 0 -1 0 18010 0 1 0 39162 47 0 0 25 0 10 0 838832228 854700032 23571 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208667 23571 13086 16 0 208651 0
vsize: 834668
[startup+430.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 830
Raw data (stat): 819 (java) R 818 20001 20000 0 -1 0 18010 0 1 0 40092 47 0 0 25 0 10 0 838832228 854700032 23608 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208667 23608 13086 16 0 208651 0
vsize: 834668
[startup+440.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 830
Raw data (stat): 819 (java) R 818 20001 20000 0 -1 0 18010 0 1 0 41025 47 0 0 25 0 10 0 838832228 854700032 23643 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208667 23643 13086 16 0 208651 0
vsize: 834668
[startup+450.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 830
Raw data (stat): 819 (java) R 818 20001 20000 0 -1 0 18010 0 1 0 41957 47 0 0 25 0 10 0 838832228 854700032 23677 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208667 23677 13086 16 0 208651 0
vsize: 834668
[startup+460.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 830
Raw data (stat): 819 (java) R 818 20001 20000 0 -1 0 18010 0 1 0 42885 47 0 0 24 0 10 0 838832228 854700032 23712 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208667 23712 13086 16 0 208651 0
vsize: 834668
[startup+470.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 830
Raw data (stat): 819 (java) R 818 20001 20000 0 -1 0 18010 0 1 0 43817 47 0 0 25 0 10 0 838832228 854700032 23746 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208667 23746 13086 16 0 208651 0
vsize: 834668
[startup+480.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 830
Raw data (stat): 819 (java) R 818 20001 20000 0 -1 0 18010 0 1 0 44749 48 0 0 25 0 10 0 838832228 854700032 23778 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208667 23778 13086 16 0 208651 0
vsize: 834668
[startup+490.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 830
Raw data (stat): 819 (java) R 818 20001 20000 0 -1 0 18010 0 1 0 45680 48 0 0 25 0 10 0 838832228 854700032 23811 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208667 23811 13086 16 0 208651 0
vsize: 834668
[startup+500.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 830
Raw data (stat): 819 (java) R 818 20001 20000 0 -1 0 18010 0 1 0 46606 48 0 0 24 0 10 0 838832228 854700032 23846 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208667 23846 13086 16 0 208651 0
vsize: 834668
[startup+510.039 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 830
Raw data (stat): 819 (java) R 818 20001 20000 0 -1 0 18010 0 1 0 47535 49 0 0 25 0 10 0 838832228 854700032 23878 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208667 23878 13086 16 0 208651 0
vsize: 834668
[startup+520.059 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 830
Raw data (stat): 819 (java) R 818 20001 20000 0 -1 0 18010 0 1 0 48464 49 0 0 25 0 10 0 838832228 854700032 23909 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208667 23909 13086 16 0 208651 0
vsize: 834668
[startup+530.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 830
Raw data (stat): 819 (java) R 818 20001 20000 0 -1 0 18010 0 1 0 49391 50 0 0 25 0 10 0 838832228 854700032 23941 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208667 23941 13086 16 0 208651 0
vsize: 834668
[startup+540.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 830
Raw data (stat): 819 (java) S 818 20001 20000 0 -1 0 18010 0 1 0 50316 50 0 0 25 0 10 0 838832228 854700032 23972 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208667 23972 13086 16 0 208651 0
vsize: 834668
[startup+550.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 830
Raw data (stat): 819 (java) R 818 20001 20000 0 -1 0 18010 0 1 0 51242 51 0 0 25 0 10 0 838832228 854700032 24004 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208667 24004 13086 16 0 208651 0
vsize: 834668
[startup+560.061 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 830
Raw data (stat): 819 (java) R 818 20001 20000 0 -1 0 18010 0 1 0 52168 51 0 0 25 0 10 0 838832228 854700032 24034 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208667 24034 13086 16 0 208651 0
vsize: 834668
[startup+570.061 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 830
Raw data (stat): 819 (java) R 818 20001 20000 0 -1 0 18010 0 1 0 53095 51 0 0 25 0 10 0 838832228 854700032 24064 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208667 24064 13086 16 0 208651 0
vsize: 834668
[startup+580.062 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 830
Raw data (stat): 819 (java) R 818 20001 20000 0 -1 0 18010 0 1 0 54021 52 0 0 25 0 10 0 838832228 854700032 24094 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208667 24094 13086 16 0 208651 0
vsize: 834668
[startup+590.062 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 830
Raw data (stat): 819 (java) R 818 20001 20000 0 -1 0 18010 0 1 0 54946 52 0 0 25 0 10 0 838832228 854700032 24123 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208667 24123 13086 16 0 208651 0
vsize: 834668
[startup+600.062 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 830
Raw data (stat): 819 (java) R 818 20001 20000 0 -1 0 18010 0 1 0 55867 52 0 0 24 0 10 0 838832228 854700032 24154 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208667 24154 13086 16 0 208651 0
vsize: 834668
[startup+610.063 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 830
Raw data (stat): 819 (java) R 818 20001 20000 0 -1 0 18010 0 1 0 56791 52 0 0 25 0 10 0 838832228 854700032 24183 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208667 24183 13086 16 0 208651 0
vsize: 834668
[startup+620.063 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 830
Raw data (stat): 819 (java) R 818 20001 20000 0 -1 0 18010 0 1 0 57716 53 0 0 25 0 10 0 838832228 854700032 24212 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208667 24212 13086 16 0 208651 0
vsize: 834668
[startup+630.065 s]
Raw data (loadavg): 0.99 0.98 0.99 4/63 830
Raw data (stat): 819 (java) R 818 20001 20000 0 -1 0 18022 0 1 0 58577 54 0 0 25 0 10 0 838832228 857821184 24918 4294967295 134512640 134569956 3221224368 3221213588 1073952732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209429 24918 13086 16 0 209413 0
vsize: 837716
[startup+631.436 s]
Raw data (loadavg): 0.99 0.98 0.99 1/53 831
Raw data (stat): 819 (java) R 818 20001 20000 0 -1 0 18022 0 1 0 58577 54 0 0 25 0 10 0 838832228 857821184 24918 4294967295 134512640 134569956 3221224368 3221213588 1073952732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209429 24918 13086 16 0 209413 0
vsize: 0

Child status: 20
Real time (s): 631.435
CPU time (s): 635.899
CPU user time (s): 634.991
CPU system time (s): 0.907861
CPU usage (%): 100.707
Max. virtual memory (Kb): 837716
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####