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/frb53-24-opb/normalized-frb53-24-4.opb
MD5SUM	b7f280d80b52f97899362fbc10d59421
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-40
Optimality of the best value was proved	NO
Number of terms in the objective function	1272
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	1272
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	1272
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.12
Number of variables	1272
Total number of constraints	94308
Number of constraints which are clauses	94308
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 34983

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc30 THE 2005-05-28 11:35:23 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24268 boxname=wulflinc30 idbench=342 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  b7f280d80b52f97899362fbc10d59421  /oldhome/oroussel/tmp/wulflinc30/normalized-frb53-24-4.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc30/normalized-frb53-24-4.opb
IDLAUNCH: 24268
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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.072
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:        859396 kB
Buffers:         34196 kB
Cached:         117440 kB
SwapCached:        752 kB
Active:          44796 kB
Inactive:       108956 kB
HighTotal:      131008 kB
HighFree:        76272 kB
LowTotal:       903652 kB
LowFree:        783124 kB
SwapTotal:     2097892 kB
SwapFree:      2096312 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5060 kB
Slab:            15832 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 11:55:25 (client local time) WITH STATUS 0 IN 1202.38 SECONDS
stats: 24268 7 1202.38 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 564154/812188	Time: 662.954/86400c [startup+1104.34 s]  setting bit 10 to 0
s 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.84 0.94 0.90 2/54 32197
Raw data (stat): 32197 (runsolver) D 32196 22056 22055 0 -1 64 8 0 0 0 0 0 0 0 18 0 1 0 864480576 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 3225161850 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+9.99977 s]
Raw data (loadavg): 0.87 0.94 0.90 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 29330 0 0 0 934 65 0 0 25 0 1 0 864480576 88870912 18426 4294967295 134512640 135726644 3221224592 3221179632 134766431 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21697 18426 300 300 0 21397 0
vsize: 86788
[startup+19.9996 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 57432 0 0 0 1874 124 0 0 25 0 1 0 864480576 174321664 35575 4294967295 134512640 135726644 3221224592 3221088968 135282351 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42559 35577 300 300 0 42259 0
vsize: 170236
[startup+30.0001 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 97668 0 0 0 2787 211 0 0 25 0 1 0 864480576 298151936 54136 4294967295 134512640 135726644 3221224592 3221199768 134784091 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 72791 54136 300 300 0 72491 0
vsize: 291164
[startup+39.9999 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 112641 0 0 0 3752 247 0 0 25 0 1 0 864480576 343465984 68894 4294967295 134512640 135726644 3221224592 3221221792 134575144 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 83854 68894 300 300 0 83554 0
vsize: 335416
[startup+50.0011 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 121107 0 0 0 4730 268 0 0 25 0 1 0 864480576 366514176 74776 4294967295 134512640 135726644 3221224592 3221223088 134744014 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89481 74776 300 300 0 89181 0
vsize: 357924
[startup+60.0005 s]
Raw data (loadavg): 0.94 0.95 0.90 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 122295 0 0 0 5728 270 0 0 25 0 1 0 864480576 371773440 75700 4294967295 134512640 135726644 3221224592 3221223088 134743990 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90765 75700 300 300 0 90465 0
vsize: 363060
[startup+70.0006 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 126526 0 0 0 6720 278 0 0 25 0 1 0 864480576 385310720 77929 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94070 77929 300 300 0 93770 0
vsize: 376280
[startup+80.0014 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 130852 0 0 0 7713 286 0 0 25 0 1 0 864480576 397451264 79908 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97034 79908 300 300 0 96734 0
vsize: 388136
[startup+90.0009 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 132449 0 0 0 8710 289 0 0 25 0 1 0 864480576 402075648 80659 4294967295 134512640 135726644 3221224592 3221223088 134744028 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98163 80659 300 300 0 97863 0
vsize: 392652
[startup+100.001 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 132548 0 0 0 9709 290 0 0 25 0 1 0 864480576 402337792 80693 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98227 80693 300 300 0 97927 0
vsize: 392908
[startup+110.001 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 132564 0 0 0 10709 290 0 0 25 0 1 0 864480576 402337792 80709 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98227 80709 300 300 0 97927 0
vsize: 392908
[startup+120 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 132579 0 0 0 11710 290 0 0 25 0 1 0 864480576 402337792 80724 4294967295 134512640 135726644 3221224592 3221223088 134744223 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98227 80724 300 300 0 97927 0
vsize: 392908
[startup+130.001 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 133162 0 0 0 12708 292 0 0 25 0 1 0 864480576 403922944 81013 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98614 81014 300 300 0 98314 0
vsize: 394456
[startup+140 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 138274 0 0 0 13699 301 0 0 25 0 1 0 864480576 417501184 83391 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 101929 83391 300 300 0 101629 0
vsize: 407716
[startup+150.001 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 143698 0 0 0 14689 311 0 0 25 0 1 0 864480576 432242688 85668 4294967295 134512640 135726644 3221224592 3221223216 134744667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 105528 85668 300 300 0 105228 0
vsize: 422112
[startup+160.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 145584 0 0 0 15686 314 0 0 25 0 1 0 864480576 437641216 86419 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106846 86419 300 300 0 106546 0
vsize: 427384
[startup+170 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 145621 0 0 0 16686 315 0 0 25 0 1 0 864480576 437772288 86423 4294967295 134512640 135726644 3221224592 3221223188 134744137 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106878 86423 300 300 0 106578 0
vsize: 427512
[startup+180 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 146090 0 0 0 17684 316 0 0 25 0 1 0 864480576 438960128 86665 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107168 86665 300 300 0 106868 0
vsize: 428672
[startup+190 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 146164 0 0 0 18684 316 0 0 25 0 1 0 864480576 439226368 86706 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107233 86706 300 300 0 106933 0
vsize: 428932
[startup+200.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 146385 0 0 0 19684 317 0 0 25 0 1 0 864480576 439885824 86796 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107394 86796 300 300 0 107094 0
vsize: 429576
[startup+210 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 146432 0 0 0 20684 317 0 0 25 0 1 0 864480576 440020992 86843 4294967295 134512640 135726644 3221224592 3221223088 134744169 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107427 86843 300 300 0 107127 0
vsize: 429708
[startup+220.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 146509 0 0 0 21684 317 0 0 25 0 1 0 864480576 440287232 86887 4294967295 134512640 135726644 3221224592 3221223088 134744074 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107492 86887 300 300 0 107192 0
vsize: 429968
[startup+230.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 146515 0 0 0 22684 317 0 0 25 0 1 0 864480576 440287232 86893 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107492 86893 300 300 0 107192 0
vsize: 429968
[startup+240.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 146792 0 0 0 23683 318 0 0 25 0 1 0 864480576 441073664 86976 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107684 86976 300 300 0 107384 0
vsize: 430736
[startup+250.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 146848 0 0 0 24684 318 0 0 25 0 1 0 864480576 441208832 87032 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107717 87032 300 300 0 107417 0
vsize: 430868
[startup+260.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 146850 0 0 0 25684 318 0 0 25 0 1 0 864480576 441208832 87034 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107717 87034 300 300 0 107417 0
vsize: 430868
[startup+270.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 146861 0 0 0 26684 318 0 0 25 0 1 0 864480576 441208832 87045 4294967295 134512640 135726644 3221224592 3221223088 134743886 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107717 87045 300 300 0 107417 0
vsize: 430868
[startup+280.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 146913 0 0 0 27684 319 0 0 25 0 1 0 864480576 441339904 87064 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107749 87064 300 300 0 107449 0
vsize: 430996
[startup+290.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 146999 0 0 0 28684 319 0 0 25 0 1 0 864480576 441602048 87085 4294967295 134512640 135726644 3221224592 3221223244 134744472 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107813 87085 300 300 0 107513 0
vsize: 431252
[startup+300.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 147005 0 0 0 29684 319 0 0 25 0 1 0 864480576 441602048 87091 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107813 87091 300 300 0 107513 0
vsize: 431252
[startup+310.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 147063 0 0 0 30684 319 0 0 25 0 1 0 864480576 441602048 87149 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107813 87149 300 300 0 107513 0
vsize: 431252
[startup+320.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 147066 0 0 0 31684 319 0 0 25 0 1 0 864480576 441602048 87152 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107813 87152 300 300 0 107513 0
vsize: 431252
[startup+330.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 147080 0 0 0 32684 319 0 0 25 0 1 0 864480576 441602048 87166 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107813 87166 300 300 0 107513 0
vsize: 431252
[startup+340.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 147249 0 0 0 33684 320 0 0 25 0 1 0 864480576 442126336 87206 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107941 87206 300 300 0 107641 0
vsize: 431764
[startup+350.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 147880 0 0 0 34683 321 0 0 25 0 1 0 864480576 443707392 87512 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108327 87512 300 300 0 108027 0
vsize: 433308
[startup+360.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 147922 0 0 0 35683 321 0 0 25 0 1 0 864480576 443707392 87554 4294967295 134512640 135726644 3221224592 3221223088 134744142 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108327 87554 300 300 0 108027 0
vsize: 433308
[startup+370.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 148011 0 0 0 36683 321 0 0 25 0 1 0 864480576 443977728 87643 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108393 87643 300 300 0 108093 0
vsize: 433572
[startup+380.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 148062 0 0 0 37683 321 0 0 25 0 1 0 864480576 443977728 87694 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108393 87694 300 300 0 108093 0
vsize: 433572
[startup+390.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 148139 0 0 0 38683 321 0 0 25 0 1 0 864480576 444108800 87738 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108425 87738 300 300 0 108125 0
vsize: 433700
[startup+400.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 148375 0 0 0 39683 322 0 0 25 0 1 0 864480576 445046784 87908 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108654 87908 300 300 0 108354 0
vsize: 434616
[startup+410.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 148553 0 0 0 40682 322 0 0 25 0 1 0 864480576 445579264 88020 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108784 88020 300 300 0 108484 0
vsize: 435136
[startup+420.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 148604 0 0 0 41683 322 0 0 25 0 1 0 864480576 445710336 88038 4294967295 134512640 135726644 3221224592 3221223088 134744123 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108816 88038 300 300 0 108516 0
vsize: 435264
[startup+430.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 148675 0 0 0 42683 323 0 0 25 0 1 0 864480576 445841408 88076 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108848 88076 300 300 0 108548 0
vsize: 435392
[startup+440.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 148682 0 0 0 43683 323 0 0 25 0 1 0 864480576 445841408 88083 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108848 88083 300 300 0 108548 0
vsize: 435392
[startup+450.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 148685 0 0 0 44683 323 0 0 25 0 1 0 864480576 445841408 88086 4294967295 134512640 135726644 3221224592 3221223088 134744117 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108848 88086 300 300 0 108548 0
vsize: 435392
[startup+460.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 148690 0 0 0 45683 323 0 0 25 0 1 0 864480576 445841408 88091 4294967295 134512640 135726644 3221224592 3221223088 134744126 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108848 88091 300 300 0 108548 0
vsize: 435392
[startup+470.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 148694 0 0 0 46683 323 0 0 25 0 1 0 864480576 445841408 88095 4294967295 134512640 135726644 3221224592 3221223088 134743875 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108848 88095 300 300 0 108548 0
vsize: 435392
[startup+480.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 148696 0 0 0 47683 323 0 0 25 0 1 0 864480576 445841408 88097 4294967295 134512640 135726644 3221224592 3221223088 134743875 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108848 88097 300 300 0 108548 0
vsize: 435392
[startup+490.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 148699 0 0 0 48683 323 0 0 25 0 1 0 864480576 445841408 88100 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108848 88100 300 300 0 108548 0
vsize: 435392
[startup+500.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 148703 0 0 0 49684 323 0 0 25 0 1 0 864480576 445841408 88104 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108848 88104 300 300 0 108548 0
vsize: 435392
[startup+510.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 148704 0 0 0 50684 323 0 0 25 0 1 0 864480576 445841408 88105 4294967295 134512640 135726644 3221224592 3221223088 134744377 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108848 88105 300 300 0 108548 0
vsize: 435392
[startup+520.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 148720 0 0 0 51684 323 0 0 25 0 1 0 864480576 445841408 88121 4294967295 134512640 135726644 3221224592 3221222912 134728895 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108848 88121 300 300 0 108548 0
vsize: 435392
[startup+530.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 148724 0 0 0 52684 323 0 0 25 0 1 0 864480576 445841408 88125 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108848 88125 300 300 0 108548 0
vsize: 435392
[startup+540.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 148727 0 0 0 53684 323 0 0 25 0 1 0 864480576 445841408 88128 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108848 88128 300 300 0 108548 0
vsize: 435392
[startup+550.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 148818 0 0 0 54684 323 0 0 25 0 1 0 864480576 446103552 88154 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108912 88154 300 300 0 108612 0
vsize: 435648
[startup+560.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 148851 0 0 0 55684 323 0 0 25 0 1 0 864480576 446103552 88187 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108912 88187 300 300 0 108612 0
vsize: 435648
[startup+570.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 148855 0 0 0 56684 323 0 0 25 0 1 0 864480576 446103552 88191 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108912 88191 300 300 0 108612 0
vsize: 435648
[startup+580.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 149040 0 0 0 57684 324 0 0 25 0 1 0 864480576 446627840 88247 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109040 88247 300 300 0 108740 0
vsize: 436160
[startup+590.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 149108 0 0 0 58684 324 0 0 25 0 1 0 864480576 446627840 88315 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109040 88315 300 300 0 108740 0
vsize: 436160
[startup+600.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 149111 0 0 0 59684 324 0 0 25 0 1 0 864480576 446627840 88318 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109040 88318 300 300 0 108740 0
vsize: 436160
[startup+610.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 149115 0 0 0 60684 324 0 0 25 0 1 0 864480576 446627840 88322 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109040 88322 300 300 0 108740 0
vsize: 436160
[startup+620.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 149117 0 0 0 61685 324 0 0 25 0 1 0 864480576 446627840 88324 4294967295 134512640 135726644 3221224592 3221223280 134745044 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109040 88324 300 300 0 108740 0
vsize: 436160
[startup+630.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 149120 0 0 0 62685 324 0 0 25 0 1 0 864480576 446627840 88327 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109040 88327 300 300 0 108740 0
vsize: 436160
[startup+640.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 149124 0 0 0 63685 324 0 0 25 0 1 0 864480576 446627840 88331 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109040 88331 300 300 0 108740 0
vsize: 436160
[startup+650.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 149127 0 0 0 64685 324 0 0 25 0 1 0 864480576 446627840 88334 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109040 88334 300 300 0 108740 0
vsize: 436160
[startup+660.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 149130 0 0 0 65685 325 0 0 25 0 1 0 864480576 446627840 88337 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109040 88337 300 300 0 108740 0
vsize: 436160
[startup+670.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 149132 0 0 0 66685 325 0 0 25 0 1 0 864480576 446627840 88339 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109040 88339 300 300 0 108740 0
vsize: 436160
[startup+680.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 149135 0 0 0 67685 325 0 0 25 0 1 0 864480576 446627840 88342 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109040 88342 300 300 0 108740 0
vsize: 436160
[startup+690.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 149137 0 0 0 68685 325 0 0 25 0 1 0 864480576 446627840 88344 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109040 88344 300 300 0 108740 0
vsize: 436160
[startup+700.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 149141 0 0 0 69686 325 0 0 25 0 1 0 864480576 446627840 88348 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109040 88348 300 300 0 108740 0
vsize: 436160
[startup+710.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 150899 0 0 0 70682 328 0 0 25 0 1 0 864480576 447160320 88453 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 109170 88453 300 300 0 108870 0
vsize: 436680
[startup+720.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 151766 0 0 0 71680 330 0 0 25 0 1 0 864480576 450199552 88896 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109912 88896 300 300 0 109612 0
vsize: 439648
[startup+730.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 151815 0 0 0 72680 330 0 0 25 0 1 0 864480576 450469888 88945 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109978 88945 300 300 0 109678 0
vsize: 439912
[startup+740.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 151904 0 0 0 73680 331 0 0 25 0 1 0 864480576 450961408 89034 4294967295 134512640 135726644 3221224592 3221223088 134744379 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110098 89034 300 300 0 109798 0
vsize: 440392
[startup+750.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 151904 0 0 0 74680 331 0 0 25 0 1 0 864480576 450961408 89034 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110098 89034 300 300 0 109798 0
vsize: 440392
[startup+760.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 151906 0 0 0 75680 331 0 0 25 0 1 0 864480576 450961408 89036 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110098 89036 300 300 0 109798 0
vsize: 440392
[startup+770.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 151907 0 0 0 76680 331 0 0 25 0 1 0 864480576 450961408 89037 4294967295 134512640 135726644 3221224592 3221223088 134744117 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110098 89037 300 300 0 109798 0
vsize: 440392
[startup+780.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 151909 0 0 0 77680 331 0 0 25 0 1 0 864480576 450961408 89039 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110098 89039 300 300 0 109798 0
vsize: 440392
[startup+790.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 151910 0 0 0 78680 331 0 0 25 0 1 0 864480576 450961408 89040 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110098 89040 300 300 0 109798 0
vsize: 440392
[startup+800.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 151911 0 0 0 79681 331 0 0 25 0 1 0 864480576 450961408 89041 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110098 89041 300 300 0 109798 0
vsize: 440392
[startup+810.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 151911 0 0 0 80681 332 0 0 25 0 1 0 864480576 450961408 89041 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110098 89041 300 300 0 109798 0
vsize: 440392
[startup+820.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 151913 0 0 0 81681 332 0 0 25 0 1 0 864480576 450961408 89043 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110098 89043 300 300 0 109798 0
vsize: 440392
[startup+830.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 151914 0 0 0 82681 332 0 0 25 0 1 0 864480576 450961408 89044 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110098 89044 300 300 0 109798 0
vsize: 440392
[startup+840.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 151915 0 0 0 83681 332 0 0 25 0 1 0 864480576 450961408 89045 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110098 89045 300 300 0 109798 0
vsize: 440392
[startup+850.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 151917 0 0 0 84681 332 0 0 25 0 1 0 864480576 450961408 89047 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110098 89047 300 300 0 109798 0
vsize: 440392
[startup+860.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 152168 0 0 0 85681 332 0 0 25 0 1 0 864480576 451760128 89200 4294967295 134512640 135726644 3221224592 3221223088 134743999 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110293 89200 300 300 0 109993 0
vsize: 441172
[startup+870.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 153155 0 0 0 86678 335 0 0 25 0 1 0 864480576 454541312 89729 4294967295 134512640 135726644 3221224592 3221223088 134744223 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110972 89729 300 300 0 110672 0
vsize: 443888
[startup+880.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 153857 0 0 0 87676 337 0 0 25 0 1 0 864480576 456388608 90104 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 111423 90104 300 300 0 111123 0
vsize: 445692
[startup+890.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 154520 0 0 0 88675 339 0 0 25 0 1 0 864480576 458104832 90490 4294967295 134512640 135726644 3221224592 3221223088 134744123 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 111842 90490 300 300 0 111542 0
vsize: 447368
[startup+900.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 154523 0 0 0 89675 339 0 0 25 0 1 0 864480576 458104832 90493 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 111842 90493 300 300 0 111542 0
vsize: 447368
[startup+910.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 154523 0 0 0 90675 339 0 0 25 0 1 0 864480576 458104832 90493 4294967295 134512640 135726644 3221224592 3221223280 134744966 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 111842 90493 300 300 0 111542 0
vsize: 447368
[startup+920.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 154529 0 0 0 91675 339 0 0 25 0 1 0 864480576 458104832 90499 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 111842 90499 300 300 0 111542 0
vsize: 447368
[startup+930.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 154531 0 0 0 92676 339 0 0 25 0 1 0 864480576 458104832 90501 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 111842 90501 300 300 0 111542 0
vsize: 447368
[startup+940.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 154532 0 0 0 93675 339 0 0 25 0 1 0 864480576 458104832 90502 4294967295 134512640 135726644 3221224592 3221223280 134744966 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 111842 90502 300 300 0 111542 0
vsize: 447368
[startup+950.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 154535 0 0 0 94676 339 0 0 25 0 1 0 864480576 458104832 90505 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 111842 90505 300 300 0 111542 0
vsize: 447368
[startup+960.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 154537 0 0 0 95676 340 0 0 25 0 1 0 864480576 458104832 90507 4294967295 134512640 135726644 3221224592 3221223136 134736622 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 111842 90507 300 300 0 111542 0
vsize: 447368
[startup+970.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 154542 0 0 0 96676 340 0 0 25 0 1 0 864480576 458104832 90512 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 111842 90512 300 300 0 111542 0
vsize: 447368
[startup+980.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 154553 0 0 0 97676 340 0 0 25 0 1 0 864480576 458104832 90523 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 111842 90523 300 300 0 111542 0
vsize: 447368
[startup+990.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 154556 0 0 0 98676 340 0 0 25 0 1 0 864480576 458104832 90526 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 111842 90526 300 300 0 111542 0
vsize: 447368
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 154566 0 0 0 99676 340 0 0 25 0 1 0 864480576 458104832 90536 4294967295 134512640 135726644 3221224592 3221223184 134760424 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 111842 90536 300 300 0 111542 0
vsize: 447368
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 154570 0 0 0 100677 340 0 0 25 0 1 0 864480576 458104832 90540 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 111842 90540 300 300 0 111542 0
vsize: 447368
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 154580 0 0 0 101677 340 0 0 25 0 1 0 864480576 458104832 90550 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 111842 90550 300 300 0 111542 0
vsize: 447368
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 154598 0 0 0 102677 340 0 0 25 0 1 0 864480576 458104832 90568 4294967295 134512640 135726644 3221224592 3221223184 134759994 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 111842 90568 300 300 0 111542 0
vsize: 447368
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 154598 0 0 0 103677 340 0 0 25 0 1 0 864480576 458104832 90568 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 111842 90568 300 300 0 111542 0
vsize: 447368
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 154617 0 0 0 104677 340 0 0 25 0 1 0 864480576 458104832 90587 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 111842 90587 300 300 0 111542 0
vsize: 447368
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 154924 0 0 0 105677 341 0 0 25 0 1 0 864480576 459026432 90731 4294967295 134512640 135726644 3221224592 3221223216 134744575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112067 90731 300 300 0 111767 0
vsize: 448268
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 154924 0 0 0 106677 341 0 0 25 0 1 0 864480576 459026432 90731 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112067 90731 300 300 0 111767 0
vsize: 448268
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 154932 0 0 0 107677 341 0 0 25 0 1 0 864480576 459026432 90739 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112067 90739 300 300 0 111767 0
vsize: 448268
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 154967 0 0 0 108677 341 0 0 25 0 1 0 864480576 459026432 90774 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112067 90774 300 300 0 111767 0
vsize: 448268
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 155000 0 0 0 109677 341 0 0 25 0 1 0 864480576 459026432 90807 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112067 90807 300 300 0 111767 0
vsize: 448268
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 156889 0 0 0 110672 346 0 0 25 0 1 0 864480576 459681792 90946 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 112227 90946 300 300 0 111927 0
vsize: 448908
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 157119 0 0 0 111671 347 0 0 25 0 1 0 864480576 460759040 91176 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112490 91176 300 300 0 112190 0
vsize: 449960
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 157188 0 0 0 112671 347 0 0 25 0 1 0 864480576 460894208 91245 4294967295 134512640 135726644 3221224592 3221223088 134743987 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112523 91245 300 300 0 112223 0
vsize: 450092
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 157189 0 0 0 113671 347 0 0 25 0 1 0 864480576 460894208 91246 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112523 91246 300 300 0 112223 0
vsize: 450092
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 157852 0 0 0 114670 348 0 0 25 0 1 0 864480576 463003648 91519 4294967295 134512640 135726644 3221224592 3221223248 134731177 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 113038 91519 300 300 0 112738 0
vsize: 452152
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 159352 0 0 0 115668 351 0 0 25 0 1 0 864480576 467202048 92048 4294967295 134512640 135726644 3221224592 3221222920 134735633 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 114063 92048 300 300 0 113763 0
vsize: 456252
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 160328 0 0 0 116666 353 0 0 25 0 1 0 864480576 470499328 92507 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 114868 92507 300 300 0 114568 0
vsize: 459472
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 161794 0 0 0 117663 356 0 0 25 0 1 0 864480576 475254784 93292 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116029 93292 300 300 0 115729 0
vsize: 464116
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 162542 0 0 0 118662 357 0 0 25 0 1 0 864480576 477491200 93618 4294967295 134512640 135726644 3221224592 3221223088 134744372 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116575 93618 300 300 0 116275 0
vsize: 466300
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 162748 0 0 0 119662 358 0 0 25 0 1 0 864480576 478019584 93758 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116704 93758 300 300 0 116404 0
vsize: 466816
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.21 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 32197
Raw data (stat): 32197 (pb2sat) R 32196 22056 22055 0 -1 0 162748 0 0 0 119662 358 0 0 25 0 1 0 864480576 478019584 93758 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116704 93758 300 300 0 116404 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.21
CPU time (s): 1202.38
CPU user time (s): 1198.62
CPU system time (s): 3.76043
CPU usage (%): 100.014
Max. virtual memory (Kb): 466816
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####