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-dfl001.opb
MD5SUM	0613a0c4894703648f95007e06fadc66
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	187033
Biggest coefficient in the objective function	2150851580428025856
Number of bits for the biggest coefficient in the objective function	61
Sum of the numbers in the objective function	882752655849462562816
Number of bits of the sum of numbers in the objective function	70
Biggest number in a constraint	53687091200000000000
Number of bits of the biggest number in a constraint	66
Biggest sum of numbers in a constraint	4277072243466308681728
Number of bits of the biggest sum of numbers	72
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	3.46847
Number of variables	366703
Total number of constraints	6084
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	6084
Minimum length of a constraint	13
Maximum length of a constraint	6840
Trace number 35152

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc30 THE 2005-05-28 12:04:39 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24353 boxname=wulflinc30 idbench=825 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  0613a0c4894703648f95007e06fadc66  /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-20-10-dfl001.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-20-10-dfl001.opb
IDLAUNCH: 24353
/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:        802664 kB
Buffers:         34340 kB
Cached:         173600 kB
SwapCached:        752 kB
Active:          69604 kB
Inactive:       140456 kB
HighTotal:      131008 kB
HighFree:        20188 kB
LowTotal:       903652 kB
LowFree:        782476 kB
SwapTotal:     2097892 kB
SwapFree:      2096312 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5060 kB
Slab:            16292 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 12:21:19 (client local time) WITH STATUS 0 IN 999.285 SECONDS
stats: 24353 7 999.285 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): 1.00 0.96 0.91 2/54 723
Raw data (stat): 723 (runsolver) R 722 22056 22055 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 864656224 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.0003 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 723
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 2084 0 0 0 994 5 0 0 25 0 1 0 864656224 7684096 1411 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 1876 1411 300 300 0 1576 0
vsize: 7504
[startup+20.0007 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 723
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 2620 0 0 0 1992 7 0 0 25 0 1 0 864656224 9170944 1938 4294967295 134512640 135726644 3221224576 3221221664 134556179 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2239 1938 300 300 0 1939 0
vsize: 8956
[startup+30.0006 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 723
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 3836 0 0 0 2988 10 0 0 25 0 1 0 864656224 13410304 2442 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3274 2442 300 300 0 2974 0
vsize: 13096
[startup+40.0008 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 723
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 4059 0 0 0 3987 12 0 0 25 0 1 0 864656224 13950976 2660 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3406 2660 300 300 0 3106 0
vsize: 13624
[startup+50.0012 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 723
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 4319 0 0 0 4986 13 0 0 25 0 1 0 864656224 14626816 2915 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3571 2915 300 300 0 3271 0
vsize: 14284
[startup+60.001 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 723
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 4548 0 0 0 5985 14 0 0 25 0 1 0 864656224 15167488 3141 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3703 3141 300 300 0 3403 0
vsize: 14812
[startup+70.0022 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 723
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 4756 0 0 0 6984 15 0 0 25 0 1 0 864656224 15708160 3345 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3835 3345 300 300 0 3535 0
vsize: 15340
[startup+80.0026 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 725
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 4953 0 0 0 7984 16 0 0 25 0 1 0 864656224 16248832 3539 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3967 3539 300 300 0 3667 0
vsize: 15868
[startup+90.0025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 725
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 5137 0 0 0 8983 16 0 0 25 0 1 0 864656224 16789504 3720 4294967295 134512640 135726644 3221224576 3221221628 134603584 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4099 3720 300 300 0 3799 0
vsize: 16396
[startup+100.003 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 725
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 5313 0 0 0 9982 18 0 0 25 0 1 0 864656224 17195008 3893 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4198 3893 300 300 0 3898 0
vsize: 16792
[startup+110.003 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 725
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 5478 0 0 0 10981 18 0 0 25 0 1 0 864656224 17600512 4056 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4297 4056 300 300 0 3997 0
vsize: 17188
[startup+120.004 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 725
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 7483 0 0 0 11976 24 0 0 25 0 1 0 864656224 25403392 4648 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6202 4648 300 300 0 5902 0
vsize: 24808
[startup+130.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 725
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 7537 0 0 0 12977 24 0 0 25 0 1 0 864656224 25403392 4700 4294967295 134512640 135726644 3221224576 3221221664 134556188 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6202 4700 300 300 0 5902 0
vsize: 24808
[startup+140.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 725
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 7591 0 0 0 13977 24 0 0 25 0 1 0 864656224 25403392 4751 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6202 4751 300 300 0 5902 0
vsize: 24808
[startup+150.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 725
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 7664 0 0 0 14976 24 0 0 25 0 1 0 864656224 25403392 4822 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6202 4822 300 300 0 5902 0
vsize: 24808
[startup+160.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 725
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 7718 0 0 0 15976 25 0 0 25 0 1 0 864656224 25403392 4874 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6202 4874 300 300 0 5902 0
vsize: 24808
[startup+170.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 725
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 7824 0 0 0 16976 25 0 0 25 0 1 0 864656224 25673728 4978 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6268 4978 300 300 0 5968 0
vsize: 25072
[startup+180.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 725
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 7955 0 0 0 17976 25 0 0 25 0 1 0 864656224 26079232 5107 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6367 5107 300 300 0 6067 0
vsize: 25468
[startup+190.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 725
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 8083 0 0 0 18975 26 0 0 25 0 1 0 864656224 26349568 5233 4294967295 134512640 135726644 3221224576 3221221664 134556192 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6433 5233 300 300 0 6133 0
vsize: 25732
[startup+200.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 725
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 8207 0 0 0 19975 26 0 0 25 0 1 0 864656224 26755072 5355 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6532 5355 300 300 0 6232 0
vsize: 26128
[startup+210.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 725
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 8329 0 0 0 20975 27 0 0 25 0 1 0 864656224 27025408 5475 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6598 5475 300 300 0 6298 0
vsize: 26392
[startup+220.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 725
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 8448 0 0 0 21972 28 0 0 25 0 1 0 864656224 27295744 5592 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6664 5592 300 300 0 6364 0
vsize: 26656
[startup+230.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 725
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 8564 0 0 0 22972 29 0 0 25 0 1 0 864656224 27701248 5706 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6763 5706 300 300 0 6463 0
vsize: 27052
[startup+240.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 725
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 8678 0 0 0 23971 29 0 0 25 0 1 0 864656224 27971584 5818 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6829 5818 300 300 0 6529 0
vsize: 27316
[startup+250.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 725
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 8789 0 0 0 24971 30 0 0 25 0 1 0 864656224 28241920 5927 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6895 5927 300 300 0 6595 0
vsize: 27580
[startup+260.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 725
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 8899 0 0 0 25971 30 0 0 25 0 1 0 864656224 28512256 6035 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6961 6035 300 300 0 6661 0
vsize: 27844
[startup+270.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 725
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 9005 0 0 0 26971 31 0 0 25 0 1 0 864656224 28782592 6140 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7027 6140 300 300 0 6727 0
vsize: 28108
[startup+280.018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 725
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 9112 0 0 0 27970 31 0 0 25 0 1 0 864656224 29052928 6245 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7093 6245 300 300 0 6793 0
vsize: 28372
[startup+290.018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 725
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 9217 0 0 0 28969 31 0 0 25 0 1 0 864656224 29323264 6348 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7159 6348 300 300 0 6859 0
vsize: 28636
[startup+300.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 725
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 9317 0 0 0 29969 32 0 0 25 0 1 0 864656224 29593600 6447 4294967295 134512640 135726644 3221224576 3221221776 134576172 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7225 6447 300 300 0 6925 0
vsize: 28900
[startup+310.018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 725
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 9418 0 0 0 30969 32 0 0 25 0 1 0 864656224 29863936 6546 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7291 6546 300 300 0 6991 0
vsize: 29164
[startup+320.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 725
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 9517 0 0 0 31969 33 0 0 25 0 1 0 864656224 30134272 6643 4294967295 134512640 135726644 3221224576 3221221664 134556187 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7357 6643 300 300 0 7057 0
vsize: 29428
[startup+330.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 725
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 9614 0 0 0 32969 33 0 0 25 0 1 0 864656224 30404608 6739 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7423 6739 300 300 0 7123 0
vsize: 29692
[startup+340.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 725
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 9711 0 0 0 33968 33 0 0 25 0 1 0 864656224 30674944 6834 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7489 6834 300 300 0 7189 0
vsize: 29956
[startup+350.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 725
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 9805 0 0 0 34968 33 0 0 25 0 1 0 864656224 30945280 6927 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7555 6927 300 300 0 7255 0
vsize: 30220
[startup+360.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 725
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 9899 0 0 0 35968 34 0 0 25 0 1 0 864656224 31215616 7019 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7621 7019 300 300 0 7321 0
vsize: 30484
[startup+370.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 725
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 9991 0 0 0 36968 34 0 0 25 0 1 0 864656224 31485952 7110 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7687 7110 300 300 0 7387 0
vsize: 30748
[startup+380.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 725
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 10081 0 0 0 37968 34 0 0 25 0 1 0 864656224 31621120 7198 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7720 7198 300 300 0 7420 0
vsize: 30880
[startup+390.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 725
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 10171 0 0 0 38968 35 0 0 25 0 1 0 864656224 31891456 7287 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7786 7287 300 300 0 7486 0
vsize: 31144
[startup+400.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 725
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 10261 0 0 0 39967 35 0 0 25 0 1 0 864656224 32161792 7375 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7852 7375 300 300 0 7552 0
vsize: 31408
[startup+410.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 725
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 10350 0 0 0 40966 36 0 0 25 0 1 0 864656224 32432128 7463 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7918 7463 300 300 0 7618 0
vsize: 31672
[startup+420.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 725
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 10437 0 0 0 41966 37 0 0 25 0 1 0 864656224 32567296 7549 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7951 7549 300 300 0 7651 0
vsize: 31804
[startup+430.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 725
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 10525 0 0 0 42966 37 0 0 25 0 1 0 864656224 32837632 7635 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8017 7635 300 300 0 7717 0
vsize: 32068
[startup+440.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 725
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 10610 0 0 0 43965 38 0 0 25 0 1 0 864656224 33107968 7719 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8083 7719 300 300 0 7783 0
vsize: 32332
[startup+450.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 725
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 10695 0 0 0 44964 38 0 0 25 0 1 0 864656224 33243136 7802 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8116 7802 300 300 0 7816 0
vsize: 32464
[startup+460.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 725
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 10778 0 0 0 45964 39 0 0 25 0 1 0 864656224 33513472 7884 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8182 7884 300 300 0 7882 0
vsize: 32728
[startup+470.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 725
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 10861 0 0 0 46963 40 0 0 25 0 1 0 864656224 33783808 7966 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8248 7966 300 300 0 7948 0
vsize: 32992
[startup+480.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 725
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 10943 0 0 0 47963 41 0 0 25 0 1 0 864656224 33918976 8046 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8281 8046 300 300 0 7981 0
vsize: 33124
[startup+490.037 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 725
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 14826 0 0 0 48955 49 0 0 25 0 1 0 864656224 49254400 9110 4294967295 134512640 135726644 3221224576 3221221664 134556181 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9110 300 300 0 11725 0
vsize: 48100
[startup+500.037 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 725
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 14854 0 0 0 49955 50 0 0 25 0 1 0 864656224 49254400 9137 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9137 300 300 0 11725 0
vsize: 48100
[startup+510.038 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 725
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 14882 0 0 0 50954 50 0 0 25 0 1 0 864656224 49254400 9164 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9164 300 300 0 11725 0
vsize: 48100
[startup+520.038 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 725
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 14911 0 0 0 51953 51 0 0 25 0 1 0 864656224 49254400 9191 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9191 300 300 0 11725 0
vsize: 48100
[startup+530.039 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 725
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 14938 0 0 0 52953 52 0 0 25 0 1 0 864656224 49254400 9217 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9217 300 300 0 11725 0
vsize: 48100
[startup+540.039 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 725
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 14966 0 0 0 53953 52 0 0 25 0 1 0 864656224 49254400 9244 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9244 300 300 0 11725 0
vsize: 48100
[startup+550.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 725
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 14993 0 0 0 54952 52 0 0 25 0 1 0 864656224 49254400 9270 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9270 300 300 0 11725 0
vsize: 48100
[startup+560.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 725
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 15020 0 0 0 55952 53 0 0 25 0 1 0 864656224 49254400 9295 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9295 300 300 0 11725 0
vsize: 48100
[startup+570.042 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 725
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 15047 0 0 0 56951 54 0 0 25 0 1 0 864656224 49254400 9321 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9321 300 300 0 11725 0
vsize: 48100
[startup+580.042 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 725
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 15074 0 0 0 57951 54 0 0 25 0 1 0 864656224 49254400 9347 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9347 300 300 0 11725 0
vsize: 48100
[startup+590.043 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 725
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 15100 0 0 0 58950 55 0 0 25 0 1 0 864656224 49254400 9372 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9372 300 300 0 11725 0
vsize: 48100
[startup+600.045 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 725
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 15126 0 0 0 59950 55 0 0 25 0 1 0 864656224 49254400 9397 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9397 300 300 0 11725 0
vsize: 48100
[startup+610.046 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 725
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 15152 0 0 0 60950 56 0 0 25 0 1 0 864656224 49254400 9421 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9421 300 300 0 11725 0
vsize: 48100
[startup+620.046 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 725
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 15199 0 0 0 61950 56 0 0 25 0 1 0 864656224 49254400 9467 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9467 300 300 0 11725 0
vsize: 48100
[startup+630.047 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 725
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 15228 0 0 0 62950 56 0 0 25 0 1 0 864656224 49254400 9495 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9495 300 300 0 11725 0
vsize: 48100
[startup+640.047 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 725
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 15254 0 0 0 63949 56 0 0 25 0 1 0 864656224 49254400 9520 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9520 300 300 0 11725 0
vsize: 48100
[startup+650.047 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 725
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 15278 0 0 0 64950 57 0 0 25 0 1 0 864656224 49254400 9543 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9543 300 300 0 11725 0
vsize: 48100
[startup+660.048 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 725
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 15303 0 0 0 65950 57 0 0 25 0 1 0 864656224 49254400 9567 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9567 300 300 0 11725 0
vsize: 48100
[startup+670.049 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 725
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 15327 0 0 0 66950 57 0 0 25 0 1 0 864656224 49254400 9590 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9590 300 300 0 11725 0
vsize: 48100
[startup+680.049 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 725
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 15374 0 0 0 67950 57 0 0 25 0 1 0 864656224 49389568 9635 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12058 9635 300 300 0 11758 0
vsize: 48232
[startup+690.054 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 725
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 15441 0 0 0 68950 57 0 0 25 0 1 0 864656224 49524736 9701 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12091 9701 300 300 0 11791 0
vsize: 48364
[startup+700.062 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 725
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 15510 0 0 0 69951 57 0 0 25 0 1 0 864656224 49795072 9769 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12157 9769 300 300 0 11857 0
vsize: 48628
[startup+710.063 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 725
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 15576 0 0 0 70951 58 0 0 25 0 1 0 864656224 49930240 9834 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12190 9834 300 300 0 11890 0
vsize: 48760
[startup+720.063 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 725
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 15642 0 0 0 71951 58 0 0 25 0 1 0 864656224 50065408 9899 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12223 9899 300 300 0 11923 0
vsize: 48892
[startup+730.064 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 725
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 15708 0 0 0 72951 58 0 0 25 0 1 0 864656224 50335744 9964 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12289 9964 300 300 0 11989 0
vsize: 49156
[startup+740.064 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 725
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 15774 0 0 0 73951 58 0 0 25 0 1 0 864656224 50470912 10029 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12322 10029 300 300 0 12022 0
vsize: 49288
[startup+750.064 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 725
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 15839 0 0 0 74951 58 0 0 25 0 1 0 864656224 50606080 10093 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12355 10093 300 300 0 12055 0
vsize: 49420
[startup+760.065 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 725
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 15904 0 0 0 75951 58 0 0 25 0 1 0 864656224 50876416 10157 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12421 10157 300 300 0 12121 0
vsize: 49684
[startup+770.065 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 725
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 15969 0 0 0 76951 59 0 0 25 0 1 0 864656224 51011584 10221 4294967295 134512640 135726644 3221224576 3221221664 134556181 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12454 10221 300 300 0 12154 0
vsize: 49816
[startup+780.065 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 725
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 16032 0 0 0 77950 59 0 0 25 0 1 0 864656224 51146752 10283 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12487 10283 300 300 0 12187 0
vsize: 49948
[startup+790.065 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 725
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 16096 0 0 0 78950 59 0 0 25 0 1 0 864656224 51281920 10346 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12520 10346 300 300 0 12220 0
vsize: 50080
[startup+800.066 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 725
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 16160 0 0 0 79950 59 0 0 25 0 1 0 864656224 51552256 10409 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12586 10409 300 300 0 12286 0
vsize: 50344
[startup+810.066 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 725
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 16222 0 0 0 80950 60 0 0 25 0 1 0 864656224 51687424 10470 4294967295 134512640 135726644 3221224576 3221221504 134542271 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12619 10470 300 300 0 12319 0
vsize: 50476
[startup+820.067 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 725
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 16285 0 0 0 81950 60 0 0 25 0 1 0 864656224 51822592 10532 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12652 10532 300 300 0 12352 0
vsize: 50608
[startup+830.067 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 725
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 16347 0 0 0 82949 61 0 0 25 0 1 0 864656224 51957760 10593 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12685 10593 300 300 0 12385 0
vsize: 50740
[startup+840.068 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 725
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 16409 0 0 0 83949 61 0 0 25 0 1 0 864656224 52092928 10654 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12718 10654 300 300 0 12418 0
vsize: 50872
[startup+850.068 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 725
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 16470 0 0 0 84949 61 0 0 25 0 1 0 864656224 52363264 10714 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12784 10714 300 300 0 12484 0
vsize: 51136
[startup+860.069 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 725
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 16532 0 0 0 85950 61 0 0 25 0 1 0 864656224 52498432 10775 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12817 10775 300 300 0 12517 0
vsize: 51268
[startup+870.069 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 725
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 16591 0 0 0 86950 61 0 0 25 0 1 0 864656224 52633600 10833 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12850 10833 300 300 0 12550 0
vsize: 51400
[startup+880.071 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 725
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 16652 0 0 0 87949 61 0 0 25 0 1 0 864656224 52768768 10893 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12883 10893 300 300 0 12583 0
vsize: 51532
[startup+890.071 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 725
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 16711 0 0 0 88949 62 0 0 25 0 1 0 864656224 52903936 10951 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12916 10951 300 300 0 12616 0
vsize: 51664
[startup+900.072 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 725
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 16772 0 0 0 89949 62 0 0 25 0 1 0 864656224 53039104 11011 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12949 11011 300 300 0 12649 0
vsize: 51796
[startup+910.072 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 725
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 16831 0 0 0 90949 62 0 0 25 0 1 0 864656224 53309440 11069 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13015 11069 300 300 0 12715 0
vsize: 52060
[startup+920.072 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 725
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 16890 0 0 0 91949 62 0 0 25 0 1 0 864656224 53444608 11127 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13048 11127 300 300 0 12748 0
vsize: 52192
[startup+930.072 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 725
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 16948 0 0 0 92948 63 0 0 25 0 1 0 864656224 53579776 11184 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13081 11184 300 300 0 12781 0
vsize: 52324
[startup+940.072 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 725
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 17007 0 0 0 93948 63 0 0 25 0 1 0 864656224 53714944 11242 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13114 11242 300 300 0 12814 0
vsize: 52456
[startup+950.073 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 725
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 17065 0 0 0 94947 64 0 0 25 0 1 0 864656224 53850112 11299 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13147 11299 300 300 0 12847 0
vsize: 52588
[startup+960.072 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 725
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 17124 0 0 0 95946 64 0 0 25 0 1 0 864656224 53985280 11357 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13180 11357 300 300 0 12880 0
vsize: 52720
[startup+970.074 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 725
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 17181 0 0 0 96946 64 0 0 25 0 1 0 864656224 54120448 11413 4294967295 134512640 135726644 3221224576 3221221776 134574486 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13213 11413 300 300 0 12913 0
vsize: 52852
[startup+980.074 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 725
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 17239 0 0 0 97946 65 0 0 25 0 1 0 864656224 54390784 11470 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13279 11470 300 300 0 12979 0
vsize: 53116
[startup+990.074 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 725
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 17295 0 0 0 98946 65 0 0 25 0 1 0 864656224 54525952 11525 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13312 11525 300 300 0 13012 0
vsize: 53248
[startup+999.238 s]
Raw data (loadavg): 1.07 0.99 0.91 1/53 725
Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 17295 0 0 0 98946 65 0 0 25 0 1 0 864656224 54525952 11525 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13312 11525 300 300 0 13012 0
vsize: 0

Child ended because it received signal 11 (SIGSEGV)
Real time (s): 999.237
CPU time (s): 999.285
CPU user time (s): 997.798
CPU system time (s): 1.48677
CPU usage (%): 100.005
Max. virtual memory (Kb): 53248
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####