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.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-2.opb
MD5SUM	5e8935802e4aa1a1ac8f2a923d842947
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	22547
Optimality of the best value was proved	NO
Number of terms in the objective function	6892
Biggest coefficient in the objective function	667
Number of bits for the biggest coefficient in the objective function	10
Sum of the numbers in the objective function	371779
Number of bits of the sum of numbers in the objective function	19
Biggest number in a constraint	667
Number of bits of the biggest number in a constraint	10
Biggest sum of numbers in a constraint	371779
Number of bits of the biggest sum of numbers	19
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.07
Number of variables	8405
Total number of constraints	19071
Number of constraints which are clauses	9918
Number of constraints which are cardinality constraints (but not clauses)	9153
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	351
Trace number 42241

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-16 03:52:34 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25452 boxname=wulflinc1 idbench=354 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  5e8935802e4aa1a1ac8f2a923d842947  /oldhome/oroussel/tmp/wulflinc1/normalized-ss97-2.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-ss97-2.opb
IDLAUNCH: 25452
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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:        790600 kB
Buffers:         34364 kB
Cached:         185852 kB
SwapCached:       1192 kB
Active:          77560 kB
Inactive:       144980 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        790348 kB
SwapTotal:     2097136 kB
SwapFree:      2094880 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           5364 kB
Slab:            15904 kB
Committed_AS:    92708 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 04:12:38 (client local time) WITH STATUS 0 IN 1201.26 SECONDS
stats: 25452 7 1201.26 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 15930/466482	Time: 109.588/86400
c Decision: 15930/466482	Time: 119.761/86400
c Decision: 15930/466482	Time: 129.276/86400
c Decision: 15930/466482	Time: 138.549/86400
c Decision: 15930/466482	Time: 150.903/86400
c Decision: 15930/466482	Time: 164.093/86400
c Decision: 15930/466482	Time: 172.454/86400
c Decision: 15930/466482	Time: 184.29/86400
c Decision: 15930/466482	Time: 196.229/86400
c Decision: 15930/466482	Time: 203.465/86400
c Decision: 15930/466482	Time: 215.928/86400
c Decision: 15930/466482	Time: 247.947/86400
c Decision: 15930/466482	Time: 267.171/86400
c Decision: 15930/466482	Time: 284.184/86400
c Decision: 15930/466482	Time: 296.53/86400
c Decision: 15930/466482	Time: 318.959/86400
c Decision: 15930/466482	Time: 334.736/86400
c Decision: 15930/466482	Time: 353.095/86400
c Decision: 15930/466482	Time: 364.914/86400
c Decision: 15930/466482	Time: 380.884/86400
c Decision: 15930/466482	Time: 406.974/86400
c Decision: 15930/466482	Time: 420.212/86400
c Decision: 15930/466482	Time: 433.886/86400
c Decision: 15930/466482	Time: 446.868/86400
c Decision: 15930/466482	Time: 463.398/86400
c Decision: 15930/466482	Time: 475.075/86400
c Decision: 15930/466482	Time: 486.745/86400
c Decision: 15930/466482	Time: 501.898/86400
c Decision: 15930/466482	Time: 511.512/86400
c Decision: 15930/466482	Time: 529.01/86400
c Decision: 15930/466482	Time: 544.758/86400
c Decision: 15930/466482	Time: 563.767/86400
c Decision: 15930/466482	Time: 577.553/86400
c Decision: 15930/466482	Time: 612.908/86400
c Decision: 15930/466482	Time: 643.082/86400
c Decision: 15930/466482	Time: 664.483/86400
c Decision: 15930/466482	Time: 682.239/86400
c Decision: 15930/466482	Time: 700.895/86400
c Decision: 15930/466482	Time: 732.696/86400
c Decision: 15930/466482	Time: 753.482/86400
c Decision: 15930/466482	Time: 776.65/86400
c Decision: 15930/466482	Time: 797.429/86400
c Decision: 15930/466482	Time: 815.461/86400
c Decision: 15930/466482	Time: 837.597/86400
c Decision: 15930/466482	Time: 857.043/86400
c Decision: 15930/466482	Time: 883.186/86400
c Decision: 15930/466482	Time: 913.062/86400
c Decision: 15930/466482	Time: 933.429/86400
c Decision: 15930/466482	Time: 952.862/86400
c Decision: 15930/466482	Time: 976.8/86400
c Decision: 15930/466482	Time: 996.084/86400
c Decision: 15930/466482	Time: 1013.73/86400
c Decision: 15930/466482	Time: 1028.88/86400
c Decision: 15930/466482	Time: 1044.07/86400
c Decision: 15930/466482	Time: 1062.48/86400
c Decision: 15930/466482	Time: 1079.34/86400
c Decision: 15930/466482	Time: 1096.51/86400
c Decision: 15930/466482	Time: 1116.35/86400
c Decision: 15930/466482	Time: 1133.15/86400
c Decision: 15930/466482	Time: 1150.06/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.91 0.95 0.90 2/55 11359
Raw data (stat): 11359 (runsolver) R 11358 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 910811899 884736 94 4294967295 134512640 135332820 3221224480 3221219660 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.0011 s]
Raw data (loadavg): 0.93 0.95 0.90 2/55 11359
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 25860 0 0 0 943 56 0 0 25 0 1 0 910811899 77668352 14930 4294967295 134512640 135730672 3221224592 3221196920 135284590 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18962 14930 301 301 0 18661 0
vsize: 75848
[startup+20.0022 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 11359
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 53658 0 0 0 1884 114 0 0 25 0 1 0 910811899 153251840 31737 4294967295 134512640 135730672 3221224592 3221197808 134788689 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37415 31737 301 301 0 37114 0
vsize: 149660
[startup+30.003 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 11359
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 59274 0 0 0 2865 133 0 0 25 0 1 0 910811899 169385984 36425 4294967295 134512640 135730672 3221224592 3221223088 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41354 36425 301 301 0 41053 0
vsize: 165416
[startup+40.0038 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 11359
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 60634 0 0 0 3860 139 0 0 25 0 1 0 910811899 175431680 37785 4294967295 134512640 135730672 3221224592 3221222912 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42830 37785 301 301 0 42529 0
vsize: 171320
[startup+50.0046 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 11359
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 61116 0 0 0 4858 141 0 0 25 0 1 0 910811899 177516544 38234 4294967295 134512640 135730672 3221224592 3221223280 134748446 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43339 38234 301 301 0 43038 0
vsize: 173356
[startup+60.0044 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 11359
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 61606 0 0 0 5857 142 0 0 25 0 1 0 910811899 179736576 38724 4294967295 134512640 135730672 3221224592 3221223248 134734769 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43881 38724 301 301 0 43580 0
vsize: 175524
[startup+70.0056 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 11359
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 62022 0 0 0 6856 144 0 0 25 0 1 0 910811899 181415936 39140 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44291 39140 301 301 0 43990 0
vsize: 177164
[startup+80.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 11359
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 62324 0 0 0 7854 145 0 0 25 0 1 0 910811899 182497280 39442 4294967295 134512640 135730672 3221224592 3221222912 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44555 39442 301 301 0 44254 0
vsize: 178220
[startup+90.0067 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 11359
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 62654 0 0 0 8853 147 0 0 25 0 1 0 910811899 183775232 39772 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44867 39772 301 301 0 44566 0
vsize: 179468
[startup+100.007 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 11359
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 63137 0 0 0 9851 149 0 0 25 0 1 0 910811899 185937920 40255 4294967295 134512640 135730672 3221224592 3221223280 134748499 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45395 40255 301 301 0 45094 0
vsize: 181580
[startup+110.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 11359
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 63492 0 0 0 10851 150 0 0 25 0 1 0 910811899 187346944 40610 4294967295 134512640 135730672 3221224592 3221223280 134748499 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45739 40610 301 301 0 45438 0
vsize: 182956
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11359
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 63598 0 0 0 11849 151 0 0 25 0 1 0 910811899 187707392 40716 4294967295 134512640 135730672 3221224592 3221222912 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45827 40716 301 301 0 45526 0
vsize: 183308
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11359
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 64534 0 0 0 12847 153 0 0 25 0 1 0 910811899 187904000 40740 4294967295 134512640 135730672 3221224592 3221223216 134783062 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45875 40740 301 301 0 45574 0
vsize: 183500
[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11359
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 64600 0 0 0 13846 155 0 0 25 0 1 0 910811899 188039168 40806 4294967295 134512640 135730672 3221224592 3221223104 134745860 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45908 40806 301 301 0 45607 0
vsize: 183632
[startup+150.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11359
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 65544 0 0 0 14842 158 0 0 25 0 1 0 910811899 188203008 40838 4294967295 134512640 135730672 3221224592 3221223008 134741573 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45948 40838 301 301 0 45647 0
vsize: 183792
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11359
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 67478 0 0 0 15837 164 0 0 25 0 1 0 910811899 192413696 41860 4294967295 134512640 135730672 3221224592 3221222736 134768818 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46976 41860 301 301 0 46675 0
vsize: 187904
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11359
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 68060 0 0 0 16835 166 0 0 25 0 1 0 910811899 191299584 41530 4294967295 134512640 135730672 3221224592 3221223248 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46704 41530 301 301 0 46403 0
vsize: 186816
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11359
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 69066 0 0 0 17832 169 0 0 25 0 1 0 910811899 191643648 41624 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46788 41624 301 301 0 46487 0
vsize: 187152
[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11359
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 69986 0 0 0 18829 172 0 0 25 0 1 0 910811899 191643648 41632 4294967295 134512640 135730672 3221224592 3221223088 134747802 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46788 41632 301 301 0 46487 0
vsize: 187152
[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11359
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 70921 0 0 0 19827 174 0 0 25 0 1 0 910811899 191807488 41655 4294967295 134512640 135730672 3221224592 3221223248 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46828 41655 301 301 0 46527 0
vsize: 187312
[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11359
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 72002 0 0 0 20824 177 0 0 25 0 1 0 910811899 192573440 41824 4294967295 134512640 135730672 3221224592 3221222912 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 47015 41824 301 301 0 46714 0
vsize: 188060
[startup+220.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11359
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 72929 0 0 0 21822 180 0 0 25 0 1 0 910811899 192720896 41839 4294967295 134512640 135730672 3221224592 3221223088 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 47051 41839 301 301 0 46750 0
vsize: 188204
[startup+230.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11359
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 73948 0 0 0 22817 184 0 0 25 0 1 0 910811899 193179648 41946 4294967295 134512640 135730672 3221224592 3221223248 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47163 41946 301 301 0 46862 0
vsize: 188652
[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11359
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 75090 0 0 0 23813 189 0 0 25 0 1 0 910811899 194199552 42176 4294967295 134512640 135730672 3221224592 3221222928 134739213 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 47412 42176 301 301 0 47111 0
vsize: 189648
[startup+250.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11359
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 75977 0 0 0 24808 193 0 0 25 0 1 0 910811899 198541312 43063 4294967295 134512640 135730672 3221224592 3221222920 134739217 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 48472 43063 301 301 0 48171 0
vsize: 193888
[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11359
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 76347 0 0 0 25806 195 0 0 25 0 1 0 910811899 200368128 43433 4294967295 134512640 135730672 3221224592 3221223280 134748461 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 48918 43433 301 301 0 48617 0
vsize: 195672
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11359
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 77289 0 0 0 26803 198 0 0 25 0 1 0 910811899 200368128 43463 4294967295 134512640 135730672 3221224592 3221222920 134739222 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 48918 43463 301 301 0 48617 0
vsize: 195672
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11359
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 77396 0 0 0 27802 200 0 0 25 0 1 0 910811899 201007104 43570 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49074 43570 301 301 0 48773 0
vsize: 196296
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11359
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 78346 0 0 0 28800 202 0 0 25 0 1 0 910811899 201170944 43608 4294967295 134512640 135730672 3221224592 3221222912 134732479 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49114 43608 301 301 0 48813 0
vsize: 196456
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11359
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 78404 0 0 0 29797 205 0 0 25 0 1 0 910811899 201334784 43666 4294967295 134512640 135730672 3221224592 3221223280 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49154 43666 301 301 0 48853 0
vsize: 196616
[startup+310.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11359
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 79343 0 0 0 30794 208 0 0 25 0 1 0 910811899 201498624 43693 4294967295 134512640 135730672 3221224592 3221223216 134748266 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49194 43693 301 301 0 48893 0
vsize: 196776
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11359
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 80295 0 0 0 31790 212 0 0 25 0 1 0 910811899 201695232 43733 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49242 43733 301 301 0 48941 0
vsize: 196968
[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11359
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 80461 0 0 0 32789 214 0 0 25 0 1 0 910811899 202563584 43899 4294967295 134512640 135730672 3221224592 3221223088 134747851 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49454 43899 301 301 0 49153 0
vsize: 197816
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11359
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 81680 0 0 0 33785 218 0 0 25 0 1 0 910811899 204095488 44206 4294967295 134512640 135730672 3221224592 3221223216 134783311 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49828 44206 301 301 0 49527 0
vsize: 199312
[startup+350.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11359
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 81941 0 0 0 34784 219 0 0 25 0 1 0 910811899 205328384 44467 4294967295 134512640 135730672 3221224592 3221223088 134747610 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50129 44467 301 301 0 49828 0
vsize: 200516
[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11359
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 82930 0 0 0 35781 222 0 0 25 0 1 0 910811899 205856768 44544 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50258 44544 301 301 0 49957 0
vsize: 201032
[startup+370.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11359
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 83083 0 0 0 36779 225 0 0 25 0 1 0 910811899 206716928 44697 4294967295 134512640 135730672 3221224592 3221223088 134747647 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50468 44697 301 301 0 50167 0
vsize: 201872
[startup+380.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11359
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 84048 0 0 0 37775 229 0 0 25 0 1 0 910811899 206913536 44750 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50516 44750 301 301 0 50215 0
vsize: 202064
[startup+390.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11359
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 84987 0 0 0 38771 233 0 0 25 0 1 0 910811899 207110144 44777 4294967295 134512640 135730672 3221224592 3221223200 134744850 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50564 44777 301 301 0 50263 0
vsize: 202256
[startup+400.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11359
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 85026 0 0 0 39770 234 0 0 25 0 1 0 910811899 207306752 44816 4294967295 134512640 135730672 3221224592 3221223216 134748073 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50612 44816 301 301 0 50311 0
vsize: 202448
[startup+410.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11359
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 86010 0 0 0 40766 238 0 0 25 0 1 0 910811899 207503360 44888 4294967295 134512640 135730672 3221224592 3221223136 134740318 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50660 44888 301 301 0 50359 0
vsize: 202640
[startup+420.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11359
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 86064 0 0 0 41765 239 0 0 25 0 1 0 910811899 207896576 44942 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50756 44942 301 301 0 50455 0
vsize: 203024
[startup+430.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11359
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 87019 0 0 0 42763 242 0 0 25 0 1 0 910811899 207896576 44985 4294967295 134512640 135730672 3221224592 3221223200 134744826 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50756 44985 301 301 0 50455 0
vsize: 203024
[startup+440.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11359
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 87086 0 0 0 43762 243 0 0 25 0 1 0 910811899 208289792 45052 4294967295 134512640 135730672 3221224592 3221223088 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50852 45052 301 301 0 50551 0
vsize: 203408
[startup+450.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11359
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 88037 0 0 0 44759 246 0 0 25 0 1 0 910811899 208486400 45091 4294967295 134512640 135730672 3221224592 3221223184 134764020 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50900 45091 301 301 0 50599 0
vsize: 203600
[startup+460.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11359
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 88997 0 0 0 45757 248 0 0 25 0 1 0 910811899 208879616 45139 4294967295 134512640 135730672 3221224592 3221222912 134732479 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50996 45139 301 301 0 50695 0
vsize: 203984
[startup+470.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11359
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 89920 0 0 0 46753 252 0 0 25 0 1 0 910811899 208879616 45150 4294967295 134512640 135730672 3221224592 3221223088 134747477 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50996 45150 301 301 0 50695 0
vsize: 203984
[startup+480.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11359
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 90226 0 0 0 47752 253 0 0 25 0 1 0 910811899 209952768 45390 4294967295 134512640 135730672 3221224592 3221223088 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 51258 45390 301 301 0 50957 0
vsize: 205032
[startup+490.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11359
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 91178 0 0 0 48749 256 0 0 25 0 1 0 910811899 210149376 45430 4294967295 134512640 135730672 3221224592 3221223088 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 51306 45430 301 301 0 51005 0
vsize: 205224
[startup+500.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11359
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 92121 0 0 0 49746 259 0 0 25 0 1 0 910811899 210345984 45461 4294967295 134512640 135730672 3221224592 3221223088 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 51354 45461 301 301 0 51053 0
vsize: 205416
[startup+510.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11361
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 92380 0 0 0 50744 262 0 0 25 0 1 0 910811899 211611648 45720 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 51663 45720 301 301 0 51362 0
vsize: 206652
[startup+520.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11361
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 92408 0 0 0 51743 263 0 0 25 0 1 0 910811899 211746816 45748 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 51696 45748 301 301 0 51395 0
vsize: 206784
[startup+530.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11361
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 93337 0 0 0 52740 266 0 0 25 0 1 0 910811899 211746816 45765 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 51696 45765 301 301 0 51395 0
vsize: 206784
[startup+540.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11361
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 93456 0 0 0 53739 267 0 0 25 0 1 0 910811899 212148224 45851 4294967295 134512640 135730672 3221224592 3221222912 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 51794 45851 301 301 0 51493 0
vsize: 207176
[startup+550.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11361
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 94489 0 0 0 54736 270 0 0 25 0 1 0 910811899 216424448 46884 4294967295 134512640 135730672 3221224592 3221222768 134768836 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 52838 46884 301 301 0 52537 0
vsize: 211352
[startup+560.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11361
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 94567 0 0 0 55734 272 0 0 25 0 1 0 910811899 213020672 46050 4294967295 134512640 135730672 3221224592 3221223248 134734769 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 52007 46050 301 301 0 51706 0
vsize: 208028
[startup+570.021 s]
Raw data (loadavg): 1.07 0.99 0.91 3/69 11378
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 95488 0 0 0 56730 277 0 0 25 0 1 0 910811899 213020672 46059 4294967295 134512640 135730672 3221224592 3221223248 134734769 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 52007 46059 301 301 0 51706 0
vsize: 208028
[startup+580.031 s]
Raw data (loadavg): 1.44 1.07 0.94 3/69 11378
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 95651 0 0 0 57729 279 0 0 25 0 1 0 910811899 214102016 46222 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 52271 46222 301 301 0 51970 0
vsize: 209084
[startup+590.03 s]
Raw data (loadavg): 1.76 1.15 0.97 3/61 11624
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 96565 0 0 0 58720 284 0 0 25 0 1 0 910811899 214102016 46224 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 52271 46224 301 301 0 51970 0
vsize: 209084
[startup+600.031 s]
Raw data (loadavg): 1.79 1.18 0.98 2/55 11682
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 97495 0 0 0 59716 288 0 0 25 0 1 0 910811899 214102016 46242 4294967295 134512640 135730672 3221224592 3221223088 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 52271 46242 301 301 0 51970 0
vsize: 209084
[startup+610.033 s]
Raw data (loadavg): 1.67 1.17 0.98 2/55 11682
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 97693 0 0 0 60712 292 0 0 25 0 1 0 910811899 215089152 46407 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 52512 46407 301 301 0 52211 0
vsize: 210048
[startup+620.033 s]
Raw data (loadavg): 1.57 1.16 0.98 2/55 11682
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 97762 0 0 0 61710 295 0 0 25 0 1 0 910811899 215285760 46476 4294967295 134512640 135730672 3221224592 3221223088 134747878 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 52560 46476 301 301 0 52259 0
vsize: 210240
[startup+630.033 s]
Raw data (loadavg): 1.48 1.16 0.98 2/55 11682
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 97798 0 0 0 62709 295 0 0 25 0 1 0 910811899 215482368 46512 4294967295 134512640 135730672 3221224592 3221223244 134748060 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 52608 46512 301 301 0 52307 0
vsize: 210432
[startup+640.032 s]
Raw data (loadavg): 1.40 1.15 0.98 2/55 11682
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 98723 0 0 0 63705 299 0 0 25 0 1 0 910811899 215482368 46525 4294967295 134512640 135730672 3221224592 3221222912 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 52608 46525 301 301 0 52307 0
vsize: 210432
[startup+650.033 s]
Raw data (loadavg): 1.34 1.15 0.98 2/55 11682
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 98810 0 0 0 64704 301 0 0 25 0 1 0 910811899 216072192 46612 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 52752 46612 301 301 0 52451 0
vsize: 211008
[startup+660.033 s]
Raw data (loadavg): 1.29 1.14 0.98 2/55 11682
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 98849 0 0 0 65703 302 0 0 25 0 1 0 910811899 216072192 46651 4294967295 134512640 135730672 3221224592 3221222976 135109351 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 52752 46651 301 301 0 52451 0
vsize: 211008
[startup+670.034 s]
Raw data (loadavg): 1.24 1.14 0.98 2/55 11682
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 99770 0 0 0 66700 305 0 0 25 0 1 0 910811899 216072192 46660 4294967295 134512640 135730672 3221224592 3221223088 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 52752 46660 301 301 0 52451 0
vsize: 211008
[startup+680.034 s]
Raw data (loadavg): 1.21 1.13 0.98 2/55 11682
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 99815 0 0 0 67699 306 0 0 25 0 1 0 910811899 216268800 46705 4294967295 134512640 135730672 3221224592 3221222912 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 52800 46705 301 301 0 52499 0
vsize: 211200
[startup+690.034 s]
Raw data (loadavg): 1.17 1.13 0.98 2/55 11682
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 100760 0 0 0 68696 310 0 0 25 0 1 0 910811899 216465408 46738 4294967295 134512640 135730672 3221224592 3221223088 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 52848 46738 301 301 0 52547 0
vsize: 211392
[startup+700.034 s]
Raw data (loadavg): 1.15 1.12 0.98 2/55 11682
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 100791 0 0 0 69694 311 0 0 25 0 1 0 910811899 216465408 46769 4294967295 134512640 135730672 3221224592 3221223088 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 52848 46769 301 301 0 52547 0
vsize: 211392
[startup+710.035 s]
Raw data (loadavg): 1.12 1.12 0.98 2/55 11682
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 101706 0 0 0 70691 314 0 0 25 0 1 0 910811899 216465408 46772 4294967295 134512640 135730672 3221224592 3221223088 134747563 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 52848 46772 301 301 0 52547 0
vsize: 211392
[startup+720.036 s]
Raw data (loadavg): 1.10 1.11 0.98 2/55 11682
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 101729 0 0 0 71690 316 0 0 25 0 1 0 910811899 216662016 46795 4294967295 134512640 135730672 3221224592 3221223088 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 52896 46795 301 301 0 52595 0
vsize: 211584
[startup+730.036 s]
Raw data (loadavg): 1.09 1.11 0.98 2/55 11682
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 102689 0 0 0 72685 320 0 0 25 0 1 0 910811899 216858624 46843 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 52944 46843 301 301 0 52643 0
vsize: 211776
[startup+740.036 s]
Raw data (loadavg): 1.07 1.11 0.98 2/55 11682
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 102748 0 0 0 73683 323 0 0 25 0 1 0 910811899 217055232 46902 4294967295 134512640 135730672 3221224592 3221223088 134747657 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 52992 46902 301 301 0 52691 0
vsize: 211968
[startup+750.036 s]
Raw data (loadavg): 1.06 1.10 0.98 2/55 11682
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 102766 0 0 0 74682 324 0 0 25 0 1 0 910811899 217251840 46920 4294967295 134512640 135730672 3221224592 3221223088 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53040 46920 301 301 0 52739 0
vsize: 212160
[startup+760.036 s]
Raw data (loadavg): 1.05 1.10 0.98 2/55 11682
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 103693 0 0 0 75679 327 0 0 25 0 1 0 910811899 217251840 46935 4294967295 134512640 135730672 3221224592 3221223280 134748568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53040 46935 301 301 0 52739 0
vsize: 212160
[startup+770.037 s]
Raw data (loadavg): 1.04 1.09 0.98 2/55 11682
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 103725 0 0 0 76678 329 0 0 25 0 1 0 910811899 217448448 46967 4294967295 134512640 135730672 3221224592 3221223280 134748420 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53088 46967 301 301 0 52787 0
vsize: 212352
[startup+780.037 s]
Raw data (loadavg): 1.04 1.09 0.98 2/55 11682
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 104645 0 0 0 77674 332 0 0 25 0 1 0 910811899 217448448 46975 4294967295 134512640 135730672 3221224592 3221223088 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53088 46975 301 301 0 52787 0
vsize: 212352
[startup+790.038 s]
Raw data (loadavg): 1.03 1.09 0.98 2/55 11682
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 104653 0 0 0 78673 334 0 0 25 0 1 0 910811899 217448448 46983 4294967295 134512640 135730672 3221224592 3221222912 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53088 46983 301 301 0 52787 0
vsize: 212352
[startup+800.038 s]
Raw data (loadavg): 1.02 1.08 0.98 2/55 11682
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 105623 0 0 0 79670 337 0 0 25 0 1 0 910811899 217645056 47041 4294967295 134512640 135730672 3221224592 3221223088 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53136 47041 301 301 0 52835 0
vsize: 212544
[startup+810.039 s]
Raw data (loadavg): 1.02 1.08 0.98 2/55 11682
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 105636 0 0 0 80669 338 0 0 25 0 1 0 910811899 217841664 47054 4294967295 134512640 135730672 3221224592 3221223088 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53184 47054 301 301 0 52883 0
vsize: 212736
[startup+820.039 s]
Raw data (loadavg): 1.02 1.08 0.98 2/55 11682
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 106570 0 0 0 81666 341 0 0 25 0 1 0 910811899 217841664 47076 4294967295 134512640 135730672 3221224592 3221223184 134747445 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53184 47076 301 301 0 52883 0
vsize: 212736
[startup+830.04 s]
Raw data (loadavg): 1.01 1.07 0.98 2/55 11682
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 106645 0 0 0 82665 342 0 0 25 0 1 0 910811899 218308608 47151 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53298 47151 301 301 0 52997 0
vsize: 213192
[startup+840.039 s]
Raw data (loadavg): 1.01 1.07 0.98 2/55 11682
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 107724 0 0 0 83661 346 0 0 25 0 1 0 910811899 219389952 47318 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53562 47318 301 301 0 53261 0
vsize: 214248
[startup+850.068 s]
Raw data (loadavg): 1.01 1.07 0.98 2/55 11682
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 107811 0 0 0 84663 348 0 0 25 0 1 0 910811899 219660288 47405 4294967295 134512640 135730672 3221224592 3221223088 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53628 47405 301 301 0 53327 0
vsize: 214512
[startup+860.068 s]
Raw data (loadavg): 1.08 1.08 0.98 2/55 11682
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 108737 0 0 0 85659 351 0 0 25 0 1 0 910811899 219660288 47419 4294967295 134512640 135730672 3221224592 3221223088 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53628 47419 301 301 0 53327 0
vsize: 214512
[startup+870.068 s]
Raw data (loadavg): 1.07 1.08 0.98 2/55 11682
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 108744 0 0 0 86658 353 0 0 25 0 1 0 910811899 219660288 47426 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53628 47426 301 301 0 53327 0
vsize: 214512
[startup+880.069 s]
Raw data (loadavg): 1.06 1.08 0.98 2/55 11682
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 109663 0 0 0 87654 357 0 0 25 0 1 0 910811899 219660288 47433 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53628 47433 301 301 0 53327 0
vsize: 214512
[startup+890.069 s]
Raw data (loadavg): 1.05 1.07 0.98 2/55 11682
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 109669 0 0 0 88652 358 0 0 25 0 1 0 910811899 219660288 47439 4294967295 134512640 135730672 3221224592 3221223156 135179444 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53628 47439 301 301 0 53327 0
vsize: 214512
[startup+900.07 s]
Raw data (loadavg): 1.04 1.07 0.98 2/55 11682
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 109702 0 0 0 89650 361 0 0 25 0 1 0 910811899 219795456 47472 4294967295 134512640 135730672 3221224592 3221223280 134748499 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53661 47472 301 301 0 53360 0
vsize: 214644
[startup+910.07 s]
Raw data (loadavg): 1.03 1.07 0.98 2/55 11682
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 110617 0 0 0 90648 363 0 0 25 0 1 0 910811899 219795456 47475 4294967295 134512640 135730672 3221224592 3221223088 134747892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53661 47475 301 301 0 53360 0
vsize: 214644
[startup+920.07 s]
Raw data (loadavg): 1.27 1.11 1.00 2/55 11682
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 110657 0 0 0 91647 365 0 0 25 0 1 0 910811899 219992064 47515 4294967295 134512640 135730672 3221224592 3221223216 134748158 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53709 47515 301 301 0 53408 0
vsize: 214836
[startup+930.07 s]
Raw data (loadavg): 1.30 1.13 1.00 2/55 11684
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 110659 0 0 0 92645 366 0 0 25 0 1 0 910811899 219992064 47517 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 53709 47517 301 301 0 53408 0
vsize: 214836
[startup+940.07 s]
Raw data (loadavg): 1.25 1.12 1.00 2/55 11684
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 111575 0 0 0 93642 369 0 0 25 0 1 0 910811899 219992064 47521 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 53709 47521 301 301 0 53408 0
vsize: 214836
[startup+950.072 s]
Raw data (loadavg): 1.21 1.12 1.00 2/55 11684
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 111584 0 0 0 94642 370 0 0 25 0 1 0 910811899 219992064 47530 4294967295 134512640 135730672 3221224592 3221223088 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 53709 47530 301 301 0 53408 0
vsize: 214836
[startup+960.071 s]
Raw data (loadavg): 1.18 1.11 1.00 2/55 11684
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 112503 0 0 0 95638 374 0 0 25 0 1 0 910811899 219992064 47537 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 53709 47537 301 301 0 53408 0
vsize: 214836
[startup+970.072 s]
Raw data (loadavg): 1.15 1.11 1.00 2/59 11727
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 112513 0 0 0 96636 376 0 0 25 0 1 0 910811899 219992064 47547 4294967295 134512640 135730672 3221224592 3221223088 134747513 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 53709 47547 301 301 0 53408 0
vsize: 214836
[startup+980.073 s]
Raw data (loadavg): 1.21 1.12 1.01 2/55 11737
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 113483 0 0 0 97619 379 0 0 25 0 1 0 910811899 220262400 47605 4294967295 134512640 135730672 3221224592 3221223088 134747463 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 53775 47605 301 301 0 53474 0
vsize: 215100
[startup+990.073 s]
Raw data (loadavg): 1.18 1.12 1.00 2/55 11737
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 113516 0 0 0 98618 380 0 0 25 0 1 0 910811899 220397568 47638 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 53808 47638 301 301 0 53507 0
vsize: 215232
[startup+1000.07 s]
Raw data (loadavg): 1.15 1.11 1.00 2/55 11737
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 114458 0 0 0 99615 384 0 0 25 0 1 0 910811899 220532736 47668 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 53841 47668 301 301 0 53540 0
vsize: 215364
[startup+1010.07 s]
Raw data (loadavg): 1.12 1.11 1.00 2/55 11737
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 114467 0 0 0 100613 386 0 0 25 0 1 0 910811899 220532736 47677 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 53841 47677 301 301 0 53540 0
vsize: 215364
[startup+1020.12 s]
Raw data (loadavg): 1.11 1.11 1.00 2/55 11737
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 115386 0 0 0 101608 390 0 0 25 0 1 0 910811899 220532736 47684 4294967295 134512640 135730672 3221224592 3221223088 134747942 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 53841 47684 301 301 0 53540 0
vsize: 215364
[startup+1030.2 s]
Raw data (loadavg): 1.09 1.10 1.00 2/55 11737
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 115391 0 0 0 102614 392 0 0 25 0 1 0 910811899 220532736 47689 4294967295 134512640 135730672 3221224592 3221223248 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 53841 47689 301 301 0 53540 0
vsize: 215364
[startup+1040.19 s]
Raw data (loadavg): 1.07 1.10 1.00 2/55 11739
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 116305 0 0 0 103610 396 0 0 25 0 1 0 910811899 220532736 47691 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 53841 47691 301 301 0 53540 0
vsize: 215364
[startup+1050.2 s]
Raw data (loadavg): 1.06 1.09 1.00 2/55 11739
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 117223 0 0 0 104607 400 0 0 25 0 1 0 910811899 224268288 48609 4294967295 134512640 135730672 3221224592 3221222744 134765477 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54753 48609 301 301 0 54452 0
vsize: 219012
[startup+1060.2 s]
Raw data (loadavg): 1.05 1.09 1.00 2/55 11739
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 117227 0 0 0 105605 401 0 0 25 0 1 0 910811899 220532736 47701 4294967295 134512640 135730672 3221224592 3221223248 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 53841 47701 301 301 0 53540 0
vsize: 215364
[startup+1070.19 s]
Raw data (loadavg): 1.04 1.09 1.00 2/55 11739
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 118141 0 0 0 106601 405 0 0 25 0 1 0 910811899 220532736 47703 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 53841 47703 301 301 0 53540 0
vsize: 215364
[startup+1080.19 s]
Raw data (loadavg): 1.04 1.08 1.00 2/55 11739
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 118144 0 0 0 107600 407 0 0 25 0 1 0 910811899 220532736 47706 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 53841 47706 301 301 0 53540 0
vsize: 215364
[startup+1090.19 s]
Raw data (loadavg): 1.03 1.08 1.00 2/55 11739
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 119060 0 0 0 108597 410 0 0 25 0 1 0 910811899 220532736 47710 4294967295 134512640 135730672 3221224592 3221223248 134734835 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 53841 47710 301 301 0 53540 0
vsize: 215364
[startup+1100.2 s]
Raw data (loadavg): 1.03 1.08 1.00 2/55 11739
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 119974 0 0 0 109594 413 0 0 25 0 1 0 910811899 220532736 47712 4294967295 134512640 135730672 3221224592 3221223140 135301647 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 53841 47712 301 301 0 53540 0
vsize: 215364
[startup+1110.2 s]
Raw data (loadavg): 1.02 1.07 1.00 2/55 11739
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 119997 0 0 0 110593 414 0 0 25 0 1 0 910811899 220667904 47735 4294967295 134512640 135730672 3221224592 3221223216 134748138 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 53874 47735 301 301 0 53573 0
vsize: 215496
[startup+1120.2 s]
Raw data (loadavg): 1.02 1.07 1.00 2/55 11739
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 120912 0 0 0 111591 417 0 0 25 0 1 0 910811899 220667904 47738 4294967295 134512640 135730672 3221224592 3221223088 134747610 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 53874 47738 301 301 0 53573 0
vsize: 215496
[startup+1130.2 s]
Raw data (loadavg): 1.01 1.07 1.00 2/55 11739
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 120919 0 0 0 112589 418 0 0 25 0 1 0 910811899 220667904 47745 4294967295 134512640 135730672 3221224592 3221223076 134748050 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 53874 47745 301 301 0 53573 0
vsize: 215496
[startup+1140.2 s]
Raw data (loadavg): 1.01 1.07 1.00 2/55 11739
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 121842 0 0 0 113587 421 0 0 25 0 1 0 910811899 220667904 47756 4294967295 134512640 135730672 3221224592 3221222912 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 53874 47756 301 301 0 53573 0
vsize: 215496
[startup+1150.2 s]
Raw data (loadavg): 1.01 1.06 1.00 2/55 11739
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 121851 0 0 0 114586 422 0 0 25 0 1 0 910811899 220667904 47765 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 53874 47765 301 301 0 53573 0
vsize: 215496
[startup+1160.2 s]
Raw data (loadavg): 1.01 1.06 1.00 2/55 11739
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 122772 0 0 0 115583 425 0 0 25 0 1 0 910811899 220667904 47774 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 53874 47774 301 301 0 53573 0
vsize: 215496
[startup+1170.2 s]
Raw data (loadavg): 1.01 1.06 1.00 2/55 11739
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 122784 0 0 0 116581 427 0 0 25 0 1 0 910811899 220667904 47786 4294967295 134512640 135730672 3221224592 3221222912 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 53874 47786 301 301 0 53573 0
vsize: 215496
[startup+1180.2 s]
Raw data (loadavg): 1.00 1.06 1.00 2/55 11739
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 123710 0 0 0 117577 432 0 0 25 0 1 0 910811899 220864512 47800 4294967295 134512640 135730672 3221224592 3221223088 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 53922 47800 301 301 0 53621 0
vsize: 215688
[startup+1190.2 s]
Raw data (loadavg): 1.00 1.05 1.00 2/55 11739
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 123738 0 0 0 118575 433 0 0 25 0 1 0 910811899 220864512 47828 4294967295 134512640 135730672 3221224592 3221223088 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 53922 47828 301 301 0 53621 0
vsize: 215688
[startup+1200.2 s]
Raw data (loadavg): 1.00 1.05 1.00 2/55 11739
Raw data (stat): 11359 (pb2sat-v2) R 11358 8378 8377 0 -1 0 123744 0 0 0 119574 435 0 0 25 0 1 0 910811899 220864512 47834 4294967295 134512640 135730672 3221224592 3221222912 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 53922 47834 301 301 0 53621 0
vsize: 215688
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.36 s]
Raw data (loadavg): 1.00 1.05 1.00 1/55 11739
Raw data (stat): 11359 (pb2sat-v2) Z 11358 8378 8377 0 -1 12 123746 0 0 0 119681 445 0 0 25 0 1 0 910811899 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 1 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.36
CPU time (s): 1201.26
CPU user time (s): 1196.81
CPU system time (s): 4.45332
CPU usage (%): 99.9916
Max. virtual memory (Kb): 219012
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####