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-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-rd-rplusc-21.opb
MD5SUM	d2b612d978c6eb050af622d4cf2ae598
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	48
Biggest coefficient in the objective function	1073741824
Number of bits for the biggest coefficient in the objective function	31
Sum of the numbers in the objective function	2160590747
Number of bits of the sum of numbers in the objective function	32
Biggest number in a constraint	2962281908055777280
Number of bits of the biggest number in a constraint	62
Biggest sum of numbers in a constraint	6289973478481187311
Number of bits of the biggest sum of numbers	63
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	45.823
Number of variables	3616
Total number of constraints	126450
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	699
Number of constraints which are nor clauses,nor cardinality constraints	125751
Minimum length of a constraint	1
Maximum length of a constraint	189

Trace number 29590

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc17 THE 2005-05-25 09:30:41 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21010 boxname=wulflinc17 idbench=998 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  d2b612d978c6eb050af622d4cf2ae598  /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-20-10-rd-rplusc-21.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-20-10-rd-rplusc-21.opb
IDLAUNCH: 21010
/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:        292544 kB
Buffers:         30392 kB
Cached:         688116 kB
SwapCached:        524 kB
Active:         303384 kB
Inactive:       417316 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        292292 kB
SwapTotal:     2097892 kB
SwapFree:      2096592 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           5332 kB
Slab:            15648 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 09:41:15 (client local time) WITH STATUS 1 IN 634.993 SECONDS
stats: 21010 7 634.993 1
#### 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/wulflinc17/normalized-mps-v2-20-10-rd-rplusc-21.opb
c reading problem ... Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
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 UNKNOWN
c Total CPU time (ms) : 628.009
#### 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): 1.08 1.03 1.01 2/54 20586
Raw data (stat): 20586 (runsolver) R 20585 7475 7474 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 837826410 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.0004 s]
Raw data (loadavg): 1.07 1.02 1.00 2/63 20595
Raw data (stat): 20586 (java) R 20585 7475 7474 0 -1 0 18047 0 1 0 831 45 0 0 25 0 10 0 837826410 858710016 22029 4294967295 134512640 134569956 3221224368 3221205904 1073953089 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209646 22029 13086 16 0 209630 0
vsize: 838584
[startup+20.0003 s]
Raw data (loadavg): 1.06 1.02 1.00 2/63 20595
Raw data (stat): 20586 (java) R 20585 7475 7474 0 -1 0 18050 0 1 0 1720 51 0 0 25 0 10 0 837826410 858210304 28164 4294967295 134512640 134569956 3221224368 3221214760 1131151970 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209524 28164 13086 16 0 209508 0
vsize: 838096
[startup+30.0006 s]
Raw data (loadavg): 1.05 1.02 1.00 2/63 20595
Raw data (stat): 20586 (java) R 20585 7475 7474 0 -1 0 18050 0 1 0 2554 58 0 0 25 0 10 0 837826410 858210304 35271 4294967295 134512640 134569956 3221224368 3221214760 1131151985 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209524 35271 13086 16 0 209508 0
vsize: 838096
[startup+40.0011 s]
Raw data (loadavg): 1.04 1.02 1.00 2/63 20595
Raw data (stat): 20586 (java) R 20585 7475 7474 0 -1 0 18050 0 1 0 3439 65 0 0 25 0 10 0 837826410 858210304 40039 4294967295 134512640 134569956 3221224368 3221214760 1131243747 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209524 40039 13086 16 0 209508 0
vsize: 838096
[startup+50.0018 s]
Raw data (loadavg): 1.03 1.02 1.00 2/63 20595
Raw data (stat): 20586 (java) R 20585 7475 7474 0 -1 0 18051 0 1 0 4279 70 0 0 25 0 10 0 837826410 858210304 47144 4294967295 134512640 134569956 3221224368 3221214808 1131170695 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209524 47144 13086 16 0 209508 0
vsize: 838096
[startup+60.0015 s]
Raw data (loadavg): 1.03 1.02 1.00 2/63 20595
Raw data (stat): 20586 (java) R 20585 7475 7474 0 -1 0 18053 0 1 0 5133 75 0 0 25 0 10 0 837826410 858210304 53735 4294967295 134512640 134569956 3221224368 3221214648 1131333953 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209524 53735 13086 16 0 209508 0
vsize: 838096
[startup+70.0011 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 20595
Raw data (stat): 20586 (java) S 20585 7475 7474 0 -1 0 18053 0 1 0 5987 80 0 0 25 0 10 0 837826410 858210304 58605 4294967295 134512640 134569956 3221224368 3221212904 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209524 58606 13086 16 0 209508 0
vsize: 838096
[startup+80.0021 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 20595
Raw data (stat): 20586 (java) R 20585 7475 7474 0 -1 0 18053 0 1 0 6868 88 0 0 25 0 10 0 837826410 858210304 63628 4294967295 134512640 134569956 3221224368 3221214744 1131151807 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209524 63628 13086 16 0 209508 0
vsize: 838096
[startup+90.0023 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 20595
Raw data (stat): 20586 (java) R 20585 7475 7474 0 -1 0 18053 0 1 0 7705 95 0 0 25 0 10 0 837826410 858210304 70765 4294967295 134512640 134569956 3221224368 3221214744 1131151981 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209524 70765 13086 16 0 209508 0
vsize: 838096
[startup+100.003 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 20595
Raw data (stat): 20586 (java) R 20585 7475 7474 0 -1 0 18053 0 1 0 8600 102 0 0 25 0 10 0 837826410 858210304 75180 4294967295 134512640 134569956 3221224368 3221214808 1131164608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209524 75180 13086 16 0 209508 0
vsize: 838096
[startup+110.003 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 20595
Raw data (stat): 20586 (java) R 20585 7475 7474 0 -1 0 18053 0 1 0 9449 107 0 0 25 0 10 0 837826410 858210304 81559 4294967295 134512640 134569956 3221224368 3221214704 1131132641 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209524 81559 13086 16 0 209508 0
vsize: 838096
[startup+120.004 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 20595
Raw data (stat): 20586 (java) R 20585 7475 7474 0 -1 0 18053 0 1 0 10295 114 0 0 25 0 10 0 837826410 858210304 88003 4294967295 134512640 134569956 3221224368 3221214696 1131185902 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209524 88003 13086 16 0 209508 0
vsize: 838096
[startup+130.005 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 20595
Raw data (stat): 20586 (java) R 20585 7475 7474 0 -1 0 18053 0 1 0 11143 120 0 0 19 0 10 0 837826410 858210304 94409 4294967295 134512640 134569956 3221224368 3221214852 1131152277 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209524 94409 13086 16 0 209508 0
vsize: 838096
[startup+140.012 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 20595
Raw data (stat): 20586 (java) R 20585 7475 7474 0 -1 0 18053 0 1 0 12040 126 0 0 25 0 10 0 837826410 858210304 98671 4294967295 134512640 134569956 3221224368 3221214744 1131152180 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209524 98671 13086 16 0 209508 0
vsize: 838096
[startup+150.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 20595
Raw data (stat): 20586 (java) R 20585 7475 7474 0 -1 0 18053 0 1 0 12890 133 0 0 25 0 10 0 837826410 858210304 104933 4294967295 134512640 134569956 3221224368 3221214808 1131164184 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209524 104933 13086 16 0 209508 0
vsize: 838096
[startup+160.019 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 20595
Raw data (stat): 20586 (java) R 20585 7475 7474 0 -1 0 18053 0 1 0 13728 140 0 0 25 0 10 0 837826410 858210304 111849 4294967295 134512640 134569956 3221224368 3221214440 1131222233 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209524 111849 13086 16 0 209508 0
vsize: 838096
[startup+170.019 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 20595
Raw data (stat): 20586 (java) R 20585 7475 7474 0 -1 0 18053 0 1 0 14617 146 0 0 25 0 10 0 837826410 858210304 116607 4294967295 134512640 134569956 3221224368 3221214320 1079275825 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209524 116607 13086 16 0 209508 0
vsize: 838096
[startup+180.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 20595
Raw data (stat): 20586 (java) R 20585 7475 7474 0 -1 0 18053 0 1 0 15453 152 0 0 25 0 10 0 837826410 858210304 123747 4294967295 134512640 134569956 3221224368 3221214744 1131151863 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209524 123747 13086 16 0 209508 0
vsize: 838096
[startup+190.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 20595
Raw data (stat): 20586 (java) R 20585 7475 7474 0 -1 0 18053 0 1 0 16341 160 0 0 25 0 10 0 837826410 858210304 128508 4294967295 134512640 134569956 3221224368 3221214472 1131157330 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209524 128508 13086 16 0 209508 0
vsize: 838096
[startup+200.022 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 20595
Raw data (stat): 20586 (java) R 20585 7475 7474 0 -1 0 18053 0 1 0 17176 167 0 0 25 0 10 0 837826410 858210304 135657 4294967295 134512640 134569956 3221224368 3221214456 1131216478 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209524 135657 13086 16 0 209508 0
vsize: 838096
[startup+210.022 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 20595
Raw data (stat): 20586 (java) S 20585 7475 7474 0 -1 0 18053 0 1 0 18061 173 0 0 25 0 10 0 837826410 858210304 140441 4294967295 134512640 134569956 3221224368 3221213272 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209524 140441 13086 16 0 209508 0
vsize: 838096
[startup+220.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20595
Raw data (stat): 20586 (java) R 20585 7475 7474 0 -1 0 18053 0 1 0 18900 179 0 0 25 0 10 0 837826410 858210304 147597 4294967295 134512640 134569956 3221224368 3221214808 1131170807 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209524 147597 13086 16 0 209508 0
vsize: 838096
[startup+230.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20595
Raw data (stat): 20586 (java) S 20585 7475 7474 0 -1 0 18053 0 1 0 19754 186 0 0 25 0 10 0 837826410 858210304 153408 4294967295 134512640 134569956 3221224368 3221213272 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209524 153408 13086 16 0 209508 0
vsize: 838096
[startup+240.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20595
Raw data (stat): 20586 (java) S 20585 7475 7474 0 -1 0 18053 0 1 0 20093 189 0 0 25 0 10 0 837826410 858210304 154763 4294967295 134512640 134569956 3221224368 3221213616 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209524 154763 13086 16 0 209508 0
vsize: 838096
[startup+250.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20595
Raw data (stat): 20586 (java) R 20585 7475 7474 0 -1 0 18053 0 1 0 20272 190 0 0 25 0 10 0 837826410 858210304 159004 4294967295 134512640 134569956 3221224368 3221214384 1131285662 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209524 159004 13086 16 0 209508 0
vsize: 838096
[startup+260.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20595
Raw data (stat): 20586 (java) S 20585 7475 7474 0 -1 0 18053 0 1 0 20434 191 0 0 25 0 10 0 837826410 858210304 159004 4294967295 134512640 134569956 3221224368 3221213216 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209524 159004 13086 16 0 209508 0
vsize: 838096
[startup+270.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20595
Raw data (stat): 20586 (java) S 20585 7475 7474 0 -1 0 18053 0 1 0 20771 193 0 0 25 0 10 0 837826410 858210304 161383 4294967295 134512640 134569956 3221224368 3221213144 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209524 161383 13086 16 0 209508 0
vsize: 838096
[startup+280.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20595
Raw data (stat): 20586 (java) S 20585 7475 7474 0 -1 0 18053 0 1 0 20771 193 0 0 25 0 10 0 837826410 858210304 161388 4294967295 134512640 134569956 3221224368 3221213144 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209524 161388 13086 16 0 209508 0
vsize: 838096
[startup+290.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20595
Raw data (stat): 20586 (java) S 20585 7475 7474 0 -1 0 18053 0 1 0 21108 196 0 0 25 0 10 0 837826410 858210304 163927 4294967295 134512640 134569956 3221224368 3221213488 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209524 163927 13086 16 0 209508 0
vsize: 838096
[startup+300.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20595
Raw data (stat): 20586 (java) S 20585 7475 7474 0 -1 0 18053 0 1 0 21108 196 0 0 25 0 10 0 837826410 858210304 163931 4294967295 134512640 134569956 3221224368 3221213488 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209524 163931 13086 16 0 209508 0
vsize: 838096
[startup+310.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20595
Raw data (stat): 20586 (java) R 20585 7475 7474 0 -1 0 18053 0 1 0 21150 197 0 0 20 0 10 0 837826410 858210304 165841 4294967295 134512640 134569956 3221224368 3221214416 1131198777 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209524 165841 13086 16 0 209508 0
vsize: 838096
[startup+320.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20595
Raw data (stat): 20586 (java) S 20585 7475 7474 0 -1 0 18053 0 1 0 21447 199 0 0 25 0 10 0 837826410 858210304 165841 4294967295 134512640 134569956 3221224368 3221213616 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209524 165841 13086 16 0 209508 0
vsize: 838096
[startup+330.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20595
Raw data (stat): 20586 (java) R 20585 7475 7474 0 -1 0 18053 0 1 0 21619 200 0 0 25 0 10 0 837826410 858210304 168254 4294967295 134512640 134569956 3221224368 3221214824 1131217605 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209524 168254 13086 16 0 209508 0
vsize: 838096
[startup+340.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20595
Raw data (stat): 20586 (java) S 20585 7475 7474 0 -1 0 18053 0 1 0 21786 201 0 0 25 0 10 0 837826410 858210304 168254 4294967295 134512640 134569956 3221224368 3221213448 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209524 168254 13086 16 0 209508 0
vsize: 838096
[startup+350.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20595
Raw data (stat): 20586 (java) R 20585 7475 7474 0 -1 0 18053 0 1 0 22064 204 0 0 25 0 10 0 837826410 858210304 170651 4294967295 134512640 134569956 3221224368 3221214808 1131164508 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209524 170651 13086 16 0 209508 0
vsize: 838096
[startup+360.021 s]
Raw data (loadavg): 1.00 1.00 1.00 3/63 20595
Raw data (stat): 20586 (java) S 20585 7475 7474 0 -1 0 18053 0 1 0 22125 204 0 0 25 0 10 0 837826410 858210304 170651 4294967295 134512640 134569956 3221224368 3221213616 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209524 170651 13086 16 0 209508 0
vsize: 838096
[startup+370.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20595
Raw data (stat): 20586 (java) R 20585 7475 7474 0 -1 0 18053 0 1 0 22493 206 0 0 25 0 10 0 837826410 858210304 171325 4294967295 134512640 134569956 3221224368 3221214696 1131186233 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209524 171325 13086 16 0 209508 0
vsize: 838096
[startup+380.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20595
Raw data (stat): 20586 (java) S 20585 7475 7474 0 -1 0 18053 0 1 0 22553 206 0 0 25 0 10 0 837826410 858210304 171325 4294967295 134512640 134569956 3221224368 3221213144 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209524 171325 13086 16 0 209508 0
vsize: 838096
[startup+390.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20595
Raw data (stat): 20586 (java) S 20585 7475 7474 0 -1 0 18053 0 1 0 22553 206 0 0 25 0 10 0 837826410 858210304 171325 4294967295 134512640 134569956 3221224368 3221213144 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209524 171325 13086 16 0 209508 0
vsize: 838096
[startup+400.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20595
Raw data (stat): 20586 (java) S 20585 7475 7474 0 -1 0 18053 0 1 0 22928 208 0 0 25 0 10 0 837826410 858210304 171325 4294967295 134512640 134569956 3221224368 3221213616 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209524 171325 13086 16 0 209508 0
vsize: 838096
[startup+410.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20595
Raw data (stat): 20586 (java) S 20585 7475 7474 0 -1 0 18053 0 1 0 22928 208 0 0 25 0 10 0 837826410 858210304 171325 4294967295 134512640 134569956 3221224368 3221213616 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209524 171325 13086 16 0 209508 0
vsize: 838096
[startup+420.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20595
Raw data (stat): 20586 (java) S 20585 7475 7474 0 -1 0 18053 0 1 0 23257 210 0 0 25 0 10 0 837826410 858210304 171325 4294967295 134512640 134569956 3221224368 3221213384 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209524 171325 13086 16 0 209508 0
vsize: 838096
[startup+430.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20595
Raw data (stat): 20586 (java) S 20585 7475 7474 0 -1 0 18053 0 1 0 23257 210 0 0 25 0 10 0 837826410 858210304 171325 4294967295 134512640 134569956 3221224368 3221213384 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209524 171325 13086 16 0 209508 0
vsize: 838096
[startup+440.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20595
Raw data (stat): 20586 (java) S 20585 7475 7474 0 -1 0 18053 0 1 0 23547 212 0 0 25 0 10 0 837826410 858210304 171325 4294967295 134512640 134569956 3221224368 3221213488 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209524 171325 13086 16 0 209508 0
vsize: 838096
[startup+450.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20595
Raw data (stat): 20586 (java) R 20585 7475 7474 0 -1 0 18053 0 1 0 23570 212 0 0 18 0 10 0 837826410 858210304 171325 4294967295 134512640 134569956 3221224368 3221214720 1131183615 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209524 171325 13086 16 0 209508 0
vsize: 838096
[startup+460.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20595
Raw data (stat): 20586 (java) S 20585 7475 7474 0 -1 0 18053 0 1 0 23806 213 0 0 25 0 10 0 837826410 858210304 171325 4294967295 134512640 134569956 3221224368 3221213040 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209524 171325 13086 16 0 209508 0
vsize: 838096
[startup+470.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20595
Raw data (stat): 20586 (java) S 20585 7475 7474 0 -1 0 18053 0 1 0 23806 213 0 0 25 0 10 0 837826410 858210304 171325 4294967295 134512640 134569956 3221224368 3221213040 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209524 171325 13086 16 0 209508 0
vsize: 838096
[startup+480.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20595
Raw data (stat): 20586 (java) S 20585 7475 7474 0 -1 0 18053 0 1 0 24035 215 0 0 25 0 10 0 837826410 858210304 171325 4294967295 134512640 134569956 3221224368 3221213144 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209524 171325 13086 16 0 209508 0
vsize: 838096
[startup+490.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20595
Raw data (stat): 20586 (java) S 20585 7475 7474 0 -1 0 18053 0 1 0 24035 215 0 0 25 0 10 0 837826410 858210304 171325 4294967295 134512640 134569956 3221224368 3221213144 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209524 171325 13086 16 0 209508 0
vsize: 838096
[startup+500.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20595
Raw data (stat): 20586 (java) S 20585 7475 7474 0 -1 0 18053 0 1 0 24241 215 0 0 25 0 10 0 837826410 858210304 171325 4294967295 134512640 134569956 3221224368 3221213616 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209524 171325 13086 16 0 209508 0
vsize: 838096
[startup+510.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20595
Raw data (stat): 20586 (java) S 20585 7475 7474 0 -1 0 18053 0 1 0 24241 215 0 0 25 0 10 0 837826410 858210304 171325 4294967295 134512640 134569956 3221224368 3221213616 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209524 171325 13086 16 0 209508 0
vsize: 838096
[startup+520.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20595
Raw data (stat): 20586 (java) S 20585 7475 7474 0 -1 0 18053 0 1 0 24427 216 0 0 25 0 10 0 837826410 858210304 171325 4294967295 134512640 134569956 3221224368 3221213272 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209524 171325 13086 16 0 209508 0
vsize: 838096
[startup+530.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20595
Raw data (stat): 20586 (java) R 20585 7475 7474 0 -1 0 18053 0 1 0 24503 217 0 0 23 0 10 0 837826410 858210304 171325 4294967295 134512640 134569956 3221224368 3221213748 1080019531 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209524 171325 13086 16 0 209508 0
vsize: 838096
[startup+540.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20595
Raw data (stat): 20586 (java) S 20585 7475 7474 0 -1 0 18053 0 1 0 24599 217 0 0 25 0 10 0 837826410 858210304 171325 4294967295 134512640 134569956 3221224368 3221213216 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209524 171325 13086 16 0 209508 0
vsize: 838096
[startup+550.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20595
Raw data (stat): 20586 (java) S 20585 7475 7474 0 -1 0 18053 0 1 0 24599 217 0 0 25 0 10 0 837826410 858210304 171325 4294967295 134512640 134569956 3221224368 3221213216 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209524 171325 13086 16 0 209508 0
vsize: 838096
[startup+560.126 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20595
Raw data (stat): 20586 (java) S 20585 7475 7474 0 -1 0 18053 0 1 0 24756 217 0 0 25 0 10 0 837826410 858210304 171325 4294967295 134512640 134569956 3221224368 3221213616 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209524 171325 13086 16 0 209508 0
vsize: 838096
[startup+570.125 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20595
Raw data (stat): 20586 (java) S 20585 7475 7474 0 -1 0 18053 0 1 0 24756 217 0 0 25 0 10 0 837826410 858210304 171325 4294967295 134512640 134569956 3221224368 3221213616 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209524 171325 13086 16 0 209508 0
vsize: 838096
[startup+580.125 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20595
Raw data (stat): 20586 (java) S 20585 7475 7474 0 -1 0 18053 0 1 0 24902 218 0 0 25 0 10 0 837826410 858210304 171325 4294967295 134512640 134569956 3221224368 3221213616 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209524 171325 13086 16 0 209508 0
vsize: 838096
[startup+590.125 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20595
Raw data (stat): 20586 (java) R 20585 7475 7474 0 -1 0 18053 0 1 0 25002 218 0 0 25 0 10 0 837826410 858210304 171325 4294967295 134512640 134569956 3221224368 3221214744 1131151749 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209524 171325 13086 16 0 209508 0
vsize: 838096
[startup+600.124 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20595
Raw data (stat): 20586 (java) S 20585 7475 7474 0 -1 0 18053 0 1 0 25039 218 0 0 25 0 10 0 837826410 858210304 171325 4294967295 134512640 134569956 3221224368 3221213528 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209524 171325 13086 16 0 209508 0
vsize: 838096
[startup+610.124 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20595
Raw data (stat): 20586 (java) S 20585 7475 7474 0 -1 0 18053 0 1 0 25039 218 0 0 25 0 10 0 837826410 858210304 171325 4294967295 134512640 134569956 3221224368 3221213528 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209524 171325 13086 16 0 209508 0
vsize: 838096
[startup+620.124 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20595
Raw data (stat): 20586 (java) S 20585 7475 7474 0 -1 0 18053 0 1 0 25039 218 0 0 25 0 10 0 837826410 858210304 171325 4294967295 134512640 134569956 3221224368 3221213528 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209524 171325 13086 16 0 209508 0
vsize: 838096
[startup+629.34 s]
Raw data (loadavg): 1.00 1.00 1.00 1/53 20596
Raw data (stat): 20586 (java) S 20585 7475 7474 0 -1 0 18053 0 1 0 25039 218 0 0 25 0 10 0 837826410 858210304 171325 4294967295 134512640 134569956 3221224368 3221213528 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209524 171325 13086 16 0 209508 0
vsize: 0

Child status: 1
Real time (s): 629.34
CPU time (s): 634.993
CPU user time (s): 629.059
CPU system time (s): 5.9341
CPU usage (%): 100.898
Max. virtual memory (Kb): 838584
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####