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/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-1.opb
MD5SUM	84d0b0ba659c599a6c66454cd956a06b
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-30
Optimality of the best value was proved	NO
Number of terms in the objective function	450
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	450
Number of bits of the sum of numbers in the objective function	9
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	450
Number of bits of the biggest sum of numbers	9
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.04684
Number of variables	450
Total number of constraints	17827
Number of constraints which are clauses	17827
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	2
Trace number 34950

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-05-28 11:15:54 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24240 boxname=wulflinc3 idbench=314 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  84d0b0ba659c599a6c66454cd956a06b  /oldhome/oroussel/tmp/wulflinc3/normalized-frb30-15-1.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc3/normalized-frb30-15-1.opb
IDLAUNCH: 24240
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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:        887532 kB
Buffers:         32284 kB
Cached:          93276 kB
SwapCached:        240 kB
Active:          47492 kB
Inactive:        80708 kB
HighTotal:      131008 kB
HighFree:        35560 kB
LowTotal:       903652 kB
LowFree:        851972 kB
SwapTotal:     2097136 kB
SwapFree:      2096480 kB
Dirty:              52 kB
Writeback:           0 kB
Mapped:           6324 kB
Slab:            13400 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 11:35:57 (client local time) WITH STATUS 0 IN 1200.7 SECONDS
stats: 24240 7 1200.7 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 44643/102389	Time: 37.6753/86400
Decision: 44861/102389	Time: 67.6307/86400
Decision: 44861/102389	Time: 89.0015/86400
Decision: 45084/102389	Time: 121.386/86400c [startup+351.284 s]  setting bit 8 to 0

Decision: 26791/102389	Time: 115.57/86400
Decision: 26791/102389	Time: 129.121/86400
Decision: 26791/102389	Time: 142.932/86400
Decision: 26791/102389	Time: 155.713/86400
Decision: 26791/102389	Time: 168.092/86400
Decision: 26918/102389	Time: 183.338/86400
Decision: 26918/102389	Time: 196.378/86400
Decision: 26947/102389	Time: 220.524/86400
Decision: 26947/102389	Time: 233.363/86400
Decision: 26948/102389	Time: 248.246/86400
Decision: 27323/102389	Time: 268.589/86400
Decision: 27323/102389	Time: 282.743/86400
Decision: 27323/102389	Time: 297.6/86400
Decision: 27562/102389	Time: 314.51/86400
Decision: 27783/102389	Time: 332.675/86400
Decision: 29598/102389	Time: 359.366/86400
Decision: 32981/102389	Time: 385.494/86400
Decision: 32985/102389	Time: 404.913/86400c [startup+799.251 s]  setting bit 7 to 0

Decision: 28100/102389	Time: 31.2143/86400
Decision: 28100/102389	Time: 40.1829/86400
Decision: 28100/102389	Time: 49.8514/86400
Decision: 28100/102389	Time: 58.3911/86400
Decision: 28100/102389	Time: 69.1465/86400
Decision: 28121/102389	Time: 83.2333/86400
Decision: 28413/102389	Time: 99.7878/86400
Decision: 28413/102389	Time: 108.523/86400
Decision: 28413/102389	Time: 117.753/86400
Decision: 28413/102389	Time: 127.507/86400
Decision: 28413/102389	Time: 137.089/86400
Decision: 28413/102389	Time: 147.5/86400
Decision: 28416/102389	Time: 157.056/86400
Decision: 28416/102389	Time: 167.509/86400
Decision: 28416/102389	Time: 177.408/86400
Decision: 28416/102389	Time: 188.585/86400
Decision: 28746/102389	Time: 210.939/86400
Decision: 28746/102389	Time: 223.284/86400
Decision: 29221/102389	Time: 248.275/86400
Decision: 33556/102389	Time: 261.475/86400c [startup+1086.31 s]  setting bit 6 to 0

