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/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-maros-r7.opb
MD5SUM	ebb49febffdfe5475bc23e4ef8d466db
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	188160
Biggest coefficient in the objective function	536870912
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	6734508713856
Number of bits of the sum of numbers in the objective function	43
Biggest number in a constraint	536870912000000
Number of bits of the biggest number in a constraint	49
Biggest sum of numbers in a constraint	4602477289606474
Number of bits of the biggest sum of numbers	53
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	2.65459
Number of variables	282240
Total number of constraints	3136
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	3136
Minimum length of a constraint	150
Maximum length of a constraint	720
Trace number 35199

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-05-28 12:09:43 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24374 boxname=wulflinc4 idbench=846 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  ebb49febffdfe5475bc23e4ef8d466db  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-maros-r7.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-maros-r7.opb
IDLAUNCH: 24374
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        605728 kB
Buffers:         34228 kB
Cached:         373336 kB
SwapCached:        504 kB
Active:          74828 kB
Inactive:       335108 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        605476 kB
SwapTotal:     2097136 kB
SwapFree:      2096000 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5796 kB
Slab:            13356 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 12:26:33 (client local time) WITH STATUS 0 IN 1009.22 SECONDS
stats: 24374 7 1009.22 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
#### 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.93 0.93 0.91 1/54 30009
Raw data (stat): 30009 (runsolver) D 30008 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 18 0 1 0 806461786 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 3225161850 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0012 s]
Raw data (loadavg): 0.94 0.93 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 2196 0 0 0 994 5 0 0 25 0 1 0 806461786 8089600 1521 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 1975 1521 300 300 0 1675 0
vsize: 7900
[startup+20.0021 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 2706 0 0 0 1992 7 0 0 25 0 1 0 806461786 9441280 2023 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2305 2023 300 300 0 2005 0
vsize: 9220
[startup+30.0018 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 3871 0 0 0 2989 10 0 0 25 0 1 0 806461786 13410304 2476 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3274 2476 300 300 0 2974 0
vsize: 13096
[startup+40.0028 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 4120 0 0 0 3988 10 0 0 25 0 1 0 806461786 14086144 2720 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3439 2720 300 300 0 3139 0
vsize: 13756
[startup+50.0103 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 4377 0 0 0 4989 11 0 0 25 0 1 0 806461786 14761984 2973 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3604 2973 300 300 0 3304 0
vsize: 14416
[startup+60.0185 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 4610 0 0 0 5989 12 0 0 25 0 1 0 806461786 15302656 3202 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3736 3202 300 300 0 3436 0
vsize: 14944
[startup+70.0193 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 4819 0 0 0 6988 13 0 0 25 0 1 0 806461786 15843328 3407 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3868 3407 300 300 0 3568 0
vsize: 15472
[startup+80.0202 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 5015 0 0 0 7988 13 0 0 25 0 1 0 806461786 16384000 3600 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4000 3600 300 300 0 3700 0
vsize: 16000
[startup+90.021 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 5200 0 0 0 8987 14 0 0 25 0 1 0 806461786 16924672 3782 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4132 3782 300 300 0 3832 0
vsize: 16528
[startup+100.021 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 5373 0 0 0 9986 15 0 0 25 0 1 0 806461786 17330176 3952 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4231 3952 300 300 0 3931 0
vsize: 16924
[startup+110.023 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 7448 0 0 0 10982 19 0 0 25 0 1 0 806461786 25403392 4615 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6202 4615 300 300 0 5902 0
vsize: 24808
[startup+120.024 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 7504 0 0 0 11982 19 0 0 25 0 1 0 806461786 25403392 4668 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6202 4668 300 300 0 5902 0
vsize: 24808
[startup+130.024 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 7558 0 0 0 12982 20 0 0 25 0 1 0 806461786 25403392 4720 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6202 4720 300 300 0 5902 0
vsize: 24808
[startup+140.025 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 7609 0 0 0 13982 20 0 0 25 0 1 0 806461786 25403392 4769 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6202 4769 300 300 0 5902 0
vsize: 24808
[startup+150.026 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 7686 0 0 0 14981 21 0 0 25 0 1 0 806461786 25403392 4843 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6202 4843 300 300 0 5902 0
vsize: 24808
[startup+160.027 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 7738 0 0 0 15980 22 0 0 25 0 1 0 806461786 25538560 4893 4294967295 134512640 135726644 3221224576 3221221664 134556181 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6235 4893 300 300 0 5935 0
vsize: 24940
[startup+170.028 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 7871 0 0 0 16980 22 0 0 25 0 1 0 806461786 25808896 5024 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6301 5024 300 300 0 6001 0
vsize: 25204
[startup+180.028 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 7999 0 0 0 17978 24 0 0 25 0 1 0 806461786 26214400 5150 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6400 5150 300 300 0 6100 0
vsize: 25600
[startup+190.03 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 8126 0 0 0 18978 25 0 0 25 0 1 0 806461786 26484736 5275 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6466 5275 300 300 0 6166 0
vsize: 25864
[startup+200.029 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 8249 0 0 0 19977 25 0 0 25 0 1 0 806461786 26890240 5396 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6565 5396 300 300 0 6265 0
vsize: 26260
[startup+210.03 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 8370 0 0 0 20977 25 0 0 25 0 1 0 806461786 27160576 5515 4294967295 134512640 135726644 3221224576 3221221664 134556179 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6631 5515 300 300 0 6331 0
vsize: 26524
[startup+220.031 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 8488 0 0 0 21976 26 0 0 25 0 1 0 806461786 27430912 5631 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6697 5631 300 300 0 6397 0
vsize: 26788
[startup+230.031 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 8603 0 0 0 22976 27 0 0 25 0 1 0 806461786 27701248 5744 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6763 5744 300 300 0 6463 0
vsize: 27052
[startup+240.032 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 8716 0 0 0 23975 28 0 0 25 0 1 0 806461786 28106752 5855 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6862 5855 300 300 0 6562 0
vsize: 27448
[startup+250.033 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 8825 0 0 0 24975 28 0 0 25 0 1 0 806461786 28377088 5963 4294967295 134512640 135726644 3221224576 3221221520 134541250 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6928 5963 300 300 0 6628 0
vsize: 27712
[startup+260.035 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 8936 0 0 0 25974 29 0 0 25 0 1 0 806461786 28647424 6072 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6994 6072 300 300 0 6694 0
vsize: 27976
[startup+270.036 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 9041 0 0 0 26973 30 0 0 25 0 1 0 806461786 28917760 6175 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7060 6175 300 300 0 6760 0
vsize: 28240
[startup+280.035 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 9147 0 0 0 27972 31 0 0 25 0 1 0 806461786 29188096 6279 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7126 6279 300 300 0 6826 0
vsize: 28504
[startup+290.036 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 9250 0 0 0 28972 32 0 0 25 0 1 0 806461786 29458432 6381 4294967295 134512640 135726644 3221224576 3221221664 134556192 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7192 6381 300 300 0 6892 0
vsize: 28768
[startup+300.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 9351 0 0 0 29971 33 0 0 25 0 1 0 806461786 29728768 6480 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7258 6480 300 300 0 6958 0
vsize: 29032
[startup+310.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 9452 0 0 0 30970 33 0 0 25 0 1 0 806461786 29999104 6579 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7324 6579 300 300 0 7024 0
vsize: 29296
[startup+320.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 9551 0 0 0 31970 34 0 0 25 0 1 0 806461786 30269440 6677 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7390 6677 300 300 0 7090 0
vsize: 29560
[startup+330.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 9647 0 0 0 32969 35 0 0 25 0 1 0 806461786 30539776 6771 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7456 6771 300 300 0 7156 0
vsize: 29824
[startup+340.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 9743 0 0 0 33969 35 0 0 25 0 1 0 806461786 30810112 6866 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7522 6866 300 300 0 7222 0
vsize: 30088
[startup+350.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 9838 0 0 0 34969 36 0 0 25 0 1 0 806461786 31080448 6959 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7588 6959 300 300 0 7288 0
vsize: 30352
[startup+360.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 9931 0 0 0 35969 36 0 0 25 0 1 0 806461786 31215616 7051 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7621 7051 300 300 0 7321 0
vsize: 30484
[startup+370.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 10023 0 0 0 36968 36 0 0 25 0 1 0 806461786 31485952 7141 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7687 7141 300 300 0 7387 0
vsize: 30748
[startup+380.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 10114 0 0 0 37968 37 0 0 25 0 1 0 806461786 31756288 7231 4294967295 134512640 135726644 3221224576 3221221664 134556179 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7753 7231 300 300 0 7453 0
vsize: 31012
[startup+390.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 10204 0 0 0 38968 37 0 0 25 0 1 0 806461786 32026624 7319 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7819 7319 300 300 0 7519 0
vsize: 31276
[startup+400.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 10292 0 0 0 39969 37 0 0 25 0 1 0 806461786 32296960 7406 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7885 7406 300 300 0 7585 0
vsize: 31540
[startup+410.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 10380 0 0 0 40969 38 0 0 25 0 1 0 806461786 32432128 7492 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7918 7492 300 300 0 7618 0
vsize: 31672
[startup+420.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 10465 0 0 0 41968 39 0 0 25 0 1 0 806461786 32702464 7576 4294967295 134512640 135726644 3221224576 3221221520 134541104 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7984 7576 300 300 0 7684 0
vsize: 31936
[startup+430.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 10551 0 0 0 42967 39 0 0 25 0 1 0 806461786 32972800 7661 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8050 7661 300 300 0 7750 0
vsize: 32200
[startup+440.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 10636 0 0 0 43967 40 0 0 25 0 1 0 806461786 33107968 7744 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8083 7744 300 300 0 7783 0
vsize: 32332
[startup+450.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 10720 0 0 0 44966 41 0 0 25 0 1 0 806461786 33378304 7827 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8149 7827 300 300 0 7849 0
vsize: 32596
[startup+460.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 10802 0 0 0 45965 42 0 0 25 0 1 0 806461786 33513472 7908 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8182 7908 300 300 0 7882 0
vsize: 32728
[startup+470.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 10884 0 0 0 46965 42 0 0 25 0 1 0 806461786 33783808 7988 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8248 7988 300 300 0 7948 0
vsize: 32992
[startup+480.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 10964 0 0 0 47965 43 0 0 25 0 1 0 806461786 34054144 8067 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8314 8067 300 300 0 8014 0
vsize: 33256
[startup+490.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 14833 0 0 0 48957 50 0 0 25 0 1 0 806461786 49254400 9117 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9117 300 300 0 11725 0
vsize: 48100
[startup+500.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 14861 0 0 0 49957 51 0 0 25 0 1 0 806461786 49254400 9144 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9144 300 300 0 11725 0
vsize: 48100
[startup+510.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 14890 0 0 0 50957 51 0 0 25 0 1 0 806461786 49254400 9171 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9171 300 300 0 11725 0
vsize: 48100
[startup+520.067 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 14918 0 0 0 51957 51 0 0 25 0 1 0 806461786 49254400 9198 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9198 300 300 0 11725 0
vsize: 48100
[startup+530.067 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 14945 0 0 0 52957 51 0 0 25 0 1 0 806461786 49254400 9224 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9224 300 300 0 11725 0
vsize: 48100
[startup+540.068 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 14972 0 0 0 53957 51 0 0 25 0 1 0 806461786 49254400 9250 4294967295 134512640 135726644 3221224576 3221221696 134574076 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9250 300 300 0 11725 0
vsize: 48100
[startup+550.068 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 14999 0 0 0 54957 52 0 0 25 0 1 0 806461786 49254400 9275 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9275 300 300 0 11725 0
vsize: 48100
[startup+560.069 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 15026 0 0 0 55956 52 0 0 25 0 1 0 806461786 49254400 9301 4294967295 134512640 135726644 3221224576 3221221664 134556192 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9301 300 300 0 11725 0
vsize: 48100
[startup+570.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 15052 0 0 0 56956 52 0 0 25 0 1 0 806461786 49254400 9326 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9326 300 300 0 11725 0
vsize: 48100
[startup+580.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 15078 0 0 0 57956 53 0 0 25 0 1 0 806461786 49254400 9351 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9351 300 300 0 11725 0
vsize: 48100
[startup+590.071 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 15104 0 0 0 58955 53 0 0 25 0 1 0 806461786 49254400 9376 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9376 300 300 0 11725 0
vsize: 48100
[startup+600.072 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 15130 0 0 0 59955 53 0 0 25 0 1 0 806461786 49254400 9400 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9400 300 300 0 11725 0
vsize: 48100
[startup+610.073 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 15156 0 0 0 60955 54 0 0 25 0 1 0 806461786 49254400 9425 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9425 300 300 0 11725 0
vsize: 48100
[startup+620.074 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 15207 0 0 0 61955 54 0 0 25 0 1 0 806461786 49254400 9475 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9475 300 300 0 11725 0
vsize: 48100
[startup+630.074 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 15232 0 0 0 62955 55 0 0 25 0 1 0 806461786 49254400 9499 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9499 300 300 0 11725 0
vsize: 48100
[startup+640.074 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 15258 0 0 0 63954 55 0 0 25 0 1 0 806461786 49254400 9524 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9524 300 300 0 11725 0
vsize: 48100
[startup+650.074 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 15282 0 0 0 64954 55 0 0 25 0 1 0 806461786 49254400 9547 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9547 300 300 0 11725 0
vsize: 48100
[startup+660.076 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 15308 0 0 0 65954 56 0 0 25 0 1 0 806461786 49254400 9571 4294967295 134512640 135726644 3221224576 3221221664 134556188 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9571 300 300 0 11725 0
vsize: 48100
[startup+670.077 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 15332 0 0 0 66953 57 0 0 25 0 1 0 806461786 49254400 9594 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9594 300 300 0 11725 0
vsize: 48100
[startup+680.077 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 15385 0 0 0 67953 57 0 0 25 0 1 0 806461786 49389568 9646 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12058 9646 300 300 0 11758 0
vsize: 48232
[startup+690.077 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 15453 0 0 0 68952 58 0 0 25 0 1 0 806461786 49659904 9713 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12124 9713 300 300 0 11824 0
vsize: 48496
[startup+700.087 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 15520 0 0 0 69953 58 0 0 25 0 1 0 806461786 49795072 9779 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12157 9779 300 300 0 11857 0
vsize: 48628
[startup+710.095 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 15588 0 0 0 70953 59 0 0 25 0 1 0 806461786 49930240 9846 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12190 9846 300 300 0 11890 0
vsize: 48760
[startup+720.095 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 15654 0 0 0 71953 59 0 0 25 0 1 0 806461786 50200576 9911 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12256 9911 300 300 0 11956 0
vsize: 49024
[startup+730.096 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 15719 0 0 0 72953 59 0 0 25 0 1 0 806461786 50335744 9975 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12289 9975 300 300 0 11989 0
vsize: 49156
[startup+740.097 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 15785 0 0 0 73953 59 0 0 25 0 1 0 806461786 50470912 10040 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12322 10040 300 300 0 12022 0
vsize: 49288
[startup+750.097 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 15851 0 0 0 74952 60 0 0 25 0 1 0 806461786 50606080 10105 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12355 10105 300 300 0 12055 0
vsize: 49420
[startup+760.099 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 15916 0 0 0 75952 60 0 0 25 0 1 0 806461786 50876416 10169 4294967295 134512640 135726644 3221224576 3221221664 134556192 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12421 10169 300 300 0 12121 0
vsize: 49684
[startup+770.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 15980 0 0 0 76952 61 0 0 25 0 1 0 806461786 51011584 10232 4294967295 134512640 135726644 3221224576 3221221664 134556195 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12454 10232 300 300 0 12154 0
vsize: 49816
[startup+780.099 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 16043 0 0 0 77951 62 0 0 25 0 1 0 806461786 51146752 10294 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12487 10294 300 300 0 12187 0
vsize: 49948
[startup+790.102 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 16107 0 0 0 78951 62 0 0 25 0 1 0 806461786 51281920 10357 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12520 10357 300 300 0 12220 0
vsize: 50080
[startup+800.106 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 16170 0 0 0 79951 62 0 0 25 0 1 0 806461786 51552256 10419 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12586 10419 300 300 0 12286 0
vsize: 50344
[startup+810.107 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 16233 0 0 0 80951 63 0 0 25 0 1 0 806461786 51687424 10481 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12619 10481 300 300 0 12319 0
vsize: 50476
[startup+820.107 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 16295 0 0 0 81951 63 0 0 25 0 1 0 806461786 51822592 10542 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12652 10542 300 300 0 12352 0
vsize: 50608
[startup+830.107 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 16357 0 0 0 82950 64 0 0 25 0 1 0 806461786 51957760 10603 4294967295 134512640 135726644 3221224576 3221221664 134556187 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12685 10603 300 300 0 12385 0
vsize: 50740
[startup+840.108 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 16419 0 0 0 83950 64 0 0 25 0 1 0 806461786 52228096 10664 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12751 10664 300 300 0 12451 0
vsize: 51004
[startup+850.109 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 16481 0 0 0 84949 65 0 0 25 0 1 0 806461786 52363264 10725 4294967295 134512640 135726644 3221224576 3221221664 134556179 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12784 10725 300 300 0 12484 0
vsize: 51136
[startup+860.109 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 16542 0 0 0 85949 65 0 0 25 0 1 0 806461786 52498432 10785 4294967295 134512640 135726644 3221224576 3221221448 135281257 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12817 10785 300 300 0 12517 0
vsize: 51268
[startup+870.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 16603 0 0 0 86948 66 0 0 25 0 1 0 806461786 52633600 10845 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12850 10845 300 300 0 12550 0
vsize: 51400
[startup+880.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 16663 0 0 0 87948 66 0 0 25 0 1 0 806461786 52768768 10904 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12883 10904 300 300 0 12583 0
vsize: 51532
[startup+890.111 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 16724 0 0 0 88947 67 0 0 25 0 1 0 806461786 53039104 10964 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12949 10964 300 300 0 12649 0
vsize: 51796
[startup+900.112 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 16783 0 0 0 89947 67 0 0 25 0 1 0 806461786 53174272 11022 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12982 11022 300 300 0 12682 0
vsize: 51928
[startup+910.114 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 16842 0 0 0 90947 68 0 0 25 0 1 0 806461786 53309440 11080 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13015 11080 300 300 0 12715 0
vsize: 52060
[startup+920.114 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 16901 0 0 0 91946 69 0 0 25 0 1 0 806461786 53444608 11138 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13048 11138 300 300 0 12748 0
vsize: 52192
[startup+930.114 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 16959 0 0 0 92946 69 0 0 25 0 1 0 806461786 53579776 11195 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13081 11195 300 300 0 12781 0
vsize: 52324
[startup+940.115 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 17018 0 0 0 93946 70 0 0 25 0 1 0 806461786 53714944 11253 4294967295 134512640 135726644 3221224576 3221221664 134556187 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13114 11253 300 300 0 12814 0
vsize: 52456
[startup+950.116 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 17077 0 0 0 94944 70 0 0 25 0 1 0 806461786 53850112 11311 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13147 11311 300 300 0 12847 0
vsize: 52588
[startup+960.139 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 17134 0 0 0 95946 71 0 0 25 0 1 0 806461786 54120448 11367 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13213 11367 300 300 0 12913 0
vsize: 52852
[startup+970.139 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 17192 0 0 0 96946 71 0 0 25 0 1 0 806461786 54255616 11424 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13246 11424 300 300 0 12946 0
vsize: 52984
[startup+980.14 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 17250 0 0 0 97946 72 0 0 25 0 1 0 806461786 54390784 11481 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13279 11481 300 300 0 12979 0
vsize: 53116
[startup+990.14 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 17307 0 0 0 98945 72 0 0 25 0 1 0 806461786 54525952 11537 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13312 11537 300 300 0 13012 0
vsize: 53248
[startup+1000.14 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 17363 0 0 0 99945 73 0 0 25 0 1 0 806461786 54661120 11592 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13345 11592 300 300 0 13045 0
vsize: 53380
[startup+1009.2 s]
Raw data (loadavg): 1.03 0.99 0.91 1/53 30009
Raw data (stat): 30009 (pb2sat) R 30008 21152 21151 0 -1 0 17363 0 0 0 99945 73 0 0 25 0 1 0 806461786 54661120 11592 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13345 11592 300 300 0 13045 0
vsize: 0

Child ended because it received signal 11 (SIGSEGV)
Real time (s): 1009.2
CPU time (s): 1009.22
CPU user time (s): 1007.62
CPU system time (s): 1.60576
CPU usage (%): 100.003
Max. virtual memory (Kb): 53380
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####