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-fome12.opb
MD5SUM	f7d293075cf169ad75cd0116c61aa297
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	498856
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	3448249888024611600
Number of bits of the sum of numbers in the objective function	62
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	9.27259
Number of variables	977976
Total number of constraints	24336
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	24336
Minimum length of a constraint	10
Maximum length of a constraint	4560
Trace number 35797

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc17 THE 2005-05-28 13:55:58 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25020 boxname=wulflinc17 idbench=1492 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  f7d293075cf169ad75cd0116c61aa297  /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-13-7-fome12.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-13-7-fome12.opb
IDLAUNCH: 25020
/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	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        635568 kB
Buffers:          8488 kB
Cached:         366428 kB
SwapCached:        580 kB
Active:          85276 kB
Inactive:       291704 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        635316 kB
SwapTotal:     2097892 kB
SwapFree:      2096376 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           5144 kB
Slab:            16436 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 14:16:03 (client local time) WITH STATUS 0 IN 1201.13 SECONDS
stats: 25020 7 1201.13 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): 1.04 0.96 0.91 2/54 22474
Raw data (stat): 22474 (runsolver) R 22473 7475 7474 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 865341852 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0008 s]
Raw data (loadavg): 1.03 0.96 0.91 2/54 22474
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 1407 0 0 0 994 5 0 0 25 0 1 0 865341852 5496832 1093 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 1342 1093 300 300 0 1042 0
vsize: 5368
[startup+20.0014 s]
Raw data (loadavg): 1.02 0.97 0.91 2/54 22474
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 2498 0 0 0 1991 8 0 0 25 0 1 0 865341852 8765440 1818 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2140 1818 300 300 0 1840 0
vsize: 8560
[startup+30.002 s]
Raw data (loadavg): 1.02 0.97 0.91 2/54 22474
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 3803 0 0 0 2989 11 0 0 25 0 1 0 865341852 13410304 2410 4294967295 134512640 135726644 3221224576 3221221664 134556192 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3274 2410 300 300 0 2974 0
vsize: 13096
[startup+40.0026 s]
Raw data (loadavg): 1.02 0.97 0.91 2/54 22474
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 3983 0 0 0 3988 12 0 0 25 0 1 0 865341852 13680640 2585 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3340 2585 300 300 0 3040 0
vsize: 13360
[startup+50.0052 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 22474
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 4248 0 0 0 4988 12 0 0 25 0 1 0 865341852 14356480 2846 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3505 2846 300 300 0 3205 0
vsize: 14020
[startup+60.0048 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 22474
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 4481 0 0 0 5986 14 0 0 25 0 1 0 865341852 15032320 3075 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3670 3075 300 300 0 3370 0
vsize: 14680
[startup+70.0043 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 22474
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 4694 0 0 0 6986 14 0 0 25 0 1 0 865341852 15572992 3284 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3802 3284 300 300 0 3502 0
vsize: 15208
[startup+80.0049 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 22474
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 4894 0 0 0 7986 15 0 0 25 0 1 0 865341852 16113664 3481 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3934 3481 300 300 0 3634 0
vsize: 15736
[startup+90.0045 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 22474
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 5084 0 0 0 8986 15 0 0 25 0 1 0 865341852 16654336 3668 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4066 3668 300 300 0 3766 0
vsize: 16264
[startup+100.005 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 22474
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 5266 0 0 0 9985 16 0 0 25 0 1 0 865341852 17059840 3847 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4165 3847 300 300 0 3865 0
vsize: 16660
[startup+110.006 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 22474
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 5437 0 0 0 10984 16 0 0 25 0 1 0 865341852 17465344 4015 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4264 4015 300 300 0 3964 0
vsize: 17056
[startup+120.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 22474
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 7470 0 0 0 11981 21 0 0 25 0 1 0 865341852 25403392 4636 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6202 4636 300 300 0 5902 0
vsize: 24808
[startup+130.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 22474
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 7526 0 0 0 12981 21 0 0 25 0 1 0 865341852 25403392 4689 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6202 4689 300 300 0 5902 0
vsize: 24808
[startup+140.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 22474
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 7580 0 0 0 13980 22 0 0 25 0 1 0 865341852 25403392 4741 4294967295 134512640 135726644 3221224576 3221221664 134556187 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6202 4741 300 300 0 5902 0
vsize: 24808
[startup+150.037 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 22474
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 7645 0 0 0 14981 22 0 0 25 0 1 0 865341852 25403392 4804 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6202 4804 300 300 0 5902 0
vsize: 24808
[startup+160.037 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 22474
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 7710 0 0 0 15981 22 0 0 25 0 1 0 865341852 25403392 4866 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6202 4866 300 300 0 5902 0
vsize: 24808
[startup+170.036 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 22474
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 7805 0 0 0 16981 22 0 0 25 0 1 0 865341852 25673728 4959 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6268 4959 300 300 0 5968 0
vsize: 25072
[startup+180.036 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 22474
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 7936 0 0 0 17980 23 0 0 25 0 1 0 865341852 25944064 5088 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6334 5088 300 300 0 6034 0
vsize: 25336
[startup+190.037 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 22474
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 8064 0 0 0 18979 24 0 0 25 0 1 0 865341852 26349568 5214 4294967295 134512640 135726644 3221224576 3221221680 134574085 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6433 5214 300 300 0 6133 0
vsize: 25732
[startup+200.036 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 22474
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 8192 0 0 0 19978 24 0 0 25 0 1 0 865341852 26619904 5340 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6499 5340 300 300 0 6199 0
vsize: 25996
[startup+210.036 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 22474
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 8314 0 0 0 20978 25 0 0 25 0 1 0 865341852 27025408 5460 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6598 5460 300 300 0 6298 0
vsize: 26392
[startup+220.036 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 22474
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 8435 0 0 0 21978 25 0 0 25 0 1 0 865341852 27295744 5579 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6664 5579 300 300 0 6364 0
vsize: 26656
[startup+230.036 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 22474
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 8553 0 0 0 22978 25 0 0 25 0 1 0 865341852 27701248 5695 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6763 5695 300 300 0 6463 0
vsize: 27052
[startup+240.036 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 22474
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 8667 0 0 0 23977 26 0 0 25 0 1 0 865341852 27971584 5807 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6829 5807 300 300 0 6529 0
vsize: 27316
[startup+250.036 s]
Raw data (loadavg): 1.08 0.99 0.92 2/54 22527
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 8782 0 0 0 24975 27 0 0 25 0 1 0 865341852 28241920 5920 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6895 5920 300 300 0 6595 0
vsize: 27580
[startup+260.036 s]
Raw data (loadavg): 1.07 0.99 0.92 2/54 22527
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 8893 0 0 0 25975 28 0 0 25 0 1 0 865341852 28512256 6029 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6961 6029 300 300 0 6661 0
vsize: 27844
[startup+270.035 s]
Raw data (loadavg): 1.06 0.99 0.92 2/54 22527
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 9001 0 0 0 26974 28 0 0 25 0 1 0 865341852 28782592 6136 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7027 6136 300 300 0 6727 0
vsize: 28108
[startup+280.035 s]
Raw data (loadavg): 1.05 0.99 0.92 2/54 22527
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 9108 0 0 0 27974 29 0 0 25 0 1 0 865341852 29052928 6241 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7093 6241 300 300 0 6793 0
vsize: 28372
[startup+290.036 s]
Raw data (loadavg): 1.04 0.99 0.92 2/54 22527
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 9213 0 0 0 28973 30 0 0 25 0 1 0 865341852 29323264 6344 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7159 6344 300 300 0 6859 0
vsize: 28636
[startup+300.036 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 22527
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 9317 0 0 0 29972 31 0 0 25 0 1 0 865341852 29593600 6447 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7225 6447 300 300 0 6925 0
vsize: 28900
[startup+310.036 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 22527
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 9420 0 0 0 30972 31 0 0 25 0 1 0 865341852 29863936 6548 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7291 6548 300 300 0 6991 0
vsize: 29164
[startup+320.036 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 22527
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 9520 0 0 0 31971 33 0 0 25 0 1 0 865341852 30134272 6646 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7357 6646 300 300 0 7057 0
vsize: 29428
[startup+330.036 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 22529
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 9618 0 0 0 32971 33 0 0 25 0 1 0 865341852 30404608 6743 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7423 6743 300 300 0 7123 0
vsize: 29692
[startup+340.036 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 22529
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 9716 0 0 0 33970 34 0 0 25 0 1 0 865341852 30674944 6839 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7489 6839 300 300 0 7189 0
vsize: 29956
[startup+350.035 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 22529
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 9810 0 0 0 34970 34 0 0 25 0 1 0 865341852 30945280 6932 4294967295 134512640 135726644 3221224576 3221221664 134556181 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7555 6932 300 300 0 7255 0
vsize: 30220
[startup+360.036 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 22529
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 9904 0 0 0 35969 35 0 0 25 0 1 0 865341852 31215616 7024 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7621 7024 300 300 0 7321 0
vsize: 30484
[startup+370.036 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 22529
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 9996 0 0 0 36969 35 0 0 25 0 1 0 865341852 31485952 7115 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7687 7115 300 300 0 7387 0
vsize: 30748
[startup+380.036 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 22529
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 10088 0 0 0 37969 35 0 0 25 0 1 0 865341852 31756288 7205 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7753 7205 300 300 0 7453 0
vsize: 31012
[startup+390.036 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22529
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 10178 0 0 0 38969 35 0 0 25 0 1 0 865341852 31891456 7294 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7786 7294 300 300 0 7486 0
vsize: 31144
[startup+400.036 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22529
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 10267 0 0 0 39969 36 0 0 25 0 1 0 865341852 32161792 7381 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7852 7381 300 300 0 7552 0
vsize: 31408
[startup+410.036 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22529
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 10354 0 0 0 40968 36 0 0 25 0 1 0 865341852 32432128 7467 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7918 7467 300 300 0 7618 0
vsize: 31672
[startup+420.036 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22529
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 10442 0 0 0 41968 37 0 0 25 0 1 0 865341852 32567296 7553 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7951 7554 300 300 0 7651 0
vsize: 31804
[startup+430.036 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22529
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 10527 0 0 0 42968 37 0 0 25 0 1 0 865341852 32837632 7637 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8017 7637 300 300 0 7717 0
vsize: 32068
[startup+440.036 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22529
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 10612 0 0 0 43967 38 0 0 25 0 1 0 865341852 33107968 7721 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8083 7721 300 300 0 7783 0
vsize: 32332
[startup+450.035 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22529
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 10696 0 0 0 44967 38 0 0 25 0 1 0 865341852 33243136 7803 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8116 7803 300 300 0 7816 0
vsize: 32464
[startup+460.036 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22529
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 10778 0 0 0 45967 38 0 0 25 0 1 0 865341852 33513472 7884 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8182 7884 300 300 0 7882 0
vsize: 32728
[startup+470.036 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22529
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 10861 0 0 0 46967 39 0 0 25 0 1 0 865341852 33783808 7966 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8248 7966 300 300 0 7948 0
vsize: 32992
[startup+480.035 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22529
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 10942 0 0 0 47966 39 0 0 25 0 1 0 865341852 33918976 8045 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8281 8045 300 300 0 7981 0
vsize: 33124
[startup+490.035 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22529
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 14826 0 0 0 48960 45 0 0 25 0 1 0 865341852 49254400 9110 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9110 300 300 0 11725 0
vsize: 48100
[startup+500.043 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22529
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 14854 0 0 0 49961 45 0 0 25 0 1 0 865341852 49254400 9137 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9137 300 300 0 11725 0
vsize: 48100
[startup+510.043 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22529
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 14881 0 0 0 50961 46 0 0 25 0 1 0 865341852 49254400 9163 4294967295 134512640 135726644 3221224576 3221221664 134556181 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9163 300 300 0 11725 0
vsize: 48100
[startup+520.043 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22529
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 14910 0 0 0 51961 46 0 0 25 0 1 0 865341852 49254400 9190 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9190 300 300 0 11725 0
vsize: 48100
[startup+530.043 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22529
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 14937 0 0 0 52961 46 0 0 25 0 1 0 865341852 49254400 9216 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9216 300 300 0 11725 0
vsize: 48100
[startup+540.043 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22529
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 14964 0 0 0 53951 46 0 0 25 0 1 0 865341852 49254400 9242 4294967295 134512640 135726644 3221224576 3221221664 134556192 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9242 300 300 0 11725 0
vsize: 48100
[startup+550.042 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22529
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 14991 0 0 0 54951 46 0 0 25 0 1 0 865341852 49254400 9268 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9268 300 300 0 11725 0
vsize: 48100
[startup+560.042 s]
Raw data (loadavg): 1.00 0.99 0.92 3/56 22531
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 15018 0 0 0 55950 46 0 0 25 0 1 0 865341852 49254400 9293 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9293 300 300 0 11725 0
vsize: 48100
[startup+570.043 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22531
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 15045 0 0 0 56950 47 0 0 25 0 1 0 865341852 49254400 9319 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9319 300 300 0 11725 0
vsize: 48100
[startup+580.043 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22531
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 15070 0 0 0 57950 47 0 0 25 0 1 0 865341852 49254400 9343 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9343 300 300 0 11725 0
vsize: 48100
[startup+590.043 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22531
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 15096 0 0 0 58950 47 0 0 25 0 1 0 865341852 49254400 9368 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9368 300 300 0 11725 0
vsize: 48100
[startup+600.043 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22531
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 15122 0 0 0 59950 47 0 0 25 0 1 0 865341852 49254400 9393 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9393 300 300 0 11725 0
vsize: 48100
[startup+610.043 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22531
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 15148 0 0 0 60950 47 0 0 25 0 1 0 865341852 49254400 9418 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9418 300 300 0 11725 0
vsize: 48100
[startup+620.043 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22531
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 15191 0 0 0 61950 48 0 0 25 0 1 0 865341852 49254400 9459 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9459 300 300 0 11725 0
vsize: 48100
[startup+630.043 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22531
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 15225 0 0 0 62950 48 0 0 25 0 1 0 865341852 49254400 9492 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9492 300 300 0 11725 0
vsize: 48100
[startup+640.043 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22531
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 15250 0 0 0 63950 48 0 0 25 0 1 0 865341852 49254400 9516 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9516 300 300 0 11725 0
vsize: 48100
[startup+650.042 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22531
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 15275 0 0 0 64950 48 0 0 25 0 1 0 865341852 49254400 9540 4294967295 134512640 135726644 3221224576 3221221664 134556181 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9540 300 300 0 11725 0
vsize: 48100
[startup+660.042 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22531
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 15299 0 0 0 65950 48 0 0 25 0 1 0 865341852 49254400 9563 4294967295 134512640 135726644 3221224576 3221221664 134556195 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9563 300 300 0 11725 0
vsize: 48100
[startup+670.043 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22531
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 15324 0 0 0 66949 49 0 0 25 0 1 0 865341852 49254400 9587 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9587 300 300 0 11725 0
vsize: 48100
[startup+680.042 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22531
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 15363 0 0 0 67949 49 0 0 25 0 1 0 865341852 49389568 9625 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12058 9625 300 300 0 11758 0
vsize: 48232
[startup+690.042 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22531
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 15431 0 0 0 68949 49 0 0 25 0 1 0 865341852 49524736 9692 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12091 9692 300 300 0 11791 0
vsize: 48364
[startup+700.042 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22531
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 15500 0 0 0 69949 49 0 0 25 0 1 0 865341852 49795072 9759 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12157 9759 300 300 0 11857 0
vsize: 48628
[startup+710.042 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22531
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 15566 0 0 0 70949 50 0 0 25 0 1 0 865341852 49930240 9824 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12190 9824 300 300 0 11890 0
vsize: 48760
[startup+720.042 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22531
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 15634 0 0 0 71949 50 0 0 25 0 1 0 865341852 50065408 9891 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12223 9891 300 300 0 11923 0
vsize: 48892
[startup+730.043 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22531
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 15700 0 0 0 72948 50 0 0 25 0 1 0 865341852 50335744 9956 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12289 9956 300 300 0 11989 0
vsize: 49156
[startup+740.043 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22531
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 15766 0 0 0 73947 51 0 0 25 0 1 0 865341852 50470912 10021 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12322 10021 300 300 0 12022 0
vsize: 49288
[startup+750.042 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22531
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 15831 0 0 0 74947 51 0 0 25 0 1 0 865341852 50606080 10085 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12355 10085 300 300 0 12055 0
vsize: 49420
[startup+760.042 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22531
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 15897 0 0 0 75947 51 0 0 25 0 1 0 865341852 50741248 10150 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12388 10150 300 300 0 12088 0
vsize: 49552
[startup+770.043 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22531
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 15960 0 0 0 76947 51 0 0 25 0 1 0 865341852 51011584 10212 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12454 10212 300 300 0 12154 0
vsize: 49816
[startup+780.043 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22531
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 16025 0 0 0 77947 51 0 0 25 0 1 0 865341852 51146752 10276 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12487 10276 300 300 0 12187 0
vsize: 49948
[startup+790.042 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22531
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 16088 0 0 0 78947 52 0 0 25 0 1 0 865341852 51281920 10338 4294967295 134512640 135726644 3221224576 3221221520 134541101 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12520 10338 300 300 0 12220 0
vsize: 50080
[startup+800.043 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22531
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 16152 0 0 0 79946 52 0 0 25 0 1 0 865341852 51417088 10401 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12553 10401 300 300 0 12253 0
vsize: 50212
[startup+810.043 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22531
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 16215 0 0 0 80946 53 0 0 25 0 1 0 865341852 51687424 10463 4294967295 134512640 135726644 3221224576 3221221664 134556181 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12619 10463 300 300 0 12319 0
vsize: 50476
[startup+820.043 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22531
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 16277 0 0 0 81946 53 0 0 25 0 1 0 865341852 51822592 10524 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12652 10524 300 300 0 12352 0
vsize: 50608
[startup+830.044 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22531
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 16339 0 0 0 82946 53 0 0 25 0 1 0 865341852 51957760 10585 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12685 10585 300 300 0 12385 0
vsize: 50740
[startup+840.043 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22531
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 16401 0 0 0 83946 53 0 0 25 0 1 0 865341852 52092928 10646 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12718 10646 300 300 0 12418 0
vsize: 50872
[startup+850.043 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22531
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 16463 0 0 0 84946 53 0 0 25 0 1 0 865341852 52228096 10707 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12751 10707 300 300 0 12451 0
vsize: 51004
[startup+860.043 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22531
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 16524 0 0 0 85945 53 0 0 25 0 1 0 865341852 52498432 10767 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12817 10767 300 300 0 12517 0
vsize: 51268
[startup+870.043 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22531
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 16586 0 0 0 86945 53 0 0 25 0 1 0 865341852 52633600 10828 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12850 10828 300 300 0 12550 0
vsize: 51400
[startup+880.043 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22531
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 16646 0 0 0 87945 54 0 0 25 0 1 0 865341852 52768768 10887 4294967295 134512640 135726644 3221224576 3221221664 134556187 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12883 10887 300 300 0 12583 0
vsize: 51532
[startup+890.043 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22531
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 16706 0 0 0 88945 54 0 0 25 0 1 0 865341852 52903936 10946 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12916 10946 300 300 0 12616 0
vsize: 51664
[startup+900.043 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22531
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 16766 0 0 0 89945 54 0 0 25 0 1 0 865341852 53039104 11005 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12949 11005 300 300 0 12649 0
vsize: 51796
[startup+910.044 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22531
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 16824 0 0 0 90944 55 0 0 25 0 1 0 865341852 53309440 11062 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13015 11062 300 300 0 12715 0
vsize: 52060
[startup+920.044 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22531
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 16885 0 0 0 91944 55 0 0 25 0 1 0 865341852 53444608 11122 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13048 11122 300 300 0 12748 0
vsize: 52192
[startup+930.044 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22531
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 16943 0 0 0 92943 55 0 0 25 0 1 0 865341852 53579776 11179 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13081 11179 300 300 0 12781 0
vsize: 52324
[startup+940.044 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22531
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 17002 0 0 0 93943 56 0 0 25 0 1 0 865341852 53714944 11237 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13114 11237 300 300 0 12814 0
vsize: 52456
[startup+950.044 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22531
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 17061 0 0 0 94943 56 0 0 25 0 1 0 865341852 53850112 11295 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13147 11295 300 300 0 12847 0
vsize: 52588
[startup+960.044 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22531
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 17118 0 0 0 95944 56 0 0 25 0 1 0 865341852 53985280 11351 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13180 11351 300 300 0 12880 0
vsize: 52720
[startup+970.044 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22531
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 17175 0 0 0 96943 56 0 0 25 0 1 0 865341852 54120448 11407 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13213 11407 300 300 0 12913 0
vsize: 52852
[startup+980.045 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22531
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 17233 0 0 0 97943 56 0 0 25 0 1 0 865341852 54255616 11464 4294967295 134512640 135726644 3221224576 3221221664 134556181 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13246 11464 300 300 0 12946 0
vsize: 52984
[startup+990.044 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22531
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 17289 0 0 0 98943 56 0 0 25 0 1 0 865341852 54525952 11520 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13312 11520 300 300 0 13012 0
vsize: 53248
[startup+1000.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22531
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 17345 0 0 0 99943 57 0 0 25 0 1 0 865341852 54661120 11575 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13345 11575 300 300 0 13045 0
vsize: 53380
[startup+1010.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22531
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 17403 0 0 0 100943 57 0 0 25 0 1 0 865341852 54796288 11632 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13378 11632 300 300 0 13078 0
vsize: 53512
[startup+1020.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22531
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 17458 0 0 0 101943 57 0 0 25 0 1 0 865341852 54931456 11686 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13411 11686 300 300 0 13111 0
vsize: 53644
[startup+1030.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22531
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 17514 0 0 0 102943 57 0 0 25 0 1 0 865341852 55066624 11741 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13444 11741 300 300 0 13144 0
vsize: 53776
[startup+1040.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22531
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 17571 0 0 0 103942 58 0 0 25 0 1 0 865341852 55201792 11797 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13477 11797 300 300 0 13177 0
vsize: 53908
[startup+1050.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22531
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 17626 0 0 0 104942 58 0 0 25 0 1 0 865341852 55336960 11851 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13510 11851 300 300 0 13210 0
vsize: 54040
[startup+1060.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22531
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 17681 0 0 0 105942 58 0 0 25 0 1 0 865341852 55472128 11905 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13543 11905 300 300 0 13243 0
vsize: 54172
[startup+1070.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22531
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 17736 0 0 0 106942 59 0 0 25 0 1 0 865341852 55607296 11959 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13576 11959 300 300 0 13276 0
vsize: 54304
[startup+1080.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22531
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 17791 0 0 0 107942 59 0 0 25 0 1 0 865341852 55742464 12013 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13609 12013 300 300 0 13309 0
vsize: 54436
[startup+1090.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22531
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 17844 0 0 0 108942 59 0 0 25 0 1 0 865341852 55877632 12066 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13642 12066 300 300 0 13342 0
vsize: 54568
[startup+1100.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22531
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 17899 0 0 0 109942 59 0 0 25 0 1 0 865341852 56147968 12120 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13708 12120 300 300 0 13408 0
vsize: 54832
[startup+1110.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22531
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 17953 0 0 0 110942 59 0 0 25 0 1 0 865341852 56283136 12173 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13741 12173 300 300 0 13441 0
vsize: 54964
[startup+1120.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22531
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 18006 0 0 0 111942 59 0 0 25 0 1 0 865341852 56418304 12225 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13774 12225 300 300 0 13474 0
vsize: 55096
[startup+1130.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22531
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 18060 0 0 0 112942 59 0 0 25 0 1 0 865341852 56553472 12278 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13807 12278 300 300 0 13507 0
vsize: 55228
[startup+1140.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22531
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 18113 0 0 0 113942 59 0 0 25 0 1 0 865341852 56688640 12330 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13840 12330 300 300 0 13540 0
vsize: 55360
[startup+1150.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22531
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 18166 0 0 0 114942 60 0 0 25 0 1 0 865341852 56823808 12382 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13873 12382 300 300 0 13573 0
vsize: 55492
[startup+1160.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22531
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 18217 0 0 0 115941 60 0 0 25 0 1 0 865341852 56958976 12433 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13906 12433 300 300 0 13606 0
vsize: 55624
[startup+1170.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22531
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 18271 0 0 0 116941 61 0 0 25 0 1 0 865341852 57094144 12486 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13939 12486 300 300 0 13639 0
vsize: 55756
[startup+1180.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22531
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 18323 0 0 0 117941 61 0 0 25 0 1 0 865341852 57229312 12537 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13972 12537 300 300 0 13672 0
vsize: 55888
[startup+1190.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22531
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 18374 0 0 0 118941 62 0 0 25 0 1 0 865341852 57364480 12587 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14005 12587 300 300 0 13705 0
vsize: 56020
[startup+1200.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22531
Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 18428 0 0 0 119940 62 0 0 25 0 1 0 865341852 57499648 12640 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14038 12640 300 300 0 13738 0
vsize: 56152
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.15 s]
Raw data (loadavg): 1.00 0.99 0.92 1/54 22531
Raw data (stat): 22474 (pb2sat) Z 22473 7475 7474 0 -1 12 18431 0 0 0 120048 64 0 0 25 0 1 0 865341852 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.15
CPU time (s): 1201.13
CPU user time (s): 1200.48
CPU system time (s): 0.648901
CPU usage (%): 99.9988
Max. virtual memory (Kb): 56152
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####