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/miplib3/normalized-mps-v2-13-7-stein27.opb
MD5SUM	5cfd2609faa97ca60458112609ce37ee
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.01684
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 30044

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc10 THE 2005-05-25 14:23:00 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21466 boxname=wulflinc10 idbench=1454 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  5cfd2609faa97ca60458112609ce37ee  /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-13-7-stein27.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-13-7-stein27.opb
IDLAUNCH: 21466
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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	: 2
cpu MHz		: 450.999
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:        672688 kB
Buffers:         31820 kB
Cached:         308360 kB
SwapCached:         92 kB
Active:          55888 kB
Inactive:       286940 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        672436 kB
SwapTotal:     2097136 kB
SwapFree:      2096752 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6392 kB
Slab:            13348 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 14:30:28 (client local time) WITH STATUS 30 IN 459.083 SECONDS
stats: 21466 0 459.083 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/wulflinc10/normalized-mps-v2-13-7-stein27.opb
c reading problem ... done. Time 0.309 ms.
c #vars     27
c #constraints  118
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                  19 		Current CPU time: 0.35 ms
c CURRENT OPTIMUM=                  18 		Current CPU time: 0.59 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) : 447.232
#### 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 31172
Raw data (stat): 31172 (runsolver) R 31171 15547 15546 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 781359886 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.0005 s]
Raw data (loadavg): 1.16 1.04 1.01 3/64 31184
Raw data (stat): 31172 (java) R 31171 15547 15546 0 -1 0 18126 3 1 0 696 37 0 0 25 0 11 0 781359886 862838784 20707 4294967295 134512640 134569956 3221224368 3221214680 1131169804 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210654 20707 13086 16 0 210638 0
vsize: 842616
[startup+20.0463 s]
Raw data (loadavg): 1.13 1.04 1.01 2/64 31184
Raw data (stat): 31172 (java) R 31171 15547 15546 0 -1 0 18127 3 1 0 1639 37 0 0 25 0 11 0 781359886 864870400 22157 4294967295 134512640 134569956 3221224368 3221214268 1131255312 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211150 22157 13086 16 0 211134 0
vsize: 844600
[startup+30.0496 s]
Raw data (loadavg): 1.11 1.03 1.01 2/64 31184
Raw data (stat): 31172 (java) S 31171 15547 15546 0 -1 0 18127 3 1 0 2615 37 0 0 25 0 11 0 781359886 863887360 21976 4294967295 134512640 134569956 3221224368 3221213320 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210910 21976 13086 16 0 210894 0
vsize: 843640
[startup+40.0491 s]
Raw data (loadavg): 1.10 1.03 1.01 2/64 31184
Raw data (stat): 31172 (java) R 31171 15547 15546 0 -1 0 18127 3 1 0 3586 37 0 0 25 0 11 0 781359886 863887360 22282 4294967295 134512640 134569956 3221224368 3221214504 1131483140 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210910 22282 13086 16 0 210894 0
vsize: 843640
[startup+50.0501 s]
Raw data (loadavg): 1.08 1.03 1.01 2/64 31184
Raw data (stat): 31172 (java) R 31171 15547 15546 0 -1 0 18127 3 1 0 4557 37 0 0 25 0 11 0 781359886 863887360 22476 4294967295 134512640 134569956 3221224368 3221214808 1131150681 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210910 22476 13086 16 0 210894 0
vsize: 843640
[startup+60.0501 s]
Raw data (loadavg): 1.07 1.03 1.01 2/64 31184
Raw data (stat): 31172 (java) R 31171 15547 15546 0 -1 0 18127 3 1 0 5516 38 0 0 25 0 11 0 781359886 863887360 22859 4294967295 134512640 134569956 3221224368 3221214048 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210910 22859 13086 16 0 210894 0
vsize: 843640
[startup+70.0506 s]
Raw data (loadavg): 1.06 1.03 1.00 2/64 31184
Raw data (stat): 31172 (java) R 31171 15547 15546 0 -1 0 18127 3 1 0 6489 38 0 0 25 0 11 0 781359886 863887360 22859 4294967295 134512640 134569956 3221224368 3221214052 1131255312 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210910 22859 13086 16 0 210894 0
vsize: 843640
[startup+80.0516 s]
Raw data (loadavg): 1.05 1.03 1.00 2/64 31184
Raw data (stat): 31172 (java) R 31171 15547 15546 0 -1 0 18127 3 1 0 7459 38 0 0 25 0 11 0 781359886 863887360 22883 4294967295 134512640 134569956 3221224368 3221214020 1131255312 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210910 22883 13086 16 0 210894 0
vsize: 843640
[startup+90.0508 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 31184
Raw data (stat): 31172 (java) R 31171 15547 15546 0 -1 0 18127 3 1 0 8428 38 0 0 25 0 11 0 781359886 863887360 23011 4294967295 134512640 134569956 3221224368 3221214020 1131255256 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210910 23011 13086 16 0 210894 0
vsize: 843640
[startup+100.05 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 31184
Raw data (stat): 31172 (java) R 31171 15547 15546 0 -1 0 18127 3 1 0 9408 38 0 0 25 0 11 0 781359886 863887360 23012 4294967295 134512640 134569956 3221224368 3221214656 1131170166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210910 23012 13086 16 0 210894 0
vsize: 843640
[startup+110.05 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 31184
Raw data (stat): 31172 (java) R 31171 15547 15546 0 -1 0 18127 3 1 0 10377 38 0 0 25 0 11 0 781359886 863887360 23105 4294967295 134512640 134569956 3221224368 3221214072 1131254060 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210910 23105 13086 16 0 210894 0
vsize: 843640
[startup+120.051 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 31184
Raw data (stat): 31172 (java) R 31171 15547 15546 0 -1 0 18127 3 1 0 11346 38 0 0 25 0 11 0 781359886 863887360 23181 4294967295 134512640 134569956 3221224368 3221214656 1131169793 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210910 23181 13086 16 0 210894 0
vsize: 843640
[startup+130.05 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 31184
Raw data (stat): 31172 (java) R 31171 15547 15546 0 -1 0 18128 3 1 0 12315 38 0 0 25 0 11 0 781359886 863887360 23259 4294967295 134512640 134569956 3221224368 3221214720 1131147281 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 23259 13086 16 0 210894 0
vsize: 843640
[startup+140.05 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 31184
Raw data (stat): 31172 (java) R 31171 15547 15546 0 -1 0 18128 3 1 0 13285 38 0 0 25 0 11 0 781359886 863887360 23367 4294967295 134512640 134569956 3221224368 3221214656 1131170224 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210910 23367 13086 16 0 210894 0
vsize: 843640
[startup+150.05 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 31184
Raw data (stat): 31172 (java) R 31171 15547 15546 0 -1 0 18128 3 1 0 14257 38 0 0 25 0 11 0 781359886 863887360 23456 4294967295 134512640 134569956 3221224368 3221213992 1131208408 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210910 23456 13086 16 0 210894 0
vsize: 843640
[startup+160.05 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 31184
Raw data (stat): 31172 (java) R 31171 15547 15546 0 -1 0 18128 3 1 0 15229 38 0 0 25 0 11 0 781359886 863887360 23546 4294967295 134512640 134569956 3221224368 3221214656 1131169797 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210910 23546 13086 16 0 210894 0
vsize: 843640
[startup+170.054 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 31184
Raw data (stat): 31172 (java) S 31171 15547 15546 0 -1 0 18128 3 1 0 16212 38 0 0 25 0 11 0 781359886 863887360 23600 4294967295 134512640 134569956 3221224368 3221213320 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210910 23600 13086 16 0 210894 0
vsize: 843640
[startup+180.054 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 31184
Raw data (stat): 31172 (java) R 31171 15547 15546 0 -1 0 18128 3 1 0 17187 38 0 0 25 0 11 0 781359886 863887360 23680 4294967295 134512640 134569956 3221224368 3221214416 1131255319 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210910 23680 13086 16 0 210894 0
vsize: 843640
[startup+190.053 s]
Raw data (loadavg): 1.00 1.02 1.00 3/64 31184
Raw data (stat): 31172 (java) R 31171 15547 15546 0 -1 0 18128 3 1 0 18161 38 0 0 25 0 11 0 781359886 863887360 23765 4294967295 134512640 134569956 3221224368 3221214680 1131532486 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 23765 13086 16 0 210894 0
vsize: 843640
[startup+200.055 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 31184
Raw data (stat): 31172 (java) R 31171 15547 15546 0 -1 0 18128 3 1 0 19140 39 0 0 25 0 11 0 781359886 863887360 23853 4294967295 134512640 134569956 3221224368 3221213944 1131255377 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210910 23853 13086 16 0 210894 0
vsize: 843640
[startup+210.055 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 31184
Raw data (stat): 31172 (java) R 31171 15547 15546 0 -1 0 18128 3 1 0 20121 39 0 0 25 0 11 0 781359886 863887360 23933 4294967295 134512640 134569956 3221224368 3221214188 1131255312 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210910 23933 13086 16 0 210894 0
vsize: 843640
[startup+220.055 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 31184
Raw data (stat): 31172 (java) R 31171 15547 15546 0 -1 0 18128 3 1 0 21101 39 0 0 25 0 11 0 781359886 863887360 24005 4294967295 134512640 134569956 3221224368 3221214720 1131147285 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210910 24005 13086 16 0 210894 0
vsize: 843640
[startup+230.055 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 31184
Raw data (stat): 31172 (java) R 31171 15547 15546 0 -1 0 18128 3 1 0 22082 39 0 0 25 0 11 0 781359886 863887360 24049 4294967295 134512640 134569956 3221224368 3221214656 1131170495 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 24049 13086 16 0 210894 0
vsize: 843640
[startup+240.054 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 31184
Raw data (stat): 31172 (java) R 31171 15547 15546 0 -1 0 18128 3 1 0 23062 39 0 0 25 0 11 0 781359886 863887360 24101 4294967295 134512640 134569956 3221224368 3221214472 1131255292 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210910 24101 13086 16 0 210894 0
vsize: 843640
[startup+250.054 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 31184
Raw data (stat): 31172 (java) R 31171 15547 15546 0 -1 0 18128 3 1 0 24043 39 0 0 25 0 11 0 781359886 863887360 24141 4294967295 134512640 134569956 3221224368 3221214760 1131157579 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210910 24141 13086 16 0 210894 0
vsize: 843640
[startup+260.054 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 31184
Raw data (stat): 31172 (java) R 31171 15547 15546 0 -1 0 18128 3 1 0 25023 39 0 0 25 0 11 0 781359886 863887360 24187 4294967295 134512640 134569956 3221224368 3221214192 1131255252 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210910 24187 13086 16 0 210894 0
vsize: 843640
[startup+270.054 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 31184
Raw data (stat): 31172 (java) R 31171 15547 15546 0 -1 0 18128 3 1 0 26004 39 0 0 25 0 11 0 781359886 863887360 24238 4294967295 134512640 134569956 3221224368 3221214720 1131147264 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210910 24238 13086 16 0 210894 0
vsize: 843640
[startup+280.054 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 31184
Raw data (stat): 31172 (java) R 31171 15547 15546 0 -1 0 18128 3 1 0 26985 39 0 0 25 0 11 0 781359886 863887360 24280 4294967295 134512640 134569956 3221224368 3221214360 1131255205 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210910 24280 13086 16 0 210894 0
vsize: 843640
[startup+290.055 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 31184
Raw data (stat): 31172 (java) R 31171 15547 15546 0 -1 0 18128 3 1 0 27966 39 0 0 25 0 11 0 781359886 863887360 24316 4294967295 134512640 134569956 3221224368 3221214656 1131170112 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210910 24316 13086 16 0 210894 0
vsize: 843640
[startup+300.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31184
Raw data (stat): 31172 (java) R 31171 15547 15546 0 -1 0 18128 3 1 0 28948 39 0 0 25 0 11 0 781359886 863887360 24358 4294967295 134512640 134569956 3221224368 3221213952 1131290005 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210910 24358 13086 16 0 210894 0
vsize: 843640
[startup+310.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31184
Raw data (stat): 31172 (java) R 31171 15547 15546 0 -1 0 18128 3 1 0 29926 39 0 0 25 0 11 0 781359886 863887360 24421 4294967295 134512640 134569956 3221224368 3221214720 1131147257 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210910 24421 13086 16 0 210894 0
vsize: 843640
[startup+320.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31184
Raw data (stat): 31172 (java) R 31171 15547 15546 0 -1 0 18128 3 1 0 30905 39 0 0 24 0 11 0 781359886 863887360 24483 4294967295 134512640 134569956 3221224368 3221213856 1131255319 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210910 24483 13086 16 0 210894 0
vsize: 843640
[startup+330.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31184
Raw data (stat): 31172 (java) R 31171 15547 15546 0 -1 0 18128 3 1 0 31888 39 0 0 25 0 11 0 781359886 863887360 24526 4294967295 134512640 134569956 3221224368 3221213968 1085679284 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210910 24526 13086 16 0 210894 0
vsize: 843640
[startup+340.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31184
Raw data (stat): 31172 (java) R 31171 15547 15546 0 -1 0 18128 3 1 0 32872 39 0 0 25 0 11 0 781359886 863887360 24574 4294967295 134512640 134569956 3221224368 3221214520 1131254057 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210910 24574 13086 16 0 210894 0
vsize: 843640
[startup+350.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31184
Raw data (stat): 31172 (java) R 31171 15547 15546 0 -1 0 18128 3 1 0 33855 39 0 0 25 0 11 0 781359886 863887360 24608 4294967295 134512640 134569956 3221224368 3221214048 1085632301 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210910 24608 13086 16 0 210894 0
vsize: 843640
[startup+360.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31184
Raw data (stat): 31172 (java) R 31171 15547 15546 0 -1 0 18128 3 1 0 34834 39 0 0 25 0 11 0 781359886 863887360 24658 4294967295 134512640 134569956 3221224368 3221214720 1131147267 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210910 24658 13086 16 0 210894 0
vsize: 843640
[startup+370.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31184
Raw data (stat): 31172 (java) R 31171 15547 15546 0 -1 0 18128 3 1 0 35819 39 0 0 25 0 11 0 781359886 863887360 24696 4294967295 134512640 134569956 3221224368 3221214516 1131255398 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210910 24696 13086 16 0 210894 0
vsize: 843640
[startup+380.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31184
Raw data (stat): 31172 (java) R 31171 15547 15546 0 -1 0 18128 3 1 0 36798 39 0 0 25 0 11 0 781359886 863887360 24724 4294967295 134512640 134569956 3221224368 3221213856 1085679482 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210910 24724 13086 16 0 210894 0
vsize: 843640
[startup+390.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31184
Raw data (stat): 31172 (java) R 31171 15547 15546 0 -1 0 18128 3 1 0 37781 39 0 0 25 0 11 0 781359886 863887360 24747 4294967295 134512640 134569956 3221224368 3221214120 1131428112 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 24747 13086 16 0 210894 0
vsize: 843640
[startup+400.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31184
Raw data (stat): 31172 (java) R 31171 15547 15546 0 -1 0 18128 3 1 0 38767 39 0 0 25 0 11 0 781359886 863887360 24782 4294967295 134512640 134569956 3221224368 3221214760 1131157238 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210910 24782 13086 16 0 210894 0
vsize: 843640
[startup+410.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31184
Raw data (stat): 31172 (java) R 31171 15547 15546 0 -1 0 18128 3 1 0 39746 39 0 0 25 0 11 0 781359886 863887360 24830 4294967295 134512640 134569956 3221224368 3221214052 1131255312 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210910 24830 13086 16 0 210894 0
vsize: 843640
[startup+420.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31184
Raw data (stat): 31172 (java) R 31171 15547 15546 0 -1 0 18128 3 1 0 40732 39 0 0 25 0 11 0 781359886 863887360 24869 4294967295 134512640 134569956 3221224368 3221214656 1131169861 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210910 24869 13086 16 0 210894 0
vsize: 843640
[startup+430.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31184
Raw data (stat): 31172 (java) R 31171 15547 15546 0 -1 0 18128 3 1 0 41714 39 0 0 25 0 11 0 781359886 863887360 24917 4294967295 134512640 134569956 3221224368 3221214064 1131254207 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210910 24917 13086 16 0 210894 0
vsize: 843640
[startup+440.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31184
Raw data (stat): 31172 (java) R 31171 15547 15546 0 -1 0 18128 3 1 0 42702 39 0 0 25 0 11 0 781359886 863887360 24951 4294967295 134512640 134569956 3221224368 3221214112 1131255252 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210910 24951 13086 16 0 210894 0
vsize: 843640
[startup+448.29 s]
Raw data (loadavg): 1.00 1.00 1.00 1/53 31185
Raw data (stat): 31172 (java) R 31171 15547 15546 0 -1 0 18128 3 1 0 42702 39 0 0 25 0 11 0 781359886 863887360 24951 4294967295 134512640 134569956 3221224368 3221214112 1131255252 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210910 24951 13086 16 0 210894 0
vsize: 0

Child status: 30
Real time (s): 448.29
CPU time (s): 459.083
CPU user time (s): 458.29
CPU system time (s): 0.792879
CPU usage (%): 102.408
Max. virtual memory (Kb): 844600
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	18
#### END VERIFIER DATA ####