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/miplib2003/normalized-mps-v2-13-7-mas76.opb
MD5SUM	66dc35c272851710d42f962f762f049c
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	2147483647
Optimality of the best value was proved	NO
Number of terms in the objective function	237
Biggest coefficient in the objective function	241785163922925834941235200000
Number of bits for the biggest coefficient in the objective function	98
Sum of the numbers in the objective function	483570327845851669882470400000
Number of bits of the sum of numbers in the objective function	99
Biggest number in a constraint	302231454903657293676544000000000
Number of bits of the biggest number in a constraint	108
Biggest sum of numbers in a constraint	604462909807314587353088000000000
Number of bits of the biggest sum of numbers	109
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1233.47
Number of variables	237
Total number of constraints	163
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	151
Number of constraints which are nor clauses,nor cardinality constraints	12
Minimum length of a constraint	1
Maximum length of a constraint	236
Trace number 29972

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc18 THE 2005-05-25 13:20:27 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21372 boxname=wulflinc18 idbench=1360 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  66dc35c272851710d42f962f762f049c  /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-13-7-mas76.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-13-7-mas76.opb
IDLAUNCH: 21372
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.177
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.177
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:        759104 kB
Buffers:         37068 kB
Cached:         210612 kB
SwapCached:        588 kB
Active:          62292 kB
Inactive:       190724 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        758852 kB
SwapTotal:     2097892 kB
SwapFree:      2096632 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5664 kB
Slab:            16844 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 13:40:50 (client local time) WITH STATUS 143 IN 1233.47 SECONDS
stats: 21372 0 1233.47 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre
c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
c version Special PB05 Second trial
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@1e4cbc4
c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c
c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c 
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-13-7-mas76.opb
c reading problem ... done. Time 1.648 ms.
c #vars     237
c #constraints  13
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=  219902325555200000 		Current CPU time: 1.88 ms
c CURRENT OPTIMUM=  109951162777600000 		Current CPU time: 2.03 ms
c CURRENT OPTIMUM=   54975581388800000 		Current CPU time: 2.12 ms
c CURRENT OPTIMUM=   27487790694400000 		Current CPU time: 2.21 ms
c CURRENT OPTIMUM=   13743895347200000 		Current CPU time: 2.26 ms
c CURRENT OPTIMUM=    6871947673600000 		Current CPU time: 2.36 ms
c CURRENT OPTIMUM=    3435973836800000 		Current CPU time: 2.42 ms
c CURRENT OPTIMUM=    1717986918400000 		Current CPU time: 2.56 ms
c CURRENT OPTIMUM=     858993459200000 		Current CPU time: 2.66 ms
c CURRENT OPTIMUM=     429496729600000 		Current CPU time: 2.73 ms
c CURRENT OPTIMUM=     214748364800000 		Current CPU time: 2.81 ms
c CURRENT OPTIMUM=     107374182400000 		Current CPU time: 2.86 ms
c CURRENT OPTIMUM=      53687091200000 		Current CPU time: 2.90 ms
c CURRENT OPTIMUM=      26843545600000 		Current CPU time: 3.00 ms
c CURRENT OPTIMUM=      13421772800000 		Current CPU time: 3.10 ms
c CURRENT OPTIMUM=       6710886400000 		Current CPU time: 3.24 ms
c CURRENT OPTIMUM=       3355443200000 		Current CPU time: 3.29 ms
c CURRENT OPTIMUM=       1677721600000 		Current CPU time: 3.39 ms
c CURRENT OPTIMUM=        838860800000 		Current CPU time: 3.44 ms
c CURRENT OPTIMUM=        419430400000 		Current CPU time: 3.49 ms
c CURRENT OPTIMUM=        209715200000 		Current CPU time: 3.54 ms
c CURRENT OPTIMUM=        104857600000 		Current CPU time: 3.59 ms
c CURRENT OPTIMUM=         78643200000 		Current CPU time: 3.78 ms
c CURRENT OPTIMUM=         65536000000 		Current CPU time: 4.07 ms
c CURRENT OPTIMUM=         63897600000 		Current CPU time: 4.36 ms
c CURRENT OPTIMUM=         63078400000 		Current CPU time: 4.69 ms
c CURRENT OPTIMUM=         62976000000 		Current CPU time: 4.91 ms
c CURRENT OPTIMUM=         62950400000 		Current CPU time: 5.17 ms
c CURRENT OPTIMUM=         62944000000 		Current CPU time: 5.49 ms
c CURRENT OPTIMUM=         62940800000 		Current CPU time: 5.82 ms
c CURRENT OPTIMUM=         62939200000 		Current CPU time: 6.18 ms
c CURRENT OPTIMUM=         62938400000 		Current CPU time: 6.43 ms
c CURRENT OPTIMUM=         62938000000 		Current CPU time: 6.76 ms
c CURRENT OPTIMUM=         62937900000 		Current CPU time: 7.07 ms
c CURRENT OPTIMUM=         62937850000 		Current CPU time: 7.27 ms
c CURRENT OPTIMUM=         62937846875 		Current CPU time: 7.49 ms
c CURRENT OPTIMUM=         26214396931 		Current CPU time: 10.78 ms
c CURRENT OPTIMUM=         26214393810 		Current CPU time: 11.16 ms
c CURRENT OPTIMUM=         26214390685 		Current CPU time: 11.48 ms
c CURRENT OPTIMUM=         26214387560 		Current CPU time: 11.64 ms
c CURRENT OPTIMUM=         26214384435 		Current CPU time: 11.92 ms
c CURRENT OPTIMUM=         26214381310 		Current CPU time: 12.11 ms
c CURRENT OPTIMUM=         26214378185 		Current CPU time: 12.33 ms
c CURRENT OPTIMUM=         26214375060 		Current CPU time: 12.61 ms
c CURRENT OPTIMUM=         26214371935 		Current CPU time: 12.92 ms
c CURRENT OPTIMUM=         26214368810 		Current CPU time: 13.23 ms
c CURRENT OPTIMUM=         26214365685 		Current CPU time: 13.61 ms
c CURRENT OPTIMUM=         26214362560 		Current CPU time: 13.98 ms
c CURRENT OPTIMUM=         26214359435 		Current CPU time: 14.42 ms
c CURRENT OPTIMUM=         26214356310 		Current CPU time: 14.86 ms
c CURRENT OPTIMUM=         26214353185 		Current CPU time: 15.35 ms
c CURRENT OPTIMUM=         26214350060 		Current CPU time: 15.87 ms
c CURRENT OPTIMUM=         26214196935 		Current CPU time: 16.44 ms
c CURRENT OPTIMUM=         26214193810 		Current CPU time: 17.04 ms
c CURRENT OPTIMUM=         26214190685 		Current CPU time: 17.67 ms
c CURRENT OPTIMUM=         26214187560 		Current CPU time: 18.29 ms
c CURRENT OPTIMUM=         26214184435 		Current CPU time: 18.99 ms
c CURRENT OPTIMUM=         26214181310 		Current CPU time: 19.70 ms
c CURRENT OPTIMUM=         26214178185 		Current CPU time: 20.44 ms
c CURRENT OPTIMUM=         26214175060 		Current CPU time: 21.20 ms
c CURRENT OPTIMUM=         26214171935 		Current CPU time: 22.02 ms
c CURRENT OPTIMUM=         26214168810 		Current CPU time: 22.85 ms
c CURRENT OPTIMUM=         26214165685 		Current CPU time: 23.72 ms
c CURRENT OPTIMUM=         26214162560 		Current CPU time: 24.60 ms
c CURRENT OPTIMUM=         26214159435 		Current CPU time: 25.52 ms
c CURRENT OPTIMUM=         26214156310 		Current CPU time: 26.46 ms
c CURRENT OPTIMUM=         26214153185 		Current CPU time: 27.43 ms
c CURRENT OPTIMUM=         26214150060 		Current CPU time: 28.41 ms
c CURRENT OPTIMUM=         26201596935 		Current CPU time: 29.50 ms
c CURRENT OPTIMUM=         26201593810 		Current CPU time: 30.65 ms
c CURRENT OPTIMUM=         26201590685 		Current CPU time: 31.79 ms
c CURRENT OPTIMUM=         26201587560 		Current CPU time: 32.93 ms
c CURRENT OPTIMUM=         26201584435 		Current CPU time: 34.17 ms
c CURRENT OPTIMUM=         26201581310 		Current CPU time: 35.38 ms
c CURRENT OPTIMUM=         26201578185 		Current CPU time: 36.64 ms
c CURRENT OPTIMUM=         26201575060 		Current CPU time: 37.86 ms
c CURRENT OPTIMUM=         26201571935 		Current CPU time: 39.19 ms
c CURRENT OPTIMUM=         26201568810 		Current CPU time: 40.49 ms
c CURRENT OPTIMUM=         26201565685 		Current CPU time: 41.85 ms
c CURRENT OPTIMUM=         26201562560 		Current CPU time: 43.19 ms
c CURRENT OPTIMUM=         26201559435 		Current CPU time: 44.59 ms
c CURRENT OPTIMUM=         26201556310 		Current CPU time: 46.00 ms
c CURRENT OPTIMUM=         26201553185 		Current CPU time: 47.43 ms
c CURRENT OPTIMUM=         26201550060 		Current CPU time: 48.85 ms
c CURRENT OPTIMUM=         26201396935 		Current CPU time: 50.42 ms
c CURRENT OPTIMUM=         26201393810 		Current CPU time: 51.98 ms
c CURRENT OPTIMUM=         26201390685 		Current CPU time: 53.57 ms
c CURRENT OPTIMUM=         26201387560 		Current CPU time: 55.15 ms
c CURRENT OPTIMUM=         26201384435 		Current CPU time: 56.81 ms
c CURRENT OPTIMUM=         26201381310 		Current CPU time: 58.45 ms
c CURRENT OPTIMUM=         26201378185 		Current CPU time: 60.12 ms
c CURRENT OPTIMUM=         26201375060 		Current CPU time: 61.78 ms
c CURRENT OPTIMUM=         26201371935 		Current CPU time: 63.55 ms
c CURRENT OPTIMUM=         26201368810 		Current CPU time: 65.31 ms
c CURRENT OPTIMUM=         26201365685 		Current CPU time: 67.10 ms
c CURRENT OPTIMUM=         26201362560 		Current CPU time: 68.89 ms
c CURRENT OPTIMUM=         26201359435 		Current CPU time: 70.73 ms
c CURRENT OPTIMUM=         26201356310 		Current CPU time: 72.56 ms
c CURRENT OPTIMUM=         26201353185 		Current CPU time: 74.42 ms
c CURRENT OPTIMUM=         26201350060 		Current CPU time: 76.26 ms
c CURRENT OPTIMUM=         26163196935 		Current CPU time: 78.37 ms
c CURRENT OPTIMUM=         26163193810 		Current CPU time: 80.47 ms
c CURRENT OPTIMUM=         26163190685 		Current CPU time: 82.60 ms
c CURRENT OPTIMUM=         26163187560 		Current CPU time: 84.71 ms
c CURRENT OPTIMUM=         26163184435 		Current CPU time: 86.89 ms
c CURRENT OPTIMUM=         26163181310 		Current CPU time: 89.07 ms
c CURRENT OPTIMUM=         26163178185 		Current CPU time: 91.27 ms
c CURRENT OPTIMUM=         26163175060 		Current CPU time: 93.44 ms
c CURRENT OPTIMUM=         26163171935 		Current CPU time: 95.76 ms
c CURRENT OPTIMUM=         26163168810 		Current CPU time: 98.05 ms
c CURRENT OPTIMUM=         26163165685 		Current CPU time: 100.37 ms
c CURRENT OPTIMUM=         26163162560 		Current CPU time: 102.65 ms
c CURRENT OPTIMUM=         26163159435 		Current CPU time: 105.03 ms
c CURRENT OPTIMUM=         26163156310 		Current CPU time: 107.38 ms
c CURRENT OPTIMUM=         26163153185 		Current CPU time: 109.76 ms
c CURRENT OPTIMUM=         26163150060 		Current CPU time: 112.10 ms
c CURRENT OPTIMUM=         26162996935 		Current CPU time: 114.67 ms
c CURRENT OPTIMUM=         26162993810 		Current CPU time: 117.21 ms
c CURRENT OPTIMUM=         26162990685 		Current CPU time: 119.77 ms
c CURRENT OPTIMUM=         26162987560 		Current CPU time: 122.30 ms
c CURRENT OPTIMUM=         26162984435 		Current CPU time: 124.94 ms
c CURRENT OPTIMUM=         26162981310 		Current CPU time: 127.52 ms
c CURRENT OPTIMUM=         26162978185 		Current CPU time: 130.14 ms
c CURRENT OPTIMUM=         26162975060 		Current CPU time: 132.71 ms
c CURRENT OPTIMUM=         26162971935 		Current CPU time: 135.46 ms
c CURRENT OPTIMUM=         26162968810 		Current CPU time: 138.18 ms
c CURRENT OPTIMUM=         26162965685 		Current CPU time: 140.91 ms
c CURRENT OPTIMUM=         26162962560 		Current CPU time: 143.60 ms
c CURRENT OPTIMUM=         26162959435 		Current CPU time: 146.41 ms
c CURRENT OPTIMUM=         26162956310 		Current CPU time: 149.17 ms
c CURRENT OPTIMUM=         26162953185 		Current CPU time: 151.97 ms
c CURRENT OPTIMUM=         26162950060 		Current CPU time: 154.71 ms
c CURRENT OPTIMUM=         26150396935 		Current CPU time: 157.79 ms
c CURRENT OPTIMUM=         26150393810 		Current CPU time: 160.82 ms
c CURRENT OPTIMUM=         26150390685 		Current CPU time: 163.90 ms
c CURRENT OPTIMUM=         26150387560 		Current CPU time: 166.93 ms
c CURRENT OPTIMUM=         26150384435 		Current CPU time: 170.06 ms
c CURRENT OPTIMUM=         26150381310 		Current CPU time: 173.15 ms
c CURRENT OPTIMUM=         26150378185 		Current CPU time: 176.25 ms
c CURRENT OPTIMUM=         26150375060 		Current CPU time: 179.31 ms
c CURRENT OPTIMUM=         26150371935 		Current CPU time: 182.56 ms
c CURRENT OPTIMUM=         26150368810 		Current CPU time: 185.75 ms
c CURRENT OPTIMUM=         26150365685 		Current CPU time: 188.96 ms
c CURRENT OPTIMUM=         26150362560 		Current CPU time: 192.13 ms
c CURRENT OPTIMUM=         26150359435 		Current CPU time: 195.41 ms
c CURRENT OPTIMUM=         26150356310 		Current CPU time: 198.63 ms
c CURRENT OPTIMUM=         26150353185 		Current CPU time: 201.87 ms
c CURRENT OPTIMUM=         26150350060 		Current CPU time: 205.06 ms
c CURRENT OPTIMUM=         26150196935 		Current CPU time: 208.55 ms
c CURRENT OPTIMUM=         26150193810 		Current CPU time: 211.99 ms
c CURRENT OPTIMUM=         26150190685 		Current CPU time: 215.45 ms
c CURRENT OPTIMUM=         26150187560 		Current CPU time: 218.84 ms
c CURRENT OPTIMUM=         26150184435 		Current CPU time: 222.35 ms
c CURRENT OPTIMUM=         26150181310 		Current CPU time: 225.80 ms
c CURRENT OPTIMUM=         26150178185 		Current CPU time: 229.29 ms
c CURRENT OPTIMUM=         26150175060 		Current CPU time: 232.70 ms
c CURRENT OPTIMUM=         26150171935 		Current CPU time: 236.33 ms
c CURRENT OPTIMUM=         26150168810 		Current CPU time: 239.89 ms
c CURRENT OPTIMUM=         26150165685 		Current CPU time: 243.49 ms
c CURRENT OPTIMUM=         26150162560 		Current CPU time: 247.01 ms
c CURRENT OPTIMUM=         26150159435 		Current CPU time: 250.67 ms
c CURRENT OPTIMUM=         26150156310 		Current CPU time: 254.25 ms
c CURRENT OPTIMUM=         26150153185 		Current CPU time: 257.84 ms
c CURRENT OPTIMUM=         26150150060 		Current CPU time: 261.37 ms
c CURRENT OPTIMUM=         26009596935 		Current CPU time: 265.55 ms
c CURRENT OPTIMUM=         26009593810 		Current CPU time: 269.66 ms
c CURRENT OPTIMUM=         26009590685 		Current CPU time: 273.80 ms
c CURRENT OPTIMUM=         26009587560 		Current CPU time: 277.87 ms
c CURRENT OPTIMUM=         26009584435 		Current CPU time: 282.07 ms
c CURRENT OPTIMUM=         26009581310 		Current CPU time: 286.19 ms
c CURRENT OPTIMUM=         26009578185 		Current CPU time: 290.35 ms
c CURRENT OPTIMUM=         26009575060 		Current CPU time: 294.42 ms
c CURRENT OPTIMUM=         26009571935 		Current CPU time: 298.75 ms
c CURRENT OPTIMUM=         26009568810 		Current CPU time: 303.01 ms
c CURRENT OPTIMUM=         26009565685 		Current CPU time: 307.30 ms
c CURRENT OPTIMUM=         26009562560 		Current CPU time: 311.51 ms
c CURRENT OPTIMUM=         26009559435 		Current CPU time: 315.86 ms
c CURRENT OPTIMUM=         26009556310 		Current CPU time: 320.13 ms
c CURRENT OPTIMUM=         26009553185 		Current CPU time: 324.43 ms
c CURRENT OPTIMUM=         26009550060 		Current CPU time: 328.64 ms
c CURRENT OPTIMUM=         26009396935 		Current CPU time: 333.23 ms
c CURRENT OPTIMUM=         26009393810 		Current CPU time: 337.74 ms
c CURRENT OPTIMUM=         26009390685 		Current CPU time: 342.28 ms
c CURRENT OPTIMUM=         26009387560 		Current CPU time: 346.73 ms
c CURRENT OPTIMUM=         26009384435 		Current CPU time: 351.32 ms
c CURRENT OPTIMUM=         26009381310 		Current CPU time: 355.83 ms
c CURRENT OPTIMUM=         26009378185 		Current CPU time: 360.37 ms
c CURRENT OPTIMUM=         26009375060 		Current CPU time: 364.81 ms
c CURRENT OPTIMUM=         26009371935 		Current CPU time: 369.54 ms
c CURRENT OPTIMUM=         26009368810 		Current CPU time: 374.16 ms
c CURRENT OPTIMUM=         26009365685 		Current CPU time: 378.82 ms
c CURRENT OPTIMUM=         26009362560 		Current CPU time: 383.37 ms
c CURRENT OPTIMUM=         26009359435 		Current CPU time: 388.09 ms
c CURRENT OPTIMUM=         26009356310 		Current CPU time: 392.71 ms
c CURRENT OPTIMUM=         26009353185 		Current CPU time: 397.35 ms
c CURRENT OPTIMUM=         26009350060 		Current CPU time: 401.90 ms
c CURRENT OPTIMUM=         25996796935 		Current CPU time: 406.99 ms
c CURRENT OPTIMUM=         25996793810 		Current CPU time: 411.99 ms
c CURRENT OPTIMUM=         25996790685 		Current CPU time: 417.02 ms
c CURRENT OPTIMUM=         25996787560 		Current CPU time: 421.94 ms
c CURRENT OPTIMUM=         25996784435 		Current CPU time: 427.04 ms
c CURRENT OPTIMUM=         25996781310 		Current CPU time: 432.02 ms
c CURRENT OPTIMUM=         25996778185 		Current CPU time: 437.04 ms
c CURRENT OPTIMUM=         25996775060 		Current CPU time: 441.95 ms
c CURRENT OPTIMUM=         25996771935 		Current CPU time: 447.16 ms
c CURRENT OPTIMUM=         25996768810 		Current CPU time: 452.27 ms
c CURRENT OPTIMUM=         25996765685 		Current CPU time: 457.41 ms
c CURRENT OPTIMUM=         25996762560 		Current CPU time: 462.43 ms
c CURRENT OPTIMUM=         25996759435 		Current CPU time: 467.63 ms
c CURRENT OPTIMUM=         25996756310 		Current CPU time: 472.71 ms
c CURRENT OPTIMUM=         25996753185 		Current CPU time: 477.82 ms
c CURRENT OPTIMUM=         25996750060 		Current CPU time: 482.82 ms
c CURRENT OPTIMUM=         25996596935 		Current CPU time: 488.29 ms
c CURRENT OPTIMUM=         25996593810 		Current CPU time: 493.65 ms
c CURRENT OPTIMUM=         25996590685 		Current CPU time: 499.04 ms
c CURRENT OPTIMUM=         25996587560 		Current CPU time: 504.31 ms
c CURRENT OPTIMUM=         25996584435 		Current CPU time: 509.75 ms
c CURRENT OPTIMUM=         25996581310 		Current CPU time: 515.07 ms
c CURRENT OPTIMUM=         25996578185 		Current CPU time: 520.41 ms
c CURRENT OPTIMUM=         25996575060 		Current CPU time: 525.63 ms
c CURRENT OPTIMUM=         25996571935 		Current CPU time: 531.17 ms
c CURRENT OPTIMUM=         25996568810 		Current CPU time: 536.61 ms
c CURRENT OPTIMUM=         25996565685 		Current CPU time: 542.07 ms
c CURRENT OPTIMUM=         25996562560 		Current CPU time: 547.40 ms
c CURRENT OPTIMUM=         25996559435 		Current CPU time: 552.93 ms
c CURRENT OPTIMUM=         25996556310 		Current CPU time: 558.32 ms
c CURRENT OPTIMUM=         25996553185 		Current CPU time: 563.78 ms
c CURRENT OPTIMUM=         25996550060 		Current CPU time: 569.09 ms
c CURRENT OPTIMUM=         25958396935 		Current CPU time: 575.24 ms
c CURRENT OPTIMUM=         25958393810 		Current CPU time: 581.25 ms
c CURRENT OPTIMUM=         25958390685 		Current CPU time: 587.31 ms
c CURRENT OPTIMUM=         25958387560 		Current CPU time: 593.22 ms
c CURRENT OPTIMUM=         25958384435 		Current CPU time: 599.32 ms
c CURRENT OPTIMUM=         25958381310 		Current CPU time: 605.29 ms
c CURRENT OPTIMUM=         25958378185 		Current CPU time: 611.28 ms
c CURRENT OPTIMUM=         25958375060 		Current CPU time: 617.12 ms
c CURRENT OPTIMUM=         25958371935 		Current CPU time: 623.33 ms
c CURRENT OPTIMUM=         25958368810 		Current CPU time: 629.41 ms
c CURRENT OPTIMUM=         25958365685 		Current CPU time: 635.50 ms
c CURRENT OPTIMUM=         25958362560 		Current CPU time: 641.47 ms
c CURRENT OPTIMUM=         25958359435 		Current CPU time: 647.63 ms
c CURRENT OPTIMUM=         25958356310 		Current CPU time: 653.64 ms
c CURRENT OPTIMUM=         25958353185 		Current CPU time: 659.68 ms
c CURRENT OPTIMUM=         25958350060 		Current CPU time: 665.58 ms
c CURRENT OPTIMUM=         25958196935 		Current CPU time: 672.04 ms
c CURRENT OPTIMUM=         25958193810 		Current CPU time: 678.35 ms
c CURRENT OPTIMUM=         25958190685 		Current CPU time: 684.68 ms
c CURRENT OPTIMUM=         25958187560 		Current CPU time: 690.82 ms
c CURRENT OPTIMUM=         25958184435 		Current CPU time: 697.15 ms
c CURRENT OPTIMUM=         25958181310 		Current CPU time: 703.34 ms
c CURRENT OPTIMUM=         25958178185 		Current CPU time: 709.56 ms
c CURRENT OPTIMUM=         25958175060 		Current CPU time: 715.63 ms
c CURRENT OPTIMUM=         25958171935 		Current CPU time: 722.09 ms
c CURRENT OPTIMUM=         25958168810 		Current CPU time: 728.40 ms
c CURRENT OPTIMUM=         25958165685 		Current CPU time: 734.74 ms
c CURRENT OPTIMUM=         25958162560 		Current CPU time: 740.91 ms
c CURRENT OPTIMUM=         25958159435 		Current CPU time: 747.31 ms
c CURRENT OPTIMUM=         25958156310 		Current CPU time: 753.55 ms
c CURRENT OPTIMUM=         25958153185 		Current CPU time: 759.82 ms
c CURRENT OPTIMUM=         25958150060 		Current CPU time: 765.92 ms
c CURRENT OPTIMUM=         25945596935 		Current CPU time: 772.80 ms
c CURRENT OPTIMUM=         25945593810 		Current CPU time: 779.52 ms
c CURRENT OPTIMUM=         25945590685 		Current CPU time: 786.26 ms
c CURRENT OPTIMUM=         25945587560 		Current CPU time: 792.86 ms
c CURRENT OPTIMUM=         25945584435 		Current CPU time: 799.67 ms
c CURRENT OPTIMUM=         25945581310 		Current CPU time: 806.31 ms
c CURRENT OPTIMUM=         25945578185 		Current CPU time: 812.99 ms
c CURRENT OPTIMUM=         25945575060 		Current CPU time: 819.50 ms
c CURRENT OPTIMUM=         25945571935 		Current CPU time: 826.43 ms
c CURRENT OPTIMUM=         25945568810 		Current CPU time: 833.20 ms
c CURRENT OPTIMUM=         25945565685 		Current CPU time: 839.99 ms
c CURRENT OPTIMUM=         25945562560 		Current CPU time: 846.62 ms
c CURRENT OPTIMUM=         25945559435 		Current CPU time: 853.47 ms
c CURRENT OPTIMUM=         25945556310 		Current CPU time: 860.15 ms
c CURRENT OPTIMUM=         25945553185 		Current CPU time: 866.86 ms
c CURRENT OPTIMUM=         25945550060 		Current CPU time: 873.39 ms
c CURRENT OPTIMUM=         25945396935 		Current CPU time: 880.56 ms
c CURRENT OPTIMUM=         25945393810 		Current CPU time: 887.56 ms
c CURRENT OPTIMUM=         25945390685 		Current CPU time: 894.58 ms
c CURRENT OPTIMUM=         25945387560 		Current CPU time: 901.43 ms
c CURRENT OPTIMUM=         25945384435 		Current CPU time: 908.52 ms
c CURRENT OPTIMUM=         25945381310 		Current CPU time: 915.43 ms
c CURRENT OPTIMUM=         25945378185 		Current CPU time: 922.36 ms
c CURRENT OPTIMUM=         25945375060 		Current CPU time: 929.11 ms
c CURRENT OPTIMUM=         25945371935 		Current CPU time: 936.31 ms
c CURRENT OPTIMUM=         25945368810 		Current CPU time: 943.33 ms
c CURRENT OPTIMUM=         25945365685 		Current CPU time: 950.38 ms
c CURRENT OPTIMUM=         25945362560 		Current CPU time: 957.23 ms
c CURRENT OPTIMUM=         25945359435 		Current CPU time: 964.34 ms
c CURRENT OPTIMUM=         25945356310 		Current CPU time: 971.26 ms
c CURRENT OPTIMUM=         25945353185 		Current CPU time: 978.20 ms
c CURRENT OPTIMUM=         25945350060 		Current CPU time: 984.96 ms
c CURRENT OPTIMUM=         25804796935 		Current CPU time: 993.24 ms
c CURRENT OPTIMUM=         25804793810 		Current CPU time: 1001.35 ms
c CURRENT OPTIMUM=         25804790685 		Current CPU time: 1009.48 ms
c CURRENT OPTIMUM=         25804787560 		Current CPU time: 1017.43 ms
c CURRENT OPTIMUM=         25804784435 		Current CPU time: 1025.63 ms
c CURRENT OPTIMUM=         25804781310 		Current CPU time: 1033.63 ms
c CURRENT OPTIMUM=         25804778185 		Current CPU time: 1041.67 ms
c CURRENT OPTIMUM=         25804775060 		Current CPU time: 1049.52 ms
c CURRENT OPTIMUM=         25804771935 		Current CPU time: 1057.83 ms
c CURRENT OPTIMUM=         25804768810 		Current CPU time: 1065.96 ms
c CURRENT OPTIMUM=         25804765685 		Current CPU time: 1074.12 ms
c CURRENT OPTIMUM=         25804762560 		Current CPU time: 1082.09 ms
c CURRENT OPTIMUM=         25804759435 		Current CPU time: 1090.31 ms
c CURRENT OPTIMUM=         25804756310 		Current CPU time: 1098.34 ms
c CURRENT OPTIMUM=         25804753185 		Current CPU time: 1106.39 ms
c CURRENT OPTIMUM=         25804750060 		Current CPU time: 1114.25 ms
c CURRENT OPTIMUM=         25804596935 		Current CPU time: 1122.82 ms
c CURRENT OPTIMUM=         25804593810 		Current CPU time: 1131.20 ms
c CURRENT OPTIMUM=         25804590685 		Current CPU time: 1139.60 ms
c CURRENT OPTIMUM=         25804587560 		Current CPU time: 1147.81 ms
c CURRENT OPTIMUM=         25804584435 		Current CPU time: 1156.27 ms
c CURRENT OPTIMUM=         25804581310 		Current CPU time: 1164.55 ms
c CURRENT OPTIMUM=         25804578185 		Current CPU time: 1172.84 ms
c CURRENT OPTIMUM=         25804575060 		Current CPU time: 1180.93 ms
c CURRENT OPTIMUM=         25804571935 		Current CPU time: 1189.51 ms
c CURRENT OPTIMUM=         25804568810 		Current CPU time: 1197.90 ms
c CURRENT OPTIMUM=         25804565685 		Current CPU time: 1206.31 ms
c CURRENT OPTIMUM=         25804562560 		Current CPU time: 1214.51 ms
c starts	: 321
c conflicts	: 6
c decisions	: 52961
c propagations	: 56287
c inspects	: 1384210
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 6
c root simplifications	: 322
s SATISFIABLE
v -x1_bit0 -x2_bit0 -x3_bit0 -x4_bit0 -x5_bit0 -x6_bit0 -x7_bit0 -x8_bit0 -x9_bit0 -x10_bit0 -x11_bit0 -x12_bit0 -x13_bit0 x14_bit0 -x15_bit0 -x16_bit0 -x17_bit0 -x18_bit0 x19_bit0 x20_bit0 -x21_bit0 -x22_bit0 -x23_bit0 -x24_bit0 -x25_bit0 -x26_bit0 -x27_bit0 -x28_bit0 -x29_bit0 -x30_bit0 -x31_bit0 -x32_bit0 -x33_bit0 -x34_bit0 -x35_bit0 -x36_bit0 -x37_bit0 -x38_bit0 -x39_bit0 -x40_bit0 -x41_bit0 -x42_bit0 x43_bit0 -x44_bit0 -x45_bit0 -x46_bit0 -x47_bit0 x48_bit0 -x49_bit0 -x50_bit0 -x51_bit0 -x52_bit0 x53_bit0 -x54_bit0 -x55_bit0 -x56_bit0 -x57_bit0 -x58_bit0 -x59_bit0 -x60_bit0 -x61_bit0 -x62_bit0 -x63_bit0 -x64_bit0 -x65_bit0 x66_bit0 -x67_bit0 -x68_bit0 -x69_bit0 -x70_bit0 -x71_bit0 -x72_bit0 -x73_bit0 -x74_bit0 -x75_bit0 -x76_bit0 -x77_bit0 -x78_bit0 -x79_bit0 -x80_bit0 -x81_bit0 -x82_bit0 -x83_bit0 x84_bit0 -x85_bit0 -x86_bit0 -x87_bit0 -x88_bit0 -x89_bit0 -x90_bit0 -x91_bit0 -x92_bit0 -x93_bit0 -x94_bit0 -x95_bit0 -x96_bit0 -x97_bit0 -x98_bit0 -x99_bit0 -x100_bit0 -x101_bit0 -x102_bit0 -x103_bit0 x104_bit0 -x105_bit0 -x106_bit0 -x107_bit0 -x108_bit0 -x109_bit0 -x110_bit0 -x111_bit0 -x112_bit0 -x113_bit0 -x114_bit0 x115_bit0 -x116_bit0 -x117_bit0 -x118_bit0 -x119_bit0 -x120_bit0 -x121_bit0 -x122_bit0 x123_bit0 -x124_bit0 -x125_bit0 -x126_bit0 -x127_bit0 -x128_bit0 -x129_bit0 -x130_bit0 -x131_bit0 -x132_bit0 x133_bit0 x134_bit0 -x135_bit0 -x136_bit0 -x137_bit0 -x138_bit0 -x139_bit0 -x140_bit0 -x141_bit0 -x142_bit0 -x143_bit0 -x144_bit0 -x145_bit0 -x146_bit0 -x147_bit0 x148_bit0 x149_bit0 -x150_bit0 -x151_bit_7 -x151_bit_6 x151_bit_5 -x151_bit_4 x151_bit_3 x151_bit_2 -x151_bit_1 x151_bit0 x151_bit1 x151_bit2 x151_bit3 x151_bit4 x151_bit5 x151_bit6 x151_bit7 x151_bit8 x151_bit9 -x151_bit10 x151_bit11 x151_bit12 x151_bit13 x151_bit14 x151_bit15 -x151_bit16 -x151_bit17 -x151_bit18 -x151_bit19 -x151_bit20 -x151_bit21 -x151_bit22 -x151_bit23 -x151_bit24 -x151_bit25 -x151_bit26 -x151_bit27 -x151_bit28 -x151_bit29 -x151_bit30 -x151_bit31 -x151_bit32 -x151_bit33 -x151_bit34 -x151_bit35 -x151_bit36 -x151_bit37 -x151_bit38 -x151_bit39 -x151_bit40 -x151_bit41 -x151_bit42 -x151_bit43 -x151_bit44 -x151_bit45 -x151_bit46 -x151_bit47 -x151_bit48 -x151_bit49 -x151_bit50 -x151_bit51 -x151_bit52 -x151_bit53 -x151_bit54 -x151_bit55 -x151_bit56 -x151_bit57 -x151_bit58 -x151_bit59 -x151_bit60 -x151_bit61 -x151_bit62 -x151_bit63 -x151_bit64 -x151_bit65 -x151_bit66 -x151_bit67 -x151_bit68 -x151_bit69 -x151_bit70 -x151_bit71 -x151_bit72 -x151_bit73 -x151_bit74 -x151_bit75 -x151_bit76 -x151_bit77 -x151_bit78 -x151_bit79 
c objectif function=25804562560
c Total CPU time (ms) : 1219.205
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.93 0.98 0.99 2/54 1805
Raw data (stat): 1805 (runsolver) R 1804 24172 24171 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 839178541 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 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.0017 s]
Raw data (loadavg): 1.24 1.05 1.02 4/64 1851
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18139 7 1 0 676 39 0 0 25 0 11 0 839178541 876679168 23748 4294967295 134512640 134569956 3221224368 3221214608 1131225187 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214033 23748 13086 16 0 214017 0
vsize: 856132
[startup+20.0021 s]
Raw data (loadavg): 1.21 1.05 1.01 2/64 1872
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18140 7 1 0 1524 40 1 0 25 0 11 0 839178541 873213952 23369 4294967295 134512640 134569956 3221224368 3221214608 1131224680 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213187 23369 13086 16 0 213171 0
vsize: 852748
[startup+30.0034 s]
Raw data (loadavg): 1.17 1.05 1.01 2/64 1883
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18140 7 1 0 2477 41 1 0 25 0 11 0 839178541 873213952 23485 4294967295 134512640 134569956 3221224368 3221214664 1131175936 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213187 23485 13086 16 0 213171 0
vsize: 852748
[startup+40.0043 s]
Raw data (loadavg): 1.15 1.04 1.01 2/64 1891
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18140 7 1 0 3435 41 1 1 25 0 11 0 839178541 873213952 23798 4294967295 134512640 134569956 3221224368 3221214512 1131182325 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213187 23798 13086 16 0 213171 0
vsize: 852748
[startup+50.0049 s]
Raw data (loadavg): 1.12 1.04 1.01 2/64 1899
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18140 7 1 0 4417 42 2 1 25 0 11 0 839178541 873213952 23875 4294967295 134512640 134569956 3221224368 3221214608 1131225294 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213187 23875 13086 16 0 213171 0
vsize: 852748
[startup+60.0058 s]
Raw data (loadavg): 1.10 1.04 1.01 2/64 1905
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18140 7 1 0 5401 42 2 1 25 0 11 0 839178541 873213952 23928 4294967295 134512640 134569956 3221224368 3221214704 1131236678 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213187 23928 13086 16 0 213171 0
vsize: 852748
[startup+70.0071 s]
Raw data (loadavg): 1.09 1.04 1.01 2/64 1911
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 6387 42 2 1 25 0 11 0 839178541 873213952 23958 4294967295 134512640 134569956 3221224368 3221214664 1131176085 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213187 23958 13086 16 0 213171 0
vsize: 852748
[startup+80.009 s]
Raw data (loadavg): 1.07 1.04 1.01 2/64 1916
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 7375 43 3 1 25 0 11 0 839178541 873213952 24028 4294967295 134512640 134569956 3221224368 3221214704 1131236096 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213187 24028 13086 16 0 213171 0
vsize: 852748
[startup+90.0095 s]
Raw data (loadavg): 1.06 1.03 1.01 2/64 1921
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 8365 43 3 1 25 0 11 0 839178541 873213952 24055 4294967295 134512640 134569956 3221224368 3221214624 1131300517 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213187 24055 13086 16 0 213171 0
vsize: 852748
[startup+100.01 s]
Raw data (loadavg): 1.05 1.03 1.01 2/64 1925
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 9355 43 3 1 25 0 11 0 839178541 873213952 24080 4294967295 134512640 134569956 3221224368 3221214608 1131225559 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213187 24080 13086 16 0 213171 0
vsize: 852748
[startup+110.012 s]
Raw data (loadavg): 1.04 1.03 1.01 2/64 1929
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 10346 43 3 1 25 0 11 0 839178541 873213952 24102 4294967295 134512640 134569956 3221224368 3221214608 1131225158 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213187 24102 13086 16 0 213171 0
vsize: 852748
[startup+120.012 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 1933
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 11337 43 3 1 25 0 11 0 839178541 873213952 24123 4294967295 134512640 134569956 3221224368 3221214704 1131236449 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213187 24123 13086 16 0 213171 0
vsize: 852748
[startup+130.014 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 1937
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 12328 43 4 1 25 0 11 0 839178541 873213952 24139 4294967295 134512640 134569956 3221224368 3221214608 1131225697 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213187 24139 13086 16 0 213171 0
vsize: 852748
[startup+140.015 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 1941
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 13320 44 4 1 25 0 11 0 839178541 873213952 24156 4294967295 134512640 134569956 3221224368 3221214664 1131175936 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213187 24156 13086 16 0 213171 0
vsize: 852748
[startup+150.015 s]
Raw data (loadavg): 1.09 1.04 1.01 2/64 1944
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 14310 44 4 2 25 0 11 0 839178541 873213952 24173 4294967295 134512640 134569956 3221224368 3221214664 1131175936 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213187 24173 13086 16 0 213171 0
vsize: 852748
[startup+160.017 s]
Raw data (loadavg): 1.08 1.04 1.01 2/64 1948
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 15298 44 4 2 25 0 11 0 839178541 873213952 24190 4294967295 134512640 134569956 3221224368 3221214608 1131225477 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213187 24190 13086 16 0 213171 0
vsize: 852748
[startup+170.017 s]
Raw data (loadavg): 1.07 1.04 1.01 2/64 1951
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 16285 44 4 2 25 0 11 0 839178541 873213952 24232 4294967295 134512640 134569956 3221224368 3221214568 1131044787 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213187 24232 13086 16 0 213171 0
vsize: 852748
[startup+180.018 s]
Raw data (loadavg): 1.06 1.04 1.00 2/64 1954
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 17273 45 4 2 25 0 11 0 839178541 873213952 24274 4294967295 134512640 134569956 3221224368 3221214608 1131225156 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213187 24274 13086 16 0 213171 0
vsize: 852748
[startup+190.019 s]
Raw data (loadavg): 1.05 1.03 1.00 2/64 1958
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 18263 45 4 2 25 0 11 0 839178541 873213952 24312 4294967295 134512640 134569956 3221224368 3221214608 1131224680 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213187 24312 13086 16 0 213171 0
vsize: 852748
[startup+200.019 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 1961
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 19254 45 5 2 25 0 11 0 839178541 873213952 24330 4294967295 134512640 134569956 3221224368 3221214704 1131235671 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213187 24330 13086 16 0 213171 0
vsize: 852748
[startup+210.024 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 1964
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 20246 46 5 2 25 0 11 0 839178541 873213952 24343 4294967295 134512640 134569956 3221224368 3221214608 1131225066 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213187 24343 13086 16 0 213171 0
vsize: 852748
[startup+220.029 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 1967
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 21238 46 5 2 25 0 11 0 839178541 873213952 24355 4294967295 134512640 134569956 3221224368 3221214608 1131225187 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213187 24355 13086 16 0 213171 0
vsize: 852748
[startup+230.029 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 1969
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 22230 46 5 2 25 0 11 0 839178541 873213952 24368 4294967295 134512640 134569956 3221224368 3221214664 1131175939 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213187 24368 13086 16 0 213171 0
vsize: 852748
[startup+240.033 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 1972
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 23222 46 5 2 25 0 11 0 839178541 873213952 24381 4294967295 134512640 134569956 3221224368 3221214700 1131225706 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213187 24381 13086 16 0 213171 0
vsize: 852748
[startup+250.034 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 1975
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 24213 47 5 2 25 0 11 0 839178541 873213952 24393 4294967295 134512640 134569956 3221224368 3221214664 1131175986 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213187 24393 13086 16 0 213171 0
vsize: 852748
[startup+260.035 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 1978
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 25205 47 5 2 25 0 11 0 839178541 873213952 24407 4294967295 134512640 134569956 3221224368 3221214608 1131224783 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213187 24407 13086 16 0 213171 0
vsize: 852748
[startup+270.035 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 1980
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 26197 47 5 2 25 0 11 0 839178541 873213952 24415 4294967295 134512640 134569956 3221224368 3221214608 1131225517 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213187 24415 13086 16 0 213171 0
vsize: 852748
[startup+280.037 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 1983
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 27189 48 5 2 25 0 11 0 839178541 863776768 22191 4294967295 134512640 134569956 3221224368 3221214608 1131225594 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210883 22191 13086 16 0 210867 0
vsize: 843532
[startup+290.037 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 1985
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 28181 48 5 2 25 0 11 0 839178541 863776768 22203 4294967295 134512640 134569956 3221224368 3221214664 1131175936 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210883 22203 13086 16 0 210867 0
vsize: 843532
[startup+300.037 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 1988
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 29174 48 5 2 25 0 11 0 839178541 863776768 22212 4294967295 134512640 134569956 3221224368 3221214608 1131225207 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210883 22212 13086 16 0 210867 0
vsize: 843532
[startup+310.038 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 1990
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 30166 48 5 2 25 0 11 0 839178541 863776768 22225 4294967295 134512640 134569956 3221224368 3221214608 1131225459 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210883 22225 13086 16 0 210867 0
vsize: 843532
[startup+320.039 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 1992
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 31159 48 5 2 25 0 11 0 839178541 863776768 22233 4294967295 134512640 134569956 3221224368 3221214704 1131236195 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210883 22233 13086 16 0 210867 0
vsize: 843532
[startup+330.04 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 1995
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 32151 48 6 2 25 0 11 0 839178541 863776768 22245 4294967295 134512640 134569956 3221224368 3221214608 1131225187 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210883 22245 13086 16 0 210867 0
vsize: 843532
[startup+340.041 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 1997
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 33144 49 6 2 25 0 11 0 839178541 863776768 22254 4294967295 134512640 134569956 3221224368 3221214608 1131225187 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210883 22254 13086 16 0 210867 0
vsize: 843532
[startup+350.041 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 1999
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 34136 49 6 2 25 0 11 0 839178541 863776768 22262 4294967295 134512640 134569956 3221224368 3221214664 1131175936 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210883 22262 13086 16 0 210867 0
vsize: 843532
[startup+360.043 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2001
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 35128 49 6 2 25 0 11 0 839178541 863776768 22275 4294967295 134512640 134569956 3221224368 3221214608 1131224682 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210883 22275 13086 16 0 210867 0
vsize: 843532
[startup+370.044 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2003
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 36121 49 6 2 25 0 11 0 839178541 863776768 22283 4294967295 134512640 134569956 3221224368 3221214608 1131225541 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210883 22283 13086 16 0 210867 0
vsize: 843532
[startup+380.044 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2006
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 37114 49 6 2 25 0 11 0 839178541 863776768 22292 4294967295 134512640 134569956 3221224368 3221214608 1131225187 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210883 22292 13086 16 0 210867 0
vsize: 843532
[startup+390.045 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2008
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 38106 50 6 2 25 0 11 0 839178541 863776768 22300 4294967295 134512640 134569956 3221224368 3221214608 1131224691 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210883 22300 13086 16 0 210867 0
vsize: 843532
[startup+400.046 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2010
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 39098 50 6 2 25 0 11 0 839178541 863776768 22308 4294967295 134512640 134569956 3221224368 3221214664 1131176082 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210883 22308 13086 16 0 210867 0
vsize: 843532
[startup+410.046 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2012
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 40091 50 6 2 25 0 11 0 839178541 863776768 22322 4294967295 134512640 134569956 3221224368 3221214704 1131235926 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210883 22322 13086 16 0 210867 0
vsize: 843532
[startup+420.046 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2014
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 41084 50 6 2 25 0 11 0 839178541 863776768 22330 4294967295 134512640 134569956 3221224368 3221214664 1131175960 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210883 22330 13086 16 0 210867 0
vsize: 843532
[startup+430.048 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2016
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 42076 50 6 2 25 0 11 0 839178541 863776768 22339 4294967295 134512640 134569956 3221224368 3221214608 1131224735 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210883 22339 13086 16 0 210867 0
vsize: 843532
[startup+440.049 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2018
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 43069 50 6 2 25 0 11 0 839178541 863776768 22347 4294967295 134512640 134569956 3221224368 3221214608 1131224680 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210883 22347 13086 16 0 210867 0
vsize: 843532
[startup+450.052 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2020
Raw data (stat): 1805 (java) S 1804 24172 24171 0 -1 0 18141 7 1 0 44061 50 6 2 25 0 11 0 839178541 863776768 22355 4294967295 134512640 134569956 3221224368 3221213312 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210883 22355 13086 16 0 210867 0
vsize: 843532
[startup+460.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2022
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 45054 50 7 2 25 0 11 0 839178541 863776768 22364 4294967295 134512640 134569956 3221224368 3221214664 1131175986 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210883 22364 13086 16 0 210867 0
vsize: 843532
[startup+470.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2024
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 46046 50 7 2 25 0 11 0 839178541 863776768 22372 4294967295 134512640 134569956 3221224368 3221214608 1131224669 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210883 22372 13086 16 0 210867 0
vsize: 843532
[startup+480.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2026
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 47039 51 7 2 25 0 11 0 839178541 863776768 22380 4294967295 134512640 134569956 3221224368 3221214608 1131225187 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210883 22380 13086 16 0 210867 0
vsize: 843532
[startup+490.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2028
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 48030 51 7 2 25 0 11 0 839178541 863776768 22389 4294967295 134512640 134569956 3221224368 3221214608 1131225158 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210883 22389 13086 16 0 210867 0
vsize: 843532
[startup+500.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2030
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 49021 51 7 2 25 0 11 0 839178541 863776768 22397 4294967295 134512640 134569956 3221224368 3221214664 1131175936 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210883 22397 13086 16 0 210867 0
vsize: 843532
[startup+510.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2031
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 50011 51 7 2 25 0 11 0 839178541 863776768 22464 4294967295 134512640 134569956 3221224368 3221214608 1131225318 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210883 22464 13086 16 0 210867 0
vsize: 843532
[startup+520.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2033
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 51003 52 7 2 25 0 11 0 839178541 863776768 22468 4294967295 134512640 134569956 3221224368 3221214664 1131175936 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210883 22468 13086 16 0 210867 0
vsize: 843532
[startup+530.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2035
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 51996 52 7 2 25 0 11 0 839178541 863776768 22477 4294967295 134512640 134569956 3221224368 3221214608 1131225139 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210883 22477 13086 16 0 210867 0
vsize: 843532
[startup+540.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2037
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 52989 52 7 2 25 0 11 0 839178541 863776768 22485 4294967295 134512640 134569956 3221224368 3221214608 1131225440 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210883 22485 13086 16 0 210867 0
vsize: 843532
[startup+550.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2039
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 53981 52 7 2 25 0 11 0 839178541 863776768 22494 4294967295 134512640 134569956 3221224368 3221214512 1131182308 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210883 22494 13086 16 0 210867 0
vsize: 843532
[startup+560.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2041
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 54971 53 7 2 25 0 11 0 839178541 863776768 22502 4294967295 134512640 134569956 3221224368 3221214664 1131175936 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210883 22502 13086 16 0 210867 0
vsize: 843532
[startup+570.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2043
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 55958 53 7 2 25 0 11 0 839178541 863776768 22511 4294967295 134512640 134569956 3221224368 3221214512 1131182331 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210883 22511 13086 16 0 210867 0
vsize: 843532
[startup+580.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2044
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 56945 53 7 2 25 0 11 0 839178541 863776768 22546 4294967295 134512640 134569956 3221224368 3221214608 1131224688 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210883 22546 13086 16 0 210867 0
vsize: 843532
[startup+590.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2046
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 57933 53 7 2 25 0 11 0 839178541 863776768 22572 4294967295 134512640 134569956 3221224368 3221214608 1131225149 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210883 22572 13086 16 0 210867 0
vsize: 843532
[startup+600.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2047
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 58920 54 7 2 25 0 11 0 839178541 863776768 22584 4294967295 134512640 134569956 3221224368 3221214512 1131183297 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210883 22584 13086 16 0 210867 0
vsize: 843532
[startup+610.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2049
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 59909 54 7 2 25 0 11 0 839178541 863776768 22637 4294967295 134512640 134569956 3221224368 3221214604 1131183312 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210883 22637 13086 16 0 210867 0
vsize: 843532
[startup+620.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2051
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 60901 54 7 2 25 0 11 0 839178541 863776768 22648 4294967295 134512640 134569956 3221224368 3221214608 1131225635 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210883 22648 13086 16 0 210867 0
vsize: 843532
[startup+630.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2052
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 61892 54 7 2 25 0 11 0 839178541 863776768 22656 4294967295 134512640 134569956 3221224368 3221214608 1131225491 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210883 22656 13086 16 0 210867 0
vsize: 843532
[startup+640.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2054
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 62884 55 7 2 25 0 11 0 839178541 863776768 22666 4294967295 134512640 134569956 3221224368 3221214664 1131175936 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210883 22666 13086 16 0 210867 0
vsize: 843532
[startup+650.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2056
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 63876 55 7 2 25 0 11 0 839178541 863776768 22674 4294967295 134512640 134569956 3221224368 3221214608 1131225241 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210883 22674 13086 16 0 210867 0
vsize: 843532
[startup+660.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2057
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 64869 55 7 3 25 0 11 0 839178541 863776768 22678 4294967295 134512640 134569956 3221224368 3221214664 1131176012 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210883 22678 13086 16 0 210867 0
vsize: 843532
[startup+670.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2059
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 65860 56 7 3 25 0 11 0 839178541 863776768 22687 4294967295 134512640 134569956 3221224368 3221214608 1131225350 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210883 22687 13086 16 0 210867 0
vsize: 843532
[startup+680.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2061
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 66853 56 7 3 25 0 11 0 839178541 863776768 22691 4294967295 134512640 134569956 3221224368 3221214608 1131224677 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210883 22691 13086 16 0 210867 0
vsize: 843532
[startup+690.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 67844 56 7 3 25 0 11 0 839178541 863776768 22699 4294967295 134512640 134569956 3221224368 3221214608 1131225187 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 22699 13086 16 0 210867 0
vsize: 843532
[startup+700.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2064
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 68835 56 7 3 25 0 11 0 839178541 863776768 22708 4294967295 134512640 134569956 3221224368 3221214608 1131225178 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 22708 13086 16 0 210867 0
vsize: 843532
[startup+710.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2065
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 69827 57 7 3 25 0 11 0 839178541 863776768 22712 4294967295 134512640 134569956 3221224368 3221214608 1131224707 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 22712 13086 16 0 210867 0
vsize: 843532
[startup+720.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2067
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 70818 57 7 3 25 0 11 0 839178541 863776768 22720 4294967295 134512640 134569956 3221224368 3221214608 1131225187 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 22720 13086 16 0 210867 0
vsize: 843532
[startup+730.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2069
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 71809 58 7 3 25 0 11 0 839178541 863776768 22729 4294967295 134512640 134569956 3221224368 3221214608 1131225559 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 22729 13086 16 0 210867 0
vsize: 843532
[startup+740.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2070
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 72800 58 7 3 25 0 11 0 839178541 863776768 22733 4294967295 134512640 134569956 3221224368 3221214608 1131225279 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 22733 13086 16 0 210867 0
vsize: 843532
[startup+750.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2072
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 73792 58 7 3 25 0 11 0 839178541 863776768 22741 4294967295 134512640 134569956 3221224368 3221214608 1131225187 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 22741 13086 16 0 210867 0
vsize: 843532
[startup+760.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2073
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 74782 58 7 3 25 0 11 0 839178541 863776768 22745 4294967295 134512640 134569956 3221224368 3221214608 1131225395 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 22745 13086 16 0 210867 0
vsize: 843532
[startup+770.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2075
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 75773 59 8 3 25 0 11 0 839178541 863776768 22754 4294967295 134512640 134569956 3221224368 3221214704 1131236153 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 22754 13086 16 0 210867 0
vsize: 843532
[startup+780.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2076
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 76765 59 8 3 25 0 11 0 839178541 863776768 22758 4294967295 134512640 134569956 3221224368 3221214608 1131225360 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 22758 13086 16 0 210867 0
vsize: 843532
[startup+790.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2078
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 77756 60 8 3 25 0 11 0 839178541 863776768 22766 4294967295 134512640 134569956 3221224368 3221214608 1131225308 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 22766 13086 16 0 210867 0
vsize: 843532
[startup+800.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2079
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 78747 61 8 3 25 0 11 0 839178541 863776768 22775 4294967295 134512640 134569956 3221224368 3221214608 1131225298 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 22775 13086 16 0 210867 0
vsize: 843532
[startup+810.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2081
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 79739 61 8 3 25 0 11 0 839178541 863776768 22779 4294967295 134512640 134569956 3221224368 3221214608 1131225082 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 22779 13086 16 0 210867 0
vsize: 843532
[startup+820.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2082
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 80731 61 8 3 25 0 11 0 839178541 863776768 22787 4294967295 134512640 134569956 3221224368 3221214704 1131235685 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 22787 13086 16 0 210867 0
vsize: 843532
[startup+830.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2084
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 81722 62 8 3 25 0 11 0 839178541 863776768 22791 4294967295 134512640 134569956 3221224368 3221214608 1131225252 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 22791 13086 16 0 210867 0
vsize: 843532
[startup+840.091 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2085
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 82715 62 8 3 25 0 11 0 839178541 863776768 22800 4294967295 134512640 134569956 3221224368 3221214608 1131225334 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 22800 13086 16 0 210867 0
vsize: 843532
[startup+850.092 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2087
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 83706 62 8 3 25 0 11 0 839178541 863776768 22804 4294967295 134512640 134569956 3221224368 3221214608 1131225298 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 22804 13086 16 0 210867 0
vsize: 843532
[startup+860.093 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2088
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 84697 63 8 3 25 0 11 0 839178541 863776768 22812 4294967295 134512640 134569956 3221224368 3221214608 1131225368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 22812 13086 16 0 210867 0
vsize: 843532
[startup+870.095 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2090
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 85688 64 8 3 25 0 11 0 839178541 863776768 22816 4294967295 134512640 134569956 3221224368 3221214664 1131175936 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 22816 13086 16 0 210867 0
vsize: 843532
[startup+880.095 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2091
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 86680 64 8 3 25 0 11 0 839178541 863776768 22821 4294967295 134512640 134569956 3221224368 3221214700 1131176143 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 22821 13086 16 0 210867 0
vsize: 843532
[startup+890.097 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2093
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 87671 64 8 3 25 0 11 0 839178541 863776768 22829 4294967295 134512640 134569956 3221224368 3221214608 1131225298 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 22829 13086 16 0 210867 0
vsize: 843532
[startup+900.097 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2094
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 88663 65 8 3 25 0 11 0 839178541 863776768 22838 4294967295 134512640 134569956 3221224368 3221214608 1131224871 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 22838 13086 16 0 210867 0
vsize: 843532
[startup+910.097 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2096
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 89654 65 8 3 25 0 11 0 839178541 863776768 22843 4294967295 134512640 134569956 3221224368 3221214664 1131175986 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 22843 13086 16 0 210867 0
vsize: 843532
[startup+920.099 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2097
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 90645 66 8 3 25 0 11 0 839178541 863776768 22847 4294967295 134512640 134569956 3221224368 3221214664 1131175936 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 22847 13086 16 0 210867 0
vsize: 843532
[startup+930.098 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2099
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 91636 66 8 3 25 0 11 0 839178541 863776768 22855 4294967295 134512640 134569956 3221224368 3221214704 1131236688 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 22855 13086 16 0 210867 0
vsize: 843532
[startup+940.099 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2100
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 92628 67 8 3 25 0 11 0 839178541 863776768 22859 4294967295 134512640 134569956 3221224368 3221214608 1131224682 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 22859 13086 16 0 210867 0
vsize: 843532
[startup+950.099 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2101
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 93618 67 8 3 25 0 11 0 839178541 863776768 22868 4294967295 134512640 134569956 3221224368 3221214608 1131224935 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 22868 13086 16 0 210867 0
vsize: 843532
[startup+960.101 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2103
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 94609 67 8 4 25 0 11 0 839178541 863776768 22872 4294967295 134512640 134569956 3221224368 3221214704 1131236164 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 22872 13086 16 0 210867 0
vsize: 843532
[startup+970.102 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2104
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 95600 68 8 4 25 0 11 0 839178541 863776768 22880 4294967295 134512640 134569956 3221224368 3221214608 1131225430 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 22880 13086 16 0 210867 0
vsize: 843532
[startup+980.102 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2106
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 96592 69 8 4 25 0 11 0 839178541 863776768 22884 4294967295 134512640 134569956 3221224368 3221214512 1131183297 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 22884 13086 16 0 210867 0
vsize: 843532
[startup+990.103 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2107
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 97582 69 8 4 25 0 11 0 839178541 863776768 22889 4294967295 134512640 134569956 3221224368 3221214608 1131225395 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 22889 13086 16 0 210867 0
vsize: 843532
[startup+1000.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2108
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 98574 70 8 4 25 0 11 0 839178541 863776768 22897 4294967295 134512640 134569956 3221224368 3221214608 1131225223 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 22897 13086 16 0 210867 0
vsize: 843532
[startup+1010.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2109
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 99566 70 8 4 25 0 11 0 839178541 863776768 22901 4294967295 134512640 134569956 3221224368 3221214608 1131224673 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 22901 13086 16 0 210867 0
vsize: 843532
[startup+1020.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2111
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 100557 70 8 4 25 0 11 0 839178541 863776768 22910 4294967295 134512640 134569956 3221224368 3221214664 1131175960 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 22910 13086 16 0 210867 0
vsize: 843532
[startup+1030.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2112
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 101548 71 8 4 25 0 11 0 839178541 863776768 22915 4294967295 134512640 134569956 3221224368 3221214608 1131225629 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 22915 13086 16 0 210867 0
vsize: 843532
[startup+1040.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2113
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 102540 71 8 4 25 0 11 0 839178541 863776768 22919 4294967295 134512640 134569956 3221224368 3221214608 1131225187 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 22919 13086 16 0 210867 0
vsize: 843532
[startup+1050.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2114
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 103530 72 9 4 25 0 11 0 839178541 863776768 22923 4294967295 134512640 134569956 3221224368 3221214608 1131224883 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 22923 13086 16 0 210867 0
vsize: 843532
[startup+1060.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2116
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 104521 72 9 4 25 0 11 0 839178541 863776768 22931 4294967295 134512640 134569956 3221224368 3221214664 1131175986 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 22931 13086 16 0 210867 0
vsize: 843532
[startup+1070.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2117
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 105513 73 9 4 25 0 11 0 839178541 863776768 22935 4294967295 134512640 134569956 3221224368 3221214704 1131236669 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 22935 13086 16 0 210867 0
vsize: 843532
[startup+1080.11 s]
Raw data (loadavg): 1.00 1.00 1.00 4/64 2118
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 106504 73 9 4 25 0 11 0 839178541 863776768 22940 4294967295 134512640 134569956 3221224368 3221214664 1131176080 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 22940 13086 16 0 210867 0
vsize: 843532
[startup+1090.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2119
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 107495 74 9 4 25 0 11 0 839178541 863776768 22944 4294967295 134512640 134569956 3221224368 3221214608 1131224669 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 22944 13086 16 0 210867 0
vsize: 843532
[startup+1100.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2121
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 108487 74 9 4 25 0 11 0 839178541 863776768 22948 4294967295 134512640 134569956 3221224368 3221214608 1131225187 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 22948 13086 16 0 210867 0
vsize: 843532
[startup+1110.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2122
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 109478 74 9 4 25 0 11 0 839178541 863776768 22956 4294967295 134512640 134569956 3221224368 3221214608 1131225372 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 22956 13086 16 0 210867 0
vsize: 843532
[startup+1120.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2123
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 110469 75 9 4 25 0 11 0 839178541 863776768 22961 4294967295 134512640 134569956 3221224368 3221214664 1131175957 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 22961 13086 16 0 210867 0
vsize: 843532
[startup+1130.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2124
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 111461 75 9 4 25 0 11 0 839178541 863776768 22965 4294967295 134512640 134569956 3221224368 3221214608 1131225207 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 22965 13086 16 0 210867 0
vsize: 843532
[startup+1140.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2125
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 112452 76 9 4 25 0 11 0 839178541 863776768 22969 4294967295 134512640 134569956 3221224368 3221214512 1131182329 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 22969 13086 16 0 210867 0
vsize: 843532
[startup+1150.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2127
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 113442 76 9 4 25 0 11 0 839178541 863776768 22977 4294967295 134512640 134569956 3221224368 3221214608 1131225072 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 22977 13086 16 0 210867 0
vsize: 843532
[startup+1160.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2128
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 114434 76 9 4 25 0 11 0 839178541 863776768 22981 4294967295 134512640 134569956 3221224368 3221214608 1131224669 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 22981 13086 16 0 210867 0
vsize: 843532
[startup+1170.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2129
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 115426 77 9 4 25 0 11 0 839178541 863776768 22986 4294967295 134512640 134569956 3221224368 3221214608 1131225368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 22986 13086 16 0 210867 0
vsize: 843532
[startup+1180.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2130
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 116417 77 9 4 25 0 11 0 839178541 863776768 22990 4294967295 134512640 134569956 3221224368 3221214608 1131225117 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 22990 13086 16 0 210867 0
vsize: 843532
[startup+1190.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2131
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 117408 78 9 4 25 0 11 0 839178541 863776768 22994 4294967295 134512640 134569956 3221224368 3221214704 1131236786 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 22994 13086 16 0 210867 0
vsize: 843532
[startup+1200.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2133
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 118400 78 9 4 25 0 11 0 839178541 863776768 23002 4294967295 134512640 134569956 3221224368 3221214608 1131225184 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 23002 13086 16 0 210867 0
vsize: 843532
[startup+1210.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2134
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 119391 79 9 4 25 0 11 0 839178541 863776768 23007 4294967295 134512640 134569956 3221224368 3221214664 1131176130 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 23007 13086 16 0 210867 0
vsize: 843532
[startup+1220.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2135
Raw data (stat): 1805 (java) R 1804 24172 24171 0 -1 0 18141 7 1 0 120383 79 9 4 25 0 11 0 839178541 863776768 23011 4294967295 134512640 134569956 3221224368 3221214704 1131236151 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 23011 13086 16 0 210867 0
vsize: 843532
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.2 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 2137
Raw data (stat): 1805 (java) Z 1804 24172 24171 0 -1 1036 18141 16446 1 0 120386 83 2817 59 25 0 1 0 839178541 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1220.2
CPU time (s): 1233.47
CPU user time (s): 1232.04
CPU system time (s): 1.43378
CPU usage (%): 101.088
Max. virtual memory (Kb): 856132
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	25804562560
#### END VERIFIER DATA ####