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/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-nsrand_ipx.opb
MD5SUM	64260230da97c9a2a0e651814175b8e8
Bench Category	optimization, medium integers (OPTMEDINT)
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	21
Biggest coefficient in the objective function	1048576
Number of bits for the biggest coefficient in the objective function	21
Sum of the numbers in the objective function	2097151
Number of bits of the sum of numbers in the objective function	21
Biggest number in a constraint	2355200
Number of bits of the biggest number in a constraint	22
Biggest sum of numbers in a constraint	2939977599
Number of bits of the biggest sum of numbers	32
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	136.088
Number of variables	6641
Total number of constraints	7355
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	6951
Number of constraints which are nor clauses,nor cardinality constraints	404
Minimum length of a constraint	1
Maximum length of a constraint	6641

Trace number 14280

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-04-20 23:37:26 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20172 boxname=wulflinc2 idbench=1552 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  64260230da97c9a2a0e651814175b8e8  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-nsrand_ipx.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-nsrand_ipx.opb
IDLAUNCH: 20172
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        335296 kB
Buffers:         35948 kB
Cached:         638544 kB
SwapCached:          0 kB
Active:         166560 kB
Inactive:       510660 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        335044 kB
SwapTotal:     2097136 kB
SwapFree:      2097044 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           6832 kB
Slab:            16456 kB
Committed_AS:    71784 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-20 23:46:15 (client local time) WITH STATUS 20 IN 538.672 SECONDS
stats: 20172 7 538.672 20
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-nsrand_ipx.opb
c reading problem 
c [nbvar=6641]
c [nbconstr=7355]
c time 26.211
c #vars     6641
c #clauses  721
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) : 528.174
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.75 0.94 0.96 2/54 14776
Raw data (stat): 14776 (runsolver) R 14775 20937 20936 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 482235065 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.0002 s]
Raw data (loadavg): 0.93 0.97 0.97 2/63 14785
Raw data (stat): 14776 (java) R 14775 20937 20936 0 -1 0 17984 0 1 0 892 37 0 0 25 0 10 0 482235065 854306816 19281 4294967295 134512640 134569956 3221224400 3221214448 1076461328 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208571 19281 13073 16 0 208555 0
vsize: 834284
[startup+20.0013 s]
Raw data (loadavg): 0.94 0.97 0.97 2/63 14785
Raw data (stat): 14776 (java) R 14775 20937 20936 0 -1 0 17984 0 1 0 1802 37 0 0 25 0 10 0 482235065 853774336 19494 4294967295 134512640 134569956 3221224400 3221214492 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208441 19494 13073 16 0 208425 0
vsize: 833764
[startup+30.0016 s]
Raw data (loadavg): 0.95 0.97 0.97 4/64 14786
Raw data (stat): 14776 (java) R 14775 20937 20936 0 -1 0 18060 0 1 0 2728 41 0 0 25 0 11 0 482235065 861474816 22464 4294967295 134512640 134569956 3221224400 3221214676 1130883221 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210321 22464 13073 16 0 210305 0
vsize: 841284
[startup+40.0023 s]
Raw data (loadavg): 1.11 1.01 0.98 2/64 14786
Raw data (stat): 14776 (java) R 14775 20937 20936 0 -1 0 18061 0 1 0 3656 41 0 0 25 0 11 0 482235065 860524544 24038 4294967295 134512640 134569956 3221224400 3221214232 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210089 24038 13073 16 0 210073 0
vsize: 840356
[startup+50.0036 s]
Raw data (loadavg): 1.09 1.00 0.98 2/64 14786
Raw data (stat): 14776 (java) R 14775 20937 20936 0 -1 0 18062 0 1 0 4631 41 0 0 25 0 11 0 482235065 860524544 24044 4294967295 134512640 134569956 3221224400 3221214664 1131513677 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210089 24044 13073 16 0 210073 0
vsize: 840356
[startup+60.0037 s]
Raw data (loadavg): 1.08 1.00 0.98 2/64 14786
Raw data (stat): 14776 (java) R 14775 20937 20936 0 -1 0 18063 0 1 0 5603 42 0 0 25 0 11 0 482235065 860524544 24051 4294967295 134512640 134569956 3221224400 3221214768 1131409423 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210089 24051 13073 16 0 210073 0
vsize: 840356
[startup+70.0083 s]
Raw data (loadavg): 1.06 1.00 0.98 2/64 14786
Raw data (stat): 14776 (java) R 14775 20937 20936 0 -1 0 18063 0 1 0 6563 42 0 0 25 0 11 0 482235065 860524544 24093 4294967295 134512640 134569956 3221224400 3221214720 1131578507 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210089 24093 13073 16 0 210073 0
vsize: 840356
[startup+80.0096 s]
Raw data (loadavg): 1.13 1.02 0.98 2/64 14786
Raw data (stat): 14776 (java) R 14775 20937 20936 0 -1 0 18063 0 1 0 7505 43 0 0 25 0 11 0 482235065 860524544 24095 4294967295 134512640 134569956 3221224400 3221214648 1131442242 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210089 24095 13073 16 0 210073 0
vsize: 840356
[startup+90.1141 s]
Raw data (loadavg): 1.11 1.02 0.98 2/64 14786
Raw data (stat): 14776 (java) S 14775 20937 20936 0 -1 0 18063 0 1 0 8443 43 0 0 25 0 11 0 482235065 860524544 24226 4294967295 134512640 134569956 3221224400 3221213472 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210089 24226 13073 16 0 210073 0
vsize: 840356
[startup+100.114 s]
Raw data (loadavg): 1.09 1.02 0.98 2/64 14786
Raw data (stat): 14776 (java) S 14775 20937 20936 0 -1 0 18063 0 1 0 9374 43 0 0 25 0 11 0 482235065 860524544 24348 4294967295 134512640 134569956 3221224400 3221213392 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210089 24348 13073 16 0 210073 0
vsize: 840356
[startup+110.115 s]
Raw data (loadavg): 1.08 1.02 0.98 2/64 14786
Raw data (stat): 14776 (java) R 14775 20937 20936 0 -1 0 18063 0 1 0 10315 43 0 0 25 0 11 0 482235065 860524544 24569 4294967295 134512640 134569956 3221224400 3221214448 1074489757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210089 24569 13073 16 0 210073 0
vsize: 840356
[startup+120.116 s]
Raw data (loadavg): 1.06 1.01 0.98 2/64 14786
Raw data (stat): 14776 (java) R 14775 20937 20936 0 -1 0 18063 0 1 0 11254 44 0 0 25 0 11 0 482235065 860524544 24680 4294967295 134512640 134569956 3221224400 3221214872 1131210439 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210089 24680 13073 16 0 210073 0
vsize: 840356
[startup+130.116 s]
Raw data (loadavg): 1.05 1.01 0.98 2/64 14786
Raw data (stat): 14776 (java) R 14775 20937 20936 0 -1 0 18063 0 1 0 12200 44 0 0 25 0 11 0 482235065 860524544 24882 4294967295 134512640 134569956 3221224400 3221214636 1080204343 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210089 24882 13073 16 0 210073 0
vsize: 840356
[startup+140.117 s]
Raw data (loadavg): 1.04 1.01 0.98 2/64 14786
Raw data (stat): 14776 (java) R 14775 20937 20936 0 -1 0 18063 0 1 0 13155 44 0 0 25 0 11 0 482235065 860524544 25056 4294967295 134512640 134569956 3221224400 3221214784 1131310260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210089 25056 13073 16 0 210073 0
vsize: 840356
[startup+150.118 s]
Raw data (loadavg): 1.04 1.01 0.98 2/64 14786
Raw data (stat): 14776 (java) R 14775 20937 20936 0 -1 0 18063 0 1 0 14123 45 0 0 25 0 11 0 482235065 860524544 25149 4294967295 134512640 134569956 3221224400 3221214784 1131308350 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210089 25149 13073 16 0 210073 0
vsize: 840356
[startup+160.118 s]
Raw data (loadavg): 1.03 1.01 0.98 2/64 14786
Raw data (stat): 14776 (java) R 14775 20937 20936 0 -1 0 18063 0 1 0 15087 45 0 0 25 0 11 0 482235065 860524544 25264 4294967295 134512640 134569956 3221224400 3221214696 1131273373 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210089 25264 13073 16 0 210073 0
vsize: 840356
[startup+170.118 s]
Raw data (loadavg): 1.03 1.01 0.98 2/64 14786
Raw data (stat): 14776 (java) R 14775 20937 20936 0 -1 0 18063 0 1 0 16051 45 0 0 25 0 11 0 482235065 860524544 25264 4294967295 134512640 134569956 3221224400 3221214768 1131408589 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210089 25264 13073 16 0 210073 0
vsize: 840356
[startup+180.22 s]
Raw data (loadavg): 1.02 1.01 0.98 2/64 14786
Raw data (stat): 14776 (java) R 14775 20937 20936 0 -1 0 18063 0 1 0 17032 46 0 0 25 0 11 0 482235065 860524544 25403 4294967295 134512640 134569956 3221224400 3221214440 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210089 25403 13073 16 0 210073 0
vsize: 840356
[startup+190.221 s]
Raw data (loadavg): 1.02 1.01 0.98 2/64 14786
Raw data (stat): 14776 (java) R 14775 20937 20936 0 -1 0 18063 0 1 0 18025 47 0 0 25 0 11 0 482235065 860524544 25518 4294967295 134512640 134569956 3221224400 3221214680 1131385378 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210089 25518 13073 16 0 210073 0
vsize: 840356
[startup+200.22 s]
Raw data (loadavg): 1.01 1.01 0.98 2/64 14786
Raw data (stat): 14776 (java) R 14775 20937 20936 0 -1 0 18063 0 1 0 19021 47 0 0 25 0 11 0 482235065 860524544 25518 4294967295 134512640 134569956 3221224400 3221214768 1131408891 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210089 25518 13073 16 0 210073 0
vsize: 840356
[startup+210.221 s]
Raw data (loadavg): 1.01 1.01 0.98 2/64 14786
Raw data (stat): 14776 (java) R 14775 20937 20936 0 -1 0 18063 0 1 0 20018 47 0 0 25 0 11 0 482235065 860524544 25518 4294967295 134512640 134569956 3221224400 3221214560 1131382005 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210089 25518 13073 16 0 210073 0
vsize: 840356
[startup+220.221 s]
Raw data (loadavg): 1.01 1.00 0.98 2/64 14786
Raw data (stat): 14776 (java) R 14775 20937 20936 0 -1 0 18063 0 1 0 21015 47 0 0 25 0 11 0 482235065 860524544 25518 4294967295 134512640 134569956 3221224400 3221214768 1131408447 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210089 25518 13073 16 0 210073 0
vsize: 840356
[startup+230.221 s]
Raw data (loadavg): 1.01 1.00 0.98 2/64 14786
Raw data (stat): 14776 (java) R 14775 20937 20936 0 -1 0 18063 0 1 0 22011 48 0 0 25 0 11 0 482235065 860524544 25518 4294967295 134512640 134569956 3221224400 3221214744 1131502742 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210089 25518 13073 16 0 210073 0
vsize: 840356
[startup+240.222 s]
Raw data (loadavg): 1.01 1.00 0.98 2/64 14786
Raw data (stat): 14776 (java) R 14775 20937 20936 0 -1 0 18063 0 1 0 23008 48 0 0 25 0 11 0 482235065 860524544 25518 4294967295 134512640 134569956 3221224400 3221214648 1131439042 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210089 25518 13073 16 0 210073 0
vsize: 840356
[startup+250.229 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 14786
Raw data (stat): 14776 (java) R 14775 20937 20936 0 -1 0 18063 0 1 0 24001 48 0 0 25 0 11 0 482235065 860524544 25518 4294967295 134512640 134569956 3221224400 3221214880 1131345671 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210089 25518 13073 16 0 210073 0
vsize: 840356
[startup+260.229 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 14786
Raw data (stat): 14776 (java) R 14775 20937 20936 0 -1 0 18063 0 1 0 24966 49 0 0 25 0 11 0 482235065 860524544 25518 4294967295 134512640 134569956 3221224400 3221214680 1131385335 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210089 25518 13073 16 0 210073 0
vsize: 840356
[startup+270.23 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 14786
Raw data (stat): 14776 (java) R 14775 20937 20936 0 -1 0 18063 0 1 0 25929 49 0 0 25 0 11 0 482235065 860524544 25518 4294967295 134512640 134569956 3221224400 3221214648 1131439790 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210089 25518 13073 16 0 210073 0
vsize: 840356
[startup+280.23 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 14786
Raw data (stat): 14776 (java) R 14775 20937 20936 0 -1 0 18063 0 1 0 26895 49 0 0 25 0 11 0 482235065 860524544 25784 4294967295 134512640 134569956 3221224400 3221214756 1080204290 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210089 25784 13073 16 0 210073 0
vsize: 840356
[startup+290.231 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 14786
Raw data (stat): 14776 (java) R 14775 20937 20936 0 -1 0 18063 0 1 0 27891 49 0 0 25 0 11 0 482235065 860524544 25784 4294967295 134512640 134569956 3221224400 3221214648 1131443014 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210089 25784 13073 16 0 210073 0
vsize: 840356
[startup+300.232 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 14786
Raw data (stat): 14776 (java) R 14775 20937 20936 0 -1 0 18063 0 1 0 28888 50 0 0 25 0 11 0 482235065 860524544 25784 4294967295 134512640 134569956 3221224400 3221214648 1131441184 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210089 25784 13073 16 0 210073 0
vsize: 840356
[startup+310.231 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 14786
Raw data (stat): 14776 (java) R 14775 20937 20936 0 -1 0 18063 0 1 0 29884 50 0 0 25 0 11 0 482235065 860524544 25784 4294967295 134512640 134569956 3221224400 3221214744 1131505452 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210089 25784 13073 16 0 210073 0
vsize: 840356
[startup+320.232 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 14786
Raw data (stat): 14776 (java) R 14775 20937 20936 0 -1 0 18063 0 1 0 30881 51 0 0 25 0 11 0 482235065 860524544 25784 4294967295 134512640 134569956 3221224400 3221214176 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210089 25784 13073 16 0 210073 0
vsize: 840356
[startup+330.233 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 14786
Raw data (stat): 14776 (java) R 14775 20937 20936 0 -1 0 18063 0 1 0 31877 52 0 0 25 0 11 0 482235065 860524544 25784 4294967295 134512640 134569956 3221224400 3221214648 1131441161 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210089 25784 13073 16 0 210073 0
vsize: 840356
[startup+340.233 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 14786
Raw data (stat): 14776 (java) R 14775 20937 20936 0 -1 0 18063 0 1 0 32874 52 0 0 25 0 11 0 482235065 860524544 25784 4294967295 134512640 134569956 3221224400 3221214744 1131338775 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210089 25784 13073 16 0 210073 0
vsize: 840356
[startup+350.238 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 14786
Raw data (stat): 14776 (java) R 14775 20937 20936 0 -1 0 18063 0 1 0 33871 53 0 0 25 0 11 0 482235065 860524544 25784 4294967295 134512640 134569956 3221224400 3221214680 1131385301 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210089 25784 13073 16 0 210073 0
vsize: 840356
[startup+360.241 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 14786
Raw data (stat): 14776 (java) R 14775 20937 20936 0 -1 0 18063 0 1 0 34868 53 0 0 25 0 11 0 482235065 860524544 25784 4294967295 134512640 134569956 3221224400 3221214744 1131502742 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210089 25784 13073 16 0 210073 0
vsize: 840356
[startup+370.24 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 14786
Raw data (stat): 14776 (java) R 14775 20937 20936 0 -1 0 18063 0 1 0 35864 53 0 0 25 0 11 0 482235065 860524544 25784 4294967295 134512640 134569956 3221224400 3221214708 1080204298 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210089 25784 13073 16 0 210073 0
vsize: 840356
[startup+380.24 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 14786
Raw data (stat): 14776 (java) R 14775 20937 20936 0 -1 0 18063 0 1 0 36861 54 0 0 25 0 11 0 482235065 860524544 25784 4294967295 134512640 134569956 3221224400 3221214728 1131378470 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210089 25784 13073 16 0 210073 0
vsize: 840356
[startup+390.242 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 14786
Raw data (stat): 14776 (java) R 14775 20937 20936 0 -1 0 18064 0 1 0 37857 54 0 0 25 0 11 0 482235065 860524544 25785 4294967295 134512640 134569956 3221224400 3221214648 1131441188 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210089 25785 13073 16 0 210073 0
vsize: 840356
[startup+400.242 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 14786
Raw data (stat): 14776 (java) R 14775 20937 20936 0 -1 0 18064 0 1 0 38854 55 0 0 25 0 11 0 482235065 860524544 25785 4294967295 134512640 134569956 3221224400 3221214632 1131297591 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210089 25785 13073 16 0 210073 0
vsize: 840356
[startup+410.242 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 14786
Raw data (stat): 14776 (java) R 14775 20937 20936 0 -1 0 18064 0 1 0 39850 55 0 0 25 0 11 0 482235065 860524544 25785 4294967295 134512640 134569956 3221224400 3221214720 1131493472 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210089 25785 13073 16 0 210073 0
vsize: 840356
[startup+420.242 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 14786
Raw data (stat): 14776 (java) R 14775 20937 20936 0 -1 0 18064 0 1 0 40846 56 0 0 25 0 11 0 482235065 860524544 25785 4294967295 134512640 134569956 3221224400 3221214740 1131298304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210089 25785 13073 16 0 210073 0
vsize: 840356
[startup+430.243 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 14786
Raw data (stat): 14776 (java) R 14775 20937 20936 0 -1 0 18064 0 1 0 41843 56 0 0 25 0 11 0 482235065 860524544 25785 4294967295 134512640 134569956 3221224400 3221214184 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210089 25785 13073 16 0 210073 0
vsize: 840356
[startup+440.244 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 14786
Raw data (stat): 14776 (java) R 14775 20937 20936 0 -1 0 18064 0 1 0 42839 56 0 0 25 0 11 0 482235065 860524544 25785 4294967295 134512640 134569956 3221224400 3221214648 1131439649 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210089 25785 13073 16 0 210073 0
vsize: 840356
[startup+450.244 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 14786
Raw data (stat): 14776 (java) R 14775 20937 20936 0 -1 0 18064 0 1 0 43836 57 0 0 25 0 11 0 482235065 860524544 25785 4294967295 134512640 134569956 3221224400 3221214724 1131385152 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210089 25785 13073 16 0 210073 0
vsize: 840356
[startup+460.245 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 14786
Raw data (stat): 14776 (java) R 14775 20937 20936 0 -1 0 18064 0 1 0 44833 57 0 0 25 0 11 0 482235065 860524544 25785 4294967295 134512640 134569956 3221224400 3221214756 1080203670 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210089 25785 13073 16 0 210073 0
vsize: 840356
[startup+470.246 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 14786
Raw data (stat): 14776 (java) R 14775 20937 20936 0 -1 0 18064 0 1 0 45830 57 0 0 25 0 11 0 482235065 860524544 25785 4294967295 134512640 134569956 3221224400 3221214728 1131378323 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210089 25785 13073 16 0 210073 0
vsize: 840356
[startup+480.246 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 14786
Raw data (stat): 14776 (java) R 14775 20937 20936 0 -1 0 18064 0 1 0 46826 57 0 0 25 0 11 0 482235065 860524544 25785 4294967295 134512640 134569956 3221224400 3221214768 1131408492 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210089 25785 13073 16 0 210073 0
vsize: 840356
[startup+490.247 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 14786
Raw data (stat): 14776 (java) R 14775 20937 20936 0 -1 0 18064 0 1 0 47823 58 0 0 25 0 11 0 482235065 860524544 25785 4294967295 134512640 134569956 3221224400 3221214608 1131497896 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210089 25785 13073 16 0 210073 0
vsize: 840356
[startup+500.248 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 14786
Raw data (stat): 14776 (java) R 14775 20937 20936 0 -1 0 18064 0 1 0 48820 58 0 0 25 0 11 0 482235065 860524544 25785 4294967295 134512640 134569956 3221224400 3221214708 1080204260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210089 25785 13073 16 0 210073 0
vsize: 840356
[startup+510.247 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 14786
Raw data (stat): 14776 (java) R 14775 20937 20936 0 -1 0 18064 0 1 0 49816 58 0 0 25 0 11 0 482235065 860524544 25785 4294967295 134512640 134569956 3221224400 3221214648 1131442111 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210089 25785 13073 16 0 210073 0
vsize: 840356
[startup+520.248 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 14786
Raw data (stat): 14776 (java) R 14775 20937 20936 0 -1 0 18064 0 1 0 50813 58 0 0 25 0 11 0 482235065 860524544 25785 4294967295 134512640 134569956 3221224400 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210089 25785 13073 16 0 210073 0
vsize: 840356
[startup+528.925 s]
Raw data (loadavg): 1.00 1.00 0.98 1/53 14787
Raw data (stat): 14776 (java) R 14775 20937 20936 0 -1 0 18064 0 1 0 50813 58 0 0 25 0 11 0 482235065 860524544 25785 4294967295 134512640 134569956 3221224400 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210089 25785 13073 16 0 210073 0
vsize: 0

Child status: 20
Real time (s): 528.924
CPU time (s): 538.672
CPU user time (s): 537.729
CPU system time (s): 0.942856
CPU usage (%): 101.843
Max. virtual memory (Kb): 841284
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####