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-13-7/plato.asu.edu/pub/lptestset/fome/normalized-mps-v2-13-7-fome11.opb
MD5SUM	6ffc5f91e7ad7c6593868bb0012c33e4
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	249428
Biggest coefficient in the objective function	2100440996511744
Number of bits for the biggest coefficient in the objective function	51
Sum of the numbers in the objective function	1724124944012305800
Number of bits of the sum of numbers in the objective function	61
Biggest number in a constraint	52428800000000000
Number of bits of the biggest number in a constraint	56
Biggest sum of numbers in a constraint	4176904799999651840
Number of bits of the biggest sum of numbers	62
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	4.54331
Number of variables	488988
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	10
Maximum length of a constraint	4560
Trace number 35792

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc28 THE 2005-05-28 13:55:10 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25019 boxname=wulflinc28 idbench=1491 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  6ffc5f91e7ad7c6593868bb0012c33e4  /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-13-7-fome11.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-13-7-fome11.opb
IDLAUNCH: 25019
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
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.077
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:        670752 kB
Buffers:         37508 kB
Cached:         283964 kB
SwapCached:        780 kB
Active:          53724 kB
Inactive:       287812 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        670500 kB
SwapTotal:     2097640 kB
SwapFree:      2096164 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5460 kB
Slab:            16504 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 14:15:14 (client local time) WITH STATUS 0 IN 1201.3 SECONDS
stats: 25019 7 1201.3 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.93 0.96 0.91 2/54 7964
Raw data (stat): 7964 (runsolver) R 7963 24821 24820 0 -1 64 8 0 0 0 0 0 0 0 20 0 1 0 865330953 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.0048 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 2007 0 0 0 994 5 0 0 25 0 1 0 865330953 7548928 1335 4294967295 134512640 135726644 3221224576 3221221664 134556192 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 1843 1335 300 300 0 1543 0
vsize: 7372
[startup+20.0098 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 2593 0 0 0 1994 6 0 0 25 0 1 0 865330953 9035776 1911 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2206 1911 300 300 0 1906 0
vsize: 8824
[startup+30.0118 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 3828 0 0 0 2992 9 0 0 25 0 1 0 865330953 13410304 2434 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3274 2434 300 300 0 2974 0
vsize: 13096
[startup+40.0289 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 4033 0 0 0 3992 10 0 0 25 0 1 0 865330953 13815808 2634 4294967295 134512640 135726644 3221224576 3221220976 135278614 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3373 2634 300 300 0 3073 0
vsize: 13492
[startup+50.0431 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 4297 0 0 0 4993 11 0 0 25 0 1 0 865330953 14491648 2894 4294967295 134512640 135726644 3221224576 3221221664 134556179 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3538 2894 300 300 0 3238 0
vsize: 14152
[startup+60.0435 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 4533 0 0 0 5992 12 0 0 25 0 1 0 865330953 15167488 3126 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3703 3126 300 300 0 3403 0
vsize: 14812
[startup+70.0433 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 4747 0 0 0 6990 13 0 0 25 0 1 0 865330953 15708160 3337 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3835 3337 300 300 0 3535 0
vsize: 15340
[startup+80.0462 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 4951 0 0 0 7990 14 0 0 25 0 1 0 865330953 16248832 3537 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3967 3537 300 300 0 3667 0
vsize: 15868
[startup+90.0465 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 5138 0 0 0 8989 15 0 0 25 0 1 0 865330953 16789504 3721 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4099 3721 300 300 0 3799 0
vsize: 16396
[startup+100.046 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 5315 0 0 0 9988 16 0 0 25 0 1 0 865330953 17195008 3895 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4198 3895 300 300 0 3898 0
vsize: 16792
[startup+110.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 5484 0 0 0 10987 18 0 0 25 0 1 0 865330953 17600512 4062 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4297 4062 300 300 0 3997 0
vsize: 17188
[startup+120.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 7487 0 0 0 11982 22 0 0 25 0 1 0 865330953 25403392 4652 4294967295 134512640 135726644 3221224576 3221221664 134556160 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.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 7541 0 0 0 12982 23 0 0 25 0 1 0 865330953 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.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 7595 0 0 0 13981 23 0 0 25 0 1 0 865330953 25403392 4755 4294967295 134512640 135726644 3221224576 3221221664 134556187 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6202 4755 300 300 0 5902 0
vsize: 24808
[startup+150.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 7673 0 0 0 14981 24 0 0 25 0 1 0 865330953 25403392 4831 4294967295 134512640 135726644 3221224576 3221221664 134556187 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6202 4831 300 300 0 5902 0
vsize: 24808
[startup+160.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 7722 0 0 0 15982 25 0 0 25 0 1 0 865330953 25403392 4878 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6202 4878 300 300 0 5902 0
vsize: 24808
[startup+170.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 7839 0 0 0 16982 25 0 0 25 0 1 0 865330953 25808896 4992 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6301 4992 300 300 0 6001 0
vsize: 25204
[startup+180.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 7969 0 0 0 17981 25 0 0 25 0 1 0 865330953 26079232 5120 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6367 5120 300 300 0 6067 0
vsize: 25468
[startup+190.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 8097 0 0 0 18980 26 0 0 25 0 1 0 865330953 26484736 5246 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6466 5246 300 300 0 6166 0
vsize: 25864
[startup+200.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 8221 0 0 0 19980 27 0 0 25 0 1 0 865330953 26755072 5368 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6532 5368 300 300 0 6232 0
vsize: 26128
[startup+210.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 8344 0 0 0 20979 28 0 0 25 0 1 0 865330953 27025408 5489 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6598 5489 300 300 0 6298 0
vsize: 26392
[startup+220.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 8463 0 0 0 21979 28 0 0 25 0 1 0 865330953 27430912 5606 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6697 5606 300 300 0 6397 0
vsize: 26788
[startup+230.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 8580 0 0 0 22979 29 0 0 25 0 1 0 865330953 27701248 5722 4294967295 134512640 135726644 3221224576 3221221888 134567991 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6763 5722 300 300 0 6463 0
vsize: 27052
[startup+240.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 8694 0 0 0 23978 29 0 0 25 0 1 0 865330953 27971584 5834 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6829 5834 300 300 0 6529 0
vsize: 27316
[startup+250.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 8807 0 0 0 24977 30 0 0 25 0 1 0 865330953 28241920 5945 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6895 5945 300 300 0 6595 0
vsize: 27580
[startup+260.068 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 8917 0 0 0 25977 31 0 0 25 0 1 0 865330953 28647424 6053 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6994 6053 300 300 0 6694 0
vsize: 27976
[startup+270.068 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 9026 0 0 0 26976 32 0 0 25 0 1 0 865330953 28917760 6160 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7060 6160 300 300 0 6760 0
vsize: 28240
[startup+280.068 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 9131 0 0 0 27976 33 0 0 25 0 1 0 865330953 29188096 6264 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7126 6264 300 300 0 6826 0
vsize: 28504
[startup+290.069 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 9236 0 0 0 28975 34 0 0 25 0 1 0 865330953 29458432 6367 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7192 6367 300 300 0 6892 0
vsize: 28768
[startup+300.068 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 8017
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 9339 0 0 0 29970 39 0 0 25 0 1 0 865330953 29728768 6468 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7258 6468 300 300 0 6958 0
vsize: 29032
[startup+310.069 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 8017
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 9438 0 0 0 30969 40 0 0 25 0 1 0 865330953 29999104 6566 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7324 6566 300 300 0 7024 0
vsize: 29296
[startup+320.07 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 8017
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 9538 0 0 0 31969 40 0 0 25 0 1 0 865330953 30269440 6664 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7390 6664 300 300 0 7090 0
vsize: 29560
[startup+330.069 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 8017
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 9637 0 0 0 32969 40 0 0 25 0 1 0 865330953 30539776 6761 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7456 6761 300 300 0 7156 0
vsize: 29824
[startup+340.07 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 8017
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 9732 0 0 0 33968 41 0 0 25 0 1 0 865330953 30810112 6855 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7522 6855 300 300 0 7222 0
vsize: 30088
[startup+350.069 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 8017
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 9828 0 0 0 34967 41 0 0 25 0 1 0 865330953 30945280 6949 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7555 6949 300 300 0 7255 0
vsize: 30220
[startup+360.07 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 8019
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 9921 0 0 0 35967 42 0 0 25 0 1 0 865330953 31215616 7041 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7621 7041 300 300 0 7321 0
vsize: 30484
[startup+370.07 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 8019
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 10015 0 0 0 36967 42 0 0 25 0 1 0 865330953 31485952 7133 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7687 7133 300 300 0 7387 0
vsize: 30748
[startup+380.069 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 8019
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 10106 0 0 0 37967 42 0 0 25 0 1 0 865330953 31756288 7223 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7753 7223 300 300 0 7453 0
vsize: 31012
[startup+390.07 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 8019
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 10198 0 0 0 38967 42 0 0 25 0 1 0 865330953 32026624 7313 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7819 7313 300 300 0 7519 0
vsize: 31276
[startup+400.07 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 8019
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 10286 0 0 0 39966 43 0 0 25 0 1 0 865330953 32161792 7400 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7852 7400 300 300 0 7552 0
vsize: 31408
[startup+410.07 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 8019
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 10373 0 0 0 40966 43 0 0 25 0 1 0 865330953 32432128 7486 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7918 7486 300 300 0 7618 0
vsize: 31672
[startup+420.071 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 8019
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 10462 0 0 0 41966 44 0 0 25 0 1 0 865330953 32702464 7573 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7984 7573 300 300 0 7684 0
vsize: 31936
[startup+430.071 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8019
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 10548 0 0 0 42966 44 0 0 25 0 1 0 865330953 32972800 7658 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8050 7658 300 300 0 7750 0
vsize: 32200
[startup+440.071 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8019
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 10634 0 0 0 43966 44 0 0 25 0 1 0 865330953 33107968 7742 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8083 7742 300 300 0 7783 0
vsize: 32332
[startup+450.071 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8019
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 10719 0 0 0 44965 44 0 0 25 0 1 0 865330953 33378304 7826 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8149 7826 300 300 0 7849 0
vsize: 32596
[startup+460.072 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8019
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 10801 0 0 0 45965 45 0 0 25 0 1 0 865330953 33513472 7907 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8182 7907 300 300 0 7882 0
vsize: 32728
[startup+470.073 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8019
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 10884 0 0 0 46965 45 0 0 25 0 1 0 865330953 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.072 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8019
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 11683 0 0 0 47964 46 0 0 25 0 1 0 865330953 52695040 8758 4294967295 134512640 135726644 3221224576 3221221120 134771640 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12865 8761 300 300 0 12565 0
vsize: 51460
[startup+490.073 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8019
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 14833 0 0 0 48959 51 0 0 25 0 1 0 865330953 49254400 9117 4294967295 134512640 135726644 3221224576 3221221664 134556171 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.073 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8019
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 14864 0 0 0 49959 51 0 0 25 0 1 0 865330953 49254400 9146 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9146 300 300 0 11725 0
vsize: 48100
[startup+510.073 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8019
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 14891 0 0 0 50959 51 0 0 25 0 1 0 865330953 49254400 9172 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9172 300 300 0 11725 0
vsize: 48100
[startup+520.073 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8019
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 14919 0 0 0 51959 52 0 0 25 0 1 0 865330953 49254400 9199 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9199 300 300 0 11725 0
vsize: 48100
[startup+530.073 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8019
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 14946 0 0 0 52958 52 0 0 25 0 1 0 865330953 49254400 9225 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9225 300 300 0 11725 0
vsize: 48100
[startup+540.074 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8019
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 14974 0 0 0 53959 52 0 0 25 0 1 0 865330953 49254400 9251 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9251 300 300 0 11725 0
vsize: 48100
[startup+550.074 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8019
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 15001 0 0 0 54959 52 0 0 25 0 1 0 865330953 49254400 9277 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9277 300 300 0 11725 0
vsize: 48100
[startup+560.075 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8019
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 15028 0 0 0 55959 52 0 0 25 0 1 0 865330953 49254400 9303 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9303 300 300 0 11725 0
vsize: 48100
[startup+570.075 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8019
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 15055 0 0 0 56959 52 0 0 25 0 1 0 865330953 49254400 9329 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9329 300 300 0 11725 0
vsize: 48100
[startup+580.075 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8019
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 15080 0 0 0 57959 52 0 0 25 0 1 0 865330953 49254400 9353 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9353 300 300 0 11725 0
vsize: 48100
[startup+590.076 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8019
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 15107 0 0 0 58958 53 0 0 25 0 1 0 865330953 49254400 9378 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9378 300 300 0 11725 0
vsize: 48100
[startup+600.076 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8021
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 15134 0 0 0 59958 53 0 0 25 0 1 0 865330953 49254400 9404 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9404 300 300 0 11725 0
vsize: 48100
[startup+610.077 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8021
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 15161 0 0 0 60958 53 0 0 25 0 1 0 865330953 49254400 9430 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9430 300 300 0 11725 0
vsize: 48100
[startup+620.077 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8021
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 15210 0 0 0 61958 53 0 0 25 0 1 0 865330953 49254400 9478 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9478 300 300 0 11725 0
vsize: 48100
[startup+630.076 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8021
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 15236 0 0 0 62958 54 0 0 25 0 1 0 865330953 49254400 9503 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9503 300 300 0 11725 0
vsize: 48100
[startup+640.077 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8021
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 15260 0 0 0 63958 54 0 0 25 0 1 0 865330953 49254400 9526 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9526 300 300 0 11725 0
vsize: 48100
[startup+650.077 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8021
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 15287 0 0 0 64957 54 0 0 25 0 1 0 865330953 49254400 9551 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9551 300 300 0 11725 0
vsize: 48100
[startup+660.085 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8021
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 15311 0 0 0 65958 54 0 0 25 0 1 0 865330953 49254400 9574 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9574 300 300 0 11725 0
vsize: 48100
[startup+670.089 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8021
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 15336 0 0 0 66958 55 0 0 25 0 1 0 865330953 49254400 9598 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9598 300 300 0 11725 0
vsize: 48100
[startup+680.089 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8021
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 15397 0 0 0 67958 55 0 0 25 0 1 0 865330953 49524736 9658 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12091 9658 300 300 0 11791 0
vsize: 48364
[startup+690.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8021
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 15467 0 0 0 68958 55 0 0 25 0 1 0 865330953 49659904 9727 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12124 9727 300 300 0 11824 0
vsize: 48496
[startup+700.091 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8021
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 15533 0 0 0 69957 56 0 0 25 0 1 0 865330953 49795072 9792 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12157 9792 300 300 0 11857 0
vsize: 48628
[startup+710.091 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8021
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 15600 0 0 0 70956 57 0 0 25 0 1 0 865330953 50065408 9858 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12223 9858 300 300 0 11923 0
vsize: 48892
[startup+720.092 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8021
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 15668 0 0 0 71956 57 0 0 25 0 1 0 865330953 50200576 9925 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12256 9925 300 300 0 11956 0
vsize: 49024
[startup+730.091 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8021
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 15734 0 0 0 72956 57 0 0 25 0 1 0 865330953 50335744 9990 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12289 9990 300 300 0 11989 0
vsize: 49156
[startup+740.097 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8021
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 15801 0 0 0 73956 58 0 0 25 0 1 0 865330953 50606080 10056 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12355 10056 300 300 0 12055 0
vsize: 49420
[startup+750.097 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8021
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 15868 0 0 0 74956 58 0 0 25 0 1 0 865330953 50741248 10121 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12388 10121 300 300 0 12088 0
vsize: 49552
[startup+760.098 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8021
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 15933 0 0 0 75956 59 0 0 25 0 1 0 865330953 50876416 10185 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12421 10185 300 300 0 12121 0
vsize: 49684
[startup+770.099 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8021
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 15997 0 0 0 76955 59 0 0 25 0 1 0 865330953 51011584 10248 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12454 10248 300 300 0 12154 0
vsize: 49816
[startup+780.099 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8021
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 16061 0 0 0 77954 59 0 0 25 0 1 0 865330953 51281920 10311 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12520 10311 300 300 0 12220 0
vsize: 50080
[startup+790.098 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8021
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 16126 0 0 0 78954 60 0 0 25 0 1 0 865330953 51417088 10375 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12553 10375 300 300 0 12253 0
vsize: 50212
[startup+800.098 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8021
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 16189 0 0 0 79954 60 0 0 25 0 1 0 865330953 51552256 10437 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12586 10437 300 300 0 12286 0
vsize: 50344
[startup+810.099 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8021
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 16253 0 0 0 80954 60 0 0 25 0 1 0 865330953 51687424 10500 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12619 10500 300 300 0 12319 0
vsize: 50476
[startup+820.099 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8021
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 16316 0 0 0 81954 60 0 0 25 0 1 0 865330953 51957760 10562 4294967295 134512640 135726644 3221224576 3221221664 134556192 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12685 10562 300 300 0 12385 0
vsize: 50740
[startup+830.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8021
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 16378 0 0 0 82953 61 0 0 25 0 1 0 865330953 52092928 10623 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12718 10623 300 300 0 12418 0
vsize: 50872
[startup+840.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8021
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 16439 0 0 0 83952 61 0 0 25 0 1 0 865330953 52228096 10683 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12751 10683 300 300 0 12451 0
vsize: 51004
[startup+850.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8021
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 16499 0 0 0 84952 62 0 0 25 0 1 0 865330953 52363264 10742 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12784 10742 300 300 0 12484 0
vsize: 51136
[startup+860.101 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8021
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 16560 0 0 0 85952 62 0 0 25 0 1 0 865330953 52498432 10802 4294967295 134512640 135726644 3221224576 3221221272 135282351 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12817 10802 300 300 0 12517 0
vsize: 51268
[startup+870.101 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8021
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 16620 0 0 0 86952 62 0 0 25 0 1 0 865330953 52768768 10861 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12883 10861 300 300 0 12583 0
vsize: 51532
[startup+880.101 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8021
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 16681 0 0 0 87951 63 0 0 25 0 1 0 865330953 52903936 10921 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12916 10921 300 300 0 12616 0
vsize: 51664
[startup+890.102 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8021
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 16741 0 0 0 88950 64 0 0 25 0 1 0 865330953 53039104 10980 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12949 10980 300 300 0 12649 0
vsize: 51796
[startup+900.102 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8021
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 16801 0 0 0 89950 64 0 0 25 0 1 0 865330953 53174272 11039 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12982 11039 300 300 0 12682 0
vsize: 51928
[startup+910.102 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8021
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 16860 0 0 0 90950 65 0 0 25 0 1 0 865330953 53309440 11097 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13015 11097 300 300 0 12715 0
vsize: 52060
[startup+920.103 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8021
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 16917 0 0 0 91950 65 0 0 25 0 1 0 865330953 53444608 11154 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13048 11154 300 300 0 12748 0
vsize: 52192
[startup+930.103 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8021
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 16976 0 0 0 92949 66 0 0 25 0 1 0 865330953 53579776 11212 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13081 11212 300 300 0 12781 0
vsize: 52324
[startup+940.104 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8021
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 17035 0 0 0 93949 66 0 0 25 0 1 0 865330953 53850112 11270 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13147 11270 300 300 0 12847 0
vsize: 52588
[startup+950.104 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8021
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 17093 0 0 0 94948 67 0 0 25 0 1 0 865330953 53985280 11327 4294967295 134512640 135726644 3221224576 3221221664 134556195 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13180 11327 300 300 0 12880 0
vsize: 52720
[startup+960.103 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8021
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 17150 0 0 0 95948 67 0 0 25 0 1 0 865330953 54120448 11383 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13213 11383 300 300 0 12913 0
vsize: 52852
[startup+970.104 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8021
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 17207 0 0 0 96948 68 0 0 25 0 1 0 865330953 54255616 11439 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13246 11439 300 300 0 12946 0
vsize: 52984
[startup+980.104 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8021
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 17265 0 0 0 97947 68 0 0 25 0 1 0 865330953 54390784 11496 4294967295 134512640 135726644 3221224576 3221221664 134556187 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13279 11496 300 300 0 12979 0
vsize: 53116
[startup+990.104 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8021
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 17323 0 0 0 98947 68 0 0 25 0 1 0 865330953 54525952 11553 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13312 11553 300 300 0 13012 0
vsize: 53248
[startup+1000.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8021
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 17380 0 0 0 99947 68 0 0 25 0 1 0 865330953 54661120 11609 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13345 11609 300 300 0 13045 0
vsize: 53380
[startup+1010.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8021
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 17437 0 0 0 100947 69 0 0 25 0 1 0 865330953 54796288 11665 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13378 11665 300 300 0 13078 0
vsize: 53512
[startup+1020.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8021
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 17494 0 0 0 101947 69 0 0 25 0 1 0 865330953 55066624 11721 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13444 11721 300 300 0 13144 0
vsize: 53776
[startup+1030.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8021
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 17550 0 0 0 102947 69 0 0 25 0 1 0 865330953 55201792 11776 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13477 11776 300 300 0 13177 0
vsize: 53908
[startup+1040.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8021
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 17606 0 0 0 103947 69 0 0 25 0 1 0 865330953 55336960 11831 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13510 11831 300 300 0 13210 0
vsize: 54040
[startup+1050.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8021
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 17661 0 0 0 104947 69 0 0 25 0 1 0 865330953 55472128 11886 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13543 11886 300 300 0 13243 0
vsize: 54172
[startup+1060.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8021
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 17717 0 0 0 105947 69 0 0 25 0 1 0 865330953 55607296 11941 4294967295 134512640 135726644 3221224576 3221221664 134556187 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13576 11941 300 300 0 13276 0
vsize: 54304
[startup+1070.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8021
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 17772 0 0 0 106947 69 0 0 25 0 1 0 865330953 55742464 11995 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13609 11995 300 300 0 13309 0
vsize: 54436
[startup+1080.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8021
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 17826 0 0 0 107947 70 0 0 25 0 1 0 865330953 55877632 12048 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13642 12048 300 300 0 13342 0
vsize: 54568
[startup+1090.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8021
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 17882 0 0 0 108947 70 0 0 25 0 1 0 865330953 56012800 12103 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13675 12103 300 300 0 13375 0
vsize: 54700
[startup+1100.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8021
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 17936 0 0 0 109947 70 0 0 25 0 1 0 865330953 56147968 12156 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13708 12156 300 300 0 13408 0
vsize: 54832
[startup+1110.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8021
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 17991 0 0 0 110947 70 0 0 25 0 1 0 865330953 56283136 12210 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13741 12210 300 300 0 13441 0
vsize: 54964
[startup+1120.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8021
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 18045 0 0 0 111947 70 0 0 25 0 1 0 865330953 56418304 12263 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13774 12263 300 300 0 13474 0
vsize: 55096
[startup+1130.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8021
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 18098 0 0 0 112946 71 0 0 25 0 1 0 865330953 56553472 12316 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13807 12316 300 300 0 13507 0
vsize: 55228
[startup+1140.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8021
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 18151 0 0 0 113946 71 0 0 25 0 1 0 865330953 56688640 12368 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13840 12368 300 300 0 13540 0
vsize: 55360
[startup+1150.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8021
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 18206 0 0 0 114946 71 0 0 25 0 1 0 865330953 56958976 12422 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13906 12422 300 300 0 13606 0
vsize: 55624
[startup+1160.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8021
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 18258 0 0 0 115946 71 0 0 25 0 1 0 865330953 57094144 12473 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13939 12473 300 300 0 13639 0
vsize: 55756
[startup+1170.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8021
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 18311 0 0 0 116946 72 0 0 25 0 1 0 865330953 57229312 12525 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13972 12525 300 300 0 13672 0
vsize: 55888
[startup+1180.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8021
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 18364 0 0 0 117946 72 0 0 25 0 1 0 865330953 57364480 12577 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14005 12577 300 300 0 13705 0
vsize: 56020
[startup+1190.11 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8021
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 18417 0 0 0 118946 72 0 0 25 0 1 0 865330953 57499648 12629 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14038 12629 300 300 0 13738 0
vsize: 56152
[startup+1200.11 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8021
Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 18467 0 0 0 119945 72 0 0 25 0 1 0 865330953 57634816 12679 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14071 12679 300 300 0 13771 0
vsize: 56284
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.34 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 8021
Raw data (stat): 7964 (pb2sat) Z 7963 24821 24820 0 -1 12 18470 0 0 0 120054 75 0 0 24 0 1 0 865330953 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.34
CPU time (s): 1201.3
CPU user time (s): 1200.54
CPU system time (s): 0.756884
CPU usage (%): 99.9968
Max. virtual memory (Kb): 56284
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####