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-misc07.opb
MD5SUM	a3dd3cd7dd293e24bffaff8bb73da54c
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1408128
Optimality of the best value was proved	NO
Number of terms in the objective function	21
Biggest coefficient in the objective function	1048576
Number of bits for the biggest coefficient in the objective function	21
Sum of the numbers in the objective function	2097151
Number of bits of the sum of numbers in the objective function	21
Biggest number in a constraint	1048576
Number of bits of the biggest number in a constraint	21
Biggest sum of numbers in a constraint	11486079
Number of bits of the biggest sum of numbers	24
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.01
Number of variables	280
Total number of constraints	471
Number of constraints which are clauses	127
Number of constraints which are cardinality constraints (but not clauses)	272
Number of constraints which are nor clauses,nor cardinality constraints	72
Minimum length of a constraint	1
Maximum length of a constraint	253
Trace number 18658

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-04-21 15:57:26 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17689 boxname=wulflinc2 idbench=1361 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  a3dd3cd7dd293e24bffaff8bb73da54c  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-misc07.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-misc07.opb
IDLAUNCH: 17689
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        921916 kB
Buffers:         10324 kB
Cached:          79104 kB
SwapCached:       3324 kB
Active:          17740 kB
Inactive:        76512 kB
HighTotal:      131008 kB
HighFree:        52528 kB
LowTotal:       903652 kB
LowFree:        869388 kB
SwapTotal:     2097136 kB
SwapFree:      2092928 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5108 kB
Slab:            12612 kB
Committed_AS:    71784 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 16:18:18 (client local time) WITH STATUS 143 IN 1266.67 SECONDS
stats: 17689 7 1266.67 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-misc07.opb
c reading problem 
c [nbvar=280]
c [nbconstr=471]
c time 2.272
c #vars     280
c #clauses  247
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=1780608
c Current CPU time (ms) : 33.411
c starts	: 3
c conflicts	: 256
c decisions	: 1465
c propagations	: 6739
c inspects	: 61003
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 256
c root simplifications	: 5
c 
c CURRENT OPTIMUM=1719808
c Current CPU time (ms) : 34.55
c starts	: 4
c conflicts	: 263
c decisions	: 1552
c propagations	: 7211
c inspects	: 65570
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 263
c root simplifications	: 6
c 
c CURRENT OPTIMUM=1683968
c Current CPU time (ms) : 35.44
c starts	: 5
c conflicts	: 265
c decisions	: 1618
c propagations	: 7575
c inspects	: 69183
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 265
c root simplifications	: 7
c 
c CURRENT OPTIMUM=1669888
c Current CPU time (ms) : 36.44
c starts	: 6
c conflicts	: 267
c decisions	: 1658
c propagations	: 7876
c inspects	: 73885
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 267
c root simplifications	: 8
c 
c CURRENT OPTIMUM=1668608
c Current CPU time (ms) : 37.379
c starts	: 7
c conflicts	: 268
c decisions	: 1689
c propagations	: 8164
c inspects	: 77541
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 268
c root simplifications	: 9
c 
c CURRENT OPTIMUM=1667328
c Current CPU time (ms) : 38.271
c starts	: 8
c conflicts	: 272
c decisions	: 1782
c propagations	: 8465
c inspects	: 81641
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 272
c root simplifications	: 10
c 
c CURRENT OPTIMUM=1596288
c Current CPU time (ms) : 39.564
c starts	: 9
c conflicts	: 277
c decisions	: 1843
c propagations	: 8931
c inspects	: 87857
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 277
c root simplifications	: 11
c 
c CURRENT OPTIMUM=1575168
c Current CPU time (ms) : 48.222
c starts	: 10
c conflicts	: 311
c decisions	: 1963
c propagations	: 9940
c inspects	: 109984
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 311
c root simplifications	: 12
c 
c CURRENT OPTIMUM=1573888
c Current CPU time (ms) : 49.581
c starts	: 11
c conflicts	: 313
c decisions	: 1981
c propagations	: 10322
c inspects	: 114680
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 313
c root simplifications	: 13
c 
c CURRENT OPTIMUM=1565568
c Current CPU time (ms) : 94.68
c starts	: 13
c conflicts	: 428
c decisions	: 2610
c propagations	: 12873
c inspects	: 190000
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 428
c root simplifications	: 16
c 
c CURRENT OPTIMUM=1562368
c Current CPU time (ms) : 552.758
c starts	: 18
c conflicts	: 1259
c decisions	: 3983
c propagations	: 19285
c inspects	: 827751
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1259
c root simplifications	: 23
c 
c CURRENT OPTIMUM=1539968
c Current CPU time (ms) : 574.098
c starts	: 19
c conflicts	: 1265
c decisions	: 4006
c propagations	: 19630
c inspects	: 869555
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1265
c root simplifications	: 24
c 
c CURRENT OPTIMUM=1523328
c Current CPU time (ms) : 603.271
c starts	: 20
c conflicts	: 1277
c decisions	: 4091
c propagations	: 20193
c inspects	: 928239
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1277
c root simplifications	: 25
c 
c CURRENT OPTIMUM=1515008
c Current CPU time (ms) : 1126.629
c starts	: 22
c conflicts	: 1485
c decisions	: 4527
c propagations	: 23918
c inspects	: 1812308
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1485
c root simplifications	: 27
c 
c CURRENT OPTIMUM=1495808
c Current CPU time (ms) : 1151.532
c starts	: 23
c conflicts	: 1490
c decisions	: 4556
c propagations	: 24296
c inspects	: 1868356
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1490
c root simplifications	: 28
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.86 0.97 0.91 2/54 30303
Raw data (stat): 30303 (runsolver) R 30302 20937 20936 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 488115850 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 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.0005 s]
Raw data (loadavg): 1.11 1.02 0.93 3/64 30313
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18084 0 2 0 599 47 0 0 25 0 11 0 488115850 866967552 21638 4294967295 134512640 134569956 3221224400 3221214312 1130908645 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211662 21638 13073 16 0 211646 0
vsize: 846648
[startup+20.0015 s]
Raw data (loadavg): 1.16 1.03 0.93 2/64 30313
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18087 0 2 0 1470 47 0 0 25 0 11 0 488115850 868818944 22978 4294967295 134512640 134569956 3221224400 3221214800 1131214233 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212114 22978 13073 16 0 212098 0
vsize: 848456
[startup+30.0028 s]
Raw data (loadavg): 1.14 1.03 0.93 2/64 30313
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18088 0 2 0 2405 47 0 0 25 0 11 0 488115850 865026048 22720 4294967295 134512640 134569956 3221224400 3221214792 1131301825 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211188 22720 13073 16 0 211172 0
vsize: 844752
[startup+40.002 s]
Raw data (loadavg): 1.12 1.03 0.93 2/64 30319
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18088 3 2 0 3336 48 0 0 25 0 11 0 488115850 863408128 22637 4294967295 134512640 134569956 3221224400 3221214800 1131214005 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210793 22637 13073 16 0 210777 0
vsize: 843172
[startup+50.0026 s]
Raw data (loadavg): 1.10 1.03 0.93 2/64 30321
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18088 3 2 0 4259 49 0 0 25 0 11 0 488115850 863408128 22987 4294967295 134512640 134569956 3221224400 3221214848 1131171949 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210793 22987 13073 16 0 210777 0
vsize: 843172
[startup+60.0029 s]
Raw data (loadavg): 1.08 1.03 0.93 2/64 30322
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18088 3 2 0 5197 49 0 0 25 0 11 0 488115850 863408128 23243 4294967295 134512640 134569956 3221224400 3221214848 1131171857 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210793 23243 13073 16 0 210777 0
vsize: 843172
[startup+70.0036 s]
Raw data (loadavg): 1.07 1.03 0.93 2/64 30322
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18088 3 2 0 6140 49 0 0 25 0 11 0 488115850 863408128 23548 4294967295 134512640 134569956 3221224400 3221214552 1131224586 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210793 23548 13073 16 0 210777 0
vsize: 843172
[startup+80.0037 s]
Raw data (loadavg): 1.06 1.02 0.93 2/64 30322
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18088 3 2 0 7098 49 0 0 25 0 11 0 488115850 863408128 23651 4294967295 134512640 134569956 3221224400 3221214800 1131214602 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210793 23651 13073 16 0 210777 0
vsize: 843172
[startup+90.004 s]
Raw data (loadavg): 1.05 1.02 0.93 2/64 30322
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18088 3 2 0 8056 49 0 0 25 0 11 0 488115850 863408128 23838 4294967295 134512640 134569956 3221224400 3221214800 1131214979 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 23838 13073 16 0 210777 0
vsize: 843172
[startup+100.004 s]
Raw data (loadavg): 1.04 1.02 0.93 2/64 30323
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18088 3 2 0 9026 50 0 0 25 0 11 0 488115850 863408128 23957 4294967295 134512640 134569956 3221224400 3221214344 1131659516 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 23957 13073 16 0 210777 0
vsize: 843172
[startup+110.005 s]
Raw data (loadavg): 1.03 1.02 0.93 2/64 30323
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18088 3 2 0 9990 50 0 0 24 0 11 0 488115850 863408128 24038 4294967295 134512640 134569956 3221224400 3221214800 1131213797 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 24038 13073 16 0 210777 0
vsize: 843172
[startup+120.006 s]
Raw data (loadavg): 1.03 1.02 0.93 2/64 30323
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 10949 50 0 0 25 0 11 0 488115850 863408128 24139 4294967295 134512640 134569956 3221224400 3221214800 1131215000 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 24139 13073 16 0 210777 0
vsize: 843172
[startup+130.007 s]
Raw data (loadavg): 1.02 1.02 0.93 2/64 30323
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 11893 51 0 0 25 0 11 0 488115850 863408128 24233 4294967295 134512640 134569956 3221224400 3221214544 1131421562 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 24233 13073 16 0 210777 0
vsize: 843172
[startup+140.007 s]
Raw data (loadavg): 1.02 1.02 0.93 2/64 30323
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 12839 51 0 0 25 0 11 0 488115850 863408128 24371 4294967295 134512640 134569956 3221224400 3221214624 1131276001 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 24371 13073 16 0 210777 0
vsize: 843172
[startup+150.008 s]
Raw data (loadavg): 1.02 1.02 0.93 2/64 30323
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 13780 51 0 0 25 0 11 0 488115850 863408128 24565 4294967295 134512640 134569956 3221224400 3221214800 1131214153 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 24565 13073 16 0 210777 0
vsize: 843172
[startup+160.008 s]
Raw data (loadavg): 1.09 1.03 0.94 2/67 30375
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 14728 51 0 0 25 0 11 0 488115850 863408128 24721 4294967295 134512640 134569956 3221224400 3221214848 1131171882 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210793 24721 13073 16 0 210777 0
vsize: 843172
[startup+170.009 s]
Raw data (loadavg): 1.08 1.03 0.94 2/64 30376
Raw data (stat): 30303 (java) S 30302 20937 20936 0 -1 0 18089 3 2 0 15670 52 0 0 25 0 11 0 488115850 863408128 24856 4294967295 134512640 134569956 3221224400 3221213192 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 24856 13073 16 0 210777 0
vsize: 843172
[startup+180.009 s]
Raw data (loadavg): 1.07 1.03 0.94 2/64 30376
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 16613 52 0 0 25 0 11 0 488115850 863408128 25038 4294967295 134512640 134569956 3221224400 3221214892 1131213740 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 25038 13073 16 0 210777 0
vsize: 843172
[startup+190.009 s]
Raw data (loadavg): 1.06 1.03 0.94 2/64 30376
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 17560 52 0 0 25 0 11 0 488115850 863408128 25256 4294967295 134512640 134569956 3221224400 3221214800 1131214153 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 25256 13073 16 0 210777 0
vsize: 843172
[startup+200.009 s]
Raw data (loadavg): 1.12 1.04 0.94 2/64 30376
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 18514 52 0 0 25 0 11 0 488115850 863408128 25467 4294967295 134512640 134569956 3221224400 3221214800 1131213852 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 25467 13073 16 0 210777 0
vsize: 843172
[startup+210.009 s]
Raw data (loadavg): 1.10 1.04 0.94 2/64 30376
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 19472 53 0 0 25 0 11 0 488115850 863408128 25611 4294967295 134512640 134569956 3221224400 3221213880 1079720858 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 25611 13073 16 0 210777 0
vsize: 843172
[startup+220.01 s]
Raw data (loadavg): 1.08 1.04 0.94 2/64 30376
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 20427 53 0 0 25 0 11 0 488115850 863408128 25694 4294967295 134512640 134569956 3221224400 3221214800 1131214153 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 25694 13073 16 0 210777 0
vsize: 843172
[startup+230.009 s]
Raw data (loadavg): 1.07 1.04 0.94 2/64 30378
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 21379 54 0 0 25 0 11 0 488115850 863408128 25827 4294967295 134512640 134569956 3221224400 3221214800 1131214153 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 25827 13073 16 0 210777 0
vsize: 843172
[startup+240.009 s]
Raw data (loadavg): 1.06 1.04 0.94 2/64 30378
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 22334 54 0 0 24 0 11 0 488115850 863408128 25978 4294967295 134512640 134569956 3221224400 3221214648 1131644137 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 25978 13073 16 0 210777 0
vsize: 843172
[startup+250.01 s]
Raw data (loadavg): 1.05 1.03 0.94 2/64 30378
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 23294 54 0 0 25 0 11 0 488115850 863408128 26097 4294967295 134512640 134569956 3221224400 3221214896 1131280470 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 26097 13073 16 0 210777 0
vsize: 843172
[startup+260.01 s]
Raw data (loadavg): 1.04 1.03 0.94 2/64 30378
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 24249 55 0 0 25 0 11 0 488115850 863408128 26241 4294967295 134512640 134569956 3221224400 3221214800 1131214153 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 26241 13073 16 0 210777 0
vsize: 843172
[startup+270.011 s]
Raw data (loadavg): 1.04 1.03 0.94 2/64 30378
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 25206 55 0 0 25 0 11 0 488115850 863408128 26385 4294967295 134512640 134569956 3221224400 3221214648 1131650164 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 26385 13073 16 0 210777 0
vsize: 843172
[startup+280.011 s]
Raw data (loadavg): 1.03 1.03 0.94 2/64 30378
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 26166 55 0 0 25 0 11 0 488115850 863408128 26488 4294967295 134512640 134569956 3221224400 3221214800 1131213757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 26488 13073 16 0 210777 0
vsize: 843172
[startup+290.011 s]
Raw data (loadavg): 1.02 1.03 0.94 2/64 30378
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 27129 56 0 0 25 0 11 0 488115850 863408128 26605 4294967295 134512640 134569956 3221224400 3221214800 1131214153 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 26605 13073 16 0 210777 0
vsize: 843172
[startup+300.011 s]
Raw data (loadavg): 1.02 1.03 0.94 2/64 30378
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 28093 56 0 0 25 0 11 0 488115850 863408128 26731 4294967295 134512640 134569956 3221224400 3221214848 1131171840 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 26731 13073 16 0 210777 0
vsize: 843172
[startup+310.011 s]
Raw data (loadavg): 1.02 1.03 0.94 2/64 30378
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 29064 56 0 0 25 0 11 0 488115850 863408128 26858 4294967295 134512640 134569956 3221224400 3221214800 1131214386 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 26858 13073 16 0 210777 0
vsize: 843172
[startup+320.012 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 30378
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 30038 56 0 0 24 0 11 0 488115850 863408128 26939 4294967295 134512640 134569956 3221224400 3221214848 1131171840 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 26939 13073 16 0 210777 0
vsize: 843172
[startup+330.012 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 30378
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 31019 56 0 0 25 0 11 0 488115850 863408128 26993 4294967295 134512640 134569956 3221224400 3221214800 1131214250 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 26993 13073 16 0 210777 0
vsize: 843172
[startup+340.012 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 30378
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 31997 56 0 0 25 0 11 0 488115850 863408128 27043 4294967295 134512640 134569956 3221224400 3221214800 1131213772 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 27043 13073 16 0 210777 0
vsize: 843172
[startup+350.013 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 30378
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 32970 57 0 0 25 0 11 0 488115850 863408128 27103 4294967295 134512640 134569956 3221224400 3221214800 1131214979 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 27103 13073 16 0 210777 0
vsize: 843172
[startup+360.014 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 30378
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 33941 57 0 0 25 0 11 0 488115850 863408128 27148 4294967295 134512640 134569956 3221224400 3221214800 1131214408 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 27148 13073 16 0 210777 0
vsize: 843172
[startup+370.015 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 30378
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 34904 57 0 0 25 0 11 0 488115850 863408128 27244 4294967295 134512640 134569956 3221224400 3221214552 1131224473 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 27244 13073 16 0 210777 0
vsize: 843172
[startup+380.015 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 30378
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 35869 58 0 0 25 0 11 0 488115850 863408128 27347 4294967295 134512640 134569956 3221224400 3221214800 1131213761 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 27347 13073 16 0 210777 0
vsize: 843172
[startup+390.015 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 30378
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 36833 58 0 0 25 0 11 0 488115850 863408128 27444 4294967295 134512640 134569956 3221224400 3221214736 1131338709 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 27444 13073 16 0 210777 0
vsize: 843172
[startup+400.015 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 30378
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 37790 58 0 0 25 0 11 0 488115850 863408128 27561 4294967295 134512640 134569956 3221224400 3221214800 1131214377 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 27561 13073 16 0 210777 0
vsize: 843172
[startup+410.015 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 30378
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 38749 59 0 0 25 0 11 0 488115850 863408128 27672 4294967295 134512640 134569956 3221224400 3221214888 1131790839 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 27672 13073 16 0 210777 0
vsize: 843172
[startup+420.016 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 30378
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 39708 59 0 0 25 0 11 0 488115850 863408128 27836 4294967295 134512640 134569956 3221224400 3221214800 1131213858 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 27836 13073 16 0 210777 0
vsize: 843172
[startup+430.017 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 30378
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 40662 60 0 0 24 0 11 0 488115850 863408128 28014 4294967295 134512640 134569956 3221224400 3221214800 1131214090 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 28014 13073 16 0 210777 0
vsize: 843172
[startup+440.016 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 30378
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 41621 60 0 0 25 0 11 0 488115850 863408128 28139 4294967295 134512640 134569956 3221224400 3221214896 1131280483 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 28139 13073 16 0 210777 0
vsize: 843172
[startup+450.017 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 30378
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 42581 60 0 0 25 0 11 0 488115850 863408128 28296 4294967295 134512640 134569956 3221224400 3221214848 1131171857 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 28296 13073 16 0 210777 0
vsize: 843172
[startup+460.016 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 30378
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 43540 61 0 0 25 0 11 0 488115850 863408128 28420 4294967295 134512640 134569956 3221224400 3221214896 1131280455 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 28420 13073 16 0 210777 0
vsize: 843172
[startup+470.017 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 30378
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 44500 61 0 0 25 0 11 0 488115850 863408128 28533 4294967295 134512640 134569956 3221224400 3221214800 1131214204 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 28533 13073 16 0 210777 0
vsize: 843172
[startup+480.017 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 30378
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 45462 61 0 0 25 0 11 0 488115850 863408128 28669 4294967295 134512640 134569956 3221224400 3221214800 1131214107 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 28669 13073 16 0 210777 0
vsize: 843172
[startup+490.017 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 30378
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 46423 62 0 0 25 0 11 0 488115850 863408128 28808 4294967295 134512640 134569956 3221224400 3221214800 1131214319 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 28808 13073 16 0 210777 0
vsize: 843172
[startup+500.017 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 30380
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 47386 63 0 0 25 0 11 0 488115850 863408128 28900 4294967295 134512640 134569956 3221224400 3221214800 1131214361 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 28900 13073 16 0 210777 0
vsize: 843172
[startup+510.017 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 30380
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 48348 63 0 0 25 0 11 0 488115850 863408128 28996 4294967295 134512640 134569956 3221224400 3221214800 1131213797 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 28996 13073 16 0 210777 0
vsize: 843172
[startup+520.018 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30380
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 49307 63 0 0 25 0 11 0 488115850 863408128 29129 4294967295 134512640 134569956 3221224400 3221214800 1131214153 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 29129 13073 16 0 210777 0
vsize: 843172
[startup+530.017 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30380
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 50273 63 0 0 25 0 11 0 488115850 863408128 29269 4294967295 134512640 134569956 3221224400 3221214800 1131214153 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 29269 13073 16 0 210777 0
vsize: 843172
[startup+540.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30380
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 51247 63 0 0 25 0 11 0 488115850 863408128 29374 4294967295 134512640 134569956 3221224400 3221214848 1131171840 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 29374 13073 16 0 210777 0
vsize: 843172
[startup+550.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30380
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 52223 64 0 0 25 0 11 0 488115850 863408128 29448 4294967295 134512640 134569956 3221224400 3221214848 1131171837 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 29448 13073 16 0 210777 0
vsize: 843172
[startup+560.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30381
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 53202 64 0 0 24 0 11 0 488115850 863408128 29502 4294967295 134512640 134569956 3221224400 3221214848 1131171845 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 29502 13073 16 0 210777 0
vsize: 843172
[startup+570.021 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30381
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 54181 64 0 0 25 0 11 0 488115850 863408128 29553 4294967295 134512640 134569956 3221224400 3221214800 1131214610 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 29553 13073 16 0 210777 0
vsize: 843172
[startup+580.021 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30382
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 55163 65 0 0 25 0 11 0 488115850 863408128 29596 4294967295 134512640 134569956 3221224400 3221214800 1131214105 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 29596 13073 16 0 210777 0
vsize: 843172
[startup+590.021 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30382
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 56143 65 0 0 25 0 11 0 488115850 863408128 29640 4294967295 134512640 134569956 3221224400 3221214800 1131214281 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 29640 13073 16 0 210777 0
vsize: 843172
[startup+600.022 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30382
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 57124 66 0 0 25 0 11 0 488115850 863408128 29685 4294967295 134512640 134569956 3221224400 3221214800 1131214268 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 29685 13073 16 0 210777 0
vsize: 843172
[startup+610.022 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30383
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 58105 66 0 0 25 0 11 0 488115850 863408128 29728 4294967295 134512640 134569956 3221224400 3221214896 1131280451 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 29728 13073 16 0 210777 0
vsize: 843172
[startup+620.023 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30383
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 59086 66 0 0 25 0 11 0 488115850 863408128 29763 4294967295 134512640 134569956 3221224400 3221214496 1131398711 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 29763 13073 16 0 210777 0
vsize: 843172
[startup+630.023 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30383
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 60064 67 0 0 24 0 11 0 488115850 863408128 29798 4294967295 134512640 134569956 3221224400 3221214544 1131422746 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 29798 13073 16 0 210777 0
vsize: 843172
[startup+640.023 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30383
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 61041 67 0 0 25 0 11 0 488115850 863408128 29842 4294967295 134512640 134569956 3221224400 3221214872 1131276024 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 29842 13073 16 0 210777 0
vsize: 843172
[startup+650.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30383
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 62013 68 0 0 25 0 11 0 488115850 863408128 29917 4294967295 134512640 134569956 3221224400 3221214800 1131214182 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 29917 13073 16 0 210777 0
vsize: 843172
[startup+660.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30383
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 62986 68 0 0 25 0 11 0 488115850 863408128 29997 4294967295 134512640 134569956 3221224400 3221214848 1131171882 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 29997 13073 16 0 210777 0
vsize: 843172
[startup+670.026 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30383
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 63955 68 0 0 24 0 11 0 488115850 863408128 30073 4294967295 134512640 134569956 3221224400 3221214800 1131214623 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210793 30073 13073 16 0 210777 0
vsize: 843172
[startup+680.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30383
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 64926 69 0 0 25 0 11 0 488115850 863408128 30156 4294967295 134512640 134569956 3221224400 3221214784 1131497996 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210793 30156 13073 16 0 210777 0
vsize: 843172
[startup+690.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30383
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 65897 69 0 0 25 0 11 0 488115850 863408128 30230 4294967295 134512640 134569956 3221224400 3221214800 1131213876 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210793 30230 13073 16 0 210777 0
vsize: 843172
[startup+700.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30383
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 66866 69 0 0 25 0 11 0 488115850 863408128 30329 4294967295 134512640 134569956 3221224400 3221214896 1131279834 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210793 30329 13073 16 0 210777 0
vsize: 843172
[startup+710.028 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30383
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 67836 69 0 0 24 0 11 0 488115850 863408128 30416 4294967295 134512640 134569956 3221224400 3221214428 1131663824 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210793 30416 13073 16 0 210777 0
vsize: 843172
[startup+720.029 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30383
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 68813 69 0 0 25 0 11 0 488115850 863408128 30508 4294967295 134512640 134569956 3221224400 3221214800 1131214170 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210793 30508 13073 16 0 210777 0
vsize: 843172
[startup+730.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30383
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 69792 69 0 0 25 0 11 0 488115850 863408128 30596 4294967295 134512640 134569956 3221224400 3221214848 1131171868 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210793 30596 13073 16 0 210777 0
vsize: 843172
[startup+740.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30383
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 70770 69 0 0 25 0 11 0 488115850 863408128 30628 4294967295 134512640 134569956 3221224400 3221214800 1131214153 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 30628 13073 16 0 210777 0
vsize: 843172
[startup+750.031 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30383
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 71749 69 0 0 25 0 11 0 488115850 863408128 30689 4294967295 134512640 134569956 3221224400 3221214800 1131214153 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 30689 13073 16 0 210777 0
vsize: 843172
[startup+760.031 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30383
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 72728 70 0 0 25 0 11 0 488115850 863408128 30735 4294967295 134512640 134569956 3221224400 3221214800 1131214361 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 30735 13073 16 0 210777 0
vsize: 843172
[startup+770.032 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30383
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 73709 70 0 0 25 0 11 0 488115850 863408128 30788 4294967295 134512640 134569956 3221224400 3221214800 1131213797 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 30788 13073 16 0 210777 0
vsize: 843172
[startup+780.033 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30383
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 74690 70 0 0 25 0 11 0 488115850 863408128 30831 4294967295 134512640 134569956 3221224400 3221214848 1131171840 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 30831 13073 16 0 210777 0
vsize: 843172
[startup+790.033 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30383
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 75671 71 0 0 25 0 11 0 488115850 863408128 30863 4294967295 134512640 134569956 3221224400 3221214800 1131214105 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 30863 13073 16 0 210777 0
vsize: 843172
[startup+800.033 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30383
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 76653 71 0 0 25 0 11 0 488115850 863408128 30905 4294967295 134512640 134569956 3221224400 3221214896 1131279433 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 30905 13073 16 0 210777 0
vsize: 843172
[startup+810.033 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30383
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 77636 71 0 0 25 0 11 0 488115850 863408128 30942 4294967295 134512640 134569956 3221224400 3221214800 1131214373 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 30942 13073 16 0 210777 0
vsize: 843172
[startup+820.035 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30383
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 78619 71 0 0 25 0 11 0 488115850 863408128 30975 4294967295 134512640 134569956 3221224400 3221214540 1080203749 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 30975 13073 16 0 210777 0
vsize: 843172
[startup+830.034 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30383
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 79601 72 0 0 25 0 11 0 488115850 863408128 31025 4294967295 134512640 134569956 3221224400 3221214800 1131214153 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 31025 13073 16 0 210777 0
vsize: 843172
[startup+840.034 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30383
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 80584 73 0 0 25 0 11 0 488115850 863408128 31063 4294967295 134512640 134569956 3221224400 3221214848 1131171840 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 31063 13073 16 0 210777 0
vsize: 843172
[startup+850.035 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30383
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 81567 73 0 0 25 0 11 0 488115850 863408128 31116 4294967295 134512640 134569956 3221224400 3221214896 1131279617 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 31116 13073 16 0 210777 0
vsize: 843172
[startup+860.035 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30383
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 82550 73 0 0 25 0 11 0 488115850 863408128 31152 4294967295 134512640 134569956 3221224400 3221214800 1131214182 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 31152 13073 16 0 210777 0
vsize: 843172
[startup+870.036 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30383
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 83535 73 0 0 25 0 11 0 488115850 863408128 31189 4294967295 134512640 134569956 3221224400 3221214896 1131279952 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 31189 13073 16 0 210777 0
vsize: 843172
[startup+880.036 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30383
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 84518 73 0 0 25 0 11 0 488115850 863408128 31224 4294967295 134512640 134569956 3221224400 3221214800 1131214888 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 31224 13073 16 0 210777 0
vsize: 843172
[startup+890.036 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30383
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 85501 73 0 0 25 0 11 0 488115850 863408128 31274 4294967295 134512640 134569956 3221224400 3221214800 1131214287 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210793 31274 13073 16 0 210777 0
vsize: 843172
[startup+900.036 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30383
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 86485 74 0 0 25 0 11 0 488115850 863408128 31316 4294967295 134512640 134569956 3221224400 3221214848 1131171988 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 31316 13073 16 0 210777 0
vsize: 843172
[startup+910.037 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30383
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 87470 74 0 0 25 0 11 0 488115850 863408128 31354 4294967295 134512640 134569956 3221224400 3221214800 1131214939 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 31354 13073 16 0 210777 0
vsize: 843172
[startup+920.038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30383
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 88454 74 0 0 25 0 11 0 488115850 863408128 31404 4294967295 134512640 134569956 3221224400 3221214800 1131213843 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210793 31404 13073 16 0 210777 0
vsize: 843172
[startup+930.037 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30383
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 89438 75 0 0 25 0 11 0 488115850 863408128 31465 4294967295 134512640 134569956 3221224400 3221214848 1131171876 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 31465 13073 16 0 210777 0
vsize: 843172
[startup+940.037 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30383
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 90423 75 0 0 25 0 11 0 488115850 863408128 31492 4294967295 134512640 134569956 3221224400 3221214892 1131213740 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 31492 13073 16 0 210777 0
vsize: 843172
[startup+950.038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30383
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 91407 75 0 0 25 0 11 0 488115850 863408128 31526 4294967295 134512640 134569956 3221224400 3221214800 1131214153 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 31526 13073 16 0 210777 0
vsize: 843172
[startup+960.038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30383
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 92391 76 0 0 25 0 11 0 488115850 863408128 31558 4294967295 134512640 134569956 3221224400 3221214800 1131214888 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 31558 13073 16 0 210777 0
vsize: 843172
[startup+970.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30383
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 93374 76 0 0 24 0 11 0 488115850 863408128 31607 4294967295 134512640 134569956 3221224400 3221214800 1131214976 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 31607 13073 16 0 210777 0
vsize: 843172
[startup+980.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30383
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 94358 76 0 0 25 0 11 0 488115850 863408128 31647 4294967295 134512640 134569956 3221224400 3221214800 1131214678 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 31647 13073 16 0 210777 0
vsize: 843172
[startup+990.041 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30383
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 95341 77 0 0 25 0 11 0 488115850 863408128 31685 4294967295 134512640 134569956 3221224400 3221214848 1131171868 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 31685 13073 16 0 210777 0
vsize: 843172
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30383
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 96325 77 0 0 25 0 11 0 488115850 863408128 31777 4294967295 134512640 134569956 3221224400 3221214800 1131214610 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 31777 13073 16 0 210777 0
vsize: 843172
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30383
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 97310 77 0 0 25 0 11 0 488115850 863408128 31813 4294967295 134512640 134569956 3221224400 3221214800 1131214315 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 31813 13073 16 0 210777 0
vsize: 843172
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30383
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 98294 77 0 0 25 0 11 0 488115850 863408128 31833 4294967295 134512640 134569956 3221224400 3221214440 1131776547 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 31833 13073 16 0 210777 0
vsize: 843172
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30383
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 99275 77 0 0 25 0 11 0 488115850 863408128 31878 4294967295 134512640 134569956 3221224400 3221214848 1131171840 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 31878 13073 16 0 210777 0
vsize: 843172
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30383
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 100256 78 0 0 25 0 11 0 488115850 863408128 31915 4294967295 134512640 134569956 3221224400 3221214800 1131215000 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 31915 13073 16 0 210777 0
vsize: 843172
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30383
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 101235 78 0 0 25 0 11 0 488115850 863408128 31964 4294967295 134512640 134569956 3221224400 3221214800 1131213858 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 31964 13073 16 0 210777 0
vsize: 843172
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30383
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 102217 78 0 0 25 0 11 0 488115850 863408128 32035 4294967295 134512640 134569956 3221224400 3221214848 1131171857 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 32035 13073 16 0 210777 0
vsize: 843172
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30383
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 103197 79 0 0 25 0 11 0 488115850 863408128 32097 4294967295 134512640 134569956 3221224400 3221214800 1131214919 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 32097 13073 16 0 210777 0
vsize: 843172
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30383
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 104179 79 0 0 25 0 11 0 488115850 863408128 32159 4294967295 134512640 134569956 3221224400 3221214552 1131224343 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 32159 13073 16 0 210777 0
vsize: 843172
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30383
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 105161 80 0 0 25 0 11 0 488115850 863408128 32206 4294967295 134512640 134569956 3221224400 3221214848 1131171876 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 32206 13073 16 0 210777 0
vsize: 843172
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30383
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 106143 80 0 0 25 0 11 0 488115850 863408128 32237 4294967295 134512640 134569956 3221224400 3221214896 1131279621 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 32237 13073 16 0 210777 0
vsize: 843172
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30383
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 107123 80 0 0 25 0 11 0 488115850 863408128 32270 4294967295 134512640 134569956 3221224400 3221214800 1131214361 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 32270 13073 16 0 210777 0
vsize: 843172
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30383
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 108103 81 0 0 25 0 11 0 488115850 863408128 32321 4294967295 134512640 134569956 3221224400 3221214800 1131214934 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 32321 13073 16 0 210777 0
vsize: 843172
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30384
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 109083 82 0 0 25 0 11 0 488115850 863408128 32360 4294967295 134512640 134569956 3221224400 3221214848 1131171840 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 32360 13073 16 0 210777 0
vsize: 843172
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30384
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 110063 82 0 0 24 0 11 0 488115850 863408128 32428 4294967295 134512640 134569956 3221224400 3221214896 1131279429 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 32428 13073 16 0 210777 0
vsize: 843172
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30384
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 111042 82 0 0 25 0 11 0 488115850 863408128 32520 4294967295 134512640 134569956 3221224400 3221214800 1131214153 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 32520 13073 16 0 210777 0
vsize: 843172
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30385
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 112023 83 0 0 25 0 11 0 488115850 863408128 32564 4294967295 134512640 134569956 3221224400 3221214800 1131213797 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 32564 13073 16 0 210777 0
vsize: 843172
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30385
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 113001 83 0 0 25 0 11 0 488115850 863408128 32615 4294967295 134512640 134569956 3221224400 3221214800 1131213797 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 32615 13073 16 0 210777 0
vsize: 843172
[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30385
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 113977 84 0 0 25 0 11 0 488115850 863408128 32692 4294967295 134512640 134569956 3221224400 3221214800 1131214153 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210793 32692 13073 16 0 210777 0
vsize: 843172
[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30385
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 114954 84 0 0 25 0 11 0 488115850 863408128 32758 4294967295 134512640 134569956 3221224400 3221214736 1131224391 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210793 32758 13073 16 0 210777 0
vsize: 843172
[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30385
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 115931 84 0 0 25 0 11 0 488115850 863408128 32850 4294967295 134512640 134569956 3221224400 3221214896 1131279709 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210793 32850 13073 16 0 210777 0
vsize: 843172
[startup+1210.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30385
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 116909 84 0 0 25 0 11 0 488115850 863408128 32895 4294967295 134512640 134569956 3221224400 3221214800 1131213797 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210793 32895 13073 16 0 210777 0
vsize: 843172
[startup+1220.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30385
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 117886 84 0 0 25 0 11 0 488115850 863408128 32936 4294967295 134512640 134569956 3221224400 3221214896 1131279621 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210793 32936 13073 16 0 210777 0
vsize: 843172
[startup+1230.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30385
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 118863 84 0 0 25 0 11 0 488115850 863408128 33039 4294967295 134512640 134569956 3221224400 3221214848 1131171934 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210793 33039 13073 16 0 210777 0
vsize: 843172
[startup+1240.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30385
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 119841 84 0 0 25 0 11 0 488115850 863408128 33105 4294967295 134512640 134569956 3221224400 3221214800 1131214153 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210793 33105 13073 16 0 210777 0
vsize: 843172
[startup+1250.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30385
Raw data (stat): 30303 (java) R 30302 20937 20936 0 -1 0 18089 3 2 0 120820 84 0 0 25 0 11 0 488115850 863408128 33167 4294967295 134512640 134569956 3221224400 3221214800 1131214107 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210793 33167 13073 16 0 210777 0
vsize: 843172
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.2 s]
Raw data (loadavg): 1.00 1.00 0.94 1/54 30387
Raw data (stat): 30303 (java) Z 30302 20937 20936 0 -1 1036 18089 25111 2 2 120828 91 5669 78 25 0 1 0 488115850 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): 1250.2
CPU time (s): 1266.67
CPU user time (s): 1264.97
CPU system time (s): 1.69674
CPU usage (%): 101.317
Max. virtual memory (Kb): 848456
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####