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/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-ship08s.opb
MD5SUM	686a91b29b124fe4cc498973c082aa6a
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	47740
Biggest coefficient in the objective function	425249996800
Number of bits for the biggest coefficient in the objective function	39
Sum of the numbers in the objective function	109780207303800
Number of bits of the sum of numbers in the objective function	47
Biggest number in a constraint	425249996800
Number of bits of the biggest number in a constraint	39
Biggest sum of numbers in a constraint	109780207303800
Number of bits of the biggest sum of numbers	47
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.416936
Number of variables	47740
Total number of constraints	712
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	712
Minimum length of a constraint	20
Maximum length of a constraint	1220

Trace number 15898

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc10 THE 2005-04-21 06:04:39 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=16441 boxname=wulflinc10 idbench=1265 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  686a91b29b124fe4cc498973c082aa6a  /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-13-7-ship08s.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-13-7-ship08s.opb
IDLAUNCH: 16441
/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:        542844 kB
Buffers:         32776 kB
Cached:         436288 kB
SwapCached:          0 kB
Active:         139532 kB
Inactive:       331996 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        542592 kB
SwapTotal:     2097136 kB
SwapFree:      2096784 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6412 kB
Slab:            14656 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 06:15:53 (client local time) WITH STATUS 20 IN 683.041 SECONDS
stats: 16441 7 683.041 20
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-13-7-ship08s.opb
c reading problem 
c [nbvar=47740]
c [nbconstr=712]
c time 631.672
c #vars     47740
c #clauses  1127
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 Total CPU time (ms) : 673.589
s UNSATISFIABLE
#### 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.80 0.96 0.91 2/54 25400
Raw data (stat): 25400 (runsolver) R 25399 25347 25346 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 484564625 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.0001 s]
Raw data (loadavg): 0.90 0.98 0.92 2/63 25409
Raw data (stat): 25400 (java) R 25399 25347 25346 0 -1 0 17979 0 1 0 889 40 0 0 25 0 10 0 484564625 853499904 19148 4294967295 134512640 134569956 3221224400 3221214700 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208374 19148 13073 16 0 208358 0
vsize: 833496
[startup+20.0006 s]
Raw data (loadavg): 0.92 0.98 0.92 2/63 25409
Raw data (stat): 25400 (java) R 25399 25347 25346 0 -1 0 17979 0 1 0 1785 40 0 0 25 0 10 0 484564625 853602304 19659 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 19659 13073 16 0 208383 0
vsize: 833596
[startup+30.0016 s]
Raw data (loadavg): 0.93 0.98 0.92 2/63 25409
Raw data (stat): 25400 (java) R 25399 25347 25346 0 -1 0 17979 0 1 0 2684 40 0 0 25 0 10 0 484564625 853602304 20099 4294967295 134512640 134569956 3221224400 3221214272 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 20099 13073 16 0 208383 0
vsize: 833596
[startup+40.0018 s]
Raw data (loadavg): 0.94 0.98 0.92 2/63 25409
Raw data (stat): 25400 (java) R 25399 25347 25346 0 -1 0 17979 0 1 0 3614 40 0 0 25 0 10 0 484564625 853602304 20329 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 20329 13073 16 0 208383 0
vsize: 833596
[startup+50.0023 s]
Raw data (loadavg): 0.95 0.98 0.92 2/63 25409
Raw data (stat): 25400 (java) R 25399 25347 25346 0 -1 0 17979 0 1 0 4543 40 0 0 25 0 10 0 484564625 853602304 20455 4294967295 134512640 134569956 3221224400 3221214272 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 20455 13073 16 0 208383 0
vsize: 833596
[startup+60.0023 s]
Raw data (loadavg): 0.95 0.98 0.92 2/63 25409
Raw data (stat): 25400 (java) R 25399 25347 25346 0 -1 0 17979 0 1 0 5473 40 0 0 25 0 10 0 484564625 853700608 20566 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208423 20566 13073 16 0 208407 0
vsize: 833692
[startup+70.003 s]
Raw data (loadavg): 0.96 0.98 0.92 2/63 25409
Raw data (stat): 25400 (java) R 25399 25347 25346 0 -1 0 17979 0 1 0 6419 41 0 0 25 0 10 0 484564625 853602304 20774 4294967295 134512640 134569956 3221224400 3221214272 1131044787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 20774 13073 16 0 208383 0
vsize: 833596
[startup+80.0029 s]
Raw data (loadavg): 0.97 0.98 0.92 2/63 25411
Raw data (stat): 25400 (java) R 25399 25347 25346 0 -1 0 17979 0 1 0 7365 41 0 0 25 0 10 0 484564625 853602304 20856 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 20856 13073 16 0 208383 0
vsize: 833596
[startup+90.0041 s]
Raw data (loadavg): 0.97 0.98 0.92 2/63 25411
Raw data (stat): 25400 (java) R 25399 25347 25346 0 -1 0 17979 0 1 0 8315 41 0 0 25 0 10 0 484564625 853602304 20927 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 20927 13073 16 0 208383 0
vsize: 833596
[startup+100.004 s]
Raw data (loadavg): 0.98 0.98 0.92 2/63 25411
Raw data (stat): 25400 (java) R 25399 25347 25346 0 -1 0 17979 0 1 0 9262 41 0 0 25 0 10 0 484564625 853602304 20997 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 20997 13073 16 0 208383 0
vsize: 833596
[startup+110.005 s]
Raw data (loadavg): 0.98 0.98 0.92 2/63 25411
Raw data (stat): 25400 (java) R 25399 25347 25346 0 -1 0 17979 0 1 0 10210 41 0 0 24 0 10 0 484564625 853602304 21062 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 21062 13073 16 0 208383 0
vsize: 833596
[startup+120.006 s]
Raw data (loadavg): 1.06 0.99 0.93 2/63 25411
Raw data (stat): 25400 (java) R 25399 25347 25346 0 -1 0 17979 0 1 0 11160 41 0 0 25 0 10 0 484564625 853602304 21120 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 21120 13073 16 0 208383 0
vsize: 833596
[startup+130.006 s]
Raw data (loadavg): 1.05 0.99 0.93 2/63 25411
Raw data (stat): 25400 (java) R 25399 25347 25346 0 -1 0 17979 0 1 0 12107 41 0 0 25 0 10 0 484564625 853602304 21179 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 21179 13073 16 0 208383 0
vsize: 833596
[startup+140.007 s]
Raw data (loadavg): 1.04 0.99 0.93 2/63 25411
Raw data (stat): 25400 (java) R 25399 25347 25346 0 -1 0 17979 0 1 0 13058 41 0 0 25 0 10 0 484564625 853602304 21232 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 21232 13073 16 0 208383 0
vsize: 833596
[startup+150.008 s]
Raw data (loadavg): 1.03 0.99 0.93 2/63 25411
Raw data (stat): 25400 (java) R 25399 25347 25346 0 -1 0 17979 0 1 0 14005 41 0 0 25 0 10 0 484564625 853602304 21287 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 21287 13073 16 0 208383 0
vsize: 833596
[startup+160.007 s]
Raw data (loadavg): 1.03 0.99 0.93 2/63 25411
Raw data (stat): 25400 (java) R 25399 25347 25346 0 -1 0 17979 0 1 0 14952 42 0 0 25 0 10 0 484564625 853602304 21338 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 21338 13073 16 0 208383 0
vsize: 833596
[startup+170.007 s]
Raw data (loadavg): 1.02 0.99 0.93 2/63 25411
Raw data (stat): 25400 (java) R 25399 25347 25346 0 -1 0 17979 0 1 0 15888 42 0 0 25 0 10 0 484564625 853602304 21385 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 21385 13073 16 0 208383 0
vsize: 833596
[startup+180.008 s]
Raw data (loadavg): 1.02 0.99 0.93 2/63 25411
Raw data (stat): 25400 (java) R 25399 25347 25346 0 -1 0 17979 0 1 0 16815 42 0 0 25 0 10 0 484564625 853602304 21431 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 21431 13073 16 0 208383 0
vsize: 833596
[startup+190.009 s]
Raw data (loadavg): 1.02 0.99 0.93 2/63 25411
Raw data (stat): 25400 (java) R 25399 25347 25346 0 -1 0 17979 0 1 0 17750 42 0 0 25 0 10 0 484564625 853602304 21734 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 21734 13073 16 0 208383 0
vsize: 833596
[startup+200.009 s]
Raw data (loadavg): 1.01 0.99 0.93 2/63 25411
Raw data (stat): 25400 (java) R 25399 25347 25346 0 -1 0 17979 0 1 0 18696 42 0 0 25 0 10 0 484564625 853602304 21776 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 21776 13073 16 0 208383 0
vsize: 833596
[startup+210.01 s]
Raw data (loadavg): 1.01 0.99 0.93 2/63 25411
Raw data (stat): 25400 (java) R 25399 25347 25346 0 -1 0 17979 0 1 0 19638 42 0 0 25 0 10 0 484564625 853602304 21822 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 21822 13073 16 0 208383 0
vsize: 833596
[startup+220.01 s]
Raw data (loadavg): 1.01 0.99 0.93 2/63 25411
Raw data (stat): 25400 (java) R 25399 25347 25346 0 -1 0 17979 0 1 0 20584 42 0 0 25 0 10 0 484564625 853602304 21862 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 21862 13073 16 0 208383 0
vsize: 833596
[startup+230.009 s]
Raw data (loadavg): 1.01 0.99 0.93 2/63 25411
Raw data (stat): 25400 (java) R 25399 25347 25346 0 -1 0 17979 0 1 0 21525 42 0 0 25 0 10 0 484564625 853602304 21904 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 21904 13073 16 0 208383 0
vsize: 833596
[startup+240.01 s]
Raw data (loadavg): 1.00 0.99 0.93 2/63 25411
Raw data (stat): 25400 (java) R 25399 25347 25346 0 -1 0 17979 0 1 0 22470 42 0 0 25 0 10 0 484564625 853602304 21943 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 21943 13073 16 0 208383 0
vsize: 833596
[startup+250.011 s]
Raw data (loadavg): 1.00 0.99 0.93 2/63 25411
Raw data (stat): 25400 (java) R 25399 25347 25346 0 -1 0 17979 0 1 0 23411 42 0 0 25 0 10 0 484564625 853602304 21983 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 21983 13073 16 0 208383 0
vsize: 833596
[startup+260.01 s]
Raw data (loadavg): 1.00 0.99 0.93 2/63 25411
Raw data (stat): 25400 (java) R 25399 25347 25346 0 -1 0 17979 0 1 0 24355 42 0 0 25 0 10 0 484564625 853602304 22020 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 22020 13073 16 0 208383 0
vsize: 833596
[startup+270.011 s]
Raw data (loadavg): 1.00 0.99 0.93 2/63 25411
Raw data (stat): 25400 (java) R 25399 25347 25346 0 -1 0 17979 0 1 0 25294 43 0 0 25 0 10 0 484564625 853602304 22058 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 22058 13073 16 0 208383 0
vsize: 833596
[startup+280.011 s]
Raw data (loadavg): 1.00 0.99 0.93 2/63 25411
Raw data (stat): 25400 (java) R 25399 25347 25346 0 -1 0 17979 0 1 0 26237 43 0 0 25 0 10 0 484564625 853602304 22094 4294967295 134512640 134569956 3221224400 3221214272 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 22094 13073 16 0 208383 0
vsize: 833596
[startup+290.012 s]
Raw data (loadavg): 1.00 0.99 0.93 2/63 25411
Raw data (stat): 25400 (java) R 25399 25347 25346 0 -1 0 17979 0 1 0 27176 43 0 0 25 0 10 0 484564625 853602304 22130 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 22130 13073 16 0 208383 0
vsize: 833596
[startup+300.012 s]
Raw data (loadavg): 1.00 0.99 0.93 2/63 25411
Raw data (stat): 25400 (java) R 25399 25347 25346 0 -1 0 17979 0 1 0 28118 43 0 0 25 0 10 0 484564625 853602304 22165 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 22165 13073 16 0 208383 0
vsize: 833596
[startup+310.012 s]
Raw data (loadavg): 1.00 0.99 0.93 2/63 25411
Raw data (stat): 25400 (java) R 25399 25347 25346 0 -1 0 17979 0 1 0 29055 43 0 0 25 0 10 0 484564625 853602304 22200 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 22200 13073 16 0 208383 0
vsize: 833596
[startup+320.013 s]
Raw data (loadavg): 1.00 0.99 0.93 2/63 25411
Raw data (stat): 25400 (java) R 25399 25347 25346 0 -1 0 17979 0 1 0 29996 43 0 0 18 0 10 0 484564625 853602304 22233 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 22233 13073 16 0 208383 0
vsize: 833596
[startup+330.013 s]
Raw data (loadavg): 1.00 0.99 0.93 2/63 25411
Raw data (stat): 25400 (java) R 25399 25347 25346 0 -1 0 17979 0 1 0 30933 44 0 0 24 0 10 0 484564625 853602304 22267 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 22267 13073 16 0 208383 0
vsize: 833596
[startup+340.013 s]
Raw data (loadavg): 1.00 0.99 0.93 2/63 25411
Raw data (stat): 25400 (java) R 25399 25347 25346 0 -1 0 17979 0 1 0 31873 44 0 0 25 0 10 0 484564625 853602304 22300 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 22300 13073 16 0 208383 0
vsize: 833596
[startup+350.017 s]
Raw data (loadavg): 1.00 0.99 0.93 2/63 25411
Raw data (stat): 25400 (java) S 25399 25347 25346 0 -1 0 17979 0 1 0 32811 44 0 0 25 0 10 0 484564625 853602304 22332 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 22332 13073 16 0 208383 0
vsize: 833596
[startup+360.017 s]
Raw data (loadavg): 1.00 0.99 0.93 2/63 25411
Raw data (stat): 25400 (java) R 25399 25347 25346 0 -1 0 17979 0 1 0 33748 44 0 0 25 0 10 0 484564625 853602304 22365 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 22365 13073 16 0 208383 0
vsize: 833596
[startup+370.018 s]
Raw data (loadavg): 1.00 0.99 0.93 2/63 25411
Raw data (stat): 25400 (java) R 25399 25347 25346 0 -1 0 17979 0 1 0 34686 44 0 0 25 0 10 0 484564625 853602304 22395 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 22395 13073 16 0 208383 0
vsize: 833596
[startup+380.018 s]
Raw data (loadavg): 1.00 0.99 0.93 2/63 25411
Raw data (stat): 25400 (java) R 25399 25347 25346 0 -1 0 17979 0 1 0 35620 44 0 0 25 0 10 0 484564625 853602304 22427 4294967295 134512640 134569956 3221224400 3221214368 1079668986 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 22427 13073 16 0 208383 0
vsize: 833596
[startup+390.019 s]
Raw data (loadavg): 1.00 0.99 0.93 2/63 25411
Raw data (stat): 25400 (java) R 25399 25347 25346 0 -1 0 17979 0 1 0 36558 44 0 0 25 0 10 0 484564625 853602304 22456 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 22456 13073 16 0 208383 0
vsize: 833596
[startup+400.021 s]
Raw data (loadavg): 1.00 0.99 0.93 2/63 25411
Raw data (stat): 25400 (java) S 25399 25347 25346 0 -1 0 17979 0 1 0 37494 45 0 0 25 0 10 0 484564625 853602304 22486 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 22486 13073 16 0 208383 0
vsize: 833596
[startup+410.02 s]
Raw data (loadavg): 1.00 0.99 0.93 2/63 25411
Raw data (stat): 25400 (java) R 25399 25347 25346 0 -1 0 17979 0 1 0 38428 45 0 0 25 0 10 0 484564625 853602304 22516 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 22516 13073 16 0 208383 0
vsize: 833596
[startup+420.021 s]
Raw data (loadavg): 1.00 0.99 0.93 2/63 25411
Raw data (stat): 25400 (java) R 25399 25347 25346 0 -1 0 17979 0 1 0 39364 45 0 0 25 0 10 0 484564625 853602304 22545 4294967295 134512640 134569956 3221224400 3221214176 1076874552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 22545 13073 16 0 208383 0
vsize: 833596
[startup+430.027 s]
Raw data (loadavg): 1.00 0.99 0.93 2/63 25411
Raw data (stat): 25400 (java) S 25399 25347 25346 0 -1 0 17979 0 1 0 40297 45 0 0 25 0 10 0 484564625 853602304 22573 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 22573 13073 16 0 208383 0
vsize: 833596
[startup+440.027 s]
Raw data (loadavg): 1.00 0.99 0.93 2/63 25411
Raw data (stat): 25400 (java) R 25399 25347 25346 0 -1 0 17979 0 1 0 41230 46 0 0 25 0 10 0 484564625 853602304 22603 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 22603 13073 16 0 208383 0
vsize: 833596
[startup+450.026 s]
Raw data (loadavg): 1.00 0.99 0.93 2/63 25411
Raw data (stat): 25400 (java) R 25399 25347 25346 0 -1 0 17979 0 1 0 42164 46 0 0 25 0 10 0 484564625 853602304 22631 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 22631 13073 16 0 208383 0
vsize: 833596
[startup+460.026 s]
Raw data (loadavg): 1.00 0.99 0.93 2/63 25411
Raw data (stat): 25400 (java) R 25399 25347 25346 0 -1 0 17979 0 1 0 43093 47 0 0 24 0 10 0 484564625 853602304 22660 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 22660 13073 16 0 208383 0
vsize: 833596
[startup+470.026 s]
Raw data (loadavg): 1.00 0.99 0.93 2/63 25411
Raw data (stat): 25400 (java) R 25399 25347 25346 0 -1 0 17979 0 1 0 44027 47 0 0 25 0 10 0 484564625 853602304 22686 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 22686 13073 16 0 208383 0
vsize: 833596
[startup+480.025 s]
Raw data (loadavg): 1.00 0.99 0.93 2/63 25411
Raw data (stat): 25400 (java) R 25399 25347 25346 0 -1 0 17979 0 1 0 44959 48 0 0 25 0 10 0 484564625 853602304 22713 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 22713 13073 16 0 208383 0
vsize: 833596
[startup+490.026 s]
Raw data (loadavg): 1.00 0.99 0.93 2/63 25411
Raw data (stat): 25400 (java) R 25399 25347 25346 0 -1 0 17979 0 1 0 45888 48 0 0 19 0 10 0 484564625 853602304 22741 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 22741 13073 16 0 208383 0
vsize: 833596
[startup+500.026 s]
Raw data (loadavg): 1.00 0.99 0.93 2/63 25411
Raw data (stat): 25400 (java) R 25399 25347 25346 0 -1 0 17979 0 1 0 46819 48 0 0 25 0 10 0 484564625 853602304 22767 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 22767 13073 16 0 208383 0
vsize: 833596
[startup+510.026 s]
Raw data (loadavg): 1.00 0.99 0.93 2/63 25411
Raw data (stat): 25400 (java) R 25399 25347 25346 0 -1 0 17979 0 1 0 47750 49 0 0 25 0 10 0 484564625 853602304 22792 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 22792 13073 16 0 208383 0
vsize: 833596
[startup+520.026 s]
Raw data (loadavg): 1.00 0.99 0.93 2/63 25411
Raw data (stat): 25400 (java) R 25399 25347 25346 0 -1 0 17979 0 1 0 48677 50 0 0 24 0 10 0 484564625 853602304 22820 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 22820 13073 16 0 208383 0
vsize: 833596
[startup+530.026 s]
Raw data (loadavg): 1.00 0.99 0.93 2/63 25411
Raw data (stat): 25400 (java) R 25399 25347 25346 0 -1 0 17979 0 1 0 49607 50 0 0 25 0 10 0 484564625 853602304 22846 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 22846 13073 16 0 208383 0
vsize: 833596
[startup+540.027 s]
Raw data (loadavg): 1.00 0.99 0.93 2/63 25411
Raw data (stat): 25400 (java) R 25399 25347 25346 0 -1 0 17979 0 1 0 50538 51 0 0 25 0 10 0 484564625 853602304 22870 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 22870 13073 16 0 208383 0
vsize: 833596
[startup+550.027 s]
Raw data (loadavg): 1.00 0.99 0.93 2/63 25411
Raw data (stat): 25400 (java) R 25399 25347 25346 0 -1 0 17979 0 1 0 51467 51 0 0 25 0 10 0 484564625 853602304 22895 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 22895 13073 16 0 208383 0
vsize: 833596
[startup+560.028 s]
Raw data (loadavg): 1.00 0.99 0.93 2/63 25411
Raw data (stat): 25400 (java) R 25399 25347 25346 0 -1 0 17979 0 1 0 52392 51 0 0 24 0 10 0 484564625 853602304 22921 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 22921 13073 16 0 208383 0
vsize: 833596
[startup+570.028 s]
Raw data (loadavg): 1.00 0.99 0.93 2/63 25411
Raw data (stat): 25400 (java) R 25399 25347 25346 0 -1 0 17979 0 1 0 53322 52 0 0 25 0 10 0 484564625 853602304 22945 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 22945 13073 16 0 208383 0
vsize: 833596
[startup+580.028 s]
Raw data (loadavg): 1.00 0.99 0.93 2/63 25411
Raw data (stat): 25400 (java) R 25399 25347 25346 0 -1 0 17979 0 1 0 54251 52 0 0 25 0 10 0 484564625 853602304 22969 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 22969 13073 16 0 208383 0
vsize: 833596
[startup+590.029 s]
Raw data (loadavg): 1.00 0.99 0.93 2/63 25411
Raw data (stat): 25400 (java) R 25399 25347 25346 0 -1 0 17979 0 1 0 55179 52 0 0 25 0 10 0 484564625 853602304 22993 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 22993 13073 16 0 208383 0
vsize: 833596
[startup+600.029 s]
Raw data (loadavg): 1.00 0.99 0.93 2/63 25411
Raw data (stat): 25400 (java) R 25399 25347 25346 0 -1 0 17979 0 1 0 56102 52 0 0 24 0 10 0 484564625 853602304 23018 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 23018 13073 16 0 208383 0
vsize: 833596
[startup+610.029 s]
Raw data (loadavg): 1.00 0.99 0.93 2/63 25411
Raw data (stat): 25400 (java) R 25399 25347 25346 0 -1 0 17979 0 1 0 57030 53 0 0 25 0 10 0 484564625 853602304 23042 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 23042 13073 16 0 208383 0
vsize: 833596
[startup+620.029 s]
Raw data (loadavg): 1.00 0.99 0.93 2/63 25411
Raw data (stat): 25400 (java) R 25399 25347 25346 0 -1 0 17979 0 1 0 57956 53 0 0 25 0 10 0 484564625 853602304 23065 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 23065 13073 16 0 208383 0
vsize: 833596
[startup+630.029 s]
Raw data (loadavg): 1.07 1.01 0.93 2/63 25411
Raw data (stat): 25400 (java) R 25399 25347 25346 0 -1 0 17994 0 1 0 58797 56 0 0 25 0 10 0 484564625 856072192 24794 4294967295 134512640 134569956 3221224400 3221214800 1131151752 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209002 24794 13073 16 0 208986 0
vsize: 836008
[startup+640.032 s]
Raw data (loadavg): 1.06 1.01 0.93 2/63 25411
Raw data (stat): 25400 (java) S 25399 25347 25346 0 -1 0 18025 0 1 0 59661 58 0 0 25 0 10 0 484564625 855515136 30328 4294967295 134512640 134569956 3221224400 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208866 30328 13073 16 0 208850 0
vsize: 835464
[startup+650.032 s]
Raw data (loadavg): 1.05 1.01 0.93 2/63 25411
Raw data (stat): 25400 (java) R 25399 25347 25346 0 -1 0 18025 0 1 0 60572 58 0 0 25 0 10 0 484564625 855515136 30306 4294967295 134512640 134569956 3221224400 3221214832 1131291309 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208866 30306 13073 16 0 208850 0
vsize: 835464
[startup+660.032 s]
Raw data (loadavg): 1.04 1.01 0.93 2/63 25411
Raw data (stat): 25400 (java) R 25399 25347 25346 0 -1 0 18025 0 1 0 61492 58 0 0 25 0 10 0 484564625 855515136 30307 4294967295 134512640 134569956 3221224400 3221214824 1131426491 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208866 30307 13073 16 0 208850 0
vsize: 835464
[startup+670.032 s]
Raw data (loadavg): 1.04 1.01 0.93 2/63 25411
Raw data (stat): 25400 (java) R 25399 25347 25346 0 -1 0 18025 0 1 0 62411 58 0 0 25 0 10 0 484564625 855515136 30307 4294967295 134512640 134569956 3221224400 3221214824 1131424688 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208866 30307 13073 16 0 208850 0
vsize: 835464
[startup+674.349 s]
Raw data (loadavg): 1.11 1.02 0.94 1/53 25413
Raw data (stat): 25400 (java) R 25399 25347 25346 0 -1 0 18025 0 1 0 62411 58 0 0 25 0 10 0 484564625 855515136 30307 4294967295 134512640 134569956 3221224400 3221214824 1131424688 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208866 30307 13073 16 0 208850 0
vsize: 0

Child status: 20
Real time (s): 674.348
CPU time (s): 683.041
CPU user time (s): 681.919
CPU system time (s): 1.12183
CPU usage (%): 101.289
Max. virtual memory (Kb): 836008
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####