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-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-stein27.opb
MD5SUM	5af5f5067167ce7c0b9b9169af5e7adf
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	18
Optimality of the best value was proved	NO
Number of terms in the objective function	27
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	27
Number of bits of the sum of numbers in the objective function	5
Biggest number in a constraint	13
Number of bits of the biggest number in a constraint	4
Biggest sum of numbers in a constraint	40
Number of bits of the biggest sum of numbers	6
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.02084
Number of variables	27
Total number of constraints	145
Number of constraints which are clauses	117
Number of constraints which are cardinality constraints (but not clauses)	28
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	27

Trace number 15475

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc7 THE 2005-04-21 04:49:14 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17325 boxname=wulflinc7 idbench=1333 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  5af5f5067167ce7c0b9b9169af5e7adf  /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-13-7-stein27.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-13-7-stein27.opb
IDLAUNCH: 17325
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
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:        772448 kB
Buffers:         21364 kB
Cached:         218672 kB
SwapCached:          4 kB
Active:          98604 kB
Inactive:       144272 kB
HighTotal:      131008 kB
HighFree:         1764 kB
LowTotal:       903652 kB
LowFree:        770684 kB
SwapTotal:     2097136 kB
SwapFree:      2097132 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6940 kB
Slab:            13724 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 04:56:20 (client local time) WITH STATUS 30 IN 430.514 SECONDS
stats: 17325 0 430.514 30
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-13-7-stein27.opb
c reading problem 
c [nbvar=27]
c [nbconstr=145]
c time 0.465
c #vars     27
c #clauses  118
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=19
c Current CPU time (ms) : 0.508
c starts	: 1
c conflicts	: 0
c decisions	: 8
c propagations	: 27
c inspects	: 103
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 1
c 
c CURRENT OPTIMUM=18
c Current CPU time (ms) : 0.703
c starts	: 2
c conflicts	: 4
c decisions	: 19
c propagations	: 69
c inspects	: 305
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 4
c root simplifications	: 2
c Total CPU time (ms) : 425.047
c 
s OPTIMUM FOUND
v -V0001_bit0 -V0002_bit0 -V0003_bit0 V0004_bit0 V0005_bit0 V0006_bit0 -V0007_bit0 V0008_bit0 V0009_bit0 -V0010_bit0 -V0011_bit0 V0012_bit0 -V0013_bit0 V0014_bit0 V0015_bit0 V0016_bit0 -V0017_bit0 V0018_bit0 V0019_bit0 V0020_bit0 V0021_bit0 V0022_bit0 V0023_bit0 V0024_bit0 V0025_bit0 -V0026_bit0 V0027_bit0 
c objectif function=18
#### 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.80 0.97 0.93 2/54 31733
Raw data (stat): 31733 (runsolver) R 31732 22932 22931 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 484109018 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.001 s]
Raw data (loadavg): 1.13 1.03 0.95 4/64 31745
Raw data (stat): 31733 (java) R 31732 22932 22931 0 -1 0 11812 3 1 0 559 25 0 0 25 0 11 0 484109018 875753472 16875 4294967295 134512640 134569956 3221224400 3221214484 1080019654 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213807 16875 13073 16 0 213791 0
vsize: 855228
[startup+20.021 s]
Raw data (loadavg): 1.26 1.06 0.96 3/64 31745
Raw data (stat): 31733 (java) R 31732 22932 22931 0 -1 0 18095 3 1 0 1286 39 0 0 25 0 11 0 484109018 886349824 26844 4294967295 134512640 134569956 3221224400 3221214564 1130920867 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216394 26844 13073 16 0 216378 0
vsize: 865576
[startup+30.0401 s]
Raw data (loadavg): 1.22 1.06 0.96 2/64 31745
Raw data (stat): 31733 (java) R 31732 22932 22931 0 -1 0 18095 3 1 0 2263 39 0 0 25 0 11 0 484109018 873029632 23825 4294967295 134512640 134569956 3221224400 3221214536 1131431913 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213142 23825 13073 16 0 213126 0
vsize: 852568
[startup+40.0406 s]
Raw data (loadavg): 1.18 1.06 0.96 2/64 31745
Raw data (stat): 31733 (java) R 31732 22932 22931 0 -1 0 18096 3 1 0 3241 40 0 0 25 0 11 0 484109018 873029632 24041 4294967295 134512640 134569956 3221224400 3221214780 1131472067 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213142 24041 13073 16 0 213126 0
vsize: 852568
[startup+50.0406 s]
Raw data (loadavg): 1.16 1.06 0.96 2/64 31745
Raw data (stat): 31733 (java) R 31732 22932 22931 0 -1 0 18096 3 1 0 4215 40 0 0 25 0 11 0 484109018 873029632 24230 4294967295 134512640 134569956 3221224400 3221214456 1085679293 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213142 24230 13073 16 0 213126 0
vsize: 852568
[startup+60.0419 s]
Raw data (loadavg): 1.13 1.05 0.96 2/64 31745
Raw data (stat): 31733 (java) R 31732 22932 22931 0 -1 0 18096 3 1 0 5186 40 0 0 25 0 11 0 484109018 873029632 24408 4294967295 134512640 134569956 3221224400 3221214628 1131431628 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213142 24408 13073 16 0 213126 0
vsize: 852568
[startup+70.0425 s]
Raw data (loadavg): 1.11 1.05 0.96 2/64 31745
Raw data (stat): 31733 (java) R 31732 22932 22931 0 -1 0 18096 3 1 0 6161 41 0 0 25 0 11 0 484109018 873029632 24558 4294967295 134512640 134569956 3221224400 3221214728 1131152626 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213142 24558 13073 16 0 213126 0
vsize: 852568
[startup+80.0425 s]
Raw data (loadavg): 1.09 1.05 0.96 2/64 31745
Raw data (stat): 31733 (java) R 31732 22932 22931 0 -1 0 18096 3 1 0 7135 41 0 0 25 0 11 0 484109018 873029632 24689 4294967295 134512640 134569956 3221224400 3221214544 1131433436 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213142 24689 13073 16 0 213126 0
vsize: 852568
[startup+90.0436 s]
Raw data (loadavg): 1.08 1.05 0.96 2/64 31745
Raw data (stat): 31733 (java) R 31732 22932 22931 0 -1 0 18096 3 1 0 8107 41 0 0 25 0 11 0 484109018 873029632 24800 4294967295 134512640 134569956 3221224400 3221214784 1131279068 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213142 24800 13073 16 0 213126 0
vsize: 852568
[startup+100.044 s]
Raw data (loadavg): 1.07 1.05 0.96 2/64 31745
Raw data (stat): 31733 (java) R 31732 22932 22931 0 -1 0 18096 3 1 0 9077 42 0 0 25 0 11 0 484109018 873029632 24992 4294967295 134512640 134569956 3221224400 3221214632 1131425308 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213142 24992 13073 16 0 213126 0
vsize: 852568
[startup+110.045 s]
Raw data (loadavg): 1.06 1.04 0.96 2/64 31745
Raw data (stat): 31733 (java) R 31732 22932 22931 0 -1 0 18096 3 1 0 10052 42 0 0 25 0 11 0 484109018 873029632 25111 4294967295 134512640 134569956 3221224400 3221214304 1131431880 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213142 25111 13073 16 0 213126 0
vsize: 852568
[startup+120.045 s]
Raw data (loadavg): 1.05 1.04 0.96 2/64 31745
Raw data (stat): 31733 (java) R 31732 22932 22931 0 -1 0 18096 3 1 0 11028 42 0 0 25 0 11 0 484109018 873029632 25193 4294967295 134512640 134569956 3221224400 3221214512 1131358040 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213142 25193 13073 16 0 213126 0
vsize: 852568
[startup+130.045 s]
Raw data (loadavg): 1.04 1.04 0.96 2/64 31745
Raw data (stat): 31733 (java) R 31732 22932 22931 0 -1 0 18096 3 1 0 12004 42 0 0 25 0 11 0 484109018 873029632 25270 4294967295 134512640 134569956 3221224400 3221214680 1131431880 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213142 25270 13073 16 0 213126 0
vsize: 852568
[startup+140.045 s]
Raw data (loadavg): 1.03 1.04 0.96 2/64 31745
Raw data (stat): 31733 (java) R 31732 22932 22931 0 -1 0 18096 3 1 0 12981 42 0 0 25 0 11 0 484109018 873029632 25333 4294967295 134512640 134569956 3221224400 3221213856 1131433549 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213142 25333 13073 16 0 213126 0
vsize: 852568
[startup+150.045 s]
Raw data (loadavg): 1.03 1.04 0.96 2/64 31745
Raw data (stat): 31733 (java) R 31732 22932 22931 0 -1 0 18096 3 1 0 13959 42 0 0 25 0 11 0 484109018 873029632 25399 4294967295 134512640 134569956 3221224400 3221214240 1131433468 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213142 25399 13073 16 0 213126 0
vsize: 852568
[startup+160.046 s]
Raw data (loadavg): 1.02 1.03 0.96 2/64 31745
Raw data (stat): 31733 (java) R 31732 22932 22931 0 -1 0 18096 3 1 0 14937 42 0 0 25 0 11 0 484109018 873029632 25464 4294967295 134512640 134569956 3221224400 3221214136 1131433436 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213142 25464 13073 16 0 213126 0
vsize: 852568
[startup+170.046 s]
Raw data (loadavg): 1.02 1.03 0.96 2/64 31745
Raw data (stat): 31733 (java) R 31732 22932 22931 0 -1 0 18096 3 1 0 15915 42 0 0 25 0 11 0 484109018 873029632 25536 4294967295 134512640 134569956 3221224400 3221214412 1131433488 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213142 25536 13073 16 0 213126 0
vsize: 852568
[startup+180.049 s]
Raw data (loadavg): 1.02 1.03 0.96 2/64 31745
Raw data (stat): 31733 (java) S 31732 22932 22931 0 -1 0 18096 3 1 0 16900 43 0 0 25 0 11 0 484109018 873029632 25586 4294967295 134512640 134569956 3221224400 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213142 25586 13073 16 0 213126 0
vsize: 852568
[startup+190.05 s]
Raw data (loadavg): 1.01 1.03 0.96 2/64 31745
Raw data (stat): 31733 (java) R 31732 22932 22931 0 -1 0 18096 3 1 0 17874 43 0 0 25 0 11 0 484109018 873029632 25661 4294967295 134512640 134569956 3221224400 3221214752 1131152590 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213142 25661 13073 16 0 213126 0
vsize: 852568
[startup+200.05 s]
Raw data (loadavg): 1.01 1.03 0.96 2/64 31745
Raw data (stat): 31733 (java) R 31732 22932 22931 0 -1 0 18096 3 1 0 18853 43 0 0 25 0 11 0 484109018 873029632 25713 4294967295 134512640 134569956 3221224400 3221214184 1131431667 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213142 25713 13073 16 0 213126 0
vsize: 852568
[startup+210.051 s]
Raw data (loadavg): 1.01 1.03 0.96 2/64 31745
Raw data (stat): 31733 (java) R 31732 22932 22931 0 -1 0 18097 3 1 0 19834 43 0 0 25 0 11 0 484109018 873029632 25766 4294967295 134512640 134569956 3221224400 3221214752 1131152607 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213142 25766 13073 16 0 213126 0
vsize: 852568
[startup+220.051 s]
Raw data (loadavg): 1.01 1.03 0.96 2/64 31745
Raw data (stat): 31733 (java) R 31732 22932 22931 0 -1 0 18097 3 1 0 20815 43 0 0 25 0 11 0 484109018 873029632 25827 4294967295 134512640 134569956 3221224400 3221214520 1131433436 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213142 25827 13073 16 0 213126 0
vsize: 852568
[startup+230.051 s]
Raw data (loadavg): 1.00 1.02 0.96 2/64 31745
Raw data (stat): 31733 (java) R 31732 22932 22931 0 -1 0 18097 3 1 0 21797 44 0 0 25 0 11 0 484109018 873029632 25883 4294967295 134512640 134569956 3221224400 3221213792 1131431868 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213142 25883 13073 16 0 213126 0
vsize: 852568
[startup+240.052 s]
Raw data (loadavg): 1.00 1.02 0.96 2/64 31745
Raw data (stat): 31733 (java) R 31732 22932 22931 0 -1 0 18097 3 1 0 22779 44 0 0 25 0 11 0 484109018 873029632 25925 4294967295 134512640 134569956 3221224400 3221214408 1131433482 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213142 25925 13073 16 0 213126 0
vsize: 852568
[startup+250.052 s]
Raw data (loadavg): 1.00 1.02 0.96 2/64 31745
Raw data (stat): 31733 (java) R 31732 22932 22931 0 -1 0 18097 3 1 0 23761 44 0 0 25 0 11 0 484109018 873029632 25967 4294967295 134512640 134569956 3221224400 3221214016 1131433495 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213142 25967 13073 16 0 213126 0
vsize: 852568
[startup+260.052 s]
Raw data (loadavg): 1.00 1.02 0.96 2/64 31745
Raw data (stat): 31733 (java) R 31732 22932 22931 0 -1 0 18097 3 1 0 24742 45 0 0 25 0 11 0 484109018 873029632 26010 4294967295 134512640 134569956 3221224400 3221214664 1131156321 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213142 26010 13073 16 0 213126 0
vsize: 852568
[startup+270.053 s]
Raw data (loadavg): 1.00 1.02 0.96 2/64 31745
Raw data (stat): 31733 (java) R 31732 22932 22931 0 -1 0 18097 3 1 0 25724 45 0 0 25 0 11 0 484109018 873029632 26058 4294967295 134512640 134569956 3221224400 3221214292 1131433488 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213142 26058 13073 16 0 213126 0
vsize: 852568
[startup+280.053 s]
Raw data (loadavg): 1.00 1.02 0.96 2/64 31745
Raw data (stat): 31733 (java) R 31732 22932 22931 0 -1 0 18097 3 1 0 26706 45 0 0 25 0 11 0 484109018 873029632 26105 4294967295 134512640 134569956 3221224400 3221214760 1131277235 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213142 26105 13073 16 0 213126 0
vsize: 852568
[startup+290.053 s]
Raw data (loadavg): 1.00 1.02 0.96 2/64 31745
Raw data (stat): 31733 (java) R 31732 22932 22931 0 -1 0 18097 3 1 0 27689 45 0 0 25 0 11 0 484109018 873029632 26147 4294967295 134512640 134569956 3221224400 3221214624 1131431721 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213142 26147 13073 16 0 213126 0
vsize: 852568
[startup+300.053 s]
Raw data (loadavg): 1.00 1.02 0.96 2/64 31745
Raw data (stat): 31733 (java) R 31732 22932 22931 0 -1 0 18097 3 1 0 28667 45 0 0 25 0 11 0 484109018 873029632 26202 4294967295 134512640 134569956 3221224400 3221214096 1085679325 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213142 26202 13073 16 0 213126 0
vsize: 852568
[startup+310.054 s]
Raw data (loadavg): 1.00 1.02 0.96 2/64 31745
Raw data (stat): 31733 (java) R 31732 22932 22931 0 -1 0 18097 3 1 0 29651 45 0 0 25 0 11 0 484109018 873029632 26243 4294967295 134512640 134569956 3221224400 3221214760 1131277195 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213142 26243 13073 16 0 213126 0
vsize: 852568
[startup+320.054 s]
Raw data (loadavg): 1.00 1.02 0.96 2/64 31745
Raw data (stat): 31733 (java) R 31732 22932 22931 0 -1 0 18097 3 1 0 30636 46 0 0 25 0 11 0 484109018 873029632 26283 4294967295 134512640 134569956 3221224400 3221214676 1131431851 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213142 26283 13073 16 0 213126 0
vsize: 852568
[startup+330.055 s]
Raw data (loadavg): 1.00 1.02 0.96 2/64 31745
Raw data (stat): 31733 (java) R 31732 22932 22931 0 -1 0 18097 3 1 0 31616 46 0 0 25 0 11 0 484109018 873029632 26324 4294967295 134512640 134569956 3221224400 3221214664 1131156184 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213142 26324 13073 16 0 213126 0
vsize: 852568
[startup+340.055 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 31745
Raw data (stat): 31733 (java) R 31732 22932 22931 0 -1 0 18097 3 1 0 32598 46 0 0 25 0 11 0 484109018 873029632 26373 4294967295 134512640 134569956 3221224400 3221214400 1131431826 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213142 26373 13073 16 0 213126 0
vsize: 852568
[startup+350.055 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 31745
Raw data (stat): 31733 (java) R 31732 22932 22931 0 -1 0 18097 3 1 0 33583 47 0 0 25 0 11 0 484109018 873029632 26412 4294967295 134512640 134569956 3221224400 3221214152 1085679446 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213142 26412 13073 16 0 213126 0
vsize: 852568
[startup+360.056 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 31745
Raw data (stat): 31733 (java) R 31732 22932 22931 0 -1 0 18097 3 1 0 34565 47 0 0 24 0 11 0 484109018 873029632 26451 4294967295 134512640 134569956 3221224400 3221214756 1131156167 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213142 26451 13073 16 0 213126 0
vsize: 852568
[startup+370.057 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 31745
Raw data (stat): 31733 (java) R 31732 22932 22931 0 -1 0 18097 3 1 0 35552 47 0 0 25 0 11 0 484109018 873029632 26479 4294967295 134512640 134569956 3221224400 3221214664 1131156321 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213142 26479 13073 16 0 213126 0
vsize: 852568
[startup+380.056 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 31745
Raw data (stat): 31733 (java) R 31732 22932 22931 0 -1 0 18097 3 1 0 36533 47 0 0 25 0 11 0 484109018 873029632 26508 4294967295 134512640 134569956 3221224400 3221214792 1131492873 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213142 26508 13073 16 0 213126 0
vsize: 852568
[startup+390.057 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 31745
Raw data (stat): 31733 (java) R 31732 22932 22931 0 -1 0 18097 3 1 0 37521 47 0 0 25 0 11 0 484109018 873029632 26529 4294967295 134512640 134569956 3221224400 3221214664 1131156321 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213142 26529 13073 16 0 213126 0
vsize: 852568
[startup+400.057 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 31745
Raw data (stat): 31733 (java) R 31732 22932 22931 0 -1 0 18097 3 1 0 38504 48 0 0 25 0 11 0 484109018 873029632 26562 4294967295 134512640 134569956 3221224400 3221214344 1131431855 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213142 26562 13073 16 0 213126 0
vsize: 852568
[startup+410.058 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 31745
Raw data (stat): 31733 (java) R 31732 22932 22931 0 -1 0 18097 3 1 0 39487 48 0 0 25 0 11 0 484109018 873029632 26587 4294967295 134512640 134569956 3221224400 3221214512 1131431868 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213142 26587 13073 16 0 213126 0
vsize: 852568
[startup+420.059 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 31745
Raw data (stat): 31733 (java) R 31732 22932 22931 0 -1 0 18097 3 1 0 40471 49 0 0 25 0 11 0 484109018 873029632 26616 4294967295 134512640 134569956 3221224400 3221214520 1131433452 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213142 26616 13073 16 0 213126 0
vsize: 852568
[startup+425.781 s]
Raw data (loadavg): 1.00 1.01 0.96 1/53 31746
Raw data (stat): 31733 (java) R 31732 22932 22931 0 -1 0 18097 3 1 0 40471 49 0 0 25 0 11 0 484109018 873029632 26616 4294967295 134512640 134569956 3221224400 3221214520 1131433452 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213142 26616 13073 16 0 213126 0
vsize: 0

Child status: 30
Real time (s): 425.781
CPU time (s): 430.514
CPU user time (s): 429.774
CPU system time (s): 0.739887
CPU usage (%): 101.112
Max. virtual memory (Kb): 865576
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	18
#### END VERIFIER DATA ####