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/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-1.opb
MD5SUM	94f501465233508e2f652cf118ddaf2d
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-31
Optimality of the best value was proved	NO
Number of terms in the objective function	760
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	760
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	760
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	760
Total number of constraints	41314
Number of constraints which are clauses	41314
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	2
Trace number 34959

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc25 THE 2005-05-28 11:23:41 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24250 boxname=wulflinc25 idbench=324 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  94f501465233508e2f652cf118ddaf2d  /oldhome/oroussel/tmp/wulflinc25/normalized-frb40-19-1.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc25/normalized-frb40-19-1.opb
IDLAUNCH: 24250
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.220
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	: 3
cpu MHz		: 451.220
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        712844 kB
Buffers:         36496 kB
Cached:         264768 kB
SwapCached:        996 kB
Active:          35876 kB
Inactive:       267520 kB
HighTotal:      131008 kB
HighFree:        13188 kB
LowTotal:       903652 kB
LowFree:        699656 kB
SwapTotal:     2097892 kB
SwapFree:      2095984 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5060 kB
Slab:            12816 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 11:43:44 (client local time) WITH STATUS 0 IN 1201.5 SECONDS
stats: 24250 7 1201.5 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 133361/290714	Time: 94.2107/86400
Decision: 133369/290714	Time: 145.641/86400
Decision: 133369/290714	Time: 185.167/86400
Decision: 135338/290714	Time: 269.591/86400
Decision: 136207/290714	Time: 394.766/86400
Decision: 146624/290714	Time: 727.272/86400c [startup+1073.35 s]  setting bit 9 to 0

