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/web/uclid_pb_benchmarks/normalized-dlx1c.rwmem1.ucl.opb
MD5SUM	a87f19e00caac3c4982ef2b4adfd05fa
Bench Category	no optimization function (SAT)
Has Objective Function	NO
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	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	33
Number of bits of the biggest number in a constraint	6
Biggest sum of numbers in a constraint	126
Number of bits of the biggest sum of numbers	7
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	2.26665
Number of variables	7578
Total number of constraints	21401
Number of constraints which are clauses	20501
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	900
Minimum length of a constraint	1
Maximum length of a constraint	11

Trace number 4435

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc21 THE 2005-04-13 17:22:07 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2601 boxname=wulflinc21 idbench=289 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  a87f19e00caac3c4982ef2b4adfd05fa  /oldhome/oroussel/tmp/wulflinc21/normalized-dlx1c.rwmem1.ucl.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc21/normalized-dlx1c.rwmem1.ucl.opb
IDLAUNCH: 2601
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.161
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.161
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:        920324 kB
Buffers:         25068 kB
Cached:          69248 kB
SwapCached:          0 kB
Active:          33312 kB
Inactive:        63860 kB
HighTotal:      131008 kB
HighFree:        58128 kB
LowTotal:       903652 kB
LowFree:        862196 kB
SwapTotal:     2097892 kB
SwapFree:      2097804 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6928 kB
Slab:            11624 kB
Committed_AS:    63792 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-13 17:31:24 (client local time) WITH STATUS 20 IN  SECONDS
stats: 2601 7  20
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc21/normalized-dlx1c.rwmem1.ucl.opb
c reading problem 
c [nbvar=7578]
c [nbconstr=21401]
c time 30.242
c #vars     7578
c #clauses  21401
c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
c Total CPU time (ms) : 555.836
s UNSATISFIABLE
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.93 1.01 0.96 2/55 32327
Raw data (stat): 32327 (runsolver) R 32326 30927 30926 0 -1 64 4 0 0 0 0 0 0 0 20 0 1 0 354977291 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 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+9.99995 s]
Raw data (loadavg): 0.94 1.01 0.96 2/64 32336
Raw data (stat): 32327 (java) R 32326 30927 30926 0 -1 0 18000 0 1 0 800 40 0 0 25 0 10 0 354977291 855584768 20983 4294967295 134512640 134569956 3221224400 3221214508 1077558368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208883 20983 13073 16 0 208867 0
vsize: 835532
[startup+20.0006 s]
Raw data (loadavg): 0.95 1.01 0.96 2/64 32336
Raw data (stat): 32327 (java) R 32326 30927 30926 0 -1 0 18000 0 1 0 1665 40 0 0 25 0 10 0 354977291 855584768 21526 4294967295 134512640 134569956 3221224400 3221214452 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208883 21526 13073 16 0 208867 0
vsize: 835532
[startup+30.0014 s]
Raw data (loadavg): 0.95 1.01 0.96 2/64 32336
Raw data (stat): 32327 (java) R 32326 30927 30926 0 -1 0 18000 0 1 0 2517 40 0 0 24 0 10 0 354977291 855584768 22156 4294967295 134512640 134569956 3221224400 3221214780 1080204146 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208883 22156 13073 16 0 208867 0
vsize: 835532
[startup+40.0009 s]
Raw data (loadavg): 1.12 1.04 0.97 2/65 32337
Raw data (stat): 32327 (java) R 32326 30927 30926 0 -1 0 18073 0 1 0 3391 41 0 0 25 0 11 0 354977291 864378880 24417 4294967295 134512640 134569956 3221224400 3221214840 1131373916 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211030 24417 13073 16 0 211014 0
vsize: 844120
[startup+50.0019 s]
Raw data (loadavg): 1.10 1.04 0.97 2/65 32337
Raw data (stat): 32327 (java) R 32326 30927 30926 0 -1 0 18074 0 1 0 4370 42 0 0 25 0 11 0 354977291 864083968 24722 4294967295 134512640 134569956 3221224400 3221214800 1131466769 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210958 24722 13073 16 0 210942 0
vsize: 843832
[startup+60.0012 s]
Raw data (loadavg): 1.08 1.04 0.97 2/65 32337
Raw data (stat): 32327 (java) R 32326 30927 30926 0 -1 0 18074 0 1 0 5351 42 0 0 25 0 11 0 354977291 862232576 24476 4294967295 134512640 134569956 3221224400 3221214736 1131387598 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210506 24476 13073 16 0 210490 0
vsize: 842024
[startup+70.0018 s]
Raw data (loadavg): 1.07 1.04 0.97 2/65 32337
Raw data (stat): 32327 (java) R 32326 30927 30926 0 -1 0 18074 0 1 0 6334 42 0 0 25 0 11 0 354977291 862232576 24578 4294967295 134512640 134569956 3221224400 3221214840 1131374228 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210506 24578 13073 16 0 210490 0
vsize: 842024
[startup+80.0025 s]
Raw data (loadavg): 1.06 1.04 0.97 2/65 32337
Raw data (stat): 32327 (java) R 32326 30927 30926 0 -1 0 18075 0 1 0 7317 42 0 0 25 0 11 0 354977291 862232576 24610 4294967295 134512640 134569956 3221224400 3221214840 1131374137 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210506 24610 13073 16 0 210490 0
vsize: 842024
[startup+90.0021 s]
Raw data (loadavg): 1.05 1.03 0.97 2/65 32337
Raw data (stat): 32327 (java) R 32326 30927 30926 0 -1 0 18075 0 1 0 8317 42 0 0 25 0 11 0 354977291 862232576 24610 4294967295 134512640 134569956 3221224400 3221214840 1131374239 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210506 24610 13073 16 0 210490 0
vsize: 842024
[startup+100.002 s]
Raw data (loadavg): 1.04 1.03 0.97 2/65 32337
Raw data (stat): 32327 (java) R 32326 30927 30926 0 -1 0 18075 0 1 0 9291 42 0 0 17 0 11 0 354977291 862232576 24715 4294967295 134512640 134569956 3221224400 3221214736 1131387582 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210506 24715 13073 16 0 210490 0
vsize: 842024
[startup+110.002 s]
Raw data (loadavg): 1.03 1.03 0.97 2/65 32337
Raw data (stat): 32327 (java) R 32326 30927 30926 0 -1 0 18075 0 1 0 10274 42 0 0 25 0 11 0 354977291 862232576 24961 4294967295 134512640 134569956 3221224400 3221214840 1131373916 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210506 24961 13073 16 0 210490 0
vsize: 842024
[startup+120.003 s]
Raw data (loadavg): 1.03 1.03 0.97 2/65 32337
Raw data (stat): 32327 (java) R 32326 30927 30926 0 -1 0 18075 0 1 0 11259 42 0 0 25 0 11 0 354977291 862232576 24966 4294967295 134512640 134569956 3221224400 3221214840 1131374208 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210506 24966 13073 16 0 210490 0
vsize: 842024
[startup+130.003 s]
Raw data (loadavg): 1.02 1.03 0.97 2/65 32337
Raw data (stat): 32327 (java) R 32326 30927 30926 0 -1 0 18075 0 1 0 12241 42 0 0 25 0 11 0 354977291 862232576 25025 4294967295 134512640 134569956 3221224400 3221214840 1131374127 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210506 25025 13073 16 0 210490 0
vsize: 842024
[startup+140.003 s]
Raw data (loadavg): 1.02 1.03 0.97 2/65 32337
Raw data (stat): 32327 (java) R 32326 30927 30926 0 -1 0 18075 0 1 0 13226 42 0 0 25 0 11 0 354977291 862232576 25084 4294967295 134512640 134569956 3221224400 3221214840 1131374239 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210506 25084 13073 16 0 210490 0
vsize: 842024
[startup+150.003 s]
Raw data (loadavg): 1.02 1.03 0.97 2/65 32337
Raw data (stat): 32327 (java) R 32326 30927 30926 0 -1 0 18075 0 1 0 14224 42 0 0 25 0 11 0 354977291 862232576 25085 4294967295 134512640 134569956 3221224400 3221214840 1131374224 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210506 25085 13073 16 0 210490 0
vsize: 842024
[startup+160.003 s]
Raw data (loadavg): 1.01 1.02 0.97 2/65 32337
Raw data (stat): 32327 (java) R 32326 30927 30926 0 -1 0 18075 0 1 0 15209 42 0 0 25 0 11 0 354977291 862232576 25157 4294967295 134512640 134569956 3221224400 3221214796 1131419456 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210506 25157 13073 16 0 210490 0
vsize: 842024
[startup+170.004 s]
Raw data (loadavg): 1.01 1.02 0.97 2/65 32337
Raw data (stat): 32327 (java) R 32326 30927 30926 0 -1 0 18075 0 1 0 16195 42 0 0 25 0 11 0 354977291 862232576 25224 4294967295 134512640 134569956 3221224400 3221214640 1131525365 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210506 25224 13073 16 0 210490 0
vsize: 842024
[startup+180.004 s]
Raw data (loadavg): 1.01 1.02 0.97 2/65 32337
Raw data (stat): 32327 (java) R 32326 30927 30926 0 -1 0 18075 0 1 0 17181 43 0 0 20 0 11 0 354977291 862232576 25302 4294967295 134512640 134569956 3221224400 3221214848 1131374228 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210506 25302 13073 16 0 210490 0
vsize: 842024
[startup+190.004 s]
Raw data (loadavg): 1.01 1.02 0.97 2/65 32337
Raw data (stat): 32327 (java) R 32326 30927 30926 0 -1 0 18075 0 1 0 18166 43 0 0 25 0 11 0 354977291 862232576 25410 4294967295 134512640 134569956 3221224400 3221214768 1131348673 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210506 25410 13073 16 0 210490 0
vsize: 842024
[startup+200.007 s]
Raw data (loadavg): 1.00 1.02 0.97 2/65 32337
Raw data (stat): 32327 (java) S 32326 30927 30926 0 -1 0 18075 0 1 0 19165 43 0 0 25 0 11 0 354977291 862232576 25412 4294967295 134512640 134569956 3221224400 3221213472 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210506 25412 13073 16 0 210490 0
vsize: 842024
[startup+210.006 s]
Raw data (loadavg): 1.00 1.02 0.97 2/65 32337
Raw data (stat): 32327 (java) R 32326 30927 30926 0 -1 0 18075 0 1 0 20151 43 0 0 25 0 11 0 354977291 862232576 25638 4294967295 134512640 134569956 3221224400 3221214744 1131388552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210506 25638 13073 16 0 210490 0
vsize: 842024
[startup+220.007 s]
Raw data (loadavg): 1.00 1.02 0.97 2/65 32337
Raw data (stat): 32327 (java) R 32326 30927 30926 0 -1 0 18075 0 1 0 21138 43 0 0 25 0 11 0 354977291 862232576 25638 4294967295 134512640 134569956 3221224400 3221214952 1131333629 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210506 25638 13073 16 0 210490 0
vsize: 842024
[startup+230.007 s]
Raw data (loadavg): 1.00 1.02 0.97 2/65 32337
Raw data (stat): 32327 (java) R 32326 30927 30926 0 -1 0 18075 0 1 0 22124 43 0 0 25 0 11 0 354977291 862232576 25740 4294967295 134512640 134569956 3221224400 3221214848 1131374232 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210506 25740 13073 16 0 210490 0
vsize: 842024
[startup+240.006 s]
Raw data (loadavg): 1.00 1.02 0.97 2/65 32337
Raw data (stat): 32327 (java) R 32326 30927 30926 0 -1 0 18075 0 1 0 23110 43 0 0 25 0 11 0 354977291 862232576 25850 4294967295 134512640 134569956 3221224400 3221214848 1131374391 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210506 25850 13073 16 0 210490 0
vsize: 842024
[startup+250.007 s]
Raw data (loadavg): 1.00 1.02 0.97 2/65 32337
Raw data (stat): 32327 (java) R 32326 30927 30926 0 -1 0 18075 0 1 0 24096 43 0 0 25 0 11 0 354977291 862232576 25959 4294967295 134512640 134569956 3221224400 3221214848 1131373916 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210506 25959 13073 16 0 210490 0
vsize: 842024
[startup+260.006 s]
Raw data (loadavg): 1.00 1.01 0.97 2/65 32337
Raw data (stat): 32327 (java) R 32326 30927 30926 0 -1 0 18075 0 1 0 25096 43 0 0 25 0 11 0 354977291 862232576 25959 4294967295 134512640 134569956 3221224400 3221214848 1131374391 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210506 25959 13073 16 0 210490 0
vsize: 842024
[startup+270.006 s]
Raw data (loadavg): 1.00 1.01 0.97 2/65 32337
Raw data (stat): 32327 (java) R 32326 30927 30926 0 -1 0 18075 0 1 0 26083 43 0 0 25 0 11 0 354977291 862232576 26116 4294967295 134512640 134569956 3221224400 3221214848 1131374391 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210506 26116 13073 16 0 210490 0
vsize: 842024
[startup+280.006 s]
Raw data (loadavg): 1.00 1.01 0.97 2/65 32337
Raw data (stat): 32327 (java) R 32326 30927 30926 0 -1 0 18075 0 1 0 27070 43 0 0 25 0 11 0 354977291 862232576 26239 4294967295 134512640 134569956 3221224400 3221214848 1131373934 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210506 26239 13073 16 0 210490 0
vsize: 842024
[startup+290.006 s]
Raw data (loadavg): 1.00 1.01 0.97 2/65 32337
Raw data (stat): 32327 (java) R 32326 30927 30926 0 -1 0 18075 0 1 0 28057 43 0 0 25 0 11 0 354977291 862232576 26514 4294967295 134512640 134569956 3221224400 3221214848 1131374408 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210506 26514 13073 16 0 210490 0
vsize: 842024
[startup+300.006 s]
Raw data (loadavg): 1.00 1.01 0.97 2/65 32337
Raw data (stat): 32327 (java) R 32326 30927 30926 0 -1 0 18075 0 1 0 29046 43 0 0 25 0 11 0 354977291 862232576 26514 4294967295 134512640 134569956 3221224400 3221214848 1131374137 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210506 26514 13073 16 0 210490 0
vsize: 842024
[startup+310.006 s]
Raw data (loadavg): 1.00 1.01 0.97 2/65 32337
Raw data (stat): 32327 (java) R 32326 30927 30926 0 -1 0 18075 0 1 0 30046 43 0 0 25 0 11 0 354977291 862232576 26514 4294967295 134512640 134569956 3221224400 3221214848 1131374208 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210506 26514 13073 16 0 210490 0
vsize: 842024
[startup+320.007 s]
Raw data (loadavg): 1.00 1.01 0.97 2/65 32337
Raw data (stat): 32327 (java) R 32326 30927 30926 0 -1 0 18075 0 1 0 31034 43 0 0 25 0 11 0 354977291 862232576 26631 4294967295 134512640 134569956 3221224400 3221214904 1131201177 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210506 26631 13073 16 0 210490 0
vsize: 842024
[startup+330.006 s]
Raw data (loadavg): 1.00 1.01 0.97 2/65 32337
Raw data (stat): 32327 (java) R 32326 30927 30926 0 -1 0 18075 0 1 0 32022 43 0 0 25 0 11 0 354977291 862232576 26757 4294967295 134512640 134569956 3221224400 3221214848 1131374408 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210506 26757 13073 16 0 210490 0
vsize: 842024
[startup+340.006 s]
Raw data (loadavg): 1.00 1.01 0.97 2/65 32337
Raw data (stat): 32327 (java) R 32326 30927 30926 0 -1 0 18075 0 1 0 33010 43 0 0 25 0 11 0 354977291 862232576 26923 4294967295 134512640 134569956 3221224400 3221214848 1131373927 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210506 26923 13073 16 0 210490 0
vsize: 842024
[startup+350.006 s]
Raw data (loadavg): 1.00 1.01 0.97 2/65 32337
Raw data (stat): 32327 (java) R 32326 30927 30926 0 -1 0 18075 0 1 0 34011 43 0 0 25 0 11 0 354977291 862232576 26923 4294967295 134512640 134569956 3221224400 3221214744 1131388492 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210506 26923 13073 16 0 210490 0
vsize: 842024
[startup+360.006 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 32337
Raw data (stat): 32327 (java) R 32326 30927 30926 0 -1 0 18075 0 1 0 35000 43 0 0 25 0 11 0 354977291 862232576 26923 4294967295 134512640 134569956 3221224400 3221214848 1131374220 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210506 26923 13073 16 0 210490 0
vsize: 842024
[startup+370.007 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 32337
Raw data (stat): 32327 (java) R 32326 30927 30926 0 -1 0 18075 0 1 0 35988 43 0 0 25 0 11 0 354977291 862232576 27041 4294967295 134512640 134569956 3221224400 3221214848 1131373920 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210506 27041 13073 16 0 210490 0
vsize: 842024
[startup+380.007 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 32337
Raw data (stat): 32327 (java) R 32326 30927 30926 0 -1 0 18075 0 1 0 36977 43 0 0 25 0 11 0 354977291 862232576 27156 4294967295 134512640 134569956 3221224400 3221214848 1131373920 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210506 27156 13073 16 0 210490 0
vsize: 842024
[startup+390.006 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 32337
Raw data (stat): 32327 (java) R 32326 30927 30926 0 -1 0 18075 0 1 0 37977 44 0 0 25 0 11 0 354977291 862232576 27156 4294967295 134512640 134569956 3221224400 3221214848 1131374208 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210506 27156 13073 16 0 210490 0
vsize: 842024
[startup+400.006 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 32337
Raw data (stat): 32327 (java) R 32326 30927 30926 0 -1 0 18075 0 1 0 38966 44 0 0 25 0 11 0 354977291 862232576 27315 4294967295 134512640 134569956 3221224400 3221214848 1131374220 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210506 27315 13073 16 0 210490 0
vsize: 842024
[startup+410.006 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 32337
Raw data (stat): 32327 (java) R 32326 30927 30926 0 -1 0 18075 0 1 0 39955 44 0 0 25 0 11 0 354977291 862232576 27450 4294967295 134512640 134569956 3221224400 3221214848 1131374114 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210506 27450 13073 16 0 210490 0
vsize: 842024
[startup+420.006 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 32337
Raw data (stat): 32327 (java) R 32326 30927 30926 0 -1 0 18075 0 1 0 40945 44 0 0 25 0 11 0 354977291 862232576 27628 4294967295 134512640 134569956 3221224400 3221214680 1131212374 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210506 27628 13073 16 0 210490 0
vsize: 842024
[startup+430.007 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 32337
Raw data (stat): 32327 (java) R 32326 30927 30926 0 -1 0 18075 0 1 0 41945 44 0 0 25 0 11 0 354977291 862232576 27628 4294967295 134512640 134569956 3221224400 3221214704 1131588627 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210506 27628 13073 16 0 210490 0
vsize: 842024
[startup+440.007 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 32337
Raw data (stat): 32327 (java) R 32326 30927 30926 0 -1 0 18075 0 1 0 42936 44 0 0 25 0 11 0 354977291 862232576 27628 4294967295 134512640 134569956 3221224400 3221214848 1131374418 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210506 27628 13073 16 0 210490 0
vsize: 842024
[startup+450.007 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 32337
Raw data (stat): 32327 (java) R 32326 30927 30926 0 -1 0 18075 0 1 0 43924 44 0 0 25 0 11 0 354977291 862232576 27723 4294967295 134512640 134569956 3221224400 3221214848 1131374131 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210506 27723 13073 16 0 210490 0
vsize: 842024
[startup+460.007 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 32337
Raw data (stat): 32327 (java) R 32326 30927 30926 0 -1 0 18075 0 1 0 44913 44 0 0 25 0 11 0 354977291 862232576 27950 4294967295 134512640 134569956 3221224400 3221214768 1131350987 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210506 27950 13073 16 0 210490 0
vsize: 842024
[startup+470.008 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 32337
Raw data (stat): 32327 (java) R 32326 30927 30926 0 -1 0 18075 0 1 0 45902 44 0 0 25 0 11 0 354977291 862232576 28052 4294967295 134512640 134569956 3221224400 3221214672 1131206871 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210506 28052 13073 16 0 210490 0
vsize: 842024
[startup+480.008 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 32337
Raw data (stat): 32327 (java) S 32326 30927 30926 0 -1 0 18075 0 1 0 46896 44 0 0 25 0 11 0 354977291 862232576 28123 4294967295 134512640 134569956 3221224400 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210506 28123 13073 16 0 210490 0
vsize: 842024
[startup+490.011 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 32337
Raw data (stat): 32327 (java) R 32326 30927 30926 0 -1 0 18075 0 1 0 47892 44 0 0 25 0 11 0 354977291 862232576 28159 4294967295 134512640 134569956 3221224400 3221214848 1131374228 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210506 28159 13073 16 0 210490 0
vsize: 842024
[startup+500.012 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 32337
Raw data (stat): 32327 (java) R 32326 30927 30926 0 -1 0 18075 0 1 0 48882 44 0 0 25 0 11 0 354977291 862232576 28269 4294967295 134512640 134569956 3221224400 3221214848 1131374127 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210506 28269 13073 16 0 210490 0
vsize: 842024
[startup+510.012 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 32337
Raw data (stat): 32327 (java) R 32326 30927 30926 0 -1 0 18075 0 1 0 49871 44 0 0 25 0 11 0 354977291 862232576 28504 4294967295 134512640 134569956 3221224400 3221214744 1131387629 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210506 28504 13073 16 0 210490 0
vsize: 842024
[startup+520.012 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 32337
Raw data (stat): 32327 (java) R 32326 30927 30926 0 -1 0 18075 0 1 0 50861 44 0 0 25 0 11 0 354977291 862232576 28504 4294967295 134512640 134569956 3221224400 3221214744 1131387629 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210506 28504 13073 16 0 210490 0
vsize: 842024
[startup+530.013 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 32337
Raw data (stat): 32327 (java) R 32326 30927 30926 0 -1 0 18075 0 1 0 51850 44 0 0 25 0 11 0 354977291 862232576 28632 4294967295 134512640 134569956 3221224400 3221214848 1131373920 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210506 28632 13073 16 0 210490 0
vsize: 842024
[startup+540.015 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 32337
Raw data (stat): 32327 (java) S 32326 30927 30926 0 -1 0 18075 0 1 0 52850 44 0 0 25 0 11 0 354977291 862232576 28638 4294967295 134512640 134569956 3221224400 3221213600 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210506 28639 13073 16 0 210490 0
vsize: 842024
[startup+550.015 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 32337
Raw data (stat): 32327 (java) R 32326 30927 30926 0 -1 0 18075 0 1 0 53841 44 0 0 25 0 11 0 354977291 862232576 28783 4294967295 134512640 134569956 3221224400 3221214848 1131373934 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210506 28783 13073 16 0 210490 0
vsize: 842024
[startup+556.607 s]
Raw data (loadavg): 1.00 1.00 0.97 1/54 32338
Raw data (stat): 32327 (java) R 32326 30927 30926 0 -1 0 18075 0 1 0 53841 44 0 0 25 0 11 0 354977291 862232576 28783 4294967295 134512640 134569956 3221224400 3221214848 1131373934 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210506 28783 13073 16 0 210490 0
vsize: 0

Child status: 20
Real time (s): 556.607
CPU time (s): 559.839
CPU user time (s): 559.152
CPU system time (s): 0.686895
CPU usage (%): 100.581
Max. virtual memory (Kb): 844120
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####