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/submitted/aloul/FPGA_SAT05/normalized-fpga14_13_sat_pb.cnf.cr.opb
MD5SUM	6c5be32f385b6b14a9d33e85ff7013ea
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	15
Number of bits of the biggest sum of numbers	4
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.099984
Number of variables	273
Total number of constraints	222
Number of constraints which are clauses	195
Number of constraints which are cardinality constraints (but not clauses)	27
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	7
Maximum length of a constraint	14
Trace number 4200

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc15 THE 2005-04-13 15:53:13 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=315 boxname=wulflinc15 idbench=35 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  6c5be32f385b6b14a9d33e85ff7013ea  /oldhome/oroussel/tmp/wulflinc15/normalized-fpga14_13_sat_pb.cnf.cr.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc15/normalized-fpga14_13_sat_pb.cnf.cr.opb
IDLAUNCH: 315
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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		: 450.999
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:        936016 kB
Buffers:         32776 kB
Cached:          44300 kB
SwapCached:       2144 kB
Active:          48800 kB
Inactive:        33244 kB
HighTotal:      131008 kB
HighFree:        82348 kB
LowTotal:       903652 kB
LowFree:        853668 kB
SwapTotal:     2097136 kB
SwapFree:      2094992 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           6916 kB
Slab:            10944 kB
Committed_AS:    63468 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-13 16:05:24 (client local time) WITH STATUS 30 IN  SECONDS
stats: 315 0  30
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc15/normalized-fpga14_13_sat_pb.cnf.cr.opb
c reading problem 
c [nbvar=273]
c [nbconstr=222]
c time 0.927
c #vars     273
c #clauses  222
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
c SATISFIABLE
c OPTIMIZING...
c 
c CURRENT OPTIMUM=0
c Total CPU time (ms) : 729.601
c 
s OPTIMUM FOUND
v -v164 -v239 -v240 -v241 -v242 -v243 -v244 v245 -v16 -v189 -v190 v191 -v192 -v193 -v194 -v145 -v207 -v208 -v209 v210 -v211 -v212 -v84 -v267 -v268 -v269 -v270 -v271 v272 -v273 -v101 -v195 -v196 -v197 -v198 -v199 -v200 -v42 v7 v219 -v220 -v221 -v222 -v223 -v224 -v27 -v260 -v261 v262 -v263 -v264 -v265 -v266 -v17 -v132 -v213 -v214 -v215 -v216 v217 -v218 -v127 -v183 v184 -v185 -v186 -v187 -v188 v121 v232 -v233 -v234 -v235 -v236 -v237 -v238 -v182 -v44 v54 -v253 -v254 -v255 -v256 v257 -v258 -v259 -v173 -v91 v142 -v22 -v225 v226 -v227 -v228 -v229 -v230 -v231 -v136 -v126 -v120 -v111 -v96 v15 -v18 -v19 -v20 -v21 -v23 -v24 -v25 -v26 -v28 -v141 -v161 -v153 -v122 -v51 -v3 -v109 -v246 -v247 -v248 v249 -v250 -v251 -v252 -v65 -v201 -v202 -v203 -v204 -v205 v206 -v76 -v118 -v63 -v169 -v144 -v129 -v55 -v174 -v133 -v113 -v114 -v115 -v116 -v117 -v119 -v123 -v124 -v125 -v74 -v85 -v86 -v87 v88 -v89 -v90 -v92 -v93 -v94 -v95 -v97 -v98 -v70 -v29 -v162 -v140 -v67 -v10 -v43 -v45 -v46 -v47 -v48 -v49 -v50 -v52 -v53 -v56 -v58 -v180 -v4 -v11 -v82 -v66 -v99 -v100 -v102 -v103 -v104 -v105 -v106 -v107 -v108 -v110 v112 v159 -v155 -v77 -v59 -v38 -v143 -v14 -v73 -v79 -v181 -v156 -v157 -v158 -v160 -v163 -v165 -v166 -v167 -v168 v62 -v35 -v72 -v154 -v130 -v2 -v5 -v147 -v170 -v171 -v172 -v175 -v176 -v177 v178 -v179 -v30 -v36 -v57 -v1 -v6 -v8 -v9 -v12 -v13 -v69 -v137 -v37 -v80 -v151 -v39 -v32 -v31 -v33 -v34 -v40 v41 -v128 -v146 -v71 -v61 -v83 -v148 -v149 -v150 -v152 v134 -v60 -v64 -v68 -v131 -v135 -v138 -v139 v81 -v78 -v75 
c objectif function=0
#### 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.66 0.18 0.06 2/54 29297
Raw data (stat): 29297 (runsolver) R 29296 29151 29150 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 418956205 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 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): 0.87 0.24 0.08 4/64 29307
Raw data (stat): 29297 (java) R 29296 29151 29150 0 -1 0 9300 0 1 0 670 23 0 0 25 0 11 0 418956205 901652480 20842 4294967295 134512640 134569956 3221224400 3221214520 1130915546 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220130 20842 13073 16 0 220114 0
vsize: 880520
[startup+20.0012 s]
Raw data (loadavg): 1.20 0.33 0.11 4/64 29307
Raw data (stat): 29297 (java) R 29296 29151 29150 0 -1 0 18161 0 1 0 1151 45 0 0 25 0 11 0 418956205 898891776 29716 4294967295 134512640 134569956 3221224400 3221214328 1131652540 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 219456 29716 13073 16 0 219440 0
vsize: 877824
[startup+30.001 s]
Raw data (loadavg): 1.17 0.35 0.12 2/64 29307
Raw data (stat): 29297 (java) R 29296 29151 29150 0 -1 0 18162 0 1 0 2105 45 0 0 25 0 11 0 418956205 898859008 30485 4294967295 134512640 134569956 3221224400 3221214776 1131441050 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 219448 30485 13073 16 0 219432 0
vsize: 877792
[startup+40.0018 s]
Raw data (loadavg): 1.14 0.37 0.13 2/64 29307
Raw data (stat): 29297 (java) R 29296 29151 29150 0 -1 0 18163 0 1 0 3052 46 0 0 24 0 11 0 418956205 898859008 31101 4294967295 134512640 134569956 3221224400 3221214696 1131312314 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 219448 31101 13073 16 0 219432 0
vsize: 877792
[startup+50.0027 s]
Raw data (loadavg): 1.12 0.39 0.14 2/64 29307
Raw data (stat): 29297 (java) R 29296 29151 29150 0 -1 0 18163 0 1 0 4004 46 0 0 25 0 11 0 418956205 898859008 31322 4294967295 134512640 134569956 3221224400 3221214552 1131368527 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 219448 31322 13073 16 0 219432 0
vsize: 877792
[startup+60.0034 s]
Raw data (loadavg): 1.10 0.41 0.15 2/64 29307
Raw data (stat): 29297 (java) R 29296 29151 29150 0 -1 0 18163 0 1 0 4953 46 0 0 24 0 11 0 418956205 898859008 31518 4294967295 134512640 134569956 3221224400 3221214340 1078830954 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 219448 31518 13073 16 0 219432 0
vsize: 877792
[startup+70.0042 s]
Raw data (loadavg): 1.08 0.43 0.15 2/64 29307
Raw data (stat): 29297 (java) S 29296 29151 29150 0 -1 0 18163 0 1 0 5913 46 0 0 25 0 11 0 418956205 898859008 31686 4294967295 134512640 134569956 3221224400 3221213304 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 219448 31686 13073 16 0 219432 0
vsize: 877792
[startup+80.0076 s]
Raw data (loadavg): 1.07 0.45 0.16 2/64 29307
Raw data (stat): 29297 (java) R 29296 29151 29150 0 -1 0 18163 0 1 0 6860 46 0 0 25 0 11 0 418956205 898859008 31985 4294967295 134512640 134569956 3221224400 3221214592 1131758357 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 219448 31985 13073 16 0 219432 0
vsize: 877792
[startup+90.0077 s]
Raw data (loadavg): 1.06 0.47 0.17 2/64 29307
Raw data (stat): 29297 (java) R 29296 29151 29150 0 -1 0 18163 0 1 0 7809 46 0 0 25 0 11 0 418956205 898859008 32184 4294967295 134512640 134569956 3221224400 3221214264 1085679346 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 219448 32184 13073 16 0 219432 0
vsize: 877792
[startup+100.007 s]
Raw data (loadavg): 1.05 0.48 0.18 2/64 29307
Raw data (stat): 29297 (java) R 29296 29151 29150 0 -1 0 18163 0 1 0 8776 46 0 0 25 0 11 0 418956205 898859008 32413 4294967295 134512640 134569956 3221224400 3221214608 1131648180 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 219448 32413 13073 16 0 219432 0
vsize: 877792
[startup+110.008 s]
Raw data (loadavg): 1.04 0.50 0.19 2/64 29307
Raw data (stat): 29297 (java) R 29296 29151 29150 0 -1 0 18163 0 1 0 9754 46 0 0 25 0 11 0 418956205 898859008 32628 4294967295 134512640 134569956 3221224400 3221214192 1131652635 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 219448 32628 13073 16 0 219432 0
vsize: 877792
[startup+120.009 s]
Raw data (loadavg): 1.04 0.52 0.20 2/64 29307
Raw data (stat): 29297 (java) R 29296 29151 29150 0 -1 0 18163 0 1 0 10731 47 0 0 25 0 11 0 418956205 898859008 32717 4294967295 134512640 134569956 3221224400 3221214072 1131651439 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 219448 32717 13073 16 0 219432 0
vsize: 877792
[startup+130.009 s]
Raw data (loadavg): 1.03 0.53 0.20 2/64 29307
Raw data (stat): 29297 (java) R 29296 29151 29150 0 -1 0 18163 0 1 0 11686 47 0 0 25 0 11 0 418956205 898859008 32970 4294967295 134512640 134569956 3221224400 3221214904 1131397384 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 219448 32970 13073 16 0 219432 0
vsize: 877792
[startup+140.009 s]
Raw data (loadavg): 1.02 0.55 0.21 2/64 29307
Raw data (stat): 29297 (java) R 29296 29151 29150 0 -1 0 18163 0 1 0 12653 47 0 0 25 0 11 0 418956205 898859008 33096 4294967295 134512640 134569956 3221224400 3221214428 1085679260 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 219448 33096 13073 16 0 219432 0
vsize: 877792
[startup+150.009 s]
Raw data (loadavg): 1.02 0.56 0.22 2/64 29307
Raw data (stat): 29297 (java) R 29296 29151 29150 0 -1 0 18163 0 1 0 13622 47 0 0 25 0 11 0 418956205 898859008 33210 4294967295 134512640 134569956 3221224400 3221214320 1085679325 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 219448 33210 13073 16 0 219432 0
vsize: 877792
[startup+160.01 s]
Raw data (loadavg): 1.02 0.58 0.23 2/64 29307
Raw data (stat): 29297 (java) R 29296 29151 29150 0 -1 0 18163 0 1 0 14602 47 0 0 25 0 11 0 418956205 898859008 33297 4294967295 134512640 134569956 3221224400 3221214632 1131652554 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 219448 33297 13073 16 0 219432 0
vsize: 877792
[startup+170.01 s]
Raw data (loadavg): 1.01 0.59 0.24 2/64 29307
Raw data (stat): 29297 (java) R 29296 29151 29150 0 -1 0 18163 0 1 0 15581 47 0 0 25 0 11 0 418956205 898859008 33297 4294967295 134512640 134569956 3221224400 3221214128 1131651233 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 219448 33297 13073 16 0 219432 0
vsize: 877792
[startup+180.01 s]
Raw data (loadavg): 1.01 0.60 0.24 2/64 29307
Raw data (stat): 29297 (java) R 29296 29151 29150 0 -1 0 18163 0 1 0 16560 47 0 0 25 0 11 0 418956205 898859008 33393 4294967295 134512640 134569956 3221224400 3221214108 1131651200 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 219448 33393 13073 16 0 219432 0
vsize: 877792
[startup+190.011 s]
Raw data (loadavg): 1.01 0.61 0.25 2/64 29307
Raw data (stat): 29297 (java) R 29296 29151 29150 0 -1 0 18163 0 1 0 17550 47 0 0 25 0 11 0 418956205 898859008 33453 4294967295 134512640 134569956 3221224400 3221214824 1130916001 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 219448 33453 13073 16 0 219432 0
vsize: 877792
[startup+200.011 s]
Raw data (loadavg): 1.01 0.63 0.26 2/64 29307
Raw data (stat): 29297 (java) R 29296 29151 29150 0 -1 0 18163 0 1 0 18528 47 0 0 25 0 11 0 418956205 898859008 33521 4294967295 134512640 134569956 3221224400 3221214680 1131651233 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 219448 33521 13073 16 0 219432 0
vsize: 877792
[startup+210.011 s]
Raw data (loadavg): 1.01 0.64 0.27 2/64 29307
Raw data (stat): 29297 (java) R 29296 29151 29150 0 -1 0 18163 0 1 0 19508 47 0 0 25 0 11 0 418956205 898859008 33599 4294967295 134512640 134569956 3221224400 3221214432 1085679449 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 219448 33599 13073 16 0 219432 0
vsize: 877792
[startup+220.012 s]
Raw data (loadavg): 1.00 0.65 0.28 2/64 29307
Raw data (stat): 29297 (java) R 29296 29151 29150 0 -1 0 18163 0 1 0 20487 47 0 0 25 0 11 0 418956205 898859008 33670 4294967295 134512640 134569956 3221224400 3221214608 1131559214 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 219448 33670 13073 16 0 219432 0
vsize: 877792
[startup+230.012 s]
Raw data (loadavg): 1.00 0.66 0.28 2/64 29307
Raw data (stat): 29297 (java) R 29296 29151 29150 0 -1 0 18163 0 1 0 21467 47 0 0 25 0 11 0 418956205 898859008 33730 4294967295 134512640 134569956 3221224400 3221214096 1085679325 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 219448 33730 13073 16 0 219432 0
vsize: 877792
[startup+240.012 s]
Raw data (loadavg): 1.00 0.67 0.29 2/64 29307
Raw data (stat): 29297 (java) R 29296 29151 29150 0 -1 0 18163 0 1 0 22435 47 0 0 25 0 11 0 418956205 898859008 33824 4294967295 134512640 134569956 3221224400 3221214520 1131652588 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 219448 33824 13073 16 0 219432 0
vsize: 877792
[startup+250.015 s]
Raw data (loadavg): 1.00 0.68 0.30 2/64 29307
Raw data (stat): 29297 (java) S 29296 29151 29150 0 -1 0 18163 0 1 0 23404 47 0 0 25 0 11 0 418956205 898859008 33919 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 219448 33919 13073 16 0 219432 0
vsize: 877792
[startup+260.018 s]
Raw data (loadavg): 1.00 0.69 0.30 2/64 29307
Raw data (stat): 29297 (java) R 29296 29151 29150 0 -1 0 18163 0 1 0 24374 47 0 0 25 0 11 0 418956205 898859008 33996 4294967295 134512640 134569956 3221224400 3221214680 1131651376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 219448 33996 13073 16 0 219432 0
vsize: 877792
[startup+270.018 s]
Raw data (loadavg): 1.00 0.70 0.31 2/64 29307
Raw data (stat): 29297 (java) R 29296 29151 29150 0 -1 0 18163 0 1 0 25342 47 0 0 25 0 11 0 418956205 898859008 34132 4294967295 134512640 134569956 3221224400 3221214376 1085679325 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 219448 34132 13073 16 0 219432 0
vsize: 877792
[startup+280.018 s]
Raw data (loadavg): 1.00 0.71 0.32 2/64 29307
Raw data (stat): 29297 (java) R 29296 29151 29150 0 -1 0 18163 0 1 0 26309 47 0 0 25 0 11 0 418956205 898859008 34259 4294967295 134512640 134569956 3221224400 3221214136 1131652529 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 219448 34259 13073 16 0 219432 0
vsize: 877792
[startup+290.019 s]
Raw data (loadavg): 1.00 0.72 0.32 2/64 29307
Raw data (stat): 29297 (java) R 29296 29151 29150 0 -1 0 18163 0 1 0 27288 47 0 0 25 0 11 0 418956205 898859008 34345 4294967295 134512640 134569956 3221224400 3221214408 1131652567 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 219448 34345 13073 16 0 219432 0
vsize: 877792
[startup+300.018 s]
Raw data (loadavg): 1.00 0.73 0.33 2/64 29307
Raw data (stat): 29297 (java) R 29296 29151 29150 0 -1 0 18163 0 1 0 28278 47 0 0 25 0 11 0 418956205 898859008 34392 4294967295 134512640 134569956 3221224400 3221214016 1131651431 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 219448 34392 13073 16 0 219432 0
vsize: 877792
[startup+310.019 s]
Raw data (loadavg): 1.00 0.74 0.34 2/64 29307
Raw data (stat): 29297 (java) R 29296 29151 29150 0 -1 0 18163 0 1 0 29256 47 0 0 25 0 11 0 418956205 898859008 34472 4294967295 134512640 134569956 3221224400 3221214752 1131423981 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 219448 34472 13073 16 0 219432 0
vsize: 877792
[startup+320.02 s]
Raw data (loadavg): 1.00 0.75 0.34 2/64 29307
Raw data (stat): 29297 (java) R 29296 29151 29150 0 -1 0 18163 0 1 0 30234 47 0 0 25 0 11 0 418956205 898859008 34560 4294967295 134512640 134569956 3221224400 3221214240 1131652610 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 219448 34560 13073 16 0 219432 0
vsize: 877792
[startup+330.02 s]
Raw data (loadavg): 1.00 0.75 0.35 2/64 29307
Raw data (stat): 29297 (java) R 29296 29151 29150 0 -1 0 18163 0 1 0 31213 47 0 0 25 0 11 0 418956205 898859008 34636 4294967295 134512640 134569956 3221224400 3221214672 1131653269 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 219448 34636 13073 16 0 219432 0
vsize: 877792
[startup+340.02 s]
Raw data (loadavg): 1.00 0.76 0.36 2/64 29307
Raw data (stat): 29297 (java) R 29296 29151 29150 0 -1 0 18163 0 1 0 32192 47 0 0 25 0 11 0 418956205 898859008 34727 4294967295 134512640 134569956 3221224400 3221214752 1131423909 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 219448 34727 13073 16 0 219432 0
vsize: 877792
[startup+350.019 s]
Raw data (loadavg): 1.00 0.77 0.36 2/64 29307
Raw data (stat): 29297 (java) R 29296 29151 29150 0 -1 0 18163 0 1 0 33181 47 0 0 25 0 11 0 418956205 898859008 34753 4294967295 134512640 134569956 3221224400 3221214632 1131808146 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 219448 34753 13073 16 0 219432 0
vsize: 877792
[startup+360.02 s]
Raw data (loadavg): 1.00 0.78 0.37 2/64 29307
Raw data (stat): 29297 (java) R 29296 29151 29150 0 -1 0 18163 0 1 0 34149 47 0 0 25 0 11 0 418956205 898859008 34845 4294967295 134512640 134569956 3221224400 3221214552 1131601524 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 219448 34845 13073 16 0 219432 0
vsize: 877792
[startup+370.02 s]
Raw data (loadavg): 1.00 0.78 0.38 2/64 29307
Raw data (stat): 29297 (java) R 29296 29151 29150 0 -1 0 18163 0 1 0 35128 47 0 0 25 0 11 0 418956205 898859008 34902 4294967295 134512640 134569956 3221224400 3221214460 1131652496 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 219448 34902 13073 16 0 219432 0
vsize: 877792
[startup+380.02 s]
Raw data (loadavg): 1.00 0.79 0.38 2/64 29307
Raw data (stat): 29297 (java) R 29296 29151 29150 0 -1 0 18163 0 1 0 36106 47 0 0 25 0 11 0 418956205 898859008 34984 4294967295 134512640 134569956 3221224400 3221214240 1131651466 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 219448 34984 13073 16 0 219432 0
vsize: 877792
[startup+390.021 s]
Raw data (loadavg): 1.00 0.80 0.39 2/64 29307
Raw data (stat): 29297 (java) R 29296 29151 29150 0 -1 0 18163 0 1 0 37085 47 0 0 25 0 11 0 418956205 898859008 35065 4294967295 134512640 134569956 3221224400 3221213912 1131652508 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 219448 35065 13073 16 0 219432 0
vsize: 877792
[startup+400.02 s]
Raw data (loadavg): 1.00 0.80 0.39 2/64 29307
Raw data (stat): 29297 (java) R 29296 29151 29150 0 -1 0 18163 0 1 0 38076 47 0 0 25 0 11 0 418956205 898859008 35065 4294967295 134512640 134569956 3221224400 3221213996 1131651209 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 219448 35065 13073 16 0 219432 0
vsize: 877792
[startup+410.021 s]
Raw data (loadavg): 1.00 0.81 0.40 2/64 29307
Raw data (stat): 29297 (java) R 29296 29151 29150 0 -1 0 18163 0 1 0 39055 47 0 0 25 0 11 0 418956205 898859008 35115 4294967295 134512640 134569956 3221224400 3221214544 1085679526 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 219448 35115 13073 16 0 219432 0
vsize: 877792
[startup+420.022 s]
Raw data (loadavg): 1.00 0.81 0.41 2/64 29360
Raw data (stat): 29297 (java) R 29296 29151 29150 0 -1 0 18163 0 1 0 40035 57 0 0 25 0 11 0 418956205 898859008 35151 4294967295 134512640 134569956 3221224400 3221214488 1085679358 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 219448 35151 13073 16 0 219432 0
vsize: 877792
[startup+430.022 s]
Raw data (loadavg): 1.00 0.82 0.41 2/64 29360
Raw data (stat): 29297 (java) R 29296 29151 29150 0 -1 0 18163 0 1 0 41025 57 0 0 25 0 11 0 418956205 898859008 35151 4294967295 134512640 134569956 3221224400 3221214020 1131652560 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 219448 35151 13073 16 0 219432 0
vsize: 877792
[startup+440.022 s]
Raw data (loadavg): 1.00 0.83 0.42 2/64 29360
Raw data (stat): 29297 (java) R 29296 29151 29150 0 -1 0 18163 0 1 0 42003 57 0 0 25 0 11 0 418956205 898859008 35201 4294967295 134512640 134569956 3221224400 3221214096 1085632292 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 219448 35201 13073 16 0 219432 0
vsize: 877792
[startup+450.022 s]
Raw data (loadavg): 1.00 0.83 0.42 2/64 29360
Raw data (stat): 29297 (java) R 29296 29151 29150 0 -1 0 18163 0 1 0 42993 57 0 0 25 0 11 0 418956205 898859008 35234 4294967295 134512640 134569956 3221224400 3221214004 1131653257 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 219448 35234 13073 16 0 219432 0
vsize: 877792
[startup+460.023 s]
Raw data (loadavg): 1.00 0.83 0.43 2/64 29360
Raw data (stat): 29297 (java) R 29296 29151 29150 0 -1 0 18163 0 1 0 43971 57 0 0 25 0 11 0 418956205 898859008 35319 4294967295 134512640 134569956 3221224400 3221214128 1131651452 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 219448 35319 13073 16 0 219432 0
vsize: 877792
[startup+470.023 s]
Raw data (loadavg): 1.00 0.84 0.43 2/64 29360
Raw data (stat): 29297 (java) R 29296 29151 29150 0 -1 0 18163 0 1 0 44961 57 0 0 25 0 11 0 418956205 898859008 35319 4294967295 134512640 134569956 3221224400 3221214616 1131653269 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 219448 35319 13073 16 0 219432 0
vsize: 877792
[startup+480.023 s]
Raw data (loadavg): 1.00 0.84 0.44 2/64 29360
Raw data (stat): 29297 (java) R 29296 29151 29150 0 -1 0 18163 0 1 0 45940 57 0 0 25 0 11 0 418956205 898859008 35362 4294967295 134512640 134569956 3221224400 3221214376 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 219448 35362 13073 16 0 219432 0
vsize: 877792
[startup+490.024 s]
Raw data (loadavg): 1.00 0.85 0.45 2/64 29362
Raw data (stat): 29297 (java) R 29296 29151 29150 0 -1 0 18163 0 1 0 46919 57 0 0 25 0 11 0 418956205 898859008 35459 4294967295 134512640 134569956 3221224400 3221214296 1131652570 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 219448 35459 13073 16 0 219432 0
vsize: 877792
[startup+500.024 s]
Raw data (loadavg): 1.00 0.85 0.45 2/64 29362
Raw data (stat): 29297 (java) R 29296 29151 29150 0 -1 0 18163 0 1 0 47898 57 0 0 25 0 11 0 418956205 898859008 35493 4294967295 134512640 134569956 3221224400 3221214624 1131651382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 219448 35493 13073 16 0 219432 0
vsize: 877792
[startup+510.025 s]
Raw data (loadavg): 1.00 0.86 0.46 2/64 29362
Raw data (stat): 29297 (java) R 29296 29151 29150 0 -1 0 18163 0 1 0 48887 57 0 0 25 0 11 0 418956205 898859008 35493 4294967295 134512640 134569956 3221224400 3221214752 1131428973 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 219448 35493 13073 16 0 219432 0
vsize: 877792
[startup+520.025 s]
Raw data (loadavg): 1.00 0.86 0.46 2/64 29362
Raw data (stat): 29297 (java) R 29296 29151 29150 0 -1 0 18163 0 1 0 49867 57 0 0 25 0 11 0 418956205 898859008 35569 4294967295 134512640 134569956 3221224400 3221214408 1131652471 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 219448 35569 13073 16 0 219432 0
vsize: 877792
[startup+530.025 s]
Raw data (loadavg): 1.00 0.87 0.47 2/64 29362
Raw data (stat): 29297 (java) R 29296 29151 29150 0 -1 0 18163 0 1 0 50846 57 0 0 25 0 11 0 418956205 898859008 35629 4294967295 134512640 134569956 3221224400 3221214752 1131423916 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 219448 35629 13073 16 0 219432 0
vsize: 877792
[startup+540.026 s]
Raw data (loadavg): 1.00 0.87 0.47 2/64 29362
Raw data (stat): 29297 (java) R 29296 29151 29150 0 -1 0 18163 0 1 0 51836 58 0 0 25 0 11 0 418956205 898859008 35669 4294967295 134512640 134569956 3221224400 3221214664 1131648129 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 219448 35669 13073 16 0 219432 0
vsize: 877792
[startup+550.027 s]
Raw data (loadavg): 1.00 0.87 0.48 2/64 29362
Raw data (stat): 29297 (java) R 29296 29151 29150 0 -1 0 18163 0 1 0 52826 58 0 0 25 0 11 0 418956205 898859008 35696 4294967295 134512640 134569956 3221224400 3221214688 1131310748 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 219448 35696 13073 16 0 219432 0
vsize: 877792
[startup+560.028 s]
Raw data (loadavg): 1.00 0.88 0.48 2/64 29362
Raw data (stat): 29297 (java) R 29296 29151 29150 0 -1 0 18163 0 1 0 53816 58 0 0 25 0 11 0 418956205 898859008 35724 4294967295 134512640 134569956 3221224400 3221214432 1085679318 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 219448 35724 13073 16 0 219432 0
vsize: 877792
[startup+570.028 s]
Raw data (loadavg): 1.00 0.88 0.49 2/64 29362
Raw data (stat): 29297 (java) R 29296 29151 29150 0 -1 0 18163 0 1 0 54807 58 0 0 25 0 11 0 418956205 898859008 35751 4294967295 134512640 134569956 3221224400 3221214448 1131651458 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 219448 35751 13073 16 0 219432 0
vsize: 877792
[startup+580.029 s]
Raw data (loadavg): 1.00 0.89 0.49 2/64 29362
Raw data (stat): 29297 (java) R 29296 29151 29150 0 -1 0 18163 0 1 0 55788 58 0 0 25 0 11 0 418956205 898859008 35802 4294967295 134512640 134569956 3221224400 3221214456 1131651439 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 219448 35802 13073 16 0 219432 0
vsize: 877792
[startup+590.029 s]
Raw data (loadavg): 1.00 0.89 0.50 2/64 29362
Raw data (stat): 29297 (java) R 29296 29151 29150 0 -1 0 18163 0 1 0 56778 58 0 0 25 0 11 0 418956205 898859008 35843 4294967295 134512640 134569956 3221224400 3221214752 1131433859 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 219448 35843 13073 16 0 219432 0
vsize: 877792
[startup+600.029 s]
Raw data (loadavg): 1.00 0.89 0.50 2/64 29362
Raw data (stat): 29297 (java) S 29296 29151 29150 0 -1 0 18163 0 1 0 57763 58 0 0 25 0 11 0 418956205 898859008 35877 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 219448 35877 13073 16 0 219432 0
vsize: 877792
[startup+610.03 s]
Raw data (loadavg): 1.00 0.89 0.51 2/64 29362
Raw data (stat): 29297 (java) R 29296 29151 29150 0 -1 0 18163 0 1 0 58750 58 0 0 25 0 11 0 418956205 898859008 35924 4294967295 134512640 134569956 3221224400 3221214752 1131431228 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 219448 35924 13073 16 0 219432 0
vsize: 877792
[startup+620.031 s]
Raw data (loadavg): 1.00 0.90 0.51 2/64 29362
Raw data (stat): 29297 (java) R 29296 29151 29150 0 -1 0 18163 0 1 0 59731 58 0 0 25 0 11 0 418956205 898859008 35974 4294967295 134512640 134569956 3221224400 3221214408 1131652508 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 219448 35974 13073 16 0 219432 0
vsize: 877792
[startup+630.03 s]
Raw data (loadavg): 1.15 0.93 0.53 2/64 29362
Raw data (stat): 29297 (java) R 29296 29151 29150 0 -1 0 18163 0 1 0 60722 58 0 0 25 0 11 0 418956205 898859008 35997 4294967295 134512640 134569956 3221224400 3221214232 1131651308 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 219448 35997 13073 16 0 219432 0
vsize: 877792
[startup+640.031 s]
Raw data (loadavg): 1.13 0.93 0.53 2/64 29362
Raw data (stat): 29297 (java) R 29296 29151 29150 0 -1 0 18163 0 1 0 61703 58 0 0 25 0 11 0 418956205 898859008 36047 4294967295 134512640 134569956 3221224400 3221214348 1085632272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 219448 36047 13073 16 0 219432 0
vsize: 877792
[startup+650.032 s]
Raw data (loadavg): 1.11 0.94 0.54 2/64 29362
Raw data (stat): 29297 (java) R 29296 29151 29150 0 -1 0 18163 0 1 0 62703 58 0 0 25 0 11 0 418956205 898859008 36047 4294967295 134512640 134569956 3221224400 3221213968 1131652536 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 219448 36047 13073 16 0 219432 0
vsize: 877792
[startup+660.033 s]
Raw data (loadavg): 1.09 0.94 0.54 2/64 29362
Raw data (stat): 29297 (java) R 29296 29151 29150 0 -1 0 18163 0 1 0 63693 58 0 0 25 0 11 0 418956205 898859008 36065 4294967295 134512640 134569956 3221224400 3221214240 1131652536 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 219448 36065 13073 16 0 219432 0
vsize: 877792
[startup+670.033 s]
Raw data (loadavg): 1.08 0.94 0.55 2/64 29362
Raw data (stat): 29297 (java) R 29296 29151 29150 0 -1 0 18163 0 1 0 64684 58 0 0 25 0 11 0 418956205 898859008 36093 4294967295 134512640 134569956 3221224400 3221214072 1131652536 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 219448 36093 13073 16 0 219432 0
vsize: 877792
[startup+680.033 s]
Raw data (loadavg): 1.06 0.94 0.55 2/64 29362
Raw data (stat): 29297 (java) R 29296 29151 29150 0 -1 0 18163 0 1 0 65674 58 0 0 25 0 11 0 418956205 898859008 36126 4294967295 134512640 134569956 3221224400 3221213968 1131652561 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 219448 36126 13073 16 0 219432 0
vsize: 877792
[startup+690.034 s]
Raw data (loadavg): 1.05 0.94 0.55 2/64 29362
Raw data (stat): 29297 (java) R 29296 29151 29150 0 -1 0 18163 0 1 0 66675 58 0 0 25 0 11 0 418956205 898859008 36126 4294967295 134512640 134569956 3221224400 3221214752 1131429264 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 219448 36126 13073 16 0 219432 0
vsize: 877792
[startup+700.034 s]
Raw data (loadavg): 1.05 0.94 0.56 2/64 29362
Raw data (stat): 29297 (java) R 29296 29151 29150 0 -1 0 18163 0 1 0 67665 58 0 0 25 0 11 0 418956205 898859008 36163 4294967295 134512640 134569956 3221224400 3221213784 1131651225 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 219448 36163 13073 16 0 219432 0
vsize: 877792
[startup+710.034 s]
Raw data (loadavg): 1.04 0.94 0.56 2/64 29362
Raw data (stat): 29297 (java) R 29296 29151 29150 0 -1 0 18163 0 1 0 68656 58 0 0 25 0 11 0 418956205 898859008 36178 4294967295 134512640 134569956 3221224400 3221214752 1131434079 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 219448 36178 13073 16 0 219432 0
vsize: 877792
[startup+720.035 s]
Raw data (loadavg): 1.03 0.95 0.57 2/64 29362
Raw data (stat): 29297 (java) R 29296 29151 29150 0 -1 0 18163 0 1 0 69647 58 0 0 25 0 11 0 418956205 898859008 36200 4294967295 134512640 134569956 3221224400 3221214752 1131423916 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 219448 36200 13073 16 0 219432 0
vsize: 877792
[startup+730.034 s]
Raw data (loadavg): 1.03 0.95 0.57 2/64 29362
Raw data (stat): 29297 (java) R 29296 29151 29150 0 -1 0 18163 0 1 0 70629 58 0 0 25 0 11 0 418956205 898859008 36272 4294967295 134512640 134569956 3221224400 3221214016 1131652621 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 219448 36272 13073 16 0 219432 0
vsize: 877792
[startup+730.637 s]
Raw data (loadavg): 1.03 0.95 0.57 1/53 29363
Raw data (stat): 29297 (java) R 29296 29151 29150 0 -1 0 18163 0 1 0 70629 58 0 0 25 0 11 0 418956205 898859008 36272 4294967295 134512640 134569956 3221224400 3221214016 1131652621 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 219448 36272 13073 16 0 219432 0
vsize: 0

Child status: 30
Real time (s): 730.637
CPU time (s): 736.393
CPU user time (s): 735.408
CPU system time (s): 0.98485
CPU usage (%): 100.788
Max. virtual memory (Kb): 880520
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	0
#### END VERIFIER DATA ####