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 20992

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-04-21 22:33:59 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=13906 boxname=wulflinc31 idbench=1070 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  5cfd2609faa97ca60458112609ce37ee  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-stein27.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-stein27.opb
IDLAUNCH: 13906
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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.153
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:        747844 kB
Buffers:         14344 kB
Cached:         248100 kB
SwapCached:        580 kB
Active:          56284 kB
Inactive:       208076 kB
HighTotal:      131008 kB
HighFree:          616 kB
LowTotal:       903652 kB
LowFree:        747228 kB
SwapTotal:     2097892 kB
SwapFree:      2096356 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5024 kB
Slab:            16744 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 22:41:11 (client local time) WITH STATUS 30 IN 437.471 SECONDS
stats: 13906 0 437.471 30
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-stein27.opb
c reading problem 
c [nbvar=27]
c [nbconstr=145]
c time 0.46
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.502
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.697
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) : 430.948
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.82 0.90 0.90 2/54 3365
Raw data (stat): 3365 (runsolver) R 3364 23176 23175 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 548700661 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0014 s]
Raw data (loadavg): 1.16 0.97 0.92 4/64 3377
Raw data (stat): 3365 (java) R 3364 23176 23175 0 -1 0 13248 4 1 0 633 30 0 0 25 0 11 0 548700661 884535296 20739 4294967295 134512640 134569956 3221224400 3221214520 1130919103 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215951 20739 13073 16 0 215935 0
vsize: 863804
[startup+20.0024 s]
Raw data (loadavg): 1.28 1.00 0.93 2/64 3377
Raw data (stat): 3365 (java) R 3364 23176 23175 0 -1 0 18135 4 1 0 1367 42 0 0 25 0 11 0 548700661 888295424 27122 4294967295 134512640 134569956 3221224400 3221214848 1131146460 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216869 27122 13073 16 0 216853 0
vsize: 867476
[startup+30.0029 s]
Raw data (loadavg): 1.24 1.00 0.93 2/64 3377
Raw data (stat): 3365 (java) R 3364 23176 23175 0 -1 0 18135 4 1 0 2335 42 0 0 25 0 11 0 548700661 886669312 27109 4294967295 134512640 134569956 3221224400 3221214308 1131449920 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216472 27109 13073 16 0 216456 0
vsize: 865888
[startup+40.0043 s]
Raw data (loadavg): 1.20 1.00 0.93 2/64 3377
Raw data (stat): 3365 (java) R 3364 23176 23175 0 -1 0 18135 4 1 0 3313 43 0 0 25 0 11 0 548700661 886669312 27322 4294967295 134512640 134569956 3221224400 3221214600 1131410701 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216472 27322 13073 16 0 216456 0
vsize: 865888
[startup+50.0052 s]
Raw data (loadavg): 1.17 1.00 0.93 2/64 3377
Raw data (stat): 3365 (java) R 3364 23176 23175 0 -1 0 18136 4 1 0 4285 43 0 0 25 0 11 0 548700661 886669312 27512 4294967295 134512640 134569956 3221224400 3221214736 1131227407 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216472 27512 13073 16 0 216456 0
vsize: 865888
[startup+60.0056 s]
Raw data (loadavg): 1.14 1.00 0.93 2/64 3377
Raw data (stat): 3365 (java) R 3364 23176 23175 0 -1 0 18136 4 1 0 5263 43 0 0 25 0 11 0 548700661 886669312 27645 4294967295 134512640 134569956 3221224400 3221214648 1131391164 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216472 27645 13073 16 0 216456 0
vsize: 865888
[startup+70.007 s]
Raw data (loadavg): 1.12 1.00 0.93 2/64 3377
Raw data (stat): 3365 (java) R 3364 23176 23175 0 -1 0 18136 4 1 0 6230 44 0 0 25 0 11 0 548700661 886669312 27840 4294967295 134512640 134569956 3221224400 3221214456 1085679331 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216472 27840 13073 16 0 216456 0
vsize: 865888
[startup+80.0079 s]
Raw data (loadavg): 1.10 1.00 0.93 2/64 3377
Raw data (stat): 3365 (java) R 3364 23176 23175 0 -1 0 18136 4 1 0 7204 44 0 0 25 0 11 0 548700661 886669312 27971 4294967295 134512640 134569956 3221224400 3221214240 1131410508 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216472 27971 13073 16 0 216456 0
vsize: 865888
[startup+90.0085 s]
Raw data (loadavg): 1.08 1.00 0.93 2/64 3377
Raw data (stat): 3365 (java) R 3364 23176 23175 0 -1 0 18136 4 1 0 8175 44 0 0 25 0 11 0 548700661 886669312 28082 4294967295 134512640 134569956 3221224400 3221214568 1085632292 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216472 28082 13073 16 0 216456 0
vsize: 865888
[startup+100.009 s]
Raw data (loadavg): 1.07 1.00 0.93 2/64 3377
Raw data (stat): 3365 (java) R 3364 23176 23175 0 -1 0 18136 4 1 0 9144 44 0 0 25 0 11 0 548700661 886669312 28274 4294967295 134512640 134569956 3221224400 3221214752 1131156479 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216472 28274 13073 16 0 216456 0
vsize: 865888
[startup+110.011 s]
Raw data (loadavg): 1.06 1.00 0.93 2/64 3377
Raw data (stat): 3365 (java) R 3364 23176 23175 0 -1 0 18136 4 1 0 10118 44 0 0 25 0 11 0 548700661 886669312 28393 4294967295 134512640 134569956 3221224400 3221214240 1131410616 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216472 28393 13073 16 0 216456 0
vsize: 865888
[startup+120.011 s]
Raw data (loadavg): 1.05 1.00 0.93 2/64 3377
Raw data (stat): 3365 (java) R 3364 23176 23175 0 -1 0 18136 4 1 0 11093 45 0 0 25 0 11 0 548700661 886669312 28475 4294967295 134512640 134569956 3221224400 3221214288 1131391164 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216472 28475 13073 16 0 216456 0
vsize: 865888
[startup+130.012 s]
Raw data (loadavg): 1.04 1.00 0.93 2/64 3377
Raw data (stat): 3365 (java) R 3364 23176 23175 0 -1 0 18136 4 1 0 12070 45 0 0 25 0 11 0 548700661 886669312 28552 4294967295 134512640 134569956 3221224400 3221214564 1131391140 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216472 28552 13073 16 0 216456 0
vsize: 865888
[startup+140.012 s]
Raw data (loadavg): 1.04 1.00 0.93 2/64 3377
Raw data (stat): 3365 (java) R 3364 23176 23175 0 -1 0 18136 4 1 0 13048 45 0 0 25 0 11 0 548700661 886669312 28615 4294967295 134512640 134569956 3221224400 3221214044 1131410640 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216472 28615 13073 16 0 216456 0
vsize: 865888
[startup+150.013 s]
Raw data (loadavg): 1.03 1.00 0.93 2/64 3377
Raw data (stat): 3365 (java) R 3364 23176 23175 0 -1 0 18136 4 1 0 14026 45 0 0 25 0 11 0 548700661 886669312 28681 4294967295 134512640 134569956 3221224400 3221214184 1131410641 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216472 28681 13073 16 0 216456 0
vsize: 865888
[startup+160.014 s]
Raw data (loadavg): 1.02 1.00 0.93 2/64 3377
Raw data (stat): 3365 (java) R 3364 23176 23175 0 -1 0 18136 4 1 0 15004 45 0 0 25 0 11 0 548700661 886669312 28746 4294967295 134512640 134569956 3221224400 3221214728 1131156349 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216472 28746 13073 16 0 216456 0
vsize: 865888
[startup+170.015 s]
Raw data (loadavg): 1.02 1.00 0.93 2/64 3377
Raw data (stat): 3365 (java) R 3364 23176 23175 0 -1 0 18136 4 1 0 15990 45 0 0 25 0 11 0 548700661 886669312 28797 4294967295 134512640 134569956 3221224400 3221214936 1131347923 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216472 28797 13073 16 0 216456 0
vsize: 865888
[startup+180.015 s]
Raw data (loadavg): 1.02 1.00 0.93 2/64 3377
Raw data (stat): 3365 (java) R 3364 23176 23175 0 -1 0 18136 4 1 0 16970 45 0 0 25 0 11 0 548700661 886669312 28866 4294967295 134512640 134569956 3221224400 3221214632 1131410609 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216472 28866 13073 16 0 216456 0
vsize: 865888
[startup+190.016 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 3377
Raw data (stat): 3365 (java) R 3364 23176 23175 0 -1 0 18136 4 1 0 17949 45 0 0 25 0 11 0 548700661 886669312 28923 4294967295 134512640 134569956 3221224400 3221213984 1131472381 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216472 28923 13073 16 0 216456 0
vsize: 865888
[startup+200.017 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 3377
Raw data (stat): 3365 (java) R 3364 23176 23175 0 -1 0 18136 4 1 0 18929 45 0 0 25 0 11 0 548700661 886669312 28976 4294967295 134512640 134569956 3221224400 3221214096 1085679305 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216472 28976 13073 16 0 216456 0
vsize: 865888
[startup+210.017 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 3377
Raw data (stat): 3365 (java) R 3364 23176 23175 0 -1 0 18136 4 1 0 19910 45 0 0 25 0 11 0 548700661 886669312 29029 4294967295 134512640 134569956 3221224400 3221213960 1085632281 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216472 29029 13073 16 0 216456 0
vsize: 865888
[startup+220.018 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 3377
Raw data (stat): 3365 (java) R 3364 23176 23175 0 -1 0 18136 4 1 0 20892 45 0 0 25 0 11 0 548700661 886669312 29088 4294967295 134512640 134569956 3221224400 3221214296 1131410668 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216472 29088 13073 16 0 216456 0
vsize: 865888
[startup+230.018 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 3377
Raw data (stat): 3365 (java) R 3364 23176 23175 0 -1 0 18137 4 1 0 21874 45 0 0 25 0 11 0 548700661 886669312 29144 4294967295 134512640 134569956 3221224400 3221214320 1085679756 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216472 29144 13073 16 0 216456 0
vsize: 865888
[startup+240.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 3377
Raw data (stat): 3365 (java) R 3364 23176 23175 0 -1 0 18137 4 1 0 22855 45 0 0 25 0 11 0 548700661 886669312 29195 4294967295 134512640 134569956 3221224400 3221214708 1130915512 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216472 29195 13073 16 0 216456 0
vsize: 865888
[startup+250.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 3377
Raw data (stat): 3365 (java) R 3364 23176 23175 0 -1 0 18137 4 1 0 23837 45 0 0 25 0 11 0 548700661 886669312 29233 4294967295 134512640 134569956 3221224400 3221214728 1131156321 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216472 29233 13073 16 0 216456 0
vsize: 865888
[startup+260.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 3377
Raw data (stat): 3365 (java) R 3364 23176 23175 0 -1 0 18137 4 1 0 24820 45 0 0 25 0 11 0 548700661 886669312 29275 4294967295 134512640 134569956 3221224400 3221214832 1131148330 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216472 29275 13073 16 0 216456 0
vsize: 865888
[startup+270.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 3377
Raw data (stat): 3365 (java) R 3364 23176 23175 0 -1 0 18137 4 1 0 25802 45 0 0 25 0 11 0 548700661 886669312 29323 4294967295 134512640 134569956 3221224400 3221214824 1131146460 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216472 29323 13073 16 0 216456 0
vsize: 865888
[startup+280.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 3377
Raw data (stat): 3365 (java) R 3364 23176 23175 0 -1 0 18137 4 1 0 26785 45 0 0 25 0 11 0 548700661 886669312 29369 4294967295 134512640 134569956 3221224400 3221214544 1085679446 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216472 29369 13073 16 0 216456 0
vsize: 865888
[startup+290.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 3377
Raw data (stat): 3365 (java) R 3364 23176 23175 0 -1 0 18137 4 1 0 27768 45 0 0 25 0 11 0 548700661 886669312 29417 4294967295 134512640 134569956 3221224400 3221214936 1131348026 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216472 29417 13073 16 0 216456 0
vsize: 865888
[startup+300.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 3377
Raw data (stat): 3365 (java) R 3364 23176 23175 0 -1 0 18137 4 1 0 28752 45 0 0 25 0 11 0 548700661 886669312 29460 4294967295 134512640 134569956 3221224400 3221214120 1131391151 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216472 29460 13073 16 0 216456 0
vsize: 865888
[startup+310.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 3377
Raw data (stat): 3365 (java) R 3364 23176 23175 0 -1 0 18137 4 1 0 29730 45 0 0 25 0 11 0 548700661 886669312 29513 4294967295 134512640 134569956 3221224400 3221214048 1131410551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216472 29513 13073 16 0 216456 0
vsize: 865888
[startup+320.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 3377
Raw data (stat): 3365 (java) R 3364 23176 23175 0 -1 0 18137 4 1 0 30716 45 0 0 25 0 11 0 548700661 886669312 29553 4294967295 134512640 134569956 3221224400 3221214868 1131148489 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216472 29553 13073 16 0 216456 0
vsize: 865888
[startup+330.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 3377
Raw data (stat): 3365 (java) R 3364 23176 23175 0 -1 0 18137 4 1 0 31701 45 0 0 25 0 11 0 548700661 886669312 29582 4294967295 134512640 134569956 3221224400 3221213792 1085679741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216472 29582 13073 16 0 216456 0
vsize: 865888
[startup+340.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 3377
Raw data (stat): 3365 (java) R 3364 23176 23175 0 -1 0 18137 4 1 0 32682 45 0 0 25 0 11 0 548700661 886669312 29627 4294967295 134512640 134569956 3221224400 3221214404 1131410640 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216472 29627 13073 16 0 216456 0
vsize: 865888
[startup+350.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 3377
Raw data (stat): 3365 (java) R 3364 23176 23175 0 -1 0 18137 4 1 0 33668 45 0 0 25 0 11 0 548700661 886669312 29665 4294967295 134512640 134569956 3221224400 3221214340 1131449920 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216472 29665 13073 16 0 216456 0
vsize: 865888
[startup+360.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 3377
Raw data (stat): 3365 (java) R 3364 23176 23175 0 -1 0 18137 4 1 0 34650 45 0 0 25 0 11 0 548700661 886669312 29710 4294967295 134512640 134569956 3221224400 3221214680 1131390945 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216472 29710 13073 16 0 216456 0
vsize: 865888
[startup+370.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 3377
Raw data (stat): 3365 (java) R 3364 23176 23175 0 -1 0 18137 4 1 0 35637 45 0 0 25 0 11 0 548700661 886669312 29740 4294967295 134512640 134569956 3221224400 3221214292 1131410640 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216472 29740 13073 16 0 216456 0
vsize: 865888
[startup+380.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 3377
Raw data (stat): 3365 (java) R 3364 23176 23175 0 -1 0 18137 4 1 0 36620 45 0 0 25 0 11 0 548700661 886669312 29773 4294967295 134512640 134569956 3221224400 3221214208 1131472749 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216472 29773 13073 16 0 216456 0
vsize: 865888
[startup+390.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 3377
Raw data (stat): 3365 (java) R 3364 23176 23175 0 -1 0 18137 4 1 0 37608 46 0 0 25 0 11 0 548700661 886669312 29794 4294967295 134512640 134569956 3221224400 3221214284 1131410464 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216472 29794 13073 16 0 216456 0
vsize: 865888
[startup+400.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 3377
Raw data (stat): 3365 (java) R 3364 23176 23175 0 -1 0 18137 4 1 0 38593 46 0 0 25 0 11 0 548700661 886669312 29826 4294967295 134512640 134569956 3221224400 3221214880 1131269401 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216472 29826 13073 16 0 216456 0
vsize: 865888
[startup+410.049 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 3377
Raw data (stat): 3365 (java) R 3364 23176 23175 0 -1 0 18137 4 1 0 39576 46 0 0 25 0 11 0 548700661 886669312 29856 4294967295 134512640 134569956 3221224400 3221214632 1131410588 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216472 29856 13073 16 0 216456 0
vsize: 865888
[startup+420.051 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 3377
Raw data (stat): 3365 (java) R 3364 23176 23175 0 -1 0 18137 4 1 0 40559 46 0 0 25 0 11 0 548700661 886669312 29883 4294967295 134512640 134569956 3221224400 3221214448 1131391176 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216472 29883 13073 16 0 216456 0
vsize: 865888
[startup+430.052 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 3377
Raw data (stat): 3365 (java) R 3364 23176 23175 0 -1 0 18137 4 1 0 41546 46 0 0 25 0 11 0 548700661 886669312 29906 4294967295 134512640 134569956 3221224400 3221214420 1085679264 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216472 29906 13073 16 0 216456 0
vsize: 865888
[startup+431.72 s]
Raw data (loadavg): 1.00 1.00 0.93 1/53 3378
Raw data (stat): 3365 (java) R 3364 23176 23175 0 -1 0 18137 4 1 0 41546 46 0 0 25 0 11 0 548700661 886669312 29906 4294967295 134512640 134569956 3221224400 3221214420 1085679264 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216472 29906 13073 16 0 216456 0
vsize: 0

Child status: 30
Real time (s): 431.719
CPU time (s): 437.471
CPU user time (s): 436.725
CPU system time (s): 0.746886
CPU usage (%): 101.332
Max. virtual memory (Kb): 867476
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	18
#### END VERIFIER DATA ####