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 14934

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc22 THE 2005-04-21 02:16:07 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18898 boxname=wulflinc22 idbench=1454 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  5cfd2609faa97ca60458112609ce37ee  /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-13-7-stein27.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-13-7-stein27.opb
IDLAUNCH: 18898
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.031
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	: 3
cpu MHz		: 451.031
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:        813804 kB
Buffers:         19524 kB
Cached:         171124 kB
SwapCached:         24 kB
Active:          24320 kB
Inactive:       168948 kB
HighTotal:      131008 kB
HighFree:        59024 kB
LowTotal:       903652 kB
LowFree:        754780 kB
SwapTotal:     2097892 kB
SwapFree:      2097660 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6640 kB
Slab:            21860 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 02:23:11 (client local time) WITH STATUS 30 IN 442.639 SECONDS
stats: 18898 0 442.639 30
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-13-7-stein27.opb
c reading problem 
c [nbvar=27]
c [nbconstr=145]
c time 0.465
c #vars     27
c #clauses  118
c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
c SATISFIABLE
c OPTIMIZING...
c 
c CURRENT OPTIMUM=19
c Current CPU time (ms) : 0.509
c starts	: 1
c conflicts	: 0
c decisions	: 8
c propagations	: 27
c inspects	: 103
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 1
c 
c CURRENT OPTIMUM=18
c Current CPU time (ms) : 0.712
c starts	: 2
c conflicts	: 4
c decisions	: 19
c propagations	: 69
c inspects	: 305
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 4
c root simplifications	: 2
c Total CPU time (ms) : 422.992
c 
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
#### 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.91 0.93 0.90 2/54 25899
Raw data (stat): 25899 (runsolver) R 25898 26298 26297 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 541405019 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 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.23 1.00 0.93 4/64 25911
Raw data (stat): 25899 (java) R 25898 26298 26297 0 -1 0 12232 3 2 0 572 27 0 0 25 0 11 0 541405019 881954816 19211 4294967295 134512640 134569956 3221224400 3221214760 1131279834 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215321 19212 13073 16 0 215305 0
vsize: 861284
[startup+20.0172 s]
Raw data (loadavg): 1.50 1.06 0.95 2/64 25911
Raw data (stat): 25899 (java) R 25898 26298 26297 0 -1 0 18116 3 2 0 1421 40 0 0 25 0 11 0 541405019 887738368 27157 4294967295 134512640 134569956 3221224400 3221214232 1085679356 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216733 27157 13073 16 0 216717 0
vsize: 866932
[startup+30.018 s]
Raw data (loadavg): 1.50 1.07 0.95 2/64 25911
Raw data (stat): 25899 (java) R 25898 26298 26297 0 -1 0 18117 3 2 0 2396 41 0 0 25 0 11 0 541405019 887230464 27241 4294967295 134512640 134569956 3221224400 3221214456 1085679473 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216609 27241 13073 16 0 216593 0
vsize: 866436
[startup+40.0177 s]
Raw data (loadavg): 1.42 1.07 0.95 2/64 25911
Raw data (stat): 25899 (java) R 25898 26298 26297 0 -1 0 18117 3 2 0 3374 41 0 0 25 0 11 0 541405019 887230464 27454 4294967295 134512640 134569956 3221224400 3221214532 1131449984 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216609 27454 13073 16 0 216593 0
vsize: 866436
[startup+50.018 s]
Raw data (loadavg): 1.36 1.07 0.95 2/64 25911
Raw data (stat): 25899 (java) R 25898 26298 26297 0 -1 0 18117 3 2 0 4349 41 0 0 25 0 11 0 541405019 887230464 27643 4294967295 134512640 134569956 3221224400 3221214148 1131435723 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216609 27643 13073 16 0 216593 0
vsize: 866436
[startup+60.0183 s]
Raw data (loadavg): 1.30 1.07 0.95 2/64 25911
Raw data (stat): 25899 (java) R 25898 26298 26297 0 -1 0 18117 3 2 0 5319 41 0 0 25 0 11 0 541405019 887230464 27821 4294967295 134512640 134569956 3221224400 3221214016 1131435791 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216609 27821 13073 16 0 216593 0
vsize: 866436
[startup+70.0182 s]
Raw data (loadavg): 1.25 1.06 0.95 2/64 25911
Raw data (stat): 25899 (java) R 25898 26298 26297 0 -1 0 18117 3 2 0 6294 42 0 0 25 0 11 0 541405019 887230464 27970 4294967295 134512640 134569956 3221224400 3221214672 1131377596 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216609 27970 13073 16 0 216593 0
vsize: 866436
[startup+80.0191 s]
Raw data (loadavg): 1.22 1.06 0.95 2/64 25911
Raw data (stat): 25899 (java) R 25898 26298 26297 0 -1 0 18117 3 2 0 7268 42 0 0 25 0 11 0 541405019 887230464 28101 4294967295 134512640 134569956 3221224400 3221214344 1085679452 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216609 28101 13073 16 0 216593 0
vsize: 866436
[startup+90.0193 s]
Raw data (loadavg): 1.18 1.06 0.95 2/64 25911
Raw data (stat): 25899 (java) R 25898 26298 26297 0 -1 0 18117 3 2 0 8239 43 0 0 25 0 11 0 541405019 887230464 28212 4294967295 134512640 134569956 3221224400 3221214072 1131435676 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216609 28212 13073 16 0 216593 0
vsize: 866436
[startup+100.019 s]
Raw data (loadavg): 1.15 1.06 0.95 2/64 25911
Raw data (stat): 25899 (java) R 25898 26298 26297 0 -1 0 18117 3 2 0 9200 43 0 0 25 0 11 0 541405019 887230464 28452 4294967295 134512640 134569956 3221224400 3221214688 1131156203 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216609 28452 13073 16 0 216593 0
vsize: 866436
[startup+110.02 s]
Raw data (loadavg): 1.13 1.05 0.95 2/64 25911
Raw data (stat): 25899 (java) R 25898 26298 26297 0 -1 0 18117 3 2 0 10176 43 0 0 25 0 11 0 541405019 887230464 28551 4294967295 134512640 134569956 3221224400 3221214480 1131434550 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216609 28551 13073 16 0 216593 0
vsize: 866436
[startup+120.02 s]
Raw data (loadavg): 1.11 1.05 0.95 2/64 25911
Raw data (stat): 25899 (java) R 25898 26298 26297 0 -1 0 18117 3 2 0 11152 43 0 0 25 0 11 0 541405019 887230464 28629 4294967295 134512640 134569956 3221224400 3221214400 1131434574 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216609 28629 13073 16 0 216593 0
vsize: 866436
[startup+130.02 s]
Raw data (loadavg): 1.09 1.05 0.95 2/64 25911
Raw data (stat): 25899 (java) S 25898 26298 26297 0 -1 0 18117 3 2 0 12132 44 0 0 25 0 11 0 541405019 887230464 28684 4294967295 134512640 134569956 3221224400 3221213400 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216609 28684 13073 16 0 216593 0
vsize: 866436
[startup+140.021 s]
Raw data (loadavg): 1.08 1.05 0.95 2/64 25911
Raw data (stat): 25899 (java) R 25898 26298 26297 0 -1 0 18117 3 2 0 13105 44 0 0 25 0 11 0 541405019 887230464 28767 4294967295 134512640 134569956 3221224400 3221214228 1131434603 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216609 28767 13073 16 0 216593 0
vsize: 866436
[startup+150.021 s]
Raw data (loadavg): 1.06 1.05 0.95 2/64 25911
Raw data (stat): 25899 (java) R 25898 26298 26297 0 -1 0 18117 3 2 0 14090 44 0 0 25 0 11 0 541405019 887230464 28811 4294967295 134512640 134569956 3221224400 3221214040 1131442746 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216609 28811 13073 16 0 216593 0
vsize: 866436
[startup+160.02 s]
Raw data (loadavg): 1.05 1.04 0.95 2/64 25911
Raw data (stat): 25899 (java) R 25898 26298 26297 0 -1 0 18117 3 2 0 15068 45 0 0 25 0 11 0 541405019 887230464 28876 4294967295 134512640 134569956 3221224400 3221214352 1131435649 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216609 28876 13073 16 0 216593 0
vsize: 866436
[startup+170.025 s]
Raw data (loadavg): 1.05 1.04 0.95 2/64 25911
Raw data (stat): 25899 (java) R 25898 26298 26297 0 -1 0 18117 3 2 0 16046 45 0 0 25 0 11 0 541405019 887230464 28948 4294967295 134512640 134569956 3221224400 3221213984 1131442920 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216609 28948 13073 16 0 216593 0
vsize: 866436
[startup+180.025 s]
Raw data (loadavg): 1.04 1.04 0.95 2/64 25911
Raw data (stat): 25899 (java) R 25898 26298 26297 0 -1 0 18117 3 2 0 17025 46 0 0 25 0 11 0 541405019 887230464 29015 4294967295 134512640 134569956 3221224400 3221214544 1085679325 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216609 29015 13073 16 0 216593 0
vsize: 866436
[startup+190.025 s]
Raw data (loadavg): 1.03 1.04 0.95 2/64 25911
Raw data (stat): 25899 (java) R 25898 26298 26297 0 -1 0 18117 3 2 0 18003 46 0 0 25 0 11 0 541405019 887230464 29073 4294967295 134512640 134569956 3221224400 3221214760 1131270848 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216609 29073 13073 16 0 216593 0
vsize: 866436
[startup+200.026 s]
Raw data (loadavg): 1.03 1.04 0.95 2/64 25911
Raw data (stat): 25899 (java) R 25898 26298 26297 0 -1 0 18117 3 2 0 18983 46 0 0 25 0 11 0 541405019 887230464 29125 4294967295 134512640 134569956 3221224400 3221214760 1131271200 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216609 29125 13073 16 0 216593 0
vsize: 866436
[startup+210.026 s]
Raw data (loadavg): 1.02 1.03 0.95 2/64 25911
Raw data (stat): 25899 (java) R 25898 26298 26297 0 -1 0 18118 3 2 0 19963 46 0 0 25 0 11 0 541405019 887230464 29176 4294967295 134512640 134569956 3221224400 3221214760 1131269240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216609 29176 13073 16 0 216593 0
vsize: 866436
[startup+220.026 s]
Raw data (loadavg): 1.02 1.03 0.95 2/64 25911
Raw data (stat): 25899 (java) R 25898 26298 26297 0 -1 0 18118 3 2 0 20944 47 0 0 25 0 11 0 541405019 887230464 29237 4294967295 134512640 134569956 3221224400 3221214756 1131152556 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216609 29237 13073 16 0 216593 0
vsize: 866436
[startup+230.028 s]
Raw data (loadavg): 1.02 1.03 0.95 2/64 25911
Raw data (stat): 25899 (java) R 25898 26298 26297 0 -1 0 18118 3 2 0 21926 47 0 0 25 0 11 0 541405019 887230464 29293 4294967295 134512640 134569956 3221224400 3221214560 1131434626 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216609 29293 13073 16 0 216593 0
vsize: 866436
[startup+240.028 s]
Raw data (loadavg): 1.01 1.03 0.95 2/64 25911
Raw data (stat): 25899 (java) R 25898 26298 26297 0 -1 0 18118 3 2 0 22908 48 0 0 25 0 11 0 541405019 887230464 29335 4294967295 134512640 134569956 3221224400 3221214184 1131435791 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216609 29335 13073 16 0 216593 0
vsize: 866436
[startup+250.028 s]
Raw data (loadavg): 1.01 1.03 0.95 2/64 25911
Raw data (stat): 25899 (java) R 25898 26298 26297 0 -1 0 18118 3 2 0 23890 48 0 0 25 0 11 0 541405019 887230464 29377 4294967295 134512640 134569956 3221224400 3221214760 1131270787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216609 29377 13073 16 0 216593 0
vsize: 866436
[startup+260.029 s]
Raw data (loadavg): 1.01 1.03 0.95 2/64 25911
Raw data (stat): 25899 (java) R 25898 26298 26297 0 -1 0 18118 3 2 0 24872 48 0 0 25 0 11 0 541405019 887230464 29420 4294967295 134512640 134569956 3221224400 3221214600 1131164654 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216609 29420 13073 16 0 216593 0
vsize: 866436
[startup+270.03 s]
Raw data (loadavg): 1.01 1.03 0.95 2/64 25911
Raw data (stat): 25899 (java) R 25898 26298 26297 0 -1 0 18118 3 2 0 25855 48 0 0 25 0 11 0 541405019 887230464 29468 4294967295 134512640 134569956 3221224400 3221214760 1131269275 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216609 29468 13073 16 0 216593 0
vsize: 866436
[startup+280.03 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 25911
Raw data (stat): 25899 (java) R 25898 26298 26297 0 -1 0 18118 3 2 0 26832 48 0 0 25 0 11 0 541405019 887230464 29537 4294967295 134512640 134569956 3221224400 3221214664 1131156191 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216609 29537 13073 16 0 216593 0
vsize: 866436
[startup+290.031 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 25911
Raw data (stat): 25899 (java) R 25898 26298 26297 0 -1 0 18118 3 2 0 27816 48 0 0 25 0 11 0 541405019 887230464 29574 4294967295 134512640 134569956 3221224400 3221214452 1131450016 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216609 29574 13073 16 0 216593 0
vsize: 866436
[startup+300.031 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 25911
Raw data (stat): 25899 (java) R 25898 26298 26297 0 -1 0 18118 3 2 0 28799 49 0 0 25 0 11 0 541405019 887230464 29612 4294967295 134512640 134569956 3221224400 3221214924 1131449673 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216609 29612 13073 16 0 216593 0
vsize: 866436
[startup+310.032 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 25911
Raw data (stat): 25899 (java) R 25898 26298 26297 0 -1 0 18118 3 2 0 29779 49 0 0 25 0 11 0 541405019 887230464 29668 4294967295 134512640 134569956 3221224400 3221213876 1131435728 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216609 29668 13073 16 0 216593 0
vsize: 866436
[startup+320.032 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 25911
Raw data (stat): 25899 (java) R 25898 26298 26297 0 -1 0 18118 3 2 0 30764 49 0 0 25 0 11 0 541405019 887230464 29700 4294967295 134512640 134569956 3221224400 3221214044 1131435672 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216609 29700 13073 16 0 216593 0
vsize: 866436
[startup+330.032 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 25911
Raw data (stat): 25899 (java) R 25898 26298 26297 0 -1 0 18118 3 2 0 31746 49 0 0 25 0 11 0 541405019 887230464 29745 4294967295 134512640 134569956 3221224400 3221214760 1131272491 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216609 29745 13073 16 0 216593 0
vsize: 866436
[startup+340.033 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 25911
Raw data (stat): 25899 (java) R 25898 26298 26297 0 -1 0 18118 3 2 0 32732 50 0 0 25 0 11 0 541405019 887230464 29783 4294967295 134512640 134569956 3221224400 3221214264 1131442948 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216609 29783 13073 16 0 216593 0
vsize: 866436
[startup+350.032 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 25911
Raw data (stat): 25899 (java) R 25898 26298 26297 0 -1 0 18118 3 2 0 33713 50 0 0 25 0 11 0 541405019 887230464 29831 4294967295 134512640 134569956 3221224400 3221214232 1131434620 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216609 29831 13073 16 0 216593 0
vsize: 866436
[startup+360.032 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 25911
Raw data (stat): 25899 (java) R 25898 26298 26297 0 -1 0 18118 3 2 0 34700 51 0 0 25 0 11 0 541405019 887230464 29861 4294967295 134512640 134569956 3221224400 3221214160 1131435577 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216609 29861 13073 16 0 216593 0
vsize: 866436
[startup+370.032 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 25911
Raw data (stat): 25899 (java) R 25898 26298 26297 0 -1 0 18118 3 2 0 35683 51 0 0 25 0 11 0 541405019 887230464 29895 4294967295 134512640 134569956 3221224400 3221214264 1085632310 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216609 29895 13073 16 0 216593 0
vsize: 866436
[startup+380.032 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 25911
Raw data (stat): 25899 (java) R 25898 26298 26297 0 -1 0 18118 3 2 0 36669 51 0 0 25 0 11 0 541405019 887230464 29919 4294967295 134512640 134569956 3221224400 3221214344 1131434620 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216609 29919 13073 16 0 216593 0
vsize: 866436
[startup+390.032 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 25911
Raw data (stat): 25899 (java) R 25898 26298 26297 0 -1 0 18118 3 2 0 37653 51 0 0 25 0 11 0 541405019 887230464 29949 4294967295 134512640 134569956 3221224400 3221214664 1131157156 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216609 29949 13073 16 0 216593 0
vsize: 866436
[startup+400.032 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 25911
Raw data (stat): 25899 (java) R 25898 26298 26297 0 -1 0 18118 3 2 0 38635 52 0 0 25 0 11 0 541405019 887230464 29982 4294967295 134512640 134569956 3221224400 3221214128 1085632301 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216609 29982 13073 16 0 216593 0
vsize: 866436
[startup+410.032 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 25911
Raw data (stat): 25899 (java) R 25898 26298 26297 0 -1 0 18118 3 2 0 39619 52 0 0 25 0 11 0 541405019 887230464 30006 4294967295 134512640 134569956 3221224400 3221214760 1131271292 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216609 30006 13073 16 0 216593 0
vsize: 866436
[startup+420.032 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 25911
Raw data (stat): 25899 (java) R 25898 26298 26297 0 -1 0 18118 3 2 0 40603 52 0 0 24 0 11 0 541405019 887230464 30037 4294967295 134512640 134569956 3221224400 3221214656 1131153901 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216609 30037 13073 16 0 216593 0
vsize: 866436
[startup+423.75 s]
Raw data (loadavg): 1.00 1.01 0.95 1/53 25912
Raw data (stat): 25899 (java) R 25898 26298 26297 0 -1 0 18118 3 2 0 40603 52 0 0 24 0 11 0 541405019 887230464 30037 4294967295 134512640 134569956 3221224400 3221214656 1131153901 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216609 30037 13073 16 0 216593 0
vsize: 0

Child status: 30
Real time (s): 423.75
CPU time (s): 442.639
CPU user time (s): 441.401
CPU system time (s): 1.23781
CPU usage (%): 104.457
Max. virtual memory (Kb): 866932
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	18
#### END VERIFIER DATA ####