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-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-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.02284
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 29655

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-05-25 10:16:48 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21082 boxname=wulflinc1 idbench=1070 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  5cfd2609faa97ca60458112609ce37ee  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-stein27.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-stein27.opb
IDLAUNCH: 21082
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        692648 kB
Buffers:         29744 kB
Cached:         282688 kB
SwapCached:       3972 kB
Active:          64996 kB
Inactive:       254272 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        692396 kB
SwapTotal:     2097136 kB
SwapFree:      2092844 kB
Dirty:              60 kB
Writeback:           0 kB
Mapped:           6960 kB
Slab:            17064 kB
Committed_AS:    92712 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 10:24:10 (client local time) WITH STATUS 30 IN 450.664 SECONDS
stats: 21082 0 450.664 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/wulflinc1/normalized-mps-v2-20-10-stein27.opb
c reading problem ... done. Time 0.31 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.58 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) : 440.6
#### 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.92 0.98 0.99 2/55 20641
Raw data (stat): 20641 (runsolver) R 20640 8378 8377 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 723012793 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+9.99983 s]
Raw data (loadavg): 1.01 1.00 1.00 2/65 20653
Raw data (stat): 20641 (java) R 20640 8378 8377 0 -1 0 18116 3 1 0 701 37 0 0 25 0 11 0 723012793 859738112 20318 4294967295 134512640 134569956 3221224368 3221214216 1131246571 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209897 20318 13086 16 0 209881 0
vsize: 839588
[startup+20.0012 s]
Raw data (loadavg): 1.15 1.03 1.01 2/65 20653
Raw data (stat): 20641 (java) R 20640 8378 8377 0 -1 0 18118 3 1 0 1621 37 0 0 25 0 11 0 723012793 862294016 21452 4294967295 134512640 134569956 3221224368 3221214640 1131194755 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210521 21452 13086 16 0 210505 0
vsize: 842084
[startup+30.0014 s]
Raw data (loadavg): 1.13 1.03 1.01 2/65 20653
Raw data (stat): 20641 (java) R 20640 8378 8377 0 -1 0 18118 3 1 0 2592 37 0 0 25 0 11 0 723012793 860426240 21320 4294967295 134512640 134569956 3221224368 3221214680 1131170986 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210065 21320 13086 16 0 210049 0
vsize: 840260
[startup+40.0013 s]
Raw data (loadavg): 1.11 1.03 1.01 2/65 20653
Raw data (stat): 20641 (java) R 20640 8378 8377 0 -1 0 18118 3 1 0 3566 37 0 0 25 0 11 0 723012793 860426240 21549 4294967295 134512640 134569956 3221224368 3221214596 1131199155 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210065 21549 13086 16 0 210049 0
vsize: 840260
[startup+50.002 s]
Raw data (loadavg): 1.09 1.03 1.01 2/65 20653
Raw data (stat): 20641 (java) R 20640 8378 8377 0 -1 0 18118 3 1 0 4529 37 0 0 25 0 11 0 723012793 860426240 21807 4294967295 134512640 134569956 3221224368 3221214656 1131169903 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210065 21807 13086 16 0 210049 0
vsize: 840260
[startup+60.0018 s]
Raw data (loadavg): 1.08 1.03 1.01 2/65 20653
Raw data (stat): 20641 (java) R 20640 8378 8377 0 -1 0 18118 3 1 0 5496 37 0 0 25 0 11 0 723012793 860426240 22125 4294967295 134512640 134569956 3221224368 3221214288 1131331076 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210065 22125 13086 16 0 210049 0
vsize: 840260
[startup+70.0026 s]
Raw data (loadavg): 1.06 1.03 1.01 2/65 20653
Raw data (stat): 20641 (java) R 20640 8378 8377 0 -1 0 18118 3 1 0 6468 37 0 0 25 0 11 0 723012793 860426240 22126 4294967295 134512640 134569956 3221224368 3221214524 1131249296 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210065 22126 13086 16 0 210049 0
vsize: 840260
[startup+80.0038 s]
Raw data (loadavg): 1.05 1.02 1.00 2/65 20653
Raw data (stat): 20641 (java) R 20640 8378 8377 0 -1 0 18118 3 1 0 7437 37 0 0 25 0 11 0 723012793 860426240 22150 4294967295 134512640 134569956 3221224368 3221214432 1131447196 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210065 22150 13086 16 0 210049 0
vsize: 840260
[startup+90.0032 s]
Raw data (loadavg): 1.05 1.02 1.00 2/65 20653
Raw data (stat): 20641 (java) R 20640 8378 8377 0 -1 0 18118 3 1 0 8405 38 0 0 25 0 11 0 723012793 860426240 22278 4294967295 134512640 134569956 3221224368 3221214656 1131170005 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210065 22278 13086 16 0 210049 0
vsize: 840260
[startup+100.003 s]
Raw data (loadavg): 1.04 1.02 1.00 2/65 20653
Raw data (stat): 20641 (java) R 20640 8378 8377 0 -1 0 18118 3 1 0 9374 38 0 0 25 0 11 0 723012793 860426240 22325 4294967295 134512640 134569956 3221224368 3221214152 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210065 22325 13086 16 0 210049 0
vsize: 840260
[startup+110.003 s]
Raw data (loadavg): 1.03 1.02 1.00 2/65 20653
Raw data (stat): 20641 (java) R 20640 8378 8377 0 -1 0 18118 3 1 0 10342 38 0 0 25 0 11 0 723012793 860426240 22414 4294967295 134512640 134569956 3221224368 3221214528 1131249297 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210065 22414 13086 16 0 210049 0
vsize: 840260
[startup+120.004 s]
Raw data (loadavg): 1.03 1.02 1.00 2/65 20653
Raw data (stat): 20641 (java) R 20640 8378 8377 0 -1 0 18119 3 1 0 11310 38 0 0 25 0 11 0 723012793 860426240 22489 4294967295 134512640 134569956 3221224368 3221214240 1131249252 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210065 22489 13086 16 0 210049 0
vsize: 840260
[startup+130.003 s]
Raw data (loadavg): 1.02 1.02 1.00 2/65 20653
Raw data (stat): 20641 (java) R 20640 8378 8377 0 -1 0 18119 3 1 0 12289 38 0 0 25 0 11 0 723012793 860426240 22526 4294967295 134512640 134569956 3221224368 3221214472 1131334652 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210065 22526 13086 16 0 210049 0
vsize: 840260
[startup+140.004 s]
Raw data (loadavg): 1.02 1.02 1.00 2/65 20653
Raw data (stat): 20641 (java) S 20640 8378 8377 0 -1 0 18119 3 1 0 13250 39 0 0 25 0 11 0 723012793 860426240 22635 4294967295 134512640 134569956 3221224368 3221213360 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210065 22635 13086 16 0 210049 0
vsize: 840260
[startup+150.004 s]
Raw data (loadavg): 1.02 1.02 1.00 2/65 20653
Raw data (stat): 20641 (java) S 20640 8378 8377 0 -1 0 18119 3 1 0 14223 39 0 0 25 0 11 0 723012793 860426240 22725 4294967295 134512640 134569956 3221224368 3221213400 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210065 22725 13086 16 0 210049 0
vsize: 840260
[startup+160.004 s]
Raw data (loadavg): 1.01 1.02 1.00 2/65 20653
Raw data (stat): 20641 (java) R 20640 8378 8377 0 -1 0 18119 3 1 0 15200 39 0 0 25 0 11 0 723012793 860426240 22813 4294967295 134512640 134569956 3221224368 3221214656 1131170166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210065 22813 13086 16 0 210049 0
vsize: 840260
[startup+170.005 s]
Raw data (loadavg): 1.01 1.02 1.00 2/65 20653
Raw data (stat): 20641 (java) R 20640 8378 8377 0 -1 0 18119 3 1 0 16173 39 0 0 25 0 11 0 723012793 860426240 22898 4294967295 134512640 134569956 3221224368 3221214656 1131170193 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210065 22898 13086 16 0 210049 0
vsize: 840260
[startup+180.004 s]
Raw data (loadavg): 1.01 1.02 1.00 2/65 20653
Raw data (stat): 20641 (java) R 20640 8378 8377 0 -1 0 18119 3 1 0 17145 40 0 0 25 0 11 0 723012793 860426240 22972 4294967295 134512640 134569956 3221224368 3221214336 1131249297 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210065 22972 13086 16 0 210049 0
vsize: 840260
[startup+190.004 s]
Raw data (loadavg): 1.09 1.03 1.01 2/65 20653
Raw data (stat): 20641 (java) R 20640 8378 8377 0 -1 0 18121 3 1 0 18107 40 0 0 25 0 11 0 723012793 860426240 23067 4294967295 134512640 134569956 3221224368 3221213728 1085679305 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210065 23067 13086 16 0 210049 0
vsize: 840260
[startup+200.004 s]
Raw data (loadavg): 1.07 1.03 1.00 2/65 20653
Raw data (stat): 20641 (java) R 20640 8378 8377 0 -1 0 18121 3 1 0 19085 40 0 0 25 0 11 0 723012793 860426240 23147 4294967295 134512640 134569956 3221224368 3221214528 1131249310 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210065 23147 13086 16 0 210049 0
vsize: 840260
[startup+210.004 s]
Raw data (loadavg): 1.06 1.03 1.00 2/65 20653
Raw data (stat): 20641 (java) R 20640 8378 8377 0 -1 0 18121 3 1 0 20063 40 0 0 25 0 11 0 723012793 860426240 23230 4294967295 134512640 134569956 3221224368 3221214384 1131334460 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210065 23230 13086 16 0 210049 0
vsize: 840260
[startup+220.004 s]
Raw data (loadavg): 1.05 1.03 1.00 2/65 20653
Raw data (stat): 20641 (java) R 20640 8378 8377 0 -1 0 18121 3 1 0 21043 40 0 0 25 0 11 0 723012793 860426240 23291 4294967295 134512640 134569956 3221224368 3221214480 1131330691 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210065 23291 13086 16 0 210049 0
vsize: 840260
[startup+230.004 s]
Raw data (loadavg): 1.04 1.03 1.00 2/65 20653
Raw data (stat): 20641 (java) R 20640 8378 8377 0 -1 0 18121 3 1 0 22022 41 0 0 25 0 11 0 723012793 860426240 23338 4294967295 134512640 134569956 3221224368 3221214656 1131169789 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210065 23338 13086 16 0 210049 0
vsize: 840260
[startup+240.004 s]
Raw data (loadavg): 1.04 1.02 1.00 2/65 20653
Raw data (stat): 20641 (java) R 20640 8378 8377 0 -1 0 18121 3 1 0 23001 41 0 0 25 0 11 0 723012793 860426240 23385 4294967295 134512640 134569956 3221224368 3221214656 1131170193 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210065 23385 13086 16 0 210049 0
vsize: 840260
[startup+250.004 s]
Raw data (loadavg): 1.03 1.02 1.00 2/65 20653
Raw data (stat): 20641 (java) R 20640 8378 8377 0 -1 0 18121 3 1 0 23981 41 0 0 25 0 11 0 723012793 860426240 23425 4294967295 134512640 134569956 3221224368 3221214376 1131330650 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210065 23425 13086 16 0 210049 0
vsize: 840260
[startup+260.004 s]
Raw data (loadavg): 1.02 1.02 1.00 2/65 20653
Raw data (stat): 20641 (java) R 20640 8378 8377 0 -1 0 18121 3 1 0 24960 41 0 0 25 0 11 0 723012793 860426240 23475 4294967295 134512640 134569956 3221224368 3221214008 1131246610 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210065 23475 13086 16 0 210049 0
vsize: 840260
[startup+270.004 s]
Raw data (loadavg): 1.02 1.02 1.00 2/65 20653
Raw data (stat): 20641 (java) R 20640 8378 8377 0 -1 0 18121 3 1 0 25941 41 0 0 25 0 11 0 723012793 860426240 23524 4294967295 134512640 134569956 3221224368 3221214240 1131249297 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210065 23524 13086 16 0 210049 0
vsize: 840260
[startup+280.004 s]
Raw data (loadavg): 1.02 1.02 1.00 2/65 20653
Raw data (stat): 20641 (java) R 20640 8378 8377 0 -1 0 18121 3 1 0 26921 42 0 0 25 0 11 0 723012793 860426240 23565 4294967295 134512640 134569956 3221224368 3221214192 1131337693 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210065 23565 13086 16 0 210049 0
vsize: 840260
[startup+290.004 s]
Raw data (loadavg): 1.01 1.02 1.00 2/65 20653
Raw data (stat): 20641 (java) R 20640 8378 8377 0 -1 0 18121 3 1 0 27900 42 0 0 25 0 11 0 723012793 860426240 23601 4294967295 134512640 134569956 3221224368 3221214720 1131147264 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210065 23601 13086 16 0 210049 0
vsize: 840260
[startup+300.004 s]
Raw data (loadavg): 1.01 1.02 1.00 2/65 20653
Raw data (stat): 20641 (java) R 20640 8378 8377 0 -1 0 18121 3 1 0 28876 42 0 0 25 0 11 0 723012793 860426240 23662 4294967295 134512640 134569956 3221224368 3221214312 1131150681 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210065 23662 13086 16 0 210049 0
vsize: 840260
[startup+310.004 s]
Raw data (loadavg): 1.01 1.02 1.00 2/65 20653
Raw data (stat): 20641 (java) S 20640 8378 8377 0 -1 0 18121 3 1 0 29856 42 0 0 25 0 11 0 723012793 860426240 23711 4294967295 134512640 134569956 3221224368 3221213296 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210065 23711 13086 16 0 210049 0
vsize: 840260
[startup+320.005 s]
Raw data (loadavg): 1.01 1.02 1.00 2/65 20653
Raw data (stat): 20641 (java) R 20640 8378 8377 0 -1 0 18121 3 1 0 30836 43 0 0 25 0 11 0 723012793 860426240 23769 4294967295 134512640 134569956 3221224368 3221214100 1085679264 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210065 23769 13086 16 0 210049 0
vsize: 840260
[startup+330.005 s]
Raw data (loadavg): 1.01 1.02 1.00 2/65 20653
Raw data (stat): 20641 (java) R 20640 8378 8377 0 -1 0 18121 3 1 0 31819 43 0 0 25 0 11 0 723012793 860426240 23817 4294967295 134512640 134569956 3221224368 3221214760 1131157249 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210065 23817 13086 16 0 210049 0
vsize: 840260
[startup+340.005 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 20653
Raw data (stat): 20641 (java) R 20640 8378 8377 0 -1 0 18121 3 1 0 32802 43 0 0 25 0 11 0 723012793 860426240 23857 4294967295 134512640 134569956 3221224368 3221214332 1131249296 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210065 23857 13086 16 0 210049 0
vsize: 840260
[startup+350.005 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 20653
Raw data (stat): 20641 (java) R 20640 8378 8377 0 -1 0 18121 3 1 0 33779 43 0 0 25 0 11 0 723012793 860426240 23907 4294967295 134512640 134569956 3221224368 3221214240 1131249297 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210065 23907 13086 16 0 210049 0
vsize: 840260
[startup+360.005 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 20653
Raw data (stat): 20641 (java) R 20640 8378 8377 0 -1 0 18121 3 1 0 34757 44 0 0 25 0 11 0 723012793 860426240 23956 4294967295 134512640 134569956 3221224368 3221214608 1131194688 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210065 23956 13086 16 0 210049 0
vsize: 840260
[startup+370.006 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 20653
Raw data (stat): 20641 (java) R 20640 8378 8377 0 -1 0 18121 3 1 0 35741 44 0 0 25 0 11 0 723012793 860426240 23981 4294967295 134512640 134569956 3221224368 3221214000 1131329868 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210065 23981 13086 16 0 210049 0
vsize: 840260
[startup+380.007 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 20653
Raw data (stat): 20641 (java) R 20640 8378 8377 0 -1 0 18121 3 1 0 36724 44 0 0 25 0 11 0 723012793 860426240 24005 4294967295 134512640 134569956 3221224368 3221214656 1131170719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210065 24005 13086 16 0 210049 0
vsize: 840260
[startup+390.006 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 20653
Raw data (stat): 20641 (java) R 20640 8378 8377 0 -1 0 18121 3 1 0 37701 44 0 0 25 0 11 0 723012793 860426240 24041 4294967295 134512640 134569956 3221224368 3221214148 1131249120 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210065 24041 13086 16 0 210049 0
vsize: 840260
[startup+400.007 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 20653
Raw data (stat): 20641 (java) R 20640 8378 8377 0 -1 0 18121 3 1 0 38686 45 0 0 25 0 11 0 723012793 860426240 24083 4294967295 134512640 134569956 3221224368 3221214656 1131170455 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210065 24083 13086 16 0 210049 0
vsize: 840260
[startup+410.006 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 20653
Raw data (stat): 20641 (java) R 20640 8378 8377 0 -1 0 18121 3 1 0 39664 45 0 0 25 0 11 0 723012793 860426240 24126 4294967295 134512640 134569956 3221224368 3221214184 1131334652 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210065 24126 13086 16 0 210049 0
vsize: 840260
[startup+420.007 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 20653
Raw data (stat): 20641 (java) R 20640 8378 8377 0 -1 0 18121 3 1 0 40650 45 0 0 25 0 11 0 723012793 860426240 24167 4294967295 134512640 134569956 3221224368 3221214656 1131171004 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210065 24167 13086 16 0 210049 0
vsize: 840260
[startup+430.008 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 20653
Raw data (stat): 20641 (java) R 20640 8378 8377 0 -1 0 18121 3 1 0 41632 45 0 0 25 0 11 0 723012793 860426240 24215 4294967295 134512640 134569956 3221224368 3221214760 1131156983 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210065 24215 13086 16 0 210049 0
vsize: 840260
[startup+440.008 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 20653
Raw data (stat): 20641 (java) R 20640 8378 8377 0 -1 0 18121 3 1 0 42619 45 0 0 25 0 11 0 723012793 860426240 24237 4294967295 134512640 134569956 3221224368 3221213860 1131257356 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210065 24237 13086 16 0 210049 0
vsize: 840260
[startup+441.657 s]
Raw data (loadavg): 1.00 1.01 1.00 1/54 20654
Raw data (stat): 20641 (java) R 20640 8378 8377 0 -1 0 18121 3 1 0 42619 45 0 0 25 0 11 0 723012793 860426240 24237 4294967295 134512640 134569956 3221224368 3221213860 1131257356 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210065 24237 13086 16 0 210049 0
vsize: 0

Child status: 30
Real time (s): 441.657
CPU time (s): 450.664
CPU user time (s): 449.863
CPU system time (s): 0.801878
CPU usage (%): 102.039
Max. virtual memory (Kb): 842084
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	18
#### END VERIFIER DATA ####