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-fpga11_9_sat_pb.cnf.cr.opb
MD5SUM	489d094bb23422a6c4624d745553a200
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	12
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.050991
Number of variables	149
Total number of constraints	128
Number of constraints which are clauses	108
Number of constraints which are cardinality constraints (but not clauses)	20
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	5
Maximum length of a constraint	11
Trace number 4199

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc26 THE 2005-04-13 15:52:16 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=243 boxname=wulflinc26 idbench=27 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  489d094bb23422a6c4624d745553a200  /oldhome/oroussel/tmp/wulflinc26/normalized-fpga11_9_sat_pb.cnf.cr.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc26/normalized-fpga11_9_sat_pb.cnf.cr.opb
IDLAUNCH: 243
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.061
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.061
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        885880 kB
Buffers:         32168 kB
Cached:          76876 kB
SwapCached:       2476 kB
Active:          32060 kB
Inactive:        82336 kB
HighTotal:      131008 kB
HighFree:        50512 kB
LowTotal:       903652 kB
LowFree:        835368 kB
SwapTotal:     2097892 kB
SwapFree:      2095416 kB
Dirty:              16 kB
Writeback:           0 kB
Mapped:           6944 kB
Slab:            28872 kB
Committed_AS:    63616 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-13 16:04:49 (client local time) WITH STATUS 30 IN  SECONDS
stats: 243 0  30
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc26/normalized-fpga11_9_sat_pb.cnf.cr.opb
c reading problem 
c [nbvar=149]
c [nbconstr=128]
c time 3.04
c #vars     149
c #clauses  128
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) : 707.588
c 
s OPTIMUM FOUND
v -v30 -v130 -v131 v132 -v133 -v134 -v42 -v135 -v136 -v137 -v138 v139 -v26 -v112 -v113 v114 -v115 -v28 -v120 -v121 -v122 v123 -v124 -v5 v116 -v117 -v118 -v119 -v1 -v100 -v101 -v102 v103 -v12 -v58 -v108 v109 -v110 -v111 -v4 -v34 -v35 v36 -v37 -v38 -v39 -v40 -v41 -v43 -v44 -v73 v125 -v126 -v127 -v128 -v129 -v91 -v63 -v84 -v7 -v47 -v24 -v104 -v105 -v106 -v107 -v82 -v64 v92 -v14 -v56 -v18 -v99 -v145 v146 -v147 -v148 -v149 -v97 -v25 -v49 -v94 -v67 -v68 -v69 -v70 -v71 v72 -v74 -v75 -v76 -v77 v9 -v33 -v57 -v59 v60 -v61 -v62 -v65 -v66 -v80 -v20 -v54 -v140 -v141 -v142 -v143 -v144 -v15 -v89 -v90 -v93 -v95 -v96 -v98 -v31 -v51 -v79 -v53 -v2 -v3 -v6 -v8 -v10 -v11 v22 v29 -v46 -v88 -v27 -v87 -v13 v52 -v23 -v32 -v16 -v17 -v86 -v55 -v48 -v85 v78 -v83 -v19 -v21 -v45 -v50 -v81 
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.08 0.02 0.01 2/54 22656
Raw data (stat): 22656 (runsolver) R 22655 22612 22611 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477179731 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 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+10.0004 s]
Raw data (loadavg): 0.22 0.05 0.02 1/54 22656
Raw data (stat): 22656 (java) D 22655 22612 22611 0 -1 0 622 0 23 0 0 2 0 0 18 0 1 0 477179731 11960320 469 4294967295 134512640 134569956 3221224400 3221214892 1079113296 0 0 7 0 3222515881 0 0 17 1 0 0
Raw data (statm): 2920 469 1782 16 0 2904 0
vsize: 11680
[startup+20.4002 s]
Raw data (loadavg): 0.34 0.08 0.02 1/54 22656
Raw data (stat): 22656 (java) D 22655 22612 22611 0 -1 0 628 0 26 0 1 2 0 0 18 0 1 0 477179731 11960320 478 4294967295 134512640 134569956 3221224400 3221214892 1078837328 0 0 7 0 3222515881 0 0 17 1 0 0
Raw data (statm): 2920 478 1782 16 0 2904 0
vsize: 11680
[startup+30.4067 s]
Raw data (loadavg): 0.44 0.11 0.03 1/54 22656
Raw data (stat): 22656 (java) D 22655 22612 22611 0 -1 0 805 0 31 0 1 3 0 0 18 0 1 0 477179731 13967360 638 4294967295 134512640 134569956 3221224400 3221203212 1073810683 0 2147483391 7 7368 3225161850 0 0 17 1 0 0
Raw data (statm): 3410 638 1809 16 0 3394 0
vsize: 13640
[startup+41.2873 s]
Raw data (loadavg): 0.53 0.14 0.04 1/57 22659
Raw data (stat): 22656 (java) D 22655 22612 22611 0 -1 0 2592 0 66 0 34 9 0 0 18 0 4 0 477179731 846860288 2473 4294967295 134512640 134569956 3221224400 3221211996 1074836702 0 2147483391 7 23752 3225161850 0 0 17 1 0 0
Raw data (statm): 206753 2473 12757 16 0 206737 0
vsize: 827012
[startup+51.2881 s]
Raw data (loadavg): 0.76 0.20 0.06 4/64 22666
Raw data (stat): 22656 (java) R 22655 22612 22611 0 -1 0 8155 0 80 0 444 25 0 0 25 0 11 0 477179731 886706176 15958 4294967295 134512640 134569956 3221224400 3221214684 1130912395 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216481 15958 13073 16 0 216465 0
vsize: 865924
[startup+61.2955 s]
Raw data (loadavg): 1.10 0.29 0.10 4/64 22666
Raw data (stat): 22656 (java) R 22655 22612 22611 0 -1 0 17470 0 80 0 975 45 0 0 25 0 11 0 477179731 893075456 27226 4294967295 134512640 134569956 3221224400 3221214604 1130908242 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 218036 27226 13073 16 0 218020 0
vsize: 872144
[startup+71.2961 s]
Raw data (loadavg): 1.39 0.38 0.13 4/64 22666
Raw data (stat): 22656 (java) R 22655 22612 22611 0 -1 0 18105 0 80 0 1835 47 0 0 25 0 11 0 477179731 892649472 28545 4294967295 134512640 134569956 3221224400 3221214728 1131208503 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 217932 28545 13073 16 0 217916 0
vsize: 871728
[startup+81.2982 s]
Raw data (loadavg): 1.33 0.40 0.14 2/64 22666
Raw data (stat): 22656 (java) R 22655 22612 22611 0 -1 0 18105 0 80 0 2773 47 0 0 25 0 11 0 477179731 891600896 28941 4294967295 134512640 134569956 3221224400 3221214688 1131366555 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 217676 28941 13073 16 0 217660 0
vsize: 870704
[startup+91.2977 s]
Raw data (loadavg): 1.28 0.42 0.14 2/64 22666
Raw data (stat): 22656 (java) R 22655 22612 22611 0 -1 0 18105 0 80 0 3747 47 0 0 25 0 11 0 477179731 891600896 29267 4294967295 134512640 134569956 3221224400 3221214592 1085632310 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 217676 29267 13073 16 0 217660 0
vsize: 870704
[startup+101.298 s]
Raw data (loadavg): 1.24 0.44 0.15 2/64 22666
Raw data (stat): 22656 (java) R 22655 22612 22611 0 -1 0 18105 0 80 0 4718 47 0 0 25 0 11 0 477179731 891600896 29617 4294967295 134512640 134569956 3221224400 3221214352 1085632292 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 217676 29617 13073 16 0 217660 0
vsize: 870704
[startup+111.298 s]
Raw data (loadavg): 1.20 0.46 0.16 2/64 22666
Raw data (stat): 22656 (java) R 22655 22612 22611 0 -1 0 18106 0 80 0 5688 47 0 0 25 0 11 0 477179731 891600896 29783 4294967295 134512640 134569956 3221224400 3221214744 1131469902 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 217676 29783 13073 16 0 217660 0
vsize: 870704
[startup+121.299 s]
Raw data (loadavg): 1.17 0.47 0.17 2/64 22666
Raw data (stat): 22656 (java) R 22655 22612 22611 0 -1 0 18106 0 80 0 6658 47 0 0 25 0 11 0 477179731 891600896 29935 4294967295 134512640 134569956 3221224400 3221214744 1131468813 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 217676 29935 13073 16 0 217660 0
vsize: 870704
[startup+131.299 s]
Raw data (loadavg): 1.14 0.49 0.18 2/64 22666
Raw data (stat): 22656 (java) R 22655 22612 22611 0 -1 0 18106 0 80 0 7618 47 0 0 25 0 11 0 477179731 891600896 30077 4294967295 134512640 134569956 3221224400 3221214336 1131592407 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 217676 30077 13073 16 0 217660 0
vsize: 870704
[startup+141.299 s]
Raw data (loadavg): 1.12 0.51 0.19 2/64 22666
Raw data (stat): 22656 (java) R 22655 22612 22611 0 -1 0 18106 0 80 0 8568 47 0 0 25 0 11 0 477179731 891600896 30228 4294967295 134512640 134569956 3221224400 3221214640 1131171483 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 217676 30228 13073 16 0 217660 0
vsize: 870704
[startup+151.3 s]
Raw data (loadavg): 1.10 0.52 0.20 2/64 22666
Raw data (stat): 22656 (java) R 22655 22612 22611 0 -1 0 18106 0 80 0 9519 47 0 0 25 0 11 0 477179731 891600896 30360 4294967295 134512640 134569956 3221224400 3221214504 1085632301 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 217676 30360 13073 16 0 217660 0
vsize: 870704
[startup+161.299 s]
Raw data (loadavg): 1.09 0.54 0.20 2/64 22666
Raw data (stat): 22656 (java) R 22655 22612 22611 0 -1 0 18106 0 80 0 10481 47 0 0 25 0 11 0 477179731 891600896 30485 4294967295 134512640 134569956 3221224400 3221214704 1131736893 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 217676 30485 13073 16 0 217660 0
vsize: 870704
[startup+171.3 s]
Raw data (loadavg): 1.07 0.55 0.21 2/64 22666
Raw data (stat): 22656 (java) R 22655 22612 22611 0 -1 0 18106 0 80 0 11434 47 0 0 25 0 11 0 477179731 891600896 30600 4294967295 134512640 134569956 3221224400 3221214744 1131466068 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 217676 30600 13073 16 0 217660 0
vsize: 870704
[startup+181.301 s]
Raw data (loadavg): 1.06 0.57 0.22 2/64 22666
Raw data (stat): 22656 (java) R 22655 22612 22611 0 -1 0 18106 0 80 0 12386 47 0 0 25 0 11 0 477179731 891600896 30706 4294967295 134512640 134569956 3221224400 3221214088 1085679293 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 217676 30706 13073 16 0 217660 0
vsize: 870704
[startup+191.3 s]
Raw data (loadavg): 1.05 0.58 0.23 2/64 22666
Raw data (stat): 22656 (java) R 22655 22612 22611 0 -1 0 18106 0 80 0 13349 47 0 0 25 0 11 0 477179731 891600896 30863 4294967295 134512640 134569956 3221224400 3221214416 1131605280 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 217676 30863 13073 16 0 217660 0
vsize: 870704
[startup+201.301 s]
Raw data (loadavg): 1.04 0.59 0.23 2/64 22666
Raw data (stat): 22656 (java) R 22655 22612 22611 0 -1 0 18106 0 80 0 14323 47 0 0 25 0 11 0 477179731 891600896 30959 4294967295 134512640 134569956 3221224400 3221214584 1131950661 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 217676 30959 13073 16 0 217660 0
vsize: 870704
[startup+211.301 s]
Raw data (loadavg): 1.04 0.61 0.24 2/64 22666
Raw data (stat): 22656 (java) R 22655 22612 22611 0 -1 0 18106 0 80 0 15288 47 0 0 25 0 11 0 477179731 891600896 31066 4294967295 134512640 134569956 3221224400 3221214464 1131726872 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 217676 31066 13073 16 0 217660 0
vsize: 870704
[startup+221.301 s]
Raw data (loadavg): 1.03 0.62 0.25 2/64 22666
Raw data (stat): 22656 (java) R 22655 22612 22611 0 -1 0 18106 0 80 0 16260 47 0 0 25 0 11 0 477179731 891600896 31146 4294967295 134512640 134569956 3221224400 3221214744 1131467233 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 217676 31146 13073 16 0 217660 0
vsize: 870704
[startup+231.301 s]
Raw data (loadavg): 1.02 0.63 0.26 2/64 22666
Raw data (stat): 22656 (java) R 22655 22612 22611 0 -1 0 18106 0 80 0 17222 47 0 0 25 0 11 0 477179731 891600896 31255 4294967295 134512640 134569956 3221224400 3221214744 1131465723 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 217676 31255 13073 16 0 217660 0
vsize: 870704
[startup+241.301 s]
Raw data (loadavg): 1.02 0.64 0.27 2/64 22666
Raw data (stat): 22656 (java) R 22655 22612 22611 0 -1 0 18106 0 80 0 18183 47 0 0 25 0 11 0 477179731 891600896 31355 4294967295 134512640 134569956 3221224400 3221214640 1131171532 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 217676 31355 13073 16 0 217660 0
vsize: 870704
[startup+251.301 s]
Raw data (loadavg): 1.02 0.65 0.27 2/64 22666
Raw data (stat): 22656 (java) R 22655 22612 22611 0 -1 0 18106 0 80 0 19143 47 0 0 25 0 11 0 477179731 891600896 31461 4294967295 134512640 134569956 3221224400 3221214344 1131728036 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 217676 31461 13073 16 0 217660 0
vsize: 870704
[startup+261.301 s]
Raw data (loadavg): 1.01 0.66 0.28 2/64 22666
Raw data (stat): 22656 (java) R 22655 22612 22611 0 -1 0 18106 0 80 0 20113 47 0 0 25 0 11 0 477179731 891600896 31557 4294967295 134512640 134569956 3221224400 3221214608 1131339900 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 217676 31557 13073 16 0 217660 0
vsize: 870704
[startup+271.302 s]
Raw data (loadavg): 1.01 0.67 0.29 2/64 22666
Raw data (stat): 22656 (java) R 22655 22612 22611 0 -1 0 18106 0 80 0 21071 48 0 0 25 0 11 0 477179731 891600896 31670 4294967295 134512640 134569956 3221224400 3221214640 1131171859 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 217676 31670 13073 16 0 217660 0
vsize: 870704
[startup+281.302 s]
Raw data (loadavg): 1.01 0.68 0.29 2/64 22666
Raw data (stat): 22656 (java) R 22655 22612 22611 0 -1 0 18106 0 80 0 22030 48 0 0 25 0 11 0 477179731 891600896 31761 4294967295 134512640 134569956 3221224400 3221214680 1131708136 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 217676 31761 13073 16 0 217660 0
vsize: 870704
[startup+291.302 s]
Raw data (loadavg): 1.01 0.69 0.30 2/64 22666
Raw data (stat): 22656 (java) R 22655 22612 22611 0 -1 0 18106 0 80 0 22979 48 0 0 25 0 11 0 477179731 891600896 31888 4294967295 134512640 134569956 3221224400 3221214640 1131171486 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 217676 31888 13073 16 0 217660 0
vsize: 870704
[startup+301.303 s]
Raw data (loadavg): 1.01 0.70 0.31 2/64 22666
Raw data (stat): 22656 (java) R 22655 22612 22611 0 -1 0 18106 0 80 0 23949 48 0 0 25 0 11 0 477179731 891600896 31991 4294967295 134512640 134569956 3221224400 3221214696 1131736728 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 217676 31991 13073 16 0 217660 0
vsize: 870704
[startup+311.302 s]
Raw data (loadavg): 1.00 0.71 0.31 2/64 22666
Raw data (stat): 22656 (java) R 22655 22612 22611 0 -1 0 18106 0 80 0 24920 48 0 0 25 0 11 0 477179731 891600896 32099 4294967295 134512640 134569956 3221224400 3221214416 1131605329 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 217676 32099 13073 16 0 217660 0
vsize: 870704
[startup+321.303 s]
Raw data (loadavg): 1.00 0.72 0.32 2/64 22666
Raw data (stat): 22656 (java) R 22655 22612 22611 0 -1 0 18106 0 80 0 25893 48 0 0 25 0 11 0 477179731 891600896 32174 4294967295 134512640 134569956 3221224400 3221214640 1131171859 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 217676 32174 13073 16 0 217660 0
vsize: 870704
[startup+331.304 s]
Raw data (loadavg): 1.00 0.73 0.33 2/64 22666
Raw data (stat): 22656 (java) R 22655 22612 22611 0 -1 0 18106 0 80 0 26874 48 0 0 25 0 11 0 477179731 891600896 32226 4294967295 134512640 134569956 3221224400 3221214704 1131738916 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 217676 32226 13073 16 0 217660 0
vsize: 870704
[startup+341.303 s]
Raw data (loadavg): 1.00 0.74 0.33 2/64 22666
Raw data (stat): 22656 (java) R 22655 22612 22611 0 -1 0 18106 0 80 0 27847 48 0 0 25 0 11 0 477179731 891600896 32303 4294967295 134512640 134569956 3221224400 3221214744 1131468405 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 217676 32303 13073 16 0 217660 0
vsize: 870704
[startup+351.304 s]
Raw data (loadavg): 1.00 0.75 0.34 2/64 22666
Raw data (stat): 22656 (java) R 22655 22612 22611 0 -1 0 18106 0 80 0 28820 48 0 0 25 0 11 0 477179731 891600896 32407 4294967295 134512640 134569956 3221224400 3221214344 1131729044 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 217676 32407 13073 16 0 217660 0
vsize: 870704
[startup+361.304 s]
Raw data (loadavg): 1.00 0.76 0.35 2/64 22666
Raw data (stat): 22656 (java) R 22655 22612 22611 0 -1 0 18106 0 80 0 29786 48 0 0 25 0 11 0 477179731 891600896 32529 4294967295 134512640 134569956 3221224400 3221214220 1131605152 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 217676 32529 13073 16 0 217660 0
vsize: 870704
[startup+371.304 s]
Raw data (loadavg): 1.00 0.76 0.36 2/64 22666
Raw data (stat): 22656 (java) R 22655 22612 22611 0 -1 0 18106 0 80 0 30761 48 0 0 25 0 11 0 477179731 891600896 32612 4294967295 134512640 134569956 3221224400 3221214176 1131605329 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 217676 32612 13073 16 0 217660 0
vsize: 870704
[startup+381.304 s]
Raw data (loadavg): 1.00 0.77 0.36 2/64 22666
Raw data (stat): 22656 (java) R 22655 22612 22611 0 -1 0 18106 0 80 0 31728 48 0 0 25 0 11 0 477179731 891600896 32686 4294967295 134512640 134569956 3221224400 3221214464 1131735930 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 217676 32686 13073 16 0 217660 0
vsize: 870704
[startup+391.304 s]
Raw data (loadavg): 1.00 0.78 0.37 2/64 22666
Raw data (stat): 22656 (java) R 22655 22612 22611 0 -1 0 18106 0 80 0 32695 48 0 0 25 0 11 0 477179731 891600896 32765 4294967295 134512640 134569956 3221224400 3221214640 1131171859 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 217676 32765 13073 16 0 217660 0
vsize: 870704
[startup+401.304 s]
Raw data (loadavg): 1.00 0.78 0.37 2/64 22666
Raw data (stat): 22656 (java) R 22655 22612 22611 0 -1 0 18106 0 80 0 33655 48 0 0 25 0 11 0 477179731 891600896 32899 4294967295 134512640 134569956 3221224400 3221214640 1131171559 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 217676 32899 13073 16 0 217660 0
vsize: 870704
[startup+411.304 s]
Raw data (loadavg): 1.00 0.79 0.38 2/64 22666
Raw data (stat): 22656 (java) R 22655 22612 22611 0 -1 0 18106 0 80 0 34616 48 0 0 25 0 11 0 477179731 891600896 32999 4294967295 134512640 134569956 3221224400 3221214344 1131725704 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 217676 32999 13073 16 0 217660 0
vsize: 870704
[startup+421.305 s]
Raw data (loadavg): 1.00 0.80 0.39 2/64 22666
Raw data (stat): 22656 (java) R 22655 22612 22611 0 -1 0 18106 0 80 0 35570 48 0 0 25 0 11 0 477179731 891600896 33140 4294967295 134512640 134569956 3221224400 3221214344 1131726666 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 217676 33140 13073 16 0 217660 0
vsize: 870704
[startup+431.306 s]
Raw data (loadavg): 1.00 0.80 0.39 2/64 22666
Raw data (stat): 22656 (java) R 22655 22612 22611 0 -1 0 18106 0 80 0 36532 49 0 0 25 0 11 0 477179731 891600896 33252 4294967295 134512640 134569956 3221224400 3221214384 1085632310 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 217676 33252 13073 16 0 217660 0
vsize: 870704
[startup+441.305 s]
Raw data (loadavg): 1.00 0.81 0.40 2/64 22666
Raw data (stat): 22656 (java) R 22655 22612 22611 0 -1 0 18106 0 80 0 37489 49 0 0 25 0 11 0 477179731 891600896 33372 4294967295 134512640 134569956 3221224400 3221214464 1131740277 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 217676 33372 13073 16 0 217660 0
vsize: 870704
[startup+451.306 s]
Raw data (loadavg): 1.00 0.81 0.40 2/64 22666
Raw data (stat): 22656 (java) S 22655 22612 22611 0 -1 0 18106 0 80 0 38450 49 0 0 25 0 11 0 477179731 891600896 33473 4294967295 134512640 134569956 3221224400 3221213384 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 217676 33473 13073 16 0 217660 0
vsize: 870704
[startup+461.306 s]
Raw data (loadavg): 1.00 0.82 0.41 2/64 22666
Raw data (stat): 22656 (java) R 22655 22612 22611 0 -1 0 18106 0 80 0 39412 49 0 0 25 0 11 0 477179731 891600896 33584 4294967295 134512640 134569956 3221224400 3221214580 1131726885 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 217676 33584 13073 16 0 217660 0
vsize: 870704
[startup+471.337 s]
Raw data (loadavg): 1.08 0.84 0.42 3/68 22716
Raw data (stat): 22656 (java) R 22655 22612 22611 0 -1 0 18106 0 80 0 40370 54 0 0 25 0 11 0 477179731 891600896 33687 4294967295 134512640 134569956 3221224400 3221214744 1131469768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 217676 33687 13073 16 0 217660 0
vsize: 870704
[startup+481.338 s]
Raw data (loadavg): 1.07 0.85 0.43 2/64 22719
Raw data (stat): 22656 (java) R 22655 22612 22611 0 -1 0 18106 0 80 0 41330 54 0 0 25 0 11 0 477179731 891600896 33808 4294967295 134512640 134569956 3221224400 3221214640 1131171468 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 217676 33808 13073 16 0 217660 0
vsize: 870704
[startup+491.337 s]
Raw data (loadavg): 1.06 0.85 0.43 2/64 22719
Raw data (stat): 22656 (java) R 22655 22612 22611 0 -1 0 18106 0 80 0 42292 55 0 0 25 0 11 0 477179731 891600896 33905 4294967295 134512640 134569956 3221224400 3221214640 1131171486 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 217676 33905 13073 16 0 217660 0
vsize: 870704
[startup+501.338 s]
Raw data (loadavg): 1.05 0.86 0.44 2/64 22719
Raw data (stat): 22656 (java) R 22655 22612 22611 0 -1 0 18106 0 80 0 43255 55 0 0 25 0 11 0 477179731 891600896 34012 4294967295 134512640 134569956 3221224400 3221214448 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 217676 34012 13073 16 0 217660 0
vsize: 870704
[startup+511.339 s]
Raw data (loadavg): 1.04 0.86 0.44 2/64 22719
Raw data (stat): 22656 (java) R 22655 22612 22611 0 -1 0 18106 0 80 0 44219 55 0 0 25 0 11 0 477179731 891600896 34104 4294967295 134512640 134569956 3221224400 3221214640 1131171859 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 217676 34104 13073 16 0 217660 0
vsize: 870704
[startup+521.339 s]
Raw data (loadavg): 1.03 0.86 0.45 2/64 22719
Raw data (stat): 22656 (java) R 22655 22612 22611 0 -1 0 18106 0 80 0 45179 55 0 0 25 0 11 0 477179731 891600896 34208 4294967295 134512640 134569956 3221224400 3221214744 1131466109 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 217676 34208 13073 16 0 217660 0
vsize: 870704
[startup+531.339 s]
Raw data (loadavg): 1.03 0.87 0.46 2/64 22719
Raw data (stat): 22656 (java) R 22655 22612 22611 0 -1 0 18106 0 80 0 46150 56 0 0 25 0 11 0 477179731 891600896 34293 4294967295 134512640 134569956 3221224400 3221214328 1085679284 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 217676 34293 13073 16 0 217660 0
vsize: 870704
[startup+541.339 s]
Raw data (loadavg): 1.02 0.87 0.46 2/64 22721
Raw data (stat): 22656 (java) R 22655 22612 22611 0 -1 0 18106 0 80 0 47115 56 0 0 25 0 11 0 477179731 891600896 34393 4294967295 134512640 134569956 3221224400 3221214744 1131465875 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 217676 34393 13073 16 0 217660 0
vsize: 870704
[startup+551.34 s]
Raw data (loadavg): 1.02 0.88 0.47 2/64 22721
Raw data (stat): 22656 (java) R 22655 22612 22611 0 -1 0 18106 0 80 0 48085 57 0 0 25 0 11 0 477179731 891600896 34454 4294967295 134512640 134569956 3221224400 3221214744 1131468011 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 217676 34454 13073 16 0 217660 0
vsize: 870704
[startup+561.34 s]
Raw data (loadavg): 1.02 0.88 0.47 2/64 22721
Raw data (stat): 22656 (java) R 22655 22612 22611 0 -1 0 18106 0 80 0 49050 57 0 0 25 0 11 0 477179731 891600896 34538 4294967295 134512640 134569956 3221224400 3221214640 1131171859 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 217676 34538 13073 16 0 217660 0
vsize: 870704
[startup+571.341 s]
Raw data (loadavg): 1.01 0.88 0.48 2/64 22721
Raw data (stat): 22656 (java) R 22655 22612 22611 0 -1 0 18106 0 80 0 50014 57 0 0 25 0 11 0 477179731 891600896 34617 4294967295 134512640 134569956 3221224400 3221214720 1131208052 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 217676 34617 13073 16 0 217660 0
vsize: 870704
[startup+581.34 s]
Raw data (loadavg): 1.01 0.89 0.48 2/64 22721
Raw data (stat): 22656 (java) R 22655 22612 22611 0 -1 0 18106 0 80 0 50984 58 0 0 25 0 11 0 477179731 891600896 34696 4294967295 134512640 134569956 3221224400 3221214624 1085632310 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 217676 34696 13073 16 0 217660 0
vsize: 870704
[startup+591.34 s]
Raw data (loadavg): 1.01 0.89 0.49 2/64 22721
Raw data (stat): 22656 (java) R 22655 22612 22611 0 -1 0 18106 0 80 0 51959 58 0 0 25 0 11 0 477179731 891600896 34768 4294967295 134512640 134569956 3221224400 3221214216 1131725744 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 217676 34768 13073 16 0 217660 0
vsize: 870704
[startup+601.341 s]
Raw data (loadavg): 1.01 0.89 0.49 2/64 22721
Raw data (stat): 22656 (java) R 22655 22612 22611 0 -1 0 18106 0 80 0 52934 58 0 0 25 0 11 0 477179731 891600896 34834 4294967295 134512640 134569956 3221224400 3221214448 1085679452 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 217676 34834 13073 16 0 217660 0
vsize: 870704
[startup+611.341 s]
Raw data (loadavg): 1.00 0.90 0.50 2/64 22721
Raw data (stat): 22656 (java) R 22655 22612 22611 0 -1 0 18106 0 80 0 53904 58 0 0 25 0 11 0 477179731 891600896 34909 4294967295 134512640 134569956 3221224400 3221214640 1131172666 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 217676 34909 13073 16 0 217660 0
vsize: 870704
[startup+621.341 s]
Raw data (loadavg): 1.00 0.90 0.50 2/64 22721
Raw data (stat): 22656 (java) R 22655 22612 22611 0 -1 0 18106 0 80 0 54880 59 0 0 25 0 11 0 477179731 891600896 34974 4294967295 134512640 134569956 3221224400 3221214416 1131605335 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 217676 34974 13073 16 0 217660 0
vsize: 870704
[startup+631.342 s]
Raw data (loadavg): 1.00 0.90 0.50 2/64 22721
Raw data (stat): 22656 (java) R 22655 22612 22611 0 -1 0 18106 0 80 0 55846 59 0 0 25 0 11 0 477179731 891600896 35058 4294967295 134512640 134569956 3221224400 3221214744 1131466061 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 217676 35058 13073 16 0 217660 0
vsize: 870704
[startup+641.341 s]
Raw data (loadavg): 1.00 0.90 0.51 2/64 22721
Raw data (stat): 22656 (java) R 22655 22612 22611 0 -1 0 18106 0 80 0 56823 59 0 0 25 0 11 0 477179731 891600896 35111 4294967295 134512640 134569956 3221224400 3221214696 1131592405 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 217676 35111 13073 16 0 217660 0
vsize: 870704
[startup+651.341 s]
Raw data (loadavg): 1.00 0.91 0.51 2/64 22721
Raw data (stat): 22656 (java) R 22655 22612 22611 0 -1 0 18106 0 80 0 57811 60 0 0 25 0 11 0 477179731 891600896 35139 4294967295 134512640 134569956 3221224400 3221214704 1131729768 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 217676 35139 13073 16 0 217660 0
vsize: 870704
[startup+661.341 s]
Raw data (loadavg): 1.00 0.91 0.52 2/64 22721
Raw data (stat): 22656 (java) R 22655 22612 22611 0 -1 0 18106 0 80 0 58806 60 0 0 25 0 11 0 477179731 891600896 35153 4294967295 134512640 134569956 3221224400 3221214696 1131592405 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 217676 35153 13073 16 0 217660 0
vsize: 870704
[startup+671.342 s]
Raw data (loadavg): 1.00 0.91 0.52 2/64 22721
Raw data (stat): 22656 (java) R 22655 22612 22611 0 -1 0 18106 0 80 0 59794 60 0 0 25 0 11 0 477179731 891600896 35184 4294967295 134512640 134569956 3221224400 3221214704 1131726872 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 217676 35184 13073 16 0 217660 0
vsize: 870704
[startup+681.342 s]
Raw data (loadavg): 1.00 0.91 0.53 2/64 22721
Raw data (stat): 22656 (java) R 22655 22612 22611 0 -1 0 18106 0 80 0 60789 60 0 0 25 0 11 0 477179731 891600896 35200 4294967295 134512640 134569956 3221224400 3221214336 1131592405 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 217676 35200 13073 16 0 217660 0
vsize: 870704
[startup+691.342 s]
Raw data (loadavg): 1.00 0.92 0.53 2/64 22721
Raw data (stat): 22656 (java) R 22655 22612 22611 0 -1 0 18106 0 80 0 61777 61 0 0 25 0 11 0 477179731 891600896 35223 4294967295 134512640 134569956 3221224400 3221214328 1085679747 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 217676 35223 13073 16 0 217660 0
vsize: 870704
[startup+701.342 s]
Raw data (loadavg): 1.00 0.92 0.54 2/64 22721
Raw data (stat): 22656 (java) R 22655 22612 22611 0 -1 0 18106 0 80 0 62771 61 0 0 25 0 11 0 477179731 891600896 35236 4294967295 134512640 134569956 3221224400 3221214052 1131605323 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 217676 35236 13073 16 0 217660 0
vsize: 870704
[startup+711.342 s]
Raw data (loadavg): 1.00 0.92 0.54 2/64 22721
Raw data (stat): 22656 (java) R 22655 22612 22611 0 -1 0 18106 0 80 0 63764 61 0 0 25 0 11 0 477179731 891600896 35250 4294967295 134512640 134569956 3221224400 3221214584 1131728931 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 217676 35250 13073 16 0 217660 0
vsize: 870704
[startup+721.343 s]
Raw data (loadavg): 1.00 0.92 0.55 2/64 22721
Raw data (stat): 22656 (java) R 22655 22612 22611 0 -1 0 18106 0 80 0 64758 62 0 0 25 0 11 0 477179731 891600896 35265 4294967295 134512640 134569956 3221224400 3221214292 1131605323 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 217676 35265 13073 16 0 217660 0
vsize: 870704
[startup+731.343 s]
Raw data (loadavg): 1.00 0.92 0.55 2/64 22721
Raw data (stat): 22656 (java) R 22655 22612 22611 0 -1 0 18106 0 80 0 65746 62 0 0 25 0 11 0 477179731 891600896 35300 4294967295 134512640 134569956 3221224400 3221214640 1131171956 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 217676 35300 13073 16 0 217660 0
vsize: 870704
[startup+741.343 s]
Raw data (loadavg): 1.00 0.93 0.56 2/64 22721
Raw data (stat): 22656 (java) R 22655 22612 22611 0 -1 0 18106 0 80 0 66734 62 0 0 25 0 11 0 477179731 891600896 35318 4294967295 134512640 134569956 3221224400 3221214908 1130885132 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 217676 35318 13073 16 0 217660 0
vsize: 870704
[startup+750.393 s]
Raw data (loadavg): 1.00 0.93 0.56 1/53 22722
Raw data (stat): 22656 (java) R 22655 22612 22611 0 -1 0 18106 0 80 0 66734 62 0 0 25 0 11 0 477179731 891600896 35318 4294967295 134512640 134569956 3221224400 3221214908 1130885132 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 217676 35318 13073 16 0 217660 0
vsize: 0

Child status: 30
Real time (s): 750.393
CPU time (s): 732.961
CPU user time (s): 731.463
CPU system time (s): 1.49777
CPU usage (%): 97.677
Max. virtual memory (Kb): 872144
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	0
#### END VERIFIER DATA ####