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/lptestset/fome/normalized-mps-v2-20-10-fome11.opb
MD5SUM	0bcc00bfe1019c444b568fb7268c455a
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	374066
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	1765505311698925125632
Number of bits of the sum of numbers in the objective function	71
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	6.86596
Number of variables	733406
Total number of constraints	12168
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	12168
Minimum length of a constraint	13
Maximum length of a constraint	6840
Trace number 35446

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-05-28 12:55:28 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24635 boxname=wulflinc5 idbench=1107 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  0bcc00bfe1019c444b568fb7268c455a  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-fome11.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-fome11.opb
IDLAUNCH: 24635
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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	: 2
cpu MHz		: 451.007
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:        603224 kB
Buffers:         34120 kB
Cached:         371708 kB
SwapCached:        608 kB
Active:          69148 kB
Inactive:       338784 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        602972 kB
SwapTotal:     2097136 kB
SwapFree:      2095612 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5132 kB
Slab:            17676 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 13:15:32 (client local time) WITH STATUS 0 IN 1201.21 SECONDS
stats: 24635 7 1201.21 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.92 0.94 0.91 1/54 19926
Raw data (stat): 19926 (runsolver) R 19925 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 806744871 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.0097 s]
Raw data (loadavg): 0.93 0.94 0.91 2/54 19926
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 1987 0 0 0 994 6 0 0 25 0 1 0 806744871 7413760 1315 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 1810 1315 300 300 0 1510 0
vsize: 7240
[startup+20.0125 s]
Raw data (loadavg): 0.94 0.94 0.91 2/54 19926
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 2576 0 0 0 1992 8 0 0 25 0 1 0 806744871 9035776 1895 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2206 1895 300 300 0 1906 0
vsize: 8824
[startup+30.0121 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 19926
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 3821 0 0 0 2990 10 0 0 25 0 1 0 806744871 13410304 2427 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3274 2427 300 300 0 2974 0
vsize: 13096
[startup+40.0352 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 19926
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 4015 0 0 0 3991 11 0 0 25 0 1 0 806744871 13815808 2616 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3373 2616 300 300 0 3073 0
vsize: 13492
[startup+50.0576 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 19926
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 4288 0 0 0 4992 12 0 0 25 0 1 0 806744871 14491648 2885 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3538 2885 300 300 0 3238 0
vsize: 14152
[startup+60.0589 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 19926
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 4529 0 0 0 5991 13 0 0 25 0 1 0 806744871 15167488 3122 4294967295 134512640 135726644 3221224576 3221221760 134606792 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3703 3122 300 300 0 3403 0
vsize: 14812
[startup+70.0594 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 19926
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 4747 0 0 0 6991 13 0 0 25 0 1 0 806744871 15708160 3337 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3835 3337 300 300 0 3535 0
vsize: 15340
[startup+80.0591 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 19926
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 4949 0 0 0 7991 14 0 0 25 0 1 0 806744871 16248832 3535 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3967 3535 300 300 0 3667 0
vsize: 15868
[startup+90.0603 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 19926
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 5139 0 0 0 8989 15 0 0 25 0 1 0 806744871 16789504 3722 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4099 3722 300 300 0 3799 0
vsize: 16396
[startup+100.061 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 19926
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 5320 0 0 0 9988 16 0 0 25 0 1 0 806744871 17195008 3900 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4198 3900 300 300 0 3898 0
vsize: 16792
[startup+110.061 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 19926
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 5488 0 0 0 10987 17 0 0 25 0 1 0 806744871 17600512 4066 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4297 4066 300 300 0 3997 0
vsize: 17188
[startup+120.061 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 19926
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 7487 0 0 0 11984 20 0 0 25 0 1 0 806744871 25403392 4652 4294967295 134512640 135726644 3221224576 3221221664 134556195 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6202 4652 300 300 0 5902 0
vsize: 24808
[startup+130.061 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 19926
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 7541 0 0 0 12984 20 0 0 25 0 1 0 806744871 25403392 4704 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6202 4704 300 300 0 5902 0
vsize: 24808
[startup+140.062 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 19926
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 7594 0 0 0 13984 21 0 0 25 0 1 0 806744871 25403392 4754 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6202 4754 300 300 0 5902 0
vsize: 24808
[startup+150.062 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 19926
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 7671 0 0 0 14984 21 0 0 25 0 1 0 806744871 25403392 4829 4294967295 134512640 135726644 3221224576 3221221664 134556195 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6202 4829 300 300 0 5902 0
vsize: 24808
[startup+160.065 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 19926
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 7720 0 0 0 15984 21 0 0 25 0 1 0 806744871 25403392 4876 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6202 4876 300 300 0 5902 0
vsize: 24808
[startup+170.073 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19926
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 7830 0 0 0 16984 22 0 0 25 0 1 0 806744871 25673728 4984 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6268 4984 300 300 0 5968 0
vsize: 25072
[startup+180.074 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19926
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 7959 0 0 0 17984 22 0 0 25 0 1 0 806744871 26079232 5111 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6367 5111 300 300 0 6067 0
vsize: 25468
[startup+190.074 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19926
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 8087 0 0 0 18984 23 0 0 25 0 1 0 806744871 26349568 5236 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6433 5236 300 300 0 6133 0
vsize: 25732
[startup+200.074 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19926
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 8211 0 0 0 19984 23 0 0 25 0 1 0 806744871 26755072 5358 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6532 5358 300 300 0 6232 0
vsize: 26128
[startup+210.075 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19926
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 8331 0 0 0 20983 23 0 0 25 0 1 0 806744871 27025408 5477 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6598 5477 300 300 0 6298 0
vsize: 26392
[startup+220.076 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19926
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 8449 0 0 0 21983 23 0 0 25 0 1 0 806744871 27295744 5593 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6664 5593 300 300 0 6364 0
vsize: 26656
[startup+230.075 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19926
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 8565 0 0 0 22983 24 0 0 25 0 1 0 806744871 27701248 5707 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6763 5707 300 300 0 6463 0
vsize: 27052
[startup+240.076 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19926
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 8678 0 0 0 23983 24 0 0 25 0 1 0 806744871 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.077 s]
Raw data (loadavg): 1.07 0.98 0.91 2/54 19926
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 8790 0 0 0 24983 25 0 0 25 0 1 0 806744871 28241920 5928 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6895 5928 300 300 0 6595 0
vsize: 27580
[startup+260.089 s]
Raw data (loadavg): 1.06 0.98 0.91 2/54 19926
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 8899 0 0 0 25983 25 0 0 25 0 1 0 806744871 28512256 6035 4294967295 134512640 135726644 3221224576 3221221664 134556171 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.089 s]
Raw data (loadavg): 1.05 0.98 0.91 2/54 19926
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 9006 0 0 0 26983 25 0 0 25 0 1 0 806744871 28782592 6141 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7027 6141 300 300 0 6727 0
vsize: 28108
[startup+280.089 s]
Raw data (loadavg): 1.12 1.00 0.92 3/57 19966
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 9112 0 0 0 27982 26 0 0 25 0 1 0 806744871 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.09 s]
Raw data (loadavg): 1.10 1.00 0.92 2/54 19979
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 9217 0 0 0 28982 26 0 0 25 0 1 0 806744871 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.089 s]
Raw data (loadavg): 1.09 1.00 0.92 2/54 19979
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 9318 0 0 0 29982 26 0 0 25 0 1 0 806744871 29593600 6448 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7225 6448 300 300 0 6925 0
vsize: 28900
[startup+310.09 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 19979
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 9418 0 0 0 30982 27 0 0 25 0 1 0 806744871 29863936 6546 4294967295 134512640 135726644 3221224576 3221221664 134556173 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.091 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 19979
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 9517 0 0 0 31982 27 0 0 25 0 1 0 806744871 30134272 6643 4294967295 134512640 135726644 3221224576 3221221664 134556173 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.091 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 19979
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 9614 0 0 0 32982 27 0 0 25 0 1 0 806744871 30404608 6739 4294967295 134512640 135726644 3221224576 3221221664 134556160 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.091 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 19979
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 9712 0 0 0 33981 27 0 0 25 0 1 0 806744871 30674944 6835 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7489 6835 300 300 0 7189 0
vsize: 29956
[startup+350.091 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 19981
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 9805 0 0 0 34981 28 0 0 25 0 1 0 806744871 30945280 6927 4294967295 134512640 135726644 3221224576 3221221664 134556160 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.092 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 19981
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 9899 0 0 0 35981 28 0 0 25 0 1 0 806744871 31215616 7019 4294967295 134512640 135726644 3221224576 3221221664 134556188 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.091 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 19981
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 9991 0 0 0 36981 28 0 0 25 0 1 0 806744871 31485952 7110 4294967295 134512640 135726644 3221224576 3221221664 134556171 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.091 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 19981
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 10081 0 0 0 37981 29 0 0 25 0 1 0 806744871 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.098 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 19981
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 10172 0 0 0 38981 29 0 0 25 0 1 0 806744871 31891456 7288 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7786 7288 300 300 0 7486 0
vsize: 31144
[startup+400.097 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 19981
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 10262 0 0 0 39980 29 0 0 25 0 1 0 806744871 32161792 7376 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7852 7376 300 300 0 7552 0
vsize: 31408
[startup+410.098 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 19981
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 10350 0 0 0 40980 29 0 0 25 0 1 0 806744871 32432128 7463 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7918 7463 300 300 0 7618 0
vsize: 31672
[startup+420.098 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 19981
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 10435 0 0 0 41980 30 0 0 25 0 1 0 806744871 32567296 7547 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7951 7547 300 300 0 7651 0
vsize: 31804
[startup+430.098 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 19981
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 10522 0 0 0 42980 30 0 0 25 0 1 0 806744871 32837632 7632 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8017 7632 300 300 0 7717 0
vsize: 32068
[startup+440.098 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 19981
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 10606 0 0 0 43979 31 0 0 25 0 1 0 806744871 33107968 7715 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8083 7715 300 300 0 7783 0
vsize: 32332
[startup+450.099 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19981
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 10691 0 0 0 44979 31 0 0 25 0 1 0 806744871 33243136 7798 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8116 7798 300 300 0 7816 0
vsize: 32464
[startup+460.099 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19981
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 10774 0 0 0 45979 31 0 0 25 0 1 0 806744871 33513472 7880 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8182 7880 300 300 0 7882 0
vsize: 32728
[startup+470.099 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19981
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 10855 0 0 0 46979 31 0 0 25 0 1 0 806744871 33783808 7960 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8248 7960 300 300 0 7948 0
vsize: 32992
[startup+480.099 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19981
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 10938 0 0 0 47979 32 0 0 25 0 1 0 806744871 33918976 8041 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8281 8041 300 300 0 7981 0
vsize: 33124
[startup+490.099 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19981
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 14824 0 0 0 48972 38 0 0 25 0 1 0 806744871 49254400 9108 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9108 300 300 0 11725 0
vsize: 48100
[startup+500.113 s]
Raw data (loadavg): 1.07 1.01 0.93 2/54 19981
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 14852 0 0 0 49974 38 0 0 25 0 1 0 806744871 49254400 9135 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9135 300 300 0 11725 0
vsize: 48100
[startup+510.118 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 19981
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 14880 0 0 0 50964 39 0 0 25 0 1 0 806744871 49254400 9162 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9162 300 300 0 11725 0
vsize: 48100
[startup+520.119 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 19981
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 14908 0 0 0 51963 39 0 0 25 0 1 0 806744871 49254400 9188 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9188 300 300 0 11725 0
vsize: 48100
[startup+530.119 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 19981
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 14936 0 0 0 52963 39 0 0 25 0 1 0 806744871 49254400 9215 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9215 300 300 0 11725 0
vsize: 48100
[startup+540.119 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 19981
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 14963 0 0 0 53963 39 0 0 25 0 1 0 806744871 49254400 9241 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9241 300 300 0 11725 0
vsize: 48100
[startup+550.119 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 19981
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 14989 0 0 0 54963 39 0 0 25 0 1 0 806744871 49254400 9266 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9266 300 300 0 11725 0
vsize: 48100
[startup+560.125 s]
Raw data (loadavg): 1.10 1.02 0.93 2/54 19981
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 15016 0 0 0 55964 39 0 0 25 0 1 0 806744871 49254400 9292 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9292 300 300 0 11725 0
vsize: 48100
[startup+570.126 s]
Raw data (loadavg): 1.08 1.02 0.93 2/54 19981
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 15043 0 0 0 56964 39 0 0 25 0 1 0 806744871 49254400 9317 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9317 300 300 0 11725 0
vsize: 48100
[startup+580.126 s]
Raw data (loadavg): 1.07 1.02 0.93 2/54 19981
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 15069 0 0 0 57963 40 0 0 25 0 1 0 806744871 49254400 9342 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9342 300 300 0 11725 0
vsize: 48100
[startup+590.126 s]
Raw data (loadavg): 1.06 1.02 0.93 2/54 19981
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 15095 0 0 0 58963 40 0 0 25 0 1 0 806744871 49254400 9367 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9367 300 300 0 11725 0
vsize: 48100
[startup+600.126 s]
Raw data (loadavg): 1.05 1.02 0.93 2/54 19983
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 15121 0 0 0 59963 40 0 0 25 0 1 0 806744871 49254400 9392 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9392 300 300 0 11725 0
vsize: 48100
[startup+610.127 s]
Raw data (loadavg): 1.04 1.02 0.93 2/54 19983
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 15146 0 0 0 60963 40 0 0 25 0 1 0 806744871 49254400 9416 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9416 300 300 0 11725 0
vsize: 48100
[startup+620.127 s]
Raw data (loadavg): 1.03 1.02 0.93 2/54 19983
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 15188 0 0 0 61963 41 0 0 25 0 1 0 806744871 49254400 9456 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9456 300 300 0 11725 0
vsize: 48100
[startup+630.127 s]
Raw data (loadavg): 1.03 1.02 0.93 2/54 19983
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 15223 0 0 0 62963 41 0 0 25 0 1 0 806744871 49254400 9490 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9490 300 300 0 11725 0
vsize: 48100
[startup+640.128 s]
Raw data (loadavg): 1.02 1.02 0.93 2/54 19983
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 15249 0 0 0 63962 41 0 0 25 0 1 0 806744871 49254400 9515 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9515 300 300 0 11725 0
vsize: 48100
[startup+650.127 s]
Raw data (loadavg): 1.02 1.02 0.93 2/54 19983
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 15274 0 0 0 64962 41 0 0 25 0 1 0 806744871 49254400 9539 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9539 300 300 0 11725 0
vsize: 48100
[startup+660.128 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 19983
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 15298 0 0 0 65962 41 0 0 25 0 1 0 806744871 49254400 9562 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9562 300 300 0 11725 0
vsize: 48100
[startup+670.128 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 19983
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 15323 0 0 0 66962 42 0 0 25 0 1 0 806744871 49254400 9586 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9586 300 300 0 11725 0
vsize: 48100
[startup+680.128 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 19983
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 15360 0 0 0 67962 42 0 0 25 0 1 0 806744871 49389568 9622 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12058 9622 300 300 0 11758 0
vsize: 48232
[startup+690.128 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 19983
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 15427 0 0 0 68962 42 0 0 25 0 1 0 806744871 49524736 9688 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12091 9688 300 300 0 11791 0
vsize: 48364
[startup+700.138 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 19983
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 15497 0 0 0 69962 42 0 0 25 0 1 0 806744871 49795072 9756 4294967295 134512640 135726644 3221224576 3221221424 134810231 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12157 9756 300 300 0 11857 0
vsize: 48628
[startup+710.138 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 19983
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 15563 0 0 0 70962 43 0 0 25 0 1 0 806744871 49930240 9821 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12190 9821 300 300 0 11890 0
vsize: 48760
[startup+720.139 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 19983
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 15630 0 0 0 71962 43 0 0 25 0 1 0 806744871 50065408 9887 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12223 9887 300 300 0 11923 0
vsize: 48892
[startup+730.139 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 19983
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 15697 0 0 0 72962 43 0 0 25 0 1 0 806744871 50200576 9953 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12256 9953 300 300 0 11956 0
vsize: 49024
[startup+740.139 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 19983
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 15762 0 0 0 73962 43 0 0 25 0 1 0 806744871 50470912 10017 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12322 10017 300 300 0 12022 0
vsize: 49288
[startup+750.139 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 19983
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 15827 0 0 0 74962 43 0 0 25 0 1 0 806744871 50606080 10081 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12355 10081 300 300 0 12055 0
vsize: 49420
[startup+760.14 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19983
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 15892 0 0 0 75962 43 0 0 25 0 1 0 806744871 50741248 10145 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12388 10145 300 300 0 12088 0
vsize: 49552
[startup+770.141 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19983
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 15956 0 0 0 76962 44 0 0 25 0 1 0 806744871 51011584 10208 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12454 10208 300 300 0 12154 0
vsize: 49816
[startup+780.14 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19983
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 16021 0 0 0 77962 44 0 0 25 0 1 0 806744871 51146752 10272 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12487 10272 300 300 0 12187 0
vsize: 49948
[startup+790.14 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19983
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 16084 0 0 0 78962 44 0 0 25 0 1 0 806744871 51281920 10334 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12520 10334 300 300 0 12220 0
vsize: 50080
[startup+800.141 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19983
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 16148 0 0 0 79962 44 0 0 25 0 1 0 806744871 51417088 10397 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12553 10397 300 300 0 12253 0
vsize: 50212
[startup+810.142 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19983
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 16211 0 0 0 80962 44 0 0 25 0 1 0 806744871 51687424 10459 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12619 10459 300 300 0 12319 0
vsize: 50476
[startup+820.143 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19983
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 16273 0 0 0 81962 45 0 0 25 0 1 0 806744871 51822592 10520 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12652 10520 300 300 0 12352 0
vsize: 50608
[startup+830.143 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19983
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 16336 0 0 0 82961 45 0 0 25 0 1 0 806744871 51957760 10582 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12685 10582 300 300 0 12385 0
vsize: 50740
[startup+840.144 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19983
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 16398 0 0 0 83961 45 0 0 25 0 1 0 806744871 52092928 10643 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12718 10643 300 300 0 12418 0
vsize: 50872
[startup+850.144 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19983
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 16459 0 0 0 84961 46 0 0 25 0 1 0 806744871 52228096 10703 4294967295 134512640 135726644 3221224576 3221221664 134556181 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12751 10703 300 300 0 12451 0
vsize: 51004
[startup+860.145 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19983
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 16521 0 0 0 85961 46 0 0 25 0 1 0 806744871 52498432 10764 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12817 10764 300 300 0 12517 0
vsize: 51268
[startup+870.154 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19983
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 16581 0 0 0 86962 46 0 0 25 0 1 0 806744871 52633600 10823 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12850 10823 300 300 0 12550 0
vsize: 51400
[startup+880.154 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19983
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 16642 0 0 0 87962 46 0 0 25 0 1 0 806744871 52768768 10883 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12883 10883 300 300 0 12583 0
vsize: 51532
[startup+890.155 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19983
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 16703 0 0 0 88961 47 0 0 25 0 1 0 806744871 52903936 10943 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12916 10943 300 300 0 12616 0
vsize: 51664
[startup+900.155 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19983
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 16761 0 0 0 89961 47 0 0 25 0 1 0 806744871 53039104 11000 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12949 11000 300 300 0 12649 0
vsize: 51796
[startup+910.156 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19983
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 16820 0 0 0 90961 47 0 0 25 0 1 0 806744871 53174272 11058 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12982 11058 300 300 0 12682 0
vsize: 51928
[startup+920.157 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19983
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 16880 0 0 0 91961 47 0 0 25 0 1 0 806744871 53444608 11117 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13048 11117 300 300 0 12748 0
vsize: 52192
[startup+930.158 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19983
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 16939 0 0 0 92961 47 0 0 25 0 1 0 806744871 53579776 11175 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13081 11175 300 300 0 12781 0
vsize: 52324
[startup+940.159 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19983
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 16998 0 0 0 93961 47 0 0 25 0 1 0 806744871 53714944 11233 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13114 11233 300 300 0 12814 0
vsize: 52456
[startup+950.158 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19983
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 17056 0 0 0 94960 48 0 0 25 0 1 0 806744871 53850112 11290 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13147 11290 300 300 0 12847 0
vsize: 52588
[startup+960.159 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19983
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 17113 0 0 0 95960 48 0 0 25 0 1 0 806744871 53985280 11346 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13180 11346 300 300 0 12880 0
vsize: 52720
[startup+970.16 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19983
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 17171 0 0 0 96960 48 0 0 25 0 1 0 806744871 54120448 11403 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13213 11403 300 300 0 12913 0
vsize: 52852
[startup+980.159 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19983
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 17227 0 0 0 97960 49 0 0 25 0 1 0 806744871 54255616 11459 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13246 11459 300 300 0 12946 0
vsize: 52984
[startup+990.159 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19983
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 17285 0 0 0 98960 49 0 0 25 0 1 0 806744871 54525952 11516 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13312 11516 300 300 0 13012 0
vsize: 53248
[startup+1000.16 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19983
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 17342 0 0 0 99960 49 0 0 25 0 1 0 806744871 54661120 11572 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13345 11572 300 300 0 13045 0
vsize: 53380
[startup+1010.16 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19983
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 17398 0 0 0 100959 50 0 0 25 0 1 0 806744871 54796288 11627 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13378 11627 300 300 0 13078 0
vsize: 53512
[startup+1020.16 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19983
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 17455 0 0 0 101958 50 0 0 25 0 1 0 806744871 54931456 11683 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13411 11683 300 300 0 13111 0
vsize: 53644
[startup+1030.16 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19983
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 17511 0 0 0 102958 51 0 0 25 0 1 0 806744871 55066624 11738 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13444 11738 300 300 0 13144 0
vsize: 53776
[startup+1040.16 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19983
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 17566 0 0 0 103958 51 0 0 25 0 1 0 806744871 55201792 11792 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13477 11792 300 300 0 13177 0
vsize: 53908
[startup+1050.17 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19983
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 17622 0 0 0 104958 51 0 0 25 0 1 0 806744871 55336960 11847 4294967295 134512640 135726644 3221224576 3221221776 134574426 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13510 11847 300 300 0 13210 0
vsize: 54040
[startup+1060.17 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19983
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 17677 0 0 0 105958 52 0 0 25 0 1 0 806744871 55472128 11901 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13543 11901 300 300 0 13243 0
vsize: 54172
[startup+1070.17 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19983
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 17732 0 0 0 106958 52 0 0 25 0 1 0 806744871 55607296 11955 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13576 11955 300 300 0 13276 0
vsize: 54304
[startup+1080.17 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19983
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 17785 0 0 0 107958 52 0 0 25 0 1 0 806744871 55742464 12008 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13609 12008 300 300 0 13309 0
vsize: 54436
[startup+1090.17 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19983
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 17840 0 0 0 108958 52 0 0 25 0 1 0 806744871 55877632 12062 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13642 12062 300 300 0 13342 0
vsize: 54568
[startup+1100.17 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19983
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 17894 0 0 0 109958 52 0 0 25 0 1 0 806744871 56012800 12115 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13675 12115 300 300 0 13375 0
vsize: 54700
[startup+1110.17 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19983
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 17948 0 0 0 110958 53 0 0 25 0 1 0 806744871 56147968 12168 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13708 12168 300 300 0 13408 0
vsize: 54832
[startup+1120.17 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19983
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 18002 0 0 0 111958 53 0 0 25 0 1 0 806744871 56418304 12221 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13774 12221 300 300 0 13474 0
vsize: 55096
[startup+1130.17 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19983
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 18056 0 0 0 112957 53 0 0 25 0 1 0 806744871 56553472 12274 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13807 12274 300 300 0 13507 0
vsize: 55228
[startup+1140.17 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19983
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 18108 0 0 0 113957 53 0 0 25 0 1 0 806744871 56688640 12325 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13840 12325 300 300 0 13540 0
vsize: 55360
[startup+1150.17 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19983
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 18163 0 0 0 114957 53 0 0 25 0 1 0 806744871 56823808 12379 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13873 12379 300 300 0 13573 0
vsize: 55492
[startup+1160.17 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19983
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 18214 0 0 0 115956 54 0 0 25 0 1 0 806744871 56958976 12430 4294967295 134512640 135726644 3221224576 3221221664 134556179 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13906 12430 300 300 0 13606 0
vsize: 55624
[startup+1170.17 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19983
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 18268 0 0 0 116955 55 0 0 25 0 1 0 806744871 57094144 12483 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13939 12483 300 300 0 13639 0
vsize: 55756
[startup+1180.17 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19983
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 18320 0 0 0 117954 55 0 0 25 0 1 0 806744871 57229312 12534 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13972 12534 300 300 0 13672 0
vsize: 55888
[startup+1190.17 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19983
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 18373 0 0 0 118954 56 0 0 25 0 1 0 806744871 57364480 12586 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14005 12586 300 300 0 13705 0
vsize: 56020
[startup+1200.17 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19983
Raw data (stat): 19926 (pb2sat) R 19925 7266 7265 0 -1 0 18425 0 0 0 119953 56 0 0 25 0 1 0 806744871 57499648 12637 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14038 12637 300 300 0 13738 0
vsize: 56152
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.3 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 19983
Raw data (stat): 19926 (pb2sat) Z 19925 7266 7265 0 -1 12 18428 0 0 0 120061 58 0 0 24 0 1 0 806744871 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 0
Real time (s): 1201.3
CPU time (s): 1201.21
CPU user time (s): 1200.62
CPU system time (s): 0.58891
CPU usage (%): 99.9926
Max. virtual memory (Kb): 56152
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####