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-ship12s.opb
MD5SUM	c82c0bebea8b0ce184f21387d9520ae2
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	55260
Biggest coefficient in the objective function	1475608576000
Number of bits for the biggest coefficient in the objective function	41
Sum of the numbers in the objective function	200019082827300
Number of bits of the sum of numbers in the objective function	48
Biggest number in a constraint	1475608576000
Number of bits of the biggest number in a constraint	41
Biggest sum of numbers in a constraint	200019082827300
Number of bits of the biggest sum of numbers	48
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.482925
Number of variables	55260
Total number of constraints	1042
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	1042
Minimum length of a constraint	20
Maximum length of a constraint	980
Trace number 29864

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc27 THE 2005-05-25 12:23:41 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21279 boxname=wulflinc27 idbench=1267 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  c82c0bebea8b0ce184f21387d9520ae2  /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-13-7-ship12s.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-13-7-ship12s.opb
IDLAUNCH: 21279
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.169
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.169
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:        414204 kB
Buffers:         34656 kB
Cached:         563376 kB
SwapCached:        640 kB
Active:          92740 kB
Inactive:       507724 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        413952 kB
SwapTotal:     2097892 kB
SwapFree:      2096760 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5648 kB
Slab:            14268 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 12:37:39 (client local time) WITH STATUS 20 IN 835.608 SECONDS
stats: 21279 7 835.608 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/wulflinc27/normalized-mps-v2-13-7-ship12s.opb
c reading problem ... c (trivial inconsistency)
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
s UNSATISFIABLE
c Total CPU time (ms) : 835.94
#### 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 18105
Raw data (stat): 18105 (runsolver) R 18104 3394 3393 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 838846536 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 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.0002 s]
Raw data (loadavg): 0.88 0.97 0.99 2/63 18114
Raw data (stat): 18105 (java) S 18104 3394 3393 0 -1 0 18014 0 1 0 866 39 0 0 25 0 10 0 838846536 853729280 19311 4294967295 134512640 134569956 3221224368 3221213600 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208430 19311 13086 16 0 208414 0
vsize: 833720
[startup+20.0016 s]
Raw data (loadavg): 0.90 0.97 0.99 2/63 18114
Raw data (stat): 18105 (java) R 18104 3394 3393 0 -1 0 18015 0 1 0 1758 40 0 0 24 0 10 0 838846536 857923584 20735 4294967295 134512640 134569956 3221224368 3221214484 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209454 20735 13086 16 0 209438 0
vsize: 837816
[startup+30.0019 s]
Raw data (loadavg): 0.91 0.97 0.99 2/63 18114
Raw data (stat): 18105 (java) R 18104 3394 3393 0 -1 0 18015 0 1 0 2656 40 0 0 25 0 10 0 838846536 857923584 21221 4294967295 134512640 134569956 3221224368 3221214460 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209454 21221 13086 16 0 209438 0
vsize: 837816
[startup+40.0048 s]
Raw data (loadavg): 0.93 0.97 0.99 2/63 18114
Raw data (stat): 18105 (java) S 18104 3394 3393 0 -1 0 18015 0 1 0 3569 40 0 0 25 0 10 0 838846536 858324992 21617 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209552 21617 13086 16 0 209536 0
vsize: 838208
[startup+50.0083 s]
Raw data (loadavg): 0.94 0.97 0.99 2/63 18114
Raw data (stat): 18105 (java) S 18104 3394 3393 0 -1 0 18015 0 1 0 4486 40 0 0 25 0 10 0 838846536 858324992 21785 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209552 21785 13086 16 0 209536 0
vsize: 838208
[startup+60.0083 s]
Raw data (loadavg): 0.95 0.97 0.99 2/63 18114
Raw data (stat): 18105 (java) R 18104 3394 3393 0 -1 0 18015 0 1 0 5405 40 0 0 25 0 10 0 838846536 858324992 21916 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209552 21916 13086 16 0 209536 0
vsize: 838208
[startup+70.0092 s]
Raw data (loadavg): 0.95 0.97 0.99 2/63 18114
Raw data (stat): 18105 (java) R 18104 3394 3393 0 -1 0 18015 0 1 0 6332 40 0 0 25 0 10 0 838846536 858046464 22096 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 22096 13086 16 0 209468 0
vsize: 837936
[startup+80.0108 s]
Raw data (loadavg): 0.96 0.97 0.99 2/63 18114
Raw data (stat): 18105 (java) R 18104 3394 3393 0 -1 0 18015 0 1 0 7270 40 0 0 25 0 10 0 838846536 858046464 22200 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 22200 13086 16 0 209468 0
vsize: 837936
[startup+90.011 s]
Raw data (loadavg): 0.97 0.97 0.99 2/63 18114
Raw data (stat): 18105 (java) R 18104 3394 3393 0 -1 0 18015 0 1 0 8212 41 0 0 25 0 10 0 838846536 858046464 22290 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 22290 13086 16 0 209468 0
vsize: 837936
[startup+100.012 s]
Raw data (loadavg): 0.97 0.97 0.99 2/63 18114
Raw data (stat): 18105 (java) R 18104 3394 3393 0 -1 0 18015 0 1 0 9152 41 0 0 25 0 10 0 838846536 858046464 22378 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 22378 13086 16 0 209468 0
vsize: 837936
[startup+110.014 s]
Raw data (loadavg): 0.97 0.97 0.99 2/63 18114
Raw data (stat): 18105 (java) R 18104 3394 3393 0 -1 0 18015 0 1 0 10092 41 0 0 25 0 10 0 838846536 858046464 22461 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 22461 13086 16 0 209468 0
vsize: 837936
[startup+120.014 s]
Raw data (loadavg): 0.98 0.97 0.99 2/63 18114
Raw data (stat): 18105 (java) R 18104 3394 3393 0 -1 0 18015 0 1 0 11034 41 0 0 25 0 10 0 838846536 858046464 22539 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 22539 13086 16 0 209468 0
vsize: 837936
[startup+130.018 s]
Raw data (loadavg): 0.98 0.97 0.99 2/63 18114
Raw data (stat): 18105 (java) S 18104 3394 3393 0 -1 0 18015 0 1 0 11976 41 0 0 25 0 10 0 838846536 858046464 22610 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 22610 13086 16 0 209468 0
vsize: 837936
[startup+140.019 s]
Raw data (loadavg): 0.98 0.97 0.99 2/63 18114
Raw data (stat): 18105 (java) R 18104 3394 3393 0 -1 0 18015 0 1 0 12920 41 0 0 25 0 10 0 838846536 858046464 22678 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 22678 13086 16 0 209468 0
vsize: 837936
[startup+150.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18114
Raw data (stat): 18105 (java) R 18104 3394 3393 0 -1 0 18015 0 1 0 13861 41 0 0 25 0 10 0 838846536 858046464 22745 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 22745 13086 16 0 209468 0
vsize: 837936
[startup+160.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18114
Raw data (stat): 18105 (java) R 18104 3394 3393 0 -1 0 18015 0 1 0 14802 42 0 0 25 0 10 0 838846536 858046464 22810 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 22810 13086 16 0 209468 0
vsize: 837936
[startup+170.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18114
Raw data (stat): 18105 (java) R 18104 3394 3393 0 -1 0 18015 0 1 0 15734 42 0 0 24 0 10 0 838846536 858046464 22872 4294967295 134512640 134569956 3221224368 3221214764 1080204146 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 22872 13086 16 0 209468 0
vsize: 837936
[startup+180.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18114
Raw data (stat): 18105 (java) R 18104 3394 3393 0 -1 0 18015 0 1 0 16651 42 0 0 25 0 10 0 838846536 858046464 22928 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 22928 13086 16 0 209468 0
vsize: 837936
[startup+190.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18114
Raw data (stat): 18105 (java) R 18104 3394 3393 0 -1 0 18015 0 1 0 17575 42 0 0 25 0 10 0 838846536 858046464 23240 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 23240 13086 16 0 209468 0
vsize: 837936
[startup+200.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18114
Raw data (stat): 18105 (java) R 18104 3394 3393 0 -1 0 18015 0 1 0 18513 42 0 0 25 0 10 0 838846536 858046464 23296 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 23296 13086 16 0 209468 0
vsize: 837936
[startup+210.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18114
Raw data (stat): 18105 (java) R 18104 3394 3393 0 -1 0 18015 0 1 0 19450 42 0 0 25 0 10 0 838846536 858046464 23351 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 23351 13086 16 0 209468 0
vsize: 837936
[startup+220.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18114
Raw data (stat): 18105 (java) R 18104 3394 3393 0 -1 0 18015 0 1 0 20388 42 0 0 24 0 10 0 838846536 858046464 23404 4294967295 134512640 134569956 3221224368 3221214764 1080204144 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 23404 13086 16 0 209468 0
vsize: 837936
[startup+230.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18114
Raw data (stat): 18105 (java) R 18104 3394 3393 0 -1 0 18015 0 1 0 21328 42 0 0 25 0 10 0 838846536 858046464 23453 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 23453 13086 16 0 209468 0
vsize: 837936
[startup+240.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18114
Raw data (stat): 18105 (java) R 18104 3394 3393 0 -1 0 18015 0 1 0 22265 43 0 0 25 0 10 0 838846536 858046464 23505 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 23505 13086 16 0 209468 0
vsize: 837936
[startup+250.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18114
Raw data (stat): 18105 (java) R 18104 3394 3393 0 -1 0 18015 0 1 0 23201 43 0 0 24 0 10 0 838846536 858046464 23554 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 23554 13086 16 0 209468 0
vsize: 837936
[startup+260.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18114
Raw data (stat): 18105 (java) R 18104 3394 3393 0 -1 0 18015 0 1 0 24140 43 0 0 25 0 10 0 838846536 858046464 23600 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 23600 13086 16 0 209468 0
vsize: 837936
[startup+270.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18114
Raw data (stat): 18105 (java) R 18104 3394 3393 0 -1 0 18015 0 1 0 25076 43 0 0 25 0 10 0 838846536 858046464 23647 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 23647 13086 16 0 209468 0
vsize: 837936
[startup+280.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18114
Raw data (stat): 18105 (java) R 18104 3394 3393 0 -1 0 18015 0 1 0 26011 43 0 0 25 0 10 0 838846536 858046464 23693 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 23693 13086 16 0 209468 0
vsize: 837936
[startup+290.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18114
Raw data (stat): 18105 (java) R 18104 3394 3393 0 -1 0 18015 0 1 0 26949 43 0 0 25 0 10 0 838846536 858046464 23736 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 23736 13086 16 0 209468 0
vsize: 837936
[startup+300.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18114
Raw data (stat): 18105 (java) R 18104 3394 3393 0 -1 0 18015 0 1 0 27883 43 0 0 25 0 10 0 838846536 858046464 23781 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 23781 13086 16 0 209468 0
vsize: 837936
[startup+310.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18114
Raw data (stat): 18105 (java) R 18104 3394 3393 0 -1 0 18015 0 1 0 28816 44 0 0 24 0 10 0 838846536 858046464 23825 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 23825 13086 16 0 209468 0
vsize: 837936
[startup+320.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18114
Raw data (stat): 18105 (java) R 18104 3394 3393 0 -1 0 18015 0 1 0 29753 44 0 0 25 0 10 0 838846536 858046464 23866 4294967295 134512640 134569956 3221224368 3221214232 1080019619 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 23866 13086 16 0 209468 0
vsize: 837936
[startup+330.032 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18114
Raw data (stat): 18105 (java) R 18104 3394 3393 0 -1 0 18015 0 1 0 30685 44 0 0 25 0 10 0 838846536 858046464 23908 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 23908 13086 16 0 209468 0
vsize: 837936
[startup+340.032 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18114
Raw data (stat): 18105 (java) R 18104 3394 3393 0 -1 0 18015 0 1 0 31621 44 0 0 25 0 10 0 838846536 858046464 23947 4294967295 134512640 134569956 3221224368 3221214216 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 23947 13086 16 0 209468 0
vsize: 837936
[startup+350.033 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18114
Raw data (stat): 18105 (java) R 18104 3394 3393 0 -1 0 18015 0 1 0 32553 44 0 0 25 0 10 0 838846536 858046464 23989 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 23989 13086 16 0 209468 0
vsize: 837936
[startup+360.035 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18114
Raw data (stat): 18105 (java) S 18104 3394 3393 0 -1 0 18015 0 1 0 33487 45 0 0 25 0 10 0 838846536 858046464 24028 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 24028 13086 16 0 209468 0
vsize: 837936
[startup+370.037 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18114
Raw data (stat): 18105 (java) R 18104 3394 3393 0 -1 0 18015 0 1 0 34418 45 0 0 25 0 10 0 838846536 858046464 24067 4294967295 134512640 134569956 3221224368 3221214728 1131045363 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 24067 13086 16 0 209468 0
vsize: 837936
[startup+380.037 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18114
Raw data (stat): 18105 (java) R 18104 3394 3393 0 -1 0 18015 0 1 0 35348 45 0 0 24 0 10 0 838846536 858046464 24106 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 24106 13086 16 0 209468 0
vsize: 837936
[startup+390.037 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18114
Raw data (stat): 18105 (java) R 18104 3394 3393 0 -1 0 18015 0 1 0 36282 46 0 0 25 0 10 0 838846536 858046464 24143 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 24143 13086 16 0 209468 0
vsize: 837936
[startup+400.038 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18114
Raw data (stat): 18105 (java) R 18104 3394 3393 0 -1 0 18015 0 1 0 37211 47 0 0 24 0 10 0 838846536 858046464 24181 4294967295 134512640 134569956 3221224368 3221214136 1076874552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 24181 13086 16 0 209468 0
vsize: 837936
[startup+410.039 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18114
Raw data (stat): 18105 (java) R 18104 3394 3393 0 -1 0 18015 0 1 0 38143 47 0 0 25 0 10 0 838846536 858046464 24216 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 24216 13086 16 0 209468 0
vsize: 837936
[startup+420.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18114
Raw data (stat): 18105 (java) S 18104 3394 3393 0 -1 0 18015 0 1 0 39075 48 0 0 25 0 10 0 838846536 858046464 24252 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 24252 13086 16 0 209468 0
vsize: 837936
[startup+430.041 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18114
Raw data (stat): 18105 (java) R 18104 3394 3393 0 -1 0 18015 0 1 0 40005 48 0 0 25 0 10 0 838846536 858046464 24288 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 24288 13086 16 0 209468 0
vsize: 837936
[startup+440.041 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18114
Raw data (stat): 18105 (java) S 18104 3394 3393 0 -1 0 18015 0 1 0 40934 48 0 0 25 0 10 0 838846536 858046464 24323 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 24323 13086 16 0 209468 0
vsize: 837936
[startup+450.042 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18114
Raw data (stat): 18105 (java) R 18104 3394 3393 0 -1 0 18015 0 1 0 41864 49 0 0 25 0 10 0 838846536 858046464 24358 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 24358 13086 16 0 209468 0
vsize: 837936
[startup+460.043 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18114
Raw data (stat): 18105 (java) R 18104 3394 3393 0 -1 0 18015 0 1 0 42794 49 0 0 25 0 10 0 838846536 858046464 24392 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 24392 13086 16 0 209468 0
vsize: 837936
[startup+470.044 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18114
Raw data (stat): 18105 (java) R 18104 3394 3393 0 -1 0 18015 0 1 0 43721 49 0 0 25 0 10 0 838846536 858046464 24427 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 24427 13086 16 0 209468 0
vsize: 837936
[startup+480.044 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18114
Raw data (stat): 18105 (java) R 18104 3394 3393 0 -1 0 18015 0 1 0 44651 50 0 0 25 0 10 0 838846536 858046464 24460 4294967295 134512640 134569956 3221224368 3221214764 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 24460 13086 16 0 209468 0
vsize: 837936
[startup+490.044 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18114
Raw data (stat): 18105 (java) R 18104 3394 3393 0 -1 0 18015 0 1 0 45576 50 0 0 25 0 10 0 838846536 858046464 24495 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 24495 13086 16 0 209468 0
vsize: 837936
[startup+500.045 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18114
Raw data (stat): 18105 (java) R 18104 3394 3393 0 -1 0 18015 0 1 0 46506 50 0 0 25 0 10 0 838846536 858046464 24527 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 24527 13086 16 0 209468 0
vsize: 837936
[startup+510.046 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18114
Raw data (stat): 18105 (java) R 18104 3394 3393 0 -1 0 18015 0 1 0 47430 51 0 0 24 0 10 0 838846536 858046464 24561 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 24561 13086 16 0 209468 0
vsize: 837936
[startup+520.047 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18114
Raw data (stat): 18105 (java) R 18104 3394 3393 0 -1 0 18015 0 1 0 48359 51 0 0 25 0 10 0 838846536 858046464 24592 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 24592 13086 16 0 209468 0
vsize: 837936
[startup+530.048 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18114
Raw data (stat): 18105 (java) R 18104 3394 3393 0 -1 0 18015 0 1 0 49282 51 0 0 24 0 10 0 838846536 858046464 24625 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 24625 13086 16 0 209468 0
vsize: 837936
[startup+540.048 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18114
Raw data (stat): 18105 (java) R 18104 3394 3393 0 -1 0 18015 0 1 0 50210 52 0 0 25 0 10 0 838846536 858046464 24656 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 24656 13086 16 0 209468 0
vsize: 837936
[startup+550.049 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18114
Raw data (stat): 18105 (java) R 18104 3394 3393 0 -1 0 18015 0 1 0 51137 52 0 0 25 0 10 0 838846536 858046464 24686 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 24686 13086 16 0 209468 0
vsize: 837936
[startup+560.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18114
Raw data (stat): 18105 (java) R 18104 3394 3393 0 -1 0 18015 0 1 0 52060 52 0 0 25 0 10 0 838846536 858046464 24718 4294967295 134512640 134569956 3221224368 3221214184 1076460965 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 24718 13086 16 0 209468 0
vsize: 837936
[startup+570.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18114
Raw data (stat): 18105 (java) R 18104 3394 3393 0 -1 0 18015 0 1 0 52987 52 0 0 25 0 10 0 838846536 858046464 24748 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 24748 13086 16 0 209468 0
vsize: 837936
[startup+580.051 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18114
Raw data (stat): 18105 (java) S 18104 3394 3393 0 -1 0 18015 0 1 0 53913 53 0 0 24 0 10 0 838846536 858046464 24778 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 24778 13086 16 0 209468 0
vsize: 837936
[startup+590.052 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18114
Raw data (stat): 18105 (java) R 18104 3394 3393 0 -1 0 18015 0 1 0 54835 53 0 0 25 0 10 0 838846536 858046464 24809 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 24809 13086 16 0 209468 0
vsize: 837936
[startup+600.053 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18114
Raw data (stat): 18105 (java) R 18104 3394 3393 0 -1 0 18015 0 1 0 55760 53 0 0 25 0 10 0 838846536 858046464 24838 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 24838 13086 16 0 209468 0
vsize: 837936
[startup+610.053 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18114
Raw data (stat): 18105 (java) R 18104 3394 3393 0 -1 0 18015 0 1 0 56680 53 0 0 24 0 10 0 838846536 858046464 24868 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 24868 13086 16 0 209468 0
vsize: 837936
[startup+620.054 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18114
Raw data (stat): 18105 (java) R 18104 3394 3393 0 -1 0 18015 0 1 0 57606 54 0 0 25 0 10 0 838846536 858046464 24897 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 24897 13086 16 0 209468 0
vsize: 837936
[startup+630.054 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18114
Raw data (stat): 18105 (java) R 18104 3394 3393 0 -1 0 18015 0 1 0 58530 54 0 0 25 0 10 0 838846536 858046464 24925 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 24925 13086 16 0 209468 0
vsize: 837936
[startup+640.055 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18114
Raw data (stat): 18105 (java) R 18104 3394 3393 0 -1 0 18015 0 1 0 59455 54 0 0 25 0 10 0 838846536 858046464 24953 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 24953 13086 16 0 209468 0
vsize: 837936
[startup+650.056 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18114
Raw data (stat): 18105 (java) R 18104 3394 3393 0 -1 0 18015 0 1 0 60374 55 0 0 24 0 10 0 838846536 858046464 24983 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 24983 13086 16 0 209468 0
vsize: 837936
[startup+660.056 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18114
Raw data (stat): 18105 (java) R 18104 3394 3393 0 -1 0 18015 0 1 0 61289 55 0 0 25 0 10 0 838846536 858046464 25908 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 25908 13086 16 0 209468 0
vsize: 837936
[startup+670.057 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18114
Raw data (stat): 18105 (java) R 18104 3394 3393 0 -1 0 18015 0 1 0 62216 55 0 0 25 0 10 0 838846536 858046464 25908 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 25908 13086 16 0 209468 0
vsize: 837936
[startup+680.058 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18114
Raw data (stat): 18105 (java) R 18104 3394 3393 0 -1 0 18015 0 1 0 63133 55 0 0 25 0 10 0 838846536 858046464 25915 4294967295 134512640 134569956 3221224368 3221214008 1076877667 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 25915 13086 16 0 209468 0
vsize: 837936
[startup+690.057 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18114
Raw data (stat): 18105 (java) R 18104 3394 3393 0 -1 0 18015 0 1 0 64045 56 0 0 25 0 10 0 838846536 858046464 25942 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 25942 13086 16 0 209468 0
vsize: 837936
[startup+700.059 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18114
Raw data (stat): 18105 (java) R 18104 3394 3393 0 -1 0 18015 0 1 0 64959 56 0 0 25 0 10 0 838846536 858046464 25969 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 25969 13086 16 0 209468 0
vsize: 837936
[startup+710.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18114
Raw data (stat): 18105 (java) S 18104 3394 3393 0 -1 0 18015 0 1 0 65869 56 0 0 25 0 10 0 838846536 858046464 25996 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 25996 13086 16 0 209468 0
vsize: 837936
[startup+720.061 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18114
Raw data (stat): 18105 (java) R 18104 3394 3393 0 -1 0 18015 0 1 0 66777 57 0 0 24 0 10 0 838846536 858046464 26024 4294967295 134512640 134569956 3221224368 3221214216 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 26024 13086 16 0 209468 0
vsize: 837936
[startup+730.061 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18114
Raw data (stat): 18105 (java) R 18104 3394 3393 0 -1 0 18015 0 1 0 67689 57 0 0 25 0 10 0 838846536 858046464 26050 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 26050 13086 16 0 209468 0
vsize: 837936
[startup+740.062 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18114
Raw data (stat): 18105 (java) R 18104 3394 3393 0 -1 0 18015 0 1 0 68601 58 0 0 24 0 10 0 838846536 858046464 26076 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 26076 13086 16 0 209468 0
vsize: 837936
[startup+750.062 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18114
Raw data (stat): 18105 (java) R 18104 3394 3393 0 -1 0 18015 0 1 0 69513 58 0 0 25 0 10 0 838846536 858046464 26102 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 26102 13086 16 0 209468 0
vsize: 837936
[startup+760.063 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18114
Raw data (stat): 18105 (java) R 18104 3394 3393 0 -1 0 18015 0 1 0 70423 58 0 0 25 0 10 0 838846536 858046464 26127 4294967295 134512640 134569956 3221224368 3221213968 1077101170 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 26127 13086 16 0 209468 0
vsize: 837936
[startup+770.065 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18114
Raw data (stat): 18105 (java) R 18104 3394 3393 0 -1 0 18015 0 1 0 71334 59 0 0 20 0 10 0 838846536 858046464 26153 4294967295 134512640 134569956 3221224368 3221214232 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 26153 13086 16 0 209468 0
vsize: 837936
[startup+780.065 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18114
Raw data (stat): 18105 (java) R 18104 3394 3393 0 -1 0 18015 0 1 0 72245 60 0 0 25 0 10 0 838846536 858046464 26178 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 26178 13086 16 0 209468 0
vsize: 837936
[startup+790.065 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18114
Raw data (stat): 18105 (java) R 18104 3394 3393 0 -1 0 18015 0 1 0 73156 60 0 0 25 0 10 0 838846536 858046464 26204 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 26204 13086 16 0 209468 0
vsize: 837936
[startup+800.066 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18114
Raw data (stat): 18105 (java) R 18104 3394 3393 0 -1 0 18015 0 1 0 74066 60 0 0 25 0 10 0 838846536 858046464 26229 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 26229 13086 16 0 209468 0
vsize: 837936
[startup+810.066 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18114
Raw data (stat): 18105 (java) R 18104 3394 3393 0 -1 0 18015 0 1 0 74976 61 0 0 25 0 10 0 838846536 858046464 26254 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 26254 13086 16 0 209468 0
vsize: 837936
[startup+820.067 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18114
Raw data (stat): 18105 (java) R 18104 3394 3393 0 -1 0 18015 0 1 0 75886 61 0 0 20 0 10 0 838846536 858046464 26278 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 26278 13086 16 0 209468 0
vsize: 837936
[startup+830.068 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18114
Raw data (stat): 18105 (java) R 18104 3394 3393 0 -1 0 18015 0 1 0 76795 61 0 0 21 0 10 0 838846536 858046464 26303 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 26303 13086 16 0 209468 0
vsize: 837936
[startup+837.068 s]
Raw data (loadavg): 0.99 0.97 0.99 1/53 18115
Raw data (stat): 18105 (java) R 18104 3394 3393 0 -1 0 18015 0 1 0 76795 61 0 0 21 0 10 0 838846536 858046464 26303 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 26303 13086 16 0 209468 0
vsize: 0

Child status: 20
Real time (s): 837.067
CPU time (s): 835.608
CPU user time (s): 834.693
CPU system time (s): 0.91486
CPU usage (%): 99.8256
Max. virtual memory (Kb): 838208
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####