PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-rgn.opb
MD5SUM	4cc62e621e04c5a4e55edc3240fa3357
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	537600
Optimality of the best value was proved	NO
Number of terms in the objective function	1160
Biggest coefficient in the objective function	196608
Number of bits for the biggest coefficient in the objective function	18
Sum of the numbers in the objective function	15892320
Number of bits of the sum of numbers in the objective function	24
Biggest number in a constraint	25600000000
Number of bits of the biggest number in a constraint	35
Biggest sum of numbers in a constraint	232836875088
Number of bits of the biggest sum of numbers	38
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1257.12
Number of variables	1260
Total number of constraints	204
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	104
Number of constraints which are nor clauses,nor cardinality constraints	100
Minimum length of a constraint	1
Maximum length of a constraint	127
Trace number 42553

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-16 10:25:13 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25766 boxname=wulflinc3 idbench=1066 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  4cc62e621e04c5a4e55edc3240fa3357  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-rgn.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-rgn.opb
IDLAUNCH: 25766
/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:        733760 kB
Buffers:         13152 kB
Cached:         265984 kB
SwapCached:        820 kB
Active:          32784 kB
Inactive:       248520 kB
HighTotal:      131008 kB
HighFree:         2408 kB
LowTotal:       903652 kB
LowFree:        731352 kB
SwapTotal:     2097136 kB
SwapFree:      2095340 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5104 kB
Slab:            13904 kB
Committed_AS:    71900 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 10:45:16 (client local time) WITH STATUS 0 IN 1201.19 SECONDS
stats: 25766 7 1201.19 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 431/420586	Time: 54.7687/86400
c Decision: 431/420586	Time: 65.0581/86400
c Decision: 433/420586	Time: 83.0824/86400
c Decision: 436/420586	Time: 96.6543/86400
c Decision: 443/420586	Time: 114.224/86400
c Decision: 443/420586	Time: 125.317/86400
c Decision: 443/420586	Time: 135/86400
c Decision: 447/420586	Time: 153.286/86400
c Decision: 447/420586	Time: 162.56/86400
c Decision: 447/420586	Time: 173.005/86400
c Decision: 669/420586	Time: 205.199/86400
c Decision: 724/420586	Time: 225.631/86400
c Decision: 724/420586	Time: 235.505/86400
c Decision: 901/420586	Time: 247.849/86400
c Decision: 2540/420586	Time: 374.166/86400
c Decision: 2683/420586	Time: 456.829/86400
c Decision: 2691/420586	Time: 487.776/86400
c Decision: 2691/420586	Time: 499.578/86400
c Decision: 2691/420586	Time: 511.714/86400
c Decision: 2691/420586	Time: 523.331/86400
c Decision: 2691/420586	Time: 536.935/86400
c Decision: 2691/420586	Time: 548.91/86400
c Decision: 2691/420586	Time: 559.327/86400
c Decision: 2696/420586	Time: 573.982/86400
c Decision: 2701/420586	Time: 592.652/86400
c Decision: 2728/420586	Time: 614.433/86400
c Decision: 2728/420586	Time: 627.772/86400
c Decision: 2737/420586	Time: 648.173/86400
c Decision: 2768/420586	Time: 669.233/86400
c Decision: 2768/420586	Time: 682.087/86400
c Decision: 2768/420586	Time: 695.386/86400
c Decision: 2768/420586	Time: 705.802/86400
c Decision: 2768/420586	Time: 717.092/86400
c Decision: 2768/420586	Time: 730.425/86400
c Decision: 2769/420586	Time: 752.745/86400
c Decision: 2769/420586	Time: 767.386/86400
c Decision: 2769/420586	Time: 781.067/86400
c Decision: 2769/420586	Time: 794.668/86400
c Decision: 2769/420586	Time: 807.402/86400
c Decision: 2769/420586	Time: 820.864/86400
c Decision: 2769/420586	Time: 835.147/86400
c Decision: 2769/420586	Time: 847.456/86400
c Decision: 2769/420586	Time: 860.303/86400
c Decision: 2769/420586	Time: 872.21/86400
c Decision: 2769/420586	Time: 884.676/86400
c Decision: 2769/420586	Time: 898.312/86400
c Decision: 2769/420586	Time: 913.816/86400
c Decision: 2769/420586	Time: 928.311/86400
c Decision: 2769/420586	Time: 940.636/86400
c Decision: 2769/420586	Time: 953.697/86400
c Decision: 2769/420586	Time: 967.518/86400
c Decision: 2769/420586	Time: 980.614/86400
c Decision: 2769/420586	Time: 992.4/86400
c Decision: 2769/420586	Time: 1005.38/86400
c Decision: 2769/420586	Time: 1018.89/86400
c Decision: 2769/420586	Time: 1033.56/86400
c Decision: 2837/420586	Time: 1049.26/86400
c Decision: 2837/420586	Time: 1061.69/86400
c Decision: 2837/420586	Time: 1077.94/86400
c Decision: 2837/420586	Time: 1092.69/86400
c Decision: 2837/420586	Time: 1108.41/86400
c Decision: 2837/420586	Time: 1122.14/86400
c Decision: 2837/420586	Time: 1134.59/86400
c Decision: 2837/420586	Time: 1147.62/86400
c Decision: 2837/420586	Time: 1161.13/86400
c Decision: 2837/420586	Time: 1177.45/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.92 0.95 0.90 2/54 21199
Raw data (stat): 21199 (runsolver) D 21198 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 970016041 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 3225161850 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0005 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 27033 0 0 0 941 57 0 0 25 0 1 0 970016041 77430784 16112 4294967295 134512640 135730672 3221224576 3221172924 135291115 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18904 16112 301 301 0 18603 0
vsize: 75616
[startup+20.0019 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 53090 0 0 0 1884 114 0 0 25 0 1 0 970016041 155840512 30409 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38047 30409 301 301 0 37746 0
vsize: 152188
[startup+30.0021 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 54343 0 0 0 2881 117 0 0 25 0 1 0 970016041 161009664 31662 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39309 31662 301 301 0 39008 0
vsize: 157236
[startup+40.003 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 54999 0 0 0 3878 120 0 0 25 0 1 0 970016041 163848192 32318 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40002 32318 301 301 0 39701 0
vsize: 160008
[startup+50.0044 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 55471 0 0 0 4877 121 0 0 25 0 1 0 970016041 166150144 32790 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40564 32790 301 301 0 40263 0
vsize: 162256
[startup+60.0037 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 55606 0 0 0 5875 124 0 0 25 0 1 0 970016041 166625280 32925 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40680 32925 301 301 0 40379 0
vsize: 162720
[startup+70.0046 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 55695 0 0 0 6873 126 0 0 25 0 1 0 970016041 167116800 33014 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40800 33014 301 301 0 40499 0
vsize: 163200
[startup+80.0056 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 56540 0 0 0 7870 128 0 0 25 0 1 0 970016041 167116800 33037 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40800 33037 301 301 0 40499 0
vsize: 163200
[startup+90.0062 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 57392 0 0 0 8868 131 0 0 25 0 1 0 970016041 167116800 33067 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40800 33067 301 301 0 40499 0
vsize: 163200
[startup+100.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 57434 0 0 0 9867 131 0 0 25 0 1 0 970016041 167280640 33109 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40840 33109 301 301 0 40539 0
vsize: 163360
[startup+110.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 58294 0 0 0 10864 135 0 0 25 0 1 0 970016041 167477248 33147 4294967295 134512640 135730672 3221224576 3221223172 134747725 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40888 33147 301 301 0 40587 0
vsize: 163552
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 59152 0 0 0 11860 139 0 0 25 0 1 0 970016041 167477248 33183 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40888 33183 301 301 0 40587 0
vsize: 163552
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 59162 0 0 0 12859 140 0 0 25 0 1 0 970016041 167477248 33193 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40888 33193 301 301 0 40587 0
vsize: 163552
[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 59998 0 0 0 13856 143 0 0 25 0 1 0 970016041 167477248 33207 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40888 33207 301 301 0 40587 0
vsize: 163552
[startup+150.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 60828 0 0 0 14853 146 0 0 25 0 1 0 970016041 167477248 33215 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40888 33215 301 301 0 40587 0
vsize: 163552
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 61668 0 0 0 15850 149 0 0 25 0 1 0 970016041 167477248 33233 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40888 33233 301 301 0 40587 0
vsize: 163552
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 61755 0 0 0 16849 150 0 0 25 0 1 0 970016041 167870464 33320 4294967295 134512640 135730672 3221224576 3221223072 134747848 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40984 33320 301 301 0 40683 0
vsize: 163936
[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 63418 0 0 0 17844 155 0 0 25 0 1 0 970016041 171237376 34161 4294967295 134512640 135730672 3221224576 3221222728 134765477 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41806 34161 301 301 0 41505 0
vsize: 167224
[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 63456 0 0 0 18844 156 0 0 25 0 1 0 970016041 168067072 33377 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41032 33377 301 301 0 40731 0
vsize: 164128
[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 64302 0 0 0 19841 159 0 0 25 0 1 0 970016041 168067072 33401 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41032 33401 301 301 0 40731 0
vsize: 164128
[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 64368 0 0 0 20840 160 0 0 25 0 1 0 970016041 168263680 33467 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41080 33467 301 301 0 40779 0
vsize: 164320
[startup+220.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 64396 0 0 0 21839 161 0 0 25 0 1 0 970016041 168263680 33495 4294967295 134512640 135730672 3221224576 3221223200 134748214 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41080 33495 301 301 0 40779 0
vsize: 164320
[startup+230.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 65236 0 0 0 22835 164 0 0 25 0 1 0 970016041 168460288 33513 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41128 33513 301 301 0 40827 0
vsize: 164512
[startup+240.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 65254 0 0 0 23834 165 0 0 25 0 1 0 970016041 168460288 33531 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41128 33531 301 301 0 40827 0
vsize: 164512
[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 66089 0 0 0 24831 168 0 0 25 0 1 0 970016041 168460288 33544 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41128 33544 301 301 0 40827 0
vsize: 164512
[startup+260.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 66949 0 0 0 25829 171 0 0 25 0 1 0 970016041 168460288 33582 4294967295 134512640 135730672 3221224576 3221223072 134747563 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41128 33582 301 301 0 40827 0
vsize: 164512
[startup+270.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 67799 0 0 0 26826 174 0 0 25 0 1 0 970016041 168460288 33610 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41128 33610 301 301 0 40827 0
vsize: 164512
[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 67828 0 0 0 27824 175 0 0 25 0 1 0 970016041 168460288 33639 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41128 33639 301 301 0 40827 0
vsize: 164512
[startup+290.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 67855 0 0 0 28823 177 0 0 25 0 1 0 970016041 168460288 33666 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41128 33666 301 301 0 40827 0
vsize: 164512
[startup+300.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 67873 0 0 0 29822 178 0 0 25 0 1 0 970016041 168460288 33684 4294967295 134512640 135730672 3221224576 3221223232 134734856 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41128 33684 301 301 0 40827 0
vsize: 164512
[startup+310.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 67889 0 0 0 30820 180 0 0 25 0 1 0 970016041 168460288 33700 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41128 33700 301 301 0 40827 0
vsize: 164512
[startup+320.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 67908 0 0 0 31819 181 0 0 25 0 1 0 970016041 168460288 33719 4294967295 134512640 135730672 3221224576 3221223200 134748138 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41128 33719 301 301 0 40827 0
vsize: 164512
[startup+330.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 67927 0 0 0 32818 182 0 0 25 0 1 0 970016041 168460288 33738 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41128 33738 301 301 0 40827 0
vsize: 164512
[startup+340.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 67956 0 0 0 33817 183 0 0 25 0 1 0 970016041 168656896 33767 4294967295 134512640 135730672 3221224576 3221223072 134747851 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41176 33767 301 301 0 40875 0
vsize: 164704
[startup+350.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 67971 0 0 0 34816 184 0 0 25 0 1 0 970016041 168656896 33782 4294967295 134512640 135730672 3221224576 3221223168 134763748 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41176 33782 301 301 0 40875 0
vsize: 164704
[startup+360.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 67986 0 0 0 35815 186 0 0 25 0 1 0 970016041 168656896 33797 4294967295 134512640 135730672 3221224576 3221223236 134748655 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41176 33797 301 301 0 40875 0
vsize: 164704
[startup+370.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 68004 0 0 0 36813 187 0 0 25 0 1 0 970016041 168656896 33815 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41176 33815 301 301 0 40875 0
vsize: 164704
[startup+380.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 68022 0 0 0 37812 189 0 0 25 0 1 0 970016041 168656896 33833 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41176 33833 301 301 0 40875 0
vsize: 164704
[startup+390.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 68122 0 0 0 38811 190 0 0 25 0 1 0 970016041 168943616 33933 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41246 33933 301 301 0 40945 0
vsize: 164984
[startup+400.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 68969 0 0 0 39807 194 0 0 25 0 1 0 970016041 169140224 33958 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41294 33958 301 301 0 40993 0
vsize: 165176
[startup+410.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 69036 0 0 0 40806 195 0 0 25 0 1 0 970016041 169336832 34025 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41342 34025 301 301 0 41041 0
vsize: 165368
[startup+420.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 69053 0 0 0 41804 197 0 0 25 0 1 0 970016041 169336832 34042 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41342 34042 301 301 0 41041 0
vsize: 165368
[startup+430.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 69067 0 0 0 42803 198 0 0 25 0 1 0 970016041 169336832 34056 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41342 34056 301 301 0 41041 0
vsize: 165368
[startup+440.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 69083 0 0 0 43801 200 0 0 25 0 1 0 970016041 169336832 34072 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41342 34072 301 301 0 41041 0
vsize: 165368
[startup+450.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 69166 0 0 0 44800 202 0 0 25 0 1 0 970016041 169779200 34155 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41450 34155 301 301 0 41149 0
vsize: 165800
[startup+460.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 69212 0 0 0 45798 203 0 0 25 0 1 0 970016041 169914368 34201 4294967295 134512640 135730672 3221224576 3221223072 134747741 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41483 34201 301 301 0 41182 0
vsize: 165932
[startup+470.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 69227 0 0 0 46797 204 0 0 25 0 1 0 970016041 169914368 34216 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41483 34216 301 301 0 41182 0
vsize: 165932
[startup+480.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 70055 0 0 0 47794 207 0 0 25 0 1 0 970016041 169914368 34222 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41483 34222 301 301 0 41182 0
vsize: 165932
[startup+490.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 70065 0 0 0 48793 209 0 0 25 0 1 0 970016041 169914368 34232 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41483 34232 301 301 0 41182 0
vsize: 165932
[startup+500.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 70072 0 0 0 49792 210 0 0 25 0 1 0 970016041 169914368 34239 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41483 34239 301 301 0 41182 0
vsize: 165932
[startup+510.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 70911 0 0 0 50789 213 0 0 25 0 1 0 970016041 170078208 34256 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41523 34256 301 301 0 41222 0
vsize: 166092
[startup+520.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 71737 0 0 0 51785 217 0 0 25 0 1 0 970016041 170078208 34260 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41523 34260 301 301 0 41222 0
vsize: 166092
[startup+530.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 72563 0 0 0 52782 220 0 0 25 0 1 0 970016041 170078208 34264 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41523 34264 301 301 0 41222 0
vsize: 166092
[startup+540.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 72575 0 0 0 53781 222 0 0 25 0 1 0 970016041 170078208 34276 4294967295 134512640 135730672 3221224576 3221223168 134764020 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41523 34276 301 301 0 41222 0
vsize: 166092
[startup+550.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 73400 0 0 0 54777 225 0 0 25 0 1 0 970016041 170078208 34279 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41523 34279 301 301 0 41222 0
vsize: 166092
[startup+560.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 74225 0 0 0 55774 228 0 0 25 0 1 0 970016041 170078208 34282 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41523 34282 301 301 0 41222 0
vsize: 166092
[startup+570.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 75052 0 0 0 56772 231 0 0 25 0 1 0 970016041 170078208 34287 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41523 34287 301 301 0 41222 0
vsize: 166092
[startup+580.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 75879 0 0 0 57769 234 0 0 25 0 1 0 970016041 170078208 34292 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41523 34292 301 301 0 41222 0
vsize: 166092
[startup+590.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 75905 0 0 0 58768 234 0 0 25 0 1 0 970016041 170242048 34318 4294967295 134512640 135730672 3221224576 3221223072 134747587 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41563 34318 301 301 0 41262 0
vsize: 166252
[startup+600.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 76729 0 0 0 59766 237 0 0 25 0 1 0 970016041 170242048 34320 4294967295 134512640 135730672 3221224576 3221223232 134734776 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41563 34320 301 301 0 41262 0
vsize: 166252
[startup+610.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 77473 0 0 0 60763 240 0 0 25 0 1 0 970016041 173608960 35064 4294967295 134512640 135730672 3221224576 3221222912 134767241 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42385 35064 301 301 0 42084 0
vsize: 169540
[startup+620.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 77560 0 0 0 61762 242 0 0 25 0 1 0 970016041 170242048 34329 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41563 34329 301 301 0 41262 0
vsize: 166252
[startup+630.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 77564 0 0 0 62760 243 0 0 25 0 1 0 970016041 170242048 34333 4294967295 134512640 135730672 3221224576 3221223088 134745858 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41563 34333 301 301 0 41262 0
vsize: 166252
[startup+640.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 78390 0 0 0 63758 246 0 0 25 0 1 0 970016041 170242048 34337 4294967295 134512640 135730672 3221224576 3221223168 134747445 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41563 34337 301 301 0 41262 0
vsize: 166252
[startup+650.027 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 79230 0 0 0 64755 249 0 0 25 0 1 0 970016041 170242048 34355 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41563 34355 301 301 0 41262 0
vsize: 166252
[startup+660.027 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 79244 0 0 0 65755 249 0 0 25 0 1 0 970016041 170242048 34369 4294967295 134512640 135730672 3221224576 3221223072 134747495 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41563 34369 301 301 0 41262 0
vsize: 166252
[startup+670.027 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 80070 0 0 0 66751 252 0 0 25 0 1 0 970016041 170242048 34373 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41563 34373 301 301 0 41262 0
vsize: 166252
[startup+680.028 s]
Raw data (loadavg): 1.12 1.00 0.92 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 80080 0 0 0 67750 254 0 0 25 0 1 0 970016041 170242048 34383 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41563 34383 301 301 0 41262 0
vsize: 166252
[startup+690.029 s]
Raw data (loadavg): 1.10 1.00 0.92 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 80906 0 0 0 68747 256 0 0 25 0 1 0 970016041 170242048 34387 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41563 34387 301 301 0 41262 0
vsize: 166252
[startup+700.03 s]
Raw data (loadavg): 1.09 1.00 0.92 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 81738 0 0 0 69744 260 0 0 25 0 1 0 970016041 173608960 35219 4294967295 134512640 135730672 3221224576 3221222720 134768821 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42385 35219 301 301 0 42084 0
vsize: 169540
[startup+710.029 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 81752 0 0 0 70743 261 0 0 25 0 1 0 970016041 170242048 34411 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41563 34411 301 301 0 41262 0
vsize: 166252
[startup+720.03 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 82583 0 0 0 71740 264 0 0 25 0 1 0 970016041 170242048 34420 4294967295 134512640 135730672 3221224576 3221223200 134748138 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41563 34420 301 301 0 41262 0
vsize: 166252
[startup+730.03 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 83426 0 0 0 72737 267 0 0 25 0 1 0 970016041 170438656 34441 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41611 34441 301 301 0 41310 0
vsize: 166444
[startup+740.031 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 84260 0 0 0 73734 270 0 0 25 0 1 0 970016041 170438656 34453 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41611 34453 301 301 0 41310 0
vsize: 166444
[startup+750.032 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 85094 0 0 0 74732 273 0 0 25 0 1 0 970016041 170438656 34465 4294967295 134512640 135730672 3221224576 3221223164 134747723 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41611 34465 301 301 0 41310 0
vsize: 166444
[startup+760.032 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 85108 0 0 0 75731 274 0 0 25 0 1 0 970016041 170438656 34479 4294967295 134512640 135730672 3221224576 3221223200 134748182 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41611 34479 301 301 0 41310 0
vsize: 166444
[startup+770.031 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 85124 0 0 0 76730 275 0 0 25 0 1 0 970016041 170438656 34495 4294967295 134512640 135730672 3221224576 3221222992 134741558 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41611 34495 301 301 0 41310 0
vsize: 166444
[startup+780.031 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 85966 0 0 0 77726 278 0 0 25 0 1 0 970016041 170438656 34515 4294967295 134512640 135730672 3221224576 3221223072 134747728 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41611 34515 301 301 0 41310 0
vsize: 166444
[startup+790.032 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 86795 0 0 0 78724 281 0 0 25 0 1 0 970016041 170438656 34522 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41611 34522 301 301 0 41310 0
vsize: 166444
[startup+800.032 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 87628 0 0 0 79721 284 0 0 25 0 1 0 970016041 170438656 34533 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41611 34533 301 301 0 41310 0
vsize: 166444
[startup+810.032 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 87641 0 0 0 80720 285 0 0 25 0 1 0 970016041 170438656 34546 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41611 34546 301 301 0 41310 0
vsize: 166444
[startup+820.033 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 88475 0 0 0 81718 287 0 0 25 0 1 0 970016041 170438656 34558 4294967295 134512640 135730672 3221224576 3221223264 134748499 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41611 34558 301 301 0 41310 0
vsize: 166444
[startup+830.032 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 89308 0 0 0 82716 290 0 0 25 0 1 0 970016041 170438656 34569 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41611 34569 301 301 0 41310 0
vsize: 166444
[startup+840.033 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 90146 0 0 0 83713 293 0 0 25 0 1 0 970016041 170438656 34585 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41611 34585 301 301 0 41310 0
vsize: 166444
[startup+850.033 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 90164 0 0 0 84713 293 0 0 25 0 1 0 970016041 170438656 34603 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41611 34603 301 301 0 41310 0
vsize: 166444
[startup+860.033 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 91000 0 0 0 85710 296 0 0 25 0 1 0 970016041 170569728 34617 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41643 34617 301 301 0 41342 0
vsize: 166572
[startup+870.033 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 91839 0 0 0 86708 299 0 0 25 0 1 0 970016041 170569728 34634 4294967295 134512640 135730672 3221224576 3221223200 134748138 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41643 34634 301 301 0 41342 0
vsize: 166572
[startup+880.033 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 92676 0 0 0 87705 301 0 0 25 0 1 0 970016041 170569728 34649 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41643 34649 301 301 0 41342 0
vsize: 166572
[startup+890.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 93517 0 0 0 88702 304 0 0 25 0 1 0 970016041 173936640 35490 4294967295 134512640 135730672 3221224576 3221222716 134765468 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42465 35490 301 301 0 42164 0
vsize: 169860
[startup+900.033 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 93543 0 0 0 89701 306 0 0 25 0 1 0 970016041 170721280 34694 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41680 34694 301 301 0 41379 0
vsize: 166720
[startup+910.033 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 94387 0 0 0 90698 309 0 0 25 0 1 0 970016041 170721280 34716 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41680 34716 301 301 0 41379 0
vsize: 166720
[startup+920.033 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 95219 0 0 0 91696 311 0 0 25 0 1 0 970016041 170721280 34726 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41680 34726 301 301 0 41379 0
vsize: 166720
[startup+930.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 95240 0 0 0 92695 312 0 0 25 0 1 0 970016041 170721280 34747 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41680 34747 301 301 0 41379 0
vsize: 166720
[startup+940.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 96077 0 0 0 93692 315 0 0 25 0 1 0 970016041 170721280 34762 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41680 34762 301 301 0 41379 0
vsize: 166720
[startup+950.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 96914 0 0 0 94690 318 0 0 25 0 1 0 970016041 170856448 34777 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41713 34777 301 301 0 41412 0
vsize: 166852
[startup+960.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 97751 0 0 0 95687 321 0 0 25 0 1 0 970016041 170856448 34792 4294967295 134512640 135730672 3221224576 3221223072 134747730 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41713 34792 301 301 0 41412 0
vsize: 166852
[startup+970.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 97767 0 0 0 96686 322 0 0 25 0 1 0 970016041 170856448 34808 4294967295 134512640 135730672 3221224576 3221223232 134734761 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41713 34808 301 301 0 41412 0
vsize: 166852
[startup+980.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 98606 0 0 0 97683 325 0 0 25 0 1 0 970016041 170856448 34825 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41713 34825 301 301 0 41412 0
vsize: 166852
[startup+990.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 99442 0 0 0 98681 327 0 0 25 0 1 0 970016041 170856448 34839 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41713 34839 301 301 0 41412 0
vsize: 166852
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 100281 0 0 0 99678 330 0 0 25 0 1 0 970016041 170856448 34856 4294967295 134512640 135730672 3221224576 3221223072 134747770 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41713 34856 301 301 0 41412 0
vsize: 166852
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 101121 0 0 0 100675 333 0 0 25 0 1 0 970016041 174223360 35696 4294967295 134512640 135730672 3221224576 3221222728 134765477 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42535 35696 301 301 0 42234 0
vsize: 170140
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 101139 0 0 0 101674 334 0 0 25 0 1 0 970016041 170987520 34892 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41745 34892 301 301 0 41444 0
vsize: 166980
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 101977 0 0 0 102672 337 0 0 25 0 1 0 970016041 170987520 34908 4294967295 134512640 135730672 3221224576 3221223072 134747823 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41745 34908 301 301 0 41444 0
vsize: 166980
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 102813 0 0 0 103670 339 0 0 25 0 1 0 970016041 170987520 34922 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41745 34922 301 301 0 41444 0
vsize: 166980
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 103652 0 0 0 104667 342 0 0 25 0 1 0 970016041 174354432 35761 4294967295 134512640 135730672 3221224576 3221222712 134765483 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42567 35761 301 301 0 42266 0
vsize: 170268
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 103661 0 0 0 105666 343 0 0 25 0 1 0 970016041 170987520 34948 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41745 34948 301 301 0 41444 0
vsize: 166980
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 104498 0 0 0 106663 346 0 0 25 0 1 0 970016041 170987520 34963 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41745 34963 301 301 0 41444 0
vsize: 166980
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 105341 0 0 0 107661 349 0 0 25 0 1 0 970016041 170987520 34984 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41745 34984 301 301 0 41444 0
vsize: 166980
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 105358 0 0 0 108660 350 0 0 25 0 1 0 970016041 171118592 35001 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41777 35001 301 301 0 41476 0
vsize: 167108
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 106202 0 0 0 109658 352 0 0 25 0 1 0 970016041 171118592 35023 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41777 35023 301 301 0 41476 0
vsize: 167108
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 107033 0 0 0 110655 355 0 0 25 0 1 0 970016041 174485504 35854 4294967295 134512640 135730672 3221224576 3221222764 134772806 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42599 35854 301 301 0 42298 0
vsize: 170396
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 107049 0 0 0 111654 356 0 0 25 0 1 0 970016041 171118592 35048 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41777 35048 301 301 0 41476 0
vsize: 167108
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 107883 0 0 0 112652 358 0 0 25 0 1 0 970016041 171118592 35060 4294967295 134512640 135730672 3221224576 3221223072 134747460 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41777 35060 301 301 0 41476 0
vsize: 167108
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 108718 0 0 0 113650 361 0 0 25 0 1 0 970016041 174485504 35895 4294967295 134512640 135730672 3221224576 3221222716 134765468 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42599 35895 301 301 0 42298 0
vsize: 170396
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 108738 0 0 0 114649 362 0 0 25 0 1 0 970016041 171253760 35093 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41810 35093 301 301 0 41509 0
vsize: 167240
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 109575 0 0 0 115647 365 0 0 25 0 1 0 970016041 171253760 35108 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41810 35108 301 301 0 41509 0
vsize: 167240
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 110413 0 0 0 116644 367 0 0 25 0 1 0 970016041 171253760 35124 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41810 35124 301 301 0 41509 0
vsize: 167240
[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 111253 0 0 0 117642 370 0 0 25 0 1 0 970016041 171253760 35142 4294967295 134512640 135730672 3221224576 3221222900 134732444 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41810 35142 301 301 0 41509 0
vsize: 167240
[startup+1190.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 111266 0 0 0 118641 370 0 0 25 0 1 0 970016041 171253760 35155 4294967295 134512640 135730672 3221224576 3221223232 134734761 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41810 35155 301 301 0 41509 0
vsize: 167240
[startup+1200.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 21199
Raw data (stat): 21199 (pb2sat-v2) R 21198 20224 20223 0 -1 0 112095 0 0 0 119639 373 0 0 25 0 1 0 970016041 171253760 35162 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41810 35162 301 301 0 41509 0
vsize: 167240
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.11 s]
Raw data (loadavg): 1.00 1.00 0.92 1/54 21199
Raw data (stat): 21199 (pb2sat-v2) Z 21198 20224 20223 0 -1 12 112097 0 0 0 119738 380 0 0 25 0 1 0 970016041 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 0
Real time (s): 1201.11
CPU time (s): 1201.19
CPU user time (s): 1197.38
CPU system time (s): 3.80742
CPU usage (%): 100.007
Max. virtual memory (Kb): 170396
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####