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/uclid_pb_benchmarks/normalized-ooo.burch_dill.8.accl.ucl.opb
MD5SUM	0e5bfa52e1e730089f4eefb216f69dfd
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	73
Number of bits of the biggest number in a constraint	7
Biggest sum of numbers in a constraint	262
Number of bits of the biggest sum of numbers	9
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	21380
Total number of constraints	60984
Number of constraints which are clauses	58828
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	2156
Minimum length of a constraint	1
Maximum length of a constraint	13
Trace number 42189

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-16 01:21:23 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25398 boxname=wulflinc2 idbench=300 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  0e5bfa52e1e730089f4eefb216f69dfd  /oldhome/oroussel/tmp/wulflinc2/normalized-ooo.burch_dill.8.accl.ucl.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-ooo.burch_dill.8.accl.ucl.opb
IDLAUNCH: 25398
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        846232 kB
Buffers:         34184 kB
Cached:         128444 kB
SwapCached:       4448 kB
Active:          62948 kB
Inactive:       104796 kB
HighTotal:      131008 kB
HighFree:        14504 kB
LowTotal:       903652 kB
LowFree:        831728 kB
SwapTotal:     2097136 kB
SwapFree:      2091696 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5052 kB
Slab:            15032 kB
Committed_AS:    71904 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 01:41:26 (client local time) WITH STATUS 0 IN 1200.43 SECONDS
stats: 25398 7 1200.43 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 4693/65764	Time: 83.3593/86400
c Decision: 4693/65764	Time: 95.9264/86400
c Decision: 4697/65764	Time: 120.626/86400
c Decision: 4707/65764	Time: 141.617/86400
c Decision: 4717/65764	Time: 165.73/86400
c Decision: 4723/65764	Time: 192.071/86400
c Decision: 4723/65764	Time: 208.558/86400
c Decision: 4723/65764	Time: 224.182/86400
c Decision: 4731/65764	Time: 256.683/86400
c Decision: 4734/65764	Time: 262.292/86400
c Decision: 4734/65764	Time: 276.969/86400
c Decision: 4734/65764	Time: 291.389/86400
c Decision: 4754/65764	Time: 318.209/86400
c Decision: 4754/65764	Time: 330.561/86400
c Decision: 4754/65764	Time: 344.528/86400
c Decision: 4754/65764	Time: 359.017/86400
c Decision: 4810/65764	Time: 374.425/86400
c Decision: 4810/65764	Time: 388.333/86400
c Decision: 4810/65764	Time: 403.03/86400
c Decision: 4810/65764	Time: 417.817/86400
c Decision: 4810/65764	Time: 434.806/86400
c Decision: 4810/65764	Time: 447.742/86400
c Decision: 4810/65764	Time: 454.628/86400
c Decision: 4810/65764	Time: 471.652/86400
c Decision: 4811/65764	Time: 495.983/86400
c Decision: 4811/65764	Time: 511.394/86400
c Decision: 4814/65764	Time: 526.354/86400
c Decision: 4814/65764	Time: 543.061/86400
c Decision: 4814/65764	Time: 549.647/86400
c Decision: 4814/65764	Time: 567.133/86400
c Decision: 4814/65764	Time: 585.828/86400
c Decision: 4814/65764	Time: 602.156/86400
c Decision: 4814/65764	Time: 617.866/86400
c Decision: 4840/65764	Time: 636.101/86400
c Decision: 4840/65764	Time: 644.588/86400
c Decision: 4859/65764	Time: 667.365/86400
c Decision: 4859/65764	Time: 679.61/86400
c Decision: 8142/65764	Time: 702.413/86400
c Decision: 8142/65764	Time: 715.042/86400
c Decision: 8142/65764	Time: 729.511/86400
c Decision: 8142/65764	Time: 747.224/86400
c Decision: 8142/65764	Time: 763.414/86400
c Decision: 8142/65764	Time: 779.82/86400
c Decision: 8142/65764	Time: 788.03/86400
c Decision: 8142/65764	Time: 808.421/86400
c Decision: 8142/65764	Time: 824.084/86400
c Decision: 8142/65764	Time: 838.45/86400
c Decision: 8142/65764	Time: 852.971/86400
c Decision: 8147/65764	Time: 876.698/86400
c Decision: 8147/65764	Time: 885.723/86400
c Decision: 8147/65764	Time: 902.572/86400
c Decision: 8147/65764	Time: 918.426/86400
c Decision: 8147/65764	Time: 934.406/86400
c Decision: 8147/65764	Time: 950.963/86400
c Decision: 8147/65764	Time: 967.067/86400
c Decision: 8174/65764	Time: 984.432/86400
c Decision: 8174/65764	Time: 997.397/86400
c Decision: 8174/65764	Time: 1017.22/86400
c Decision: 8174/65764	Time: 1027.97/86400
c Decision: 8174/65764	Time: 1042.97/86400
c Decision: 8174/65764	Time: 1063.22/86400
c Decision: 8174/65764	Time: 1082.27/86400
c Decision: 8174/65764	Time: 1097.46/86400
c Decision: 8174/65764	Time: 1114.21/86400
c Decision: 8174/65764	Time: 1130.64/86400
c Decision: 8174/65764	Time: 1152.87/86400
c Decision: 8174/65764	Time: 1170.19/86400
c Decision: 8174/65764	Time: 1185.39/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.87 0.91 0.90 2/54 2257
Raw data (stat): 2257 (runsolver) R 2256 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 966765792 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0006 s]
Raw data (loadavg): 0.89 0.91 0.90 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 9431 0 0 0 976 22 0 0 25 0 1 0 966765792 30183424 5394 4294967295 134512640 135730672 3221224576 3221222824 135284552 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7369 5394 301 301 0 7068 0
vsize: 29476
[startup+20.0013 s]
Raw data (loadavg): 0.91 0.91 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 9940 0 0 0 1973 26 0 0 25 0 1 0 966765792 32415744 5903 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7914 5903 301 301 0 7613 0
vsize: 31656
[startup+30.0022 s]
Raw data (loadavg): 0.92 0.92 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 10517 0 0 0 2970 28 0 0 25 0 1 0 966765792 35172352 6480 4294967295 134512640 135730672 3221224576 3221223264 134748420 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8587 6480 301 301 0 8286 0
vsize: 34348
[startup+40.0026 s]
Raw data (loadavg): 0.93 0.92 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 10668 0 0 0 3968 31 0 0 25 0 1 0 966765792 35926016 6631 4294967295 134512640 135730672 3221224576 3221222952 135285983 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8771 6638 301 301 0 8470 0
vsize: 35084
[startup+50.0023 s]
Raw data (loadavg): 0.94 0.92 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 10857 0 0 0 4967 32 0 0 25 0 1 0 966765792 36651008 6820 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8948 6820 301 301 0 8647 0
vsize: 35792
[startup+60.0019 s]
Raw data (loadavg): 0.95 0.92 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 10966 0 0 0 5966 33 0 0 25 0 1 0 966765792 37240832 6929 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9092 6929 301 301 0 8791 0
vsize: 36368
[startup+70.0017 s]
Raw data (loadavg): 0.96 0.92 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 11224 0 0 0 6965 34 0 0 25 0 1 0 966765792 38383616 7187 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9371 7187 301 301 0 9070 0
vsize: 37484
[startup+80.0024 s]
Raw data (loadavg): 0.96 0.93 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 11440 0 0 0 7963 36 0 0 25 0 1 0 966765792 39600128 7403 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9668 7403 301 301 0 9367 0
vsize: 38672
[startup+90.0024 s]
Raw data (loadavg): 0.97 0.93 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 11522 0 0 0 8962 38 0 0 25 0 1 0 966765792 39870464 7485 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9734 7485 301 301 0 9433 0
vsize: 38936
[startup+100.002 s]
Raw data (loadavg): 0.97 0.93 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 11731 0 0 0 9960 40 0 0 25 0 1 0 966765792 40140800 7565 4294967295 134512640 135730672 3221224576 3221223168 134747445 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9800 7565 301 301 0 9499 0
vsize: 39200
[startup+110.003 s]
Raw data (loadavg): 0.98 0.93 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 11946 0 0 0 10958 41 0 0 25 0 1 0 966765792 40681472 7651 4294967295 134512640 135730672 3221224576 3221223072 134747647 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9932 7651 301 301 0 9631 0
vsize: 39728
[startup+120.002 s]
Raw data (loadavg): 0.98 0.93 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 11995 0 0 0 11956 43 0 0 25 0 1 0 966765792 40951808 7700 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9998 7700 301 301 0 9697 0
vsize: 39992
[startup+130.003 s]
Raw data (loadavg): 0.98 0.93 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 12159 0 0 0 12955 44 0 0 25 0 1 0 966765792 41086976 7735 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10031 7735 301 301 0 9730 0
vsize: 40124
[startup+140.004 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 12180 0 0 0 13953 45 0 0 25 0 1 0 966765792 41086976 7756 4294967295 134512640 135730672 3221224576 3221223072 134747587 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10031 7756 301 301 0 9730 0
vsize: 40124
[startup+150.004 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 12354 0 0 0 14952 47 0 0 25 0 1 0 966765792 41222144 7801 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10064 7801 301 301 0 9763 0
vsize: 40256
[startup+160.004 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 12415 0 0 0 15952 47 0 0 25 0 1 0 966765792 41492480 7862 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10130 7862 301 301 0 9829 0
vsize: 40520
[startup+170.004 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 12441 0 0 0 16951 48 0 0 25 0 1 0 966765792 41492480 7888 4294967295 134512640 135730672 3221224576 3221223200 134748120 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10130 7888 301 301 0 9829 0
vsize: 40520
[startup+180.004 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 12590 0 0 0 17950 50 0 0 25 0 1 0 966765792 41492480 7908 4294967295 134512640 135730672 3221224576 3221222900 134732533 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10130 7908 301 301 0 9829 0
vsize: 40520
[startup+190.004 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 12612 0 0 0 18949 51 0 0 25 0 1 0 966765792 41492480 7930 4294967295 134512640 135730672 3221224576 3221223200 134748214 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10130 7930 301 301 0 9829 0
vsize: 40520
[startup+200.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 12801 0 0 0 19947 53 0 0 25 0 1 0 966765792 42291200 8119 4294967295 134512640 135730672 3221224576 3221222736 134768808 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10325 8119 301 301 0 10024 0
vsize: 41300
[startup+210.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 12810 0 0 0 20946 54 0 0 25 0 1 0 966765792 41762816 7999 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10196 7999 301 301 0 9895 0
vsize: 40784
[startup+220.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 12941 0 0 0 21946 55 0 0 25 0 1 0 966765792 41762816 8001 4294967295 134512640 135730672 3221224576 3221223072 134747811 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10196 8001 301 301 0 9895 0
vsize: 40784
[startup+230.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 12945 0 0 0 22945 56 0 0 25 0 1 0 966765792 41762816 8005 4294967295 134512640 135730672 3221224576 3221223236 134748655 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10196 8005 301 301 0 9895 0
vsize: 40784
[startup+240.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 13093 0 0 0 23944 57 0 0 25 0 1 0 966765792 41762816 8024 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10196 8024 301 301 0 9895 0
vsize: 40784
[startup+250.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 13118 0 0 0 24943 58 0 0 25 0 1 0 966765792 41762816 8049 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10196 8049 301 301 0 9895 0
vsize: 40784
[startup+260.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 13142 0 0 0 25942 59 0 0 25 0 1 0 966765792 45957120 8073 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11220 8073 301 301 0 10919 0
vsize: 44880
[startup+270.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 13339 0 0 0 26941 60 0 0 25 0 1 0 966765792 46092288 8141 4294967295 134512640 135730672 3221224576 3221223228 134748262 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11253 8141 301 301 0 10952 0
vsize: 45012
[startup+280.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 13490 0 0 0 27940 62 0 0 25 0 1 0 966765792 46092288 8163 4294967295 134512640 135730672 3221224576 3221222896 134732524 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11253 8163 301 301 0 10952 0
vsize: 45012
[startup+290.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 13633 0 0 0 28938 63 0 0 25 0 1 0 966765792 46092288 8177 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11253 8177 301 301 0 10952 0
vsize: 45012
[startup+300.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 13767 0 0 0 29937 65 0 0 25 0 1 0 966765792 46092288 8182 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11253 8182 301 301 0 10952 0
vsize: 45012
[startup+310.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 13771 0 0 0 30936 66 0 0 25 0 1 0 966765792 46092288 8186 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11253 8186 301 301 0 10952 0
vsize: 45012
[startup+320.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 13794 0 0 0 31935 67 0 0 25 0 1 0 966765792 46227456 8209 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11286 8209 301 301 0 10985 0
vsize: 45144
[startup+330.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 13929 0 0 0 32934 68 0 0 25 0 1 0 966765792 46227456 8215 4294967295 134512640 135730672 3221224576 3221223072 134747608 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11286 8215 301 301 0 10985 0
vsize: 45144
[startup+340.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 14123 0 0 0 33932 70 0 0 25 0 1 0 966765792 46497792 8280 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11352 8280 301 301 0 11051 0
vsize: 45408
[startup+350.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 14150 0 0 0 34931 72 0 0 25 0 1 0 966765792 46497792 8307 4294967295 134512640 135730672 3221224576 3221223072 134747519 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11352 8307 301 301 0 11051 0
vsize: 45408
[startup+360.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 14303 0 0 0 35929 73 0 0 25 0 1 0 966765792 46497792 8331 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11352 8331 301 301 0 11051 0
vsize: 45408
[startup+370.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 14474 0 0 0 36927 75 0 0 25 0 1 0 966765792 46632960 8373 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11385 8373 301 301 0 11084 0
vsize: 45540
[startup+380.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 14476 0 0 0 37927 76 0 0 25 0 1 0 966765792 46632960 8375 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11385 8375 301 301 0 11084 0
vsize: 45540
[startup+390.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 14626 0 0 0 38925 78 0 0 25 0 1 0 966765792 46768128 8396 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11418 8396 301 301 0 11117 0
vsize: 45672
[startup+400.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 14762 0 0 0 39924 79 0 0 25 0 1 0 966765792 46768128 8403 4294967295 134512640 135730672 3221224576 3221222904 134739222 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11418 8403 301 301 0 11117 0
vsize: 45672
[startup+410.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 14765 0 0 0 40923 80 0 0 25 0 1 0 966765792 46768128 8406 4294967295 134512640 135730672 3221224576 3221222816 135109333 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11418 8406 301 301 0 11117 0
vsize: 45672
[startup+420.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 14909 0 0 0 41922 82 0 0 25 0 1 0 966765792 46768128 8421 4294967295 134512640 135730672 3221224576 3221223072 134747639 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11418 8421 301 301 0 11117 0
vsize: 45672
[startup+430.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 15061 0 0 0 42920 83 0 0 25 0 1 0 966765792 46768128 8444 4294967295 134512640 135730672 3221224576 3221223072 134747823 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11418 8444 301 301 0 11117 0
vsize: 45672
[startup+440.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 15088 0 0 0 43919 84 0 0 25 0 1 0 966765792 46768128 8471 4294967295 134512640 135730672 3221224576 3221223200 134748145 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11418 8471 301 301 0 11117 0
vsize: 45672
[startup+450.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 15225 0 0 0 44918 86 0 0 25 0 1 0 966765792 46768128 8479 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11418 8479 301 301 0 11117 0
vsize: 45672
[startup+460.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 15372 0 0 0 45916 88 0 0 25 0 1 0 966765792 46768128 8497 4294967295 134512640 135730672 3221224576 3221223072 134747513 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11418 8497 301 301 0 11117 0
vsize: 45672
[startup+470.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 15536 0 0 0 46915 90 0 0 25 0 1 0 966765792 46768128 8532 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11418 8532 301 301 0 11117 0
vsize: 45672
[startup+480.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 15732 0 0 0 47913 91 0 0 25 0 1 0 966765792 47038464 8599 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11484 8599 301 301 0 11183 0
vsize: 45936
[startup+490.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 15758 0 0 0 48912 93 0 0 25 0 1 0 966765792 47038464 8625 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11484 8625 301 301 0 11183 0
vsize: 45936
[startup+500.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 15782 0 0 0 49911 94 0 0 25 0 1 0 966765792 47038464 8649 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11484 8649 301 301 0 11183 0
vsize: 45936
[startup+510.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 15931 0 0 0 50910 95 0 0 25 0 1 0 966765792 47038464 8669 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11484 8669 301 301 0 11183 0
vsize: 45936
[startup+520.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 16089 0 0 0 51909 97 0 0 25 0 1 0 966765792 47038464 8698 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11484 8698 301 301 0 11183 0
vsize: 45936
[startup+530.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 16095 0 0 0 52908 97 0 0 25 0 1 0 966765792 47038464 8704 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11484 8704 301 301 0 11183 0
vsize: 45936
[startup+540.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 16227 0 0 0 53907 99 0 0 25 0 1 0 966765792 47038464 8707 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11484 8707 301 301 0 11183 0
vsize: 45936
[startup+550.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 16230 0 0 0 54906 100 0 0 25 0 1 0 966765792 47038464 8710 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11484 8710 301 301 0 11183 0
vsize: 45936
[startup+560.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 16520 0 0 0 55905 101 0 0 25 0 1 0 966765792 47038464 8742 4294967295 134512640 135730672 3221224576 3221223168 134763578 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11484 8742 301 301 0 11183 0
vsize: 45936
[startup+570.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 16564 0 0 0 56904 102 0 0 25 0 1 0 966765792 47173632 8786 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11517 8786 301 301 0 11216 0
vsize: 46068
[startup+580.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 16717 0 0 0 57903 103 0 0 25 0 1 0 966765792 47173632 8810 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11517 8810 301 301 0 11216 0
vsize: 46068
[startup+590.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 16738 0 0 0 58902 104 0 0 25 0 1 0 966765792 47173632 8831 4294967295 134512640 135730672 3221224576 3221223264 134748549 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11517 8831 301 301 0 11216 0
vsize: 46068
[startup+600.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 16879 0 0 0 59901 105 0 0 25 0 1 0 966765792 47173632 8843 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11517 8843 301 301 0 11216 0
vsize: 46068
[startup+610.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 16883 0 0 0 60900 106 0 0 25 0 1 0 966765792 47173632 8847 4294967295 134512640 135730672 3221224576 3221223088 134746494 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11517 8847 301 301 0 11216 0
vsize: 46068
[startup+620.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 17051 0 0 0 61900 107 0 0 25 0 1 0 966765792 47173632 8886 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11517 8886 301 301 0 11216 0
vsize: 46068
[startup+630.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 17203 0 0 0 62898 109 0 0 25 0 1 0 966765792 47173632 8909 4294967295 134512640 135730672 3221224576 3221223072 134747516 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11517 8909 301 301 0 11216 0
vsize: 46068
[startup+640.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 17236 0 0 0 63898 110 0 0 25 0 1 0 966765792 47173632 8942 4294967295 134512640 135730672 3221224576 3221223168 134763576 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11517 8942 301 301 0 11216 0
vsize: 46068
[startup+650.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 17420 0 0 0 64896 112 0 0 25 0 1 0 966765792 47173632 8997 4294967295 134512640 135730672 3221224576 3221223184 135284046 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11517 8997 301 301 0 11216 0
vsize: 46068
[startup+660.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 17630 0 0 0 65894 113 0 0 25 0 1 0 966765792 47443968 9078 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11583 9078 301 301 0 11282 0
vsize: 46332
[startup+670.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 17664 0 0 0 66894 114 0 0 25 0 1 0 966765792 47443968 9112 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11583 9112 301 301 0 11282 0
vsize: 46332
[startup+680.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 17822 0 0 0 67893 114 0 0 25 0 1 0 966765792 47443968 9141 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11583 9141 301 301 0 11282 0
vsize: 46332
[startup+690.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 17958 0 0 0 68892 116 0 0 25 0 1 0 966765792 47443968 9148 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11583 9148 301 301 0 11282 0
vsize: 46332
[startup+700.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 18007 0 0 0 69891 117 0 0 25 0 1 0 966765792 47714304 9197 4294967295 134512640 135730672 3221224576 3221223056 134732619 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11649 9197 301 301 0 11348 0
vsize: 46596
[startup+710.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 18010 0 0 0 70890 118 0 0 25 0 1 0 966765792 47714304 9200 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11649 9200 301 301 0 11348 0
vsize: 46596
[startup+720.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 18144 0 0 0 71889 120 0 0 25 0 1 0 966765792 47714304 9205 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11649 9205 301 301 0 11348 0
vsize: 46596
[startup+730.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 18279 0 0 0 72888 121 0 0 25 0 1 0 966765792 47714304 9211 4294967295 134512640 135730672 3221224576 3221222896 134732524 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11649 9211 301 301 0 11348 0
vsize: 46596
[startup+740.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 18436 0 0 0 73886 123 0 0 25 0 1 0 966765792 47714304 9239 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11649 9239 301 301 0 11348 0
vsize: 46596
[startup+750.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 18501 0 0 0 74885 124 0 0 25 0 1 0 966765792 47984640 9304 4294967295 134512640 135730672 3221224576 3221223200 134748108 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11715 9304 301 301 0 11414 0
vsize: 46860
[startup+760.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 18645 0 0 0 75884 125 0 0 25 0 1 0 966765792 47984640 9319 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11715 9319 301 301 0 11414 0
vsize: 46860
[startup+770.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 18649 0 0 0 76884 126 0 0 25 0 1 0 966765792 47984640 9323 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11715 9323 301 301 0 11414 0
vsize: 46860
[startup+780.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 18781 0 0 0 77883 127 0 0 25 0 1 0 966765792 47984640 9326 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11715 9326 301 301 0 11414 0
vsize: 46860
[startup+790.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 18914 0 0 0 78882 128 0 0 25 0 1 0 966765792 47984640 9330 4294967295 134512640 135730672 3221224576 3221222896 134732796 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11715 9330 301 301 0 11414 0
vsize: 46860
[startup+800.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 19047 0 0 0 79881 129 0 0 25 0 1 0 966765792 47984640 9334 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11715 9334 301 301 0 11414 0
vsize: 46860
[startup+810.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 19049 0 0 0 80880 130 0 0 25 0 1 0 966765792 47984640 9336 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11715 9336 301 301 0 11414 0
vsize: 46860
[startup+820.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 19184 0 0 0 81879 131 0 0 25 0 1 0 966765792 47984640 9342 4294967295 134512640 135730672 3221224576 3221222816 134786501 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11715 9342 301 301 0 11414 0
vsize: 46860
[startup+830.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 19225 0 0 0 82878 132 0 0 25 0 1 0 966765792 47984640 9383 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11715 9383 301 301 0 11414 0
vsize: 46860
[startup+840.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 19361 0 0 0 83877 133 0 0 25 0 1 0 966765792 47984640 9390 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11715 9390 301 301 0 11414 0
vsize: 46860
[startup+850.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 19493 0 0 0 84876 135 0 0 25 0 1 0 966765792 47984640 9393 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11715 9393 301 301 0 11414 0
vsize: 46860
[startup+860.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 19496 0 0 0 85875 136 0 0 25 0 1 0 966765792 47984640 9396 4294967295 134512640 135730672 3221224576 3221223184 134744862 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11715 9396 301 301 0 11414 0
vsize: 46860
[startup+870.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 19627 0 0 0 86874 137 0 0 25 0 1 0 966765792 47984640 9398 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11715 9398 301 301 0 11414 0
vsize: 46860
[startup+880.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 19629 0 0 0 87874 138 0 0 25 0 1 0 966765792 47984640 9400 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11715 9400 301 301 0 11414 0
vsize: 46860
[startup+890.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 19847 0 0 0 88873 139 0 0 25 0 1 0 966765792 47984640 9489 4294967295 134512640 135730672 3221224576 3221223264 134748554 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11715 9489 301 301 0 11414 0
vsize: 46860
[startup+900.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 20028 0 0 0 89872 140 0 0 25 0 1 0 966765792 47984640 9541 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11715 9541 301 301 0 11414 0
vsize: 46860
[startup+910.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 20071 0 0 0 90871 141 0 0 25 0 1 0 966765792 47984640 9584 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11715 9584 301 301 0 11414 0
vsize: 46860
[startup+920.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 20207 0 0 0 91870 142 0 0 25 0 1 0 966765792 47984640 9591 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11715 9591 301 301 0 11414 0
vsize: 46860
[startup+930.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 20344 0 0 0 92870 143 0 0 25 0 1 0 966765792 48115712 9599 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11747 9599 301 301 0 11446 0
vsize: 46988
[startup+940.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 20349 0 0 0 93869 143 0 0 25 0 1 0 966765792 48115712 9604 4294967295 134512640 135730672 3221224576 3221223072 134747967 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11747 9604 301 301 0 11446 0
vsize: 46988
[startup+950.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 20487 0 0 0 94868 145 0 0 25 0 1 0 966765792 48115712 9613 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11747 9613 301 301 0 11446 0
vsize: 46988
[startup+960.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 20622 0 0 0 95867 146 0 0 25 0 1 0 966765792 48115712 9619 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11747 9619 301 301 0 11446 0
vsize: 46988
[startup+970.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 20646 0 0 0 96866 147 0 0 25 0 1 0 966765792 48115712 9643 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11747 9643 301 301 0 11446 0
vsize: 46988
[startup+980.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 20834 0 0 0 97865 148 0 0 25 0 1 0 966765792 56639488 9702 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13828 9702 301 301 0 13527 0
vsize: 55312
[startup+990.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 20873 0 0 0 98864 149 0 0 25 0 1 0 966765792 56639488 9741 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13828 9741 301 301 0 13527 0
vsize: 55312
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 21013 0 0 0 99863 151 0 0 25 0 1 0 966765792 56758272 9752 4294967295 134512640 135730672 3221224576 3221223184 134744732 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13857 9752 301 301 0 13556 0
vsize: 55428
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 21168 0 0 0 100861 152 0 0 25 0 1 0 966765792 56934400 9778 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13900 9778 301 301 0 13599 0
vsize: 55600
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 21170 0 0 0 101861 153 0 0 25 0 1 0 966765792 56934400 9780 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13900 9780 301 301 0 13599 0
vsize: 55600
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 21320 0 0 0 102860 154 0 0 25 0 1 0 966765792 56934400 9801 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13900 9801 301 301 0 13599 0
vsize: 55600
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 21452 0 0 0 103859 155 0 0 25 0 1 0 966765792 56934400 9804 4294967295 134512640 135730672 3221224576 3221222912 134739213 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13900 9804 301 301 0 13599 0
vsize: 55600
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 21481 0 0 0 104858 156 0 0 25 0 1 0 966765792 56934400 9833 4294967295 134512640 135730672 3221224576 3221223072 134747629 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13900 9833 301 301 0 13599 0
vsize: 55600
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 21645 0 0 0 105857 158 0 0 25 0 1 0 966765792 56934400 9868 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13900 9868 301 301 0 13599 0
vsize: 55600
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 21694 0 0 0 106856 158 0 0 25 0 1 0 966765792 57065472 9917 4294967295 134512640 135730672 3221224576 3221223184 134744700 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13932 9917 301 301 0 13631 0
vsize: 55728
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 21829 0 0 0 107855 160 0 0 25 0 1 0 966765792 57065472 9923 4294967295 134512640 135730672 3221224576 3221223072 134747647 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13932 9923 301 301 0 13631 0
vsize: 55728
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 21835 0 0 0 108854 161 0 0 25 0 1 0 966765792 57065472 9929 4294967295 134512640 135730672 3221224576 3221223088 134746474 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13932 9929 301 301 0 13631 0
vsize: 55728
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 21972 0 0 0 109853 162 0 0 25 0 1 0 966765792 57212928 9937 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13968 9937 301 301 0 13667 0
vsize: 55872
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 22131 0 0 0 110852 164 0 0 25 0 1 0 966765792 57212928 9967 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13968 9967 301 301 0 13667 0
vsize: 55872
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 22177 0 0 0 111851 165 0 0 25 0 1 0 966765792 57212928 10013 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13968 10013 301 301 0 13667 0
vsize: 55872
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 23891 0 0 0 112847 169 0 0 25 0 1 0 966765792 63504384 10061 4294967295 134512640 135730672 3221224576 3221223072 134747641 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15504 10061 301 301 0 15203 0
vsize: 62016
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 24063 0 0 0 113846 170 0 0 25 0 1 0 966765792 63504384 10104 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15504 10104 301 301 0 15203 0
vsize: 62016
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 24115 0 0 0 114844 172 0 0 25 0 1 0 966765792 63660032 10156 4294967295 134512640 135730672 3221224576 3221223200 134748120 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15542 10156 301 301 0 15241 0
vsize: 62168
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 24150 0 0 0 115843 173 0 0 25 0 1 0 966765792 63660032 10191 4294967295 134512640 135730672 3221224576 3221223072 134747741 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15542 10191 301 301 0 15241 0
vsize: 62168
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 24282 0 0 0 116842 174 0 0 25 0 1 0 966765792 63660032 10194 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15542 10194 301 301 0 15241 0
vsize: 62168
[startup+1180.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 24417 0 0 0 117841 176 0 0 25 0 1 0 966765792 63660032 10200 4294967295 134512640 135730672 3221224576 3221223264 134748577 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15542 10200 301 301 0 15241 0
vsize: 62168
[startup+1190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 24427 0 0 0 118841 176 0 0 25 0 1 0 966765792 63660032 10210 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15542 10210 301 301 0 15241 0
vsize: 62168
[startup+1200.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2257
Raw data (stat): 2257 (pb2sat-v2) R 2256 31399 31398 0 -1 0 24653 0 0 0 119840 177 0 0 25 0 1 0 966765792 63795200 10307 4294967295 134512640 135730672 3221224576 3221223072 134747610 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15575 10307 301 301 0 15274 0
vsize: 62300
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.26 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 2257
Raw data (stat): 2257 (pb2sat-v2) Z 2256 31399 31398 0 -1 12 24655 0 0 0 119863 179 0 0 25 0 1 0 966765792 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): 1200.26
CPU time (s): 1200.43
CPU user time (s): 1198.64
CPU system time (s): 1.79173
CPU usage (%): 100.014
Max. virtual memory (Kb): 62300
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####