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-mas74.opb
MD5SUM	4f5abf3617135e01dd6fd08d8fd20e49
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	1218.03
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 29971

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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:        699636 kB
Buffers:         32492 kB
Cached:         277856 kB
SwapCached:        412 kB
Active:          84480 kB
Inactive:       228148 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        699384 kB
SwapTotal:     2097136 kB
SwapFree:      2096036 kB
Dirty:              44 kB
Writeback:           0 kB
Mapped:           5692 kB
Slab:            16688 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 13:40:42 (client local time) WITH STATUS 143 IN 1218.03 SECONDS
stats: 21371 0 1218.03 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/wulflinc6/normalized-mps-v2-13-7-mas74.opb
c reading problem ... done. Time 1.264 ms.
c #vars     237
c #constraints  14
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=  219902325555200000 		Current CPU time: 1.40 ms
c CURRENT OPTIMUM=  109951162777600000 		Current CPU time: 1.57 ms
c CURRENT OPTIMUM=   54975581388800000 		Current CPU time: 1.92 ms
c CURRENT OPTIMUM=   27487790694400000 		Current CPU time: 2.04 ms
c CURRENT OPTIMUM=   13743895347200000 		Current CPU time: 2.13 ms
c CURRENT OPTIMUM=    6871947673600000 		Current CPU time: 2.23 ms
c CURRENT OPTIMUM=    3435973836800000 		Current CPU time: 2.32 ms
c CURRENT OPTIMUM=    1717986918400000 		Current CPU time: 2.49 ms
c CURRENT OPTIMUM=     858993459200000 		Current CPU time: 2.55 ms
c CURRENT OPTIMUM=     429496729600000 		Current CPU time: 2.60 ms
c CURRENT OPTIMUM=     214748364800000 		Current CPU time: 2.70 ms
c CURRENT OPTIMUM=     107374182400000 		Current CPU time: 2.75 ms
c CURRENT OPTIMUM=      53687091200000 		Current CPU time: 2.81 ms
c CURRENT OPTIMUM=      26843545600000 		Current CPU time: 2.91 ms
c CURRENT OPTIMUM=      13421772800000 		Current CPU time: 2.96 ms
c CURRENT OPTIMUM=       6710886400000 		Current CPU time: 3.02 ms
c CURRENT OPTIMUM=       3355443200000 		Current CPU time: 3.12 ms
c CURRENT OPTIMUM=       1677721600000 		Current CPU time: 3.17 ms
c CURRENT OPTIMUM=        838860800000 		Current CPU time: 3.27 ms
c CURRENT OPTIMUM=        419430400000 		Current CPU time: 3.33 ms
c CURRENT OPTIMUM=        209715200000 		Current CPU time: 3.37 ms
c CURRENT OPTIMUM=        104857600000 		Current CPU time: 3.43 ms
c CURRENT OPTIMUM=         78643200000 		Current CPU time: 3.75 ms
c CURRENT OPTIMUM=         65536000000 		Current CPU time: 4.34 ms
c CURRENT OPTIMUM=         63897600000 		Current CPU time: 4.66 ms
c CURRENT OPTIMUM=         63078400000 		Current CPU time: 4.85 ms
c CURRENT OPTIMUM=         62976000000 		Current CPU time: 5.24 ms
c CURRENT OPTIMUM=         62950400000 		Current CPU time: 5.50 ms
c CURRENT OPTIMUM=         62944000000 		Current CPU time: 6.00 ms
c CURRENT OPTIMUM=         62940800000 		Current CPU time: 6.17 ms
c CURRENT OPTIMUM=         62939200000 		Current CPU time: 6.33 ms
c CURRENT OPTIMUM=         62938400000 		Current CPU time: 6.51 ms
c CURRENT OPTIMUM=         62938000000 		Current CPU time: 6.68 ms
c CURRENT OPTIMUM=         62937900000 		Current CPU time: 7.00 ms
c CURRENT OPTIMUM=         62937850000 		Current CPU time: 7.19 ms
c CURRENT OPTIMUM=         62937846875 		Current CPU time: 7.41 ms
c CURRENT OPTIMUM=         26214396943 		Current CPU time: 9.12 ms
c CURRENT OPTIMUM=         26214396935 		Current CPU time: 9.28 ms
c CURRENT OPTIMUM=         26214393810 		Current CPU time: 9.40 ms
c CURRENT OPTIMUM=         26214390685 		Current CPU time: 9.51 ms
c CURRENT OPTIMUM=         26214387560 		Current CPU time: 9.66 ms
c CURRENT OPTIMUM=         26214384435 		Current CPU time: 9.85 ms
c CURRENT OPTIMUM=         26214381310 		Current CPU time: 10.06 ms
c CURRENT OPTIMUM=         26214378185 		Current CPU time: 10.33 ms
c CURRENT OPTIMUM=         26214375060 		Current CPU time: 10.60 ms
c CURRENT OPTIMUM=         26214371935 		Current CPU time: 10.91 ms
c CURRENT OPTIMUM=         26214368810 		Current CPU time: 11.28 ms
c CURRENT OPTIMUM=         26214365685 		Current CPU time: 11.66 ms
c CURRENT OPTIMUM=         26214362560 		Current CPU time: 12.09 ms
c CURRENT OPTIMUM=         26214359435 		Current CPU time: 12.53 ms
c CURRENT OPTIMUM=         26214356310 		Current CPU time: 13.03 ms
c CURRENT OPTIMUM=         26214353185 		Current CPU time: 13.53 ms
c CURRENT OPTIMUM=         26214350060 		Current CPU time: 14.09 ms
c CURRENT OPTIMUM=         26214196935 		Current CPU time: 14.70 ms
c CURRENT OPTIMUM=         26214193810 		Current CPU time: 15.31 ms
c CURRENT OPTIMUM=         26214190685 		Current CPU time: 15.98 ms
c CURRENT OPTIMUM=         26214187560 		Current CPU time: 16.66 ms
c CURRENT OPTIMUM=         26214184435 		Current CPU time: 17.40 ms
c CURRENT OPTIMUM=         26214181310 		Current CPU time: 18.14 ms
c CURRENT OPTIMUM=         26214178185 		Current CPU time: 18.92 ms
c CURRENT OPTIMUM=         26214175060 		Current CPU time: 19.68 ms
c CURRENT OPTIMUM=         26214171935 		Current CPU time: 20.55 ms
c CURRENT OPTIMUM=         26214168810 		Current CPU time: 21.43 ms
c CURRENT OPTIMUM=         26214165685 		Current CPU time: 22.32 ms
c CURRENT OPTIMUM=         26214162560 		Current CPU time: 23.27 ms
c CURRENT OPTIMUM=         26214159435 		Current CPU time: 24.23 ms
c CURRENT OPTIMUM=         26214156310 		Current CPU time: 25.20 ms
c CURRENT OPTIMUM=         26214153185 		Current CPU time: 26.20 ms
c CURRENT OPTIMUM=         26214150060 		Current CPU time: 27.21 ms
c CURRENT OPTIMUM=         26201596935 		Current CPU time: 28.34 ms
c CURRENT OPTIMUM=         26201593810 		Current CPU time: 29.52 ms
c CURRENT OPTIMUM=         26201590685 		Current CPU time: 30.70 ms
c CURRENT OPTIMUM=         26201587560 		Current CPU time: 31.93 ms
c CURRENT OPTIMUM=         26201584435 		Current CPU time: 33.17 ms
c CURRENT OPTIMUM=         26201581310 		Current CPU time: 34.41 ms
c CURRENT OPTIMUM=         26201578185 		Current CPU time: 35.69 ms
c CURRENT OPTIMUM=         26201575060 		Current CPU time: 36.94 ms
c CURRENT OPTIMUM=         26201571935 		Current CPU time: 38.31 ms
c CURRENT OPTIMUM=         26201568810 		Current CPU time: 39.67 ms
c CURRENT OPTIMUM=         26201565685 		Current CPU time: 41.04 ms
c CURRENT OPTIMUM=         26201562560 		Current CPU time: 42.42 ms
c CURRENT OPTIMUM=         26201559435 		Current CPU time: 43.87 ms
c CURRENT OPTIMUM=         26201556310 		Current CPU time: 45.30 ms
c CURRENT OPTIMUM=         26201553185 		Current CPU time: 46.77 ms
c CURRENT OPTIMUM=         26201550060 		Current CPU time: 48.23 ms
c CURRENT OPTIMUM=         26201396935 		Current CPU time: 49.85 ms
c CURRENT OPTIMUM=         26201393810 		Current CPU time: 51.45 ms
c CURRENT OPTIMUM=         26201390685 		Current CPU time: 53.08 ms
c CURRENT OPTIMUM=         26201387560 		Current CPU time: 54.70 ms
c CURRENT OPTIMUM=         26201384435 		Current CPU time: 56.39 ms
c CURRENT OPTIMUM=         26201381310 		Current CPU time: 58.08 ms
c CURRENT OPTIMUM=         26201378185 		Current CPU time: 59.79 ms
c CURRENT OPTIMUM=         26201375060 		Current CPU time: 61.48 ms
c CURRENT OPTIMUM=         26201371935 		Current CPU time: 63.30 ms
c CURRENT OPTIMUM=         26201368810 		Current CPU time: 65.10 ms
c CURRENT OPTIMUM=         26201365685 		Current CPU time: 66.94 ms
c CURRENT OPTIMUM=         26201362560 		Current CPU time: 68.75 ms
c CURRENT OPTIMUM=         26201359435 		Current CPU time: 70.66 ms
c CURRENT OPTIMUM=         26201356310 		Current CPU time: 72.53 ms
c CURRENT OPTIMUM=         26201353185 		Current CPU time: 74.43 ms
c CURRENT OPTIMUM=         26201350060 		Current CPU time: 76.31 ms
c CURRENT OPTIMUM=         26201346935 		Current CPU time: 78.39 ms
c CURRENT OPTIMUM=         26201343810 		Current CPU time: 80.42 ms
c CURRENT OPTIMUM=         26201340685 		Current CPU time: 82.50 ms
c CURRENT OPTIMUM=         26201337560 		Current CPU time: 84.54 ms
c CURRENT OPTIMUM=         26201334435 		Current CPU time: 86.68 ms
c CURRENT OPTIMUM=         26201331310 		Current CPU time: 88.78 ms
c CURRENT OPTIMUM=         26201328185 		Current CPU time: 90.92 ms
c CURRENT OPTIMUM=         26201325060 		Current CPU time: 93.02 ms
c CURRENT OPTIMUM=         26201321935 		Current CPU time: 95.28 ms
c CURRENT OPTIMUM=         26201318810 		Current CPU time: 97.50 ms
c CURRENT OPTIMUM=         26201315685 		Current CPU time: 99.76 ms
c CURRENT OPTIMUM=         26201312560 		Current CPU time: 101.97 ms
c CURRENT OPTIMUM=         26201309435 		Current CPU time: 104.28 ms
c CURRENT OPTIMUM=         26201306310 		Current CPU time: 106.56 ms
c CURRENT OPTIMUM=         26201303185 		Current CPU time: 108.86 ms
c CURRENT OPTIMUM=         26201300060 		Current CPU time: 111.13 ms
c CURRENT OPTIMUM=         26201296935 		Current CPU time: 113.69 ms
c CURRENT OPTIMUM=         26201293810 		Current CPU time: 116.21 ms
c CURRENT OPTIMUM=         26201290685 		Current CPU time: 118.77 ms
c CURRENT OPTIMUM=         26201287560 		Current CPU time: 121.28 ms
c CURRENT OPTIMUM=         26201284435 		Current CPU time: 123.91 ms
c CURRENT OPTIMUM=         26201281310 		Current CPU time: 126.48 ms
c CURRENT OPTIMUM=         26201278185 		Current CPU time: 129.08 ms
c CURRENT OPTIMUM=         26201275060 		Current CPU time: 131.65 ms
c CURRENT OPTIMUM=         26201271935 		Current CPU time: 134.38 ms
c CURRENT OPTIMUM=         26201268810 		Current CPU time: 137.08 ms
c CURRENT OPTIMUM=         26201265685 		Current CPU time: 139.81 ms
c CURRENT OPTIMUM=         26201262560 		Current CPU time: 142.49 ms
c CURRENT OPTIMUM=         26201259435 		Current CPU time: 145.27 ms
c CURRENT OPTIMUM=         26201256310 		Current CPU time: 148.00 ms
c CURRENT OPTIMUM=         26201253185 		Current CPU time: 150.77 ms
c CURRENT OPTIMUM=         26201250060 		Current CPU time: 153.49 ms
c CURRENT OPTIMUM=         26201246935 		Current CPU time: 156.48 ms
c CURRENT OPTIMUM=         26201243810 		Current CPU time: 159.42 ms
c CURRENT OPTIMUM=         26201240685 		Current CPU time: 162.39 ms
c CURRENT OPTIMUM=         26201237560 		Current CPU time: 165.31 ms
c CURRENT OPTIMUM=         26201234435 		Current CPU time: 168.34 ms
c CURRENT OPTIMUM=         26201231310 		Current CPU time: 171.31 ms
c CURRENT OPTIMUM=         26201228185 		Current CPU time: 174.33 ms
c CURRENT OPTIMUM=         26201225060 		Current CPU time: 177.27 ms
c CURRENT OPTIMUM=         26201221935 		Current CPU time: 180.42 ms
c CURRENT OPTIMUM=         26201218810 		Current CPU time: 183.50 ms
c CURRENT OPTIMUM=         26201215685 		Current CPU time: 186.61 ms
c CURRENT OPTIMUM=         26201212560 		Current CPU time: 189.65 ms
c CURRENT OPTIMUM=         26201209435 		Current CPU time: 192.82 ms
c CURRENT OPTIMUM=         26201206310 		Current CPU time: 195.94 ms
c CURRENT OPTIMUM=         26201203185 		Current CPU time: 199.09 ms
c CURRENT OPTIMUM=         26201200060 		Current CPU time: 202.17 ms
c CURRENT OPTIMUM=         26201196935 		Current CPU time: 205.86 ms
c CURRENT OPTIMUM=         26201193810 		Current CPU time: 209.48 ms
c CURRENT OPTIMUM=         26201190685 		Current CPU time: 213.13 ms
c CURRENT OPTIMUM=         26201187560 		Current CPU time: 216.72 ms
c CURRENT OPTIMUM=         26201184435 		Current CPU time: 220.43 ms
c CURRENT OPTIMUM=         26201181310 		Current CPU time: 224.08 ms
c CURRENT OPTIMUM=         26201178185 		Current CPU time: 227.76 ms
c CURRENT OPTIMUM=         26201175060 		Current CPU time: 231.36 ms
c CURRENT OPTIMUM=         26201171935 		Current CPU time: 235.20 ms
c CURRENT OPTIMUM=         26201168810 		Current CPU time: 238.96 ms
c CURRENT OPTIMUM=         26201165685 		Current CPU time: 242.77 ms
c CURRENT OPTIMUM=         26201162560 		Current CPU time: 246.49 ms
c CURRENT OPTIMUM=         26201159435 		Current CPU time: 250.35 ms
c CURRENT OPTIMUM=         26201156310 		Current CPU time: 254.12 ms
c CURRENT OPTIMUM=         26201153185 		Current CPU time: 257.94 ms
c CURRENT OPTIMUM=         26201150060 		Current CPU time: 261.67 ms
c CURRENT OPTIMUM=         26200996935 		Current CPU time: 265.76 ms
c CURRENT OPTIMUM=         26200993810 		Current CPU time: 269.78 ms
c CURRENT OPTIMUM=         26200990685 		Current CPU time: 273.82 ms
c CURRENT OPTIMUM=         26200987560 		Current CPU time: 277.78 ms
c CURRENT OPTIMUM=         26200984435 		Current CPU time: 281.88 ms
c CURRENT OPTIMUM=         26200981310 		Current CPU time: 285.90 ms
c CURRENT OPTIMUM=         26200978185 		Current CPU time: 289.95 ms
c CURRENT OPTIMUM=         26200975060 		Current CPU time: 293.91 ms
c CURRENT OPTIMUM=         26200971935 		Current CPU time: 298.14 ms
c CURRENT OPTIMUM=         26200968810 		Current CPU time: 302.28 ms
c CURRENT OPTIMUM=         26200965685 		Current CPU time: 306.45 ms
c CURRENT OPTIMUM=         26200962560 		Current CPU time: 310.52 ms
c CURRENT OPTIMUM=         26200959435 		Current CPU time: 314.75 ms
c CURRENT OPTIMUM=         26200956310 		Current CPU time: 318.89 ms
c CURRENT OPTIMUM=         26200953185 		Current CPU time: 323.05 ms
c CURRENT OPTIMUM=         26200950060 		Current CPU time: 327.11 ms
c CURRENT OPTIMUM=         26200946935 		Current CPU time: 331.59 ms
c CURRENT OPTIMUM=         26200943810 		Current CPU time: 335.96 ms
c CURRENT OPTIMUM=         26200940685 		Current CPU time: 340.36 ms
c CURRENT OPTIMUM=         26200937560 		Current CPU time: 344.67 ms
c CURRENT OPTIMUM=         26200934435 		Current CPU time: 349.14 ms
c CURRENT OPTIMUM=         26200931310 		Current CPU time: 353.50 ms
c CURRENT OPTIMUM=         26200928185 		Current CPU time: 357.90 ms
c CURRENT OPTIMUM=         26200925060 		Current CPU time: 362.19 ms
c CURRENT OPTIMUM=         26200921935 		Current CPU time: 366.78 ms
c CURRENT OPTIMUM=         26200918810 		Current CPU time: 371.26 ms
c CURRENT OPTIMUM=         26200915685 		Current CPU time: 375.77 ms
c CURRENT OPTIMUM=         26200912560 		Current CPU time: 380.17 ms
c CURRENT OPTIMUM=         26200909435 		Current CPU time: 384.73 ms
c CURRENT OPTIMUM=         26200906310 		Current CPU time: 389.16 ms
c CURRENT OPTIMUM=         26200903185 		Current CPU time: 393.61 ms
c CURRENT OPTIMUM=         26200900060 		Current CPU time: 397.96 ms
c CURRENT OPTIMUM=         26200896935 		Current CPU time: 402.88 ms
c CURRENT OPTIMUM=         26200893810 		Current CPU time: 407.68 ms
c CURRENT OPTIMUM=         26200890685 		Current CPU time: 412.51 ms
c CURRENT OPTIMUM=         26200887560 		Current CPU time: 417.24 ms
c CURRENT OPTIMUM=         26200884435 		Current CPU time: 422.14 ms
c CURRENT OPTIMUM=         26200881310 		Current CPU time: 426.93 ms
c CURRENT OPTIMUM=         26200878185 		Current CPU time: 431.75 ms
c CURRENT OPTIMUM=         26200875060 		Current CPU time: 436.46 ms
c CURRENT OPTIMUM=         26200871935 		Current CPU time: 441.48 ms
c CURRENT OPTIMUM=         26200868810 		Current CPU time: 446.37 ms
c CURRENT OPTIMUM=         26200865685 		Current CPU time: 451.31 ms
c CURRENT OPTIMUM=         26200862560 		Current CPU time: 456.12 ms
c CURRENT OPTIMUM=         26200859435 		Current CPU time: 461.11 ms
c CURRENT OPTIMUM=         26200856310 		Current CPU time: 465.99 ms
c CURRENT OPTIMUM=         26200853185 		Current CPU time: 470.90 ms
c CURRENT OPTIMUM=         26200850060 		Current CPU time: 475.69 ms
c CURRENT OPTIMUM=         26200846935 		Current CPU time: 480.95 ms
c CURRENT OPTIMUM=         26200843810 		Current CPU time: 486.09 ms
c CURRENT OPTIMUM=         26200840685 		Current CPU time: 491.25 ms
c CURRENT OPTIMUM=         26200837560 		Current CPU time: 496.29 ms
c CURRENT OPTIMUM=         26200834435 		Current CPU time: 501.51 ms
c CURRENT OPTIMUM=         26200831310 		Current CPU time: 506.60 ms
c CURRENT OPTIMUM=         26200828185 		Current CPU time: 511.72 ms
c CURRENT OPTIMUM=         26200825060 		Current CPU time: 516.71 ms
c CURRENT OPTIMUM=         26200821935 		Current CPU time: 522.04 ms
c CURRENT OPTIMUM=         26200818810 		Current CPU time: 527.25 ms
c CURRENT OPTIMUM=         26200815685 		Current CPU time: 532.48 ms
c CURRENT OPTIMUM=         26200812560 		Current CPU time: 537.58 ms
c CURRENT OPTIMUM=         26200809435 		Current CPU time: 542.87 ms
c CURRENT OPTIMUM=         26200806310 		Current CPU time: 548.02 ms
c CURRENT OPTIMUM=         26200803185 		Current CPU time: 553.20 ms
c CURRENT OPTIMUM=         26200800060 		Current CPU time: 558.26 ms
c CURRENT OPTIMUM=         26200796935 		Current CPU time: 564.52 ms
c CURRENT OPTIMUM=         26200793810 		Current CPU time: 570.66 ms
c CURRENT OPTIMUM=         26200790685 		Current CPU time: 576.84 ms
c CURRENT OPTIMUM=         26200787560 		Current CPU time: 582.87 ms
c CURRENT OPTIMUM=         26200784435 		Current CPU time: 589.09 ms
c CURRENT OPTIMUM=         26200781310 		Current CPU time: 595.14 ms
c CURRENT OPTIMUM=         26200778185 		Current CPU time: 601.22 ms
c CURRENT OPTIMUM=         26200775060 		Current CPU time: 607.16 ms
c CURRENT OPTIMUM=         26200771935 		Current CPU time: 613.46 ms
c CURRENT OPTIMUM=         26200768810 		Current CPU time: 619.64 ms
c CURRENT OPTIMUM=         26200765685 		Current CPU time: 625.83 ms
c CURRENT OPTIMUM=         26200762560 		Current CPU time: 631.89 ms
c CURRENT OPTIMUM=         26200759435 		Current CPU time: 638.15 ms
c CURRENT OPTIMUM=         26200756310 		Current CPU time: 644.26 ms
c CURRENT OPTIMUM=         26200753185 		Current CPU time: 650.41 ms
c CURRENT OPTIMUM=         26200750060 		Current CPU time: 656.40 ms
c CURRENT OPTIMUM=         26200596935 		Current CPU time: 662.96 ms
c CURRENT OPTIMUM=         26200593810 		Current CPU time: 669.37 ms
c CURRENT OPTIMUM=         26200590685 		Current CPU time: 675.81 ms
c CURRENT OPTIMUM=         26200587560 		Current CPU time: 682.10 ms
c CURRENT OPTIMUM=         26200584435 		Current CPU time: 688.60 ms
c CURRENT OPTIMUM=         26200581310 		Current CPU time: 694.94 ms
c CURRENT OPTIMUM=         26200578185 		Current CPU time: 701.33 ms
c CURRENT OPTIMUM=         26200575060 		Current CPU time: 707.55 ms
c CURRENT OPTIMUM=         26200571935 		Current CPU time: 714.17 ms
c CURRENT OPTIMUM=         26200568810 		Current CPU time: 720.65 ms
c CURRENT OPTIMUM=         26200565685 		Current CPU time: 727.15 ms
c CURRENT OPTIMUM=         26200562560 		Current CPU time: 733.49 ms
c CURRENT OPTIMUM=         26200559435 		Current CPU time: 740.05 ms
c CURRENT OPTIMUM=         26200556310 		Current CPU time: 746.45 ms
c CURRENT OPTIMUM=         26200553185 		Current CPU time: 752.88 ms
c CURRENT OPTIMUM=         26200550060 		Current CPU time: 759.13 ms
c CURRENT OPTIMUM=         26200546935 		Current CPU time: 766.01 ms
c CURRENT OPTIMUM=         26200543810 		Current CPU time: 772.74 ms
c CURRENT OPTIMUM=         26200540685 		Current CPU time: 779.53 ms
c CURRENT OPTIMUM=         26200537560 		Current CPU time: 786.15 ms
c CURRENT OPTIMUM=         26200534435 		Current CPU time: 792.99 ms
c CURRENT OPTIMUM=         26200531310 		Current CPU time: 799.67 ms
c CURRENT OPTIMUM=         26200528185 		Current CPU time: 806.38 ms
c CURRENT OPTIMUM=         26200525060 		Current CPU time: 812.91 ms
c CURRENT OPTIMUM=         26200521935 		Current CPU time: 819.87 ms
c CURRENT OPTIMUM=         26200518810 		Current CPU time: 826.67 ms
c CURRENT OPTIMUM=         26200515685 		Current CPU time: 833.49 ms
c CURRENT OPTIMUM=         26200512560 		Current CPU time: 840.14 ms
c CURRENT OPTIMUM=         26200509435 		Current CPU time: 847.02 ms
c CURRENT OPTIMUM=         26200506310 		Current CPU time: 853.71 ms
c CURRENT OPTIMUM=         26200503185 		Current CPU time: 860.45 ms
c CURRENT OPTIMUM=         26200500060 		Current CPU time: 866.99 ms
c CURRENT OPTIMUM=         26200496935 		Current CPU time: 874.41 ms
c CURRENT OPTIMUM=         26200493810 		Current CPU time: 881.64 ms
c CURRENT OPTIMUM=         26200490685 		Current CPU time: 888.90 ms
c CURRENT OPTIMUM=         26200487560 		Current CPU time: 895.99 ms
c CURRENT OPTIMUM=         26200484435 		Current CPU time: 903.31 ms
c CURRENT OPTIMUM=         26200481310 		Current CPU time: 910.45 ms
c CURRENT OPTIMUM=         26200478185 		Current CPU time: 917.62 ms
c CURRENT OPTIMUM=         26200475060 		Current CPU time: 924.60 ms
c CURRENT OPTIMUM=         26200471935 		Current CPU time: 932.04 ms
c CURRENT OPTIMUM=         26200468810 		Current CPU time: 939.30 ms
c CURRENT OPTIMUM=         26200465685 		Current CPU time: 946.58 ms
c CURRENT OPTIMUM=         26200462560 		Current CPU time: 953.68 ms
c CURRENT OPTIMUM=         26200459435 		Current CPU time: 961.02 ms
c CURRENT OPTIMUM=         26200456310 		Current CPU time: 968.17 ms
c CURRENT OPTIMUM=         26200453185 		Current CPU time: 975.36 ms
c CURRENT OPTIMUM=         26200450060 		Current CPU time: 982.34 ms
c CURRENT OPTIMUM=         26200446935 		Current CPU time: 990.02 ms
c CURRENT OPTIMUM=         26200443810 		Current CPU time: 997.51 ms
c CURRENT OPTIMUM=         26200440685 		Current CPU time: 1005.02 ms
c CURRENT OPTIMUM=         26200437560 		Current CPU time: 1012.35 ms
c CURRENT OPTIMUM=         26200434435 		Current CPU time: 1019.92 ms
c CURRENT OPTIMUM=         26200431310 		Current CPU time: 1027.30 ms
c CURRENT OPTIMUM=         26200428185 		Current CPU time: 1034.72 ms
c CURRENT OPTIMUM=         26200425060 		Current CPU time: 1041.94 ms
c CURRENT OPTIMUM=         26200421935 		Current CPU time: 1049.64 ms
c CURRENT OPTIMUM=         26200418810 		Current CPU time: 1057.15 ms
c CURRENT OPTIMUM=         26200415685 		Current CPU time: 1064.69 ms
c CURRENT OPTIMUM=         26200412560 		Current CPU time: 1072.03 ms
c CURRENT OPTIMUM=         26200409435 		Current CPU time: 1079.62 ms
c CURRENT OPTIMUM=         26200406310 		Current CPU time: 1087.01 ms
c CURRENT OPTIMUM=         26200403185 		Current CPU time: 1094.42 ms
c CURRENT OPTIMUM=         26200400060 		Current CPU time: 1101.62 ms
c CURRENT OPTIMUM=         26200396935 		Current CPU time: 1110.28 ms
c CURRENT OPTIMUM=         26200393810 		Current CPU time: 1118.73 ms
c CURRENT OPTIMUM=         26200390685 		Current CPU time: 1127.22 ms
c CURRENT OPTIMUM=         26200387560 		Current CPU time: 1135.48 ms
c CURRENT OPTIMUM=         26200384435 		Current CPU time: 1144.04 ms
c CURRENT OPTIMUM=         26200381310 		Current CPU time: 1152.37 ms
c CURRENT OPTIMUM=         26200378185 		Current CPU time: 1160.72 ms
c CURRENT OPTIMUM=         26200375060 		Current CPU time: 1168.86 ms
c CURRENT OPTIMUM=         26200371935 		Current CPU time: 1177.52 ms
c CURRENT OPTIMUM=         26200368810 		Current CPU time: 1185.98 ms
c CURRENT OPTIMUM=         26200365685 		Current CPU time: 1194.46 ms
c CURRENT OPTIMUM=         26200362560 		Current CPU time: 1202.71 ms
c CURRENT OPTIMUM=         26200359435 		Current CPU time: 1211.26 ms
c starts	: 323
c conflicts	: 2
c decisions	: 48444
c propagations	: 56513
c inspects	: 1358249
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 2
c root simplifications	: 324
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=26200359435
c Total CPU time (ms) : 1219.186
#### 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 7341
Raw data (stat): 7341 (runsolver) R 7340 25568 25567 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 780969784 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0008 s]
Raw data (loadavg): 1.08 1.02 1.00 2/64 7387
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18149 7 1 0 680 39 0 0 25 0 11 0 780969784 862953472 20932 4294967295 134512640 134569956 3221224368 3221214656 1131292140 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210682 20932 13086 16 0 210666 0
vsize: 842728
[startup+20.0015 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 7411
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18149 7 1 0 1636 40 1 1 25 0 11 0 780969784 861872128 20594 4294967295 134512640 134569956 3221224368 3221214568 1131225625 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 20594 13086 16 0 210402 0
vsize: 841672
[startup+30.0017 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 7421
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18149 7 1 0 2594 40 2 1 21 0 11 0 780969784 861872128 20699 4294967295 134512640 134569956 3221224368 3221214568 1131224929 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210418 20699 13086 16 0 210402 0
vsize: 841672
[startup+40.0023 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 7429
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18149 7 1 0 3557 41 2 1 19 0 11 0 780969784 861872128 21001 4294967295 134512640 134569956 3221224368 3221214568 1131225801 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210418 21001 13086 16 0 210402 0
vsize: 841672
[startup+50.003 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 7436
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18149 7 1 0 4540 41 2 1 18 0 11 0 780969784 861872128 21082 4294967295 134512640 134569956 3221224368 3221214568 1131225926 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210418 21082 13086 16 0 210402 0
vsize: 841672
[startup+60.0031 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 7442
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18149 7 1 0 5524 41 3 1 17 0 11 0 780969784 861872128 21120 4294967295 134512640 134569956 3221224368 3221214472 1131198392 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210418 21120 13086 16 0 210402 0
vsize: 841672
[startup+70.0078 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 7448
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18149 7 1 0 6509 42 3 1 17 0 11 0 780969784 861872128 21168 4294967295 134512640 134569956 3221224368 3221214656 1131292214 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210418 21168 13086 16 0 210402 0
vsize: 841672
[startup+80.0089 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 7453
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18149 7 1 0 7496 42 3 1 17 0 11 0 780969784 861872128 21221 4294967295 134512640 134569956 3221224368 3221214568 1131225403 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210418 21221 13086 16 0 210402 0
vsize: 841672
[startup+90.0085 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 7458
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18149 7 1 0 8487 43 3 1 17 0 11 0 780969784 861872128 21247 4294967295 134512640 134569956 3221224368 3221214564 1131198368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210418 21247 13086 16 0 210402 0
vsize: 841672
[startup+100.009 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 7462
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 9477 43 3 1 18 0 11 0 780969784 861872128 21273 4294967295 134512640 134569956 3221224368 3221214568 1131225983 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210418 21273 13086 16 0 210402 0
vsize: 841672
[startup+110.01 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 7467
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 10467 44 3 1 18 0 11 0 780969784 861872128 21294 4294967295 134512640 134569956 3221224368 3221214652 1131224908 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210418 21294 13086 16 0 210402 0
vsize: 841672
[startup+120.011 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 7471
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 11459 44 3 2 17 0 11 0 780969784 861872128 21315 4294967295 134512640 134569956 3221224368 3221214568 1131225609 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210418 21315 13086 16 0 210402 0
vsize: 841672
[startup+130.012 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 7474
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 12450 45 3 2 18 0 11 0 780969784 861872128 21332 4294967295 134512640 134569956 3221224368 3221214472 1131198392 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210418 21332 13086 16 0 210402 0
vsize: 841672
[startup+140.012 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 7478
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 13440 45 4 2 17 0 11 0 780969784 861872128 21348 4294967295 134512640 134569956 3221224368 3221214656 1131289457 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210418 21348 13086 16 0 210402 0
vsize: 841672
[startup+150.019 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 7482
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 14431 45 4 2 17 0 11 0 780969784 861872128 21365 4294967295 134512640 134569956 3221224368 3221214568 1131225508 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210418 21365 13086 16 0 210402 0
vsize: 841672
[startup+160.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7485
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 15420 46 4 2 17 0 11 0 780969784 861872128 21411 4294967295 134512640 134569956 3221224368 3221214568 1131225561 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210418 21411 13086 16 0 210402 0
vsize: 841672
[startup+170.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7489
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 16406 47 4 2 17 0 11 0 780969784 861872128 21428 4294967295 134512640 134569956 3221224368 3221214568 1131225473 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210418 21428 13086 16 0 210402 0
vsize: 841672
[startup+180.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7492
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 17394 47 4 2 17 0 11 0 780969784 861872128 21465 4294967295 134512640 134569956 3221224368 3221214568 1131225467 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210418 21465 13086 16 0 210402 0
vsize: 841672
[startup+190.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7495
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 18384 47 5 2 17 0 11 0 780969784 861872128 21510 4294967295 134512640 134569956 3221224368 3221214656 1131289457 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210418 21510 13086 16 0 210402 0
vsize: 841672
[startup+200.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7498
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 19375 47 5 2 25 0 11 0 780969784 861872128 21522 4294967295 134512640 134569956 3221224368 3221214656 1131289457 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 21522 13086 16 0 210402 0
vsize: 841672
[startup+210.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7501
Raw data (stat): 7341 (java) S 7340 25568 25567 0 -1 0 18150 7 1 0 20368 47 5 2 25 0 11 0 780969784 861872128 21535 4294967295 134512640 134569956 3221224368 3221213312 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 21535 13086 16 0 210402 0
vsize: 841672
[startup+220.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7504
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 21361 48 5 2 25 0 11 0 780969784 861872128 21547 4294967295 134512640 134569956 3221224368 3221214568 1131225650 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 21547 13086 16 0 210402 0
vsize: 841672
[startup+230.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7507
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 22354 48 5 2 25 0 11 0 780969784 861872128 21564 4294967295 134512640 134569956 3221224368 3221214568 1131225015 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210418 21564 13086 16 0 210402 0
vsize: 841672
[startup+240.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7510
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 23346 48 5 3 25 0 11 0 780969784 861872128 21574 4294967295 134512640 134569956 3221224368 3221214568 1131225403 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 21574 13086 16 0 210402 0
vsize: 841672
[startup+250.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7512
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 24339 48 5 3 25 0 11 0 780969784 861872128 21587 4294967295 134512640 134569956 3221224368 3221214568 1131225529 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 21587 13086 16 0 210402 0
vsize: 841672
[startup+260.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7515
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 25331 48 5 3 25 0 11 0 780969784 861872128 21600 4294967295 134512640 134569956 3221224368 3221214656 1131289457 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 21600 13086 16 0 210402 0
vsize: 841672
[startup+270.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7517
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 26323 49 5 3 25 0 11 0 780969784 861872128 21609 4294967295 134512640 134569956 3221224368 3221214568 1131224950 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 21609 13086 16 0 210402 0
vsize: 841672
[startup+280.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7520
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 27316 49 5 3 25 0 11 0 780969784 861872128 21621 4294967295 134512640 134569956 3221224368 3221214568 1131225573 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 21621 13086 16 0 210402 0
vsize: 841672
[startup+290.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7522
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 28309 49 5 3 25 0 11 0 780969784 861872128 21634 4294967295 134512640 134569956 3221224368 3221214472 1131198398 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 21634 13086 16 0 210402 0
vsize: 841672
[startup+300.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7525
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 29301 49 6 3 25 0 11 0 780969784 861872128 21642 4294967295 134512640 134569956 3221224368 3221213704 1077101153 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 21642 13086 16 0 210402 0
vsize: 841672
[startup+310.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7527
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 30294 49 6 3 25 0 11 0 780969784 861872128 21655 4294967295 134512640 134569956 3221224368 3221214568 1131225403 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 21655 13086 16 0 210402 0
vsize: 841672
[startup+320.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7530
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 31287 49 6 3 25 0 11 0 780969784 861872128 21663 4294967295 134512640 134569956 3221224368 3221214568 1131225333 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 21663 13086 16 0 210402 0
vsize: 841672
[startup+330.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7532
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 32279 50 6 3 25 0 11 0 780969784 861872128 21676 4294967295 134512640 134569956 3221224368 3221214568 1131225004 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 21676 13086 16 0 210402 0
vsize: 841672
[startup+340.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7534
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 33271 50 6 3 25 0 11 0 780969784 861872128 21684 4294967295 134512640 134569956 3221224368 3221214568 1131225476 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 21684 13086 16 0 210402 0
vsize: 841672
[startup+350.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7536
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 34264 50 6 3 25 0 11 0 780969784 861872128 21692 4294967295 134512640 134569956 3221224368 3221214656 1131292944 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 21692 13086 16 0 210402 0
vsize: 841672
[startup+360.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7539
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 35256 51 6 3 16 0 11 0 780969784 861872128 21705 4294967295 134512640 134569956 3221224368 3221214656 1131290640 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 21705 13086 16 0 210402 0
vsize: 841672
[startup+370.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7541
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 36248 51 6 3 25 0 11 0 780969784 861872128 21713 4294967295 134512640 134569956 3221224368 3221214656 1131290574 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 21713 13086 16 0 210402 0
vsize: 841672
[startup+380.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7543
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 37241 51 6 3 25 0 11 0 780969784 861872128 21722 4294967295 134512640 134569956 3221224368 3221214568 1131225403 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 21722 13086 16 0 210402 0
vsize: 841672
[startup+390.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7545
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 38233 52 6 3 17 0 11 0 780969784 861872128 21734 4294967295 134512640 134569956 3221224368 3221214568 1131225879 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210418 21734 13086 16 0 210402 0
vsize: 841672
[startup+400.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7548
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 39225 53 6 3 17 0 11 0 780969784 861872128 21743 4294967295 134512640 134569956 3221224368 3221214656 1131289225 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210418 21743 13086 16 0 210402 0
vsize: 841672
[startup+410.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7550
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 40216 53 6 3 16 0 11 0 780969784 861872128 21751 4294967295 134512640 134569956 3221224368 3221214840 1131267860 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210418 21751 13086 16 0 210402 0
vsize: 841672
[startup+420.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7552
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 41208 54 6 3 17 0 11 0 780969784 861872128 21760 4294967295 134512640 134569956 3221224368 3221214656 1131292447 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210418 21760 13086 16 0 210402 0
vsize: 841672
[startup+430.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7554
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 42200 55 6 3 17 0 11 0 780969784 861872128 21773 4294967295 134512640 134569956 3221224368 3221214568 1131225619 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210418 21773 13086 16 0 210402 0
vsize: 841672
[startup+440.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7556
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 43192 55 6 4 17 0 11 0 780969784 861872128 21781 4294967295 134512640 134569956 3221224368 3221214568 1131225487 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210418 21781 13086 16 0 210402 0
vsize: 841672
[startup+450.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7558
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 44184 55 6 4 17 0 11 0 780969784 861872128 21790 4294967295 134512640 134569956 3221224368 3221214656 1131289279 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210418 21790 13086 16 0 210402 0
vsize: 841672
[startup+460.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7560
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 45177 55 6 4 17 0 11 0 780969784 861872128 21798 4294967295 134512640 134569956 3221224368 3221214568 1131225462 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210418 21798 13086 16 0 210402 0
vsize: 841672
[startup+470.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7562
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 46168 56 6 4 17 0 11 0 780969784 861872128 21806 4294967295 134512640 134569956 3221224368 3221214568 1131225791 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210418 21806 13086 16 0 210402 0
vsize: 841672
[startup+480.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7564
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 47158 56 7 4 17 0 11 0 780969784 861872128 21815 4294967295 134512640 134569956 3221224368 3221214568 1131224943 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210418 21815 13086 16 0 210402 0
vsize: 841672
[startup+490.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7566
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 48149 56 7 4 17 0 11 0 780969784 861872128 21882 4294967295 134512640 134569956 3221224368 3221214568 1131225635 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210418 21882 13086 16 0 210402 0
vsize: 841672
[startup+500.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7568
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 49141 57 7 4 17 0 11 0 780969784 861872128 21890 4294967295 134512640 134569956 3221224368 3221214652 1131313987 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210418 21890 13086 16 0 210402 0
vsize: 841672
[startup+510.084 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7570
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 50133 57 7 4 17 0 11 0 780969784 861872128 21899 4294967295 134512640 134569956 3221224368 3221214656 1131289400 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210418 21899 13086 16 0 210402 0
vsize: 841672
[startup+520.085 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7572
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 51126 58 7 4 17 0 11 0 780969784 861872128 21907 4294967295 134512640 134569956 3221224368 3221214568 1131225971 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210418 21907 13086 16 0 210402 0
vsize: 841672
[startup+530.086 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7574
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 52118 58 7 4 17 0 11 0 780969784 861872128 21916 4294967295 134512640 134569956 3221224368 3221214568 1131225625 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210418 21916 13086 16 0 210402 0
vsize: 841672
[startup+540.086 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7576
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 53110 59 7 4 17 0 11 0 780969784 861872128 21924 4294967295 134512640 134569956 3221224368 3221214568 1131225832 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210418 21924 13086 16 0 210402 0
vsize: 841672
[startup+550.087 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7578
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 54103 59 7 4 17 0 11 0 780969784 861872128 21932 4294967295 134512640 134569956 3221224368 3221214568 1131225550 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210418 21932 13086 16 0 210402 0
vsize: 841672
[startup+560.088 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7580
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 55092 59 7 4 17 0 11 0 780969784 861872128 21941 4294967295 134512640 134569956 3221224368 3221214568 1131225587 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210418 21941 13086 16 0 210402 0
vsize: 841672
[startup+570.089 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7581
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 56076 60 7 4 17 0 11 0 780969784 861872128 21945 4294967295 134512640 134569956 3221224368 3221214656 1131291557 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210418 21945 13086 16 0 210402 0
vsize: 841672
[startup+580.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7583
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 57058 61 7 4 17 0 11 0 780969784 861872128 21953 4294967295 134512640 134569956 3221224368 3221214568 1131225008 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210418 21953 13086 16 0 210402 0
vsize: 841672
[startup+590.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7585
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 58045 62 8 4 16 0 11 0 780969784 861872128 22013 4294967295 134512640 134569956 3221224368 3221214688 1131342908 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210418 22013 13086 16 0 210402 0
vsize: 841672
[startup+600.091 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7586
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 59036 62 8 4 17 0 11 0 780969784 861872128 22074 4294967295 134512640 134569956 3221224368 3221214568 1131225463 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210418 22074 13086 16 0 210402 0
vsize: 841672
[startup+610.092 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7588
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 60028 63 8 4 17 0 11 0 780969784 861872128 22082 4294967295 134512640 134569956 3221224368 3221214568 1131225940 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210418 22082 13086 16 0 210402 0
vsize: 841672
[startup+620.093 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7589
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 61021 63 8 4 17 0 11 0 780969784 861872128 22087 4294967295 134512640 134569956 3221224368 3221214656 1131293121 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210418 22087 13086 16 0 210402 0
vsize: 841672
[startup+630.094 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7591
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 62012 64 8 4 17 0 11 0 780969784 861872128 22095 4294967295 134512640 134569956 3221224368 3221214568 1131225635 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210418 22095 13086 16 0 210402 0
vsize: 841672
[startup+640.094 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7593
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 63005 64 8 4 17 0 11 0 780969784 861872128 22099 4294967295 134512640 134569956 3221224368 3221214656 1131292906 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210418 22099 13086 16 0 210402 0
vsize: 841672
[startup+650.095 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7594
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 63997 64 8 4 17 0 11 0 780969784 861872128 22108 4294967295 134512640 134569956 3221224368 3221214656 1131292935 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210418 22108 13086 16 0 210402 0
vsize: 841672
[startup+660.096 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7596
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 64988 65 8 4 17 0 11 0 780969784 861872128 22116 4294967295 134512640 134569956 3221224368 3221214652 1131224915 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210418 22116 13086 16 0 210402 0
vsize: 841672
[startup+670.097 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7597
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 65980 65 8 4 17 0 11 0 780969784 861872128 22120 4294967295 134512640 134569956 3221224368 3221214656 1131292110 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210418 22120 13086 16 0 210402 0
vsize: 841672
[startup+680.098 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7599
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 66973 65 8 4 17 0 11 0 780969784 861872128 22128 4294967295 134512640 134569956 3221224368 3221214568 1131225004 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210418 22128 13086 16 0 210402 0
vsize: 841672
[startup+690.099 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7601
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 67965 66 8 4 17 0 11 0 780969784 861872128 22133 4294967295 134512640 134569956 3221224368 3221214568 1131225879 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210418 22133 13086 16 0 210402 0
vsize: 841672
[startup+700.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7602
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 68957 66 8 4 17 0 11 0 780969784 861872128 22141 4294967295 134512640 134569956 3221224368 3221214568 1131226140 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210418 22141 13086 16 0 210402 0
vsize: 841672
[startup+710.101 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7604
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 69949 67 8 4 17 0 11 0 780969784 861872128 22149 4294967295 134512640 134569956 3221224368 3221214568 1131225352 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210418 22149 13086 16 0 210402 0
vsize: 841672
[startup+720.101 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7605
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 70941 67 8 4 17 0 11 0 780969784 861872128 22154 4294967295 134512640 134569956 3221224368 3221214568 1131225926 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210418 22154 13086 16 0 210402 0
vsize: 841672
[startup+730.103 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7607
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 71933 68 8 4 17 0 11 0 780969784 861872128 22162 4294967295 134512640 134569956 3221224368 3221214568 1131225522 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210418 22162 13086 16 0 210402 0
vsize: 841672
[startup+740.103 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7608
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 72925 68 8 4 17 0 11 0 780969784 861872128 22166 4294967295 134512640 134569956 3221224368 3221214568 1131224947 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210418 22166 13086 16 0 210402 0
vsize: 841672
[startup+750.104 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7610
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 73917 68 9 4 17 0 11 0 780969784 861872128 22174 4294967295 134512640 134569956 3221224368 3221214568 1131225557 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210418 22174 13086 16 0 210402 0
vsize: 841672
[startup+760.104 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7611
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 74909 68 9 4 17 0 11 0 780969784 861872128 22179 4294967295 134512640 134569956 3221224368 3221214584 1131308548 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210418 22179 13086 16 0 210402 0
vsize: 841672
[startup+770.106 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7613
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 75901 69 9 4 17 0 11 0 780969784 861872128 22187 4294967295 134512640 134569956 3221224368 3221214568 1131225257 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210418 22187 13086 16 0 210402 0
vsize: 841672
[startup+780.106 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7614
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 76893 69 9 4 25 0 11 0 780969784 861872128 22191 4294967295 134512640 134569956 3221224368 3221214568 1131224937 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 22191 13086 16 0 210402 0
vsize: 841672
[startup+790.107 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7616
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 77886 69 9 4 25 0 11 0 780969784 861872128 22200 4294967295 134512640 134569956 3221224368 3221214568 1131225015 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 22200 13086 16 0 210402 0
vsize: 841672
[startup+800.108 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7617
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 78878 69 9 4 25 0 11 0 780969784 861872128 22204 4294967295 134512640 134569956 3221224368 3221214568 1131226132 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 22204 13086 16 0 210402 0
vsize: 841672
[startup+810.109 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7619
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 79871 69 9 4 25 0 11 0 780969784 861872128 22212 4294967295 134512640 134569956 3221224368 3221214568 1131224940 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 22212 13086 16 0 210402 0
vsize: 841672
[startup+820.109 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7620
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 80862 70 9 4 25 0 11 0 780969784 861872128 22216 4294967295 134512640 134569956 3221224368 3221214656 1131289522 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 22216 13086 16 0 210402 0
vsize: 841672
[startup+830.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7622
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 81854 70 9 4 25 0 11 0 780969784 861872128 22225 4294967295 134512640 134569956 3221224368 3221214656 1131290696 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 22225 13086 16 0 210402 0
vsize: 841672
[startup+840.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7623
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 82846 70 9 4 25 0 11 0 780969784 861872128 22229 4294967295 134512640 134569956 3221224368 3221214656 1131289457 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 22229 13086 16 0 210402 0
vsize: 841672
[startup+850.111 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7625
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 83838 70 9 4 25 0 11 0 780969784 861872128 22237 4294967295 134512640 134569956 3221224368 3221214472 1131198446 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 22237 13086 16 0 210402 0
vsize: 841672
[startup+860.111 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7626
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 84830 70 9 4 25 0 11 0 780969784 861872128 22241 4294967295 134512640 134569956 3221224368 3221214568 1131224940 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 22241 13086 16 0 210402 0
vsize: 841672
[startup+870.112 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7628
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 85823 70 9 4 25 0 11 0 780969784 861872128 22250 4294967295 134512640 134569956 3221224368 3221214656 1131290640 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 22250 13086 16 0 210402 0
vsize: 841672
[startup+880.112 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7629
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 86815 70 9 4 25 0 11 0 780969784 861872128 22254 4294967295 134512640 134569956 3221224368 3221214568 1131225403 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 22254 13086 16 0 210402 0
vsize: 841672
[startup+890.114 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7631
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 87807 71 9 5 25 0 11 0 780969784 861872128 22262 4294967295 134512640 134569956 3221224368 3221214568 1131225403 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 22262 13086 16 0 210402 0
vsize: 841672
[startup+900.114 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7632
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 88799 71 9 5 25 0 11 0 780969784 861872128 22267 4294967295 134512640 134569956 3221224368 3221213688 1079753260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 22267 13086 16 0 210402 0
vsize: 841672
[startup+910.116 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7633
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 89791 71 9 5 25 0 11 0 780969784 861872128 22276 4294967295 134512640 134569956 3221224368 3221214568 1131225694 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 22276 13086 16 0 210402 0
vsize: 841672
[startup+920.117 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7635
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 90783 71 10 5 25 0 11 0 780969784 861872128 22280 4294967295 134512640 134569956 3221224368 3221214656 1131289522 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 22280 13086 16 0 210402 0
vsize: 841672
[startup+930.118 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7636
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 91775 72 10 5 25 0 11 0 780969784 861872128 22284 4294967295 134512640 134569956 3221224368 3221214568 1131225569 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 22284 13086 16 0 210402 0
vsize: 841672
[startup+940.122 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7637
Raw data (stat): 7341 (java) S 7340 25568 25567 0 -1 0 18150 7 1 0 92768 72 10 5 25 0 11 0 780969784 861872128 22293 4294967295 134512640 134569956 3221224368 3221213272 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 22293 13086 16 0 210402 0
vsize: 841672
[startup+950.124 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7639
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 93760 72 10 5 25 0 11 0 780969784 861872128 22297 4294967295 134512640 134569956 3221224368 3221214568 1131225403 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 22297 13086 16 0 210402 0
vsize: 841672
[startup+960.124 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7640
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 94752 72 10 5 25 0 11 0 780969784 861872128 22305 4294967295 134512640 134569956 3221224368 3221214568 1131225855 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 22305 13086 16 0 210402 0
vsize: 841672
[startup+970.125 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7642
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 95744 73 10 5 25 0 11 0 780969784 861872128 22309 4294967295 134512640 134569956 3221224368 3221214656 1131292949 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 22309 13086 16 0 210402 0
vsize: 841672
[startup+980.126 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7643
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 96736 73 10 5 25 0 11 0 780969784 861872128 22314 4294967295 134512640 134569956 3221224368 3221214568 1131225487 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 22314 13086 16 0 210402 0
vsize: 841672
[startup+990.126 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7644
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 97729 73 10 5 25 0 11 0 780969784 861872128 22322 4294967295 134512640 134569956 3221224368 3221214568 1131225968 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 22322 13086 16 0 210402 0
vsize: 841672
[startup+1000.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7646
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 98721 73 10 5 17 0 11 0 780969784 861872128 22326 4294967295 134512640 134569956 3221224368 3221214568 1131225801 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 22326 13086 16 0 210402 0
vsize: 841672
[startup+1010.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7647
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 99713 73 10 5 25 0 11 0 780969784 861872128 22334 4294967295 134512640 134569956 3221224368 3221214568 1131224950 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 22334 13086 16 0 210402 0
vsize: 841672
[startup+1020.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7648
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 100705 74 10 5 25 0 11 0 780969784 861872128 22339 4294967295 134512640 134569956 3221224368 3221214656 1131289457 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 22339 13086 16 0 210402 0
vsize: 841672
[startup+1030.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7650
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 101696 74 10 5 25 0 11 0 780969784 861872128 22343 4294967295 134512640 134569956 3221224368 3221214568 1131225251 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 22343 13086 16 0 210402 0
vsize: 841672
[startup+1040.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7651
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 102688 74 10 5 21 0 11 0 780969784 861872128 22351 4294967295 134512640 134569956 3221224368 3221214568 1131225809 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 22351 13086 16 0 210402 0
vsize: 841672
[startup+1050.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7652
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 103680 74 10 5 25 0 11 0 780969784 861872128 22355 4294967295 134512640 134569956 3221224368 3221214568 1131225257 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 22355 13086 16 0 210402 0
vsize: 841672
[startup+1060.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7654
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 104672 74 10 5 25 0 11 0 780969784 861872128 22360 4294967295 134512640 134569956 3221224368 3221214656 1131289457 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 22360 13086 16 0 210402 0
vsize: 841672
[startup+1070.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7655
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 105664 74 10 5 25 0 11 0 780969784 861872128 22368 4294967295 134512640 134569956 3221224368 3221214656 1131291365 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 22368 13086 16 0 210402 0
vsize: 841672
[startup+1080.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7656
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 106657 74 10 5 25 0 11 0 780969784 861872128 22372 4294967295 134512640 134569956 3221224368 3221214568 1131225853 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 22372 13086 16 0 210402 0
vsize: 841672
[startup+1090.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7658
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 107649 74 10 5 25 0 11 0 780969784 861872128 22376 4294967295 134512640 134569956 3221224368 3221214656 1131292974 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 22376 13086 16 0 210402 0
vsize: 841672
[startup+1100.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7659
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 108640 75 10 5 18 0 11 0 780969784 861872128 22385 4294967295 134512640 134569956 3221224368 3221214568 1131225411 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 22385 13086 16 0 210402 0
vsize: 841672
[startup+1110.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7660
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 109632 75 10 5 25 0 11 0 780969784 861872128 22389 4294967295 134512640 134569956 3221224368 3221214568 1131224925 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 22389 13086 16 0 210402 0
vsize: 841672
[startup+1120.14 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 7662
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 110624 75 10 5 25 0 11 0 780969784 861872128 22393 4294967295 134512640 134569956 3221224368 3221214472 1131199429 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 22393 13086 16 0 210402 0
vsize: 841672
[startup+1130.14 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 7663
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 111617 75 10 5 25 0 11 0 780969784 861872128 22401 4294967295 134512640 134569956 3221224368 3221214656 1131290640 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 22401 13086 16 0 210402 0
vsize: 841672
[startup+1140.14 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 7664
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 112608 75 10 5 25 0 11 0 780969784 861872128 22406 4294967295 134512640 134569956 3221224368 3221214568 1131224929 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 22406 13086 16 0 210402 0
vsize: 841672
[startup+1150.15 s]
Raw data (loadavg): 1.12 1.03 1.01 2/64 7665
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 113600 76 10 5 25 0 11 0 780969784 861872128 22410 4294967295 134512640 134569956 3221224368 3221214656 1131290623 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 22410 13086 16 0 210402 0
vsize: 841672
[startup+1160.15 s]
Raw data (loadavg): 1.10 1.03 1.01 2/64 7666
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 114592 76 10 5 17 0 11 0 780969784 861872128 22414 4294967295 134512640 134569956 3221224368 3221214568 1131225418 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 22414 13086 16 0 210402 0
vsize: 841672
[startup+1170.15 s]
Raw data (loadavg): 1.09 1.03 1.01 2/64 7668
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 115585 76 10 5 25 0 11 0 780969784 861872128 22418 4294967295 134512640 134569956 3221224368 3221214568 1131225688 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 22418 13086 16 0 210402 0
vsize: 841672
[startup+1180.15 s]
Raw data (loadavg): 1.07 1.03 1.00 2/64 7669
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 116577 76 11 5 25 0 11 0 780969784 861872128 22422 4294967295 134512640 134569956 3221224368 3221214568 1131225403 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 22422 13086 16 0 210402 0
vsize: 841672
[startup+1190.15 s]
Raw data (loadavg): 1.06 1.03 1.00 2/64 7670
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 117569 76 11 5 25 0 11 0 780969784 861872128 22431 4294967295 134512640 134569956 3221224368 3221214568 1131225015 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 22431 13086 16 0 210402 0
vsize: 841672
[startup+1200.15 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 7671
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 118561 76 11 5 25 0 11 0 780969784 861872128 22435 4294967295 134512640 134569956 3221224368 3221214656 1131289457 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 22435 13086 16 0 210402 0
vsize: 841672
[startup+1210.15 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 7672
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 119553 77 11 5 25 0 11 0 780969784 861872128 22439 4294967295 134512640 134569956 3221224368 3221214568 1131225403 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 22439 13086 16 0 210402 0
vsize: 841672
[startup+1220.15 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 7673
Raw data (stat): 7341 (java) R 7340 25568 25567 0 -1 0 18150 7 1 0 120545 77 11 5 24 0 11 0 780969784 861872128 22443 4294967295 134512640 134569956 3221224368 3221214568 1131225583 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 22443 13086 16 0 210402 0
vsize: 841672
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.23 s]
Raw data (loadavg): 1.04 1.02 1.00 1/54 7675
Raw data (stat): 7341 (java) Z 7340 25568 25567 0 -1 1036 18150 2535 1 0 120548 77 1152 25 25 0 1 0 780969784 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.23
CPU time (s): 1218.03
CPU user time (s): 1217.01
CPU system time (s): 1.02484
CPU usage (%): 99.8197
Max. virtual memory (Kb): 842728
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	26200359435
#### END VERIFIER DATA ####