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:
  1. 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.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
  3. 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.
  4. 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

Namenormalized-opb/web/uclid_pb_benchmarks/normalized-dlx1c.rwmem.ucl.opb
MD5SUM385b9e348d05231081091c7e4294413e
Bench Categoryno optimization function (SAT)
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
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 33
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 126
Number of bits of the biggest sum of numbers7
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark2.54361
Number of variables9051
Total number of constraints25833
Number of constraints which are clauses24941
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints892
Minimum length of a constraint1
Maximum length of a constraint11

Trace number 4438 

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc12 THE 2005-04-13 17:22:04 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2592 boxname=wulflinc12 idbench=288 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  385b9e348d05231081091c7e4294413e  /oldhome/oroussel/tmp/wulflinc12/normalized-dlx1c.rwmem.ucl.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc12/normalized-dlx1c.rwmem.ucl.opb
IDLAUNCH: 2592
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.091
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.091
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:        932580 kB
Buffers:         34432 kB
Cached:          48240 kB
SwapCached:         16 kB
Active:          57488 kB
Inactive:        28032 kB
HighTotal:      131008 kB
HighFree:        78820 kB
LowTotal:       903652 kB
LowFree:        853760 kB
SwapTotal:     2097136 kB
SwapFree:      2097120 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6920 kB
Slab:            11124 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-13 17:33:00 (client local time) WITH STATUS 20 IN  SECONDS
stats: 2592 7  20
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc12/normalized-dlx1c.rwmem.ucl.opb
c reading problem 
c [nbvar=9051]
c [nbconstr=25833]
c time 42.403
c #vars     9051
c #clauses  25833
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 Total CPU time (ms) : 655.176
s UNSATISFIABLE
#### 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.86 0.97 0.95 2/54 26884
Raw data (stat): 26884 (runsolver) R 26883 25285 25284 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 419489339 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.0002 s]
Raw data (loadavg): 1.03 1.00 0.96 2/63 26893
Raw data (stat): 26884 (java) R 26883 25285 25284 0 -1 0 18026 0 1 0 804 46 0 0 25 0 10 0 419489339 855412736 20961 4294967295 134512640 134569956 3221224400 3221214480 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208841 20961 13073 16 0 208825 0
vsize: 835364
[startup+20.0009 s]
Raw data (loadavg): 1.03 1.00 0.96 2/63 26893
Raw data (stat): 26884 (java) R 26883 25285 25284 0 -1 0 18026 0 1 0 1668 47 0 0 24 0 10 0 419489339 855412736 21492 4294967295 134512640 134569956 3221224400 3221214488 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208841 21492 13073 16 0 208825 0
vsize: 835364
[startup+30.0017 s]
Raw data (loadavg): 1.02 1.00 0.96 2/63 26893
Raw data (stat): 26884 (java) R 26883 25285 25284 0 -1 0 18026 0 1 0 2530 47 0 0 18 0 10 0 419489339 855412736 22068 4294967295 134512640 134569956 3221224400 3221214772 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208841 22068 13073 16 0 208825 0
vsize: 835364
[startup+40.0057 s]
Raw data (loadavg): 1.02 1.00 0.96 2/63 26893
Raw data (stat): 26884 (java) R 26883 25285 25284 0 -1 0 18026 0 1 0 3394 48 0 0 17 0 10 0 419489339 855412736 22494 4294967295 134512640 134569956 3221224400 3221214780 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208841 22494 13073 16 0 208825 0
vsize: 835364
[startup+50.0064 s]
Raw data (loadavg): 1.17 1.03 0.97 2/64 26894
Raw data (stat): 26884 (java) R 26883 25285 25284 0 -1 0 18104 0 1 0 4252 48 0 0 25 0 11 0 419489339 859021312 23781 4294967295 134512640 134569956 3221224400 3221214832 1131380576 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209722 23781 13073 16 0 209706 0
vsize: 838888
[startup+60.0063 s]
Raw data (loadavg): 1.14 1.03 0.97 2/64 26894
Raw data (stat): 26884 (java) R 26883 25285 25284 0 -1 0 18105 0 1 0 5250 49 0 0 25 0 11 0 419489339 858923008 23759 4294967295 134512640 134569956 3221224400 3221214832 1131381062 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209698 23759 13073 16 0 209682 0
vsize: 838792
[startup+70.0073 s]
Raw data (loadavg): 1.12 1.03 0.97 2/64 26894
Raw data (stat): 26884 (java) R 26883 25285 25284 0 -1 0 18105 0 1 0 6228 49 0 0 25 0 11 0 419489339 858038272 23937 4294967295 134512640 134569956 3221224400 3221214680 1131204645 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209482 23937 13073 16 0 209466 0
vsize: 837928
[startup+80.0077 s]
Raw data (loadavg): 1.10 1.03 0.97 2/64 26894
Raw data (stat): 26884 (java) R 26883 25285 25284 0 -1 0 18105 0 1 0 7209 49 0 0 25 0 11 0 419489339 858038272 24050 4294967295 134512640 134569956 3221224400 3221214832 1131380576 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209482 24050 13073 16 0 209466 0
vsize: 837928
[startup+90.0076 s]
Raw data (loadavg): 1.08 1.03 0.97 2/64 26894
Raw data (stat): 26884 (java) R 26883 25285 25284 0 -1 0 18105 0 1 0 8189 49 0 0 25 0 11 0 419489339 858038272 24178 4294967295 134512640 134569956 3221224400 3221214728 1131392138 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209482 24178 13073 16 0 209466 0
vsize: 837928
[startup+100.008 s]
Raw data (loadavg): 1.07 1.03 0.97 2/64 26894
Raw data (stat): 26884 (java) R 26883 25285 25284 0 -1 0 18106 0 1 0 9168 49 0 0 25 0 11 0 419489339 858038272 24504 4294967295 134512640 134569956 3221224400 3221214832 1131381064 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209482 24504 13073 16 0 209466 0
vsize: 837928
[startup+110.008 s]
Raw data (loadavg): 1.06 1.02 0.97 2/64 26894
Raw data (stat): 26884 (java) R 26883 25285 25284 0 -1 0 18106 0 1 0 10167 49 0 0 25 0 11 0 419489339 858038272 24507 4294967295 134512640 134569956 3221224400 3221214832 1131380876 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209482 24507 13073 16 0 209466 0
vsize: 837928
[startup+120.009 s]
Raw data (loadavg): 1.05 1.02 0.97 2/64 26894
Raw data (stat): 26884 (java) R 26883 25285 25284 0 -1 0 18106 0 1 0 11151 49 0 0 25 0 11 0 419489339 858038272 24510 4294967295 134512640 134569956 3221224400 3221214728 1131393079 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209482 24510 13073 16 0 209466 0
vsize: 837928
[startup+130.01 s]
Raw data (loadavg): 1.04 1.02 0.97 2/64 26894
Raw data (stat): 26884 (java) R 26883 25285 25284 0 -1 0 18106 0 1 0 12133 49 0 0 25 0 11 0 419489339 858038272 24510 4294967295 134512640 134569956 3221224400 3221214832 1131381074 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209482 24510 13073 16 0 209466 0
vsize: 837928
[startup+140.01 s]
Raw data (loadavg): 1.04 1.02 0.97 2/64 26894
Raw data (stat): 26884 (java) R 26883 25285 25284 0 -1 0 18106 0 1 0 13115 50 0 0 25 0 11 0 419489339 858038272 24613 4294967295 134512640 134569956 3221224400 3221214728 1131392169 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209482 24613 13073 16 0 209466 0
vsize: 837928
[startup+150.011 s]
Raw data (loadavg): 1.03 1.02 0.97 2/64 26894
Raw data (stat): 26884 (java) R 26883 25285 25284 0 -1 0 18106 0 1 0 14115 50 0 0 25 0 11 0 419489339 858038272 24613 4294967295 134512640 134569956 3221224400 3221214832 1131380876 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209482 24613 13073 16 0 209466 0
vsize: 837928
[startup+160.011 s]
Raw data (loadavg): 1.02 1.02 0.97 2/64 26894
Raw data (stat): 26884 (java) R 26883 25285 25284 0 -1 0 18106 0 1 0 15099 50 0 0 25 0 11 0 419489339 858038272 24742 4294967295 134512640 134569956 3221224400 3221214832 1131380793 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209482 24742 13073 16 0 209466 0
vsize: 837928
[startup+170.011 s]
Raw data (loadavg): 1.02 1.02 0.97 2/64 26894
Raw data (stat): 26884 (java) R 26883 25285 25284 0 -1 0 18106 0 1 0 16082 50 0 0 25 0 11 0 419489339 858038272 24792 4294967295 134512640 134569956 3221224400 3221214832 1131381047 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209482 24792 13073 16 0 209466 0
vsize: 837928
[startup+180.012 s]
Raw data (loadavg): 1.02 1.02 0.97 3/64 26894
Raw data (stat): 26884 (java) R 26883 25285 25284 0 -1 0 18106 0 1 0 17081 50 0 0 25 0 11 0 419489339 858038272 24794 4294967295 134512640 134569956 3221224400 3221213600 1073952732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209482 24795 13073 16 0 209466 0
vsize: 837928
[startup+190.016 s]
Raw data (loadavg): 1.01 1.02 0.97 2/64 26894
Raw data (stat): 26884 (java) R 26883 25285 25284 0 -1 0 18106 0 1 0 18065 50 0 0 25 0 11 0 419489339 858038272 25044 4294967295 134512640 134569956 3221224400 3221214704 1131138841 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209482 25044 13073 16 0 209466 0
vsize: 837928
[startup+200.017 s]
Raw data (loadavg): 1.01 1.02 0.97 2/64 26894
Raw data (stat): 26884 (java) R 26883 25285 25284 0 -1 0 18106 0 1 0 19047 50 0 0 25 0 11 0 419489339 858038272 25247 4294967295 134512640 134569956 3221224400 3221214832 1131380876 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209482 25247 13073 16 0 209466 0
vsize: 837928
[startup+210.017 s]
Raw data (loadavg): 1.01 1.02 0.97 2/64 26894
Raw data (stat): 26884 (java) R 26883 25285 25284 0 -1 0 18106 0 1 0 20032 50 0 0 25 0 11 0 419489339 858038272 25247 4294967295 134512640 134569956 3221224400 3221214832 1131380572 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209482 25247 13073 16 0 209466 0
vsize: 837928
[startup+220.018 s]
Raw data (loadavg): 1.01 1.01 0.97 2/64 26894
Raw data (stat): 26884 (java) R 26883 25285 25284 0 -1 0 18106 0 1 0 21032 50 0 0 25 0 11 0 419489339 858038272 25247 4294967295 134512640 134569956 3221224400 3221214832 1131381062 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209482 25247 13073 16 0 209466 0
vsize: 837928
[startup+230.018 s]
Raw data (loadavg): 1.01 1.01 0.97 2/64 26894
Raw data (stat): 26884 (java) R 26883 25285 25284 0 -1 0 18106 0 1 0 22017 50 0 0 25 0 11 0 419489339 858038272 25308 4294967295 134512640 134569956 3221224400 3221214680 1131204823 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209482 25308 13073 16 0 209466 0
vsize: 837928
[startup+240.018 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 26894
Raw data (stat): 26884 (java) R 26883 25285 25284 0 -1 0 18106 0 1 0 23002 50 0 0 25 0 11 0 419489339 858038272 25496 4294967295 134512640 134569956 3221224400 3221214832 1131380576 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209482 25496 13073 16 0 209466 0
vsize: 837928
[startup+250.018 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 26894
Raw data (stat): 26884 (java) R 26883 25285 25284 0 -1 0 18106 0 1 0 23986 50 0 0 25 0 11 0 419489339 858038272 25568 4294967295 134512640 134569956 3221224400 3221214728 1131393032 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209482 25568 13073 16 0 209466 0
vsize: 837928
[startup+260.019 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 26894
Raw data (stat): 26884 (java) R 26883 25285 25284 0 -1 0 18106 0 1 0 24983 50 0 0 25 0 11 0 419489339 858038272 25569 4294967295 134512640 134569956 3221224400 3221214728 1131392178 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209482 25569 13073 16 0 209466 0
vsize: 837928
[startup+270.019 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 26894
Raw data (stat): 26884 (java) R 26883 25285 25284 0 -1 0 18106 0 1 0 25965 50 0 0 25 0 11 0 419489339 858038272 25782 4294967295 134512640 134569956 3221224400 3221214832 1131380770 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209482 25782 13073 16 0 209466 0
vsize: 837928
[startup+280.019 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 26894
Raw data (stat): 26884 (java) R 26883 25285 25284 0 -1 0 18106 0 1 0 26949 51 0 0 25 0 11 0 419489339 858038272 25900 4294967295 134512640 134569956 3221224400 3221214832 1131380576 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209482 25900 13073 16 0 209466 0
vsize: 837928
[startup+290.02 s]
Raw data (loadavg): 1.07 1.02 0.98 2/64 26894
Raw data (stat): 26884 (java) R 26883 25285 25284 0 -1 0 18106 0 1 0 27949 51 0 0 25 0 11 0 419489339 863281152 27230 4294967295 134512640 134569956 3221224400 3221214832 1131380588 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210762 27230 13073 16 0 210746 0
vsize: 843048
[startup+300.02 s]
Raw data (loadavg): 1.06 1.02 0.98 2/64 26894
Raw data (stat): 26884 (java) R 26883 25285 25284 0 -1 0 18106 0 1 0 28934 51 0 0 25 0 11 0 419489339 863281152 27407 4294967295 134512640 134569956 3221224400 3221214832 1131380888 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 27407 13073 16 0 210746 0
vsize: 843048
[startup+310.02 s]
Raw data (loadavg): 1.05 1.02 0.98 2/64 26894
Raw data (stat): 26884 (java) R 26883 25285 25284 0 -1 0 18106 0 1 0 29920 51 0 0 25 0 11 0 419489339 863281152 27551 4294967295 134512640 134569956 3221224400 3221214832 1131380783 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 27551 13073 16 0 210746 0
vsize: 843048
[startup+320.021 s]
Raw data (loadavg): 1.04 1.02 0.98 2/64 26894
Raw data (stat): 26884 (java) R 26883 25285 25284 0 -1 0 18106 0 1 0 30905 51 0 0 25 0 11 0 419489339 863281152 27551 4294967295 134512640 134569956 3221224400 3221214832 1131380895 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210762 27551 13073 16 0 210746 0
vsize: 843048
[startup+330.022 s]
Raw data (loadavg): 1.04 1.02 0.98 2/64 26894
Raw data (stat): 26884 (java) R 26883 25285 25284 0 -1 0 18106 0 1 0 31889 51 0 0 25 0 11 0 419489339 863281152 27730 4294967295 134512640 134569956 3221224400 3221214832 1131380783 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 27730 13073 16 0 210746 0
vsize: 843048
[startup+340.023 s]
Raw data (loadavg): 1.03 1.02 0.98 2/64 26894
Raw data (stat): 26884 (java) R 26883 25285 25284 0 -1 0 18106 0 1 0 32889 51 0 0 25 0 11 0 419489339 863281152 27730 4294967295 134512640 134569956 3221224400 3221214832 1131381047 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 27730 13073 16 0 210746 0
vsize: 843048
[startup+350.023 s]
Raw data (loadavg): 1.02 1.02 0.98 2/64 26894
Raw data (stat): 26884 (java) R 26883 25285 25284 0 -1 0 18106 0 1 0 33874 51 0 0 25 0 11 0 419489339 863281152 27886 4294967295 134512640 134569956 3221224400 3221214832 1131380576 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210762 27886 13073 16 0 210746 0
vsize: 843048
[startup+360.023 s]
Raw data (loadavg): 1.02 1.02 0.98 2/64 26894
Raw data (stat): 26884 (java) R 26883 25285 25284 0 -1 0 18106 0 1 0 34861 51 0 0 25 0 11 0 419489339 863281152 28026 4294967295 134512640 134569956 3221224400 3221214832 1131380594 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 28026 13073 16 0 210746 0
vsize: 843048
[startup+370.023 s]
Raw data (loadavg): 1.02 1.02 0.98 2/64 26894
Raw data (stat): 26884 (java) R 26883 25285 25284 0 -1 0 18106 0 1 0 35861 51 0 0 25 0 11 0 419489339 863281152 28026 4294967295 134512640 134569956 3221224400 3221214832 1131380576 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 28026 13073 16 0 210746 0
vsize: 843048
[startup+380.023 s]
Raw data (loadavg): 1.01 1.02 0.98 2/64 26894
Raw data (stat): 26884 (java) R 26883 25285 25284 0 -1 0 18106 0 1 0 36848 51 0 0 25 0 11 0 419489339 863281152 28147 4294967295 134512640 134569956 3221224400 3221214832 1131380900 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 28147 13073 16 0 210746 0
vsize: 843048
[startup+390.024 s]
Raw data (loadavg): 1.01 1.01 0.98 2/64 26894
Raw data (stat): 26884 (java) R 26883 25285 25284 0 -1 0 18106 0 1 0 37835 51 0 0 25 0 11 0 419489339 863281152 28192 4294967295 134512640 134569956 3221224400 3221214832 1131380576 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 28192 13073 16 0 210746 0
vsize: 843048
[startup+400.025 s]
Raw data (loadavg): 1.01 1.01 0.98 2/64 26894
Raw data (stat): 26884 (java) R 26883 25285 25284 0 -1 0 18106 0 1 0 38835 51 0 0 25 0 11 0 419489339 863281152 28192 4294967295 134512640 134569956 3221224400 3221214832 1131380884 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210762 28192 13073 16 0 210746 0
vsize: 843048
[startup+410.025 s]
Raw data (loadavg): 1.01 1.01 0.98 2/64 26894
Raw data (stat): 26884 (java) R 26883 25285 25284 0 -1 0 18106 0 1 0 39821 51 0 0 25 0 11 0 419489339 863281152 28381 4294967295 134512640 134569956 3221224400 3221214832 1131380580 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210762 28381 13073 16 0 210746 0
vsize: 843048
[startup+420.025 s]
Raw data (loadavg): 1.01 1.01 0.98 2/64 26894
Raw data (stat): 26884 (java) R 26883 25285 25284 0 -1 0 18106 0 1 0 40807 51 0 0 25 0 11 0 419489339 863281152 28557 4294967295 134512640 134569956 3221224400 3221214832 1131380572 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 28557 13073 16 0 210746 0
vsize: 843048
[startup+430.025 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 26894
Raw data (stat): 26884 (java) R 26883 25285 25284 0 -1 0 18106 0 1 0 41795 51 0 0 25 0 11 0 419489339 863281152 28557 4294967295 134512640 134569956 3221224400 3221214832 1131381060 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 28557 13073 16 0 210746 0
vsize: 843048
[startup+440.026 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 26894
Raw data (stat): 26884 (java) R 26883 25285 25284 0 -1 0 18106 0 1 0 42795 51 0 0 25 0 11 0 419489339 863281152 28557 4294967295 134512640 134569956 3221224400 3221214832 1131380583 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 28557 13073 16 0 210746 0
vsize: 843048
[startup+450.026 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 26894
Raw data (stat): 26884 (java) R 26883 25285 25284 0 -1 0 18106 0 1 0 43781 52 0 0 25 0 11 0 419489339 863281152 28709 4294967295 134512640 134569956 3221224400 3221214832 1131380787 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 28709 13073 16 0 210746 0
vsize: 843048
[startup+460.026 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 26894
Raw data (stat): 26884 (java) R 26883 25285 25284 0 -1 0 18106 0 1 0 44768 52 0 0 25 0 11 0 419489339 863281152 28808 4294967295 134512640 134569956 3221224400 3221214832 1131380576 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 28808 13073 16 0 210746 0
vsize: 843048
[startup+470.026 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 26894
Raw data (stat): 26884 (java) R 26883 25285 25284 0 -1 0 18106 0 1 0 45767 52 0 0 25 0 11 0 419489339 863281152 28808 4294967295 134512640 134569956 3221224400 3221214832 1131380576 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 28808 13073 16 0 210746 0
vsize: 843048
[startup+480.026 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 26894
Raw data (stat): 26884 (java) R 26883 25285 25284 0 -1 0 18106 0 1 0 46754 52 0 0 25 0 11 0 419489339 863281152 29018 4294967295 134512640 134569956 3221224400 3221214832 1131380783 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 29018 13073 16 0 210746 0
vsize: 843048
[startup+490.027 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26894
Raw data (stat): 26884 (java) R 26883 25285 25284 0 -1 0 18106 0 1 0 47743 52 0 0 25 0 11 0 419489339 863281152 29018 4294967295 134512640 134569956 3221224400 3221214832 1131380576 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 29018 13073 16 0 210746 0
vsize: 843048
[startup+500.028 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26894
Raw data (stat): 26884 (java) R 26883 25285 25284 0 -1 0 18106 0 1 0 48743 52 0 0 25 0 11 0 419489339 863281152 29018 4294967295 134512640 134569956 3221224400 3221214832 1131380672 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 29018 13073 16 0 210746 0
vsize: 843048
[startup+510.028 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26894
Raw data (stat): 26884 (java) R 26883 25285 25284 0 -1 0 18106 0 1 0 49730 52 0 0 25 0 11 0 419489339 863281152 29116 4294967295 134512640 134569956 3221224400 3221214776 1131354099 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 29116 13073 16 0 210746 0
vsize: 843048
[startup+520.028 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26894
Raw data (stat): 26884 (java) R 26883 25285 25284 0 -1 0 18106 0 1 0 50718 52 0 0 25 0 11 0 419489339 863281152 29227 4294967295 134512640 134569956 3221224400 3221214832 1131380892 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 29227 13073 16 0 210746 0
vsize: 843048
[startup+530.027 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26894
Raw data (stat): 26884 (java) R 26883 25285 25284 0 -1 0 18106 0 1 0 51718 52 0 0 25 0 11 0 419489339 863281152 29227 4294967295 134512640 134569956 3221224400 3221214832 1131380770 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 29227 13073 16 0 210746 0
vsize: 843048
[startup+540.028 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26894
Raw data (stat): 26884 (java) R 26883 25285 25284 0 -1 0 18106 0 1 0 52705 52 0 0 25 0 11 0 419489339 863281152 29392 4294967295 134512640 134569956 3221224400 3221214760 1131446906 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210762 29392 13073 16 0 210746 0
vsize: 843048
[startup+550.028 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26894
Raw data (stat): 26884 (java) R 26883 25285 25284 0 -1 0 18106 0 1 0 53693 52 0 0 25 0 11 0 419489339 863281152 29528 4294967295 134512640 134569956 3221224400 3221214832 1131381074 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 29528 13073 16 0 210746 0
vsize: 843048
[startup+560.028 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26894
Raw data (stat): 26884 (java) R 26883 25285 25284 0 -1 0 18106 0 1 0 54693 52 0 0 25 0 11 0 419489339 863281152 29528 4294967295 134512640 134569956 3221224400 3221214832 1131380884 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 29528 13073 16 0 210746 0
vsize: 843048
[startup+570.029 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26894
Raw data (stat): 26884 (java) R 26883 25285 25284 0 -1 0 18106 0 1 0 55681 52 0 0 25 0 11 0 419489339 863281152 29647 4294967295 134512640 134569956 3221224400 3221214776 1131356357 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 29647 13073 16 0 210746 0
vsize: 843048
[startup+580.029 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26894
Raw data (stat): 26884 (java) R 26883 25285 25284 0 -1 0 18106 0 1 0 56670 53 0 0 25 0 11 0 419489339 863281152 29796 4294967295 134512640 134569956 3221224400 3221214832 1131380880 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 29796 13073 16 0 210746 0
vsize: 843048
[startup+590.029 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26894
Raw data (stat): 26884 (java) R 26883 25285 25284 0 -1 0 18106 0 1 0 57671 53 0 0 25 0 11 0 419489339 863281152 29796 4294967295 134512640 134569956 3221224400 3221214832 1131380783 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210762 29796 13073 16 0 210746 0
vsize: 843048
[startup+600.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26894
Raw data (stat): 26884 (java) R 26883 25285 25284 0 -1 0 18106 0 1 0 58660 53 0 0 25 0 11 0 419489339 863281152 29796 4294967295 134512640 134569956 3221224400 3221214728 1131392174 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 29796 13073 16 0 210746 0
vsize: 843048
[startup+610.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26894
Raw data (stat): 26884 (java) R 26883 25285 25284 0 -1 0 18106 0 1 0 59650 53 0 0 25 0 11 0 419489339 863281152 29987 4294967295 134512640 134569956 3221224400 3221214832 1131380884 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 29987 13073 16 0 210746 0
vsize: 843048
[startup+620.031 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26894
Raw data (stat): 26884 (java) R 26883 25285 25284 0 -1 0 18106 0 1 0 60650 53 0 0 25 0 11 0 419489339 863281152 29987 4294967295 134512640 134569956 3221224400 3221214832 1131380576 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 29987 13073 16 0 210746 0
vsize: 843048
[startup+630.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26894
Raw data (stat): 26884 (java) R 26883 25285 25284 0 -1 0 18106 0 1 0 61641 53 0 0 25 0 11 0 419489339 863281152 30094 4294967295 134512640 134569956 3221224400 3221214832 1131380884 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 30094 13073 16 0 210746 0
vsize: 843048
[startup+640.032 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26894
Raw data (stat): 26884 (java) R 26883 25285 25284 0 -1 0 18106 0 1 0 62631 53 0 0 25 0 11 0 419489339 863281152 30241 4294967295 134512640 134569956 3221224400 3221214832 1131380876 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 30241 13073 16 0 210746 0
vsize: 843048
[startup+650.032 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 26894
Raw data (stat): 26884 (java) R 26883 25285 25284 0 -1 0 18106 0 1 0 63622 53 0 0 25 0 11 0 419489339 863281152 30241 4294967295 134512640 134569956 3221224400 3221214832 1131380588 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 30241 13073 16 0 210746 0
vsize: 843048
[startup+655.926 s]
Raw data (loadavg): 1.00 1.00 0.98 1/53 26895
Raw data (stat): 26884 (java) R 26883 25285 25284 0 -1 0 18106 0 1 0 63622 53 0 0 25 0 11 0 419489339 863281152 30241 4294967295 134512640 134569956 3221224400 3221214832 1131380588 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 30241 13073 16 0 210746 0
vsize: 0

Child status: 20
Real time (s): 655.926
CPU time (s): 669.506
CPU user time (s): 668.413
CPU system time (s): 1.09283
CPU usage (%): 102.07
Max. virtual memory (Kb): 843048
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####