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-ship04l.opb
MD5SUM	96cffa4027013d4e1e663a2c8e2c78bc
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	42360
Biggest coefficient in the objective function	1930952704000
Number of bits for the biggest coefficient in the objective function	41
Sum of the numbers in the objective function	425698145420625
Number of bits of the sum of numbers in the objective function	49
Biggest number in a constraint	1930952704000
Number of bits of the biggest number in a constraint	41
Biggest sum of numbers in a constraint	425698145420625
Number of bits of the biggest sum of numbers	49
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.365943
Number of variables	42360
Total number of constraints	352
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	352
Minimum length of a constraint	20
Maximum length of a constraint	1680

Trace number 29854

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc22 THE 2005-05-25 12:20:36 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21274 boxname=wulflinc22 idbench=1262 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  96cffa4027013d4e1e663a2c8e2c78bc  /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-13-7-ship04l.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-13-7-ship04l.opb
IDLAUNCH: 21274
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.031
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.031
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        670824 kB
Buffers:         33112 kB
Cached:         307848 kB
SwapCached:        400 kB
Active:          64124 kB
Inactive:       279120 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        670572 kB
SwapTotal:     2097892 kB
SwapFree:      2096804 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5576 kB
Slab:            14972 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 12:29:19 (client local time) WITH STATUS 20 IN 529.649 SECONDS
stats: 21274 7 529.649 20
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre
c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
c version Special PB05 Second trial
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@1e4cbc4
c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c
c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c 
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-13-7-ship04l.opb
c reading problem ... done. Time 499.095 ms.
c #vars     42360
c #constraints  604
c starts	: 1
c conflicts	: 25
c decisions	: 898
c propagations	: 30249
c inspects	: 4849
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 24
c root simplifications	: 8
s UNSATISFIABLE
c Total CPU time (ms) : 521.811
#### 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.86 0.97 0.99 2/54 3298
Raw data (stat): 3298 (runsolver) R 3297 23310 23309 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 838832529 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 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.0005 s]
Raw data (loadavg): 0.88 0.97 0.99 2/63 3307
Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18015 0 1 0 876 37 0 0 25 0 10 0 838832529 853659648 19330 4294967295 134512640 134569956 3221224368 3221214460 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208413 19330 13086 16 0 208397 0
vsize: 833652
[startup+20.0006 s]
Raw data (loadavg): 0.90 0.97 0.99 2/63 3307
Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18016 0 1 0 1772 37 0 0 25 0 10 0 838832529 854642688 20088 4294967295 134512640 134569956 3221224368 3221214636 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 20088 13086 16 0 208637 0
vsize: 834612
[startup+30.0009 s]
Raw data (loadavg): 0.91 0.97 0.99 2/63 3307
Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18016 0 1 0 2661 37 0 0 25 0 10 0 838832529 854642688 20592 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 20592 13086 16 0 208637 0
vsize: 834612
[startup+40.0007 s]
Raw data (loadavg): 0.93 0.97 0.99 2/63 3307
Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18016 0 1 0 3576 37 0 0 25 0 10 0 838832529 854642688 20895 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 20895 13086 16 0 208637 0
vsize: 834612
[startup+50.0022 s]
Raw data (loadavg): 0.94 0.97 0.99 2/63 3307
Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18016 0 1 0 4497 37 0 0 25 0 10 0 838832529 854642688 21063 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 21063 13086 16 0 208637 0
vsize: 834612
[startup+60.0021 s]
Raw data (loadavg): 0.95 0.97 0.99 2/63 3307
Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18016 0 1 0 5418 37 0 0 25 0 10 0 838832529 854642688 21191 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 21191 13086 16 0 208637 0
vsize: 834612
[startup+70.0018 s]
Raw data (loadavg): 0.95 0.97 0.99 2/63 3307
Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18016 0 1 0 6345 37 0 0 25 0 10 0 838832529 854642688 21442 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 21442 13086 16 0 208637 0
vsize: 834612
[startup+80.0031 s]
Raw data (loadavg): 0.96 0.97 0.99 2/63 3307
Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18016 0 1 0 7287 38 0 0 25 0 10 0 838832529 854642688 21541 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 21541 13086 16 0 208637 0
vsize: 834612
[startup+90.0033 s]
Raw data (loadavg): 0.97 0.97 0.99 2/63 3307
Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18016 0 1 0 8226 38 0 0 24 0 10 0 838832529 854642688 21637 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 21637 13086 16 0 208637 0
vsize: 834612
[startup+100.004 s]
Raw data (loadavg): 0.97 0.97 0.99 2/63 3307
Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18016 0 1 0 9170 38 0 0 25 0 10 0 838832529 854642688 21720 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 21720 13086 16 0 208637 0
vsize: 834612
[startup+110.006 s]
Raw data (loadavg): 0.97 0.97 0.99 2/63 3307
Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18016 0 1 0 10111 39 0 0 25 0 10 0 838832529 854642688 21804 4294967295 134512640 134569956 3221224368 3221214320 1079668418 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 21804 13086 16 0 208637 0
vsize: 834612
[startup+120.005 s]
Raw data (loadavg): 0.98 0.97 0.99 2/63 3307
Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18016 0 1 0 11056 39 0 0 25 0 10 0 838832529 854642688 21878 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 21878 13086 16 0 208637 0
vsize: 834612
[startup+130.006 s]
Raw data (loadavg): 0.98 0.97 0.99 2/63 3307
Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18016 0 1 0 11997 39 0 0 25 0 10 0 838832529 854642688 21952 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 21952 13086 16 0 208637 0
vsize: 834612
[startup+140.007 s]
Raw data (loadavg): 0.98 0.97 0.99 2/63 3307
Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18016 0 1 0 12943 39 0 0 25 0 10 0 838832529 854642688 22019 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 22019 13086 16 0 208637 0
vsize: 834612
[startup+150.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 3307
Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18016 0 1 0 13885 39 0 0 25 0 10 0 838832529 854642688 22087 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 22087 13086 16 0 208637 0
vsize: 834612
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 3307
Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18016 0 1 0 14826 40 0 0 24 0 10 0 838832529 854642688 22152 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 22152 13086 16 0 208637 0
vsize: 834612
[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 3307
Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18016 0 1 0 15772 40 0 0 25 0 10 0 838832529 854642688 22211 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 22211 13086 16 0 208637 0
vsize: 834612
[startup+180.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 3307
Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18016 0 1 0 16688 40 0 0 25 0 10 0 838832529 854642688 22268 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 22268 13086 16 0 208637 0
vsize: 834612
[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 3307
Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18016 0 1 0 17608 40 0 0 25 0 10 0 838832529 854642688 22580 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 22580 13086 16 0 208637 0
vsize: 834612
[startup+200.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 3307
Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18016 0 1 0 18547 40 0 0 25 0 10 0 838832529 854642688 22637 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 22637 13086 16 0 208637 0
vsize: 834612
[startup+210.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 3307
Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18016 0 1 0 19489 40 0 0 25 0 10 0 838832529 854642688 22689 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 22689 13086 16 0 208637 0
vsize: 834612
[startup+220.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 3307
Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18016 0 1 0 20428 40 0 0 25 0 10 0 838832529 854642688 22742 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 22742 13086 16 0 208637 0
vsize: 834612
[startup+230.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 3307
Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18016 0 1 0 21369 41 0 0 25 0 10 0 838832529 854642688 22792 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 22792 13086 16 0 208637 0
vsize: 834612
[startup+240.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 3307
Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18016 0 1 0 22307 41 0 0 25 0 10 0 838832529 854642688 22844 4294967295 134512640 134569956 3221224368 3221214224 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 22844 13086 16 0 208637 0
vsize: 834612
[startup+250.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 3307
Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18016 0 1 0 23248 41 0 0 25 0 10 0 838832529 854642688 22891 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 22891 13086 16 0 208637 0
vsize: 834612
[startup+260.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 3307
Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18016 0 1 0 24185 41 0 0 25 0 10 0 838832529 854642688 22940 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 22940 13086 16 0 208637 0
vsize: 834612
[startup+270.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 3307
Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18016 0 1 0 25126 41 0 0 25 0 10 0 838832529 854642688 22985 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 22985 13086 16 0 208637 0
vsize: 834612
[startup+280.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 3307
Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18016 0 1 0 26061 41 0 0 24 0 10 0 838832529 854642688 23032 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 23032 13086 16 0 208637 0
vsize: 834612
[startup+290.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 3307
Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18016 0 1 0 27001 41 0 0 25 0 10 0 838832529 854642688 23075 4294967295 134512640 134569956 3221224368 3221214720 1131045363 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 23075 13086 16 0 208637 0
vsize: 834612
[startup+300.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 3307
Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18016 0 1 0 27936 42 0 0 24 0 10 0 838832529 854642688 23120 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 23120 13086 16 0 208637 0
vsize: 834612
[startup+310.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 3307
Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18016 0 1 0 28875 42 0 0 25 0 10 0 838832529 854642688 23162 4294967295 134512640 134569956 3221224368 3221214756 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 23162 13086 16 0 208637 0
vsize: 834612
[startup+320.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 3307
Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18016 0 1 0 29813 42 0 0 25 0 10 0 838832529 854642688 23203 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 23203 13086 16 0 208637 0
vsize: 834612
[startup+330.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 3307
Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18016 0 1 0 30747 42 0 0 25 0 10 0 838832529 854642688 23245 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 23245 13086 16 0 208637 0
vsize: 834612
[startup+340.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 3307
Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18016 0 1 0 31684 42 0 0 25 0 10 0 838832529 854642688 23285 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 23285 13086 16 0 208637 0
vsize: 834612
[startup+350.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 3307
Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18016 0 1 0 32617 42 0 0 25 0 10 0 838832529 854642688 23327 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 23327 13086 16 0 208637 0
vsize: 834612
[startup+360.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 3307
Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18016 0 1 0 33553 42 0 0 25 0 10 0 838832529 854642688 23366 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 23366 13086 16 0 208637 0
vsize: 834612
[startup+370.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 3307
Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18016 0 1 0 34485 42 0 0 24 0 10 0 838832529 854642688 23406 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 23406 13086 16 0 208637 0
vsize: 834612
[startup+380.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 3307
Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18016 0 1 0 35421 42 0 0 25 0 10 0 838832529 854642688 23443 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 23443 13086 16 0 208637 0
vsize: 834612
[startup+390.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 3307
Raw data (stat): 3298 (java) S 3297 23310 23309 0 -1 0 18016 0 1 0 36355 42 0 0 25 0 10 0 838832529 854642688 23480 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 23480 13086 16 0 208637 0
vsize: 834612
[startup+400.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 3307
Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18016 0 1 0 37286 42 0 0 25 0 10 0 838832529 854642688 23519 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 23519 13086 16 0 208637 0
vsize: 834612
[startup+410.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 3307
Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18016 0 1 0 38221 43 0 0 25 0 10 0 838832529 854642688 23554 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 23554 13086 16 0 208637 0
vsize: 834612
[startup+420.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 3307
Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18016 0 1 0 39151 43 0 0 24 0 10 0 838832529 854642688 23592 4294967295 134512640 134569956 3221224368 3221214224 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 23592 13086 16 0 208637 0
vsize: 834612
[startup+430.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 3307
Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18016 0 1 0 40085 43 0 0 25 0 10 0 838832529 854642688 23627 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 23627 13086 16 0 208637 0
vsize: 834612
[startup+440.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 3307
Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18016 0 1 0 41018 43 0 0 25 0 10 0 838832529 854642688 23661 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 23661 13086 16 0 208637 0
vsize: 834612
[startup+450.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 3307
Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18016 0 1 0 41946 43 0 0 24 0 10 0 838832529 854642688 23697 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 23697 13086 16 0 208637 0
vsize: 834612
[startup+460.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 3307
Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18016 0 1 0 42878 43 0 0 25 0 10 0 838832529 854642688 23731 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 23731 13086 16 0 208637 0
vsize: 834612
[startup+470.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 3307
Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18016 0 1 0 43810 43 0 0 25 0 10 0 838832529 854642688 23764 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 23764 13086 16 0 208637 0
vsize: 834612
[startup+480.033 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 3307
Raw data (stat): 3298 (java) S 3297 23310 23309 0 -1 0 18016 0 1 0 44741 43 0 0 25 0 10 0 838832529 854642688 23798 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 23798 13086 16 0 208637 0
vsize: 834612
[startup+490.033 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 3307
Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18016 0 1 0 45669 43 0 0 25 0 10 0 838832529 854642688 23832 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 23832 13086 16 0 208637 0
vsize: 834612
[startup+500.034 s]
Raw data (loadavg): 1.14 1.00 1.00 2/63 3307
Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18027 0 1 0 46523 45 0 0 25 0 10 0 838832529 855060480 25506 4294967295 134512640 134569956 3221224368 3221213776 1131272156 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208755 25506 13086 16 0 208739 0
vsize: 835020
[startup+510.034 s]
Raw data (loadavg): 1.12 1.00 1.00 2/64 3308
Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18068 0 1 0 47395 46 0 0 25 0 11 0 838832529 855654400 29960 4294967295 134512640 134569956 3221224368 3221214736 1131331476 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208900 29960 13086 16 0 208884 0
vsize: 835600
[startup+520.034 s]
Raw data (loadavg): 1.10 1.00 1.00 2/64 3308
Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18068 0 1 0 48379 46 0 0 25 0 11 0 838832529 855654400 29960 4294967295 134512640 134569956 3221224368 3221214648 1131339725 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208900 29960 13086 16 0 208884 0
vsize: 835600
[startup+522.864 s]
Raw data (loadavg): 1.10 1.00 1.00 1/53 3309
Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18068 0 1 0 48379 46 0 0 25 0 11 0 838832529 855654400 29960 4294967295 134512640 134569956 3221224368 3221214648 1131339725 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208900 29960 13086 16 0 208884 0
vsize: 0

Child status: 20
Real time (s): 522.864
CPU time (s): 529.649
CPU user time (s): 528.757
CPU system time (s): 0.892864
CPU usage (%): 101.298
Max. virtual memory (Kb): 835600
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####