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/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-perold.opb
MD5SUM	e16309ade16cb14d2a4f972d0ed40677
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	210
Biggest coefficient in the objective function	536870912
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	7516192761
Number of bits of the sum of numbers in the objective function	33
Biggest number in a constraint	-5768736714256285696
Number of bits of the biggest number in a constraint	64
Biggest sum of numbers in a constraint	84317276328546238464
Number of bits of the biggest sum of numbers	67
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.15882
Number of variables	36286
Total number of constraints	891
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	891
Minimum length of a constraint	10
Maximum length of a constraint	991

Trace number 29439

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-05-25 07:56:11 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20861 boxname=wulflinc4 idbench=849 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  e16309ade16cb14d2a4f972d0ed40677  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-perold.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-perold.opb
IDLAUNCH: 20861
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
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:        707120 kB
Buffers:         34344 kB
Cached:         272212 kB
SwapCached:        600 kB
Active:          69152 kB
Inactive:       239852 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        706868 kB
SwapTotal:     2097136 kB
SwapFree:      2096004 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5784 kB
Slab:            12828 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 08:02:40 (client local time) WITH STATUS 20 IN 394.905 SECONDS
stats: 20861 7 394.905 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/wulflinc4/normalized-mps-v2-20-10-perold.opb
c reading problem ... done. Time 382.309 ms.
c #vars     36286
c #constraints  1378
c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 7277
c inspects	: 5356
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) : 387.981
#### 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.02 1.00 1.00 2/54 32093
Raw data (stat): 32093 (runsolver) R 32092 21152 21151 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 779017099 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.0017 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 32102
Raw data (stat): 32093 (java) R 32092 21152 21151 0 -1 0 18030 0 1 0 870 39 0 0 25 0 10 0 779017099 853594112 19443 4294967295 134512640 134569956 3221224368 3221214424 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208397 19443 13086 16 0 208381 0
vsize: 833588
[startup+20.0017 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 32102
Raw data (stat): 32093 (java) R 32092 21152 21151 0 -1 0 18030 0 1 0 1744 40 0 0 25 0 10 0 779017099 855576576 20457 4294967295 134512640 134569956 3221224368 3221214424 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208881 20457 13086 16 0 208865 0
vsize: 835524
[startup+30.0027 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 32102
Raw data (stat): 32093 (java) R 32092 21152 21151 0 -1 0 18030 0 1 0 2614 40 0 0 25 0 10 0 779017099 854495232 20844 4294967295 134512640 134569956 3221224368 3221214652 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208617 20844 13086 16 0 208601 0
vsize: 834468
[startup+40.0039 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 32102
Raw data (stat): 32093 (java) R 32092 21152 21151 0 -1 0 18030 0 1 0 3508 41 0 0 25 0 10 0 779017099 854462464 21131 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208609 21131 13086 16 0 208593 0
vsize: 834436
[startup+50.0043 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 32102
Raw data (stat): 32093 (java) R 32092 21152 21151 0 -1 0 18030 0 1 0 4405 41 0 0 25 0 10 0 779017099 854462464 21397 4294967295 134512640 134569956 3221224368 3221214772 1080204160 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208609 21397 13086 16 0 208593 0
vsize: 834436
[startup+60.0041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32102
Raw data (stat): 32093 (java) R 32092 21152 21151 0 -1 0 18031 0 1 0 5282 41 0 0 25 0 10 0 779017099 854462464 21619 4294967295 134512640 134569956 3221224368 3221214224 1077558368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208609 21619 13086 16 0 208593 0
vsize: 834436
[startup+70.0049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32102
Raw data (stat): 32093 (java) R 32092 21152 21151 0 -1 0 18031 0 1 0 6157 41 0 0 25 0 10 0 779017099 854462464 21831 4294967295 134512640 134569956 3221224368 3221214764 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208609 21831 13086 16 0 208593 0
vsize: 834436
[startup+80.0059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32102
Raw data (stat): 32093 (java) R 32092 21152 21151 0 -1 0 18031 0 1 0 7056 42 0 0 25 0 10 0 779017099 854462464 22305 4294967295 134512640 134569956 3221224368 3221214736 1131044766 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208609 22305 13086 16 0 208593 0
vsize: 834436
[startup+90.0057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32102
Raw data (stat): 32093 (java) R 32092 21152 21151 0 -1 0 18031 0 1 0 7943 42 0 0 25 0 10 0 779017099 854462464 22449 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208609 22449 13086 16 0 208593 0
vsize: 834436
[startup+100.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32102
Raw data (stat): 32093 (java) R 32092 21152 21151 0 -1 0 18031 0 1 0 8830 42 0 0 25 0 10 0 779017099 854462464 22612 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208609 22612 13086 16 0 208593 0
vsize: 834436
[startup+110.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32102
Raw data (stat): 32093 (java) R 32092 21152 21151 0 -1 0 18031 0 1 0 9748 42 0 0 25 0 10 0 779017099 854462464 22999 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208609 22999 13086 16 0 208593 0
vsize: 834436
[startup+120.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32102
Raw data (stat): 32093 (java) R 32092 21152 21151 0 -1 0 18031 0 1 0 10656 43 0 0 24 0 10 0 779017099 854462464 23125 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208609 23125 13086 16 0 208593 0
vsize: 834436
[startup+130.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32102
Raw data (stat): 32093 (java) R 32092 21152 21151 0 -1 0 18031 0 1 0 11550 43 0 0 25 0 10 0 779017099 854462464 23250 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208609 23250 13086 16 0 208593 0
vsize: 834436
[startup+140.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32102
Raw data (stat): 32093 (java) R 32092 21152 21151 0 -1 0 18031 0 1 0 12452 43 0 0 25 0 10 0 779017099 854462464 23608 4294967295 134512640 134569956 3221224368 3221214720 1131237010 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208609 23608 13086 16 0 208593 0
vsize: 834436
[startup+150.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32102
Raw data (stat): 32093 (java) R 32092 21152 21151 0 -1 0 18031 0 1 0 13385 43 0 0 25 0 10 0 779017099 854462464 23724 4294967295 134512640 134569956 3221224368 3221214768 1131260368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208609 23724 13086 16 0 208593 0
vsize: 834436
[startup+160.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32102
Raw data (stat): 32093 (java) R 32092 21152 21151 0 -1 0 18031 0 1 0 14315 44 0 0 25 0 10 0 779017099 854462464 23806 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208609 23806 13086 16 0 208593 0
vsize: 834436
[startup+170.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32102
Raw data (stat): 32093 (java) R 32092 21152 21151 0 -1 0 18031 0 1 0 15251 44 0 0 25 0 10 0 779017099 854462464 23909 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208609 23909 13086 16 0 208593 0
vsize: 834436
[startup+180.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32102
Raw data (stat): 32093 (java) R 32092 21152 21151 0 -1 0 18031 0 1 0 16182 44 0 0 25 0 10 0 779017099 854462464 23983 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208609 23983 13086 16 0 208593 0
vsize: 834436
[startup+190.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32102
Raw data (stat): 32093 (java) R 32092 21152 21151 0 -1 0 18031 0 1 0 17100 44 0 0 25 0 10 0 779017099 854462464 24085 4294967295 134512640 134569956 3221224368 3221214240 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208609 24085 13086 16 0 208593 0
vsize: 834436
[startup+200.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32102
Raw data (stat): 32093 (java) R 32092 21152 21151 0 -1 0 18031 0 1 0 17997 45 0 0 25 0 10 0 779017099 854462464 25263 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208609 25263 13086 16 0 208593 0
vsize: 834436
[startup+210.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32102
Raw data (stat): 32093 (java) R 32092 21152 21151 0 -1 0 18031 0 1 0 18935 45 0 0 25 0 10 0 779017099 854462464 25263 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208609 25263 13086 16 0 208593 0
vsize: 834436
[startup+220.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32102
Raw data (stat): 32093 (java) R 32092 21152 21151 0 -1 0 18031 0 1 0 19849 45 0 0 25 0 10 0 779017099 854462464 25320 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208609 25320 13086 16 0 208593 0
vsize: 834436
[startup+230.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32102
Raw data (stat): 32093 (java) R 32092 21152 21151 0 -1 0 18031 0 1 0 20761 45 0 0 25 0 10 0 779017099 854462464 25470 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208609 25470 13086 16 0 208593 0
vsize: 834436
[startup+240.015 s]
Raw data (loadavg): 1.07 1.02 1.00 2/63 32155
Raw data (stat): 32093 (java) R 32092 21152 21151 0 -1 0 18031 0 1 0 21654 50 0 0 25 0 10 0 779017099 854462464 25576 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208609 25576 13086 16 0 208593 0
vsize: 834436
[startup+250.016 s]
Raw data (loadavg): 1.06 1.02 1.00 2/63 32155
Raw data (stat): 32093 (java) R 32092 21152 21151 0 -1 0 18031 0 1 0 22535 51 0 0 25 0 10 0 779017099 854462464 25732 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208609 25732 13086 16 0 208593 0
vsize: 834436
[startup+260.017 s]
Raw data (loadavg): 1.05 1.01 1.00 2/63 32155
Raw data (stat): 32093 (java) R 32092 21152 21151 0 -1 0 18031 0 1 0 23419 51 0 0 24 0 10 0 779017099 854462464 26027 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208609 26027 13086 16 0 208593 0
vsize: 834436
[startup+270.018 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 32155
Raw data (stat): 32093 (java) R 32092 21152 21151 0 -1 0 18031 0 1 0 24328 51 0 0 25 0 10 0 779017099 854462464 26154 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208609 26154 13086 16 0 208593 0
vsize: 834436
[startup+280.018 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 32155
Raw data (stat): 32093 (java) R 32092 21152 21151 0 -1 0 18031 0 1 0 25216 51 0 0 24 0 10 0 779017099 854462464 26306 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208609 26306 13086 16 0 208593 0
vsize: 834436
[startup+290.019 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 32155
Raw data (stat): 32093 (java) R 32092 21152 21151 0 -1 0 18031 0 1 0 26111 51 0 0 25 0 10 0 779017099 854462464 26427 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208609 26427 13086 16 0 208593 0
vsize: 834436
[startup+300.019 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 32155
Raw data (stat): 32093 (java) R 32092 21152 21151 0 -1 0 18031 0 1 0 27017 52 0 0 25 0 10 0 779017099 854462464 26683 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208609 26683 13086 16 0 208593 0
vsize: 834436
[startup+310.02 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 32157
Raw data (stat): 32093 (java) R 32092 21152 21151 0 -1 0 18031 0 1 0 27926 52 0 0 24 0 10 0 779017099 854462464 26785 4294967295 134512640 134569956 3221224368 3221214224 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208609 26785 13086 16 0 208593 0
vsize: 834436
[startup+320.021 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 32157
Raw data (stat): 32093 (java) R 32092 21152 21151 0 -1 0 18031 0 1 0 28832 53 0 0 25 0 10 0 779017099 854462464 26902 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208609 26902 13086 16 0 208593 0
vsize: 834436
[startup+330.022 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 32157
Raw data (stat): 32093 (java) R 32092 21152 21151 0 -1 0 18031 0 1 0 29729 53 0 0 24 0 10 0 779017099 854462464 27047 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208609 27047 13086 16 0 208593 0
vsize: 834436
[startup+340.022 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 32157
Raw data (stat): 32093 (java) R 32092 21152 21151 0 -1 0 18031 0 1 0 30637 53 0 0 25 0 10 0 779017099 854462464 27198 4294967295 134512640 134569956 3221224368 3221214240 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208609 27198 13086 16 0 208593 0
vsize: 834436
[startup+350.023 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 32157
Raw data (stat): 32093 (java) R 32092 21152 21151 0 -1 0 18031 0 1 0 31552 53 0 0 25 0 10 0 779017099 854462464 27333 4294967295 134512640 134569956 3221224368 3221214764 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208609 27333 13086 16 0 208593 0
vsize: 834436
[startup+360.023 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 32157
Raw data (stat): 32093 (java) R 32092 21152 21151 0 -1 0 18031 0 1 0 32473 54 0 0 25 0 10 0 779017099 854462464 27419 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208609 27419 13086 16 0 208593 0
vsize: 834436
[startup+370.023 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 32157
Raw data (stat): 32093 (java) S 32092 21152 21151 0 -1 0 18031 0 1 0 33386 54 0 0 25 0 10 0 779017099 854462464 27503 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208609 27503 13086 16 0 208593 0
vsize: 834436
[startup+380.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32157
Raw data (stat): 32093 (java) R 32092 21152 21151 0 -1 0 18031 0 1 0 34279 55 0 0 25 0 10 0 779017099 854462464 27592 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208609 27592 13086 16 0 208593 0
vsize: 834436
[startup+389.008 s]
Raw data (loadavg): 1.08 1.02 1.01 1/53 32158
Raw data (stat): 32093 (java) R 32092 21152 21151 0 -1 0 18031 0 1 0 34279 55 0 0 25 0 10 0 779017099 854462464 27592 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208609 27592 13086 16 0 208593 0
vsize: 0

Child status: 20
Real time (s): 389.007
CPU time (s): 394.905
CPU user time (s): 393.923
CPU system time (s): 0.98185
CPU usage (%): 101.516
Max. virtual memory (Kb): 835524
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####