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-protfold.opb
MD5SUM	c5ca7819a7dcae16ff6045242cdd1f87
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-23
Optimality of the best value was proved	NO
Number of terms in the objective function	120
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	120
Number of bits of the sum of numbers in the objective function	7
Biggest number in a constraint	18
Number of bits of the biggest number in a constraint	5
Biggest sum of numbers in a constraint	900
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1176.86
Number of variables	1835
Total number of constraints	3947
Number of constraints which are clauses	1906
Number of constraints which are cardinality constraints (but not clauses)	1921
Number of constraints which are nor clauses,nor cardinality constraints	120
Minimum length of a constraint	1
Maximum length of a constraint	882
Trace number 35684

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc9 THE 2005-05-28 13:29:16 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24908 boxname=wulflinc9 idbench=1380 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  c5ca7819a7dcae16ff6045242cdd1f87  /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-protfold.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-protfold.opb
IDLAUNCH: 24908
/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:        737948 kB
Buffers:         35900 kB
Cached:         236840 kB
SwapCached:        552 kB
Active:          19376 kB
Inactive:       255340 kB
HighTotal:      131008 kB
HighFree:         8904 kB
LowTotal:       903652 kB
LowFree:        729044 kB
SwapTotal:     2097136 kB
SwapFree:      2095648 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5144 kB
Slab:            16364 kB
Committed_AS:    63588 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 13:49:18 (client local time) WITH STATUS 0 IN 1200.45 SECONDS
stats: 24908 7 1200.45 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 11204/88360	Time: 151.006/86400
Decision: 11204/88360	Time: 163.106/86400
Decision: 11204/88360	Time: 180.56/86400
Decision: 11204/88360	Time: 196.701/86400
Decision: 11204/88360	Time: 212.211/86400
Decision: 11204/88360	Time: 229.189/86400
Decision: 11204/88360	Time: 236.77/86400
Decision: 11204/88360	Time: 251.886/86400
Decision: 11204/88360	Time: 270.029/86400
Decision: 11204/88360	Time: 288.314/86400
Decision: 11204/88360	Time: 305.905/86400
Decision: 11204/88360	Time: 321.626/86400
Decision: 11204/88360	Time: 340.377/86400
Decision: 11204/88360	Time: 350.717/86400
Decision: 11204/88360	Time: 365.823/86400
Decision: 11204/88360	Time: 383.905/86400
Decision: 11204/88360	Time: 396.913/86400
Decision: 11204/88360	Time: 406.146/86400
Decision: 11204/88360	Time: 420.436/86400
Decision: 11204/88360	Time: 434.262/86400
Decision: 11204/88360	Time: 454.244/86400
Decision: 11204/88360	Time: 469.924/86400
Decision: 11204/88360	Time: 485.598/86400
Decision: 11204/88360	Time: 501.11/86400
Decision: 11204/88360	Time: 516.979/86400
Decision: 11204/88360	Time: 533.102/86400
Decision: 11204/88360	Time: 548.625/86400
Decision: 11204/88360	Time: 564.958/86400
Decision: 11204/88360	Time: 575.081/86400
Decision: 11204/88360	Time: 591.06/86400
Decision: 11204/88360	Time: 604.225/86400
Decision: 11204/88360	Time: 624.14/86400
Decision: 11204/88360	Time: 635.04/86400
Decision: 11204/88360	Time: 655.395/86400
Decision: 11204/88360	Time: 670.918/86400
Decision: 11204/88360	Time: 686.238/86400
Decision: 11204/88360	Time: 701.613/86400
Decision: 11204/88360	Time: 720.484/86400
Decision: 11204/88360	Time: 738.189/86400
Decision: 11204/88360	Time: 753.079/86400
Decision: 11204/88360	Time: 762.89/86400
Decision: 11204/88360	Time: 770.843/86400
Decision: 11204/88360	Time: 786.594/86400
Decision: 11204/88360	Time: 801.81/86400
Decision: 11204/88360	Time: 816.938/86400
Decision: 11204/88360	Time: 835.035/86400
Decision: 11204/88360	Time: 853.739/86400
Decision: 11204/88360	Time: 870.508/86400
Decision: 11204/88360	Time: 889.077/86400
Decision: 11204/88360	Time: 909.039/86400
Decision: 11204/88360	Time: 928.715/86400
Decision: 11204/88360	Time: 948.095/86400
Decision: 11204/88360	Time: 956.97/86400
Decision: 11204/88360	Time: 975.66/86400
Decision: 11204/88360	Time: 993.297/86400
Decision: 11204/88360	Time: 1008.3/86400
Decision: 11204/88360	Time: 1020.42/86400
Decision: 11204/88360	Time: 1035.79/86400
Decision: 11204/88360	Time: 1055.11/86400
Decision: 11204/88360	Time: 1073.4/86400
Decision: 11204/88360	Time: 1093.5/86400
Decision: 11204/88360	Time: 1111.07/86400
Decision: 11204/88360	Time: 1131.62/86400
Decision: 11204/88360	Time: 1152.7/86400
Decision: 11204/88360	Time: 1169.25/86400
Decision: 11204/88360	Time: 1184.4/86400s UNKNOWN
#### 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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.91 0.95 0.90 1/54 20170
Raw data (stat): 20170 (runsolver) R 20169 3944 3943 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 806946517 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0015 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 13127 0 0 0 968 31 0 0 25 0 1 0 806946517 42885120 7511 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10470 7511 300 300 0 10170 0
vsize: 41880
[startup+20.0016 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 13785 0 0 0 1965 34 0 0 25 0 1 0 806946517 45805568 8169 4294967295 134512640 135726644 3221224576 3221223072 134744182 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11183 8169 300 300 0 10883 0
vsize: 44732
[startup+30.0024 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 14217 0 0 0 2963 36 0 0 25 0 1 0 806946517 47951872 8601 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11707 8601 300 300 0 11407 0
vsize: 46828
[startup+40.0021 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 14544 0 0 0 3960 38 0 0 25 0 1 0 806946517 49602560 8928 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12110 8928 300 300 0 11810 0
vsize: 48440
[startup+50.0028 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 14878 0 0 0 4958 41 0 0 25 0 1 0 806946517 51150848 9262 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12488 9262 300 300 0 12188 0
vsize: 49952
[startup+60.0025 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 15002 0 0 0 5956 43 0 0 25 0 1 0 806946517 51740672 9386 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12632 9386 300 300 0 12332 0
vsize: 50528
[startup+70.009 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 15213 0 0 0 6955 45 0 0 25 0 1 0 806946517 52748288 9597 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12878 9597 300 300 0 12578 0
vsize: 51512
[startup+80.0091 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 15312 0 0 0 7953 47 0 0 25 0 1 0 806946517 53276672 9696 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13007 9696 300 300 0 12707 0
vsize: 52028
[startup+90.0092 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 15422 0 0 0 8951 49 0 0 25 0 1 0 806946517 53547008 9806 4294967295 134512640 135726644 3221224576 3221223264 134744969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13073 9806 300 300 0 12773 0
vsize: 52292
[startup+100.01 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 15619 0 0 0 9950 50 0 0 25 0 1 0 806946517 54616064 10003 4294967295 134512640 135726644 3221224576 3221223072 134744142 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13334 10003 300 300 0 13034 0
vsize: 53336
[startup+110.009 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 15699 0 0 0 10948 52 0 0 25 0 1 0 806946517 55083008 10083 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13448 10083 300 300 0 13148 0
vsize: 53792
[startup+120.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 15798 0 0 0 11947 54 0 0 25 0 1 0 806946517 55353344 10182 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13514 10182 300 300 0 13214 0
vsize: 54056
[startup+130.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 15905 0 0 0 12946 55 0 0 25 0 1 0 806946517 55894016 10289 4294967295 134512640 135726644 3221224576 3221222904 134735638 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13646 10289 300 300 0 13346 0
vsize: 54584
[startup+140.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 15988 0 0 0 13944 57 0 0 25 0 1 0 806946517 56299520 10372 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13745 10372 300 300 0 13445 0
vsize: 54980
[startup+150.025 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 16079 0 0 0 14944 58 0 0 25 0 1 0 806946517 56705024 10463 4294967295 134512640 135726644 3221224576 3221223072 134744382 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13844 10463 300 300 0 13544 0
vsize: 55376
[startup+160.025 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 16325 0 0 0 15943 60 0 0 25 0 1 0 806946517 56975360 10536 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13910 10536 300 300 0 13610 0
vsize: 55640
[startup+170.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 16553 0 0 0 16942 61 0 0 25 0 1 0 806946517 57110528 10591 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13943 10591 300 300 0 13643 0
vsize: 55772
[startup+180.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 16609 0 0 0 17941 62 0 0 25 0 1 0 806946517 57380864 10647 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14009 10647 300 300 0 13709 0
vsize: 56036
[startup+190.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 16871 0 0 0 18940 63 0 0 25 0 1 0 806946517 57786368 10736 4294967295 134512640 135726644 3221224576 3221223072 134743864 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14108 10736 300 300 0 13808 0
vsize: 56432
[startup+200.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 16914 0 0 0 19939 64 0 0 25 0 1 0 806946517 57921536 10779 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14141 10779 300 300 0 13841 0
vsize: 56564
[startup+210.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 17161 0 0 0 20937 66 0 0 25 0 1 0 806946517 58191872 10853 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14207 10853 300 300 0 13907 0
vsize: 56828
[startup+220.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 17359 0 0 0 21934 69 0 0 25 0 1 0 806946517 58191872 10878 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14207 10878 300 300 0 13907 0
vsize: 56828
[startup+230.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 17417 0 0 0 22933 70 0 0 25 0 1 0 806946517 58462208 10936 4294967295 134512640 135726644 3221224576 3221223072 134744014 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14273 10936 300 300 0 13973 0
vsize: 57092
[startup+240.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 17622 0 0 0 23933 71 0 0 25 0 1 0 806946517 58597376 10968 4294967295 134512640 135726644 3221224576 3221223072 134743875 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14306 10968 300 300 0 14006 0
vsize: 57224
[startup+250.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 17890 0 0 0 24932 72 0 0 25 0 1 0 806946517 59138048 11063 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14438 11063 300 300 0 14138 0
vsize: 57752
[startup+260.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 18069 0 0 0 25931 73 0 0 25 0 1 0 806946517 59138048 11069 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14438 11069 300 300 0 14138 0
vsize: 57752
[startup+270.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 18087 0 0 0 26930 74 0 0 25 0 1 0 806946517 59138048 11087 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14438 11087 300 300 0 14138 0
vsize: 57752
[startup+280.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 18263 0 0 0 27928 76 0 0 25 0 1 0 806946517 59138048 11090 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14438 11090 300 300 0 14138 0
vsize: 57752
[startup+290.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 18298 0 0 0 28927 77 0 0 25 0 1 0 806946517 59273216 11125 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14471 11125 300 300 0 14171 0
vsize: 57884
[startup+300.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 18510 0 0 0 29925 79 0 0 25 0 1 0 806946517 59469824 11164 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14519 11164 300 300 0 14219 0
vsize: 58076
[startup+310.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 18560 0 0 0 30924 80 0 0 25 0 1 0 806946517 59604992 11214 4294967295 134512640 135726644 3221224576 3221222952 135287433 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14552 11214 300 300 0 14252 0
vsize: 58208
[startup+320.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 18801 0 0 0 31923 82 0 0 25 0 1 0 806946517 60010496 11282 4294967295 134512640 135726644 3221224576 3221223072 134743940 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14651 11282 300 300 0 14351 0
vsize: 58604
[startup+330.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 19034 0 0 0 32921 84 0 0 25 0 1 0 806946517 60280832 11342 4294967295 134512640 135726644 3221224576 3221223072 134744028 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14717 11342 300 300 0 14417 0
vsize: 58868
[startup+340.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 19047 0 0 0 33920 85 0 0 25 0 1 0 806946517 60280832 11355 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14717 11355 300 300 0 14417 0
vsize: 58868
[startup+350.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 19292 0 0 0 34918 87 0 0 25 0 1 0 806946517 60608512 11394 4294967295 134512640 135726644 3221224576 3221223072 134744379 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14797 11394 300 300 0 14497 0
vsize: 59188
[startup+360.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 19470 0 0 0 35920 87 0 0 25 0 1 0 806946517 60608512 11399 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14797 11399 300 300 0 14497 0
vsize: 59188
[startup+370.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 19502 0 0 0 36919 88 0 0 25 0 1 0 806946517 60608512 11431 4294967295 134512640 135726644 3221224576 3221223072 134744159 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14797 11431 300 300 0 14497 0
vsize: 59188
[startup+380.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 19703 0 0 0 37918 89 0 0 25 0 1 0 806946517 60608512 11459 4294967295 134512640 135726644 3221224576 3221223220 134744476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14797 11459 300 300 0 14497 0
vsize: 59188
[startup+390.043 s]
Raw data (loadavg): 0.99 0.97 0.91 3/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 19960 0 0 0 38916 91 0 0 25 0 1 0 806946517 61009920 11543 4294967295 134512640 135726644 3221224576 3221223072 134744174 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14895 11543 300 300 0 14595 0
vsize: 59580
[startup+400.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 20009 0 0 0 39915 92 0 0 25 0 1 0 806946517 61280256 11592 4294967295 134512640 135726644 3221224576 3221223072 134744235 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14961 11592 300 300 0 14661 0
vsize: 59844
[startup+410.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 20221 0 0 0 40914 93 0 0 25 0 1 0 806946517 61415424 11631 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14994 11631 300 300 0 14694 0
vsize: 59976
[startup+420.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 20437 0 0 0 41913 95 0 0 25 0 1 0 806946517 61685760 11674 4294967295 134512640 135726644 3221224576 3221223200 134744520 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15060 11674 300 300 0 14760 0
vsize: 60240
[startup+430.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 20644 0 0 0 42911 97 0 0 25 0 1 0 806946517 61820928 11708 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15093 11708 300 300 0 14793 0
vsize: 60372
[startup+440.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 20852 0 0 0 43910 98 0 0 25 0 1 0 806946517 61956096 11743 4294967295 134512640 135726644 3221224576 3221223200 134744582 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15126 11743 300 300 0 14826 0
vsize: 60504
[startup+450.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 20908 0 0 0 44908 100 0 0 25 0 1 0 806946517 62091264 11799 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15159 11799 300 300 0 14859 0
vsize: 60636
[startup+460.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 21135 0 0 0 45907 102 0 0 25 0 1 0 806946517 62255104 11853 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15199 11853 300 300 0 14899 0
vsize: 60796
[startup+470.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 21160 0 0 0 46906 102 0 0 25 0 1 0 806946517 62390272 11878 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15232 11878 300 300 0 14932 0
vsize: 60928
[startup+480.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 21407 0 0 0 47904 105 0 0 25 0 1 0 806946517 62660608 11952 4294967295 134512640 135726644 3221224576 3221223072 134744022 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15298 11952 300 300 0 14998 0
vsize: 61192
[startup+490.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 21452 0 0 0 48903 106 0 0 25 0 1 0 806946517 62930944 11997 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15364 11997 300 300 0 15064 0
vsize: 61456
[startup+500.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 21650 0 0 0 49902 107 0 0 25 0 1 0 806946517 63066112 12022 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15397 12022 300 300 0 15097 0
vsize: 61588
[startup+510.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 21826 0 0 0 50900 109 0 0 25 0 1 0 806946517 63066112 12025 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15397 12025 300 300 0 15097 0
vsize: 61588
[startup+520.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 21841 0 0 0 51899 110 0 0 25 0 1 0 806946517 63066112 12040 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15397 12040 300 300 0 15097 0
vsize: 61588
[startup+530.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 22098 0 0 0 52897 112 0 0 25 0 1 0 806946517 63336448 12124 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15463 12124 300 300 0 15163 0
vsize: 61852
[startup+540.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 22318 0 0 0 53895 115 0 0 25 0 1 0 806946517 63471616 12171 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15496 12171 300 300 0 15196 0
vsize: 61984
[startup+550.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 22362 0 0 0 54893 116 0 0 25 0 1 0 806946517 63741952 12215 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15562 12215 300 300 0 15262 0
vsize: 62248
[startup+560.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 22559 0 0 0 55892 118 0 0 25 0 1 0 806946517 63877120 12239 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15595 12239 300 300 0 15295 0
vsize: 62380
[startup+570.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 22570 0 0 0 56891 119 0 0 25 0 1 0 806946517 63877120 12250 4294967295 134512640 135726644 3221224576 3221222992 134737974 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15595 12250 300 300 0 15295 0
vsize: 62380
[startup+580.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 22751 0 0 0 57890 120 0 0 25 0 1 0 806946517 63877120 12258 4294967295 134512640 135726644 3221224576 3221223088 134742584 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15595 12258 300 300 0 15295 0
vsize: 62380
[startup+590.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 22948 0 0 0 58889 121 0 0 25 0 1 0 806946517 64012288 12282 4294967295 134512640 135726644 3221224576 3221223072 134744153 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15628 12282 300 300 0 15328 0
vsize: 62512
[startup+600.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 23152 0 0 0 59888 122 0 0 25 0 1 0 806946517 64147456 12313 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15661 12313 300 300 0 15361 0
vsize: 62644
[startup+610.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 23377 0 0 0 60886 123 0 0 25 0 1 0 806946517 64147456 12365 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15661 12365 300 300 0 15361 0
vsize: 62644
[startup+620.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 23390 0 0 0 61885 125 0 0 25 0 1 0 806946517 64147456 12378 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15661 12378 300 300 0 15361 0
vsize: 62644
[startup+630.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 23570 0 0 0 62884 126 0 0 25 0 1 0 806946517 64147456 12385 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15661 12385 300 300 0 15361 0
vsize: 62644
[startup+640.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 23625 0 0 0 63884 126 0 0 25 0 1 0 806946517 64278528 12407 4294967295 134512640 135726644 3221224576 3221223088 134742276 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15693 12407 300 300 0 15393 0
vsize: 62772
[startup+650.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 23836 0 0 0 64883 128 0 0 25 0 1 0 806946517 64413696 12445 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15726 12445 300 300 0 15426 0
vsize: 62904
[startup+660.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 23838 0 0 0 65882 129 0 0 25 0 1 0 806946517 64413696 12447 4294967295 134512640 135726644 3221224576 3221223072 134743990 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15726 12447 300 300 0 15426 0
vsize: 62904
[startup+670.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 24022 0 0 0 66881 130 0 0 25 0 1 0 806946517 64413696 12458 4294967295 134512640 135726644 3221224576 3221223200 134744612 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15726 12458 300 300 0 15426 0
vsize: 62904
[startup+680.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 24237 0 0 0 67880 131 0 0 25 0 1 0 806946517 64544768 12467 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15758 12467 300 300 0 15458 0
vsize: 63032
[startup+690.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 24271 0 0 0 68879 132 0 0 25 0 1 0 806946517 64679936 12501 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15791 12501 300 300 0 15491 0
vsize: 63164
[startup+700.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 24471 0 0 0 69879 133 0 0 25 0 1 0 806946517 64815104 12528 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15824 12528 300 300 0 15524 0
vsize: 63296
[startup+710.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 24667 0 0 0 70877 134 0 0 25 0 1 0 806946517 64978944 12551 4294967295 134512640 135726644 3221224576 3221223184 134741242 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15864 12551 300 300 0 15564 0
vsize: 63456
[startup+720.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 24687 0 0 0 71877 135 0 0 25 0 1 0 806946517 64978944 12571 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15864 12571 300 300 0 15564 0
vsize: 63456
[startup+730.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 24918 0 0 0 72875 137 0 0 25 0 1 0 806946517 65310720 12629 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15945 12629 300 300 0 15645 0
vsize: 63780
[startup+740.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 24959 0 0 0 73874 138 0 0 25 0 1 0 806946517 65507328 12670 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15993 12670 300 300 0 15693 0
vsize: 63972
[startup+750.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 25136 0 0 0 74873 139 0 0 25 0 1 0 806946517 65507328 12674 4294967295 134512640 135726644 3221224576 3221223200 134744550 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15993 12674 300 300 0 15693 0
vsize: 63972
[startup+760.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 25314 0 0 0 75872 140 0 0 25 0 1 0 806946517 65507328 12679 4294967295 134512640 135726644 3221224576 3221223212 135101148 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15993 12679 300 300 0 15693 0
vsize: 63972
[startup+770.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 25541 0 0 0 76871 142 0 0 25 0 1 0 806946517 65507328 12733 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15993 12733 300 300 0 15693 0
vsize: 63972
[startup+780.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 25740 0 0 0 77870 142 0 0 25 0 1 0 806946517 65703936 12759 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16041 12759 300 300 0 15741 0
vsize: 64164
[startup+790.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 25798 0 0 0 78870 143 0 0 25 0 1 0 806946517 65839104 12817 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16074 12817 300 300 0 15774 0
vsize: 64296
[startup+800.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 25999 0 0 0 79869 144 0 0 25 0 1 0 806946517 65839104 12845 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16074 12845 300 300 0 15774 0
vsize: 64296
[startup+810.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 26217 0 0 0 80868 145 0 0 25 0 1 0 806946517 65974272 12890 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16107 12890 300 300 0 15807 0
vsize: 64428
[startup+820.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 26240 0 0 0 81867 146 0 0 25 0 1 0 806946517 65974272 12913 4294967295 134512640 135726644 3221224576 3221223072 134744159 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16107 12913 300 300 0 15807 0
vsize: 64428
[startup+830.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 26434 0 0 0 82866 147 0 0 25 0 1 0 806946517 65974272 12934 4294967295 134512640 135726644 3221224576 3221223264 134744864 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16107 12934 300 300 0 15807 0
vsize: 64428
[startup+840.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 26624 0 0 0 83865 148 0 0 25 0 1 0 806946517 65974272 12951 4294967295 134512640 135726644 3221224576 3221223196 134779550 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16107 12951 300 300 0 15807 0
vsize: 64428
[startup+850.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 26652 0 0 0 84864 149 0 0 25 0 1 0 806946517 66170880 12979 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16155 12979 300 300 0 15855 0
vsize: 64620
[startup+860.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 26846 0 0 0 85863 151 0 0 25 0 1 0 806946517 66170880 13000 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16155 13000 300 300 0 15855 0
vsize: 64620
[startup+870.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 26933 0 0 0 86862 152 0 0 25 0 1 0 806946517 66568192 13071 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16252 13071 300 300 0 15952 0
vsize: 65008
[startup+880.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 27108 0 0 0 87861 153 0 0 25 0 1 0 806946517 66568192 13073 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16252 13073 300 300 0 15952 0
vsize: 65008
[startup+890.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 27114 0 0 0 88861 153 0 0 25 0 1 0 806946517 66568192 13079 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16252 13079 300 300 0 15952 0
vsize: 65008
[startup+900.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 27291 0 0 0 89860 155 0 0 25 0 1 0 806946517 66732032 13083 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16292 13083 300 300 0 15992 0
vsize: 65168
[startup+910.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 27320 0 0 0 90859 156 0 0 25 0 1 0 806946517 66732032 13112 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16292 13112 300 300 0 15992 0
vsize: 65168
[startup+920.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 27507 0 0 0 91858 157 0 0 25 0 1 0 806946517 66732032 13126 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16292 13126 300 300 0 15992 0
vsize: 65168
[startup+930.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 27548 0 0 0 92857 158 0 0 25 0 1 0 806946517 66928640 13167 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16340 13167 300 300 0 16040 0
vsize: 65360
[startup+940.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 27727 0 0 0 93856 159 0 0 25 0 1 0 806946517 66928640 13173 4294967295 134512640 135726644 3221224576 3221223232 134731263 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16340 13173 300 300 0 16040 0
vsize: 65360
[startup+950.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 27736 0 0 0 94855 160 0 0 25 0 1 0 806946517 66928640 13182 4294967295 134512640 135726644 3221224576 3221222896 134728940 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16340 13182 300 300 0 16040 0
vsize: 65360
[startup+960.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 27913 0 0 0 95854 161 0 0 25 0 1 0 806946517 66928640 13186 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16340 13186 300 300 0 16040 0
vsize: 65360
[startup+970.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 28106 0 0 0 96853 162 0 0 25 0 1 0 806946517 67125248 13206 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16388 13206 300 300 0 16088 0
vsize: 65552
[startup+980.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 28136 0 0 0 97852 163 0 0 25 0 1 0 806946517 67125248 13236 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16388 13236 300 300 0 16088 0
vsize: 65552
[startup+990.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 28311 0 0 0 98851 165 0 0 25 0 1 0 806946517 67125248 13238 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16388 13238 300 300 0 16088 0
vsize: 65552
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 28511 0 0 0 99850 166 0 0 25 0 1 0 806946517 67321856 13265 4294967295 134512640 135726644 3221224576 3221223072 134744295 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16436 13265 300 300 0 16136 0
vsize: 65744
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 28566 0 0 0 100849 167 0 0 25 0 1 0 806946517 67321856 13320 4294967295 134512640 135726644 3221224576 3221223072 134744235 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16436 13320 300 300 0 16136 0
vsize: 65744
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 28748 0 0 0 101849 167 0 0 25 0 1 0 806946517 67321856 13329 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16436 13329 300 300 0 16136 0
vsize: 65744
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 28979 0 0 0 102847 169 0 0 25 0 1 0 806946517 67653632 13387 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16517 13387 300 300 0 16217 0
vsize: 66068
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 28982 0 0 0 103846 170 0 0 25 0 1 0 806946517 67653632 13390 4294967295 134512640 135726644 3221224576 3221223072 134743978 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16517 13390 300 300 0 16217 0
vsize: 66068
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 29158 0 0 0 104845 171 0 0 25 0 1 0 806946517 67653632 13393 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16517 13393 300 300 0 16217 0
vsize: 66068
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 29168 0 0 0 105845 172 0 0 25 0 1 0 806946517 67653632 13403 4294967295 134512640 135726644 3221224576 3221223088 134742276 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16517 13403 300 300 0 16217 0
vsize: 66068
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 29344 0 0 0 106844 173 0 0 25 0 1 0 806946517 67653632 13406 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16517 13406 300 300 0 16217 0
vsize: 66068
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 29537 0 0 0 107843 174 0 0 25 0 1 0 806946517 67653632 13426 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16517 13426 300 300 0 16217 0
vsize: 66068
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 29572 0 0 0 108842 175 0 0 25 0 1 0 806946517 67653632 13461 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16517 13461 300 300 0 16217 0
vsize: 66068
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 29772 0 0 0 109841 176 0 0 25 0 1 0 806946517 67821568 13488 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16558 13488 300 300 0 16258 0
vsize: 66232
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 29784 0 0 0 110840 177 0 0 25 0 1 0 806946517 67821568 13500 4294967295 134512640 135726644 3221224576 3221223200 134744575 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16558 13500 300 300 0 16258 0
vsize: 66232
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 29985 0 0 0 111839 178 0 0 25 0 1 0 806946517 67977216 13528 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16596 13528 300 300 0 16296 0
vsize: 66384
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 30006 0 0 0 112838 179 0 0 25 0 1 0 806946517 68141056 13549 4294967295 134512640 135726644 3221224576 3221223168 134743857 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16636 13549 300 300 0 16336 0
vsize: 66544
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 30188 0 0 0 113837 180 0 0 25 0 1 0 806946517 68141056 13558 4294967295 134512640 135726644 3221224576 3221222824 135280790 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16636 13558 300 300 0 16336 0
vsize: 66544
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 30196 0 0 0 114835 182 0 0 25 0 1 0 806946517 68141056 13566 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16636 13566 300 300 0 16336 0
vsize: 66544
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 30372 0 0 0 115835 183 0 0 25 0 1 0 806946517 68141056 13569 4294967295 134512640 135726644 3221224576 3221223072 134744325 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16636 13569 300 300 0 16336 0
vsize: 66544
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 30379 0 0 0 116834 184 0 0 25 0 1 0 806946517 68141056 13576 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16636 13576 300 300 0 16336 0
vsize: 66544
[startup+1180.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 30556 0 0 0 117833 185 0 0 25 0 1 0 806946517 68141056 13580 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16636 13580 300 300 0 16336 0
vsize: 66544
[startup+1190.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 30749 0 0 0 118832 186 0 0 25 0 1 0 806946517 68276224 13600 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16669 13600 300 300 0 16369 0
vsize: 66676
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20170
Raw data (stat): 20170 (pb2sat) R 20169 3944 3943 0 -1 0 30928 0 0 0 119832 186 0 0 25 0 1 0 806946517 68276224 13606 4294967295 134512640 135726644 3221224576 3221222992 134738149 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16669 13606 300 300 0 16369 0
vsize: 66676
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.31 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 20170
Raw data (stat): 20170 (pb2sat) Z 20169 3944 3943 0 -1 12 30929 0 0 0 119856 189 0 0 25 0 1 0 806946517 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 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: 0
Real time (s): 1200.31
CPU time (s): 1200.45
CPU user time (s): 1198.56
CPU system time (s): 1.89271
CPU usage (%): 100.012
Max. virtual memory (Kb): 66676
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####