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-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos15.opb
MD5SUM	584a89cb58a30b93d7847990b5296729
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	10400
Biggest coefficient in the objective function	536870912000000000000
Number of bits for the biggest coefficient in the objective function	69
Sum of the numbers in the objective function	77389326876814405009408
Number of bits of the sum of numbers in the objective function	77
Biggest number in a constraint	536870912000000000000
Number of bits of the biggest number in a constraint	69
Biggest sum of numbers in a constraint	77389326876814405009408
Number of bits of the biggest sum of numbers	77
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1240.48
Number of variables	17600
Total number of constraints	792
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	160
Number of constraints which are nor clauses,nor cardinality constraints	632
Minimum length of a constraint	1
Maximum length of a constraint	150
Trace number 20654

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc9 THE 2005-04-21 21:36:43 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=14582 boxname=wulflinc9 idbench=1122 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  584a89cb58a30b93d7847990b5296729  /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-20-10-neos15.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-20-10-neos15.opb
IDLAUNCH: 14582
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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.242
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:        541400 kB
Buffers:         26736 kB
Cached:         444028 kB
SwapCached:          0 kB
Active:         189884 kB
Inactive:       283664 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        541148 kB
SwapTotal:     2097136 kB
SwapFree:      2097048 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6824 kB
Slab:            14116 kB
Committed_AS:    63592 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 21:57:56 (client local time) WITH STATUS 143 IN 1269.08 SECONDS
stats: 14582 7 1269.08 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-20-10-neos15.opb
c reading problem 
c [nbvar=17600]
c [nbconstr=792]
c time 93.477
c #vars     17600
c #clauses  873
c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
c SATISFIABLE
c OPTIMIZING...
c 
c CURRENT OPTIMUM=1247838208
c Current CPU time (ms) : 118.762
c starts	: 1
c conflicts	: 0
c decisions	: 7790
c propagations	: 17600
c inspects	: 25779
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 1
c 
c CURRENT OPTIMUM=1247838208
c Current CPU time (ms) : 140.904
c starts	: 2
c conflicts	: 0
c decisions	: 15580
c propagations	: 32366
c inspects	: 49218
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 2
c 
c CURRENT OPTIMUM=1247838208
c Current CPU time (ms) : 162.724
c starts	: 3
c conflicts	: 0
c decisions	: 23370
c propagations	: 47132
c inspects	: 72657
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 3
c 
c CURRENT OPTIMUM=1247838208
c Current CPU time (ms) : 184.292
c starts	: 4
c conflicts	: 0
c decisions	: 31160
c propagations	: 61898
c inspects	: 96096
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 4
c 
c CURRENT OPTIMUM=1247838208
c Current CPU time (ms) : 206.011
c starts	: 5
c conflicts	: 0
c decisions	: 38950
c propagations	: 76664
c inspects	: 119534
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 5
c 
c CURRENT OPTIMUM=1247838208
c Current CPU time (ms) : 227.891
c starts	: 6
c conflicts	: 0
c decisions	: 46740
c propagations	: 91430
c inspects	: 142973
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 6
c 
c CURRENT OPTIMUM=1247838208
c Current CPU time (ms) : 249.448
c starts	: 7
c conflicts	: 0
c decisions	: 54530
c propagations	: 106196
c inspects	: 166410
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 7
c 
c CURRENT OPTIMUM=1247838208
c Current CPU time (ms) : 271.19
c starts	: 8
c conflicts	: 0
c decisions	: 62320
c propagations	: 120962
c inspects	: 189848
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 8
c 
c CURRENT OPTIMUM=1247838208
c Current CPU time (ms) : 292.794
c starts	: 9
c conflicts	: 0
c decisions	: 70110
c propagations	: 135728
c inspects	: 213287
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 9
c 
c CURRENT OPTIMUM=1247838208
c Current CPU time (ms) : 314.479
c starts	: 10
c conflicts	: 0
c decisions	: 77900
c propagations	: 150494
c inspects	: 236725
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 10
c 
c CURRENT OPTIMUM=1247838208
c Current CPU time (ms) : 336.182
c starts	: 11
c conflicts	: 0
c decisions	: 85690
c propagations	: 165260
c inspects	: 260163
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 11
c 
c CURRENT OPTIMUM=1247838208
c Current CPU time (ms) : 358.062
c starts	: 12
c conflicts	: 0
c decisions	: 93480
c propagations	: 180026
c inspects	: 283602
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 12
c 
c CURRENT OPTIMUM=1247838208
c Current CPU time (ms) : 379.783
c starts	: 13
c conflicts	: 0
c decisions	: 101270
c propagations	: 194792
c inspects	: 307040
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 13
c 
c CURRENT OPTIMUM=1247838208
c Current CPU time (ms) : 401.574
c starts	: 14
c conflicts	: 0
c decisions	: 109060
c propagations	: 209558
c inspects	: 330479
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 14
c 
c CURRENT OPTIMUM=1247838208
c Current CPU time (ms) : 423.101
c starts	: 15
c conflicts	: 0
c decisions	: 116850
c propagations	: 224324
c inspects	: 353917
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 15
c 
c CURRENT OPTIMUM=1247838208
c Current CPU time (ms) : 444.826
c starts	: 16
c conflicts	: 0
c decisions	: 124640
c propagations	: 239090
c inspects	: 377357
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 16
c 
c CURRENT OPTIMUM=1247838208
c Current CPU time (ms) : 466.68
c starts	: 17
c conflicts	: 0
c decisions	: 132430
c propagations	: 253856
c inspects	: 400797
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 17
c 
c CURRENT OPTIMUM=1247838208
c Current CPU time (ms) : 488.241
c starts	: 18
c conflicts	: 0
c decisions	: 140220
c propagations	: 268622
c inspects	: 424236
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 18
c 
c CURRENT OPTIMUM=1247838208
c Current CPU time (ms) : 509.904
c starts	: 19
c conflicts	: 0
c decisions	: 148010
c propagations	: 283388
c inspects	: 447673
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 19
c 
c CURRENT OPTIMUM=1247838208
c Current CPU time (ms) : 531.68
c starts	: 20
c conflicts	: 0
c decisions	: 155800
c propagations	: 298154
c inspects	: 471112
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 20
c 
c CURRENT OPTIMUM=1247838208
c Current CPU time (ms) : 553.161
c starts	: 21
c conflicts	: 0
c decisions	: 163590
c propagations	: 312920
c inspects	: 494551
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 21
c 
c CURRENT OPTIMUM=1247838208
c Current CPU time (ms) : 574.625
c starts	: 22
c conflicts	: 0
c decisions	: 171380
c propagations	: 327686
c inspects	: 517990
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 22
c 
c CURRENT OPTIMUM=1247838208
c Current CPU time (ms) : 596.353
c starts	: 23
c conflicts	: 0
c decisions	: 179170
c propagations	: 342452
c inspects	: 541429
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 23
c 
c CURRENT OPTIMUM=1247838208
c Current CPU time (ms) : 618.219
c starts	: 24
c conflicts	: 0
c decisions	: 186960
c propagations	: 357218
c inspects	: 564869
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 24
c 
c CURRENT OPTIMUM=1247838208
c Current CPU time (ms) : 639.984
c starts	: 25
c conflicts	: 0
c decisions	: 194750
c propagations	: 371984
c inspects	: 588306
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 25
c 
c CURRENT OPTIMUM=1247838208
c Current CPU time (ms) : 661.745
c starts	: 26
c conflicts	: 0
c decisions	: 202540
c propagations	: 386750
c inspects	: 611745
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 26
c 
c CURRENT OPTIMUM=1247838208
c Current CPU time (ms) : 683.379
c starts	: 27
c conflicts	: 0
c decisions	: 210330
c propagations	: 401516
c inspects	: 635185
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 27
c 
c CURRENT OPTIMUM=1247838208
c Current CPU time (ms) : 704.915
c starts	: 28
c conflicts	: 0
c decisions	: 218120
c propagations	: 416282
c inspects	: 658624
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 28
c 
c CURRENT OPTIMUM=1247838208
c Current CPU time (ms) : 726.45
c starts	: 29
c conflicts	: 0
c decisions	: 225910
c propagations	: 431048
c inspects	: 682061
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 29
c 
c CURRENT OPTIMUM=1247838208
c Current CPU time (ms) : 748.0
c starts	: 30
c conflicts	: 0
c decisions	: 233700
c propagations	: 445814
c inspects	: 705500
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 30
c 
c CURRENT OPTIMUM=1247838208
c Current CPU time (ms) : 769.555
c starts	: 31
c conflicts	: 0
c decisions	: 241490
c propagations	: 460580
c inspects	: 728938
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 31
c 
c CURRENT OPTIMUM=1247838208
c Current CPU time (ms) : 791.098
c starts	: 32
c conflicts	: 0
c decisions	: 249280
c propagations	: 475346
c inspects	: 752377
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 32
c 
c CURRENT OPTIMUM=1247838208
c Current CPU time (ms) : 812.706
c starts	: 33
c conflicts	: 0
c decisions	: 257070
c propagations	: 490112
c inspects	: 775816
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 33
c 
c CURRENT OPTIMUM=1247838208
c Current CPU time (ms) : 834.374
c starts	: 34
c conflicts	: 0
c decisions	: 264860
c propagations	: 504878
c inspects	: 799255
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 34
c 
c CURRENT OPTIMUM=1247838208
c Current CPU time (ms) : 856.041
c starts	: 35
c conflicts	: 0
c decisions	: 272650
c propagations	: 519644
c inspects	: 822692
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 35
c 
c CURRENT OPTIMUM=1247838208
c Current CPU time (ms) : 877.686
c starts	: 36
c conflicts	: 0
c decisions	: 280440
c propagations	: 534410
c inspects	: 846131
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 36
c 
c CURRENT OPTIMUM=1247838208
c Current CPU time (ms) : 899.263
c starts	: 37
c conflicts	: 0
c decisions	: 288230
c propagations	: 549176
c inspects	: 869570
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 37
c 
c CURRENT OPTIMUM=1247838208
c Current CPU time (ms) : 920.879
c starts	: 38
c conflicts	: 0
c decisions	: 296020
c propagations	: 563942
c inspects	: 893009
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 38
c 
c CURRENT OPTIMUM=1247838208
c Current CPU time (ms) : 942.248
c starts	: 39
c conflicts	: 0
c decisions	: 303810
c propagations	: 578708
c inspects	: 916448
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 39
c 
c CURRENT OPTIMUM=1247838208
c Current CPU time (ms) : 963.813
c starts	: 40
c conflicts	: 0
c decisions	: 311600
c propagations	: 593474
c inspects	: 939888
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 40
c 
c CURRENT OPTIMUM=1247838208
c Current CPU time (ms) : 985.338
c starts	: 41
c conflicts	: 0
c decisions	: 319390
c propagations	: 608240
c inspects	: 963328
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 41
c 
c CURRENT OPTIMUM=1247838208
c Current CPU time (ms) : 1006.991
c starts	: 42
c conflicts	: 0
c decisions	: 327180
c propagations	: 623006
c inspects	: 986767
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 42
c 
c CURRENT OPTIMUM=1247838208
c Current CPU time (ms) : 1028.768
c starts	: 43
c conflicts	: 0
c decisions	: 334970
c propagations	: 637772
c inspects	: 1010206
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 43
c 
c CURRENT OPTIMUM=1247838208
c Current CPU time (ms) : 1050.521
c starts	: 44
c conflicts	: 0
c decisions	: 342760
c propagations	: 652538
c inspects	: 1033646
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 44
c 
c CURRENT OPTIMUM=1247838208
c Current CPU time (ms) : 1072.294
c starts	: 45
c conflicts	: 0
c decisions	: 350550
c propagations	: 667304
c inspects	: 1057084
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 45
c 
c CURRENT OPTIMUM=1247838208
c Current CPU time (ms) : 1094.128
c starts	: 46
c conflicts	: 0
c decisions	: 358340
c propagations	: 682070
c inspects	: 1080523
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 46
c 
c CURRENT OPTIMUM=1247838208
c Current CPU time (ms) : 1116.303
c starts	: 47
c conflicts	: 0
c decisions	: 366130
c propagations	: 696836
c inspects	: 1103962
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 47
c 
c CURRENT OPTIMUM=1247838208
c Current CPU time (ms) : 1138.579
c starts	: 48
c conflicts	: 0
c decisions	: 373920
c propagations	: 711602
c inspects	: 1127401
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 48
c 
c CURRENT OPTIMUM=1247838208
c Current CPU time (ms) : 1160.732
c starts	: 49
c conflicts	: 0
c decisions	: 381710
c propagations	: 726368
c inspects	: 1150840
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 49
c 
c CURRENT OPTIMUM=1247838208
c Current CPU time (ms) : 1183.217
c starts	: 50
c conflicts	: 0
c decisions	: 389500
c propagations	: 741134
c inspects	: 1174280
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 50
c 
c CURRENT OPTIMUM=1247838208
c Current CPU time (ms) : 1205.265
c starts	: 51
c conflicts	: 0
c decisions	: 397290
c propagations	: 755900
c inspects	: 1197719
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 51
c 
c CURRENT OPTIMUM=1247838208
c Current CPU time (ms) : 1227.206
c starts	: 52
c conflicts	: 0
c decisions	: 405080
c propagations	: 770666
c inspects	: 1221159
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 52
c 
c CURRENT OPTIMUM=1247838208
c Current CPU time (ms) : 1249.108
c starts	: 53
c conflicts	: 0
c decisions	: 412870
c propagations	: 785432
c inspects	: 1244597
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 53
#### 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.58 0.86 0.88 2/54 27613
Raw data (stat): 27613 (runsolver) R 27612 30854 30853 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 490149890 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0002 s]
Raw data (loadavg): 0.79 0.90 0.89 2/63 27622
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 17987 0 1 0 884 39 0 0 24 0 10 0 490149890 853696512 19243 4294967295 134512640 134569956 3221224400 3221214472 1074489757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208422 19243 13073 16 0 208406 0
vsize: 833688
[startup+20.0014 s]
Raw data (loadavg): 0.82 0.90 0.89 2/63 27622
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 17987 0 1 0 1778 39 0 0 25 0 10 0 490149890 853696512 19681 4294967295 134512640 134569956 3221224400 3221214812 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208422 19681 13073 16 0 208406 0
vsize: 833688
[startup+30.0022 s]
Raw data (loadavg): 0.85 0.91 0.89 2/63 27622
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 17987 0 1 0 2676 40 0 0 23 0 10 0 490149890 853696512 20117 4294967295 134512640 134569956 3221224400 3221214760 1130920013 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208422 20117 13073 16 0 208406 0
vsize: 833688
[startup+40.0024 s]
Raw data (loadavg): 0.87 0.91 0.89 2/63 27622
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 17995 0 1 0 3558 40 0 0 25 0 10 0 490149890 857505792 21156 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209352 21156 13073 16 0 209336 0
vsize: 837408
[startup+50.0028 s]
Raw data (loadavg): 0.89 0.91 0.89 2/63 27622
Raw data (stat): 27613 (java) S 27612 30854 30853 0 -1 0 17995 0 1 0 4436 40 0 0 25 0 10 0 490149890 857296896 21541 4294967295 134512640 134569956 3221224400 3221213544 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209301 21541 13073 16 0 209285 0
vsize: 837204
[startup+60.0026 s]
Raw data (loadavg): 0.91 0.91 0.89 2/63 27622
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 17995 0 1 0 5297 41 0 0 18 0 10 0 490149890 857296896 22040 4294967295 134512640 134569956 3221224400 3221214208 1076874558 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209301 22040 13073 16 0 209285 0
vsize: 837204
[startup+70.0037 s]
Raw data (loadavg): 0.92 0.92 0.89 2/63 27622
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 17995 0 1 0 6181 41 0 0 21 0 10 0 490149890 857296896 22337 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209301 22337 13073 16 0 209285 0
vsize: 837204
[startup+80.0041 s]
Raw data (loadavg): 0.93 0.92 0.89 2/63 27622
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 17995 0 1 0 7058 41 0 0 17 0 10 0 490149890 857296896 22590 4294967295 134512640 134569956 3221224400 3221214828 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209301 22590 13073 16 0 209285 0
vsize: 837204
[startup+90.0038 s]
Raw data (loadavg): 0.94 0.92 0.89 2/63 27622
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 17995 0 1 0 7948 42 0 0 19 0 10 0 490149890 857296896 22844 4294967295 134512640 134569956 3221224400 3221214112 1131261517 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209301 22844 13073 16 0 209285 0
vsize: 837204
[startup+100.004 s]
Raw data (loadavg): 0.95 0.92 0.90 2/64 27623
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18023 0 1 0 8852 43 0 0 25 0 11 0 490149890 858873856 23563 4294967295 134512640 134569956 3221224400 3221214680 1131279534 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209686 23563 13073 16 0 209670 0
vsize: 838744
[startup+110.004 s]
Raw data (loadavg): 0.96 0.92 0.90 2/64 27623
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18024 0 1 0 9745 44 0 0 25 0 11 0 490149890 858873856 23639 4294967295 134512640 134569956 3221224400 3221214680 1131279916 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209686 23639 13073 16 0 209670 0
vsize: 838744
[startup+120.005 s]
Raw data (loadavg): 0.96 0.93 0.90 2/64 27624
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 10639 44 0 0 25 0 11 0 490149890 857825280 23481 4294967295 134512640 134569956 3221224400 3221214664 1131279037 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209430 23481 13073 16 0 209414 0
vsize: 837720
[startup+130.005 s]
Raw data (loadavg): 0.97 0.93 0.90 2/64 27624
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 11552 44 0 0 25 0 11 0 490149890 857825280 24108 4294967295 134512640 134569956 3221224400 3221214664 1131278811 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209430 24108 13073 16 0 209414 0
vsize: 837720
[startup+140.005 s]
Raw data (loadavg): 0.97 0.93 0.90 2/64 27624
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 12513 45 0 0 25 0 11 0 490149890 857825280 24108 4294967295 134512640 134569956 3221224400 3221214664 1131279037 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209430 24108 13073 16 0 209414 0
vsize: 837720
[startup+150.006 s]
Raw data (loadavg): 0.98 0.93 0.90 2/64 27625
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 13457 45 0 0 25 0 11 0 490149890 857825280 24293 4294967295 134512640 134569956 3221224400 3221214664 1131279037 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209430 24293 13073 16 0 209414 0
vsize: 837720
[startup+160.006 s]
Raw data (loadavg): 0.98 0.93 0.90 2/64 27625
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 14418 45 0 0 25 0 11 0 490149890 857825280 24312 4294967295 134512640 134569956 3221224400 3221214760 1131377242 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209430 24312 13073 16 0 209414 0
vsize: 837720
[startup+170.006 s]
Raw data (loadavg): 0.98 0.94 0.90 2/64 27626
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 15365 46 0 0 25 0 11 0 490149890 857825280 24450 4294967295 134512640 134569956 3221224400 3221214664 1131279037 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209430 24450 13073 16 0 209414 0
vsize: 837720
[startup+180.006 s]
Raw data (loadavg): 0.98 0.94 0.90 2/64 27626
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 16328 46 0 0 25 0 11 0 490149890 857825280 24714 4294967295 134512640 134569956 3221224400 3221214664 1131278654 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209430 24714 13073 16 0 209414 0
vsize: 837720
[startup+190.006 s]
Raw data (loadavg): 0.99 0.94 0.90 2/64 27627
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 17283 47 0 0 25 0 11 0 490149890 857825280 24732 4294967295 134512640 134569956 3221224400 3221214664 1131278629 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209430 24732 13073 16 0 209414 0
vsize: 837720
[startup+200.006 s]
Raw data (loadavg): 0.99 0.94 0.91 2/64 27627
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 18235 47 0 0 25 0 11 0 490149890 857825280 24906 4294967295 134512640 134569956 3221224400 3221214664 1131279530 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209430 24906 13073 16 0 209414 0
vsize: 837720
[startup+210.006 s]
Raw data (loadavg): 0.99 0.94 0.91 2/64 27628
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 19184 48 0 0 25 0 11 0 490149890 857825280 24918 4294967295 134512640 134569956 3221224400 3221214664 1131279858 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209430 24918 13073 16 0 209414 0
vsize: 837720
[startup+220.007 s]
Raw data (loadavg): 0.99 0.94 0.91 2/64 27628
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 20131 48 0 0 25 0 11 0 490149890 857825280 25123 4294967295 134512640 134569956 3221224400 3221214664 1131278661 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209430 25123 13073 16 0 209414 0
vsize: 837720
[startup+230.007 s]
Raw data (loadavg): 0.99 0.94 0.91 2/64 27629
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 21090 48 0 0 25 0 11 0 490149890 857825280 25312 4294967295 134512640 134569956 3221224400 3221214664 1131279037 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209430 25312 13073 16 0 209414 0
vsize: 837720
[startup+240.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/64 27629
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 22041 48 0 0 25 0 11 0 490149890 857825280 25485 4294967295 134512640 134569956 3221224400 3221214760 1131377314 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209430 25485 13073 16 0 209414 0
vsize: 837720
[startup+250.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 27629
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 23005 48 0 0 25 0 10 0 490149890 857825280 25526 4294967295 134512640 134569956 3221224400 3221214908 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209430 25526 13073 16 0 209414 0
vsize: 837720
[startup+260.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/64 27630
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 23958 49 0 0 25 0 11 0 490149890 857825280 25694 4294967295 134512640 134569956 3221224400 3221214760 1131377235 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209430 25694 13073 16 0 209414 0
vsize: 837720
[startup+270.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/64 27630
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 24924 49 0 0 25 0 11 0 490149890 857825280 25726 4294967295 134512640 134569956 3221224400 3221214664 1131279037 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209430 25726 13073 16 0 209414 0
vsize: 837720
[startup+280.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/64 27631
Raw data (stat): 27613 (java) S 27612 30854 30853 0 -1 0 18025 3 1 0 25878 50 0 0 25 0 11 0 490149890 857825280 25880 4294967295 134512640 134569956 3221224400 3221213368 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209430 25880 13073 16 0 209414 0
vsize: 837720
[startup+290.017 s]
Raw data (loadavg): 0.99 0.95 0.91 2/64 27631
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 26842 50 0 0 25 0 11 0 490149890 857825280 25909 4294967295 134512640 134569956 3221224400 3221214664 1131279103 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209430 25909 13073 16 0 209414 0
vsize: 837720
[startup+300.017 s]
Raw data (loadavg): 0.99 0.95 0.91 2/64 27632
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 27793 50 0 0 25 0 11 0 490149890 857825280 25920 4294967295 134512640 134569956 3221224400 3221214664 1131278992 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209430 25920 13073 16 0 209414 0
vsize: 837720
[startup+310.017 s]
Raw data (loadavg): 0.99 0.95 0.91 2/64 27632
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 28752 51 0 0 25 0 11 0 490149890 857825280 26177 4294967295 134512640 134569956 3221224400 3221214760 1131376158 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209430 26177 13073 16 0 209414 0
vsize: 837720
[startup+320.018 s]
Raw data (loadavg): 0.99 0.95 0.91 2/64 27633
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 29703 51 0 0 25 0 11 0 490149890 857825280 26202 4294967295 134512640 134569956 3221224400 3221214664 1131278629 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209430 26202 13073 16 0 209414 0
vsize: 837720
[startup+330.018 s]
Raw data (loadavg): 0.99 0.95 0.91 2/64 27633
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 30657 51 0 0 25 0 11 0 490149890 857825280 26632 4294967295 134512640 134569956 3221224400 3221214760 1131378116 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209430 26632 13073 16 0 209414 0
vsize: 837720
[startup+340.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/64 27634
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 31615 52 0 0 25 0 11 0 490149890 857825280 26636 4294967295 134512640 134569956 3221224400 3221214664 1131279123 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209430 26636 13073 16 0 209414 0
vsize: 837720
[startup+350.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/64 27634
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 32568 52 0 0 25 0 11 0 490149890 857825280 26805 4294967295 134512640 134569956 3221224400 3221214664 1131278973 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209430 26805 13073 16 0 209414 0
vsize: 837720
[startup+360.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/64 27635
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 33527 53 0 0 25 0 11 0 490149890 857825280 26826 4294967295 134512640 134569956 3221224400 3221214664 1131279037 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209430 26826 13073 16 0 209414 0
vsize: 837720
[startup+370.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/64 27635
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 34474 53 0 0 25 0 11 0 490149890 857825280 27013 4294967295 134512640 134569956 3221224400 3221214664 1131279037 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209430 27013 13073 16 0 209414 0
vsize: 837720
[startup+380.02 s]
Raw data (loadavg): 0.99 0.96 0.91 2/64 27635
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 35438 53 0 0 25 0 11 0 490149890 857825280 27089 4294967295 134512640 134569956 3221224400 3221214760 1131378201 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209430 27089 13073 16 0 209414 0
vsize: 837720
[startup+390.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/64 27636
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 36384 54 0 0 25 0 11 0 490149890 857825280 27269 4294967295 134512640 134569956 3221224400 3221214760 1131377345 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209430 27269 13073 16 0 209414 0
vsize: 837720
[startup+400.02 s]
Raw data (loadavg): 0.99 0.96 0.91 2/64 27636
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 37351 54 0 0 25 0 11 0 490149890 857825280 27327 4294967295 134512640 134569956 3221224400 3221214760 1131378201 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209430 27327 13073 16 0 209414 0
vsize: 837720
[startup+410.02 s]
Raw data (loadavg): 0.99 0.96 0.91 2/64 27637
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 38299 55 0 0 25 0 11 0 490149890 857825280 27490 4294967295 134512640 134569956 3221224400 3221214664 1131278994 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209430 27490 13073 16 0 209414 0
vsize: 837720
[startup+420.021 s]
Raw data (loadavg): 0.99 0.96 0.91 2/64 27637
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 39268 55 0 0 25 0 11 0 490149890 857825280 27514 4294967295 134512640 134569956 3221224400 3221214664 1131279815 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209430 27514 13073 16 0 209414 0
vsize: 837720
[startup+430.021 s]
Raw data (loadavg): 0.99 0.96 0.91 2/64 27638
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 40224 56 0 0 25 0 11 0 490149890 857825280 27534 4294967295 134512640 134569956 3221224400 3221214760 1131375827 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209430 27534 13073 16 0 209414 0
vsize: 837720
[startup+440.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 27638
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 41192 57 0 0 25 0 11 0 490149890 857825280 27684 4294967295 134512640 134569956 3221224400 3221214664 1131278885 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209430 27684 13073 16 0 209414 0
vsize: 837720
[startup+450.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 27639
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 42152 57 0 0 25 0 11 0 490149890 857825280 27691 4294967295 134512640 134569956 3221224400 3221214760 1131378203 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209430 27691 13073 16 0 209414 0
vsize: 837720
[startup+460.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 27639
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 43115 58 0 0 25 0 11 0 490149890 857825280 27850 4294967295 134512640 134569956 3221224400 3221214760 1131377198 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209430 27850 13073 16 0 209414 0
vsize: 837720
[startup+470.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 27640
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 44076 58 0 0 25 0 11 0 490149890 857825280 27866 4294967295 134512640 134569956 3221224400 3221214664 1131279305 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209430 27866 13073 16 0 209414 0
vsize: 837720
[startup+480.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 27640
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 45032 58 0 0 25 0 11 0 490149890 857825280 28052 4294967295 134512640 134569956 3221224400 3221214664 1131278617 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209430 28052 13073 16 0 209414 0
vsize: 837720
[startup+490.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 27641
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 45991 59 0 0 24 0 11 0 490149890 857825280 28124 4294967295 134512640 134569956 3221224400 3221214664 1131279153 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209430 28124 13073 16 0 209414 0
vsize: 837720
[startup+500.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 27641
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 46946 59 0 0 24 0 11 0 490149890 857825280 28342 4294967295 134512640 134569956 3221224400 3221214760 1131376151 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209430 28342 13073 16 0 209414 0
vsize: 837720
[startup+510.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 27641
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 47908 60 0 0 25 0 11 0 490149890 857825280 28430 4294967295 134512640 134569956 3221224400 3221214664 1131279206 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209430 28430 13073 16 0 209414 0
vsize: 837720
[startup+520.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 27642
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 48847 60 0 0 25 0 11 0 490149890 857825280 28576 4294967295 134512640 134569956 3221224400 3221214664 1131279110 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209430 28576 13073 16 0 209414 0
vsize: 837720
[startup+530.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 27642
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 49803 61 0 0 25 0 11 0 490149890 857825280 28589 4294967295 134512640 134569956 3221224400 3221214664 1131278973 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209430 28589 13073 16 0 209414 0
vsize: 837720
[startup+540.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 27643
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 50753 61 0 0 25 0 11 0 490149890 857825280 29280 4294967295 134512640 134569956 3221224400 3221214664 1131278636 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209430 29280 13073 16 0 209414 0
vsize: 837720
[startup+550.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 27643
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 51725 61 0 0 25 0 11 0 490149890 857825280 29295 4294967295 134512640 134569956 3221224400 3221214664 1131279037 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209430 29295 13073 16 0 209414 0
vsize: 837720
[startup+560.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 27644
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 52682 62 0 0 25 0 11 0 490149890 857825280 29296 4294967295 134512640 134569956 3221224400 3221214664 1131279198 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209430 29296 13073 16 0 209414 0
vsize: 837720
[startup+570.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 27644
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 53652 62 0 0 25 0 11 0 490149890 857825280 29446 4294967295 134512640 134569956 3221224400 3221214664 1131279264 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209430 29446 13073 16 0 209414 0
vsize: 837720
[startup+580.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 27645
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 54610 63 0 0 25 0 11 0 490149890 857825280 29446 4294967295 134512640 134569956 3221224400 3221214664 1131278977 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209430 29446 13073 16 0 209414 0
vsize: 837720
[startup+590.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 27645
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 55563 63 0 0 24 0 11 0 490149890 857825280 29592 4294967295 134512640 134569956 3221224400 3221214664 1131279167 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209430 29592 13073 16 0 209414 0
vsize: 837720
[startup+600.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 27646
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 56512 63 0 0 24 0 11 0 490149890 857825280 29602 4294967295 134512640 134569956 3221224400 3221214664 1131279037 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209430 29602 13073 16 0 209414 0
vsize: 837720
[startup+610.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 27646
Raw data (stat): 27613 (java) S 27612 30854 30853 0 -1 0 18025 3 1 0 57462 64 0 0 25 0 11 0 490149890 857825280 29811 4294967295 134512640 134569956 3221224400 3221213408 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209430 29811 13073 16 0 209414 0
vsize: 837720
[startup+620.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 27647
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 58410 65 0 0 19 0 11 0 490149890 857825280 29900 4294967295 134512640 134569956 3221224400 3221214664 1131279037 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209430 29900 13073 16 0 209414 0
vsize: 837720
[startup+630.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 27647
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 59359 65 0 0 25 0 11 0 490149890 857825280 30104 4294967295 134512640 134569956 3221224400 3221214664 1131279826 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209430 30104 13073 16 0 209414 0
vsize: 837720
[startup+640.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 27647
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 60314 65 0 0 25 0 11 0 490149890 857825280 30190 4294967295 134512640 134569956 3221224400 3221214760 1131377330 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209430 30190 13073 16 0 209414 0
vsize: 837720
[startup+650.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 27648
Raw data (stat): 27613 (java) S 27612 30854 30853 0 -1 0 18025 3 1 0 61259 66 1 0 25 0 11 0 490149890 857825280 30382 4294967295 134512640 134569956 3221224400 3221213368 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209430 30382 13073 16 0 209414 0
vsize: 837720
[startup+660.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 27648
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 62219 66 1 0 25 0 11 0 490149890 857825280 30480 4294967295 134512640 134569956 3221224400 3221214664 1131279037 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209430 30480 13073 16 0 209414 0
vsize: 837720
[startup+670.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 27649
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 63163 67 1 0 24 0 11 0 490149890 857825280 30648 4294967295 134512640 134569956 3221224400 3221214664 1131279892 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209430 30648 13073 16 0 209414 0
vsize: 837720
[startup+680.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 27649
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 64129 67 1 0 25 0 11 0 490149890 857825280 30700 4294967295 134512640 134569956 3221224400 3221214664 1131278629 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209430 30700 13073 16 0 209414 0
vsize: 837720
[startup+690.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 27650
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 65080 67 1 0 25 0 11 0 490149890 857825280 30734 4294967295 134512640 134569956 3221224400 3221214760 1131376158 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209430 30734 13073 16 0 209414 0
vsize: 837720
[startup+700.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 27650
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 66049 68 1 0 25 0 11 0 490149890 857825280 30903 4294967295 134512640 134569956 3221224400 3221214664 1131278661 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209430 30903 13073 16 0 209414 0
vsize: 837720
[startup+710.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 27651
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 67007 68 1 0 25 0 11 0 490149890 857825280 30906 4294967295 134512640 134569956 3221224400 3221214664 1131278716 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209430 30906 13073 16 0 209414 0
vsize: 837720
[startup+720.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 27651
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 67971 68 1 0 25 0 11 0 490149890 857825280 31048 4294967295 134512640 134569956 3221224400 3221214760 1131377284 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209430 31048 13073 16 0 209414 0
vsize: 837720
[startup+730.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 27652
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 68933 69 1 0 25 0 11 0 490149890 857825280 31050 4294967295 134512640 134569956 3221224400 3221214664 1131278994 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209430 31050 13073 16 0 209414 0
vsize: 837720
[startup+740.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 27652
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 69892 70 1 0 25 0 11 0 490149890 857825280 31216 4294967295 134512640 134569956 3221224400 3221214664 1131279555 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209430 31216 13073 16 0 209414 0
vsize: 837720
[startup+750.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 27653
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 70855 70 1 0 25 0 11 0 490149890 857825280 31231 4294967295 134512640 134569956 3221224400 3221214664 1131278994 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209430 31231 13073 16 0 209414 0
vsize: 837720
[startup+760.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 27653
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 71812 70 1 0 25 0 11 0 490149890 857825280 31373 4294967295 134512640 134569956 3221224400 3221214664 1131278629 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209430 31373 13073 16 0 209414 0
vsize: 837720
[startup+770.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 27653
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 72782 71 1 0 25 0 11 0 490149890 857825280 31376 4294967295 134512640 134569956 3221224400 3221214664 1131278661 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209430 31376 13073 16 0 209414 0
vsize: 837720
[startup+780.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 27654
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 73734 72 1 0 25 0 11 0 490149890 857825280 31539 4294967295 134512640 134569956 3221224400 3221214664 1131278647 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209430 31539 13073 16 0 209414 0
vsize: 837720
[startup+790.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 27654
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 74703 72 1 0 25 0 11 0 490149890 857825280 31559 4294967295 134512640 134569956 3221224400 3221214664 1131279276 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209430 31559 13073 16 0 209414 0
vsize: 837720
[startup+800.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 27655
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 75655 72 1 0 25 0 11 0 490149890 857825280 31699 4294967295 134512640 134569956 3221224400 3221214664 1131279206 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209430 31699 13073 16 0 209414 0
vsize: 837720
[startup+810.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 27655
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 76619 73 1 0 24 0 11 0 490149890 857825280 31732 4294967295 134512640 134569956 3221224400 3221214760 1131378116 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209430 31732 13073 16 0 209414 0
vsize: 837720
[startup+820.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 27656
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 77573 73 1 0 25 0 11 0 490149890 857825280 31732 4294967295 134512640 134569956 3221224400 3221214760 1131377265 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209430 31732 13073 16 0 209414 0
vsize: 837720
[startup+830.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 27656
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 78532 74 1 0 24 0 11 0 490149890 857825280 31964 4294967295 134512640 134569956 3221224400 3221214664 1131278661 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209430 31964 13073 16 0 209414 0
vsize: 837720
[startup+840.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 27657
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 79484 74 1 0 24 0 11 0 490149890 857825280 31976 4294967295 134512640 134569956 3221224400 3221214760 1131377220 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209430 31976 13073 16 0 209414 0
vsize: 837720
[startup+850.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 27657
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 80440 74 1 0 25 0 11 0 490149890 857825280 32204 4294967295 134512640 134569956 3221224400 3221214760 1131377198 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209430 32204 13073 16 0 209414 0
vsize: 837720
[startup+860.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 27658
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 81390 75 1 0 25 0 11 0 490149890 857825280 32246 4294967295 134512640 134569956 3221224400 3221214664 1131279037 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209430 32246 13073 16 0 209414 0
vsize: 837720
[startup+870.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 27658
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 82344 76 1 0 25 0 11 0 490149890 857825280 32553 4294967295 134512640 134569956 3221224400 3221214756 1131280155 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209430 32553 13073 16 0 209414 0
vsize: 837720
[startup+880.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 27659
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 83307 76 1 0 25 0 11 0 490149890 857825280 32675 4294967295 134512640 134569956 3221224400 3221214760 1131376223 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209430 32675 13073 16 0 209414 0
vsize: 837720
[startup+890.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 27659
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 84264 76 1 0 25 0 11 0 490149890 857825280 32835 4294967295 134512640 134569956 3221224400 3221214664 1131279099 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209430 32835 13073 16 0 209414 0
vsize: 837720
[startup+900.067 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 27660
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 85233 77 1 0 25 0 11 0 490149890 857825280 32859 4294967295 134512640 134569956 3221224400 3221214760 1131377195 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209430 32859 13073 16 0 209414 0
vsize: 837720
[startup+910.068 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 27660
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 86184 77 1 0 25 0 11 0 490149890 857825280 33002 4294967295 134512640 134569956 3221224400 3221214760 1131378116 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209430 33002 13073 16 0 209414 0
vsize: 837720
[startup+920.069 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 27660
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 87146 78 1 0 25 0 11 0 490149890 857825280 34602 4294967295 134512640 134569956 3221224400 3221214664 1131279052 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209430 34602 13073 16 0 209414 0
vsize: 837720
[startup+930.069 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 27661
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 88117 78 1 0 25 0 11 0 490149890 857825280 34602 4294967295 134512640 134569956 3221224400 3221214760 1131380788 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209430 34602 13073 16 0 209414 0
vsize: 837720
[startup+940.071 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 27661
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 89087 78 1 0 25 0 11 0 490149890 857825280 34602 4294967295 134512640 134569956 3221224400 3221214664 1131279551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209430 34602 13073 16 0 209414 0
vsize: 837720
[startup+950.072 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 27662
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 90038 79 1 0 25 0 11 0 490149890 857825280 34740 4294967295 134512640 134569956 3221224400 3221214760 1131380996 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209430 34740 13073 16 0 209414 0
vsize: 837720
[startup+960.084 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 27662
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 91009 80 1 0 25 0 11 0 490149890 857825280 34755 4294967295 134512640 134569956 3221224400 3221214760 1131380848 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209430 34755 13073 16 0 209414 0
vsize: 837720
[startup+970.084 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 27663
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 91964 80 2 0 25 0 11 0 490149890 857825280 34762 4294967295 134512640 134569956 3221224400 3221214664 1131278977 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209430 34762 13073 16 0 209414 0
vsize: 837720
[startup+980.085 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 27663
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 92929 80 2 0 25 0 11 0 490149890 857825280 34915 4294967295 134512640 134569956 3221224400 3221214664 1131279210 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209430 34915 13073 16 0 209414 0
vsize: 837720
[startup+990.099 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 27664
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 93886 81 2 0 24 0 11 0 490149890 857825280 34915 4294967295 134512640 134569956 3221224400 3221214664 1131278629 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209430 34915 13073 16 0 209414 0
vsize: 837720
[startup+1000.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 27664
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 94850 81 2 0 25 0 11 0 490149890 857825280 35076 4294967295 134512640 134569956 3221224400 3221214760 1131377198 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209430 35076 13073 16 0 209414 0
vsize: 837720
[startup+1010.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 27665
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 95813 81 2 0 25 0 11 0 490149890 857825280 35076 4294967295 134512640 134569956 3221224400 3221214664 1131278994 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209430 35076 13073 16 0 209414 0
vsize: 837720
[startup+1020.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 27665
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 96774 81 2 0 25 0 11 0 490149890 857825280 35217 4294967295 134512640 134569956 3221224400 3221214664 1131278621 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209430 35217 13073 16 0 209414 0
vsize: 837720
[startup+1030.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 27666
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 97741 82 2 0 18 0 11 0 490149890 857825280 35217 4294967295 134512640 134569956 3221224400 3221214664 1131279037 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209430 35217 13073 16 0 209414 0
vsize: 837720
[startup+1040.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 27666
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 98697 82 2 0 25 0 11 0 490149890 857825280 35365 4294967295 134512640 134569956 3221224400 3221214760 1131376223 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209430 35365 13073 16 0 209414 0
vsize: 837720
[startup+1050.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 27666
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 99669 82 2 0 25 0 11 0 490149890 857825280 35368 4294967295 134512640 134569956 3221224400 3221214760 1131378241 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209430 35368 13073 16 0 209414 0
vsize: 837720
[startup+1060.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 27667
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 100623 82 2 0 25 0 11 0 490149890 857825280 35506 4294967295 134512640 134569956 3221224400 3221214760 1131378201 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209430 35506 13073 16 0 209414 0
vsize: 837720
[startup+1070.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 27667
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 101595 82 2 0 25 0 11 0 490149890 857825280 35527 4294967295 134512640 134569956 3221224400 3221214664 1131279361 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209430 35527 13073 16 0 209414 0
vsize: 837720
[startup+1080.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 27668
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 102547 82 2 0 25 0 11 0 490149890 857825280 35665 4294967295 134512640 134569956 3221224400 3221214664 1131279175 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209430 35665 13073 16 0 209414 0
vsize: 837720
[startup+1090.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 27668
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 103513 82 2 0 25 0 11 0 490149890 857825280 35665 4294967295 134512640 134569956 3221224400 3221214664 1131279037 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209430 35665 13073 16 0 209414 0
vsize: 837720
[startup+1100.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 27669
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 104459 82 2 0 25 0 11 0 490149890 857825280 35665 4294967295 134512640 134569956 3221224400 3221214760 1131376158 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209430 35665 13073 16 0 209414 0
vsize: 837720
[startup+1110.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 27669
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 105405 82 2 0 24 0 11 0 490149890 857825280 35918 4294967295 134512640 134569956 3221224400 3221214664 1131279230 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209430 35918 13073 16 0 209414 0
vsize: 837720
[startup+1120.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 27670
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 106348 82 2 0 25 0 11 0 490149890 857825280 35970 4294967295 134512640 134569956 3221224400 3221214760 1131376158 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209430 35970 13073 16 0 209414 0
vsize: 837720
[startup+1130.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 27670
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 107283 82 2 0 25 0 11 0 490149890 857825280 36288 4294967295 134512640 134569956 3221224400 3221214760 1131378229 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209430 36288 13073 16 0 209414 0
vsize: 837720
[startup+1140.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 27671
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 108231 82 2 0 19 0 11 0 490149890 857825280 36437 4294967295 134512640 134569956 3221224400 3221214664 1131278927 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209430 36437 13073 16 0 209414 0
vsize: 837720
[startup+1150.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 27671
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 109169 82 2 0 25 0 11 0 490149890 857825280 36652 4294967295 134512640 134569956 3221224400 3221214760 1131376158 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209430 36652 13073 16 0 209414 0
vsize: 837720
[startup+1160.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 27671
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 110122 82 2 0 25 0 11 0 490149890 857825280 36684 4294967295 134512640 134569956 3221224400 3221214664 1131279034 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209430 36684 13073 16 0 209414 0
vsize: 837720
[startup+1170.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 27672
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 111060 82 2 0 25 0 11 0 490149890 857825280 36899 4294967295 134512640 134569956 3221224400 3221214664 1131278621 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209430 36899 13073 16 0 209414 0
vsize: 837720
[startup+1180.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 27672
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 112013 82 2 0 25 0 11 0 490149890 857825280 37045 4294967295 134512640 134569956 3221224400 3221214760 1131377404 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209430 37045 13073 16 0 209414 0
vsize: 837720
[startup+1190.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 27673
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 112922 82 2 0 25 0 11 0 490149890 857825280 37094 4294967295 134512640 134569956 3221224400 3221214760 1131376158 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209430 37094 13073 16 0 209414 0
vsize: 837720
[startup+1200.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 27673
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 113880 82 2 0 25 0 11 0 490149890 857825280 37331 4294967295 134512640 134569956 3221224400 3221214760 1131378116 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209430 37331 13073 16 0 209414 0
vsize: 837720
[startup+1210.25 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 27674
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 114841 83 2 0 25 0 11 0 490149890 857825280 37372 4294967295 134512640 134569956 3221224400 3221214760 1131376151 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209430 37372 13073 16 0 209414 0
vsize: 837720
[startup+1220.25 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 27674
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 115798 83 2 0 24 0 11 0 490149890 857825280 37539 4294967295 134512640 134569956 3221224400 3221214664 1131279037 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209430 37539 13073 16 0 209414 0
vsize: 837720
[startup+1230.27 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 27675
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 116755 83 2 0 24 0 11 0 490149890 857825280 37539 4294967295 134512640 134569956 3221224400 3221214664 1131278661 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209430 37539 13073 16 0 209414 0
vsize: 837720
[startup+1240.28 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 27675
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 117714 83 2 0 25 0 11 0 490149890 857825280 37732 4294967295 134512640 134569956 3221224400 3221214664 1131279956 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209430 37732 13073 16 0 209414 0
vsize: 837720
[startup+1250.29 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 27676
Raw data (stat): 27613 (java) S 27612 30854 30853 0 -1 0 18025 3 1 0 118673 83 2 0 20 0 11 0 490149890 857825280 37767 4294967295 134512640 134569956 3221224400 3221213408 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209430 37767 13073 16 0 209414 0
vsize: 837720
[startup+1260.3 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 27676
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 119627 83 2 0 25 0 11 0 490149890 857825280 37928 4294967295 134512640 134569956 3221224400 3221214760 1131377242 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209430 37928 13073 16 0 209414 0
vsize: 837720
[startup+1270.31 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 27676
Raw data (stat): 27613 (java) R 27612 30854 30853 0 -1 0 18025 3 1 0 120591 84 2 0 25 0 11 0 490149890 857825280 37946 4294967295 134512640 134569956 3221224400 3221214760 1131376223 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209430 37946 13073 16 0 209414 0
vsize: 837720
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1270.43 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 27677
Raw data (stat): 27613 (java) Z 27612 30854 30853 0 -1 1036 18025 18593 1 0 120595 84 6169 58 25 0 1 0 490149890 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): 1270.43
CPU time (s): 1269.08
CPU user time (s): 1267.65
CPU system time (s): 1.42578
CPU usage (%): 99.8939
Max. virtual memory (Kb): 838744
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####