Decision: 52001/102389	Time: 71.8721/86400
Decision: 52001/102389	Time: 78.861/86400
Decision: 52001/102389	Time: 86.5278/86400
Decision: 52001/102389	Time: 94.3157/86400
Decision: 52001/102389	Time: 101.256/86400
Decision: 52001/102389	Time: 110.242/86400s 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.97 0.91 2/54 27785
Raw data (stat): 27785 (runsolver) R 27784 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 806139666 884736 94 4294967295 134512640 135332820 3221224480 3221219660 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.001 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 16088 0 0 0 963 36 0 0 25 0 1 0 806139666 51589120 10439 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12595 10439 300 300 0 12295 0
vsize: 50380
[startup+20.0008 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 16372 0 0 0 1962 37 0 0 25 0 1 0 806139666 52613120 10624 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12845 10624 300 300 0 12545 0
vsize: 51380
[startup+30.0021 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 16389 0 0 0 2962 37 0 0 25 0 1 0 806139666 52613120 10641 4294967295 134512640 135726644 3221224592 3221223088 134743987 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12845 10641 300 300 0 12545 0
vsize: 51380
[startup+40.0025 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 16428 0 0 0 3962 37 0 0 25 0 1 0 806139666 52748288 10680 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12878 10680 300 300 0 12578 0
vsize: 51512
[startup+50.0033 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 16721 0 0 0 4961 39 0 0 25 0 1 0 806139666 53018624 10773 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12944 10773 300 300 0 12644 0
vsize: 51776
[startup+60.0035 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 16762 0 0 0 5960 40 0 0 25 0 1 0 806139666 53149696 10781 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12976 10781 300 300 0 12676 0
vsize: 51904
[startup+70.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 16780 0 0 0 6960 40 0 0 25 0 1 0 806139666 53149696 10799 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12976 10799 300 300 0 12676 0
vsize: 51904
[startup+80.0048 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 17021 0 0 0 7959 41 0 0 25 0 1 0 806139666 53346304 10840 4294967295 134512640 135726644 3221224592 3221223184 134759982 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13024 10840 300 300 0 12724 0
vsize: 52096
[startup+90.0046 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 17039 0 0 0 8959 41 0 0 25 0 1 0 806139666 53346304 10858 4294967295 134512640 135726644 3221224592 3221223088 134744009 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13024 10858 300 300 0 12724 0
vsize: 52096
[startup+100.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 17254 0 0 0 9958 42 0 0 25 0 1 0 806139666 53346304 10873 4294967295 134512640 135726644 3221224592 3221223216 134744578 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13024 10873 300 300 0 12724 0
vsize: 52096
[startup+110.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 17269 0 0 0 10958 42 0 0 25 0 1 0 806139666 53346304 10888 4294967295 134512640 135726644 3221224592 3221223088 134744120 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13024 10888 300 300 0 12724 0
vsize: 52096
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 17289 0 0 0 11958 42 0 0 25 0 1 0 806139666 53346304 10908 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13024 10908 300 300 0 12724 0
vsize: 52096
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 17512 0 0 0 12957 43 0 0 25 0 1 0 806139666 53346304 10931 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13024 10931 300 300 0 12724 0
vsize: 52096
[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 17534 0 0 0 13957 44 0 0 25 0 1 0 806139666 53346304 10953 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13024 10953 300 300 0 12724 0
vsize: 52096
[startup+150.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 17555 0 0 0 14957 45 0 0 25 0 1 0 806139666 53481472 10974 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13057 10974 300 300 0 12757 0
vsize: 52228
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 17577 0 0 0 15956 45 0 0 25 0 1 0 806139666 53481472 10996 4294967295 134512640 135726644 3221224592 3221223216 134744520 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13057 10996 300 300 0 12757 0
vsize: 52228
[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 17598 0 0 0 16956 45 0 0 25 0 1 0 806139666 53481472 11017 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13057 11017 300 300 0 12757 0
vsize: 52228
[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 17626 0 0 0 17955 46 0 0 25 0 1 0 806139666 53481472 11045 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13057 11045 300 300 0 12757 0
vsize: 52228
[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 17650 0 0 0 18955 47 0 0 25 0 1 0 806139666 53481472 11069 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13057 11069 300 300 0 12757 0
vsize: 52228
[startup+200.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 17672 0 0 0 19955 47 0 0 25 0 1 0 806139666 53616640 11091 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13090 11091 300 300 0 12790 0
vsize: 52360
[startup+210.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 17695 0 0 0 20954 48 0 0 25 0 1 0 806139666 53616640 11114 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13090 11114 300 300 0 12790 0
vsize: 52360
[startup+220.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 17717 0 0 0 21953 49 0 0 25 0 1 0 806139666 53616640 11136 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13090 11136 300 300 0 12790 0
vsize: 52360
[startup+230.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 17743 0 0 0 22953 49 0 0 25 0 1 0 806139666 53616640 11162 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13090 11162 300 300 0 12790 0
vsize: 52360
[startup+240.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 17914 0 0 0 23952 50 0 0 25 0 1 0 806139666 54448128 11333 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13293 11333 300 300 0 12993 0
vsize: 53172
[startup+250.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 17929 0 0 0 24952 50 0 0 25 0 1 0 806139666 54448128 11348 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13293 11348 300 300 0 12993 0
vsize: 53172
[startup+260.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 17948 0 0 0 25952 51 0 0 25 0 1 0 806139666 54448128 11367 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13293 11367 300 300 0 12993 0
vsize: 53172
[startup+270.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 17977 0 0 0 26952 51 0 0 25 0 1 0 806139666 54583296 11396 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13326 11396 300 300 0 13026 0
vsize: 53304
[startup+280.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 18002 0 0 0 27951 51 0 0 25 0 1 0 806139666 54583296 11421 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13326 11421 300 300 0 13026 0
vsize: 53304
[startup+290.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 18030 0 0 0 28951 52 0 0 25 0 1 0 806139666 54583296 11449 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13326 11449 300 300 0 13026 0
vsize: 53304
[startup+300.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 18056 0 0 0 29951 52 0 0 25 0 1 0 806139666 54583296 11475 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13326 11475 300 300 0 13026 0
vsize: 53304
[startup+310.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 18078 0 0 0 30950 53 0 0 25 0 1 0 806139666 54583296 11497 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13326 11497 300 300 0 13026 0
vsize: 53304
[startup+320.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 18107 0 0 0 31950 53 0 0 25 0 1 0 806139666 54718464 11526 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13359 11526 300 300 0 13059 0
vsize: 53436
[startup+330.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 18141 0 0 0 32950 54 0 0 25 0 1 0 806139666 54718464 11560 4294967295 134512640 135726644 3221224592 3221223088 134744039 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13359 11560 300 300 0 13059 0
vsize: 53436
[startup+340.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 18172 0 0 0 33950 54 0 0 25 0 1 0 806139666 54718464 11591 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13359 11591 300 300 0 13059 0
vsize: 53436
[startup+350.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 18286 0 0 0 34949 55 0 0 25 0 1 0 806139666 55115776 11640 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13456 11640 300 300 0 13156 0
vsize: 53824
[startup+360.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 18541 0 0 0 35949 56 0 0 25 0 1 0 806139666 55115776 11695 4294967295 134512640 135726644 3221224592 3221223088 134744011 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13456 11695 300 300 0 13156 0
vsize: 53824
[startup+370.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 18582 0 0 0 36948 56 0 0 25 0 1 0 806139666 55115776 11736 4294967295 134512640 135726644 3221224592 3221223088 134744169 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13456 11736 300 300 0 13156 0
vsize: 53824
[startup+380.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 18708 0 0 0 37948 56 0 0 25 0 1 0 806139666 55410688 11829 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13528 11829 300 300 0 13228 0
vsize: 54112
[startup+390.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 18749 0 0 0 38947 57 0 0 25 0 1 0 806139666 63799296 11870 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15576 11870 300 300 0 15276 0
vsize: 62304
[startup+400.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 18800 0 0 0 39947 57 0 0 25 0 1 0 806139666 63799296 11921 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15576 11921 300 300 0 15276 0
vsize: 62304
[startup+410.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 18838 0 0 0 40947 58 0 0 25 0 1 0 806139666 63799296 11959 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15576 11959 300 300 0 15276 0
vsize: 62304
[startup+420.02 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 18887 0 0 0 41946 59 0 0 25 0 1 0 806139666 63799296 12008 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15576 12008 300 300 0 15276 0
vsize: 62304
[startup+430.021 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 18934 0 0 0 42946 59 0 0 25 0 1 0 806139666 63934464 12055 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15609 12055 300 300 0 15309 0
vsize: 62436
[startup+440.021 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 18980 0 0 0 43946 60 0 0 25 0 1 0 806139666 63934464 12101 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15609 12101 300 300 0 15309 0
vsize: 62436
[startup+450.022 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 19036 0 0 0 44945 60 0 0 25 0 1 0 806139666 63934464 12157 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15609 12157 300 300 0 15309 0
vsize: 62436
[startup+460.022 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 19203 0 0 0 45944 61 0 0 25 0 1 0 806139666 64561152 12324 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15762 12324 300 300 0 15462 0
vsize: 63048
[startup+470.023 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 19482 0 0 0 46943 62 0 0 25 0 1 0 806139666 64696320 12403 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15795 12403 300 300 0 15495 0
vsize: 63180
[startup+480.023 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 19492 0 0 0 47943 63 0 0 25 0 1 0 806139666 64696320 12413 4294967295 134512640 135726644 3221224592 3221223104 134742599 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15795 12413 300 300 0 15495 0
vsize: 63180
[startup+490.023 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 19726 0 0 0 48942 64 0 0 25 0 1 0 806139666 64831488 12447 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15828 12447 300 300 0 15528 0
vsize: 63312
[startup+500.024 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 19980 0 0 0 49941 65 0 0 25 0 1 0 806139666 64966656 12501 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15861 12501 300 300 0 15561 0
vsize: 63444
[startup+510.025 s]
Raw data (loadavg): 1.09 1.00 0.92 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 20231 0 0 0 50940 66 0 0 25 0 1 0 806139666 64966656 12552 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15861 12552 300 300 0 15561 0
vsize: 63444
[startup+520.025 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 20480 0 0 0 51939 68 0 0 25 0 1 0 806139666 65105920 12601 4294967295 134512640 135726644 3221224592 3221223088 134744220 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15895 12601 300 300 0 15595 0
vsize: 63580
[startup+530.026 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 20536 0 0 0 52938 69 0 0 25 0 1 0 806139666 65105920 12657 4294967295 134512640 135726644 3221224592 3221223248 134731265 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15895 12657 300 300 0 15595 0
vsize: 63580
[startup+540.026 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 20808 0 0 0 53937 70 0 0 25 0 1 0 806139666 65421312 12729 4294967295 134512640 135726644 3221224592 3221223280 134744915 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15972 12729 300 300 0 15672 0
vsize: 63888
[startup+550.027 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 21061 0 0 0 54936 71 0 0 25 0 1 0 806139666 65421312 12782 4294967295 134512640 135726644 3221224592 3221222912 134728940 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15972 12782 300 300 0 15672 0
vsize: 63888
[startup+560.027 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 21673 0 0 0 55934 73 0 0 25 0 1 0 806139666 68128768 13394 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16633 13394 300 300 0 16333 0
vsize: 66532
[startup+570.028 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 21759 0 0 0 56933 73 0 0 25 0 1 0 806139666 68521984 13480 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16729 13480 300 300 0 16429 0
vsize: 66916
[startup+580.029 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 21993 0 0 0 57932 75 0 0 25 0 1 0 806139666 68521984 13514 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16729 13514 300 300 0 16429 0
vsize: 66916
[startup+590.03 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 22281 0 0 0 58931 76 0 0 25 0 1 0 806139666 68718592 13602 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16777 13602 300 300 0 16477 0
vsize: 67108
[startup+600.031 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 22512 0 0 0 59930 77 0 0 25 0 1 0 806139666 68718592 13633 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16777 13633 300 300 0 16477 0
vsize: 67108
[startup+610.031 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 22547 0 0 0 60929 78 0 0 25 0 1 0 806139666 68718592 13668 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16777 13668 300 300 0 16477 0
vsize: 67108
[startup+620.031 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 22778 0 0 0 61928 79 0 0 25 0 1 0 806139666 68718592 13699 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16777 13699 300 300 0 16477 0
vsize: 67108
[startup+630.032 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 22781 0 0 0 62928 79 0 0 25 0 1 0 806139666 68718592 13702 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16777 13702 300 300 0 16477 0
vsize: 67108
[startup+640.033 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 22988 0 0 0 63927 80 0 0 25 0 1 0 806139666 68718592 13709 4294967295 134512640 135726644 3221224592 3221223088 134744235 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16777 13709 300 300 0 16477 0
vsize: 67108
[startup+650.034 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 23197 0 0 0 64927 81 0 0 25 0 1 0 806139666 68718592 13718 4294967295 134512640 135726644 3221224592 3221223188 134744137 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16777 13718 300 300 0 16477 0
vsize: 67108
[startup+660.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 23207 0 0 0 65926 82 0 0 25 0 1 0 806139666 68853760 13728 4294967295 134512640 135726644 3221224592 3221223232 134744477 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16810 13728 300 300 0 16510 0
vsize: 67240
[startup+670.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 23416 0 0 0 66925 83 0 0 25 0 1 0 806139666 68853760 13737 4294967295 134512640 135726644 3221224592 3221223088 134744046 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16810 13737 300 300 0 16510 0
vsize: 67240
[startup+680.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 23431 0 0 0 67924 84 0 0 25 0 1 0 806139666 68853760 13752 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16810 13752 300 300 0 16510 0
vsize: 67240
[startup+690.036 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 23666 0 0 0 68924 85 0 0 25 0 1 0 806139666 68853760 13787 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16810 13787 300 300 0 16510 0
vsize: 67240
[startup+700.037 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 23698 0 0 0 69923 85 0 0 25 0 1 0 806139666 68993024 13819 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16844 13819 300 300 0 16544 0
vsize: 67376
[startup+710.038 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 23926 0 0 0 70923 86 0 0 25 0 1 0 806139666 69812224 14047 4294967295 134512640 135726644 3221224592 3221222768 134765226 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17044 14047 300 300 0 16744 0
vsize: 68176
[startup+720.038 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 23931 0 0 0 71922 87 0 0 25 0 1 0 806139666 68993024 13852 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16844 13852 300 300 0 16544 0
vsize: 67376
[startup+730.038 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 23943 0 0 0 72922 87 0 0 25 0 1 0 806139666 68993024 13864 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16844 13864 300 300 0 16544 0
vsize: 67376
[startup+740.039 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 24190 0 0 0 73921 88 0 0 25 0 1 0 806139666 69337088 13911 4294967295 134512640 135726644 3221224592 3221223088 134743982 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16928 13911 300 300 0 16628 0
vsize: 67712
[startup+750.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 24193 0 0 0 74921 89 0 0 25 0 1 0 806139666 69337088 13914 4294967295 134512640 135726644 3221224592 3221223216 134744578 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16928 13914 300 300 0 16628 0
vsize: 67712
[startup+760.041 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 24396 0 0 0 75920 89 0 0 25 0 1 0 806139666 69337088 13917 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16928 13917 300 300 0 16628 0
vsize: 67712
[startup+770.041 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 24398 0 0 0 76920 89 0 0 25 0 1 0 806139666 69337088 13919 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16928 13919 300 300 0 16628 0
vsize: 67712
[startup+780.042 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 24447 0 0 0 77919 90 0 0 25 0 1 0 806139666 69484544 13968 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16964 13968 300 300 0 16664 0
vsize: 67856
[startup+790.042 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 24601 0 0 0 78919 91 0 0 25 0 1 0 806139666 70246400 14122 4294967295 134512640 135726644 3221224592 3221223088 134744235 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17150 14122 300 300 0 16850 0
vsize: 68600
[startup+800.043 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 24804 0 0 0 79918 91 0 0 25 0 1 0 806139666 70246400 14125 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17150 14125 300 300 0 16850 0
vsize: 68600
[startup+810.044 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 24809 0 0 0 80917 92 0 0 25 0 1 0 806139666 70246400 14130 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17150 14130 300 300 0 16850 0
vsize: 68600
[startup+820.044 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 24814 0 0 0 81917 93 0 0 25 0 1 0 806139666 70246400 14135 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17150 14135 300 300 0 16850 0
vsize: 68600
[startup+830.045 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 25022 0 0 0 82916 94 0 0 25 0 1 0 806139666 70246400 14143 4294967295 134512640 135726644 3221224592 3221223216 134779426 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17150 14143 300 300 0 16850 0
vsize: 68600
[startup+840.045 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 25226 0 0 0 83915 94 0 0 25 0 1 0 806139666 70246400 14147 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17150 14147 300 300 0 16850 0
vsize: 68600
[startup+850.046 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 25457 0 0 0 84914 96 0 0 25 0 1 0 806139666 70443008 14178 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17198 14178 300 300 0 16898 0
vsize: 68792
[startup+860.046 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 25662 0 0 0 85913 97 0 0 25 0 1 0 806139666 71385088 14350 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17428 14350 300 300 0 17128 0
vsize: 69712
[startup+870.047 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 25920 0 0 0 86912 98 0 0 25 0 1 0 806139666 71520256 14408 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17461 14408 300 300 0 17161 0
vsize: 69844
[startup+880.048 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 25961 0 0 0 87911 99 0 0 25 0 1 0 806139666 71520256 14449 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17461 14449 300 300 0 17161 0
vsize: 69844
[startup+890.049 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 26195 0 0 0 88910 101 0 0 25 0 1 0 806139666 71655424 14483 4294967295 134512640 135726644 3221224592 3221223208 134744630 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17494 14483 300 300 0 17194 0
vsize: 69976
[startup+900.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 26440 0 0 0 89909 102 0 0 25 0 1 0 806139666 71655424 14528 4294967295 134512640 135726644 3221224592 3221222904 135297949 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17494 14528 300 300 0 17194 0
vsize: 69976
[startup+910.051 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 26697 0 0 0 90907 104 0 0 25 0 1 0 806139666 71655424 14585 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17494 14585 300 300 0 17194 0
vsize: 69976
[startup+920.051 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 26941 0 0 0 91906 105 0 0 25 0 1 0 806139666 71655424 14629 4294967295 134512640 135726644 3221224592 3221223216 134744578 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17494 14629 300 300 0 17194 0
vsize: 69976
[startup+930.052 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 27190 0 0 0 92906 106 0 0 25 0 1 0 806139666 71655424 14678 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17494 14678 300 300 0 17194 0
vsize: 69976
[startup+940.053 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 27508 0 0 0 93904 107 0 0 25 0 1 0 806139666 72196096 14796 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17626 14796 300 300 0 17326 0
vsize: 70504
[startup+950.054 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 27779 0 0 0 94903 108 0 0 25 0 1 0 806139666 72466432 14867 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17692 14867 300 300 0 17392 0
vsize: 70768
[startup+960.054 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 28035 0 0 0 95903 109 0 0 25 0 1 0 806139666 72466432 14923 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17692 14923 300 300 0 17392 0
vsize: 70768
[startup+970.055 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 28286 0 0 0 96901 110 0 0 25 0 1 0 806139666 72466432 14974 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17692 14974 300 300 0 17392 0
vsize: 70768
[startup+980.056 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 28530 0 0 0 97900 111 0 0 25 0 1 0 806139666 72466432 15018 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17692 15018 300 300 0 17392 0
vsize: 70768
[startup+990.057 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 28757 0 0 0 98899 112 0 0 25 0 1 0 806139666 72466432 15045 4294967295 134512640 135726644 3221224592 3221223184 134760402 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17692 15045 300 300 0 17392 0
vsize: 70768
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 28903 0 0 0 99900 113 0 0 25 0 1 0 806139666 73064448 15191 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17838 15191 300 300 0 17538 0
vsize: 71352
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 29261 0 0 0 100899 113 0 0 25 0 1 0 806139666 74547200 15549 4294967295 134512640 135726644 3221224592 3221222744 134761833 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18200 15549 300 300 0 17900 0
vsize: 72800
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 29292 0 0 0 101899 114 0 0 25 0 1 0 806139666 73728000 15380 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18000 15380 300 300 0 17700 0
vsize: 72000
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 29517 0 0 0 102898 115 0 0 25 0 1 0 806139666 73728000 15405 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18000 15405 300 300 0 17700 0
vsize: 72000
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 29541 0 0 0 103898 115 0 0 25 0 1 0 806139666 73728000 15429 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18000 15429 300 300 0 17700 0
vsize: 72000
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 29769 0 0 0 104898 115 0 0 25 0 1 0 806139666 73728000 15457 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18000 15457 300 300 0 17700 0
vsize: 72000
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 29790 0 0 0 105898 115 0 0 25 0 1 0 806139666 73728000 15478 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18000 15478 300 300 0 17700 0
vsize: 72000
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 30006 0 0 0 106897 116 0 0 25 0 1 0 806139666 73728000 15494 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18000 15494 300 300 0 17700 0
vsize: 72000
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 30026 0 0 0 107898 116 0 0 25 0 1 0 806139666 73867264 15514 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18034 15514 300 300 0 17734 0
vsize: 72136
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 30287 0 0 0 108897 117 0 0 25 0 1 0 806139666 73867264 15575 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18034 15575 300 300 0 17734 0
vsize: 72136
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 30380 0 0 0 109896 118 0 0 25 0 1 0 806139666 73867264 15668 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18034 15668 300 300 0 17734 0
vsize: 72136
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 30491 0 0 0 110896 119 0 0 25 0 1 0 806139666 73867264 15779 4294967295 134512640 135726644 3221224592 3221223184 134759989 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18034 15779 300 300 0 17734 0
vsize: 72136
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 30612 0 0 0 111895 120 0 0 25 0 1 0 806139666 73867264 15900 4294967295 134512640 135726644 3221224592 3221223248 134731267 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18034 15900 300 300 0 17734 0
vsize: 72136
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 30704 0 0 0 112895 120 0 0 25 0 1 0 806139666 73867264 15992 4294967295 134512640 135726644 3221224592 3221223248 134731251 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18034 15992 300 300 0 17734 0
vsize: 72136
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 30797 0 0 0 113894 121 0 0 25 0 1 0 806139666 74002432 16085 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18067 16085 300 300 0 17767 0
vsize: 72268
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 30890 0 0 0 114894 121 0 0 25 0 1 0 806139666 74002432 16178 4294967295 134512640 135726644 3221224592 3221223216 134744667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18067 16178 300 300 0 17767 0
vsize: 72268
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 31195 0 0 0 115893 122 0 0 25 0 1 0 806139666 74137600 16283 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18100 16283 300 300 0 17800 0
vsize: 72400
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 31413 0 0 0 116893 123 0 0 25 0 1 0 806139666 74272768 16301 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18133 16301 300 300 0 17833 0
vsize: 72532
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 31623 0 0 0 117892 123 0 0 25 0 1 0 806139666 74272768 16311 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18133 16311 300 300 0 17833 0
vsize: 72532
[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 32046 0 0 0 118891 125 0 0 25 0 1 0 806139666 74272768 16334 4294967295 134512640 135726644 3221224592 3221223088 134743999 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18133 16334 300 300 0 17833 0
vsize: 72532
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27785
Raw data (stat): 27785 (pb2sat) R 27784 20224 20223 0 -1 0 32265 0 0 0 119890 126 0 0 25 0 1 0 806139666 74412032 16353 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18167 16353 300 300 0 17867 0
vsize: 72668
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.6 s]
Raw data (loadavg): 1.00 1.00 0.92 1/54 27785
Raw data (stat): 27785 (pb2sat) Z 27784 20224 20223 0 -1 12 32266 0 0 0 119939 130 0 0 25 0 1 0 806139666 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): 1200.6
CPU time (s): 1200.7
CPU user time (s): 1199.4
CPU system time (s): 1.3008
CPU usage (%): 100.009
Max. virtual memory (Kb): 72800
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####