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/MIPLIB/miplib/normalized-mps-v2-13-7-stein27.opb
MD5SUM	5af5f5067167ce7c0b9b9169af5e7adf
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	145
Number of constraints which are clauses	117
Number of constraints which are cardinality constraints (but not clauses)	28
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	27

Trace number 29926

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc11 THE 2005-05-25 13:01:24 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21345 boxname=wulflinc11 idbench=1333 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  5af5f5067167ce7c0b9b9169af5e7adf  /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-13-7-stein27.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-13-7-stein27.opb
IDLAUNCH: 21345
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.028
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.028
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:        828384 kB
Buffers:         32688 kB
Cached:         152792 kB
SwapCached:        772 kB
Active:          68476 kB
Inactive:       118988 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        828132 kB
SwapTotal:     2097136 kB
SwapFree:      2095468 kB
Dirty:              44 kB
Writeback:           0 kB
Mapped:           5024 kB
Slab:            13156 kB
Committed_AS:    63584 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 13:08:38 (client local time) WITH STATUS 30 IN 436.612 SECONDS
stats: 21345 0 436.612 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/wulflinc11/normalized-mps-v2-13-7-stein27.opb
c reading problem ... done. Time 0.337 ms.
c #vars     27
c #constraints  118
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                  19 		Current CPU time: 0.37 ms
c CURRENT OPTIMUM=                  18 		Current CPU time: 0.61 ms
c starts	: 12
c conflicts	: 7627
c decisions	: 7907
c propagations	: 39763
c inspects	: 8684562
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 7626
c root simplifications	: 25
s OPTIMUM_FOUND
v -V0001_bit0 -V0002_bit0 -V0003_bit0 V0004_bit0 V0005_bit0 V0006_bit0 -V0007_bit0 V0008_bit0 V0009_bit0 -V0010_bit0 -V0011_bit0 V0012_bit0 -V0013_bit0 V0014_bit0 V0015_bit0 V0016_bit0 -V0017_bit0 V0018_bit0 V0019_bit0 V0020_bit0 V0021_bit0 V0022_bit0 V0023_bit0 V0024_bit0 V0025_bit0 -V0026_bit0 V0027_bit0 
c objectif function=18
c Total CPU time (ms) : 432.785
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.93 0.99 0.99 2/54 7570
Raw data (stat): 7570 (runsolver) R 7569 25830 25829 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 780852998 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0008 s]
Raw data (loadavg): 1.09 1.03 1.00 2/64 7582
Raw data (stat): 7570 (java) R 7569 25830 25829 0 -1 0 18117 3 1 0 709 38 0 0 25 0 11 0 780852998 860073984 20469 4294967295 134512640 134569956 3221224368 3221214784 1131157075 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209979 20469 13086 16 0 209963 0
vsize: 839916
[startup+20.002 s]
Raw data (loadavg): 1.08 1.02 1.00 2/64 7582
Raw data (stat): 7570 (java) R 7569 25830 25829 0 -1 0 18117 3 1 0 1680 38 0 0 25 0 11 0 780852998 860041216 20924 4294967295 134512640 134569956 3221224368 3221214744 1131147264 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209971 20924 13086 16 0 209955 0
vsize: 839884
[startup+30.0028 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 7582
Raw data (stat): 7570 (java) R 7569 25830 25829 0 -1 0 18117 3 1 0 2649 38 0 0 25 0 11 0 780852998 858267648 20826 4294967295 134512640 134569956 3221224368 3221214640 1131194998 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 20826 13086 16 0 209522 0
vsize: 838152
[startup+40.0031 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 7582
Raw data (stat): 7570 (java) R 7569 25830 25829 0 -1 0 18117 3 1 0 3614 38 0 0 25 0 11 0 780852998 858267648 21116 4294967295 134512640 134569956 3221224368 3221214096 1131229180 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 21116 13086 16 0 209522 0
vsize: 838152
[startup+50.0034 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 7582
Raw data (stat): 7570 (java) R 7569 25830 25829 0 -1 0 18117 3 1 0 4583 39 0 0 25 0 11 0 780852998 858267648 21310 4294967295 134512640 134569956 3221224368 3221214784 1131157959 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 21310 13086 16 0 209522 0
vsize: 838152
[startup+60.0042 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 7582
Raw data (stat): 7570 (java) R 7569 25830 25829 0 -1 0 18117 3 1 0 5550 39 0 0 25 0 11 0 780852998 858267648 21628 4294967295 134512640 134569956 3221224368 3221214784 1131157848 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 21628 13086 16 0 209522 0
vsize: 838152
[startup+70.0044 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 7582
Raw data (stat): 7570 (java) S 7569 25830 25829 0 -1 0 18117 3 1 0 6514 40 0 0 25 0 11 0 780852998 858267648 21629 4294967295 134512640 134569956 3221224368 3221213384 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 21629 13086 16 0 209522 0
vsize: 838152
[startup+80.006 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 7582
Raw data (stat): 7570 (java) R 7569 25830 25829 0 -1 0 18118 3 1 0 7491 40 0 0 25 0 11 0 780852998 858267648 21654 4294967295 134512640 134569956 3221224368 3221213952 1131255956 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 21654 13086 16 0 209522 0
vsize: 838152
[startup+90.0065 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 7582
Raw data (stat): 7570 (java) R 7569 25830 25829 0 -1 0 18118 3 1 0 8449 40 0 0 25 0 11 0 780852998 858267648 21782 4294967295 134512640 134569956 3221224368 3221214304 1131255992 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 21782 13086 16 0 209522 0
vsize: 838152
[startup+100.006 s]
Raw data (loadavg): 1.09 1.03 1.00 2/64 7582
Raw data (stat): 7570 (java) R 7569 25830 25829 0 -1 0 18118 3 1 0 9428 40 0 0 25 0 11 0 780852998 858267648 21829 4294967295 134512640 134569956 3221224368 3221214144 1131256023 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209538 21829 13086 16 0 209522 0
vsize: 838152
[startup+110.007 s]
Raw data (loadavg): 1.08 1.03 1.00 2/64 7582
Raw data (stat): 7570 (java) R 7569 25830 25829 0 -1 0 18118 3 1 0 10395 40 0 0 25 0 11 0 780852998 858267648 21925 4294967295 134512640 134569956 3221224368 3221214680 1131171094 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 21925 13086 16 0 209522 0
vsize: 838152
[startup+120.008 s]
Raw data (loadavg): 1.06 1.03 1.00 2/64 7582
Raw data (stat): 7570 (java) R 7569 25830 25829 0 -1 0 18118 3 1 0 11362 41 0 0 25 0 11 0 780852998 858267648 21999 4294967295 134512640 134569956 3221224368 3221214744 1131147288 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209538 21999 13086 16 0 209522 0
vsize: 838152
[startup+130.008 s]
Raw data (loadavg): 1.05 1.03 1.00 2/64 7582
Raw data (stat): 7570 (java) R 7569 25830 25829 0 -1 0 18118 3 1 0 12331 41 0 0 25 0 11 0 780852998 858267648 22074 4294967295 134512640 134569956 3221224368 3221214088 1131229456 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209538 22074 13086 16 0 209522 0
vsize: 838152
[startup+140.009 s]
Raw data (loadavg): 1.05 1.03 1.00 2/64 7582
Raw data (stat): 7570 (java) R 7569 25830 25829 0 -1 0 18118 3 1 0 13300 41 0 0 25 0 11 0 780852998 858267648 22174 4294967295 134512640 134569956 3221224368 3221214744 1131147306 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 22174 13086 16 0 209522 0
vsize: 838152
[startup+150.009 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 7582
Raw data (stat): 7570 (java) R 7569 25830 25829 0 -1 0 18118 3 1 0 14270 41 0 0 25 0 11 0 780852998 858267648 22266 4294967295 134512640 134569956 3221224368 3221214744 1131147264 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 22266 13086 16 0 209522 0
vsize: 838152
[startup+160.01 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 7582
Raw data (stat): 7570 (java) R 7569 25830 25829 0 -1 0 18118 3 1 0 15242 42 0 0 25 0 11 0 780852998 858267648 22350 4294967295 134512640 134569956 3221224368 3221214780 1131167432 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209538 22350 13086 16 0 209522 0
vsize: 838152
[startup+170.01 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 7582
Raw data (stat): 7570 (java) R 7569 25830 25829 0 -1 0 18118 3 1 0 16216 42 0 0 25 0 11 0 780852998 858267648 22434 4294967295 134512640 134569956 3221224368 3221214160 1131302661 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 22434 13086 16 0 209522 0
vsize: 838152
[startup+180.011 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 7582
Raw data (stat): 7570 (java) R 7569 25830 25829 0 -1 0 18118 3 1 0 17189 42 0 0 25 0 11 0 780852998 858267648 22511 4294967295 134512640 134569956 3221224368 3221214096 1131229251 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 22511 13086 16 0 209522 0
vsize: 838152
[startup+190.011 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 7582
Raw data (stat): 7570 (java) R 7569 25830 25829 0 -1 0 18118 3 1 0 18165 43 0 0 25 0 11 0 780852998 858267648 22592 4294967295 134512640 134569956 3221224368 3221213904 1131229306 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209538 22592 13086 16 0 209522 0
vsize: 838152
[startup+200.012 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 7582
Raw data (stat): 7570 (java) R 7569 25830 25829 0 -1 0 18118 3 1 0 19144 43 0 0 25 0 11 0 780852998 858267648 22680 4294967295 134512640 134569956 3221224368 3221214544 1131199555 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 22680 13086 16 0 209522 0
vsize: 838152
[startup+210.012 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 7582
Raw data (stat): 7570 (java) R 7569 25830 25829 0 -1 0 18118 3 1 0 20123 43 0 0 25 0 11 0 780852998 858267648 22761 4294967295 134512640 134569956 3221224368 3221214680 1131170964 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 22761 13086 16 0 209522 0
vsize: 838152
[startup+220.012 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 7582
Raw data (stat): 7570 (java) R 7569 25830 25829 0 -1 0 18118 3 1 0 21102 44 0 0 25 0 11 0 780852998 858267648 22811 4294967295 134512640 134569956 3221224368 3221214448 1131302288 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 22811 13086 16 0 209522 0
vsize: 838152
[startup+230.014 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 7582
Raw data (stat): 7570 (java) R 7569 25830 25829 0 -1 0 18118 3 1 0 22075 44 0 0 25 0 11 0 780852998 858267648 22875 4294967295 134512640 134569956 3221224368 3221214520 1131283925 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 22875 13086 16 0 209522 0
vsize: 838152
[startup+240.014 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 7582
Raw data (stat): 7570 (java) R 7569 25830 25829 0 -1 0 18118 3 1 0 23054 44 0 0 25 0 11 0 780852998 858267648 22915 4294967295 134512640 134569956 3221224368 3221214608 1131170323 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 22915 13086 16 0 209522 0
vsize: 838152
[startup+250.014 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 7582
Raw data (stat): 7570 (java) R 7569 25830 25829 0 -1 0 18118 3 1 0 24040 44 0 0 25 0 11 0 780852998 858267648 22942 4294967295 134512640 134569956 3221224368 3221214672 1131147281 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 22942 13086 16 0 209522 0
vsize: 838152
[startup+260.015 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 7582
Raw data (stat): 7570 (java) R 7569 25830 25829 0 -1 0 18118 3 1 0 25019 45 0 0 25 0 11 0 780852998 858267648 22996 4294967295 134512640 134569956 3221224368 3221214712 1131157491 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 22996 13086 16 0 209522 0
vsize: 838152
[startup+270.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 7582
Raw data (stat): 7570 (java) R 7569 25830 25829 0 -1 0 18118 3 1 0 25993 45 0 0 25 0 11 0 780852998 858267648 23054 4294967295 134512640 134569956 3221224368 3221214384 1131255992 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 23054 13086 16 0 209522 0
vsize: 838152
[startup+280.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 7582
Raw data (stat): 7570 (java) R 7569 25830 25829 0 -1 0 18118 3 1 0 26972 46 0 0 25 0 11 0 780852998 858267648 23090 4294967295 134512640 134569956 3221224368 3221214608 1131170166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 23090 13086 16 0 209522 0
vsize: 838152
[startup+290.017 s]
Raw data (loadavg): 1.08 1.03 1.01 2/64 7582
Raw data (stat): 7570 (java) R 7569 25830 25829 0 -1 0 18118 3 1 0 27953 46 0 0 25 0 11 0 780852998 858267648 23132 4294967295 134512640 134569956 3221224368 3221213712 1131256023 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 23132 13086 16 0 209522 0
vsize: 838152
[startup+300.017 s]
Raw data (loadavg): 1.07 1.03 1.00 2/64 7584
Raw data (stat): 7570 (java) R 7569 25830 25829 0 -1 0 18118 3 1 0 28930 46 0 0 25 0 11 0 780852998 858267648 23195 4294967295 134512640 134569956 3221224368 3221214424 1131283925 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 23195 13086 16 0 209522 0
vsize: 838152
[startup+310.017 s]
Raw data (loadavg): 1.06 1.03 1.00 2/64 7584
Raw data (stat): 7570 (java) R 7569 25830 25829 0 -1 0 18118 3 1 0 29907 47 0 0 25 0 11 0 780852998 858267648 23257 4294967295 134512640 134569956 3221224368 3221214608 1131169818 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 23257 13086 16 0 209522 0
vsize: 838152
[startup+320.018 s]
Raw data (loadavg): 1.05 1.03 1.00 2/64 7584
Raw data (stat): 7570 (java) R 7569 25830 25829 0 -1 0 18118 3 1 0 30890 47 0 0 25 0 11 0 780852998 858267648 23300 4294967295 134512640 134569956 3221224368 3221214608 1131170390 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 23300 13086 16 0 209522 0
vsize: 838152
[startup+330.019 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 7584
Raw data (stat): 7570 (java) R 7569 25830 25829 0 -1 0 18118 3 1 0 31873 47 0 0 25 0 11 0 780852998 858267648 23348 4294967295 134512640 134569956 3221224368 3221214608 1131170981 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209538 23348 13086 16 0 209522 0
vsize: 838152
[startup+340.02 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 7584
Raw data (stat): 7570 (java) R 7569 25830 25829 0 -1 0 18118 3 1 0 32851 48 0 0 25 0 11 0 780852998 858267648 23392 4294967295 134512640 134569956 3221224368 3221214480 1131256077 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 23392 13086 16 0 209522 0
vsize: 838152
[startup+350.02 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 7584
Raw data (stat): 7570 (java) R 7569 25830 25829 0 -1 0 18118 3 1 0 33835 48 0 0 25 0 11 0 780852998 858267648 23432 4294967295 134512640 134569956 3221224368 3221214520 1131307552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 23432 13086 16 0 209522 0
vsize: 838152
[startup+360.021 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 7584
Raw data (stat): 7570 (java) R 7569 25830 25829 0 -1 0 18118 3 1 0 34814 48 0 0 25 0 11 0 780852998 858267648 23478 4294967295 134512640 134569956 3221224368 3221214048 1131302090 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 23478 13086 16 0 209522 0
vsize: 838152
[startup+370.021 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 7584
Raw data (stat): 7570 (java) R 7569 25830 25829 0 -1 0 18118 3 1 0 35797 49 0 0 25 0 11 0 780852998 858267648 23498 4294967295 134512640 134569956 3221224368 3221214672 1131147281 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 23498 13086 16 0 209522 0
vsize: 838152
[startup+380.023 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 7584
Raw data (stat): 7570 (java) R 7569 25830 25829 0 -1 0 18118 3 1 0 36775 49 0 0 25 0 11 0 780852998 858267648 23530 4294967295 134512640 134569956 3221224368 3221214192 1131256017 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 23530 13086 16 0 209522 0
vsize: 838152
[startup+390.023 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 7584
Raw data (stat): 7570 (java) R 7569 25830 25829 0 -1 0 18118 3 1 0 37760 49 0 0 25 0 11 0 780852998 858267648 23571 4294967295 134512640 134569956 3221224368 3221213932 1131256011 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 23571 13086 16 0 209522 0
vsize: 838152
[startup+400.023 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 7584
Raw data (stat): 7570 (java) R 7569 25830 25829 0 -1 0 18118 3 1 0 38739 49 0 0 25 0 11 0 780852998 858267648 23613 4294967295 134512640 134569956 3221224368 3221213944 1085679293 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209538 23613 13086 16 0 209522 0
vsize: 838152
[startup+410.023 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 7584
Raw data (stat): 7570 (java) R 7569 25830 25829 0 -1 0 18118 3 1 0 39720 50 0 0 25 0 11 0 780852998 858267648 23669 4294967295 134512640 134569956 3221224368 3221214712 1131157546 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 23669 13086 16 0 209522 0
vsize: 838152
[startup+420.023 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 7584
Raw data (stat): 7570 (java) R 7569 25830 25829 0 -1 0 18118 3 1 0 40706 50 0 0 25 0 11 0 780852998 858267648 23702 4294967295 134512640 134569956 3221224368 3221214392 1085679449 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209538 23702 13086 16 0 209522 0
vsize: 838152
[startup+430.024 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 7584
Raw data (stat): 7570 (java) R 7569 25830 25829 0 -1 0 18118 3 1 0 41688 50 0 0 25 0 11 0 780852998 858267648 23739 4294967295 134512640 134569956 3221224368 3221214608 1131170245 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 23739 13086 16 0 209522 0
vsize: 838152
[startup+433.785 s]
Raw data (loadavg): 1.00 1.01 1.00 1/53 7585
Raw data (stat): 7570 (java) R 7569 25830 25829 0 -1 0 18118 3 1 0 41688 50 0 0 25 0 11 0 780852998 858267648 23739 4294967295 134512640 134569956 3221224368 3221214608 1131170245 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 23739 13086 16 0 209522 0
vsize: 0

Child status: 30
Real time (s): 433.784
CPU time (s): 436.612
CPU user time (s): 435.924
CPU system time (s): 0.687895
CPU usage (%): 100.652
Max. virtual memory (Kb): 839916
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	18
#### END VERIFIER DATA ####