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-25fv47.opb
MD5SUM	5984c30bfc33b34af2fab73888f86cf2
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	19170
Biggest coefficient in the objective function	536870912000000
Number of bits for the biggest coefficient in the objective function	49
Sum of the numbers in the objective function	10623608039212938
Number of bits of the sum of numbers in the objective function	54
Biggest number in a constraint	128285302811787264
Number of bits of the biggest number in a constraint	57
Biggest sum of numbers in a constraint	812950436219668362
Number of bits of the biggest sum of numbers	60
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.405937
Number of variables	47130
Total number of constraints	820
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	820
Minimum length of a constraint	30
Maximum length of a constraint	10200
Trace number 29402

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc8 THE 2005-05-25 07:25:57 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20814 boxname=wulflinc8 idbench=802 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  5984c30bfc33b34af2fab73888f86cf2  /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-20-10-25fv47.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-20-10-25fv47.opb
IDLAUNCH: 20814
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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	: 2
cpu MHz		: 451.007
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:        307592 kB
Buffers:         37596 kB
Cached:         662668 kB
SwapCached:          0 kB
Active:          84884 kB
Inactive:       622316 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        307340 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           7068 kB
Slab:            14284 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 07:38:01 (client local time) WITH STATUS 20 IN 732.448 SECONDS
stats: 20814 7 732.448 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/wulflinc8/normalized-mps-v2-20-10-25fv47.opb
c reading problem ... done. Time 633.145 ms.
c #vars     47130
c #constraints  1331
c starts	: 1
c conflicts	: 2
c decisions	: 287
c propagations	: 22141
c inspects	: 27881
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1
c root simplifications	: 1
s UNSATISFIABLE
c Total CPU time (ms) : 722.886
#### 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.93 0.98 0.99 2/54 15655
Raw data (stat): 15655 (runsolver) R 15654 3132 3131 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 765278056 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+9.99988 s]
Raw data (loadavg): 1.08 1.02 1.00 2/63 15664
Raw data (stat): 15655 (java) R 15654 3132 3131 0 -1 0 18012 0 1 0 865 40 0 0 25 0 10 0 765278056 853884928 19410 4294967295 134512640 134569956 3221224368 3221214688 1131186561 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208468 19410 13086 16 0 208452 0
vsize: 833872
[startup+20.0006 s]
Raw data (loadavg): 1.07 1.02 1.00 2/63 15664
Raw data (stat): 15655 (java) R 15654 3132 3131 0 -1 0 18013 0 1 0 1755 41 0 0 24 0 10 0 765278056 855412736 20268 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208841 20268 13086 16 0 208825 0
vsize: 835364
[startup+29.9999 s]
Raw data (loadavg): 1.06 1.01 1.00 2/63 15664
Raw data (stat): 15655 (java) R 15654 3132 3131 0 -1 0 18013 0 1 0 2654 41 0 0 25 0 10 0 765278056 855412736 20742 4294967295 134512640 134569956 3221224368 3221214648 1131182861 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208841 20742 13086 16 0 208825 0
vsize: 835364
[startup+40.0014 s]
Raw data (loadavg): 1.05 1.01 1.00 2/63 15664
Raw data (stat): 15655 (java) R 15654 3132 3131 0 -1 0 18013 0 1 0 3569 41 0 0 25 0 10 0 765278056 856051712 21245 4294967295 134512640 134569956 3221224368 3221214768 1131247157 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208997 21245 13086 16 0 208981 0
vsize: 835988
[startup+50.0021 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 15664
Raw data (stat): 15655 (java) R 15654 3132 3131 0 -1 0 18013 0 1 0 4490 42 0 0 25 0 10 0 765278056 856051712 21412 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208997 21412 13086 16 0 208981 0
vsize: 835988
[startup+60.0012 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 15664
Raw data (stat): 15655 (java) R 15654 3132 3131 0 -1 0 18013 0 1 0 5412 42 0 0 25 0 10 0 765278056 856051712 21539 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208997 21539 13086 16 0 208981 0
vsize: 835988
[startup+70.0018 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 15664
Raw data (stat): 15655 (java) R 15654 3132 3131 0 -1 0 18013 0 1 0 6339 42 0 0 25 0 10 0 765278056 856051712 21672 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208997 21672 13086 16 0 208981 0
vsize: 835988
[startup+80.0025 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 15664
Raw data (stat): 15655 (java) R 15654 3132 3131 0 -1 0 18013 0 1 0 7281 42 0 0 25 0 10 0 765278056 856051712 21771 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208997 21771 13086 16 0 208981 0
vsize: 835988
[startup+90.0033 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 15664
Raw data (stat): 15655 (java) R 15654 3132 3131 0 -1 0 18013 0 1 0 8221 42 0 0 25 0 10 0 765278056 856051712 21866 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208997 21866 13086 16 0 208981 0
vsize: 835988
[startup+100.004 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 15664
Raw data (stat): 15655 (java) R 15654 3132 3131 0 -1 0 18013 0 1 0 9166 42 0 0 25 0 10 0 765278056 856051712 21950 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208997 21950 13086 16 0 208981 0
vsize: 835988
[startup+110.005 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 15664
Raw data (stat): 15655 (java) R 15654 3132 3131 0 -1 0 18021 0 1 0 10100 42 0 0 24 0 10 0 765278056 856051712 22060 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208997 22060 13086 16 0 208981 0
vsize: 835988
[startup+120.006 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 15664
Raw data (stat): 15655 (java) R 15654 3132 3131 0 -1 0 18023 0 1 0 11016 43 0 0 20 0 10 0 765278056 858148864 22761 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209509 22761 13086 16 0 209493 0
vsize: 838036
[startup+130.006 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 15664
Raw data (stat): 15655 (java) R 15654 3132 3131 0 -1 0 18023 0 1 0 11945 43 0 0 25 0 10 0 765278056 858148864 22897 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209509 22897 13086 16 0 209493 0
vsize: 838036
[startup+140.008 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 15664
Raw data (stat): 15655 (java) R 15654 3132 3131 0 -1 0 18023 0 1 0 12873 43 0 0 24 0 10 0 765278056 857100288 22647 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209253 22647 13086 16 0 209237 0
vsize: 837012
[startup+150.009 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 15664
Raw data (stat): 15655 (java) R 15654 3132 3131 0 -1 0 18024 0 1 0 13796 43 0 0 25 0 10 0 765278056 857100288 22759 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209253 22759 13086 16 0 209237 0
vsize: 837012
[startup+160.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 15664
Raw data (stat): 15655 (java) R 15654 3132 3131 0 -1 0 18024 0 1 0 14726 44 0 0 25 0 10 0 765278056 857100288 22864 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209253 22864 13086 16 0 209237 0
vsize: 837012
[startup+170.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 15664
Raw data (stat): 15655 (java) R 15654 3132 3131 0 -1 0 18024 0 1 0 15655 44 0 0 25 0 10 0 765278056 857100288 22982 4294967295 134512640 134569956 3221224368 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209253 22982 13086 16 0 209237 0
vsize: 837012
[startup+180.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 15664
Raw data (stat): 15655 (java) S 15654 3132 3131 0 -1 0 18024 0 1 0 16559 45 0 0 25 0 10 0 765278056 857100288 23073 4294967295 134512640 134569956 3221224368 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209253 23073 13086 16 0 209237 0
vsize: 837012
[startup+190.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 15664
Raw data (stat): 15655 (java) S 15654 3132 3131 0 -1 0 18024 0 1 0 17467 45 0 0 25 0 10 0 765278056 857100288 23207 4294967295 134512640 134569956 3221224368 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209253 23207 13086 16 0 209237 0
vsize: 837012
[startup+200.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 15664
Raw data (stat): 15655 (java) R 15654 3132 3131 0 -1 0 18024 0 1 0 18386 45 0 0 25 0 10 0 765278056 857100288 23494 4294967295 134512640 134569956 3221224368 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209253 23494 13086 16 0 209237 0
vsize: 837012
[startup+210.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 15664
Raw data (stat): 15655 (java) R 15654 3132 3131 0 -1 0 18024 0 1 0 19318 45 0 0 25 0 10 0 765278056 857100288 23587 4294967295 134512640 134569956 3221224368 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209253 23587 13086 16 0 209237 0
vsize: 837012
[startup+220.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 15664
Raw data (stat): 15655 (java) R 15654 3132 3131 0 -1 0 18024 0 1 0 20248 46 0 0 25 0 10 0 765278056 857100288 23651 4294967295 134512640 134569956 3221224368 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209253 23651 13086 16 0 209237 0
vsize: 837012
[startup+230.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 15664
Raw data (stat): 15655 (java) R 15654 3132 3131 0 -1 0 18024 0 1 0 21182 46 0 0 25 0 10 0 765278056 857100288 23738 4294967295 134512640 134569956 3221224368 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209253 23738 13086 16 0 209237 0
vsize: 837012
[startup+240.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 15664
Raw data (stat): 15655 (java) S 15654 3132 3131 0 -1 0 18024 0 1 0 22107 46 0 0 25 0 10 0 765278056 857100288 23808 4294967295 134512640 134569956 3221224368 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209253 23808 13086 16 0 209237 0
vsize: 837012
[startup+250.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 15664
Raw data (stat): 15655 (java) R 15654 3132 3131 0 -1 0 18024 0 1 0 23036 47 0 0 25 0 10 0 765278056 857100288 23899 4294967295 134512640 134569956 3221224368 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209253 23899 13086 16 0 209237 0
vsize: 837012
[startup+260.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 15664
Raw data (stat): 15655 (java) R 15654 3132 3131 0 -1 0 18024 0 1 0 23971 47 0 0 25 0 10 0 765278056 857100288 23979 4294967295 134512640 134569956 3221224368 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209253 23979 13086 16 0 209237 0
vsize: 837012
[startup+270.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 15664
Raw data (stat): 15655 (java) R 15654 3132 3131 0 -1 0 18024 0 1 0 24902 48 0 0 25 0 10 0 765278056 857100288 24023 4294967295 134512640 134569956 3221224368 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209253 24023 13086 16 0 209237 0
vsize: 837012
[startup+280.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 15664
Raw data (stat): 15655 (java) R 15654 3132 3131 0 -1 0 18024 0 1 0 25836 48 0 0 25 0 10 0 765278056 857100288 24092 4294967295 134512640 134569956 3221224368 3221214224 1076461002 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209253 24092 13086 16 0 209237 0
vsize: 837012
[startup+290.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 15664
Raw data (stat): 15655 (java) R 15654 3132 3131 0 -1 0 18024 0 1 0 26762 48 0 0 25 0 10 0 765278056 857100288 24157 4294967295 134512640 134569956 3221224368 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209253 24157 13086 16 0 209237 0
vsize: 837012
[startup+300.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 15664
Raw data (stat): 15655 (java) R 15654 3132 3131 0 -1 0 18024 0 1 0 27693 48 0 0 25 0 10 0 765278056 857100288 24238 4294967295 134512640 134569956 3221224368 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209253 24238 13086 16 0 209237 0
vsize: 837012
[startup+310.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 15664
Raw data (stat): 15655 (java) R 15654 3132 3131 0 -1 0 18024 0 1 0 28611 49 0 0 25 0 10 0 765278056 857100288 24296 4294967295 134512640 134569956 3221224368 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209253 24296 13086 16 0 209237 0
vsize: 837012
[startup+320.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 15664
Raw data (stat): 15655 (java) R 15654 3132 3131 0 -1 0 18024 0 1 0 29516 50 0 0 25 0 10 0 765278056 857100288 24375 4294967295 134512640 134569956 3221224368 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209253 24375 13086 16 0 209237 0
vsize: 837012
[startup+330.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 15664
Raw data (stat): 15655 (java) S 15654 3132 3131 0 -1 0 18024 0 1 0 30413 50 0 0 25 0 10 0 765278056 857100288 24527 4294967295 134512640 134569956 3221224368 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209253 24527 13086 16 0 209237 0
vsize: 837012
[startup+340.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 15664
Raw data (stat): 15655 (java) R 15654 3132 3131 0 -1 0 18024 0 1 0 31292 50 0 0 25 0 10 0 765278056 857100288 24754 4294967295 134512640 134569956 3221224368 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209253 24754 13086 16 0 209237 0
vsize: 837012
[startup+350.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 15664
Raw data (stat): 15655 (java) R 15654 3132 3131 0 -1 0 18024 0 1 0 32179 51 0 0 25 0 10 0 765278056 857100288 24978 4294967295 134512640 134569956 3221224368 3221214804 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209253 24978 13086 16 0 209237 0
vsize: 837012
[startup+360.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 15664
Raw data (stat): 15655 (java) R 15654 3132 3131 0 -1 0 18024 0 1 0 33081 51 0 0 25 0 10 0 765278056 857100288 25201 4294967295 134512640 134569956 3221224368 3221214808 1130883944 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209253 25201 13086 16 0 209237 0
vsize: 837012
[startup+370.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 15664
Raw data (stat): 15655 (java) R 15654 3132 3131 0 -1 0 18024 0 1 0 33998 52 0 0 25 0 10 0 765278056 857100288 25280 4294967295 134512640 134569956 3221224368 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209253 25280 13086 16 0 209237 0
vsize: 837012
[startup+380.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 15664
Raw data (stat): 15655 (java) R 15654 3132 3131 0 -1 0 18024 0 1 0 34918 52 0 0 25 0 10 0 765278056 857100288 25382 4294967295 134512640 134569956 3221224368 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209253 25382 13086 16 0 209237 0
vsize: 837012
[startup+390.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 15664
Raw data (stat): 15655 (java) R 15654 3132 3131 0 -1 0 18024 0 1 0 35838 53 0 0 25 0 10 0 765278056 857100288 25446 4294967295 134512640 134569956 3221224368 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209253 25446 13086 16 0 209237 0
vsize: 837012
[startup+400.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 15664
Raw data (stat): 15655 (java) R 15654 3132 3131 0 -1 0 18024 0 1 0 36744 54 0 0 25 0 10 0 765278056 857100288 25851 4294967295 134512640 134569956 3221224368 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209253 25851 13086 16 0 209237 0
vsize: 837012
[startup+410.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 15664
Raw data (stat): 15655 (java) S 15654 3132 3131 0 -1 0 18024 0 1 0 37613 54 0 0 25 0 10 0 765278056 857100288 26263 4294967295 134512640 134569956 3221224368 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209253 26263 13086 16 0 209237 0
vsize: 837012
[startup+420.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 15664
Raw data (stat): 15655 (java) S 15654 3132 3131 0 -1 0 18024 0 1 0 38533 55 0 0 25 0 10 0 765278056 857100288 26652 4294967295 134512640 134569956 3221224368 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209253 26652 13086 16 0 209237 0
vsize: 837012
[startup+430.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 15664
Raw data (stat): 15655 (java) R 15654 3132 3131 0 -1 0 18024 0 1 0 39443 55 0 0 25 0 10 0 765278056 857100288 26698 4294967295 134512640 134569956 3221224368 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209253 26698 13086 16 0 209237 0
vsize: 837012
[startup+440.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 15664
Raw data (stat): 15655 (java) R 15654 3132 3131 0 -1 0 18024 0 1 0 40349 56 0 0 25 0 10 0 765278056 857100288 26816 4294967295 134512640 134569956 3221224368 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209253 26816 13086 16 0 209237 0
vsize: 837012
[startup+450.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 15664
Raw data (stat): 15655 (java) R 15654 3132 3131 0 -1 0 18024 0 1 0 41262 56 0 0 25 0 10 0 765278056 857100288 26920 4294967295 134512640 134569956 3221224368 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209253 26920 13086 16 0 209237 0
vsize: 837012
[startup+460.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 15664
Raw data (stat): 15655 (java) R 15654 3132 3131 0 -1 0 18024 0 1 0 42166 56 0 0 25 0 10 0 765278056 857100288 27022 4294967295 134512640 134569956 3221224368 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209253 27022 13086 16 0 209237 0
vsize: 837012
[startup+470.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 15664
Raw data (stat): 15655 (java) R 15654 3132 3131 0 -1 0 18024 0 1 0 43075 57 0 0 24 0 10 0 765278056 857100288 27860 4294967295 134512640 134569956 3221224368 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209253 27860 13086 16 0 209237 0
vsize: 837012
[startup+480.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 15664
Raw data (stat): 15655 (java) R 15654 3132 3131 0 -1 0 18024 0 1 0 43992 57 0 0 25 0 10 0 765278056 857100288 27860 4294967295 134512640 134569956 3221224368 3221214080 1077559942 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209253 27860 13086 16 0 209237 0
vsize: 837012
[startup+490.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 15664
Raw data (stat): 15655 (java) R 15654 3132 3131 0 -1 0 18024 0 1 0 44895 57 0 0 25 0 10 0 765278056 857100288 27985 4294967295 134512640 134569956 3221224368 3221214176 1076874552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209253 27985 13086 16 0 209237 0
vsize: 837012
[startup+500.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 15664
Raw data (stat): 15655 (java) R 15654 3132 3131 0 -1 0 18024 0 1 0 45795 57 0 0 25 0 10 0 765278056 857100288 28061 4294967295 134512640 134569956 3221224368 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209253 28061 13086 16 0 209237 0
vsize: 837012
[startup+510.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 15664
Raw data (stat): 15655 (java) R 15654 3132 3131 0 -1 0 18024 0 1 0 46672 59 0 0 25 0 10 0 765278056 857100288 30159 4294967295 134512640 134569956 3221224368 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209253 30159 13086 16 0 209237 0
vsize: 837012
[startup+520.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 15664
Raw data (stat): 15655 (java) R 15654 3132 3131 0 -1 0 18024 0 1 0 47581 59 0 0 25 0 10 0 765278056 857100288 30482 4294967295 134512640 134569956 3221224368 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209253 30482 13086 16 0 209237 0
vsize: 837012
[startup+530.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 15664
Raw data (stat): 15655 (java) R 15654 3132 3131 0 -1 0 18024 0 1 0 48488 59 0 0 25 0 10 0 765278056 857100288 30488 4294967295 134512640 134569956 3221224368 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209253 30488 13086 16 0 209237 0
vsize: 837012
[startup+540.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 15664
Raw data (stat): 15655 (java) R 15654 3132 3131 0 -1 0 18024 0 1 0 49393 60 0 0 25 0 10 0 765278056 857100288 30647 4294967295 134512640 134569956 3221224368 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209253 30647 13086 16 0 209237 0
vsize: 837012
[startup+550.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 15664
Raw data (stat): 15655 (java) S 15654 3132 3131 0 -1 0 18024 0 1 0 50286 61 0 0 25 0 10 0 765278056 857100288 30817 4294967295 134512640 134569956 3221224368 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209253 30817 13086 16 0 209237 0
vsize: 837012
[startup+560.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 15664
Raw data (stat): 15655 (java) R 15654 3132 3131 0 -1 0 18024 0 1 0 51169 61 0 0 24 0 10 0 765278056 857100288 31193 4294967295 134512640 134569956 3221224368 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209253 31193 13086 16 0 209237 0
vsize: 837012
[startup+570.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 15664
Raw data (stat): 15655 (java) R 15654 3132 3131 0 -1 0 18024 0 1 0 52050 62 0 0 25 0 10 0 765278056 857100288 31262 4294967295 134512640 134569956 3221224368 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209253 31262 13086 16 0 209237 0
vsize: 837012
[startup+580.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 15664
Raw data (stat): 15655 (java) R 15654 3132 3131 0 -1 0 18024 0 1 0 52940 62 0 0 25 0 10 0 765278056 857100288 31469 4294967295 134512640 134569956 3221224368 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209253 31469 13086 16 0 209237 0
vsize: 837012
[startup+590.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 15664
Raw data (stat): 15655 (java) S 15654 3132 3131 0 -1 0 18024 0 1 0 53838 64 0 0 25 0 10 0 765278056 857100288 32810 4294967295 134512640 134569956 3221224368 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209253 32810 13086 16 0 209237 0
vsize: 837012
[startup+600.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 15664
Raw data (stat): 15655 (java) R 15654 3132 3131 0 -1 0 18024 0 1 0 54753 64 0 0 25 0 10 0 765278056 857100288 32810 4294967295 134512640 134569956 3221224368 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209253 32810 13086 16 0 209237 0
vsize: 837012
[startup+610.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 15664
Raw data (stat): 15655 (java) R 15654 3132 3131 0 -1 0 18024 0 1 0 55649 65 0 0 24 0 10 0 765278056 857100288 32913 4294967295 134512640 134569956 3221224368 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209253 32913 13086 16 0 209237 0
vsize: 837012
[startup+620.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 15664
Raw data (stat): 15655 (java) R 15654 3132 3131 0 -1 0 18024 0 1 0 56560 65 0 0 25 0 10 0 765278056 857100288 32981 4294967295 134512640 134569956 3221224368 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209253 32981 13086 16 0 209237 0
vsize: 837012
[startup+630.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 15664
Raw data (stat): 15655 (java) R 15654 3132 3131 0 -1 0 18024 0 1 0 57463 67 0 0 25 0 10 0 765278056 857100288 33128 4294967295 134512640 134569956 3221224368 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209253 33128 13086 16 0 209237 0
vsize: 837012
[startup+640.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 15664
Raw data (stat): 15655 (java) R 15654 3132 3131 0 -1 0 18062 0 1 0 58384 67 0 0 25 0 10 0 765278056 860246016 34708 4294967295 134512640 134569956 3221224368 3221214728 1131422909 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210021 34708 13086 16 0 210005 0
vsize: 840084
[startup+650.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 15664
Raw data (stat): 15655 (java) R 15654 3132 3131 0 -1 0 18062 0 1 0 59291 67 0 0 25 0 10 0 765278056 860246016 34796 4294967295 134512640 134569956 3221224368 3221214728 1131426539 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210021 34796 13086 16 0 210005 0
vsize: 840084
[startup+660.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 15664
Raw data (stat): 15655 (java) R 15654 3132 3131 0 -1 0 18062 0 1 0 60192 68 0 0 25 0 10 0 765278056 860246016 35504 4294967295 134512640 134569956 3221224368 3221214624 1131357301 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210021 35504 13086 16 0 210005 0
vsize: 840084
[startup+670.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15665
Raw data (stat): 15655 (java) R 15654 3132 3131 0 -1 0 18068 0 1 0 61109 68 0 0 25 0 11 0 765278056 860774400 35532 4294967295 134512640 134569956 3221224368 3221214680 1131419394 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210150 35532 13086 16 0 210134 0
vsize: 840600
[startup+680.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15665
Raw data (stat): 15655 (java) R 15654 3132 3131 0 -1 0 18068 0 1 0 62023 68 0 0 25 0 11 0 765278056 859725824 35476 4294967295 134512640 134569956 3221224368 3221214592 1131358164 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209894 35476 13086 16 0 209878 0
vsize: 839576
[startup+690.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15665
Raw data (stat): 15655 (java) R 15654 3132 3131 0 -1 0 18068 0 1 0 62967 68 0 0 25 0 11 0 765278056 859725824 35670 4294967295 134512640 134569956 3221224368 3221214592 1131357358 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209894 35670 13086 16 0 209878 0
vsize: 839576
[startup+700.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15665
Raw data (stat): 15655 (java) R 15654 3132 3131 0 -1 0 18068 0 1 0 63946 68 0 0 25 0 11 0 765278056 859725824 35800 4294967295 134512640 134569956 3221224368 3221214592 1131357533 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209894 35800 13086 16 0 209878 0
vsize: 839576
[startup+710.084 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15665
Raw data (stat): 15655 (java) R 15654 3132 3131 0 -1 0 18068 0 1 0 64942 68 0 0 25 0 11 0 765278056 859725824 35803 4294967295 134512640 134569956 3221224368 3221214676 1131277165 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209894 35803 13086 16 0 209878 0
vsize: 839576
[startup+720.085 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15665
Raw data (stat): 15655 (java) R 15654 3132 3131 0 -1 0 18068 0 1 0 65933 68 0 0 25 0 11 0 765278056 859725824 35806 4294967295 134512640 134569956 3221224368 3221214592 1131357245 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209894 35806 13086 16 0 209878 0
vsize: 839576
[startup+723.935 s]
Raw data (loadavg): 1.00 1.00 1.00 1/53 15666
Raw data (stat): 15655 (java) R 15654 3132 3131 0 -1 0 18068 0 1 0 65933 68 0 0 25 0 11 0 765278056 859725824 35806 4294967295 134512640 134569956 3221224368 3221214592 1131357245 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209894 35806 13086 16 0 209878 0
vsize: 0

Child status: 20
Real time (s): 723.935
CPU time (s): 732.448
CPU user time (s): 731.053
CPU system time (s): 1.39479
CPU usage (%): 101.176
Max. virtual memory (Kb): 840600
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####