Decision: 36650/290714	Time: 43.1704/86400
Decision: 36650/290714	Time: 70.8672/86400
Decision: 36650/290714	Time: 110.454/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.92 0.96 0.90 2/54 8601
Raw data (stat): 8601 (runsolver) R 8600 1586 1585 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 864430250 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+9.99997 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 29521 0 0 0 933 65 0 0 25 0 1 0 864430250 88866816 18614 4294967295 134512640 135726644 3221224592 3221105656 134771401 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21696 18614 300 300 0 21396 0
vsize: 86784
[startup+20 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 50066 0 0 0 1886 112 0 0 25 0 1 0 864430250 152027136 27766 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37116 27766 300 300 0 36816 0
vsize: 148464
[startup+30.0001 s]
Raw data (loadavg): 1.02 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 53201 0 0 0 2880 119 0 0 25 0 1 0 864430250 163639296 29714 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39951 29714 300 300 0 39651 0
vsize: 159804
[startup+39.9997 s]
Raw data (loadavg): 1.02 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 54157 0 0 0 3878 121 0 0 25 0 1 0 864430250 183472128 30243 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44793 30243 300 300 0 44493 0
vsize: 179172
[startup+50.0012 s]
Raw data (loadavg): 1.02 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 54209 0 0 0 4878 122 0 0 25 0 1 0 864430250 183660544 30295 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44839 30295 300 300 0 44539 0
vsize: 179356
[startup+60.0009 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 54355 0 0 0 5877 122 0 0 25 0 1 0 864430250 184127488 30425 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44953 30425 300 300 0 44653 0
vsize: 179812
[startup+70.0005 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 54633 0 0 0 6876 124 0 0 25 0 1 0 864430250 184913920 30509 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45145 30509 300 300 0 44845 0
vsize: 180580
[startup+80.0015 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 54639 0 0 0 7876 124 0 0 25 0 1 0 864430250 184913920 30515 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45145 30515 300 300 0 44845 0
vsize: 180580
[startup+90.0007 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 54650 0 0 0 8875 125 0 0 25 0 1 0 864430250 184913920 30526 4294967295 134512640 135726644 3221224592 3221223088 134744022 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45145 30526 300 300 0 44845 0
vsize: 180580
[startup+100.001 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 54660 0 0 0 9874 125 0 0 25 0 1 0 864430250 184913920 30536 4294967295 134512640 135726644 3221224592 3221223088 134744113 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45145 30536 300 300 0 44845 0
vsize: 180580
[startup+110.003 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 55235 0 0 0 10872 128 0 0 25 0 1 0 864430250 184913920 30543 4294967295 134512640 135726644 3221224592 3221223216 134779698 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45145 30543 300 300 0 44845 0
vsize: 180580
[startup+120.002 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 56120 0 0 0 11870 130 0 0 25 0 1 0 864430250 188588032 31263 4294967295 134512640 135726644 3221224592 3221223088 134743975 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46042 31263 300 300 0 45742 0
vsize: 184168
[startup+130.002 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 56531 0 0 0 12870 130 0 0 25 0 1 0 864430250 190795776 31608 4294967295 134512640 135726644 3221224592 3221223136 134736622 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46581 31608 300 300 0 46281 0
vsize: 186324
[startup+140.002 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 56532 0 0 0 13870 131 0 0 25 0 1 0 864430250 190795776 31609 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46581 31609 300 300 0 46281 0
vsize: 186324
[startup+150.002 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 56537 0 0 0 14870 131 0 0 25 0 1 0 864430250 190795776 31614 4294967295 134512640 135726644 3221224592 3221222920 134735633 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46581 31614 300 300 0 46281 0
vsize: 186324
[startup+160.002 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 56542 0 0 0 15869 131 0 0 25 0 1 0 864430250 190795776 31619 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46581 31619 300 300 0 46281 0
vsize: 186324
[startup+170.002 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 57820 0 0 0 16865 135 0 0 25 0 1 0 864430250 193433600 32099 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 47225 32099 300 300 0 46925 0
vsize: 188900
[startup+180.002 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 58498 0 0 0 17863 137 0 0 25 0 1 0 864430250 195686400 32450 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 47775 32450 300 300 0 47475 0
vsize: 191100
[startup+190.003 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 59065 0 0 0 18862 139 0 0 25 0 1 0 864430250 198455296 32885 4294967295 134512640 135726644 3221224592 3221223088 134744220 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 48451 32885 300 300 0 48151 0
vsize: 193804
[startup+200.004 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 59315 0 0 0 19860 141 0 0 25 0 1 0 864430250 199254016 33036 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 48646 33036 300 300 0 48346 0
vsize: 194584
[startup+210.004 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 60268 0 0 0 20858 143 0 0 25 0 1 0 864430250 201117696 33356 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49101 33356 300 300 0 48801 0
vsize: 196404
[startup+220.003 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 60898 0 0 0 21856 145 0 0 25 0 1 0 864430250 203116544 33755 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49589 33755 300 300 0 49289 0
vsize: 198356
[startup+230.004 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 61178 0 0 0 22855 146 0 0 25 0 1 0 864430250 203915264 33936 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49784 33936 300 300 0 49484 0
vsize: 199136
[startup+240.004 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 61207 0 0 0 23855 146 0 0 25 0 1 0 864430250 203915264 33965 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49784 33965 300 300 0 49484 0
vsize: 199136
[startup+250.004 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 61215 0 0 0 24855 147 0 0 25 0 1 0 864430250 203915264 33973 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49784 33973 300 300 0 49484 0
vsize: 199136
[startup+260.005 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 61224 0 0 0 25855 147 0 0 25 0 1 0 864430250 203915264 33982 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49784 33982 300 300 0 49484 0
vsize: 199136
[startup+270.004 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 61231 0 0 0 26855 147 0 0 25 0 1 0 864430250 203915264 33989 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49784 33989 300 300 0 49484 0
vsize: 199136
[startup+280.005 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 61479 0 0 0 27854 148 0 0 25 0 1 0 864430250 204853248 34171 4294967295 134512640 135726644 3221224592 3221223088 134744244 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50013 34171 300 300 0 49713 0
vsize: 200052
[startup+290.005 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 62302 0 0 0 28852 150 0 0 25 0 1 0 864430250 205926400 34360 4294967295 134512640 135726644 3221224592 3221223088 134744006 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50275 34360 300 300 0 49975 0
vsize: 201100
[startup+300.005 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 62461 0 0 0 29852 151 0 0 25 0 1 0 864430250 206733312 34486 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50472 34486 300 300 0 50172 0
vsize: 201888
[startup+310.005 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 62569 0 0 0 30852 151 0 0 25 0 1 0 864430250 206999552 34561 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50537 34561 300 300 0 50237 0
vsize: 202148
[startup+320.005 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 63004 0 0 0 31850 152 0 0 25 0 1 0 864430250 208596992 34799 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50927 34799 300 300 0 50627 0
vsize: 203708
[startup+330.005 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 63012 0 0 0 32850 152 0 0 25 0 1 0 864430250 208596992 34807 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50927 34807 300 300 0 50627 0
vsize: 203708
[startup+340.004 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 63021 0 0 0 33850 153 0 0 25 0 1 0 864430250 208596992 34816 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50927 34816 300 300 0 50627 0
vsize: 203708
[startup+350.006 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 63025 0 0 0 34850 153 0 0 25 0 1 0 864430250 208596992 34820 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50927 34820 300 300 0 50627 0
vsize: 203708
[startup+360.006 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 63032 0 0 0 35851 153 0 0 25 0 1 0 864430250 208596992 34827 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50927 34827 300 300 0 50627 0
vsize: 203708
[startup+370.005 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 63039 0 0 0 36851 153 0 0 25 0 1 0 864430250 208596992 34834 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50927 34834 300 300 0 50627 0
vsize: 203708
[startup+380.005 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 63047 0 0 0 37851 153 0 0 25 0 1 0 864430250 208596992 34842 4294967295 134512640 135726644 3221224592 3221223072 134729046 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50927 34842 300 300 0 50627 0
vsize: 203708
[startup+390.004 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 63055 0 0 0 38850 153 0 0 25 0 1 0 864430250 208596992 34850 4294967295 134512640 135726644 3221224592 3221223088 134744117 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50927 34850 300 300 0 50627 0
vsize: 203708
[startup+400.005 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 63061 0 0 0 39851 153 0 0 25 0 1 0 864430250 208596992 34856 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50927 34856 300 300 0 50627 0
vsize: 203708
[startup+410.005 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 63217 0 0 0 40851 154 0 0 25 0 1 0 864430250 209121280 34883 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51055 34883 300 300 0 50755 0
vsize: 204220
[startup+420.004 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 63798 0 0 0 41849 155 0 0 25 0 1 0 864430250 209121280 34896 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51055 34896 300 300 0 50755 0
vsize: 204220
[startup+430.005 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 63805 0 0 0 42849 155 0 0 25 0 1 0 864430250 209121280 34903 4294967295 134512640 135726644 3221224592 3221223088 134744011 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51055 34903 300 300 0 50755 0
vsize: 204220
[startup+440.005 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 63823 0 0 0 43849 155 0 0 25 0 1 0 864430250 209121280 34921 4294967295 134512640 135726644 3221224592 3221223088 134744039 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51055 34921 300 300 0 50755 0
vsize: 204220
[startup+450.005 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 63829 0 0 0 44849 155 0 0 25 0 1 0 864430250 209121280 34927 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51055 34927 300 300 0 50755 0
vsize: 204220
[startup+460.005 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 63838 0 0 0 45849 156 0 0 25 0 1 0 864430250 209121280 34936 4294967295 134512640 135726644 3221224592 3221223088 134744022 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51055 34936 300 300 0 50755 0
vsize: 204220
[startup+470.005 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 63846 0 0 0 46849 156 0 0 25 0 1 0 864430250 209121280 34944 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51055 34944 300 300 0 50755 0
vsize: 204220
[startup+480.005 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 63856 0 0 0 47849 156 0 0 25 0 1 0 864430250 209121280 34954 4294967295 134512640 135726644 3221224592 3221223088 134744051 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51055 34954 300 300 0 50755 0
vsize: 204220
[startup+490.004 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 63864 0 0 0 48849 156 0 0 25 0 1 0 864430250 209121280 34962 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51055 34962 300 300 0 50755 0
vsize: 204220
[startup+500.005 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 63872 0 0 0 49850 156 0 0 25 0 1 0 864430250 209121280 34970 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51055 34970 300 300 0 50755 0
vsize: 204220
[startup+510.005 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 63879 0 0 0 50850 156 0 0 25 0 1 0 864430250 209121280 34977 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51055 34977 300 300 0 50755 0
vsize: 204220
[startup+520.004 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 63886 0 0 0 51850 156 0 0 25 0 1 0 864430250 209121280 34984 4294967295 134512640 135726644 3221224592 3221223088 134744117 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51055 34984 300 300 0 50755 0
vsize: 204220
[startup+530.004 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 63897 0 0 0 52850 156 0 0 25 0 1 0 864430250 209121280 34995 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51055 34995 300 300 0 50755 0
vsize: 204220
[startup+540.004 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 63905 0 0 0 53850 156 0 0 25 0 1 0 864430250 209121280 35003 4294967295 134512640 135726644 3221224592 3221223280 134744867 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51055 35003 300 300 0 50755 0
vsize: 204220
[startup+550.005 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 63914 0 0 0 54850 156 0 0 25 0 1 0 864430250 209121280 35012 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51055 35012 300 300 0 50755 0
vsize: 204220
[startup+560.005 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 63921 0 0 0 55850 156 0 0 25 0 1 0 864430250 209121280 35019 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51055 35019 300 300 0 50755 0
vsize: 204220
[startup+570.004 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 63931 0 0 0 56850 156 0 0 25 0 1 0 864430250 209121280 35029 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51055 35029 300 300 0 50755 0
vsize: 204220
[startup+580.004 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 63938 0 0 0 57850 156 0 0 25 0 1 0 864430250 209121280 35036 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51055 35036 300 300 0 50755 0
vsize: 204220
[startup+590.004 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 63945 0 0 0 58850 157 0 0 25 0 1 0 864430250 209121280 35043 4294967295 134512640 135726644 3221224592 3221223088 134743996 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51055 35043 300 300 0 50755 0
vsize: 204220
[startup+600.005 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 63952 0 0 0 59851 157 0 0 25 0 1 0 864430250 209121280 35050 4294967295 134512640 135726644 3221224592 3221223184 134760424 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51055 35050 300 300 0 50755 0
vsize: 204220
[startup+610.005 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 63960 0 0 0 60851 157 0 0 25 0 1 0 864430250 209121280 35058 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51055 35058 300 300 0 50755 0
vsize: 204220
[startup+620.004 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 63967 0 0 0 61851 157 0 0 25 0 1 0 864430250 209121280 35065 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51055 35065 300 300 0 50755 0
vsize: 204220
[startup+630.005 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 63973 0 0 0 62851 157 0 0 25 0 1 0 864430250 209121280 35071 4294967295 134512640 135726644 3221224592 3221223136 134736702 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51055 35071 300 300 0 50755 0
vsize: 204220
[startup+640.004 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 63981 0 0 0 63851 157 0 0 25 0 1 0 864430250 209121280 35079 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51055 35079 300 300 0 50755 0
vsize: 204220
[startup+650.006 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 63989 0 0 0 64851 157 0 0 25 0 1 0 864430250 209121280 35087 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51055 35087 300 300 0 50755 0
vsize: 204220
[startup+660.006 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 64120 0 0 0 65851 157 0 0 25 0 1 0 864430250 209383424 35152 4294967295 134512640 135726644 3221224592 3221222912 134728861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51119 35152 300 300 0 50819 0
vsize: 204476
[startup+670.005 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 64369 0 0 0 66851 158 0 0 25 0 1 0 864430250 210046976 35335 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51281 35335 300 300 0 50981 0
vsize: 205124
[startup+680.005 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 64442 0 0 0 67850 158 0 0 25 0 1 0 864430250 210448384 35408 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51379 35408 300 300 0 51079 0
vsize: 205516
[startup+690.004 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 64450 0 0 0 68850 159 0 0 25 0 1 0 864430250 210448384 35416 4294967295 134512640 135726644 3221224592 3221223136 134736730 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51379 35416 300 300 0 51079 0
vsize: 205516
[startup+700.005 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 64458 0 0 0 69850 159 0 0 25 0 1 0 864430250 210448384 35424 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51379 35424 300 300 0 51079 0
vsize: 205516
[startup+710.005 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 64500 0 0 0 70850 159 0 0 25 0 1 0 864430250 210714624 35466 4294967295 134512640 135726644 3221224592 3221223088 134744140 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51444 35466 300 300 0 51144 0
vsize: 205776
[startup+720.004 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 64510 0 0 0 71850 159 0 0 25 0 1 0 864430250 210714624 35476 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51444 35476 300 300 0 51144 0
vsize: 205776
[startup+730.005 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 64517 0 0 0 72850 159 0 0 25 0 1 0 864430250 210714624 35483 4294967295 134512640 135726644 3221224592 3221223088 134744126 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51444 35483 300 300 0 51144 0
vsize: 205776
[startup+740.005 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 64524 0 0 0 73850 159 0 0 25 0 1 0 864430250 210714624 35490 4294967295 134512640 135726644 3221224592 3221223088 134744153 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51444 35490 300 300 0 51144 0
vsize: 205776
[startup+750.005 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 65093 0 0 0 74849 161 0 0 25 0 1 0 864430250 210714624 35491 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 51444 35491 300 300 0 51144 0
vsize: 205776
[startup+760.006 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 65094 0 0 0 75848 161 0 0 25 0 1 0 864430250 210714624 35492 4294967295 134512640 135726644 3221224592 3221223088 134744304 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51444 35492 300 300 0 51144 0
vsize: 205776
[startup+770.006 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 65095 0 0 0 76848 161 0 0 25 0 1 0 864430250 210714624 35493 4294967295 134512640 135726644 3221224592 3221223200 134744646 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51444 35493 300 300 0 51144 0
vsize: 205776
[startup+780.006 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 65096 0 0 0 77848 161 0 0 25 0 1 0 864430250 210714624 35494 4294967295 134512640 135726644 3221224592 3221223180 134743858 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51444 35494 300 300 0 51144 0
vsize: 205776
[startup+790.005 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 65096 0 0 0 78848 162 0 0 25 0 1 0 864430250 210714624 35494 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51444 35494 300 300 0 51144 0
vsize: 205776
[startup+800.006 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 65097 0 0 0 79849 162 0 0 25 0 1 0 864430250 210714624 35495 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51444 35495 300 300 0 51144 0
vsize: 205776
[startup+810.006 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 65098 0 0 0 80849 162 0 0 25 0 1 0 864430250 210714624 35496 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51444 35496 300 300 0 51144 0
vsize: 205776
[startup+820.006 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 65099 0 0 0 81849 162 0 0 25 0 1 0 864430250 210714624 35497 4294967295 134512640 135726644 3221224592 3221223216 134744620 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51444 35497 300 300 0 51144 0
vsize: 205776
[startup+830.007 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 65100 0 0 0 82849 162 0 0 25 0 1 0 864430250 210714624 35498 4294967295 134512640 135726644 3221224592 3221223216 134744661 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51444 35498 300 300 0 51144 0
vsize: 205776
[startup+840.007 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 65101 0 0 0 83849 162 0 0 25 0 1 0 864430250 210714624 35499 4294967295 134512640 135726644 3221224592 3221223088 134744379 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51444 35499 300 300 0 51144 0
vsize: 205776
[startup+850.008 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 65102 0 0 0 84849 162 0 0 25 0 1 0 864430250 210714624 35500 4294967295 134512640 135726644 3221224592 3221223088 134744159 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51444 35500 300 300 0 51144 0
vsize: 205776
[startup+860.009 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 65103 0 0 0 85849 162 0 0 25 0 1 0 864430250 210714624 35501 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51444 35501 300 300 0 51144 0
vsize: 205776
[startup+870.008 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 65103 0 0 0 86849 162 0 0 25 0 1 0 864430250 210714624 35501 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51444 35501 300 300 0 51144 0
vsize: 205776
[startup+880.008 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 65104 0 0 0 87850 162 0 0 25 0 1 0 864430250 210714624 35502 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51444 35502 300 300 0 51144 0
vsize: 205776
[startup+890.008 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 65104 0 0 0 88850 162 0 0 25 0 1 0 864430250 210714624 35502 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51444 35502 300 300 0 51144 0
vsize: 205776
[startup+900.008 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 65105 0 0 0 89850 163 0 0 25 0 1 0 864430250 210714624 35503 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51444 35503 300 300 0 51144 0
vsize: 205776
[startup+910.008 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 65106 0 0 0 90850 163 0 0 25 0 1 0 864430250 210714624 35504 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51444 35504 300 300 0 51144 0
vsize: 205776
[startup+920.007 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 65107 0 0 0 91850 163 0 0 25 0 1 0 864430250 210714624 35505 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51444 35505 300 300 0 51144 0
vsize: 205776
[startup+930.008 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 65108 0 0 0 92850 163 0 0 25 0 1 0 864430250 210714624 35506 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51444 35506 300 300 0 51144 0
vsize: 205776
[startup+940.007 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 65109 0 0 0 93850 163 0 0 25 0 1 0 864430250 210714624 35507 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51444 35507 300 300 0 51144 0
vsize: 205776
[startup+950.008 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 65110 0 0 0 94850 163 0 0 25 0 1 0 864430250 210714624 35508 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51444 35508 300 300 0 51144 0
vsize: 205776
[startup+960.009 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 65111 0 0 0 95851 163 0 0 25 0 1 0 864430250 210714624 35509 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51444 35509 300 300 0 51144 0
vsize: 205776
[startup+970.008 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 65111 0 0 0 96851 163 0 0 25 0 1 0 864430250 210714624 35509 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51444 35509 300 300 0 51144 0
vsize: 205776
[startup+980.008 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 65112 0 0 0 97851 163 0 0 25 0 1 0 864430250 210714624 35510 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51444 35510 300 300 0 51144 0
vsize: 205776
[startup+990.008 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 65113 0 0 0 98851 163 0 0 25 0 1 0 864430250 210714624 35511 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51444 35511 300 300 0 51144 0
vsize: 205776
[startup+1000.01 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 65114 0 0 0 99851 163 0 0 25 0 1 0 864430250 210714624 35512 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51444 35512 300 300 0 51144 0
vsize: 205776
[startup+1010.01 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 65123 0 0 0 100851 163 0 0 25 0 1 0 864430250 210714624 35521 4294967295 134512640 135726644 3221224592 3221223248 134731265 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51444 35521 300 300 0 51144 0
vsize: 205776
[startup+1020.01 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 65124 0 0 0 101851 164 0 0 25 0 1 0 864430250 210714624 35522 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51444 35522 300 300 0 51144 0
vsize: 205776
[startup+1030.01 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 65125 0 0 0 102851 164 0 0 25 0 1 0 864430250 210714624 35523 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51444 35523 300 300 0 51144 0
vsize: 205776
[startup+1040.01 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 65126 0 0 0 103851 164 0 0 25 0 1 0 864430250 210714624 35524 4294967295 134512640 135726644 3221224592 3221223088 134744297 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51444 35524 300 300 0 51144 0
vsize: 205776
[startup+1050.01 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 65127 0 0 0 104851 164 0 0 25 0 1 0 864430250 210714624 35525 4294967295 134512640 135726644 3221224592 3221223184 134743857 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51444 35525 300 300 0 51144 0
vsize: 205776
[startup+1060.01 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 65127 0 0 0 105852 164 0 0 25 0 1 0 864430250 210714624 35525 4294967295 134512640 135726644 3221224592 3221223088 134743895 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51444 35525 300 300 0 51144 0
vsize: 205776
[startup+1070.01 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 65128 0 0 0 106852 164 0 0 25 0 1 0 864430250 210714624 35526 4294967295 134512640 135726644 3221224592 3221223088 134744254 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51444 35526 300 300 0 51144 0
vsize: 205776
[startup+1080.01 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 65800 0 0 0 107850 165 0 0 25 0 1 0 864430250 210976768 35565 4294967295 134512640 135726644 3221224592 3221223248 134745073 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51508 35565 300 300 0 51208 0
vsize: 206032
[startup+1090.01 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 65888 0 0 0 108850 166 0 0 25 0 1 0 864430250 211238912 35588 4294967295 134512640 135726644 3221224592 3221223136 134736726 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51572 35588 300 300 0 51272 0
vsize: 206288
[startup+1100.01 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 65889 0 0 0 109850 166 0 0 25 0 1 0 864430250 211238912 35589 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51572 35589 300 300 0 51272 0
vsize: 206288
[startup+1110.01 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 65902 0 0 0 110850 166 0 0 25 0 1 0 864430250 211238912 35602 4294967295 134512640 135726644 3221224592 3221223088 134743872 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51572 35602 300 300 0 51272 0
vsize: 206288
[startup+1120.01 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 65927 0 0 0 111850 166 0 0 25 0 1 0 864430250 211238912 35627 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51572 35627 300 300 0 51272 0
vsize: 206288
[startup+1130.01 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 65954 0 0 0 112850 166 0 0 25 0 1 0 864430250 211238912 35654 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51572 35654 300 300 0 51272 0
vsize: 206288
[startup+1140.01 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 65984 0 0 0 113850 166 0 0 25 0 1 0 864430250 211238912 35684 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51572 35684 300 300 0 51272 0
vsize: 206288
[startup+1150.01 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 66011 0 0 0 114850 166 0 0 25 0 1 0 864430250 211238912 35711 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51572 35711 300 300 0 51272 0
vsize: 206288
[startup+1160.01 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 66045 0 0 0 115851 166 0 0 25 0 1 0 864430250 211238912 35745 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51572 35745 300 300 0 51272 0
vsize: 206288
[startup+1170.01 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 66083 0 0 0 116850 167 0 0 25 0 1 0 864430250 211238912 35783 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51572 35783 300 300 0 51272 0
vsize: 206288
[startup+1180.01 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 66118 0 0 0 117851 167 0 0 25 0 1 0 864430250 211238912 35818 4294967295 134512640 135726644 3221224592 3221223136 134736845 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51572 35818 300 300 0 51272 0
vsize: 206288
[startup+1190.01 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 66144 0 0 0 118851 167 0 0 25 0 1 0 864430250 211238912 35844 4294967295 134512640 135726644 3221224592 3221223280 134744838 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51572 35844 300 300 0 51272 0
vsize: 206288
[startup+1200.01 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8601
Raw data (stat): 8601 (pb2sat) R 8600 1586 1585 0 -1 0 66173 0 0 0 119850 167 0 0 25 0 1 0 864430250 211238912 35873 4294967295 134512640 135726644 3221224592 3221223088 134744022 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51572 35873 300 300 0 51272 0
vsize: 206288
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.33 s]
Raw data (loadavg): 1.00 0.98 0.91 1/54 8601
Raw data (stat): 8601 (pb2sat) Z 8600 1586 1585 0 -1 12 66174 0 0 0 119975 174 0 0 25 0 1 0 864430250 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 0
Real time (s): 1201.33
CPU time (s): 1201.5
CPU user time (s): 1199.76
CPU system time (s): 1.74573
CPU usage (%): 100.015
Max. virtual memory (Kb): 206288
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####