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/submitted/een/normalized-stein27.opb
MD5SUM	f1840a9f0b03b6ae7284b9e5be9bb3b7
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	18
Optimality of the best value was proved	NO
Number of terms in the objective function	27
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	27
Number of bits of the sum of numbers in the objective function	5
Biggest number in a constraint	13
Number of bits of the biggest number in a constraint	4
Biggest sum of numbers in a constraint	40
Number of bits of the biggest sum of numbers	6
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.02084
Number of variables	27
Total number of constraints	118
Number of constraints which are clauses	117
Number of constraints which are cardinality constraints (but not clauses)	1
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	3
Maximum length of a constraint	27

Trace number 29388

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc20 THE 2005-05-25 07:23:03 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20808 boxname=wulflinc20 idbench=398 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  f1840a9f0b03b6ae7284b9e5be9bb3b7  /oldhome/oroussel/tmp/wulflinc20/normalized-stein27.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc20/normalized-stein27.opb
IDLAUNCH: 20808
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.215
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.215
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        352496 kB
Buffers:         35584 kB
Cached:         617044 kB
SwapCached:        716 kB
Active:          63088 kB
Inactive:       596316 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        352244 kB
SwapTotal:     2097892 kB
SwapFree:      2096336 kB
Dirty:              44 kB
Writeback:           0 kB
Mapped:           5068 kB
Slab:            17132 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 07:30:26 (client local time) WITH STATUS 30 IN 445.414 SECONDS
stats: 20808 0 445.414 30
#### 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/wulflinc20/normalized-stein27.opb
c reading problem ... done. Time 0.224 ms.
c #vars     27
c #constraints  118
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                  19 		Current CPU time: 0.26 ms
c CURRENT OPTIMUM=                  18 		Current CPU time: 0.50 ms
c starts	: 11
c conflicts	: 7460
c decisions	: 7703
c propagations	: 38482
c inspects	: 8033442
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 7459
c root simplifications	: 24
s OPTIMUM_FOUND
v -x0 -x1 -x2 x3 x4 x5 -x6 x7 x8 -x9 -x10 x11 -x12 x13 x14 x15 -x16 x17 x18 x19 x20 x21 x22 x23 x24 -x25 x26 
c objectif function=18
c Total CPU time (ms) : 441.57
#### 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): 1.06 1.01 1.00 2/54 2149
Raw data (stat): 2149 (runsolver) R 2148 25399 25398 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 837047608 1052672 99 4294967295 134512640 135381576 3221224416 3221219636 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): 1.05 1.01 1.00 2/64 2161
Raw data (stat): 2149 (java) R 2148 25399 25398 0 -1 0 18106 3 1 0 768 38 0 0 25 0 11 0 837047608 857272320 19807 4294967295 134512640 134569956 3221224384 3221214232 1131225756 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209295 19807 13086 16 0 209279 0
vsize: 837180
[startup+20.0015 s]
Raw data (loadavg): 1.11 1.03 1.01 2/64 2161
Raw data (stat): 2149 (java) R 2148 25399 25398 0 -1 0 18106 3 1 0 1740 38 0 0 25 0 11 0 837047608 857341952 20222 4294967295 134512640 134569956 3221224384 3221214848 1131144345 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209312 20222 13086 16 0 209296 0
vsize: 837248
[startup+30.0015 s]
Raw data (loadavg): 1.10 1.03 1.01 2/64 2161
Raw data (stat): 2149 (java) R 2148 25399 25398 0 -1 0 18106 3 1 0 2709 38 0 0 25 0 11 0 837047608 857341952 20565 4294967295 134512640 134569956 3221224384 3221213732 1131225808 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209312 20565 13086 16 0 209296 0
vsize: 837248
[startup+40.0024 s]
Raw data (loadavg): 1.08 1.03 1.01 2/64 2161
Raw data (stat): 2149 (java) R 2148 25399 25398 0 -1 0 18107 3 1 0 3683 38 0 0 25 0 11 0 837047608 857341952 20792 4294967295 134512640 134569956 3221224384 3221214344 1131225802 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209312 20792 13086 16 0 209296 0
vsize: 837248
[startup+50.0036 s]
Raw data (loadavg): 1.07 1.03 1.00 2/64 2161
Raw data (stat): 2149 (java) R 2148 25399 25398 0 -1 0 18107 3 1 0 4645 38 0 0 24 0 11 0 837047608 857341952 21052 4294967295 134512640 134569956 3221224384 3221214696 1131160982 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209312 21052 13086 16 0 209296 0
vsize: 837248
[startup+60.0027 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 2161
Raw data (stat): 2149 (java) R 2148 25399 25398 0 -1 0 18107 3 1 0 5613 39 0 0 25 0 11 0 837047608 857341952 21310 4294967295 134512640 134569956 3221224384 3221214760 1131137681 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209312 21310 13086 16 0 209296 0
vsize: 837248
[startup+70.0036 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 2161
Raw data (stat): 2149 (java) R 2148 25399 25398 0 -1 0 18107 3 1 0 6585 39 0 0 25 0 11 0 837047608 857341952 21310 4294967295 134512640 134569956 3221224384 3221214440 1131184494 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209312 21310 13086 16 0 209296 0
vsize: 837248
[startup+80.0047 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 2161
Raw data (stat): 2149 (java) R 2148 25399 25398 0 -1 0 18107 3 1 0 7554 39 0 0 25 0 11 0 837047608 857341952 21316 4294967295 134512640 134569956 3221224384 3221213896 1131227196 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209312 21316 13086 16 0 209296 0
vsize: 837248
[startup+90.0054 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 2161
Raw data (stat): 2149 (java) R 2148 25399 25398 0 -1 0 18107 3 1 0 8523 39 0 0 25 0 11 0 837047608 857341952 21415 4294967295 134512640 134569956 3221224384 3221214496 1131233431 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209312 21415 13086 16 0 209296 0
vsize: 837248
[startup+100.006 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 2161
Raw data (stat): 2149 (java) R 2148 25399 25398 0 -1 0 18107 3 1 0 9492 40 0 0 25 0 11 0 837047608 857341952 21492 4294967295 134512640 134569956 3221224384 3221214424 1085679272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209312 21492 13086 16 0 209296 0
vsize: 837248
[startup+110.006 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 2161
Raw data (stat): 2149 (java) R 2148 25399 25398 0 -1 0 18107 3 1 0 10460 41 0 0 25 0 11 0 837047608 857341952 21592 4294967295 134512640 134569956 3221224384 3221214420 1131233408 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209312 21592 13086 16 0 209296 0
vsize: 837248
[startup+120.006 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 2161
Raw data (stat): 2149 (java) R 2148 25399 25398 0 -1 0 18107 3 1 0 11430 41 0 0 25 0 11 0 837047608 857341952 21668 4294967295 134512640 134569956 3221224384 3221214536 1131227196 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209312 21668 13086 16 0 209296 0
vsize: 837248
[startup+130.006 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 2161
Raw data (stat): 2149 (java) R 2148 25399 25398 0 -1 0 18107 3 1 0 12399 41 0 0 25 0 11 0 837047608 857341952 21783 4294967295 134512640 134569956 3221224384 3221214672 1131161026 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209312 21783 13086 16 0 209296 0
vsize: 837248
[startup+140.007 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 2161
Raw data (stat): 2149 (java) R 2148 25399 25398 0 -1 0 18107 3 1 0 13380 41 0 0 25 0 11 0 837047608 857341952 21854 4294967295 134512640 134569956 3221224384 3221213924 1131233440 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209312 21854 13086 16 0 209296 0
vsize: 837248
[startup+150.008 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 2161
Raw data (stat): 2149 (java) R 2148 25399 25398 0 -1 0 18107 3 1 0 14353 42 0 0 25 0 11 0 837047608 857341952 21951 4294967295 134512640 134569956 3221224384 3221214036 1131225808 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209312 21951 13086 16 0 209296 0
vsize: 837248
[startup+160.007 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 2161
Raw data (stat): 2149 (java) R 2148 25399 25398 0 -1 0 18107 3 1 0 15326 42 0 0 25 0 11 0 837047608 857341952 22038 4294967295 134512640 134569956 3221224384 3221214736 1131137664 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209312 22038 13086 16 0 209296 0
vsize: 837248
[startup+170.008 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 2161
Raw data (stat): 2149 (java) R 2148 25399 25398 0 -1 0 18107 3 1 0 16309 42 0 0 25 0 11 0 837047608 857341952 22090 4294967295 134512640 134569956 3221224384 3221214672 1131160605 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209312 22090 13086 16 0 209296 0
vsize: 837248
[startup+180.008 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2161
Raw data (stat): 2149 (java) R 2148 25399 25398 0 -1 0 18107 3 1 0 17283 43 0 0 25 0 11 0 837047608 857341952 22160 4294967295 134512640 134569956 3221224384 3221214544 1131225729 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209312 22160 13086 16 0 209296 0
vsize: 837248
[startup+190.009 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2161
Raw data (stat): 2149 (java) R 2148 25399 25398 0 -1 0 18107 3 1 0 18257 43 0 0 25 0 11 0 837047608 857341952 22221 4294967295 134512640 134569956 3221224384 3221213928 1131225756 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209312 22221 13086 16 0 209296 0
vsize: 837248
[startup+200.009 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2161
Raw data (stat): 2149 (java) R 2148 25399 25398 0 -1 0 18107 3 1 0 19235 43 0 0 25 0 11 0 837047608 857341952 22298 4294967295 134512640 134569956 3221224384 3221213984 1131225784 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209312 22298 13086 16 0 209296 0
vsize: 837248
[startup+210.009 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2161
Raw data (stat): 2149 (java) R 2148 25399 25398 0 -1 0 18107 3 1 0 20213 44 0 0 25 0 11 0 837047608 857341952 22372 4294967295 134512640 134569956 3221224384 3221214736 1131137688 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209312 22372 13086 16 0 209296 0
vsize: 837248
[startup+220.009 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2161
Raw data (stat): 2149 (java) R 2148 25399 25398 0 -1 0 18107 3 1 0 21190 44 0 0 25 0 11 0 837047608 857341952 22434 4294967295 134512640 134569956 3221224384 3221214520 1131197792 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209312 22434 13086 16 0 209296 0
vsize: 837248
[startup+230.01 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2161
Raw data (stat): 2149 (java) R 2148 25399 25398 0 -1 0 18107 3 1 0 22168 44 0 0 25 0 11 0 837047608 857341952 22500 4294967295 134512640 134569956 3221224384 3221214672 1131161846 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209312 22500 13086 16 0 209296 0
vsize: 837248
[startup+240.01 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2161
Raw data (stat): 2149 (java) R 2148 25399 25398 0 -1 0 18107 3 1 0 23147 45 0 0 25 0 11 0 837047608 857341952 22551 4294967295 134512640 134569956 3221224384 3221213968 1131220756 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209312 22551 13086 16 0 209296 0
vsize: 837248
[startup+250.01 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2161
Raw data (stat): 2149 (java) R 2148 25399 25398 0 -1 0 18107 3 1 0 24126 45 0 0 25 0 11 0 837047608 857341952 22604 4294967295 134512640 134569956 3221224384 3221214184 1131230095 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209312 22604 13086 16 0 209296 0
vsize: 837248
[startup+260.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2161
Raw data (stat): 2149 (java) R 2148 25399 25398 0 -1 0 18107 3 1 0 25105 45 0 0 25 0 11 0 837047608 857341952 22654 4294967295 134512640 134569956 3221224384 3221214672 1131160878 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209312 22654 13086 16 0 209296 0
vsize: 837248
[startup+270.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2161
Raw data (stat): 2149 (java) R 2148 25399 25398 0 -1 0 18107 3 1 0 26091 45 0 0 25 0 11 0 837047608 857341952 22692 4294967295 134512640 134569956 3221224384 3221214008 1085679308 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209312 22692 13086 16 0 209296 0
vsize: 837248
[startup+280.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2161
Raw data (stat): 2149 (java) R 2148 25399 25398 0 -1 0 18107 3 1 0 27070 45 0 0 25 0 11 0 837047608 857341952 22750 4294967295 134512640 134569956 3221224384 3221213784 1085632292 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209312 22750 13086 16 0 209296 0
vsize: 837248
[startup+290.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2161
Raw data (stat): 2149 (java) R 2148 25399 25398 0 -1 0 18107 3 1 0 28050 45 0 0 25 0 11 0 837047608 857341952 22793 4294967295 134512640 134569956 3221224384 3221214672 1131160749 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209312 22793 13086 16 0 209296 0
vsize: 837248
[startup+300.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2161
Raw data (stat): 2149 (java) R 2148 25399 25398 0 -1 0 18107 3 1 0 29030 45 0 0 25 0 11 0 837047608 857341952 22849 4294967295 134512640 134569956 3221224384 3221214344 1085679440 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209312 22849 13086 16 0 209296 0
vsize: 837248
[startup+310.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2161
Raw data (stat): 2149 (java) R 2148 25399 25398 0 -1 0 18107 3 1 0 30013 46 0 0 25 0 11 0 837047608 857341952 22897 4294967295 134512640 134569956 3221224384 3221214120 1085679366 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209312 22897 13086 16 0 209296 0
vsize: 837248
[startup+320.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2161
Raw data (stat): 2149 (java) R 2148 25399 25398 0 -1 0 18107 3 1 0 30996 46 0 0 25 0 11 0 837047608 857341952 22949 4294967295 134512640 134569956 3221224384 3221214672 1131160652 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209312 22949 13086 16 0 209296 0
vsize: 837248
[startup+330.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2161
Raw data (stat): 2149 (java) R 2148 25399 25398 0 -1 0 18107 3 1 0 31974 46 0 0 25 0 11 0 837047608 857341952 23007 4294967295 134512640 134569956 3221224384 3221214152 1131227164 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209312 23007 13086 16 0 209296 0
vsize: 837248
[startup+340.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2161
Raw data (stat): 2149 (java) R 2148 25399 25398 0 -1 0 18107 3 1 0 32959 47 0 0 25 0 11 0 837047608 857341952 23047 4294967295 134512640 134569956 3221224384 3221213792 1085679290 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209312 23047 13086 16 0 209296 0
vsize: 837248
[startup+350.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2161
Raw data (stat): 2149 (java) R 2148 25399 25398 0 -1 0 18107 3 1 0 33943 47 0 0 25 0 11 0 837047608 857341952 23084 4294967295 134512640 134569956 3221224384 3221214288 1085679290 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209312 23084 13086 16 0 209296 0
vsize: 837248
[startup+360.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2161
Raw data (stat): 2149 (java) R 2148 25399 25398 0 -1 0 18107 3 1 0 34927 47 0 0 25 0 11 0 837047608 857341952 23114 4294967295 134512640 134569956 3221224384 3221214672 1131160410 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209312 23114 13086 16 0 209296 0
vsize: 837248
[startup+370.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2161
Raw data (stat): 2149 (java) R 2148 25399 25398 0 -1 0 18107 3 1 0 35911 47 0 0 25 0 11 0 837047608 857341952 23136 4294967295 134512640 134569956 3221224384 3221213992 1131225740 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209312 23136 13086 16 0 209296 0
vsize: 837248
[startup+380.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2161
Raw data (stat): 2149 (java) R 2148 25399 25398 0 -1 0 18107 3 1 0 36894 48 0 0 25 0 11 0 837047608 857341952 23174 4294967295 134512640 134569956 3221224384 3221213928 1131225676 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209312 23174 13086 16 0 209296 0
vsize: 837248
[startup+390.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2161
Raw data (stat): 2149 (java) R 2148 25399 25398 0 -1 0 18107 3 1 0 37873 48 0 0 25 0 11 0 837047608 857341952 23214 4294967295 134512640 134569956 3221224384 3221214672 1131160410 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209312 23214 13086 16 0 209296 0
vsize: 837248
[startup+400.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2161
Raw data (stat): 2149 (java) R 2148 25399 25398 0 -1 0 18107 3 1 0 38858 48 0 0 25 0 11 0 837047608 857341952 23242 4294967295 134512640 134569956 3221224384 3221213736 1085679533 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209312 23242 13086 16 0 209296 0
vsize: 837248
[startup+410.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2161
Raw data (stat): 2149 (java) R 2148 25399 25398 0 -1 0 18107 3 1 0 39838 48 0 0 25 0 11 0 837047608 857341952 23283 4294967295 134512640 134569956 3221224384 3221214484 1131225808 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209312 23283 13086 16 0 209296 0
vsize: 837248
[startup+420.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2161
Raw data (stat): 2149 (java) R 2148 25399 25398 0 -1 0 18107 3 1 0 40824 49 0 0 25 0 11 0 837047608 857341952 23307 4294967295 134512640 134569956 3221224384 3221214396 1085616768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209312 23307 13086 16 0 209296 0
vsize: 837248
[startup+430.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2161
Raw data (stat): 2149 (java) R 2148 25399 25398 0 -1 0 18107 3 1 0 41808 49 0 0 25 0 11 0 837047608 857341952 23355 4294967295 134512640 134569956 3221224384 3221214672 1131160389 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209312 23355 13086 16 0 209296 0
vsize: 837248
[startup+440.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2161
Raw data (stat): 2149 (java) R 2148 25399 25398 0 -1 0 18107 3 1 0 42792 49 0 0 25 0 11 0 837047608 857341952 23385 4294967295 134512640 134569956 3221224384 3221214264 1131225815 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209312 23385 13086 16 0 209296 0
vsize: 837248
[startup+442.6 s]
Raw data (loadavg): 1.00 1.00 1.00 1/53 2162
Raw data (stat): 2149 (java) R 2148 25399 25398 0 -1 0 18107 3 1 0 42792 49 0 0 25 0 11 0 837047608 857341952 23385 4294967295 134512640 134569956 3221224384 3221214264 1131225815 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209312 23385 13086 16 0 209296 0
vsize: 0

Child status: 30
Real time (s): 442.599
CPU time (s): 445.414
CPU user time (s): 444.749
CPU system time (s): 0.664898
CPU usage (%): 100.636
Max. virtual memory (Kb): 837248
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	18
#### END VERIFIER DATA ####