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/miplib3/normalized-mps-v2-13-7-mas74.opb
MD5SUM	9c7d72c45dbce1d941583a2319e4f34b
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	604462909807314587353088000000000
Number of bits of the biggest number in a constraint	109
Biggest sum of numbers in a constraint	1208925819614629174706176000000000
Number of bits of the biggest sum of numbers	110
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1217.59
Number of variables	237
Total number of constraints	164
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	13
Minimum length of a constraint	1
Maximum length of a constraint	236
Trace number 30035

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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:        782820 kB
Buffers:         34392 kB
Cached:         197896 kB
SwapCached:          0 kB
Active:          75540 kB
Inactive:       159344 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        782568 kB
SwapTotal:     2097136 kB
SwapFree:      2096800 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6572 kB
Slab:            11276 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 14:24:07 (client local time) WITH STATUS 143 IN 1217.59 SECONDS
stats: 21438 0 1217.59 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/wulflinc3/normalized-mps-v2-13-7-mas74.opb
c reading problem ... done. Time 1.175 ms.
c #vars     237
c #constraints  14
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=  219902325555200000 		Current CPU time: 1.32 ms
c CURRENT OPTIMUM=  109951162777600000 		Current CPU time: 1.71 ms
c CURRENT OPTIMUM=   54975581388800000 		Current CPU time: 2.02 ms
c CURRENT OPTIMUM=   27487790694400000 		Current CPU time: 2.24 ms
c CURRENT OPTIMUM=   13743895347200000 		Current CPU time: 2.73 ms
c CURRENT OPTIMUM=    6871947673600000 		Current CPU time: 2.85 ms
c CURRENT OPTIMUM=    3435973836800000 		Current CPU time: 2.99 ms
c CURRENT OPTIMUM=    1717986918400000 		Current CPU time: 3.10 ms
c CURRENT OPTIMUM=     858993459200000 		Current CPU time: 3.25 ms
c CURRENT OPTIMUM=     429496729600000 		Current CPU time: 3.75 ms
c CURRENT OPTIMUM=     214748364800000 		Current CPU time: 3.79 ms
c CURRENT OPTIMUM=     107374182400000 		Current CPU time: 3.82 ms
c CURRENT OPTIMUM=      53687091200000 		Current CPU time: 3.86 ms
c CURRENT OPTIMUM=      26843545600000 		Current CPU time: 3.94 ms
c CURRENT OPTIMUM=      13421772800000 		Current CPU time: 4.00 ms
c CURRENT OPTIMUM=       6710886400000 		Current CPU time: 4.13 ms
c CURRENT OPTIMUM=       3355443200000 		Current CPU time: 4.20 ms
c CURRENT OPTIMUM=       1677721600000 		Current CPU time: 4.31 ms
c CURRENT OPTIMUM=        838860800000 		Current CPU time: 4.47 ms
c CURRENT OPTIMUM=        419430400000 		Current CPU time: 4.53 ms
c CURRENT OPTIMUM=        209715200000 		Current CPU time: 4.56 ms
c CURRENT OPTIMUM=        104857600000 		Current CPU time: 4.59 ms
c CURRENT OPTIMUM=         78643200000 		Current CPU time: 4.73 ms
c CURRENT OPTIMUM=         65536000000 		Current CPU time: 4.93 ms
c CURRENT OPTIMUM=         63897600000 		Current CPU time: 5.08 ms
c CURRENT OPTIMUM=         63078400000 		Current CPU time: 5.26 ms
c CURRENT OPTIMUM=         62976000000 		Current CPU time: 5.50 ms
c CURRENT OPTIMUM=         62950400000 		Current CPU time: 5.67 ms
c CURRENT OPTIMUM=         62944000000 		Current CPU time: 5.86 ms
c CURRENT OPTIMUM=         62940800000 		Current CPU time: 6.04 ms
c CURRENT OPTIMUM=         62939200000 		Current CPU time: 6.20 ms
c CURRENT OPTIMUM=         62938400000 		Current CPU time: 6.37 ms
c CURRENT OPTIMUM=         62938000000 		Current CPU time: 6.54 ms
c CURRENT OPTIMUM=         62937900000 		Current CPU time: 6.76 ms
c CURRENT OPTIMUM=         62937850000 		Current CPU time: 6.95 ms
c CURRENT OPTIMUM=         62937846875 		Current CPU time: 7.17 ms
c CURRENT OPTIMUM=         26214396943 		Current CPU time: 9.05 ms
c CURRENT OPTIMUM=         26214396935 		Current CPU time: 9.22 ms
c CURRENT OPTIMUM=         26214393810 		Current CPU time: 9.34 ms
c CURRENT OPTIMUM=         26214390685 		Current CPU time: 9.48 ms
c CURRENT OPTIMUM=         26214387560 		Current CPU time: 9.62 ms
c CURRENT OPTIMUM=         26214384435 		Current CPU time: 9.80 ms
c CURRENT OPTIMUM=         26214381310 		Current CPU time: 10.01 ms
c CURRENT OPTIMUM=         26214378185 		Current CPU time: 10.29 ms
c CURRENT OPTIMUM=         26214375060 		Current CPU time: 10.56 ms
c CURRENT OPTIMUM=         26214371935 		Current CPU time: 10.87 ms
c CURRENT OPTIMUM=         26214368810 		Current CPU time: 11.24 ms
c CURRENT OPTIMUM=         26214365685 		Current CPU time: 11.61 ms
c CURRENT OPTIMUM=         26214362560 		Current CPU time: 12.03 ms
c CURRENT OPTIMUM=         26214359435 		Current CPU time: 12.47 ms
c CURRENT OPTIMUM=         26214356310 		Current CPU time: 12.96 ms
c CURRENT OPTIMUM=         26214353185 		Current CPU time: 13.45 ms
c CURRENT OPTIMUM=         26214350060 		Current CPU time: 13.99 ms
c CURRENT OPTIMUM=         26214196935 		Current CPU time: 14.61 ms
c CURRENT OPTIMUM=         26214193810 		Current CPU time: 15.22 ms
c CURRENT OPTIMUM=         26214190685 		Current CPU time: 15.87 ms
c CURRENT OPTIMUM=         26214187560 		Current CPU time: 16.55 ms
c CURRENT OPTIMUM=         26214184435 		Current CPU time: 17.27 ms
c CURRENT OPTIMUM=         26214181310 		Current CPU time: 18.01 ms
c CURRENT OPTIMUM=         26214178185 		Current CPU time: 18.78 ms
c CURRENT OPTIMUM=         26214175060 		Current CPU time: 19.53 ms
c CURRENT OPTIMUM=         26214171935 		Current CPU time: 20.37 ms
c CURRENT OPTIMUM=         26214168810 		Current CPU time: 21.23 ms
c CURRENT OPTIMUM=         26214165685 		Current CPU time: 22.12 ms
c CURRENT OPTIMUM=         26214162560 		Current CPU time: 23.06 ms
c CURRENT OPTIMUM=         26214159435 		Current CPU time: 24.01 ms
c CURRENT OPTIMUM=         26214156310 		Current CPU time: 24.97 ms
c CURRENT OPTIMUM=         26214153185 		Current CPU time: 25.97 ms
c CURRENT OPTIMUM=         26214150060 		Current CPU time: 26.96 ms
c CURRENT OPTIMUM=         26201596935 		Current CPU time: 28.09 ms
c CURRENT OPTIMUM=         26201593810 		Current CPU time: 29.26 ms
c CURRENT OPTIMUM=         26201590685 		Current CPU time: 30.42 ms
c CURRENT OPTIMUM=         26201587560 		Current CPU time: 31.63 ms
c CURRENT OPTIMUM=         26201584435 		Current CPU time: 32.85 ms
c CURRENT OPTIMUM=         26201581310 		Current CPU time: 34.09 ms
c CURRENT OPTIMUM=         26201578185 		Current CPU time: 35.35 ms
c CURRENT OPTIMUM=         26201575060 		Current CPU time: 36.58 ms
c CURRENT OPTIMUM=         26201571935 		Current CPU time: 37.93 ms
c CURRENT OPTIMUM=         26201568810 		Current CPU time: 39.28 ms
c CURRENT OPTIMUM=         26201565685 		Current CPU time: 40.64 ms
c CURRENT OPTIMUM=         26201562560 		Current CPU time: 42.01 ms
c CURRENT OPTIMUM=         26201559435 		Current CPU time: 43.44 ms
c CURRENT OPTIMUM=         26201556310 		Current CPU time: 44.85 ms
c CURRENT OPTIMUM=         26201553185 		Current CPU time: 46.30 ms
c CURRENT OPTIMUM=         26201550060 		Current CPU time: 47.75 ms
c CURRENT OPTIMUM=         26201396935 		Current CPU time: 49.34 ms
c CURRENT OPTIMUM=         26201393810 		Current CPU time: 50.93 ms
c CURRENT OPTIMUM=         26201390685 		Current CPU time: 52.54 ms
c CURRENT OPTIMUM=         26201387560 		Current CPU time: 54.15 ms
c CURRENT OPTIMUM=         26201384435 		Current CPU time: 55.82 ms
c CURRENT OPTIMUM=         26201381310 		Current CPU time: 57.48 ms
c CURRENT OPTIMUM=         26201378185 		Current CPU time: 59.18 ms
c CURRENT OPTIMUM=         26201375060 		Current CPU time: 60.85 ms
c CURRENT OPTIMUM=         26201371935 		Current CPU time: 62.65 ms
c CURRENT OPTIMUM=         26201368810 		Current CPU time: 64.43 ms
c CURRENT OPTIMUM=         26201365685 		Current CPU time: 66.24 ms
c CURRENT OPTIMUM=         26201362560 		Current CPU time: 68.03 ms
c CURRENT OPTIMUM=         26201359435 		Current CPU time: 69.91 ms
c CURRENT OPTIMUM=         26201356310 		Current CPU time: 71.76 ms
c CURRENT OPTIMUM=         26201353185 		Current CPU time: 73.63 ms
c CURRENT OPTIMUM=         26201350060 		Current CPU time: 75.49 ms
c CURRENT OPTIMUM=         26201346935 		Current CPU time: 77.53 ms
c CURRENT OPTIMUM=         26201343810 		Current CPU time: 79.54 ms
c CURRENT OPTIMUM=         26201340685 		Current CPU time: 81.59 ms
c CURRENT OPTIMUM=         26201337560 		Current CPU time: 83.61 ms
c CURRENT OPTIMUM=         26201334435 		Current CPU time: 85.72 ms
c CURRENT OPTIMUM=         26201331310 		Current CPU time: 87.79 ms
c CURRENT OPTIMUM=         26201328185 		Current CPU time: 89.90 ms
c CURRENT OPTIMUM=         26201325060 		Current CPU time: 91.97 ms
c CURRENT OPTIMUM=         26201321935 		Current CPU time: 94.20 ms
c CURRENT OPTIMUM=         26201318810 		Current CPU time: 96.39 ms
c CURRENT OPTIMUM=         26201315685 		Current CPU time: 98.62 ms
c CURRENT OPTIMUM=         26201312560 		Current CPU time: 100.80 ms
c CURRENT OPTIMUM=         26201309435 		Current CPU time: 103.09 ms
c CURRENT OPTIMUM=         26201306310 		Current CPU time: 105.34 ms
c CURRENT OPTIMUM=         26201303185 		Current CPU time: 107.61 ms
c CURRENT OPTIMUM=         26201300060 		Current CPU time: 109.84 ms
c CURRENT OPTIMUM=         26201296935 		Current CPU time: 112.37 ms
c CURRENT OPTIMUM=         26201293810 		Current CPU time: 114.86 ms
c CURRENT OPTIMUM=         26201290685 		Current CPU time: 117.38 ms
c CURRENT OPTIMUM=         26201287560 		Current CPU time: 119.86 ms
c CURRENT OPTIMUM=         26201284435 		Current CPU time: 122.45 ms
c CURRENT OPTIMUM=         26201281310 		Current CPU time: 124.99 ms
c CURRENT OPTIMUM=         26201278185 		Current CPU time: 127.56 ms
c CURRENT OPTIMUM=         26201275060 		Current CPU time: 130.08 ms
c CURRENT OPTIMUM=         26201271935 		Current CPU time: 132.79 ms
c CURRENT OPTIMUM=         26201268810 		Current CPU time: 135.45 ms
c CURRENT OPTIMUM=         26201265685 		Current CPU time: 138.14 ms
c CURRENT OPTIMUM=         26201262560 		Current CPU time: 140.78 ms
c CURRENT OPTIMUM=         26201259435 		Current CPU time: 143.52 ms
c CURRENT OPTIMUM=         26201256310 		Current CPU time: 146.21 ms
c CURRENT OPTIMUM=         26201253185 		Current CPU time: 148.94 ms
c CURRENT OPTIMUM=         26201250060 		Current CPU time: 151.62 ms
c CURRENT OPTIMUM=         26201246935 		Current CPU time: 154.57 ms
c CURRENT OPTIMUM=         26201243810 		Current CPU time: 157.47 ms
c CURRENT OPTIMUM=         26201240685 		Current CPU time: 160.40 ms
c CURRENT OPTIMUM=         26201237560 		Current CPU time: 163.27 ms
c CURRENT OPTIMUM=         26201234435 		Current CPU time: 166.27 ms
c CURRENT OPTIMUM=         26201231310 		Current CPU time: 169.19 ms
c CURRENT OPTIMUM=         26201228185 		Current CPU time: 172.16 ms
c CURRENT OPTIMUM=         26201225060 		Current CPU time: 175.05 ms
c CURRENT OPTIMUM=         26201221935 		Current CPU time: 178.15 ms
c CURRENT OPTIMUM=         26201218810 		Current CPU time: 181.20 ms
c CURRENT OPTIMUM=         26201215685 		Current CPU time: 184.26 ms
c CURRENT OPTIMUM=         26201212560 		Current CPU time: 187.25 ms
c CURRENT OPTIMUM=         26201209435 		Current CPU time: 190.37 ms
c CURRENT OPTIMUM=         26201206310 		Current CPU time: 193.43 ms
c CURRENT OPTIMUM=         26201203185 		Current CPU time: 196.51 ms
c CURRENT OPTIMUM=         26201200060 		Current CPU time: 199.52 ms
c CURRENT OPTIMUM=         26201196935 		Current CPU time: 203.12 ms
c CURRENT OPTIMUM=         26201193810 		Current CPU time: 206.66 ms
c CURRENT OPTIMUM=         26201190685 		Current CPU time: 210.23 ms
c CURRENT OPTIMUM=         26201187560 		Current CPU time: 213.74 ms
c CURRENT OPTIMUM=         26201184435 		Current CPU time: 217.37 ms
c CURRENT OPTIMUM=         26201181310 		Current CPU time: 220.93 ms
c CURRENT OPTIMUM=         26201178185 		Current CPU time: 224.54 ms
c CURRENT OPTIMUM=         26201175060 		Current CPU time: 228.06 ms
c CURRENT OPTIMUM=         26201171935 		Current CPU time: 231.81 ms
c CURRENT OPTIMUM=         26201168810 		Current CPU time: 235.49 ms
c CURRENT OPTIMUM=         26201165685 		Current CPU time: 239.21 ms
c CURRENT OPTIMUM=         26201162560 		Current CPU time: 242.85 ms
c CURRENT OPTIMUM=         26201159435 		Current CPU time: 246.63 ms
c CURRENT OPTIMUM=         26201156310 		Current CPU time: 250.33 ms
c CURRENT OPTIMUM=         26201153185 		Current CPU time: 254.06 ms
c CURRENT OPTIMUM=         26201150060 		Current CPU time: 257.70 ms
c CURRENT OPTIMUM=         26200996935 		Current CPU time: 261.71 ms
c CURRENT OPTIMUM=         26200993810 		Current CPU time: 265.63 ms
c CURRENT OPTIMUM=         26200990685 		Current CPU time: 269.59 ms
c CURRENT OPTIMUM=         26200987560 		Current CPU time: 273.46 ms
c CURRENT OPTIMUM=         26200984435 		Current CPU time: 277.47 ms
c CURRENT OPTIMUM=         26200981310 		Current CPU time: 281.40 ms
c CURRENT OPTIMUM=         26200978185 		Current CPU time: 285.36 ms
c CURRENT OPTIMUM=         26200975060 		Current CPU time: 289.24 ms
c CURRENT OPTIMUM=         26200971935 		Current CPU time: 293.37 ms
c CURRENT OPTIMUM=         26200968810 		Current CPU time: 297.42 ms
c CURRENT OPTIMUM=         26200965685 		Current CPU time: 301.50 ms
c CURRENT OPTIMUM=         26200962560 		Current CPU time: 305.48 ms
c CURRENT OPTIMUM=         26200959435 		Current CPU time: 309.62 ms
c CURRENT OPTIMUM=         26200956310 		Current CPU time: 313.66 ms
c CURRENT OPTIMUM=         26200953185 		Current CPU time: 317.73 ms
c CURRENT OPTIMUM=         26200950060 		Current CPU time: 321.71 ms
c CURRENT OPTIMUM=         26200946935 		Current CPU time: 326.09 ms
c CURRENT OPTIMUM=         26200943810 		Current CPU time: 330.36 ms
c CURRENT OPTIMUM=         26200940685 		Current CPU time: 334.67 ms
c CURRENT OPTIMUM=         26200937560 		Current CPU time: 338.88 ms
c CURRENT OPTIMUM=         26200934435 		Current CPU time: 343.25 ms
c CURRENT OPTIMUM=         26200931310 		Current CPU time: 347.52 ms
c CURRENT OPTIMUM=         26200928185 		Current CPU time: 351.81 ms
c CURRENT OPTIMUM=         26200925060 		Current CPU time: 356.01 ms
c CURRENT OPTIMUM=         26200921935 		Current CPU time: 360.50 ms
c CURRENT OPTIMUM=         26200918810 		Current CPU time: 364.87 ms
c CURRENT OPTIMUM=         26200915685 		Current CPU time: 369.29 ms
c CURRENT OPTIMUM=         26200912560 		Current CPU time: 373.59 ms
c CURRENT OPTIMUM=         26200909435 		Current CPU time: 378.06 ms
c CURRENT OPTIMUM=         26200906310 		Current CPU time: 382.42 ms
c CURRENT OPTIMUM=         26200903185 		Current CPU time: 386.81 ms
c CURRENT OPTIMUM=         26200900060 		Current CPU time: 391.09 ms
c CURRENT OPTIMUM=         26200896935 		Current CPU time: 395.95 ms
c CURRENT OPTIMUM=         26200893810 		Current CPU time: 400.69 ms
c CURRENT OPTIMUM=         26200890685 		Current CPU time: 405.46 ms
c CURRENT OPTIMUM=         26200887560 		Current CPU time: 410.12 ms
c CURRENT OPTIMUM=         26200884435 		Current CPU time: 414.96 ms
c CURRENT OPTIMUM=         26200881310 		Current CPU time: 419.68 ms
c CURRENT OPTIMUM=         26200878185 		Current CPU time: 424.43 ms
c CURRENT OPTIMUM=         26200875060 		Current CPU time: 429.06 ms
c CURRENT OPTIMUM=         26200871935 		Current CPU time: 434.01 ms
c CURRENT OPTIMUM=         26200868810 		Current CPU time: 438.83 ms
c CURRENT OPTIMUM=         26200865685 		Current CPU time: 443.70 ms
c CURRENT OPTIMUM=         26200862560 		Current CPU time: 448.44 ms
c CURRENT OPTIMUM=         26200859435 		Current CPU time: 453.36 ms
c CURRENT OPTIMUM=         26200856310 		Current CPU time: 458.17 ms
c CURRENT OPTIMUM=         26200853185 		Current CPU time: 463.01 ms
c CURRENT OPTIMUM=         26200850060 		Current CPU time: 467.73 ms
c CURRENT OPTIMUM=         26200846935 		Current CPU time: 472.91 ms
c CURRENT OPTIMUM=         26200843810 		Current CPU time: 477.97 ms
c CURRENT OPTIMUM=         26200840685 		Current CPU time: 483.06 ms
c CURRENT OPTIMUM=         26200837560 		Current CPU time: 488.03 ms
c CURRENT OPTIMUM=         26200834435 		Current CPU time: 493.18 ms
c CURRENT OPTIMUM=         26200831310 		Current CPU time: 498.20 ms
c CURRENT OPTIMUM=         26200828185 		Current CPU time: 503.24 ms
c CURRENT OPTIMUM=         26200825060 		Current CPU time: 508.16 ms
c CURRENT OPTIMUM=         26200821935 		Current CPU time: 513.41 ms
c CURRENT OPTIMUM=         26200818810 		Current CPU time: 518.54 ms
c CURRENT OPTIMUM=         26200815685 		Current CPU time: 523.72 ms
c CURRENT OPTIMUM=         26200812560 		Current CPU time: 528.79 ms
c CURRENT OPTIMUM=         26200809435 		Current CPU time: 534.06 ms
c CURRENT OPTIMUM=         26200806310 		Current CPU time: 539.19 ms
c CURRENT OPTIMUM=         26200803185 		Current CPU time: 544.34 ms
c CURRENT OPTIMUM=         26200800060 		Current CPU time: 549.39 ms
c CURRENT OPTIMUM=         26200796935 		Current CPU time: 555.62 ms
c CURRENT OPTIMUM=         26200793810 		Current CPU time: 561.75 ms
c CURRENT OPTIMUM=         26200790685 		Current CPU time: 567.90 ms
c CURRENT OPTIMUM=         26200787560 		Current CPU time: 573.90 ms
c CURRENT OPTIMUM=         26200784435 		Current CPU time: 580.08 ms
c CURRENT OPTIMUM=         26200781310 		Current CPU time: 586.11 ms
c CURRENT OPTIMUM=         26200778185 		Current CPU time: 592.16 ms
c CURRENT OPTIMUM=         26200775060 		Current CPU time: 598.08 ms
c CURRENT OPTIMUM=         26200771935 		Current CPU time: 604.36 ms
c CURRENT OPTIMUM=         26200768810 		Current CPU time: 610.50 ms
c CURRENT OPTIMUM=         26200765685 		Current CPU time: 616.68 ms
c CURRENT OPTIMUM=         26200762560 		Current CPU time: 622.70 ms
c CURRENT OPTIMUM=         26200759435 		Current CPU time: 628.93 ms
c CURRENT OPTIMUM=         26200756310 		Current CPU time: 635.01 ms
c CURRENT OPTIMUM=         26200753185 		Current CPU time: 641.14 ms
c CURRENT OPTIMUM=         26200750060 		Current CPU time: 647.11 ms
c CURRENT OPTIMUM=         26200596935 		Current CPU time: 653.64 ms
c CURRENT OPTIMUM=         26200593810 		Current CPU time: 660.01 ms
c CURRENT OPTIMUM=         26200590685 		Current CPU time: 666.42 ms
c CURRENT OPTIMUM=         26200587560 		Current CPU time: 672.69 ms
c CURRENT OPTIMUM=         26200584435 		Current CPU time: 679.16 ms
c CURRENT OPTIMUM=         26200581310 		Current CPU time: 685.48 ms
c CURRENT OPTIMUM=         26200578185 		Current CPU time: 691.84 ms
c CURRENT OPTIMUM=         26200575060 		Current CPU time: 698.03 ms
c CURRENT OPTIMUM=         26200571935 		Current CPU time: 704.63 ms
c CURRENT OPTIMUM=         26200568810 		Current CPU time: 711.07 ms
c CURRENT OPTIMUM=         26200565685 		Current CPU time: 717.54 ms
c CURRENT OPTIMUM=         26200562560 		Current CPU time: 723.86 ms
c CURRENT OPTIMUM=         26200559435 		Current CPU time: 730.39 ms
c CURRENT OPTIMUM=         26200556310 		Current CPU time: 736.75 ms
c CURRENT OPTIMUM=         26200553185 		Current CPU time: 743.15 ms
c CURRENT OPTIMUM=         26200550060 		Current CPU time: 749.39 ms
c CURRENT OPTIMUM=         26200546935 		Current CPU time: 756.23 ms
c CURRENT OPTIMUM=         26200543810 		Current CPU time: 762.90 ms
c CURRENT OPTIMUM=         26200540685 		Current CPU time: 769.61 ms
c CURRENT OPTIMUM=         26200537560 		Current CPU time: 776.16 ms
c CURRENT OPTIMUM=         26200534435 		Current CPU time: 782.92 ms
c CURRENT OPTIMUM=         26200531310 		Current CPU time: 789.53 ms
c CURRENT OPTIMUM=         26200528185 		Current CPU time: 796.16 ms
c CURRENT OPTIMUM=         26200525060 		Current CPU time: 802.62 ms
c CURRENT OPTIMUM=         26200521935 		Current CPU time: 809.50 ms
c CURRENT OPTIMUM=         26200518810 		Current CPU time: 816.21 ms
c CURRENT OPTIMUM=         26200515685 		Current CPU time: 822.95 ms
c CURRENT OPTIMUM=         26200512560 		Current CPU time: 829.51 ms
c CURRENT OPTIMUM=         26200509435 		Current CPU time: 836.31 ms
c CURRENT OPTIMUM=         26200506310 		Current CPU time: 842.92 ms
c CURRENT OPTIMUM=         26200503185 		Current CPU time: 849.59 ms
c CURRENT OPTIMUM=         26200500060 		Current CPU time: 856.06 ms
c CURRENT OPTIMUM=         26200496935 		Current CPU time: 863.39 ms
c CURRENT OPTIMUM=         26200493810 		Current CPU time: 870.54 ms
c CURRENT OPTIMUM=         26200490685 		Current CPU time: 877.72 ms
c CURRENT OPTIMUM=         26200487560 		Current CPU time: 884.72 ms
c CURRENT OPTIMUM=         26200484435 		Current CPU time: 891.95 ms
c CURRENT OPTIMUM=         26200481310 		Current CPU time: 899.01 ms
c CURRENT OPTIMUM=         26200478185 		Current CPU time: 906.10 ms
c CURRENT OPTIMUM=         26200475060 		Current CPU time: 913.00 ms
c CURRENT OPTIMUM=         26200471935 		Current CPU time: 920.36 ms
c CURRENT OPTIMUM=         26200468810 		Current CPU time: 927.54 ms
c CURRENT OPTIMUM=         26200465685 		Current CPU time: 934.73 ms
c CURRENT OPTIMUM=         26200462560 		Current CPU time: 941.75 ms
c CURRENT OPTIMUM=         26200459435 		Current CPU time: 949.01 ms
c CURRENT OPTIMUM=         26200456310 		Current CPU time: 956.08 ms
c CURRENT OPTIMUM=         26200453185 		Current CPU time: 963.18 ms
c CURRENT OPTIMUM=         26200450060 		Current CPU time: 970.09 ms
c CURRENT OPTIMUM=         26200446935 		Current CPU time: 977.68 ms
c CURRENT OPTIMUM=         26200443810 		Current CPU time: 985.08 ms
c CURRENT OPTIMUM=         26200440685 		Current CPU time: 992.51 ms
c CURRENT OPTIMUM=         26200437560 		Current CPU time: 999.73 ms
c CURRENT OPTIMUM=         26200434435 		Current CPU time: 1007.21 ms
c CURRENT OPTIMUM=         26200431310 		Current CPU time: 1014.50 ms
c CURRENT OPTIMUM=         26200428185 		Current CPU time: 1021.82 ms
c CURRENT OPTIMUM=         26200425060 		Current CPU time: 1028.94 ms
c CURRENT OPTIMUM=         26200421935 		Current CPU time: 1036.54 ms
c CURRENT OPTIMUM=         26200418810 		Current CPU time: 1043.95 ms
c CURRENT OPTIMUM=         26200415685 		Current CPU time: 1051.36 ms
c CURRENT OPTIMUM=         26200412560 		Current CPU time: 1058.58 ms
c CURRENT OPTIMUM=         26200409435 		Current CPU time: 1066.06 ms
c CURRENT OPTIMUM=         26200406310 		Current CPU time: 1073.34 ms
c CURRENT OPTIMUM=         26200403185 		Current CPU time: 1080.65 ms
c CURRENT OPTIMUM=         26200400060 		Current CPU time: 1087.75 ms
c CURRENT OPTIMUM=         26200396935 		Current CPU time: 1096.27 ms
c CURRENT OPTIMUM=         26200393810 		Current CPU time: 1104.57 ms
c CURRENT OPTIMUM=         26200390685 		Current CPU time: 1112.94 ms
c CURRENT OPTIMUM=         26200387560 		Current CPU time: 1121.08 ms
c CURRENT OPTIMUM=         26200384435 		Current CPU time: 1129.51 ms
c CURRENT OPTIMUM=         26200381310 		Current CPU time: 1137.72 ms
c CURRENT OPTIMUM=         26200378185 		Current CPU time: 1145.96 ms
c CURRENT OPTIMUM=         26200375060 		Current CPU time: 1153.99 ms
c CURRENT OPTIMUM=         26200371935 		Current CPU time: 1162.53 ms
c CURRENT OPTIMUM=         26200368810 		Current CPU time: 1170.87 ms
c CURRENT OPTIMUM=         26200365685 		Current CPU time: 1179.23 ms
c CURRENT OPTIMUM=         26200362560 		Current CPU time: 1187.37 ms
c CURRENT OPTIMUM=         26200359435 		Current CPU time: 1195.79 ms
c CURRENT OPTIMUM=         26200356310 		Current CPU time: 1204.00 ms
c CURRENT OPTIMUM=         26200353185 		Current CPU time: 1212.22 ms
c starts	: 325
c conflicts	: 2
c decisions	: 48730
c propagations	: 56853
c inspects	: 1375709
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 2
c root simplifications	: 326
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=26200353185
c Total CPU time (ms) : 1219.163
#### 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.85 0.97 0.99 2/54 1256
Raw data (stat): 1256 (runsolver) R 1255 20224 20223 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 781223668 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.11 1.02 1.01 3/64 1306
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18144 10 1 0 656 41 0 0 25 0 11 0 781223668 865103872 21558 4294967295 134512640 134569956 3221224368 3221214716 1130917144 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211207 21558 13086 16 0 211191 0
vsize: 844828
[startup+20.0024 s]
Raw data (loadavg): 1.09 1.02 1.00 2/64 1330
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18144 10 1 0 1606 42 1 1 25 0 11 0 781223668 864907264 21583 4294967295 134512640 134569956 3221224368 3221214680 1131235587 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211159 21583 13086 16 0 211143 0
vsize: 844636
[startup+30.0038 s]
Raw data (loadavg): 1.08 1.02 1.00 2/64 1340
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18144 10 1 0 2559 42 1 1 24 0 11 0 781223668 864907264 21692 4294967295 134512640 134569956 3221224368 3221214680 1131236514 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211159 21692 13086 16 0 211143 0
vsize: 844636
[startup+40.0041 s]
Raw data (loadavg): 1.07 1.01 1.00 2/64 1348
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18144 10 1 0 3527 43 1 1 25 0 11 0 781223668 864907264 21990 4294967295 134512640 134569956 3221224368 3221214728 1131170240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211159 21990 13086 16 0 211143 0
vsize: 844636
[startup+50.0049 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 1355
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18144 10 1 0 4508 43 2 1 24 0 11 0 781223668 864907264 22071 4294967295 134512640 134569956 3221224368 3221214680 1131235963 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211159 22071 13086 16 0 211143 0
vsize: 844636
[startup+60.0053 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 1362
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18144 10 1 0 5491 44 2 1 25 0 11 0 781223668 864382976 21985 4294967295 134512640 134569956 3221224368 3221214680 1131236506 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211031 21985 13086 16 0 211015 0
vsize: 844124
[startup+70.0069 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 1368
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 6476 45 2 1 25 0 11 0 781223668 864382976 22030 4294967295 134512640 134569956 3221224368 3221214680 1131235852 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211031 22030 13086 16 0 211015 0
vsize: 844124
[startup+80.0085 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 1373
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 7464 45 2 1 25 0 11 0 781223668 864382976 22087 4294967295 134512640 134569956 3221224368 3221214728 1131170240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211031 22087 13086 16 0 211015 0
vsize: 844124
[startup+90.0088 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 1378
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 8453 46 3 1 25 0 11 0 781223668 864382976 22113 4294967295 134512640 134569956 3221224368 3221214632 1131199240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211031 22113 13086 16 0 211015 0
vsize: 844124
[startup+100.009 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 1383
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 9443 46 3 1 25 0 11 0 781223668 864382976 22134 4294967295 134512640 134569956 3221224368 3221214680 1131236508 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211031 22134 13086 16 0 211015 0
vsize: 844124
[startup+110.01 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 1389
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 10433 47 3 1 25 0 11 0 781223668 864382976 22155 4294967295 134512640 134569956 3221224368 3221214768 1131243831 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211031 22155 13086 16 0 211015 0
vsize: 844124
[startup+120.01 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 1393
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 11423 48 3 1 25 0 11 0 781223668 864382976 22176 4294967295 134512640 134569956 3221224368 3221214680 1131235522 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211031 22176 13086 16 0 211015 0
vsize: 844124
[startup+130.012 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 1397
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 12413 48 3 2 25 0 11 0 781223668 864382976 22198 4294967295 134512640 134569956 3221224368 3221214680 1131236133 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211031 22198 13086 16 0 211015 0
vsize: 844124
[startup+140.012 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 1401
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 13402 49 3 2 25 0 11 0 781223668 864382976 22215 4294967295 134512640 134569956 3221224368 3221214680 1131236445 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211031 22215 13086 16 0 211015 0
vsize: 844124
[startup+150.013 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 1405
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 14392 50 4 2 25 0 11 0 781223668 864382976 22231 4294967295 134512640 134569956 3221224368 3221214768 1131244420 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211031 22231 13086 16 0 211015 0
vsize: 844124
[startup+160.014 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 1408
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 15379 50 4 2 25 0 11 0 781223668 864382976 22278 4294967295 134512640 134569956 3221224368 3221214680 1131235963 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211031 22278 13086 16 0 211015 0
vsize: 844124
[startup+170.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1411
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 16366 51 4 2 25 0 11 0 781223668 864382976 22290 4294967295 134512640 134569956 3221224368 3221214728 1131170237 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211031 22290 13086 16 0 211015 0
vsize: 844124
[startup+180.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1415
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 17353 51 4 2 25 0 11 0 781223668 864382976 22333 4294967295 134512640 134569956 3221224368 3221214632 1131199240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211031 22333 13086 16 0 211015 0
vsize: 844124
[startup+190.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1418
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 18343 52 4 2 25 0 11 0 781223668 864382976 22376 4294967295 134512640 134569956 3221224368 3221214632 1131199240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211031 22376 13086 16 0 211015 0
vsize: 844124
[startup+200.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1421
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 19334 52 5 2 25 0 11 0 781223668 864382976 22389 4294967295 134512640 134569956 3221224368 3221214728 1131170240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211031 22389 13086 16 0 211015 0
vsize: 844124
[startup+210.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1424
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 20326 52 5 2 25 0 11 0 781223668 864382976 22401 4294967295 134512640 134569956 3221224368 3221214680 1131236133 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211031 22401 13086 16 0 211015 0
vsize: 844124
[startup+220.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1427
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 21317 53 5 2 25 0 11 0 781223668 864382976 22414 4294967295 134512640 134569956 3221224368 3221214680 1131235688 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211031 22414 13086 16 0 211015 0
vsize: 844124
[startup+230.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1430
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 22308 53 5 2 25 0 11 0 781223668 864382976 22427 4294967295 134512640 134569956 3221224368 3221214680 1131236012 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211031 22427 13086 16 0 211015 0
vsize: 844124
[startup+240.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1432
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 23299 54 5 2 25 0 11 0 781223668 864382976 22439 4294967295 134512640 134569956 3221224368 3221214680 1131235489 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211031 22439 13086 16 0 211015 0
vsize: 844124
[startup+250.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1435
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 24290 55 5 2 25 0 11 0 781223668 864382976 22453 4294967295 134512640 134569956 3221224368 3221214680 1131235522 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211031 22453 13086 16 0 211015 0
vsize: 844124
[startup+260.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1438
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 25281 56 5 2 25 0 11 0 781223668 864382976 22465 4294967295 134512640 134569956 3221224368 3221214680 1131235963 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211031 22465 13086 16 0 211015 0
vsize: 844124
[startup+270.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1440
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 26272 56 5 2 25 0 11 0 781223668 864382976 22478 4294967295 134512640 134569956 3221224368 3221214680 1131235522 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211031 22478 13086 16 0 211015 0
vsize: 844124
[startup+280.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1443
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 27263 58 5 2 25 0 11 0 781223668 864382976 22486 4294967295 134512640 134569956 3221224368 3221214680 1131235978 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211031 22486 13086 16 0 211015 0
vsize: 844124
[startup+290.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1445
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 28254 58 5 2 25 0 11 0 781223668 864382976 22499 4294967295 134512640 134569956 3221224368 3221214680 1131235974 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211031 22499 13086 16 0 211015 0
vsize: 844124
[startup+300.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1448
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 29246 58 5 2 25 0 11 0 781223668 864382976 22507 4294967295 134512640 134569956 3221224368 3221214764 1131277088 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211031 22507 13086 16 0 211015 0
vsize: 844124
[startup+310.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1450
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 30238 59 6 2 25 0 11 0 781223668 864382976 22520 4294967295 134512640 134569956 3221224368 3221214680 1131235575 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211031 22520 13086 16 0 211015 0
vsize: 844124
[startup+320.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1453
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 31230 60 6 2 25 0 11 0 781223668 864382976 22528 4294967295 134512640 134569956 3221224368 3221214768 1131244277 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211031 22528 13086 16 0 211015 0
vsize: 844124
[startup+330.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1455
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 32222 60 6 2 25 0 11 0 781223668 864382976 22541 4294967295 134512640 134569956 3221224368 3221214768 1131243927 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211031 22541 13086 16 0 211015 0
vsize: 844124
[startup+340.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1458
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 33213 60 6 2 25 0 11 0 781223668 864382976 22549 4294967295 134512640 134569956 3221224368 3221214680 1131236514 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211031 22549 13086 16 0 211015 0
vsize: 844124
[startup+350.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1460
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 34205 60 6 2 25 0 11 0 781223668 864382976 22562 4294967295 134512640 134569956 3221224368 3221214632 1131198307 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211031 22562 13086 16 0 211015 0
vsize: 844124
[startup+360.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1462
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 35197 60 6 2 25 0 11 0 781223668 864382976 22570 4294967295 134512640 134569956 3221224368 3221214680 1131235963 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211031 22570 13086 16 0 211015 0
vsize: 844124
[startup+370.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1464
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 36190 61 6 2 25 0 11 0 781223668 864382976 22578 4294967295 134512640 134569956 3221224368 3221214680 1131235546 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211031 22578 13086 16 0 211015 0
vsize: 844124
[startup+380.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1467
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 37181 61 6 2 25 0 11 0 781223668 864382976 22591 4294967295 134512640 134569956 3221224368 3221214680 1131236433 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211031 22591 13086 16 0 211015 0
vsize: 844124
[startup+390.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1469
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 38173 62 6 2 25 0 11 0 781223668 864382976 22599 4294967295 134512640 134569956 3221224368 3221214680 1131235575 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211031 22599 13086 16 0 211015 0
vsize: 844124
[startup+400.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1471
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 39164 63 6 2 25 0 11 0 781223668 864382976 22608 4294967295 134512640 134569956 3221224368 3221214728 1131170387 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211031 22608 13086 16 0 211015 0
vsize: 844124
[startup+410.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1473
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 40156 63 7 2 25 0 11 0 781223668 864382976 22621 4294967295 134512640 134569956 3221224368 3221214728 1131170240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211031 22621 13086 16 0 211015 0
vsize: 844124
[startup+420.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1475
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 41149 63 7 2 25 0 11 0 781223668 864382976 22630 4294967295 134512640 134569956 3221224368 3221214680 1131235963 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211031 22630 13086 16 0 211015 0
vsize: 844124
[startup+430.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1478
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 42140 64 7 2 25 0 11 0 781223668 864382976 22638 4294967295 134512640 134569956 3221224368 3221214728 1131170257 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211031 22638 13086 16 0 211015 0
vsize: 844124
[startup+440.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1480
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 43132 64 7 2 25 0 11 0 781223668 864382976 22646 4294967295 134512640 134569956 3221224368 3221214680 1131236047 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211031 22646 13086 16 0 211015 0
vsize: 844124
[startup+450.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1482
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 44124 65 7 2 25 0 11 0 781223668 864382976 22655 4294967295 134512640 134569956 3221224368 3221214680 1131236097 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211031 22655 13086 16 0 211015 0
vsize: 844124
[startup+460.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1484
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 45114 66 7 2 25 0 11 0 781223668 864382976 22663 4294967295 134512640 134569956 3221224368 3221214768 1131244101 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211031 22663 13086 16 0 211015 0
vsize: 844124
[startup+470.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1486
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 46103 67 7 2 25 0 11 0 781223668 864382976 22671 4294967295 134512640 134569956 3221224368 3221214840 1131308305 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211031 22671 13086 16 0 211015 0
vsize: 844124
[startup+480.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1488
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 47093 67 7 3 25 0 11 0 781223668 864382976 22743 4294967295 134512640 134569956 3221224368 3221214680 1131235963 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211031 22743 13086 16 0 211015 0
vsize: 844124
[startup+490.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1490
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 48085 67 7 3 25 0 11 0 781223668 864382976 22751 4294967295 134512640 134569956 3221224368 3221214632 1131198261 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211031 22751 13086 16 0 211015 0
vsize: 844124
[startup+500.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1492
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 49076 68 8 3 25 0 11 0 781223668 864382976 22760 4294967295 134512640 134569956 3221224368 3221214680 1131235944 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211031 22760 13086 16 0 211015 0
vsize: 844124
[startup+510.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1494
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 50068 69 8 3 25 0 11 0 781223668 864382976 22768 4294967295 134512640 134569956 3221224368 3221214728 1131170240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211031 22768 13086 16 0 211015 0
vsize: 844124
[startup+520.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1496
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 51060 69 8 3 25 0 11 0 781223668 864382976 22772 4294967295 134512640 134569956 3221224368 3221214768 1131243931 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211031 22772 13086 16 0 211015 0
vsize: 844124
[startup+530.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1498
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 52051 69 8 3 25 0 11 0 781223668 864382976 22785 4294967295 134512640 134569956 3221224368 3221214676 1131199259 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211031 22785 13086 16 0 211015 0
vsize: 844124
[startup+540.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1499
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 53044 69 8 3 25 0 11 0 781223668 864382976 22793 4294967295 134512640 134569956 3221224368 3221214764 1131236697 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211031 22793 13086 16 0 211015 0
vsize: 844124
[startup+550.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1501
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 54033 70 8 3 25 0 11 0 781223668 864382976 22798 4294967295 134512640 134569956 3221224368 3221214680 1131236089 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211031 22798 13086 16 0 211015 0
vsize: 844124
[startup+560.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1503
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 55019 70 8 3 25 0 11 0 781223668 864382976 22806 4294967295 134512640 134569956 3221224368 3221214680 1131235557 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211031 22806 13086 16 0 211015 0
vsize: 844124
[startup+570.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1505
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 56001 70 8 3 25 0 11 0 781223668 864382976 22814 4294967295 134512640 134569956 3221224368 3221214680 1131236022 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211031 22814 13086 16 0 211015 0
vsize: 844124
[startup+580.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1506
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 56988 70 8 3 25 0 11 0 781223668 864382976 22874 4294967295 134512640 134569956 3221224368 3221214680 1131236121 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211031 22874 13086 16 0 211015 0
vsize: 844124
[startup+590.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1508
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 57979 71 8 3 25 0 11 0 781223668 864382976 22935 4294967295 134512640 134569956 3221224368 3221214680 1131236169 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211031 22935 13086 16 0 211015 0
vsize: 844124
[startup+600.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1510
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 58971 71 8 3 25 0 11 0 781223668 864382976 22939 4294967295 134512640 134569956 3221224368 3221214680 1131235489 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211031 22939 13086 16 0 211015 0
vsize: 844124
[startup+610.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1511
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 59963 71 8 3 25 0 11 0 781223668 864382976 22948 4294967295 134512640 134569956 3221224368 3221214680 1131235963 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211031 22948 13086 16 0 211015 0
vsize: 844124
[startup+620.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1513
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 60955 71 8 3 25 0 11 0 781223668 864382976 22956 4294967295 134512640 134569956 3221224368 3221214680 1131235963 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211031 22956 13086 16 0 211015 0
vsize: 844124
[startup+630.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1515
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 61947 71 9 3 25 0 11 0 781223668 864382976 22960 4294967295 134512640 134569956 3221224368 3221214768 1131245077 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211031 22960 13086 16 0 211015 0
vsize: 844124
[startup+640.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1516
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 62939 71 9 3 25 0 11 0 781223668 864382976 22969 4294967295 134512640 134569956 3221224368 3221214728 1131170240 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211031 22969 13086 16 0 211015 0
vsize: 844124
[startup+650.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1519
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 63931 71 9 3 25 0 11 0 781223668 864382976 22977 4294967295 134512640 134569956 3221224368 3221214764 1131235468 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211031 22977 13086 16 0 211015 0
vsize: 844124
[startup+660.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1520
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 64923 71 9 3 25 0 11 0 781223668 864382976 22981 4294967295 134512640 134569956 3221224368 3221214680 1131235963 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211031 22981 13086 16 0 211015 0
vsize: 844124
[startup+670.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1522
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 65915 71 9 3 25 0 11 0 781223668 864382976 22989 4294967295 134512640 134569956 3221224368 3221214728 1131170261 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211031 22989 13086 16 0 211015 0
vsize: 844124
[startup+680.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1523
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 66907 72 9 3 25 0 11 0 781223668 864382976 22994 4294967295 134512640 134569956 3221224368 3221214680 1131236392 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211031 22994 13086 16 0 211015 0
vsize: 844124
[startup+690.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1525
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 67898 72 9 3 25 0 11 0 781223668 864382976 23002 4294967295 134512640 134569956 3221224368 3221214680 1131236373 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211031 23002 13086 16 0 211015 0
vsize: 844124
[startup+700.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1527
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 68890 72 9 3 25 0 11 0 781223668 864382976 23010 4294967295 134512640 134569956 3221224368 3221214632 1131198298 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211031 23010 13086 16 0 211015 0
vsize: 844124
[startup+710.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1528
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 69882 72 9 3 25 0 11 0 781223668 864382976 23015 4294967295 134512640 134569956 3221224368 3221214728 1131170257 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211031 23015 13086 16 0 211015 0
vsize: 844124
[startup+720.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1530
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 70874 72 9 3 25 0 11 0 781223668 864382976 23023 4294967295 134512640 134569956 3221224368 3221214680 1131236093 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211031 23023 13086 16 0 211015 0
vsize: 844124
[startup+730.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1531
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 71866 73 9 3 25 0 11 0 781223668 864382976 23027 4294967295 134512640 134569956 3221224368 3221214680 1131236355 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211031 23027 13086 16 0 211015 0
vsize: 844124
[startup+740.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1533
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 72858 73 9 3 25 0 11 0 781223668 864382976 23035 4294967295 134512640 134569956 3221224368 3221214680 1131235605 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211031 23035 13086 16 0 211015 0
vsize: 844124
[startup+750.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1534
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 73850 73 9 3 25 0 11 0 781223668 864382976 23040 4294967295 134512640 134569956 3221224368 3221214728 1131170240 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211031 23040 13086 16 0 211015 0
vsize: 844124
[startup+760.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1536
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 74841 73 9 3 25 0 11 0 781223668 864382976 23048 4294967295 134512640 134569956 3221224368 3221214632 1131198261 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211031 23048 13086 16 0 211015 0
vsize: 844124
[startup+770.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1537
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 75833 73 9 3 25 0 11 0 781223668 864382976 23052 4294967295 134512640 134569956 3221224368 3221214680 1131236508 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211031 23052 13086 16 0 211015 0
vsize: 844124
[startup+780.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1539
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 76825 73 9 3 25 0 11 0 781223668 864382976 23061 4294967295 134512640 134569956 3221224368 3221214680 1131235568 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211031 23061 13086 16 0 211015 0
vsize: 844124
[startup+790.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1540
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 77817 73 9 3 25 0 11 0 781223668 864382976 23069 4294967295 134512640 134569956 3221224368 3221214728 1131170240 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211031 23069 13086 16 0 211015 0
vsize: 844124
[startup+800.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1543
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 78809 74 9 3 25 0 11 0 781223668 864382976 23073 4294967295 134512640 134569956 3221224368 3221214680 1131236110 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211031 23073 13086 16 0 211015 0
vsize: 844124
[startup+810.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1544
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 79800 74 9 3 25 0 11 0 781223668 864382976 23082 4294967295 134512640 134569956 3221224368 3221214680 1131235963 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211031 23082 13086 16 0 211015 0
vsize: 844124
[startup+820.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1546
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 80792 74 9 3 25 0 11 0 781223668 864382976 23086 4294967295 134512640 134569956 3221224368 3221214680 1131236133 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211031 23086 13086 16 0 211015 0
vsize: 844124
[startup+830.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1547
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 81784 74 9 3 25 0 11 0 781223668 864382976 23094 4294967295 134512640 134569956 3221224368 3221214680 1131236478 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211031 23094 13086 16 0 211015 0
vsize: 844124
[startup+840.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1549
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 82776 74 9 4 25 0 11 0 781223668 864382976 23098 4294967295 134512640 134569956 3221224368 3221214680 1131236107 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211031 23098 13086 16 0 211015 0
vsize: 844124
[startup+850.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1550
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 83768 74 9 4 25 0 11 0 781223668 864382976 23107 4294967295 134512640 134569956 3221224368 3221214680 1131236448 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211031 23107 13086 16 0 211015 0
vsize: 844124
[startup+860.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1552
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 84760 75 10 4 25 0 11 0 781223668 864382976 23111 4294967295 134512640 134569956 3221224368 3221214768 1131244101 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211031 23111 13086 16 0 211015 0
vsize: 844124
[startup+870.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1553
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 85752 75 10 4 25 0 11 0 781223668 864382976 23119 4294967295 134512640 134569956 3221224368 3221214680 1131235963 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211031 23119 13086 16 0 211015 0
vsize: 844124
[startup+880.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1555
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 86744 75 10 4 25 0 11 0 781223668 864382976 23123 4294967295 134512640 134569956 3221224368 3221214680 1131235682 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211031 23123 13086 16 0 211015 0
vsize: 844124
[startup+890.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1556
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 87736 75 10 4 25 0 11 0 781223668 864382976 23128 4294967295 134512640 134569956 3221224368 3221214680 1131236218 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211031 23128 13086 16 0 211015 0
vsize: 844124
[startup+900.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1558
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 88728 75 10 4 25 0 11 0 781223668 864382976 23137 4294967295 134512640 134569956 3221224368 3221214680 1131236451 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211031 23137 13086 16 0 211015 0
vsize: 844124
[startup+910.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1559
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 89720 75 10 4 25 0 11 0 781223668 864382976 23141 4294967295 134512640 134569956 3221224368 3221214632 1131198285 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211031 23141 13086 16 0 211015 0
vsize: 844124
[startup+920.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1560
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 90711 75 10 4 25 0 11 0 781223668 864382976 23149 4294967295 134512640 134569956 3221224368 3221214680 1131235963 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211031 23149 13086 16 0 211015 0
vsize: 844124
[startup+930.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1562
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 91703 76 10 4 25 0 11 0 781223668 864382976 23154 4294967295 134512640 134569956 3221224368 3221214680 1131236016 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211031 23154 13086 16 0 211015 0
vsize: 844124
[startup+940.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1563
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 92695 76 10 4 25 0 11 0 781223668 864382976 23162 4294967295 134512640 134569956 3221224368 3221214680 1131235893 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211031 23162 13086 16 0 211015 0
vsize: 844124
[startup+950.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1566
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 93687 76 10 4 25 0 11 0 781223668 864382976 23166 4294967295 134512640 134569956 3221224368 3221214680 1131235963 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211031 23166 13086 16 0 211015 0
vsize: 844124
[startup+960.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1567
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 94679 76 10 4 25 0 11 0 781223668 864382976 23170 4294967295 134512640 134569956 3221224368 3221214680 1131236195 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211031 23170 13086 16 0 211015 0
vsize: 844124
[startup+970.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1568
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 95671 76 10 4 25 0 11 0 781223668 864382976 23179 4294967295 134512640 134569956 3221224368 3221214680 1131235489 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211031 23179 13086 16 0 211015 0
vsize: 844124
[startup+980.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1570
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 96663 76 10 4 25 0 11 0 781223668 864382976 23183 4294967295 134512640 134569956 3221224368 3221214680 1131236133 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211031 23183 13086 16 0 211015 0
vsize: 844124
[startup+990.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1571
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 97654 77 10 4 25 0 11 0 781223668 864382976 23187 4294967295 134512640 134569956 3221224368 3221214680 1131236492 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211031 23187 13086 16 0 211015 0
vsize: 844124
[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1572
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 98646 77 10 4 25 0 11 0 781223668 864382976 23195 4294967295 134512640 134569956 3221224368 3221214728 1131170240 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211031 23195 13086 16 0 211015 0
vsize: 844124
[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1574
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 99638 77 10 4 25 0 11 0 781223668 864382976 23200 4294967295 134512640 134569956 3221224368 3221214728 1131170240 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211031 23200 13086 16 0 211015 0
vsize: 844124
[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1575
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 100630 77 10 4 25 0 11 0 781223668 864382976 23208 4294967295 134512640 134569956 3221224368 3221214768 1131244407 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211031 23208 13086 16 0 211015 0
vsize: 844124
[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1577
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 101622 77 10 4 25 0 11 0 781223668 864382976 23212 4294967295 134512640 134569956 3221224368 3221214680 1131236688 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211031 23212 13086 16 0 211015 0
vsize: 844124
[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1578
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 102614 77 10 4 25 0 11 0 781223668 864382976 23216 4294967295 134512640 134569956 3221224368 3221214680 1131235522 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211031 23216 13086 16 0 211015 0
vsize: 844124
[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1579
Raw data (stat): 1256 (java) S 1255 20224 20223 0 -1 0 18145 10 1 0 103605 77 10 5 25 0 11 0 781223668 864382976 23225 4294967295 134512640 134569956 3221224368 3221213424 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211031 23225 13086 16 0 211015 0
vsize: 844124
[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1581
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 104597 77 11 5 25 0 11 0 781223668 864382976 23229 4294967295 134512640 134569956 3221224368 3221214680 1131235912 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211031 23229 13086 16 0 211015 0
vsize: 844124
[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1582
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 105589 77 11 5 25 0 11 0 781223668 864382976 23233 4294967295 134512640 134569956 3221224368 3221214680 1131235493 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211031 23233 13086 16 0 211015 0
vsize: 844124
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1583
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 106581 77 11 5 25 0 11 0 781223668 864382976 23242 4294967295 134512640 134569956 3221224368 3221214680 1131235903 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211031 23242 13086 16 0 211015 0
vsize: 844124
[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1585
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 107572 77 11 5 25 0 11 0 781223668 864382976 23246 4294967295 134512640 134569956 3221224368 3221214680 1131236033 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211031 23246 13086 16 0 211015 0
vsize: 844124
[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1586
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 108564 77 11 5 25 0 11 0 781223668 864382976 23250 4294967295 134512640 134569956 3221224368 3221214680 1131236266 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211031 23250 13086 16 0 211015 0
vsize: 844124
[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1587
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 109556 78 11 5 25 0 11 0 781223668 864382976 23258 4294967295 134512640 134569956 3221224368 3221214680 1131235538 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211031 23258 13086 16 0 211015 0
vsize: 844124
[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1588
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 110548 78 11 5 25 0 11 0 781223668 864382976 23262 4294967295 134512640 134569956 3221224368 3221214680 1131236047 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211031 23262 13086 16 0 211015 0
vsize: 844124
[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1589
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 111540 78 11 5 25 0 11 0 781223668 864382976 23267 4294967295 134512640 134569956 3221224368 3221214632 1131198295 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211031 23267 13086 16 0 211015 0
vsize: 844124
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1591
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 112532 78 11 5 25 0 11 0 781223668 864382976 23271 4294967295 134512640 134569956 3221224368 3221214680 1131235963 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211031 23271 13086 16 0 211015 0
vsize: 844124
[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1592
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 113524 78 11 5 25 0 11 0 781223668 864382976 23279 4294967295 134512640 134569956 3221224368 3221214744 1131239544 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211031 23279 13086 16 0 211015 0
vsize: 844124
[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1593
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 114516 78 11 5 25 0 11 0 781223668 864382976 23283 4294967295 134512640 134569956 3221224368 3221214728 1131170240 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211031 23283 13086 16 0 211015 0
vsize: 844124
[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1594
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 115507 78 11 5 25 0 11 0 781223668 864382976 23288 4294967295 134512640 134569956 3221224368 3221214680 1131235963 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211031 23288 13086 16 0 211015 0
vsize: 844124
[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1595
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 116498 79 11 5 25 0 11 0 781223668 864382976 23292 4294967295 134512640 134569956 3221224368 3221214728 1131170261 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211031 23292 13086 16 0 211015 0
vsize: 844124
[startup+1190.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1597
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 117490 79 11 5 25 0 11 0 781223668 864382976 23300 4294967295 134512640 134569956 3221224368 3221214680 1131236448 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211031 23300 13086 16 0 211015 0
vsize: 844124
[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1598
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 118482 79 11 5 25 0 11 0 781223668 864382976 23304 4294967295 134512640 134569956 3221224368 3221214728 1131170237 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211031 23304 13086 16 0 211015 0
vsize: 844124
[startup+1210.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1599
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 119474 79 11 5 25 0 11 0 781223668 864382976 23308 4294967295 134512640 134569956 3221224368 3221214728 1131170324 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211031 23308 13086 16 0 211015 0
vsize: 844124
[startup+1220.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1600
Raw data (stat): 1256 (java) R 1255 20224 20223 0 -1 0 18145 10 1 0 120465 79 11 5 25 0 11 0 781223668 864382976 23313 4294967295 134512640 134569956 3221224368 3221214680 1131235963 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211031 23313 13086 16 0 211015 0
vsize: 844124
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.17 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 1602
Raw data (stat): 1256 (java) Z 1255 20224 20223 0 -1 1036 18145 2551 1 0 120470 79 1175 32 25 0 1 0 781223668 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 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.17
CPU time (s): 1217.59
CPU user time (s): 1216.46
CPU system time (s): 1.12683
CPU usage (%): 99.788
Max. virtual memory (Kb): 844828
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	26200353185
#### END VERIFIER DATA ####