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-cache-ibm-q-unbounded.Icl2arity.ucl.opb
MD5SUM	447ba4f56421c253ecaa010c1957f4f6
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	66
Number of bits of the biggest number in a constraint	7
Biggest sum of numbers in a constraint	256
Number of bits of the biggest sum of numbers	9
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	5.59415
Number of variables	23837
Total number of constraints	67568
Number of constraints which are clauses	64398
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	3170
Minimum length of a constraint	1
Maximum length of a constraint	13

Trace number 29277

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc8 THE 2005-05-25 06:11:55 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20691 boxname=wulflinc8 idbench=281 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  447ba4f56421c253ecaa010c1957f4f6  /oldhome/oroussel/tmp/wulflinc8/normalized-cache-ibm-q-unbounded.Icl2arity.ucl.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc8/normalized-cache-ibm-q-unbounded.Icl2arity.ucl.opb
IDLAUNCH: 20691
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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	: 2
cpu MHz		: 451.007
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:        324144 kB
Buffers:         37524 kB
Cached:         646216 kB
SwapCached:          0 kB
Active:          78700 kB
Inactive:       611964 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        323892 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           7068 kB
Slab:            14216 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 06:19:51 (client local time) WITH STATUS 20 IN 479.601 SECONDS
stats: 20691 7 479.601 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/wulflinc8/normalized-cache-ibm-q-unbounded.Icl2arity.ucl.opb
c reading problem ... done. Time 191.15 ms.
c #vars     23837
c #constraints  67568
c starts	: 6
c conflicts	: 1917
c decisions	: 6233
c propagations	: 2590630
c inspects	: 8560967
c learned literals	: 3
c learned binary clauses	: 30
c learned ternary clauses	: 27
c learned clauses	: 1913
c root simplifications	: 24
s UNSATISFIABLE
c Total CPU time (ms) : 474.669
#### 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.96 2/54 15165
Raw data (stat): 15165 (runsolver) R 15164 3132 3131 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 764833782 1052672 99 4294967295 134512640 135381576 3221224384 3221219604 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0001 s]
Raw data (loadavg): 0.88 0.97 0.96 2/63 15174
Raw data (stat): 15165 (java) S 15164 3132 3131 0 -1 0 18014 0 1 0 766 39 0 0 25 0 10 0 764833782 855633920 21304 4294967295 134512640 134569956 3221224352 3221213572 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208895 21304 13086 16 0 208879 0
vsize: 835580
[startup+19.9999 s]
Raw data (loadavg): 0.90 0.97 0.96 2/63 15174
Raw data (stat): 15165 (java) R 15164 3132 3131 0 -1 0 18014 0 1 0 1604 39 0 0 24 0 10 0 764833782 855633920 22346 4294967295 134512640 134569956 3221224352 3221214720 1131259009 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208895 22346 13086 16 0 208879 0
vsize: 835580
[startup+30.0007 s]
Raw data (loadavg): 0.91 0.97 0.96 2/63 15174
Raw data (stat): 15165 (java) R 15164 3132 3131 0 -1 0 18014 0 1 0 2461 40 0 0 24 0 10 0 764833782 855633920 22989 4294967295 134512640 134569956 3221224352 3221214320 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208895 22989 13086 16 0 208879 0
vsize: 835580
[startup+40.0005 s]
Raw data (loadavg): 0.93 0.97 0.96 2/63 15174
Raw data (stat): 15165 (java) R 15164 3132 3131 0 -1 0 18014 0 1 0 3319 40 0 0 25 0 10 0 764833782 855633920 23603 4294967295 134512640 134569956 3221224352 3221214392 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208895 23603 13086 16 0 208879 0
vsize: 835580
[startup+50.0012 s]
Raw data (loadavg): 0.94 0.97 0.96 2/63 15174
Raw data (stat): 15165 (java) R 15164 3132 3131 0 -1 0 18014 0 1 0 4168 41 0 0 24 0 10 0 764833782 855633920 24116 4294967295 134512640 134569956 3221224352 3221214752 1131141046 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208895 24116 13086 16 0 208879 0
vsize: 835580
[startup+60.001 s]
Raw data (loadavg): 0.95 0.97 0.96 2/63 15174
Raw data (stat): 15165 (java) R 15164 3132 3131 0 -1 0 18014 0 1 0 5017 41 0 0 25 0 10 0 764833782 855633920 24594 4294967295 134512640 134569956 3221224352 3221214392 1074489757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208895 24594 13086 16 0 208879 0
vsize: 835580
[startup+70.0008 s]
Raw data (loadavg): 0.95 0.97 0.96 2/63 15174
Raw data (stat): 15165 (java) R 15164 3132 3131 0 -1 0 18014 0 1 0 5872 42 0 0 25 0 10 0 764833782 855633920 25095 4294967295 134512640 134569956 3221224352 3221214684 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208895 25095 13086 16 0 208879 0
vsize: 835580
[startup+80.0015 s]
Raw data (loadavg): 0.96 0.97 0.96 2/63 15174
Raw data (stat): 15165 (java) S 15164 3132 3131 0 -1 0 18014 0 1 0 6720 43 0 0 25 0 10 0 764833782 855633920 25481 4294967295 134512640 134569956 3221224352 3221213680 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208895 25481 13086 16 0 208879 0
vsize: 835580
[startup+90.0013 s]
Raw data (loadavg): 0.97 0.97 0.96 2/63 15174
Raw data (stat): 15165 (java) R 15164 3132 3131 0 -1 0 18014 0 1 0 7570 43 0 0 25 0 10 0 764833782 855633920 25882 4294967295 134512640 134569956 3221224352 3221214440 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208895 25882 13086 16 0 208879 0
vsize: 835580
[startup+100.002 s]
Raw data (loadavg): 0.97 0.97 0.96 2/63 15174
Raw data (stat): 15165 (java) R 15164 3132 3131 0 -1 0 18014 0 1 0 8416 43 0 0 25 0 10 0 764833782 855633920 26203 4294967295 134512640 134569956 3221224352 3221214184 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208895 26203 13086 16 0 208879 0
vsize: 835580
[startup+110.003 s]
Raw data (loadavg): 0.97 0.97 0.96 2/63 15174
Raw data (stat): 15165 (java) R 15164 3132 3131 0 -1 0 18014 0 1 0 9260 44 0 0 25 0 10 0 764833782 855633920 26564 4294967295 134512640 134569956 3221224352 3221214676 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208895 26564 13086 16 0 208879 0
vsize: 835580
[startup+120.003 s]
Raw data (loadavg): 0.98 0.97 0.96 2/63 15174
Raw data (stat): 15165 (java) R 15164 3132 3131 0 -1 0 18014 0 1 0 10104 44 0 0 25 0 10 0 764833782 855633920 27033 4294967295 134512640 134569956 3221224352 3221214440 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208895 27033 13086 16 0 208879 0
vsize: 835580
[startup+130.002 s]
Raw data (loadavg): 0.98 0.97 0.96 2/63 15174
Raw data (stat): 15165 (java) R 15164 3132 3131 0 -1 0 18014 0 1 0 10946 44 0 0 25 0 10 0 764833782 855633920 27375 4294967295 134512640 134569956 3221224352 3221214320 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208895 27375 13086 16 0 208879 0
vsize: 835580
[startup+140.002 s]
Raw data (loadavg): 0.98 0.97 0.96 2/63 15174
Raw data (stat): 15165 (java) S 15164 3132 3131 0 -1 0 18014 0 1 0 11799 45 0 0 25 0 10 0 764833782 855633920 27708 4294967295 134512640 134569956 3221224352 3221213392 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208895 27708 13086 16 0 208879 0
vsize: 835580
[startup+150.003 s]
Raw data (loadavg): 0.99 0.97 0.96 2/63 15174
Raw data (stat): 15165 (java) R 15164 3132 3131 0 -1 0 18014 0 1 0 12645 45 0 0 25 0 10 0 764833782 855633920 28032 4294967295 134512640 134569956 3221224352 3221214392 1074489757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208895 28032 13086 16 0 208879 0
vsize: 835580
[startup+160.003 s]
Raw data (loadavg): 0.99 0.97 0.96 2/63 15174
Raw data (stat): 15165 (java) R 15164 3132 3131 0 -1 0 18014 0 1 0 13491 46 0 0 24 0 10 0 764833782 855633920 28353 4294967295 134512640 134569956 3221224352 3221214184 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208895 28353 13086 16 0 208879 0
vsize: 835580
[startup+170.003 s]
Raw data (loadavg): 0.99 0.97 0.96 2/63 15174
Raw data (stat): 15165 (java) R 15164 3132 3131 0 -1 0 18014 0 1 0 14349 47 0 0 25 0 10 0 764833782 855633920 28643 4294967295 134512640 134569956 3221224352 3221214684 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208895 28643 13086 16 0 208879 0
vsize: 835580
[startup+180.002 s]
Raw data (loadavg): 0.99 0.97 0.96 2/63 15174
Raw data (stat): 15165 (java) R 15164 3132 3131 0 -1 0 18014 0 1 0 15201 47 0 0 25 0 10 0 764833782 855633920 28932 4294967295 134512640 134569956 3221224352 3221214440 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208895 28932 13086 16 0 208879 0
vsize: 835580
[startup+190.003 s]
Raw data (loadavg): 0.99 0.97 0.96 2/63 15174
Raw data (stat): 15165 (java) R 15164 3132 3131 0 -1 0 18014 0 1 0 16058 48 0 0 25 0 10 0 764833782 855633920 29315 4294967295 134512640 134569956 3221224352 3221214440 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208895 29315 13086 16 0 208879 0
vsize: 835580
[startup+200.004 s]
Raw data (loadavg): 1.07 0.99 0.97 2/64 15175
Raw data (stat): 15165 (java) R 15164 3132 3131 0 -1 0 18072 0 1 0 16884 49 0 0 25 0 11 0 764833782 857845760 32232 4294967295 134512640 134569956 3221224352 3221214736 1131423459 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209435 32232 13086 16 0 209419 0
vsize: 837740
[startup+210.004 s]
Raw data (loadavg): 1.06 0.99 0.97 2/64 15175
Raw data (stat): 15165 (java) R 15164 3132 3131 0 -1 0 18073 0 1 0 17783 49 0 0 25 0 11 0 764833782 857538560 32168 4294967295 134512640 134569956 3221224352 3221214648 1131397704 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209360 32168 13086 16 0 209344 0
vsize: 837440
[startup+220.004 s]
Raw data (loadavg): 1.05 0.99 0.97 2/64 15175
Raw data (stat): 15165 (java) R 15164 3132 3131 0 -1 0 18074 0 1 0 18684 50 0 0 25 0 11 0 764833782 857538560 32368 4294967295 134512640 134569956 3221224352 3221214448 1130917961 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209360 32368 13086 16 0 209344 0
vsize: 837440
[startup+230.004 s]
Raw data (loadavg): 1.04 0.99 0.97 2/64 15175
Raw data (stat): 15165 (java) R 15164 3132 3131 0 -1 0 18074 0 1 0 19610 50 0 0 25 0 11 0 764833782 858652672 32625 4294967295 134512640 134569956 3221224352 3221214764 1131423475 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209632 32625 13086 16 0 209616 0
vsize: 838528
[startup+240.004 s]
Raw data (loadavg): 1.03 0.99 0.97 2/64 15175
Raw data (stat): 15165 (java) R 15164 3132 3131 0 -1 0 18074 0 1 0 20520 50 0 0 25 0 11 0 764833782 857538560 32380 4294967295 134512640 134569956 3221224352 3221214752 1131437129 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209360 32380 13086 16 0 209344 0
vsize: 837440
[startup+250.005 s]
Raw data (loadavg): 1.03 0.99 0.97 2/64 15175
Raw data (stat): 15165 (java) R 15164 3132 3131 0 -1 0 18074 0 1 0 21460 50 0 0 25 0 11 0 764833782 857538560 32382 4294967295 134512640 134569956 3221224352 3221214752 1131444481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209360 32382 13086 16 0 209344 0
vsize: 837440
[startup+260.006 s]
Raw data (loadavg): 1.02 0.99 0.97 2/64 15175
Raw data (stat): 15165 (java) R 15164 3132 3131 0 -1 0 18074 0 1 0 22386 50 0 0 25 0 11 0 764833782 857538560 32405 4294967295 134512640 134569956 3221224352 3221214544 1131276881 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209360 32405 13086 16 0 209344 0
vsize: 837440
[startup+270.005 s]
Raw data (loadavg): 1.02 0.99 0.97 2/64 15175
Raw data (stat): 15165 (java) R 15164 3132 3131 0 -1 0 18074 0 1 0 23290 51 0 0 25 0 11 0 764833782 857538560 32457 4294967295 134512640 134569956 3221224352 3221214648 1131402913 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209360 32457 13086 16 0 209344 0
vsize: 837440
[startup+280.006 s]
Raw data (loadavg): 1.02 0.99 0.97 2/64 15175
Raw data (stat): 15165 (java) R 15164 3132 3131 0 -1 0 18074 0 1 0 24195 51 0 0 25 0 11 0 764833782 857538560 32487 4294967295 134512640 134569956 3221224352 3221214648 1131403811 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209360 32487 13086 16 0 209344 0
vsize: 837440
[startup+290.006 s]
Raw data (loadavg): 1.01 0.99 0.97 2/64 15175
Raw data (stat): 15165 (java) R 15164 3132 3131 0 -1 0 18074 0 1 0 25101 51 0 0 25 0 11 0 764833782 857538560 32539 4294967295 134512640 134569956 3221224352 3221214648 1131240854 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209360 32539 13086 16 0 209344 0
vsize: 837440
[startup+300.007 s]
Raw data (loadavg): 1.01 0.99 0.97 2/64 15175
Raw data (stat): 15165 (java) R 15164 3132 3131 0 -1 0 18074 0 1 0 26005 52 0 0 25 0 11 0 764833782 857538560 32617 4294967295 134512640 134569956 3221224352 3221214744 1131455251 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209360 32617 13086 16 0 209344 0
vsize: 837440
[startup+310.006 s]
Raw data (loadavg): 1.01 0.99 0.97 2/64 15175
Raw data (stat): 15165 (java) R 15164 3132 3131 0 -1 0 18074 0 1 0 26928 52 0 0 25 0 11 0 764833782 857538560 32673 4294967295 134512640 134569956 3221224352 3221214456 1131202502 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209360 32673 13086 16 0 209344 0
vsize: 837440
[startup+320.006 s]
Raw data (loadavg): 1.01 0.99 0.97 2/64 15175
Raw data (stat): 15165 (java) R 15164 3132 3131 0 -1 0 18074 0 1 0 27831 52 0 0 25 0 11 0 764833782 857538560 32724 4294967295 134512640 134569956 3221224352 3221214736 1131423438 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209360 32724 13086 16 0 209344 0
vsize: 837440
[startup+330.007 s]
Raw data (loadavg): 1.00 0.99 0.97 2/64 15175
Raw data (stat): 15165 (java) R 15164 3132 3131 0 -1 0 18074 0 1 0 28754 53 0 0 25 0 11 0 764833782 857538560 32752 4294967295 134512640 134569956 3221224352 3221214672 1131241070 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209360 32752 13086 16 0 209344 0
vsize: 837440
[startup+340.007 s]
Raw data (loadavg): 1.00 0.99 0.97 2/64 15175
Raw data (stat): 15165 (java) R 15164 3132 3131 0 -1 0 18074 0 1 0 29677 53 0 0 25 0 11 0 764833782 857538560 32785 4294967295 134512640 134569956 3221224352 3221214784 1131389410 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209360 32785 13086 16 0 209344 0
vsize: 837440
[startup+350.008 s]
Raw data (loadavg): 1.00 0.99 0.97 2/64 15175
Raw data (stat): 15165 (java) R 15164 3132 3131 0 -1 0 18074 0 1 0 30603 53 0 0 25 0 11 0 764833782 857538560 32799 4294967295 134512640 134569956 3221224352 3221214672 1131241109 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209360 32799 13086 16 0 209344 0
vsize: 837440
[startup+360.008 s]
Raw data (loadavg): 1.00 0.99 0.97 2/64 15175
Raw data (stat): 15165 (java) R 15164 3132 3131 0 -1 0 18074 0 1 0 31508 53 0 0 25 0 11 0 764833782 857538560 32850 4294967295 134512640 134569956 3221224352 3221214648 1131397645 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209360 32850 13086 16 0 209344 0
vsize: 837440
[startup+370.008 s]
Raw data (loadavg): 1.00 0.99 0.97 2/64 15175
Raw data (stat): 15165 (java) R 15164 3132 3131 0 -1 0 18074 0 1 0 32433 54 0 0 25 0 11 0 764833782 857538560 32902 4294967295 134512640 134569956 3221224352 3221214664 1131277215 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209360 32902 13086 16 0 209344 0
vsize: 837440
[startup+380.008 s]
Raw data (loadavg): 1.00 0.99 0.97 2/64 15175
Raw data (stat): 15165 (java) R 15164 3132 3131 0 -1 0 18074 0 1 0 33363 54 0 0 25 0 11 0 764833782 857538560 32979 4294967295 134512640 134569956 3221224352 3221214712 1131387243 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209360 32979 13086 16 0 209344 0
vsize: 837440
[startup+390.009 s]
Raw data (loadavg): 1.00 0.99 0.97 2/64 15175
Raw data (stat): 15165 (java) S 15164 3132 3131 0 -1 0 18074 0 1 0 34292 54 0 0 25 0 11 0 764833782 857538560 33025 4294967295 134512640 134569956 3221224352 3221213288 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209360 33025 13086 16 0 209344 0
vsize: 837440
[startup+400.01 s]
Raw data (loadavg): 1.00 0.99 0.97 2/64 15175
Raw data (stat): 15165 (java) R 15164 3132 3131 0 -1 0 18074 0 1 0 35207 55 0 0 25 0 11 0 764833782 857538560 33051 4294967295 134512640 134569956 3221224352 3221214648 1131397641 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209360 33051 13086 16 0 209344 0
vsize: 837440
[startup+410.011 s]
Raw data (loadavg): 1.00 0.99 0.97 2/64 15175
Raw data (stat): 15165 (java) S 15164 3132 3131 0 -1 0 18074 0 1 0 36127 55 0 0 25 0 11 0 764833782 857538560 33075 4294967295 134512640 134569956 3221224352 3221213376 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209360 33075 13086 16 0 209344 0
vsize: 837440
[startup+420.01 s]
Raw data (loadavg): 1.00 0.99 0.97 2/64 15175
Raw data (stat): 15165 (java) R 15164 3132 3131 0 -1 0 18074 0 1 0 37044 55 0 0 25 0 11 0 764833782 857538560 33096 4294967295 134512640 134569956 3221224352 3221214764 1131386688 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209360 33096 13086 16 0 209344 0
vsize: 837440
[startup+430.011 s]
Raw data (loadavg): 1.00 0.99 0.97 2/64 15175
Raw data (stat): 15165 (java) R 15164 3132 3131 0 -1 0 18074 0 1 0 37959 55 0 0 25 0 11 0 764833782 857538560 33275 4294967295 134512640 134569956 3221224352 3221214736 1131423396 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209360 33275 13086 16 0 209344 0
vsize: 837440
[startup+440.011 s]
Raw data (loadavg): 1.00 0.99 0.97 2/64 15175
Raw data (stat): 15165 (java) R 15164 3132 3131 0 -1 0 18074 0 1 0 38868 55 0 0 25 0 11 0 764833782 857538560 33370 4294967295 134512640 134569956 3221224352 3221214648 1131399149 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209360 33370 13086 16 0 209344 0
vsize: 837440
[startup+450.011 s]
Raw data (loadavg): 1.08 1.00 0.97 2/64 15175
Raw data (stat): 15165 (java) R 15164 3132 3131 0 -1 0 18074 0 1 0 39778 56 0 0 25 0 11 0 764833782 857538560 33537 4294967295 134512640 134569956 3221224352 3221214544 1131277215 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209360 33537 13086 16 0 209344 0
vsize: 837440
[startup+460.012 s]
Raw data (loadavg): 1.07 1.00 0.97 2/64 15175
Raw data (stat): 15165 (java) S 15164 3132 3131 0 -1 0 18074 0 1 0 40681 56 0 0 25 0 11 0 764833782 857538560 33609 4294967295 134512640 134569956 3221224352 3221213288 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209360 33609 13086 16 0 209344 0
vsize: 837440
[startup+470.012 s]
Raw data (loadavg): 1.06 1.00 0.97 2/64 15175
Raw data (stat): 15165 (java) R 15164 3132 3131 0 -1 0 18074 0 1 0 41593 56 0 0 25 0 11 0 764833782 857538560 33663 4294967295 134512640 134569956 3221224352 3221214648 1131241070 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209360 33663 13086 16 0 209344 0
vsize: 837440
[startup+475.74 s]
Raw data (loadavg): 1.05 1.00 0.97 1/53 15176
Raw data (stat): 15165 (java) R 15164 3132 3131 0 -1 0 18074 0 1 0 41593 56 0 0 25 0 11 0 764833782 857538560 33663 4294967295 134512640 134569956 3221224352 3221214648 1131241070 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209360 33663 13086 16 0 209344 0
vsize: 0

Child status: 20
Real time (s): 475.74
CPU time (s): 479.601
CPU user time (s): 478.608
CPU system time (s): 0.992849
CPU usage (%): 100.812
Max. virtual memory (Kb): 838528
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####