PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-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	1175.06
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 35301

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-05-28 12:27:40 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24524 boxname=wulflinc5 idbench=996 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  c5ca7819a7dcae16ff6045242cdd1f87  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-protfold.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-protfold.opb
IDLAUNCH: 24524
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        703940 kB
Buffers:         34020 kB
Cached:         271848 kB
SwapCached:        608 kB
Active:          15852 kB
Inactive:       292052 kB
HighTotal:      131008 kB
HighFree:        54656 kB
LowTotal:       903652 kB
LowFree:        649284 kB
SwapTotal:     2097136 kB
SwapFree:      2095612 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5132 kB
Slab:            17240 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 12:47:43 (client local time) WITH STATUS 0 IN 1200.51 SECONDS
stats: 24524 7 1200.51 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 11204/88360	Time: 154.8/86400
Decision: 11204/88360	Time: 167.199/86400
Decision: 11204/88360	Time: 185.098/86400
Decision: 11204/88360	Time: 201.642/86400
Decision: 11204/88360	Time: 217.538/86400
Decision: 11204/88360	Time: 234.951/86400
Decision: 11204/88360	Time: 242.683/86400
Decision: 11204/88360	Time: 258.168/86400
Decision: 11204/88360	Time: 276.775/86400
Decision: 11204/88360	Time: 295.525/86400
Decision: 11204/88360	Time: 313.572/86400
Decision: 11204/88360	Time: 329.688/86400
Decision: 11204/88360	Time: 348.912/86400
Decision: 11204/88360	Time: 359.48/86400
Decision: 11204/88360	Time: 374.963/86400
Decision: 11204/88360	Time: 393.508/86400
Decision: 11204/88360	Time: 406.826/86400
Decision: 11204/88360	Time: 416.276/86400
Decision: 11204/88360	Time: 430.922/86400
Decision: 11204/88360	Time: 445.092/86400
Decision: 11204/88360	Time: 465.587/86400
Decision: 11204/88360	Time: 481.652/86400
Decision: 11204/88360	Time: 497.703/86400
Decision: 11204/88360	Time: 513.594/86400
Decision: 11204/88360	Time: 529.857/86400
Decision: 11204/88360	Time: 546.378/86400
Decision: 11204/88360	Time: 562.28/86400
Decision: 11204/88360	Time: 579.014/86400
Decision: 11204/88360	Time: 589.37/86400
Decision: 11204/88360	Time: 605.744/86400
Decision: 11204/88360	Time: 619.339/86400
Decision: 11204/88360	Time: 639.822/86400
Decision: 11204/88360	Time: 650.971/86400
Decision: 11204/88360	Time: 671.847/86400
Decision: 11204/88360	Time: 687.755/86400
Decision: 11204/88360	Time: 703.452/86400
Decision: 11204/88360	Time: 719.206/86400
Decision: 11204/88360	Time: 738.548/86400
Decision: 11204/88360	Time: 756.694/86400
Decision: 11204/88360	Time: 771.948/86400
Decision: 11204/88360	Time: 781.991/86400
Decision: 11204/88360	Time: 790.129/86400
Decision: 11204/88360	Time: 806.265/86400
Decision: 11204/88360	Time: 821.858/86400
Decision: 11204/88360	Time: 837.355/86400
Decision: 11204/88360	Time: 855.903/86400
Decision: 11204/88360	Time: 875.071/86400
Decision: 11204/88360	Time: 892.246/86400
Decision: 11204/88360	Time: 911.273/86400
Decision: 11204/88360	Time: 931.73/86400
Decision: 11204/88360	Time: 951.896/86400
Decision: 11204/88360	Time: 971.75/86400
Decision: 11204/88360	Time: 980.811/86400
Decision: 11204/88360	Time: 999.951/86400
Decision: 11204/88360	Time: 1018.02/86400
Decision: 11204/88360	Time: 1033.4/86400
Decision: 11204/88360	Time: 1045.79/86400
Decision: 11204/88360	Time: 1061.44/86400
Decision: 11204/88360	Time: 1081.23/86400
Decision: 11204/88360	Time: 1099.98/86400
Decision: 11204/88360	Time: 1120.58/86400
Decision: 11204/88360	Time: 1138.58/86400
Decision: 11204/88360	Time: 1159.63/86400
Decision: 11204/88360	Time: 1181.23/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.93 0.90 2/54 19462
Raw data (stat): 19462 (runsolver) R 19461 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 806578025 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.92 0.93 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 13110 0 0 0 966 33 0 0 25 0 1 0 806578025 42721280 7494 4294967295 134512640 135726644 3221224576 3221222824 135280958 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10430 7494 300 300 0 10130 0
vsize: 41720
[startup+20.0016 s]
Raw data (loadavg): 0.93 0.93 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 13755 0 0 0 1964 35 0 0 25 0 1 0 806578025 45641728 8139 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11143 8139 300 300 0 10843 0
vsize: 44572
[startup+30.0024 s]
Raw data (loadavg): 0.94 0.93 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 14183 0 0 0 2962 37 0 0 25 0 1 0 806578025 47788032 8567 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11667 8567 300 300 0 11367 0
vsize: 46668
[startup+40.0026 s]
Raw data (loadavg): 0.95 0.93 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 14527 0 0 0 3960 39 0 0 25 0 1 0 806578025 49602560 8911 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12110 8911 300 300 0 11810 0
vsize: 48440
[startup+50.0039 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 14875 0 0 0 4958 41 0 0 25 0 1 0 806578025 51150848 9259 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12488 9259 300 300 0 12188 0
vsize: 49952
[startup+60.0036 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 14990 0 0 0 5957 43 0 0 25 0 1 0 806578025 51544064 9374 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12584 9374 300 300 0 12284 0
vsize: 50336
[startup+70.0468 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 15146 0 0 0 6959 45 0 0 25 0 1 0 806578025 52342784 9530 4294967295 134512640 135726644 3221224576 3221223216 134762105 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12779 9530 300 300 0 12479 0
vsize: 51116
[startup+80.0471 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 15300 0 0 0 7957 47 0 0 25 0 1 0 806578025 53080064 9684 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12959 9684 300 300 0 12659 0
vsize: 51836
[startup+90.0468 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 15418 0 0 0 8956 48 0 0 25 0 1 0 806578025 53547008 9802 4294967295 134512640 135726644 3221224576 3221223232 134745073 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13073 9802 300 300 0 12773 0
vsize: 52292
[startup+100.048 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 15554 0 0 0 9954 50 0 0 25 0 1 0 806578025 54345728 9938 4294967295 134512640 135726644 3221224576 3221223232 134731245 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13268 9938 300 300 0 12968 0
vsize: 53072
[startup+110.048 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 15677 0 0 0 10953 52 0 0 25 0 1 0 806578025 54886400 10061 4294967295 134512640 135726644 3221224576 3221223072 134744051 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13400 10061 300 300 0 13100 0
vsize: 53600
[startup+120.052 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 15745 0 0 0 11952 53 0 0 25 0 1 0 806578025 55083008 10129 4294967295 134512640 135726644 3221224576 3221222824 135280955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13448 10129 300 300 0 13148 0
vsize: 53792
[startup+130.053 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 15874 0 0 0 12950 55 0 0 25 0 1 0 806578025 55758848 10258 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13613 10258 300 300 0 13313 0
vsize: 54452
[startup+140.054 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 15937 0 0 0 13949 56 0 0 25 0 1 0 806578025 56029184 10321 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13679 10321 300 300 0 13379 0
vsize: 54716
[startup+150.054 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 16070 0 0 0 14947 58 0 0 25 0 1 0 806578025 56705024 10454 4294967295 134512640 135726644 3221224576 3221223072 134744011 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13844 10454 300 300 0 13544 0
vsize: 55376
[startup+160.054 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 16302 0 0 0 15945 60 0 0 25 0 1 0 806578025 56975360 10513 4294967295 134512640 135726644 3221224576 3221223200 134779717 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13910 10513 300 300 0 13610 0
vsize: 55640
[startup+170.054 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 16369 0 0 0 16944 60 0 0 25 0 1 0 806578025 57110528 10580 4294967295 134512640 135726644 3221224576 3221223072 134744223 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13943 10580 300 300 0 13643 0
vsize: 55772
[startup+180.062 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 16565 0 0 0 17943 62 0 0 25 0 1 0 806578025 57110528 10603 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13943 10603 300 300 0 13643 0
vsize: 55772
[startup+190.066 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 16642 0 0 0 18942 64 0 0 25 0 1 0 806578025 57516032 10680 4294967295 134512640 135726644 3221224576 3221223072 134744048 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14042 10680 300 300 0 13742 0
vsize: 56168
[startup+200.066 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 16903 0 0 0 19940 66 0 0 25 0 1 0 806578025 57921536 10768 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14141 10768 300 300 0 13841 0
vsize: 56564
[startup+210.066 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 17145 0 0 0 20938 68 0 0 25 0 1 0 806578025 58191872 10837 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14207 10837 300 300 0 13907 0
vsize: 56828
[startup+220.065 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 17170 0 0 0 21938 69 0 0 25 0 1 0 806578025 58191872 10862 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14207 10862 300 300 0 13907 0
vsize: 56828
[startup+230.065 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 17384 0 0 0 22936 70 0 0 25 0 1 0 806578025 58327040 10903 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14240 10903 300 300 0 13940 0
vsize: 56960
[startup+240.073 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 17619 0 0 0 23936 72 0 0 25 0 1 0 806578025 58597376 10965 4294967295 134512640 135726644 3221224576 3221223172 134783988 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14306 10965 300 300 0 14006 0
vsize: 57224
[startup+250.073 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 17797 0 0 0 24935 73 0 0 25 0 1 0 806578025 58597376 10970 4294967295 134512640 135726644 3221224576 3221223072 134743982 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14306 10970 300 300 0 14006 0
vsize: 57224
[startup+260.073 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 17891 0 0 0 25933 75 0 0 25 0 1 0 806578025 59138048 11064 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14438 11064 300 300 0 14138 0
vsize: 57752
[startup+270.073 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 18073 0 0 0 26933 75 0 0 25 0 1 0 806578025 59138048 11073 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14438 11073 300 300 0 14138 0
vsize: 57752
[startup+280.073 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 18088 0 0 0 27931 77 0 0 25 0 1 0 806578025 59138048 11088 4294967295 134512640 135726644 3221224576 3221223072 134743999 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14438 11088 300 300 0 14138 0
vsize: 57752
[startup+290.073 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 18271 0 0 0 28929 79 0 0 25 0 1 0 806578025 59138048 11098 4294967295 134512640 135726644 3221224576 3221222824 135281144 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14438 11098 300 300 0 14138 0
vsize: 57752
[startup+300.074 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 18308 0 0 0 29928 81 0 0 25 0 1 0 806578025 59469824 11135 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14519 11135 300 300 0 14219 0
vsize: 58076
[startup+310.074 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 18545 0 0 0 30926 82 0 0 25 0 1 0 806578025 59604992 11199 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14552 11199 300 300 0 14252 0
vsize: 58208
[startup+320.074 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 18772 0 0 0 31924 84 0 0 25 0 1 0 806578025 59875328 11253 4294967295 134512640 135726644 3221224576 3221223232 134731187 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14618 11253 300 300 0 14318 0
vsize: 58472
[startup+330.075 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 18830 0 0 0 32923 86 0 0 25 0 1 0 806578025 60145664 11311 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14684 11311 300 300 0 14384 0
vsize: 58736
[startup+340.074 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 19035 0 0 0 33921 87 0 0 25 0 1 0 806578025 60280832 11343 4294967295 134512640 135726644 3221224576 3221223072 134744304 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14717 11343 300 300 0 14417 0
vsize: 58868
[startup+350.074 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 19047 0 0 0 34921 88 0 0 25 0 1 0 806578025 60280832 11355 4294967295 134512640 135726644 3221224576 3221223072 134744220 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14717 11355 300 300 0 14417 0
vsize: 58868
[startup+360.075 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 19293 0 0 0 35919 90 0 0 25 0 1 0 806578025 60608512 11395 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14797 11395 300 300 0 14497 0
vsize: 59188
[startup+370.075 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 19470 0 0 0 36918 91 0 0 25 0 1 0 806578025 60608512 11399 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14797 11399 300 300 0 14497 0
vsize: 59188
[startup+380.074 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 19503 0 0 0 37917 92 0 0 25 0 1 0 806578025 60608512 11432 4294967295 134512640 135726644 3221224576 3221223088 134742265 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14797 11432 300 300 0 14497 0
vsize: 59188
[startup+390.074 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 19723 0 0 0 38916 93 0 0 25 0 1 0 806578025 60743680 11479 4294967295 134512640 135726644 3221224576 3221223072 134743967 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14830 11479 300 300 0 14530 0
vsize: 59320
[startup+400.075 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 19961 0 0 0 39915 94 0 0 25 0 1 0 806578025 61009920 11544 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14895 11544 300 300 0 14595 0
vsize: 59580
[startup+410.075 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 20009 0 0 0 40915 95 0 0 25 0 1 0 806578025 61280256 11592 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14961 11592 300 300 0 14661 0
vsize: 59844
[startup+420.075 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 20221 0 0 0 41913 97 0 0 25 0 1 0 806578025 61415424 11631 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14994 11631 300 300 0 14694 0
vsize: 59976
[startup+430.075 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 20437 0 0 0 42912 98 0 0 25 0 1 0 806578025 61685760 11674 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15060 11674 300 300 0 14760 0
vsize: 60240
[startup+440.075 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 20644 0 0 0 43910 100 0 0 25 0 1 0 806578025 61820928 11708 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15093 11708 300 300 0 14793 0
vsize: 60372
[startup+450.076 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 20678 0 0 0 44909 101 0 0 25 0 1 0 806578025 61956096 11742 4294967295 134512640 135726644 3221224576 3221223088 134742198 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15126 11742 300 300 0 14826 0
vsize: 60504
[startup+460.076 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 20906 0 0 0 45908 102 0 0 25 0 1 0 806578025 62091264 11797 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15159 11797 300 300 0 14859 0
vsize: 60636
[startup+470.076 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 20961 0 0 0 46907 104 0 0 25 0 1 0 806578025 62255104 11852 4294967295 134512640 135726644 3221224576 3221223072 134743978 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15199 11852 300 300 0 14899 0
vsize: 60796
[startup+480.077 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 21160 0 0 0 47906 105 0 0 25 0 1 0 806578025 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+490.077 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 21343 0 0 0 48905 106 0 0 25 0 1 0 806578025 62390272 11888 4294967295 134512640 135726644 3221224576 3221223072 134744051 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15232 11888 300 300 0 14932 0
vsize: 60928
[startup+500.077 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 21451 0 0 0 49904 108 0 0 25 0 1 0 806578025 62930944 11996 4294967295 134512640 135726644 3221224576 3221223072 134744379 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15364 11996 300 300 0 15064 0
vsize: 61456
[startup+510.077 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 21650 0 0 0 50903 108 0 0 25 0 1 0 806578025 63066112 12022 4294967295 134512640 135726644 3221224576 3221223072 134744006 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15397 12022 300 300 0 15097 0
vsize: 61588
[startup+520.077 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 21825 0 0 0 51901 110 0 0 25 0 1 0 806578025 63066112 12024 4294967295 134512640 135726644 3221224576 3221223072 134744039 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15397 12024 300 300 0 15097 0
vsize: 61588
[startup+530.077 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 21837 0 0 0 52900 112 0 0 25 0 1 0 806578025 63066112 12036 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15397 12036 300 300 0 15097 0
vsize: 61588
[startup+540.077 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 22073 0 0 0 53898 113 0 0 25 0 1 0 806578025 63201280 12099 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15430 12099 300 300 0 15130 0
vsize: 61720
[startup+550.077 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 22142 0 0 0 54897 114 0 0 25 0 1 0 806578025 63471616 12168 4294967295 134512640 135726644 3221224576 3221223072 134743990 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15496 12168 300 300 0 15196 0
vsize: 61984
[startup+560.077 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 22341 0 0 0 55896 116 0 0 25 0 1 0 806578025 63606784 12194 4294967295 134512640 135726644 3221224576 3221223072 134743990 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15529 12194 300 300 0 15229 0
vsize: 62116
[startup+570.077 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 22558 0 0 0 56895 117 0 0 25 0 1 0 806578025 63877120 12238 4294967295 134512640 135726644 3221224576 3221223072 134744011 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15595 12238 300 300 0 15295 0
vsize: 62380
[startup+580.078 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 22562 0 0 0 57893 119 0 0 25 0 1 0 806578025 63877120 12242 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15595 12242 300 300 0 15295 0
vsize: 62380
[startup+590.077 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 22750 0 0 0 58892 120 0 0 25 0 1 0 806578025 63877120 12257 4294967295 134512640 135726644 3221224576 3221223200 134744578 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15595 12257 300 300 0 15295 0
vsize: 62380
[startup+600.078 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 22926 0 0 0 59891 121 0 0 25 0 1 0 806578025 63877120 12260 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15595 12260 300 300 0 15295 0
vsize: 62380
[startup+610.079 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 22974 0 0 0 60891 122 0 0 25 0 1 0 806578025 64147456 12308 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15661 12308 300 300 0 15361 0
vsize: 62644
[startup+620.079 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 23182 0 0 0 61889 123 0 0 25 0 1 0 806578025 64147456 12343 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15661 12343 300 300 0 15361 0
vsize: 62644
[startup+630.079 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 23378 0 0 0 62888 125 0 0 25 0 1 0 806578025 64147456 12366 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15661 12366 300 300 0 15361 0
vsize: 62644
[startup+640.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 23396 0 0 0 63887 126 0 0 25 0 1 0 806578025 64147456 12384 4294967295 134512640 135726644 3221224576 3221223168 134759986 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15661 12384 300 300 0 15361 0
vsize: 62644
[startup+650.081 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 23574 0 0 0 64885 127 0 0 25 0 1 0 806578025 64147456 12389 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15661 12389 300 300 0 15361 0
vsize: 62644
[startup+660.081 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 23799 0 0 0 65884 129 0 0 25 0 1 0 806578025 64278528 12408 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15693 12408 300 300 0 15393 0
vsize: 62772
[startup+670.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 23837 0 0 0 66883 130 0 0 25 0 1 0 806578025 64413696 12446 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15726 12446 300 300 0 15426 0
vsize: 62904
[startup+680.081 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 24016 0 0 0 67883 130 0 0 25 0 1 0 806578025 64413696 12452 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15726 12452 300 300 0 15426 0
vsize: 62904
[startup+690.081 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 24025 0 0 0 68881 132 0 0 25 0 1 0 806578025 64413696 12461 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15726 12461 300 300 0 15426 0
vsize: 62904
[startup+700.081 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 24237 0 0 0 69880 133 0 0 25 0 1 0 806578025 64544768 12467 4294967295 134512640 135726644 3221224576 3221223072 134743961 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15758 12467 300 300 0 15458 0
vsize: 63032
[startup+710.082 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 24450 0 0 0 70879 135 0 0 25 0 1 0 806578025 64679936 12507 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15791 12507 300 300 0 15491 0
vsize: 63164
[startup+720.082 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 24477 0 0 0 71878 136 0 0 25 0 1 0 806578025 64978944 12534 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15864 12534 300 300 0 15564 0
vsize: 63456
[startup+730.083 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 24673 0 0 0 72877 137 0 0 25 0 1 0 806578025 64978944 12557 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15864 12557 300 300 0 15564 0
vsize: 63456
[startup+740.082 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 24688 0 0 0 73877 138 0 0 25 0 1 0 806578025 64978944 12572 4294967295 134512640 135726644 3221224576 3221222824 135280958 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15864 12572 300 300 0 15564 0
vsize: 63456
[startup+750.083 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 24918 0 0 0 74874 140 0 0 25 0 1 0 806578025 65310720 12629 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15945 12629 300 300 0 15645 0
vsize: 63780
[startup+760.083 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 24960 0 0 0 75874 141 0 0 25 0 1 0 806578025 65507328 12671 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15993 12671 300 300 0 15693 0
vsize: 63972
[startup+770.082 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 25138 0 0 0 76872 143 0 0 25 0 1 0 806578025 65507328 12676 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15993 12676 300 300 0 15693 0
vsize: 63972
[startup+780.084 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 25318 0 0 0 77869 145 0 0 25 0 1 0 806578025 65507328 12683 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15993 12683 300 300 0 15693 0
vsize: 63972
[startup+790.083 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 25541 0 0 0 78869 145 0 0 25 0 1 0 806578025 65507328 12733 4294967295 134512640 135726644 3221224576 3221223072 134744020 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15993 12733 300 300 0 15693 0
vsize: 63972
[startup+800.084 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 25740 0 0 0 79868 147 0 0 25 0 1 0 806578025 65703936 12759 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16041 12759 300 300 0 15741 0
vsize: 64164
[startup+810.083 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 25798 0 0 0 80866 148 0 0 25 0 1 0 806578025 65839104 12817 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16074 12817 300 300 0 15774 0
vsize: 64296
[startup+820.083 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 25999 0 0 0 81866 149 0 0 25 0 1 0 806578025 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+830.083 s]
Raw data (loadavg): 0.99 0.97 0.91 3/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 26216 0 0 0 82864 151 0 0 25 0 1 0 806578025 65974272 12889 4294967295 134512640 135726644 3221224576 3221222896 134728895 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16107 12889 300 300 0 15807 0
vsize: 64428
[startup+840.083 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 26239 0 0 0 83863 152 0 0 25 0 1 0 806578025 65974272 12912 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16107 12912 300 300 0 15807 0
vsize: 64428
[startup+850.084 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 26433 0 0 0 84863 153 0 0 25 0 1 0 806578025 65974272 12933 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16107 12933 300 300 0 15807 0
vsize: 64428
[startup+860.083 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 26450 0 0 0 85862 154 0 0 25 0 1 0 806578025 65974272 12950 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16107 12950 300 300 0 15807 0
vsize: 64428
[startup+870.083 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 26645 0 0 0 86861 154 0 0 25 0 1 0 806578025 66170880 12972 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16155 12972 300 300 0 15855 0
vsize: 64620
[startup+880.083 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 26673 0 0 0 87860 156 0 0 25 0 1 0 806578025 66170880 13000 4294967295 134512640 135726644 3221224576 3221223088 134742278 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16155 13000 300 300 0 15855 0
vsize: 64620
[startup+890.083 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 26932 0 0 0 88859 157 0 0 25 0 1 0 806578025 66568192 13070 4294967295 134512640 135726644 3221224576 3221223072 134744030 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16252 13070 300 300 0 15952 0
vsize: 65008
[startup+900.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 27108 0 0 0 89859 158 0 0 25 0 1 0 806578025 66568192 13073 4294967295 134512640 135726644 3221224576 3221223072 134744014 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16252 13073 300 300 0 15952 0
vsize: 65008
[startup+910.089 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 27110 0 0 0 90858 159 0 0 25 0 1 0 806578025 66568192 13075 4294967295 134512640 135726644 3221224576 3221222896 134728940 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16252 13075 300 300 0 15952 0
vsize: 65008
[startup+920.089 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 27288 0 0 0 91857 160 0 0 25 0 1 0 806578025 66568192 13080 4294967295 134512640 135726644 3221224576 3221223072 134743996 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16252 13080 300 300 0 15952 0
vsize: 65008
[startup+930.088 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 27303 0 0 0 92856 161 0 0 25 0 1 0 806578025 66732032 13095 4294967295 134512640 135726644 3221224576 3221223264 134745044 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16292 13095 300 300 0 15992 0
vsize: 65168
[startup+940.088 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 27497 0 0 0 93856 162 0 0 25 0 1 0 806578025 66732032 13116 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16292 13116 300 300 0 15992 0
vsize: 65168
[startup+950.089 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 27509 0 0 0 94855 162 0 0 25 0 1 0 806578025 66732032 13128 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16292 13128 300 300 0 15992 0
vsize: 65168
[startup+960.097 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 27726 0 0 0 95854 164 0 0 25 0 1 0 806578025 66928640 13172 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16340 13172 300 300 0 16040 0
vsize: 65360
[startup+970.096 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 27735 0 0 0 96853 165 0 0 25 0 1 0 806578025 66928640 13181 4294967295 134512640 135726644 3221224576 3221223264 134744982 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16340 13181 300 300 0 16040 0
vsize: 65360
[startup+980.096 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 27911 0 0 0 97853 166 0 0 25 0 1 0 806578025 66928640 13184 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16340 13184 300 300 0 16040 0
vsize: 65360
[startup+990.097 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 28091 0 0 0 98852 167 0 0 25 0 1 0 806578025 66928640 13191 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16340 13191 300 300 0 16040 0
vsize: 65360
[startup+1000.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 28107 0 0 0 99851 168 0 0 25 0 1 0 806578025 67125248 13207 4294967295 134512640 135726644 3221224576 3221223072 134743982 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16388 13207 300 300 0 16088 0
vsize: 65552
[startup+1010.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 28310 0 0 0 100850 169 0 0 25 0 1 0 806578025 67125248 13237 4294967295 134512640 135726644 3221224576 3221223072 134743948 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16388 13237 300 300 0 16088 0
vsize: 65552
[startup+1020.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 28315 0 0 0 101850 170 0 0 25 0 1 0 806578025 67125248 13242 4294967295 134512640 135726644 3221224576 3221222896 134728909 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16388 13242 300 300 0 16088 0
vsize: 65552
[startup+1030.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 28557 0 0 0 102849 171 0 0 25 0 1 0 806578025 67321856 13311 4294967295 134512640 135726644 3221224576 3221223072 134744195 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16436 13311 300 300 0 16136 0
vsize: 65744
[startup+1040.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 28746 0 0 0 103848 172 0 0 25 0 1 0 806578025 67321856 13327 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16436 13327 300 300 0 16136 0
vsize: 65744
[startup+1050.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 28780 0 0 0 104848 172 0 0 25 0 1 0 806578025 67518464 13361 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16484 13361 300 300 0 16184 0
vsize: 65936
[startup+1060.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 28981 0 0 0 105847 174 0 0 25 0 1 0 806578025 67653632 13389 4294967295 134512640 135726644 3221224576 3221223072 134743872 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16517 13389 300 300 0 16217 0
vsize: 66068
[startup+1070.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 29157 0 0 0 106845 175 0 0 25 0 1 0 806578025 67653632 13392 4294967295 134512640 135726644 3221224576 3221223264 134744855 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16517 13392 300 300 0 16217 0
vsize: 66068
[startup+1080.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 29165 0 0 0 107845 176 0 0 25 0 1 0 806578025 67653632 13400 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16517 13400 300 300 0 16217 0
vsize: 66068
[startup+1090.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 29342 0 0 0 108843 177 0 0 25 0 1 0 806578025 67653632 13404 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16517 13404 300 300 0 16217 0
vsize: 66068
[startup+1100.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 29351 0 0 0 109842 179 0 0 25 0 1 0 806578025 67653632 13413 4294967295 134512640 135726644 3221224576 3221223072 134744123 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16517 13413 300 300 0 16217 0
vsize: 66068
[startup+1110.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 29546 0 0 0 110841 180 0 0 25 0 1 0 806578025 67653632 13435 4294967295 134512640 135726644 3221224576 3221223072 134743982 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16517 13435 300 300 0 16217 0
vsize: 66068
[startup+1120.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 29578 0 0 0 111840 181 0 0 25 0 1 0 806578025 67653632 13467 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16517 13467 300 300 0 16217 0
vsize: 66068
[startup+1130.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 29772 0 0 0 112839 183 0 0 25 0 1 0 806578025 67821568 13488 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16558 13488 300 300 0 16258 0
vsize: 66232
[startup+1140.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 29785 0 0 0 113838 184 0 0 25 0 1 0 806578025 67821568 13501 4294967295 134512640 135726644 3221224576 3221223244 134745065 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16558 13501 300 300 0 16258 0
vsize: 66232
[startup+1150.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 29986 0 0 0 114837 185 0 0 25 0 1 0 806578025 67977216 13529 4294967295 134512640 135726644 3221224576 3221223072 134744053 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16596 13529 300 300 0 16296 0
vsize: 66384
[startup+1160.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 30014 0 0 0 115835 187 0 0 25 0 1 0 806578025 68141056 13557 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16636 13557 300 300 0 16336 0
vsize: 66544
[startup+1170.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 30189 0 0 0 116835 188 0 0 25 0 1 0 806578025 68141056 13559 4294967295 134512640 135726644 3221224576 3221223072 134743990 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16636 13559 300 300 0 16336 0
vsize: 66544
[startup+1180.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 30197 0 0 0 117834 188 0 0 25 0 1 0 806578025 68141056 13567 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16636 13567 300 300 0 16336 0
vsize: 66544
[startup+1190.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 30372 0 0 0 118833 189 0 0 25 0 1 0 806578025 68141056 13569 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16636 13569 300 300 0 16336 0
vsize: 66544
[startup+1200.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19462
Raw data (stat): 19462 (pb2sat) R 19461 7266 7265 0 -1 0 30379 0 0 0 119833 190 0 0 25 0 1 0 806578025 68141056 13576 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16636 13576 300 300 0 16336 0
vsize: 66544
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.37 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 19462
Raw data (stat): 19462 (pb2sat) Z 19461 7266 7265 0 -1 12 30380 0 0 0 119857 193 0 0 25 0 1 0 806578025 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.37
CPU time (s): 1200.51
CPU user time (s): 1198.57
CPU system time (s): 1.93271
CPU usage (%): 100.011
Max. virtual memory (Kb): 66544
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####