PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-NSR8K.opb
MD5SUM	4969ff20db6e3c380ff3de77937a8672
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	221520
Biggest coefficient in the objective function	536870912000000000000
Number of bits for the biggest coefficient in the objective function	69
Sum of the numbers in the objective function	34400198927214220148736
Number of bits of the sum of numbers in the objective function	75
Biggest number in a constraint	536870912000000000000
Number of bits of the biggest number in a constraint	69
Biggest sum of numbers in a constraint	34400301327214220148736
Number of bits of the biggest sum of numbers	75
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	2.17367
Number of variables	221520
Total number of constraints	38324
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	32041
Number of constraints which are nor clauses,nor cardinality constraints	6283
Minimum length of a constraint	1
Maximum length of a constraint	221520
Trace number 35535

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc30 THE 2005-05-28 13:03:49 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24694 boxname=wulflinc30 idbench=1166 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  4969ff20db6e3c380ff3de77937a8672  /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-20-10-NSR8K.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-20-10-NSR8K.opb
IDLAUNCH: 24694
/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:        776528 kB
Buffers:         34500 kB
Cached:         199484 kB
SwapCached:        752 kB
Active:          70000 kB
Inactive:       166172 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        776276 kB
SwapTotal:     2097892 kB
SwapFree:      2096312 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5060 kB
Slab:            16308 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 13:23:53 (client local time) WITH STATUS 0 IN 1201.29 SECONDS
stats: 24694 7 1201.29 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
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.91 0.96 0.91 2/54 1152
Raw data (stat): 1152 (runsolver) R 1151 22056 22055 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 865011338 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+10.0021 s]
Raw data (loadavg): 0.92 0.96 0.91 2/54 1152
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 1968 0 0 0 994 5 0 0 25 0 1 0 865011338 7413760 1296 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 1810 1296 300 300 0 1510 0
vsize: 7240
[startup+20.0028 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 1152
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 2571 0 0 0 1992 6 0 0 25 0 1 0 865011338 9035776 1889 4294967295 134512640 135726644 3221224576 3221221872 134568007 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2206 1889 300 300 0 1906 0
vsize: 8824
[startup+30.0032 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 1152
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 3821 0 0 0 2989 10 0 0 25 0 1 0 865011338 13410304 2426 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3274 2426 300 300 0 2974 0
vsize: 13096
[startup+40.0042 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 1152
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 4017 0 0 0 3988 10 0 0 25 0 1 0 865011338 13815808 2617 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3373 2617 300 300 0 3073 0
vsize: 13492
[startup+50.005 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 1152
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 4291 0 0 0 4987 11 0 0 25 0 1 0 865011338 14491648 2887 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3538 2887 300 300 0 3238 0
vsize: 14152
[startup+60.0058 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 1152
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 4538 0 0 0 5986 12 0 0 25 0 1 0 865011338 15167488 3130 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3703 3130 300 300 0 3403 0
vsize: 14812
[startup+70.0165 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 1152
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 4761 0 0 0 6987 13 0 0 25 0 1 0 865011338 15708160 3349 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3835 3349 300 300 0 3535 0
vsize: 15340
[startup+80.0224 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 1152
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 4964 0 0 0 7988 13 0 0 25 0 1 0 865011338 16248832 3549 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3967 3549 300 300 0 3667 0
vsize: 15868
[startup+90.0222 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 1152
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 5155 0 0 0 8987 13 0 0 25 0 1 0 865011338 16789504 3737 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4099 3737 300 300 0 3799 0
vsize: 16396
[startup+100.023 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 1152
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 5333 0 0 0 9986 14 0 0 25 0 1 0 865011338 17195008 3912 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4198 3912 300 300 0 3898 0
vsize: 16792
[startup+110.024 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 1152
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 5504 0 0 0 10986 15 0 0 25 0 1 0 865011338 17735680 4080 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4330 4080 300 300 0 4030 0
vsize: 17320
[startup+120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1152
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 7494 0 0 0 11983 18 0 0 25 0 1 0 865011338 25403392 4658 4294967295 134512640 135726644 3221224576 3221221664 134556192 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6202 4658 300 300 0 5902 0
vsize: 24808
[startup+130.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 7550 0 0 0 12983 19 0 0 25 0 1 0 865011338 25403392 4711 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6202 4711 300 300 0 5902 0
vsize: 24808
[startup+140.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 7603 0 0 0 13983 19 0 0 25 0 1 0 865011338 25403392 4762 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6202 4762 300 300 0 5902 0
vsize: 24808
[startup+150.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 7681 0 0 0 14983 19 0 0 25 0 1 0 865011338 25403392 4838 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6202 4838 300 300 0 5902 0
vsize: 24808
[startup+160.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 7731 0 0 0 15982 20 0 0 25 0 1 0 865011338 25403392 4885 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6202 4885 300 300 0 5902 0
vsize: 24808
[startup+170.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 7860 0 0 0 16981 20 0 0 25 0 1 0 865011338 25808896 5012 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6301 5012 300 300 0 6001 0
vsize: 25204
[startup+180.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 7992 0 0 0 17981 20 0 0 25 0 1 0 865011338 26214400 5142 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6400 5142 300 300 0 6100 0
vsize: 25600
[startup+190.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 8120 0 0 0 18981 21 0 0 25 0 1 0 865011338 26484736 5268 4294967295 134512640 135726644 3221224576 3221221664 134556187 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6466 5268 300 300 0 6166 0
vsize: 25864
[startup+200.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 8245 0 0 0 19981 21 0 0 25 0 1 0 865011338 26755072 5391 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6532 5391 300 300 0 6232 0
vsize: 26128
[startup+210.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 8368 0 0 0 20981 21 0 0 25 0 1 0 865011338 27160576 5512 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6631 5512 300 300 0 6331 0
vsize: 26524
[startup+220.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 8485 0 0 0 21980 22 0 0 25 0 1 0 865011338 27430912 5627 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6697 5627 300 300 0 6397 0
vsize: 26788
[startup+230.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 8602 0 0 0 22980 22 0 0 25 0 1 0 865011338 27701248 5742 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6763 5742 300 300 0 6463 0
vsize: 27052
[startup+240.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 8717 0 0 0 23979 23 0 0 25 0 1 0 865011338 28106752 5855 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6862 5855 300 300 0 6562 0
vsize: 27448
[startup+250.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 8828 0 0 0 24979 23 0 0 25 0 1 0 865011338 28377088 5965 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6928 5965 300 300 0 6628 0
vsize: 27712
[startup+260.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 8938 0 0 0 25979 24 0 0 25 0 1 0 865011338 28647424 6073 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6994 6073 300 300 0 6694 0
vsize: 27976
[startup+270.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 9047 0 0 0 26979 24 0 0 25 0 1 0 865011338 28917760 6180 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7060 6180 300 300 0 6760 0
vsize: 28240
[startup+280.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 9152 0 0 0 27978 25 0 0 25 0 1 0 865011338 29188096 6283 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7126 6283 300 300 0 6826 0
vsize: 28504
[startup+290.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 9256 0 0 0 28978 25 0 0 25 0 1 0 865011338 29458432 6386 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7192 6386 300 300 0 6892 0
vsize: 28768
[startup+300.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 9359 0 0 0 29977 25 0 0 25 0 1 0 865011338 29728768 6487 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7258 6487 300 300 0 6958 0
vsize: 29032
[startup+310.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 9461 0 0 0 30977 26 0 0 25 0 1 0 865011338 29999104 6587 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7324 6587 300 300 0 7024 0
vsize: 29296
[startup+320.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 9560 0 0 0 31977 26 0 0 25 0 1 0 865011338 30269440 6685 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7390 6685 300 300 0 7090 0
vsize: 29560
[startup+330.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 9658 0 0 0 32977 26 0 0 25 0 1 0 865011338 30539776 6781 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7456 6781 300 300 0 7156 0
vsize: 29824
[startup+340.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 9753 0 0 0 33977 27 0 0 25 0 1 0 865011338 30810112 6875 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7522 6875 300 300 0 7222 0
vsize: 30088
[startup+350.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 9849 0 0 0 34977 27 0 0 25 0 1 0 865011338 31080448 6969 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7588 6969 300 300 0 7288 0
vsize: 30352
[startup+360.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 9942 0 0 0 35977 27 0 0 25 0 1 0 865011338 31350784 7061 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7654 7061 300 300 0 7354 0
vsize: 30616
[startup+370.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 10035 0 0 0 36977 27 0 0 25 0 1 0 865011338 31485952 7152 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7687 7152 300 300 0 7387 0
vsize: 30748
[startup+380.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 10127 0 0 0 37977 27 0 0 25 0 1 0 865011338 31756288 7243 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7753 7243 300 300 0 7453 0
vsize: 31012
[startup+390.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 10218 0 0 0 38977 27 0 0 25 0 1 0 865011338 32026624 7332 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7819 7332 300 300 0 7519 0
vsize: 31276
[startup+400.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 10307 0 0 0 39977 28 0 0 25 0 1 0 865011338 32296960 7420 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7885 7420 300 300 0 7585 0
vsize: 31540
[startup+410.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 10396 0 0 0 40977 28 0 0 25 0 1 0 865011338 32567296 7507 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7951 7507 300 300 0 7651 0
vsize: 31804
[startup+420.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 10482 0 0 0 41977 29 0 0 25 0 1 0 865011338 32702464 7592 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7984 7592 300 300 0 7684 0
vsize: 31936
[startup+430.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 10570 0 0 0 42977 29 0 0 25 0 1 0 865011338 32972800 7678 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8050 7678 300 300 0 7750 0
vsize: 32200
[startup+440.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 10654 0 0 0 43978 29 0 0 25 0 1 0 865011338 33243136 7761 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8116 7761 300 300 0 7816 0
vsize: 32464
[startup+450.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 10739 0 0 0 44978 29 0 0 25 0 1 0 865011338 33378304 7845 4294967295 134512640 135726644 3221224576 3221221448 135336109 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8149 7845 300 300 0 7849 0
vsize: 32596
[startup+460.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 10822 0 0 0 45977 29 0 0 25 0 1 0 865011338 33648640 7926 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8215 7926 300 300 0 7915 0
vsize: 32860
[startup+470.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 10906 0 0 0 46977 30 0 0 25 0 1 0 865011338 33783808 8009 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8248 8009 300 300 0 7948 0
vsize: 32992
[startup+480.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 14813 0 0 0 47969 38 0 0 25 0 1 0 865011338 49254400 9097 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9097 300 300 0 11725 0
vsize: 48100
[startup+490.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 14843 0 0 0 48969 38 0 0 25 0 1 0 865011338 49254400 9125 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9125 300 300 0 11725 0
vsize: 48100
[startup+500.067 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 14871 0 0 0 49969 38 0 0 25 0 1 0 865011338 49254400 9152 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9152 300 300 0 11725 0
vsize: 48100
[startup+510.068 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 14899 0 0 0 50969 38 0 0 25 0 1 0 865011338 49254400 9179 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9179 300 300 0 11725 0
vsize: 48100
[startup+520.068 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 14926 0 0 0 51969 39 0 0 25 0 1 0 865011338 49254400 9205 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9205 300 300 0 11725 0
vsize: 48100
[startup+530.069 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 14954 0 0 0 52969 39 0 0 25 0 1 0 865011338 49254400 9231 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9231 300 300 0 11725 0
vsize: 48100
[startup+540.068 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 14982 0 0 0 53969 39 0 0 25 0 1 0 865011338 49254400 9258 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9258 300 300 0 11725 0
vsize: 48100
[startup+550.078 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 15009 0 0 0 54970 39 0 0 25 0 1 0 865011338 49254400 9284 4294967295 134512640 135726644 3221224576 3221221664 134556195 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9284 300 300 0 11725 0
vsize: 48100
[startup+560.078 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 15035 0 0 0 55970 39 0 0 25 0 1 0 865011338 49254400 9309 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9309 300 300 0 11725 0
vsize: 48100
[startup+570.078 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 15063 0 0 0 56970 40 0 0 25 0 1 0 865011338 49254400 9335 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9335 300 300 0 11725 0
vsize: 48100
[startup+580.079 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 15090 0 0 0 57970 40 0 0 25 0 1 0 865011338 49254400 9361 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9361 300 300 0 11725 0
vsize: 48100
[startup+590.078 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 15115 0 0 0 58969 40 0 0 25 0 1 0 865011338 49254400 9385 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9385 300 300 0 11725 0
vsize: 48100
[startup+600.079 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 15141 0 0 0 59969 40 0 0 25 0 1 0 865011338 49254400 9410 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9410 300 300 0 11725 0
vsize: 48100
[startup+610.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 15175 0 0 0 60970 40 0 0 25 0 1 0 865011338 49254400 9443 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9443 300 300 0 11725 0
vsize: 48100
[startup+620.081 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 15218 0 0 0 61970 40 0 0 25 0 1 0 865011338 49254400 9485 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9485 300 300 0 11725 0
vsize: 48100
[startup+630.082 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 15244 0 0 0 62970 40 0 0 25 0 1 0 865011338 49254400 9509 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9509 300 300 0 11725 0
vsize: 48100
[startup+640.081 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 15270 0 0 0 63970 40 0 0 25 0 1 0 865011338 49254400 9534 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9534 300 300 0 11725 0
vsize: 48100
[startup+650.082 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 15294 0 0 0 64970 40 0 0 25 0 1 0 865011338 49254400 9557 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9557 300 300 0 11725 0
vsize: 48100
[startup+660.083 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 15319 0 0 0 65969 41 0 0 25 0 1 0 865011338 49254400 9581 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9581 300 300 0 11725 0
vsize: 48100
[startup+670.083 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 15347 0 0 0 66969 41 0 0 25 0 1 0 865011338 49389568 9608 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12058 9608 300 300 0 11758 0
vsize: 48232
[startup+680.088 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 15417 0 0 0 67969 41 0 0 25 0 1 0 865011338 49524736 9677 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12091 9677 300 300 0 11791 0
vsize: 48364
[startup+690.095 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 15485 0 0 0 68970 41 0 0 25 0 1 0 865011338 49659904 9744 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12124 9744 300 300 0 11824 0
vsize: 48496
[startup+700.096 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 15552 0 0 0 69970 41 0 0 25 0 1 0 865011338 49930240 9810 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12190 9810 300 300 0 11890 0
vsize: 48760
[startup+710.096 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 15621 0 0 0 70970 42 0 0 25 0 1 0 865011338 50065408 9877 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12223 9877 300 300 0 11923 0
vsize: 48892
[startup+720.097 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 15687 0 0 0 71970 42 0 0 25 0 1 0 865011338 50200576 9942 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12256 9942 300 300 0 11956 0
vsize: 49024
[startup+730.098 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 15753 0 0 0 72970 42 0 0 25 0 1 0 865011338 50470912 10007 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12322 10007 300 300 0 12022 0
vsize: 49288
[startup+740.097 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 15821 0 0 0 73970 42 0 0 25 0 1 0 865011338 50606080 10074 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12355 10074 300 300 0 12055 0
vsize: 49420
[startup+750.098 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 15887 0 0 0 74970 42 0 0 25 0 1 0 865011338 50741248 10139 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12388 10139 300 300 0 12088 0
vsize: 49552
[startup+760.099 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 15952 0 0 0 75970 42 0 0 25 0 1 0 865011338 50876416 10203 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12421 10203 300 300 0 12121 0
vsize: 49684
[startup+770.099 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 16015 0 0 0 76970 43 0 0 25 0 1 0 865011338 51146752 10265 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12487 10265 300 300 0 12187 0
vsize: 49948
[startup+780.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 16079 0 0 0 77968 43 0 0 25 0 1 0 865011338 51281920 10328 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12520 10328 300 300 0 12220 0
vsize: 50080
[startup+790.101 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 16143 0 0 0 78969 43 0 0 25 0 1 0 865011338 51417088 10391 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12553 10391 300 300 0 12253 0
vsize: 50212
[startup+800.101 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 16208 0 0 0 79969 44 0 0 25 0 1 0 865011338 51552256 10455 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12586 10455 300 300 0 12286 0
vsize: 50344
[startup+810.102 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 16271 0 0 0 80969 44 0 0 25 0 1 0 865011338 51822592 10517 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12652 10517 300 300 0 12352 0
vsize: 50608
[startup+820.111 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 16333 0 0 0 81970 44 0 0 25 0 1 0 865011338 51957760 10578 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12685 10578 300 300 0 12385 0
vsize: 50740
[startup+830.111 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 16395 0 0 0 82968 45 0 0 25 0 1 0 865011338 52092928 10639 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12718 10639 300 300 0 12418 0
vsize: 50872
[startup+840.111 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 16457 0 0 0 83968 45 0 0 25 0 1 0 865011338 52228096 10700 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12751 10700 300 300 0 12451 0
vsize: 51004
[startup+850.112 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 16519 0 0 0 84968 45 0 0 25 0 1 0 865011338 52498432 10761 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12817 10761 300 300 0 12517 0
vsize: 51268
[startup+860.112 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 16581 0 0 0 85968 45 0 0 25 0 1 0 865011338 52633600 10822 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12850 10822 300 300 0 12550 0
vsize: 51400
[startup+870.112 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 16642 0 0 0 86968 45 0 0 25 0 1 0 865011338 52768768 10882 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12883 10882 300 300 0 12583 0
vsize: 51532
[startup+880.113 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 16704 0 0 0 87968 45 0 0 25 0 1 0 865011338 52903936 10943 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12916 10943 300 300 0 12616 0
vsize: 51664
[startup+890.113 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 16762 0 0 0 88967 46 0 0 25 0 1 0 865011338 53039104 11000 4294967295 134512640 135726644 3221224576 3221221520 134541104 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12949 11000 300 300 0 12649 0
vsize: 51796
[startup+900.114 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 16823 0 0 0 89968 46 0 0 25 0 1 0 865011338 53174272 11060 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12982 11060 300 300 0 12682 0
vsize: 51928
[startup+910.117 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 16883 0 0 0 90968 46 0 0 25 0 1 0 865011338 53444608 11119 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13048 11119 300 300 0 12748 0
vsize: 52192
[startup+920.117 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 16942 0 0 0 91968 46 0 0 25 0 1 0 865011338 53579776 11177 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13081 11177 300 300 0 12781 0
vsize: 52324
[startup+930.118 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 17001 0 0 0 92968 46 0 0 25 0 1 0 865011338 53714944 11235 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13114 11235 300 300 0 12814 0
vsize: 52456
[startup+940.117 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 17061 0 0 0 93968 46 0 0 25 0 1 0 865011338 53850112 11294 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13147 11294 300 300 0 12847 0
vsize: 52588
[startup+950.117 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 17119 0 0 0 94967 47 0 0 25 0 1 0 865011338 53985280 11351 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13180 11351 300 300 0 12880 0
vsize: 52720
[startup+960.118 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 17177 0 0 0 95967 47 0 0 25 0 1 0 865011338 54120448 11408 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13213 11408 300 300 0 12913 0
vsize: 52852
[startup+970.118 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 17235 0 0 0 96967 47 0 0 25 0 1 0 865011338 54390784 11465 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13279 11465 300 300 0 12979 0
vsize: 53116
[startup+980.118 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 17292 0 0 0 97967 48 0 0 25 0 1 0 865011338 54525952 11522 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13312 11522 300 300 0 13012 0
vsize: 53248
[startup+990.119 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 17349 0 0 0 98967 48 0 0 25 0 1 0 865011338 54661120 11578 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13345 11578 300 300 0 13045 0
vsize: 53380
[startup+1000.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 17407 0 0 0 99967 48 0 0 25 0 1 0 865011338 54796288 11635 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13378 11635 300 300 0 13078 0
vsize: 53512
[startup+1010.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 17463 0 0 0 100966 48 0 0 25 0 1 0 865011338 54931456 11690 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13411 11690 300 300 0 13111 0
vsize: 53644
[startup+1020.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 17518 0 0 0 101966 49 0 0 25 0 1 0 865011338 55066624 11744 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13444 11744 300 300 0 13144 0
vsize: 53776
[startup+1030.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 17576 0 0 0 102966 49 0 0 25 0 1 0 865011338 55201792 11801 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13477 11801 300 300 0 13177 0
vsize: 53908
[startup+1040.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 17631 0 0 0 103966 49 0 0 25 0 1 0 865011338 55336960 11855 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13510 11855 300 300 0 13210 0
vsize: 54040
[startup+1050.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 17687 0 0 0 104966 49 0 0 25 0 1 0 865011338 55472128 11910 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13543 11910 300 300 0 13243 0
vsize: 54172
[startup+1060.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 17743 0 0 0 105966 49 0 0 25 0 1 0 865011338 55607296 11965 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13576 11965 300 300 0 13276 0
vsize: 54304
[startup+1070.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 17798 0 0 0 106965 50 0 0 25 0 1 0 865011338 55877632 12019 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13642 12019 300 300 0 13342 0
vsize: 54568
[startup+1080.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 17853 0 0 0 107965 50 0 0 25 0 1 0 865011338 56012800 12073 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13675 12073 300 300 0 13375 0
vsize: 54700
[startup+1090.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 17906 0 0 0 108965 50 0 0 25 0 1 0 865011338 56147968 12126 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13708 12126 300 300 0 13408 0
vsize: 54832
[startup+1100.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 17961 0 0 0 109965 50 0 0 25 0 1 0 865011338 56283136 12180 4294967295 134512640 135726644 3221224576 3221221664 134556181 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13741 12180 300 300 0 13441 0
vsize: 54964
[startup+1110.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 18014 0 0 0 110965 50 0 0 25 0 1 0 865011338 56418304 12232 4294967295 134512640 135726644 3221224576 3221221664 134556188 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13774 12232 300 300 0 13474 0
vsize: 55096
[startup+1120.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 18069 0 0 0 111965 51 0 0 25 0 1 0 865011338 56553472 12286 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13807 12286 300 300 0 13507 0
vsize: 55228
[startup+1130.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 18123 0 0 0 112965 51 0 0 25 0 1 0 865011338 56688640 12339 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13840 12339 300 300 0 13540 0
vsize: 55360
[startup+1140.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 18177 0 0 0 113964 51 0 0 25 0 1 0 865011338 56823808 12392 4294967295 134512640 135726644 3221224576 3221221664 134556188 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13873 12392 300 300 0 13573 0
vsize: 55492
[startup+1150.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 18229 0 0 0 114964 51 0 0 25 0 1 0 865011338 56958976 12443 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13906 12443 300 300 0 13606 0
vsize: 55624
[startup+1160.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 18281 0 0 0 115964 51 0 0 25 0 1 0 865011338 57094144 12495 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13939 12495 300 300 0 13639 0
vsize: 55756
[startup+1170.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 18335 0 0 0 116964 51 0 0 25 0 1 0 865011338 57229312 12548 4294967295 134512640 135726644 3221224576 3221221664 134556192 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13972 12548 300 300 0 13672 0
vsize: 55888
[startup+1180.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 18387 0 0 0 117964 51 0 0 25 0 1 0 865011338 57364480 12599 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14005 12599 300 300 0 13705 0
vsize: 56020
[startup+1190.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 18440 0 0 0 118964 52 0 0 25 0 1 0 865011338 57499648 12651 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14038 12651 300 300 0 13738 0
vsize: 56152
[startup+1200.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1154
Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 18492 0 0 0 119964 52 0 0 25 0 1 0 865011338 57634816 12702 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14071 12702 300 300 0 13771 0
vsize: 56284
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.25 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 1154
Raw data (stat): 1152 (pb2sat) Z 1151 22056 22055 0 -1 12 18495 0 0 0 120074 54 0 0 25 0 1 0 865011338 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 0
Real time (s): 1201.25
CPU time (s): 1201.29
CPU user time (s): 1200.75
CPU system time (s): 0.546916
CPU usage (%): 100.004
Max. virtual memory (Kb): 56284
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####