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-nesm.opb
MD5SUM	9ca217d68e197c62a424642cb15d4c0d
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	6687
Biggest coefficient in the objective function	13107200000000000
Number of bits for the biggest coefficient in the objective function	54
Sum of the numbers in the objective function	655896268577248767
Number of bits of the sum of numbers in the objective function	60
Biggest number in a constraint	13107200000000000
Number of bits of the biggest number in a constraint	54
Biggest sum of numbers in a constraint	655896268577248767
Number of bits of the biggest sum of numbers	60
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.378942
Number of variables	43191
Total number of constraints	2258
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	2258
Minimum length of a constraint	7
Maximum length of a constraint	648

Trace number 19804

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc17 THE 2005-04-21 19:47:07 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=16012 boxname=wulflinc17 idbench=1232 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  9ca217d68e197c62a424642cb15d4c0d  /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-13-7-nesm.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-13-7-nesm.opb
IDLAUNCH: 16012
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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.072
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:        590304 kB
Buffers:         22268 kB
Cached:         395388 kB
SwapCached:        408 kB
Active:          91232 kB
Inactive:       329044 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        590052 kB
SwapTotal:     2097892 kB
SwapFree:      2097056 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5856 kB
Slab:            18268 kB
Committed_AS:    63820 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 19:56:56 (client local time) WITH STATUS 20 IN 605.954 SECONDS
stats: 16012 7 605.954 20
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-13-7-nesm.opb
c reading problem 
c [nbvar=43191]
c [nbconstr=2258]
c time 536.314
c #vars     43191
c #clauses  2738
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) : 588.17
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.50 0.78 0.91 2/55 3592
Raw data (stat): 3592 (runsolver) R 3591 20838 20837 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 547721683 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.0011 s]
Raw data (loadavg): 0.57 0.78 0.91 2/64 3601
Raw data (stat): 3592 (java) S 3591 20838 20837 0 -1 0 17981 0 1 0 884 40 0 0 25 0 10 0 547721683 853471232 19133 4294967295 134512640 134569956 3221224400 3221213656 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208367 19133 13073 16 0 208351 0
vsize: 833468
[startup+20.0019 s]
Raw data (loadavg): 0.80 0.82 0.92 3/64 3601
Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18009 0 1 0 1669 40 0 0 25 0 10 0 547721683 869781504 23402 4294967295 134512640 134569956 3221224400 3221214564 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212349 23402 13073 16 0 212333 0
vsize: 849396
[startup+30.0015 s]
Raw data (loadavg): 0.98 0.86 0.93 2/64 3601
Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18012 0 1 0 2484 41 0 0 24 0 10 0 547721683 869691392 24132 4294967295 134512640 134569956 3221224400 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212327 24132 13073 16 0 212311 0
vsize: 849308
[startup+40.0017 s]
Raw data (loadavg): 0.99 0.87 0.93 2/64 3601
Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18012 0 1 0 3355 41 0 0 25 0 10 0 547721683 865091584 23413 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211204 23413 13073 16 0 211188 0
vsize: 844816
[startup+50.0017 s]
Raw data (loadavg): 0.99 0.87 0.93 2/64 3601
Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18012 0 1 0 4252 41 0 0 25 0 10 0 547721683 865091584 23615 4294967295 134512640 134569956 3221224400 3221214184 1076874552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211204 23615 13073 16 0 211188 0
vsize: 844816
[startup+60.0012 s]
Raw data (loadavg): 0.99 0.87 0.93 2/64 3601
Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18012 0 1 0 5164 41 0 0 25 0 10 0 547721683 865091584 23857 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211204 23857 13073 16 0 211188 0
vsize: 844816
[startup+70.0049 s]
Raw data (loadavg): 0.99 0.88 0.93 2/64 3601
Raw data (stat): 3592 (java) S 3591 20838 20837 0 -1 0 18012 0 1 0 6087 42 0 0 25 0 10 0 547721683 865091584 24059 4294967295 134512640 134569956 3221224400 3221213520 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211204 24059 13073 16 0 211188 0
vsize: 844816
[startup+80.0065 s]
Raw data (loadavg): 0.99 0.88 0.93 2/64 3601
Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18012 0 1 0 7017 42 0 0 24 0 10 0 547721683 865091584 24173 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211204 24173 13073 16 0 211188 0
vsize: 844816
[startup+90.0061 s]
Raw data (loadavg): 0.99 0.88 0.93 2/64 3601
Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18012 0 1 0 7952 42 0 0 25 0 10 0 547721683 865091584 24272 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211204 24272 13073 16 0 211188 0
vsize: 844816
[startup+100.008 s]
Raw data (loadavg): 0.99 0.89 0.93 2/64 3601
Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18012 0 1 0 8887 42 0 0 25 0 10 0 547721683 865091584 24363 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211204 24363 13073 16 0 211188 0
vsize: 844816
[startup+110.009 s]
Raw data (loadavg): 0.99 0.89 0.93 2/64 3601
Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18012 0 1 0 9796 42 0 0 25 0 10 0 547721683 865091584 24444 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211204 24444 13073 16 0 211188 0
vsize: 844816
[startup+120.01 s]
Raw data (loadavg): 0.99 0.89 0.93 2/64 3603
Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18012 0 1 0 10694 43 0 0 25 0 10 0 547721683 865091584 24525 4294967295 134512640 134569956 3221224400 3221214888 1131154492 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211204 24525 13073 16 0 211188 0
vsize: 844816
[startup+130.01 s]
Raw data (loadavg): 0.99 0.90 0.93 2/64 3603
Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18012 0 1 0 11620 43 0 0 25 0 10 0 547721683 865091584 24798 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211204 24798 13073 16 0 211188 0
vsize: 844816
[startup+140.01 s]
Raw data (loadavg): 0.99 0.90 0.93 2/64 3603
Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18012 0 1 0 12549 43 0 0 25 0 10 0 547721683 865091584 24895 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211204 24895 13073 16 0 211188 0
vsize: 844816
[startup+150.013 s]
Raw data (loadavg): 0.99 0.90 0.93 2/64 3603
Raw data (stat): 3592 (java) S 3591 20838 20837 0 -1 0 18012 0 1 0 13479 43 0 0 25 0 10 0 547721683 865091584 24990 4294967295 134512640 134569956 3221224400 3221213504 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211204 24990 13073 16 0 211188 0
vsize: 844816
[startup+160.013 s]
Raw data (loadavg): 0.99 0.91 0.93 2/64 3603
Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18012 0 1 0 14406 43 0 0 25 0 10 0 547721683 865091584 25064 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211204 25064 13073 16 0 211188 0
vsize: 844816
[startup+170.013 s]
Raw data (loadavg): 0.99 0.91 0.93 2/64 3603
Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18012 0 1 0 15335 43 0 0 25 0 10 0 547721683 865091584 25154 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211204 25154 13073 16 0 211188 0
vsize: 844816
[startup+180.014 s]
Raw data (loadavg): 0.99 0.91 0.93 2/64 3603
Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18012 0 1 0 16255 44 0 0 25 0 10 0 547721683 865091584 25222 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211204 25222 13073 16 0 211188 0
vsize: 844816
[startup+190.014 s]
Raw data (loadavg): 0.99 0.91 0.93 2/64 3603
Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18012 0 1 0 17167 44 0 0 25 0 10 0 547721683 865091584 25311 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211204 25311 13073 16 0 211188 0
vsize: 844816
[startup+200.014 s]
Raw data (loadavg): 0.99 0.92 0.93 2/64 3603
Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18012 0 1 0 18086 44 0 0 25 0 10 0 547721683 865091584 25536 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211204 25536 13073 16 0 211188 0
vsize: 844816
[startup+210.014 s]
Raw data (loadavg): 1.07 0.93 0.94 2/64 3603
Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18012 0 1 0 19012 44 0 0 25 0 10 0 547721683 865091584 25621 4294967295 134512640 134569956 3221224400 3221214264 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211204 25621 13073 16 0 211188 0
vsize: 844816
[startup+220.028 s]
Raw data (loadavg): 1.06 0.94 0.94 2/64 3603
Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18012 0 1 0 19936 44 0 0 24 0 10 0 547721683 865091584 25687 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211204 25687 13073 16 0 211188 0
vsize: 844816
[startup+230.028 s]
Raw data (loadavg): 1.05 0.94 0.94 2/64 3603
Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18012 0 1 0 20861 44 0 0 25 0 10 0 547721683 865091584 25748 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211204 25748 13073 16 0 211188 0
vsize: 844816
[startup+240.027 s]
Raw data (loadavg): 1.04 0.94 0.94 2/64 3603
Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18012 0 1 0 21785 44 0 0 25 0 10 0 547721683 865091584 25810 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211204 25810 13073 16 0 211188 0
vsize: 844816
[startup+250.048 s]
Raw data (loadavg): 1.03 0.94 0.94 2/64 3603
Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18012 0 1 0 22712 45 0 0 25 0 10 0 547721683 865091584 25893 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211204 25893 13073 16 0 211188 0
vsize: 844816
[startup+260.049 s]
Raw data (loadavg): 1.03 0.94 0.94 2/64 3603
Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18012 0 1 0 23636 45 0 0 25 0 10 0 547721683 865091584 25952 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211204 25952 13073 16 0 211188 0
vsize: 844816
[startup+270.052 s]
Raw data (loadavg): 1.02 0.94 0.94 2/64 3603
Raw data (stat): 3592 (java) S 3591 20838 20837 0 -1 0 18012 0 1 0 24555 45 0 0 25 0 10 0 547721683 865091584 26012 4294967295 134512640 134569956 3221224400 3221213520 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211204 26012 13073 16 0 211188 0
vsize: 844816
[startup+280.052 s]
Raw data (loadavg): 1.02 0.94 0.94 2/64 3603
Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18012 0 1 0 25478 45 0 0 25 0 10 0 547721683 865091584 26071 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211204 26071 13073 16 0 211188 0
vsize: 844816
[startup+290.057 s]
Raw data (loadavg): 1.10 0.96 0.94 2/64 3603
Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18012 0 1 0 26401 45 0 0 25 0 10 0 547721683 865091584 26129 4294967295 134512640 134569956 3221224400 3221214168 1076874558 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211204 26129 13073 16 0 211188 0
vsize: 844816
[startup+300.058 s]
Raw data (loadavg): 1.08 0.96 0.94 2/64 3603
Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18012 0 1 0 27324 46 0 0 25 0 10 0 547721683 865091584 26206 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211204 26206 13073 16 0 211188 0
vsize: 844816
[startup+310.061 s]
Raw data (loadavg): 1.07 0.96 0.94 2/64 3603
Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18012 0 1 0 28246 46 0 0 25 0 10 0 547721683 865091584 26261 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211204 26261 13073 16 0 211188 0
vsize: 844816
[startup+320.069 s]
Raw data (loadavg): 1.06 0.97 0.94 2/64 3603
Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18012 0 1 0 29168 46 0 0 25 0 10 0 547721683 865091584 26317 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211204 26317 13073 16 0 211188 0
vsize: 844816
[startup+330.069 s]
Raw data (loadavg): 1.05 0.97 0.94 2/64 3603
Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18012 0 1 0 30089 46 0 0 25 0 10 0 547721683 865091584 26371 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211204 26371 13073 16 0 211188 0
vsize: 844816
[startup+340.072 s]
Raw data (loadavg): 1.04 0.97 0.94 2/64 3603
Raw data (stat): 3592 (java) S 3591 20838 20837 0 -1 0 18012 0 1 0 31006 46 0 0 25 0 10 0 547721683 865091584 26425 4294967295 134512640 134569956 3221224400 3221213520 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211204 26425 13073 16 0 211188 0
vsize: 844816
[startup+350.075 s]
Raw data (loadavg): 1.03 0.97 0.94 2/64 3603
Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18012 0 1 0 31925 47 0 0 24 0 10 0 547721683 865091584 26479 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211204 26479 13073 16 0 211188 0
vsize: 844816
[startup+360.077 s]
Raw data (loadavg): 1.03 0.97 0.94 2/64 3603
Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18012 0 1 0 32845 47 0 0 25 0 10 0 547721683 865091584 26532 4294967295 134512640 134569956 3221224400 3221214264 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211204 26532 13073 16 0 211188 0
vsize: 844816
[startup+370.078 s]
Raw data (loadavg): 1.02 0.97 0.94 2/64 3603
Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18012 0 1 0 33765 47 0 0 25 0 10 0 547721683 865091584 26584 4294967295 134512640 134569956 3221224400 3221214812 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211204 26584 13073 16 0 211188 0
vsize: 844816
[startup+380.181 s]
Raw data (loadavg): 1.02 0.97 0.94 2/64 3603
Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18012 0 1 0 34694 47 0 0 25 0 10 0 547721683 865091584 26634 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211204 26634 13073 16 0 211188 0
vsize: 844816
[startup+390.182 s]
Raw data (loadavg): 1.02 0.97 0.94 2/64 3603
Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18012 0 1 0 35612 47 0 0 25 0 10 0 547721683 865091584 26684 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211204 26684 13073 16 0 211188 0
vsize: 844816
[startup+400.184 s]
Raw data (loadavg): 1.01 0.97 0.94 2/64 3603
Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18012 0 1 0 36530 47 0 0 25 0 10 0 547721683 865091584 26734 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211204 26734 13073 16 0 211188 0
vsize: 844816
[startup+410.184 s]
Raw data (loadavg): 1.01 0.97 0.94 2/64 3603
Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18012 0 1 0 37447 47 0 0 25 0 10 0 547721683 865091584 26783 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211204 26783 13073 16 0 211188 0
vsize: 844816
[startup+420.184 s]
Raw data (loadavg): 1.01 0.97 0.94 2/64 3605
Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18012 0 1 0 38363 47 0 0 25 0 10 0 547721683 865091584 26833 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211204 26833 13073 16 0 211188 0
vsize: 844816
[startup+430.185 s]
Raw data (loadavg): 1.01 0.97 0.94 2/64 3605
Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18012 0 1 0 39279 47 0 0 25 0 10 0 547721683 865091584 26861 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211204 26861 13073 16 0 211188 0
vsize: 844816
[startup+440.185 s]
Raw data (loadavg): 1.00 0.97 0.94 2/64 3605
Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18013 0 1 0 40177 48 0 0 25 0 10 0 547721683 865091584 28312 4294967295 134512640 134569956 3221224400 3221214440 1131350092 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211204 28312 13073 16 0 211188 0
vsize: 844816
[startup+450.185 s]
Raw data (loadavg): 1.00 0.97 0.94 2/64 3605
Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18013 0 1 0 41052 49 0 0 25 0 10 0 547721683 865091584 28653 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211204 28653 13073 16 0 211188 0
vsize: 844816
[startup+460.186 s]
Raw data (loadavg): 1.00 0.97 0.94 2/64 3605
Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18015 0 1 0 41917 49 0 0 25 0 10 0 547721683 865091584 29182 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211204 29182 13073 16 0 211188 0
vsize: 844816
[startup+470.186 s]
Raw data (loadavg): 1.00 0.97 0.94 2/64 3605
Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18015 0 1 0 42793 49 0 0 25 0 10 0 547721683 865091584 29416 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211204 29416 13073 16 0 211188 0
vsize: 844816
[startup+480.186 s]
Raw data (loadavg): 1.00 0.97 0.94 2/64 3605
Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18015 0 1 0 43677 50 0 0 25 0 10 0 547721683 865091584 29493 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211204 29493 13073 16 0 211188 0
vsize: 844816
[startup+490.186 s]
Raw data (loadavg): 1.00 0.97 0.94 2/64 3605
Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18015 0 1 0 44553 50 0 0 25 0 10 0 547721683 865091584 29647 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211204 29647 13073 16 0 211188 0
vsize: 844816
[startup+500.186 s]
Raw data (loadavg): 1.00 0.97 0.94 2/64 3605
Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18015 0 1 0 45424 50 0 0 24 0 10 0 547721683 865091584 29892 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211204 29892 13073 16 0 211188 0
vsize: 844816
[startup+510.185 s]
Raw data (loadavg): 1.00 0.97 0.94 2/64 3605
Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18015 0 1 0 46300 50 0 0 25 0 10 0 547721683 865091584 30063 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211204 30063 13073 16 0 211188 0
vsize: 844816
[startup+520.186 s]
Raw data (loadavg): 1.00 0.97 0.94 2/64 3605
Raw data (stat): 3592 (java) S 3591 20838 20837 0 -1 0 18015 0 1 0 47186 51 0 0 25 0 10 0 547721683 865091584 31404 4294967295 134512640 134569956 3221224400 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211204 31404 13073 16 0 211188 0
vsize: 844816
[startup+530.187 s]
Raw data (loadavg): 1.00 0.97 0.94 2/64 3605
Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18015 0 1 0 48094 51 0 0 25 0 10 0 547721683 865091584 31404 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211204 31404 13073 16 0 211188 0
vsize: 844816
[startup+540.186 s]
Raw data (loadavg): 1.00 0.97 0.94 2/65 3606
Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18058 0 1 0 48960 53 0 0 25 0 11 0 547721683 865619968 34383 4294967295 134512640 134569956 3221224400 3221214768 1131496737 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211333 34383 13073 16 0 211317 0
vsize: 845332
[startup+550.186 s]
Raw data (loadavg): 1.00 0.97 0.94 2/65 3606
Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18096 0 1 0 49937 53 0 0 25 0 11 0 547721683 865619968 34399 4294967295 134512640 134569956 3221224400 3221214848 1131536551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211333 34399 13073 16 0 211317 0
vsize: 845332
[startup+560.186 s]
Raw data (loadavg): 1.00 0.97 0.94 2/65 3606
Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18096 0 1 0 50935 54 0 0 25 0 11 0 547721683 865619968 34318 4294967295 134512640 134569956 3221224400 3221214848 1131536540 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211333 34318 13073 16 0 211317 0
vsize: 845332
[startup+570.187 s]
Raw data (loadavg): 1.00 0.97 0.94 2/65 3606
Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18096 0 1 0 51934 54 0 0 25 0 11 0 547721683 865619968 34318 4294967295 134512640 134569956 3221224400 3221214848 1131536808 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211333 34318 13073 16 0 211317 0
vsize: 845332
[startup+580.187 s]
Raw data (loadavg): 1.00 0.97 0.94 2/65 3606
Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18096 0 1 0 52897 54 0 0 25 0 11 0 547721683 865619968 34340 4294967295 134512640 134569956 3221224400 3221214512 1131651127 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211333 34340 13073 16 0 211317 0
vsize: 845332
[startup+588.911 s]
Raw data (loadavg): 1.00 0.97 0.94 1/54 3607
Raw data (stat): 3592 (java) R 3591 20838 20837 0 -1 0 18096 0 1 0 52897 54 0 0 25 0 11 0 547721683 865619968 34340 4294967295 134512640 134569956 3221224400 3221214512 1131651127 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211333 34340 13073 16 0 211317 0
vsize: 0

Child status: 20
Real time (s): 588.911
CPU time (s): 605.954
CPU user time (s): 604.626
CPU system time (s): 1.3278
CPU usage (%): 102.894
Max. virtual memory (Kb): 849396
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####