PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-pp08aCUTS.opb
MD5SUM	fa6454a9831f2da4180d8bfab7c0a21b
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	2304
Biggest coefficient in the objective function	1048576
Number of bits for the biggest coefficient in the objective function	21
Sum of the numbers in the objective function	178464600
Number of bits of the sum of numbers in the objective function	28
Biggest number in a constraint	1048576
Number of bits of the biggest number in a constraint	21
Biggest sum of numbers in a constraint	178464600
Number of bits of the biggest sum of numbers	28
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.037993
Number of variables	3288
Total number of constraints	310
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	310
Minimum length of a constraint	14
Maximum length of a constraint	123
Trace number 42934

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-16 18:36:40 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26144 boxname=wulflinc4 idbench=1444 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  fa6454a9831f2da4180d8bfab7c0a21b  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-pp08aCUTS.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-pp08aCUTS.opb
IDLAUNCH: 26144
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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.169
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:        834508 kB
Buffers:         10188 kB
Cached:         168224 kB
SwapCached:        904 kB
Active:          27524 kB
Inactive:       152972 kB
HighTotal:      131008 kB
HighFree:        44128 kB
LowTotal:       903652 kB
LowFree:        790380 kB
SwapTotal:     2097136 kB
SwapFree:      2095236 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4996 kB
Slab:            14016 kB
Committed_AS:    71908 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 18:56:43 (client local time) WITH STATUS 0 IN 1200.47 SECONDS
stats: 26144 7 1200.47 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 1092/85892	Time: 6.598/86400
c Decision: 1116/85892	Time: 9.25659/86400
c Decision: 1118/85892	Time: 11.6442/86400
c Decision: 1118/85892	Time: 13.8269/86400
c Decision: 1126/85892	Time: 16.7745/86400
c Decision: 1141/85892	Time: 21.0478/86400
c Decision: 1141/85892	Time: 22.9415/86400
c Decision: 1141/85892	Time: 25.0172/86400
c Decision: 1141/85892	Time: 26.9679/86400
c Decision: 1141/85892	Time: 29.2646/86400
c Decision: 1141/85892	Time: 31.8512/86400
c Decision: 1141/85892	Time: 34.1468/86400
c Decision: 1141/85892	Time: 36.3735/86400
c Decision: 1141/85892	Time: 38.7721/86400
c Decision: 1192/85892	Time: 47.6198/86400
c Decision: 1192/85892	Time: 50.4983/86400
c Decision: 1201/85892	Time: 53.4569/86400
c Decision: 1201/85892	Time: 56.8424/86400
c Decision: 1201/85892	Time: 59.353/86400
c Decision: 1215/85892	Time: 66.04/86400
c Decision: 1215/85892	Time: 69.6914/86400
c Decision: 1215/85892	Time: 72.508/86400
c Decision: 1238/85892	Time: 81.1927/86400
c Decision: 1238/85892	Time: 83.3013/86400
c Decision: 1238/85892	Time: 86.4769/86400
c Decision: 1257/85892	Time: 91.0762/86400
c Decision: 1257/85892	Time: 94.0527/86400
c Decision: 1257/85892	Time: 96.9713/86400
c Decision: 1260/85892	Time: 100.046/86400
c Decision: 1260/85892	Time: 102.999/86400
c Decision: 1260/85892	Time: 106.313/86400
c Decision: 1260/85892	Time: 109.496/86400
c Decision: 1267/85892	Time: 112.675/86400
c Decision: 1278/85892	Time: 122.788/86400
c Decision: 1278/85892	Time: 126.409/86400
c Decision: 1278/85892	Time: 130.128/86400
c Decision: 1289/85892	Time: 136.817/86400
c Decision: 1303/85892	Time: 147.03/86400
c Decision: 1313/85892	Time: 156.12/86400
c Decision: 1320/85892	Time: 164.405/86400
c Decision: 1333/85892	Time: 172.823/86400
c Decision: 1355/85892	Time: 180.175/86400
c Decision: 1355/85892	Time: 184.345/86400
c Decision: 1355/85892	Time: 188.281/86400
c Decision: 1357/85892	Time: 192.5/86400
c Decision: 1375/85892	Time: 205.699/86400
c Decision: 1377/85892	Time: 211.079/86400
c Decision: 1377/85892	Time: 215.408/86400
c Decision: 1386/85892	Time: 223.294/86400
c Decision: 1386/85892	Time: 227.932/86400
c Decision: 1388/85892	Time: 235.951/86400
c Decision: 1389/85892	Time: 242.169/86400
c Decision: 1400/85892	Time: 250.644/86400
c Decision: 1400/85892	Time: 255.563/86400
c Decision: 1400/85892	Time: 260.892/86400
c Decision: 1404/85892	Time: 272.025/86400
c Decision: 1407/85892	Time: 277.858/86400
c Decision: 1407/85892	Time: 283.058/86400
c Decision: 1407/85892	Time: 288.157/86400
c Decision: 1407/85892	Time: 293.83/86400
c Decision: 1455/85892	Time: 309.578/86400
c Decision: 1455/85892	Time: 314.397/86400
c Decision: 1466/85892	Time: 325.748/86400
c Decision: 1485/85892	Time: 336.903/86400
c Decision: 1500/85892	Time: 349.03/86400
c Decision: 1517/85892	Time: 369.886/86400
c Decision: 1517/85892	Time: 376.941/86400
c Decision: 1517/85892	Time: 380.357/86400
c Decision: 1519/85892	Time: 383.468/86400
c Decision: 1522/85892	Time: 387.76/86400
c Decision: 1522/85892	Time: 391.16/86400
c Decision: 1561/85892	Time: 400.965/86400
c Decision: 1561/85892	Time: 403.667/86400
c Decision: 1561/85892	Time: 407.162/86400
c Decision: 1561/85892	Time: 409.978/86400
c Decision: 1561/85892	Time: 413.567/86400
c Decision: 1561/85892	Time: 416.382/86400
c Decision: 1561/85892	Time: 419.488/86400
c Decision: 1561/85892	Time: 423.238/86400
c Decision: 1565/85892	Time: 429.735/86400
c Decision: 1565/85892	Time: 434.071/86400
c Decision: 1565/85892	Time: 438.463/86400
c Decision: 1565/85892	Time: 442.396/86400
c Decision: 1565/85892	Time: 447.445/86400
c Decision: 1568/85892	Time: 454.177/86400
c Decision: 1568/85892	Time: 460.102/86400
c Decision: 1568/85892	Time: 464.11/86400
c Decision: 1568/85892	Time: 469.098/86400
c Decision: 1572/85892	Time: 478.615/86400
c Decision: 1574/85892	Time: 488.698/86400
c Decision: 1574/85892	Time: 494.241/86400
c Decision: 1587/85892	Time: 502.395/86400
c Decision: 1587/85892	Time: 508.566/86400
c Decision: 1592/85892	Time: 520.105/86400
c Decision: 1598/85892	Time: 532.354/86400
c Decision: 1600/85892	Time: 544.202/86400
c Decision: 1600/85892	Time: 550.962/86400
c Decision: 1613/85892	Time: 562.807/86400
c Decision: 1615/85892	Time: 573.69/86400
c Decision: 1615/85892	Time: 579.822/86400
c Decision: 1618/85892	Time: 590.072/86400
c Decision: 1634/85892	Time: 604.719/86400
c Decision: 1634/85892	Time: 611.67/86400
c Decision: 1640/85892	Time: 624.075/86400
c Decision: 1640/85892	Time: 631.288/86400
c Decision: 1640/85892	Time: 639.278/86400
c Decision: 1640/85892	Time: 646.003/86400
c Decision: 1640/85892	Time: 653.49/86400
c Decision: 1658/85892	Time: 663.442/86400
c Decision: 1658/85892	Time: 668.516/86400
c Decision: 1658/85892	Time: 675.57/86400
c Decision: 1673/85892	Time: 685.259/86400
c Decision: 1674/85892	Time: 693.738/86400
c Decision: 1674/85892	Time: 699.764/86400
c Decision: 1674/85892	Time: 704.642/86400
c Decision: 1674/85892	Time: 711.449/86400
c Decision: 1674/85892	Time: 716.912/86400
c Decision: 1674/85892	Time: 722.476/86400
c Decision: 1674/85892	Time: 729.129/86400
c Decision: 1674/85892	Time: 735.887/86400
c Decision: 1674/85892	Time: 743.623/86400
c Decision: 1674/85892	Time: 751.056/86400
c Decision: 1675/85892	Time: 763.17/86400
c Decision: 1675/85892	Time: 770.579/86400
c Decision: 1697/85892	Time: 786.046/86400
c Decision: 1697/85892	Time: 792.986/86400
c Decision: 1697/85892	Time: 799.781/86400
c Decision: 1697/85892	Time: 806.586/86400
c Decision: 1697/85892	Time: 813.015/86400
c Decision: 1703/85892	Time: 825.357/86400
c Decision: 1703/85892	Time: 831.879/86400
c Decision: 1703/85892	Time: 839.279/86400
c Decision: 1709/85892	Time: 847.575/86400
c Decision: 1709/85892	Time: 853.397/86400
c Decision: 1709/85892	Time: 859.338/86400
c Decision: 1735/85892	Time: 872.457/86400
c Decision: 1735/85892	Time: 878.215/86400
c Decision: 1751/85892	Time: 888.076/86400
c Decision: 1751/85892	Time: 893.761/86400
c Decision: 1757/85892	Time: 904.93/86400
c Decision: 1757/85892	Time: 912.101/86400
c Decision: 1757/85892	Time: 918.317/86400
c Decision: 1757/85892	Time: 924.764/86400
c Decision: 1772/85892	Time: 940.117/86400
c Decision: 1803/85892	Time: 968.916/86400
c Decision: 1808/85892	Time: 982.719/86400
c Decision: 1814/85892	Time: 993.938/86400
c Decision: 1826/85892	Time: 1016.51/86400
c Decision: 1829/85892	Time: 1025.47/86400
c Decision: 1833/85892	Time: 1039.03/86400
c Decision: 1833/85892	Time: 1047.17/86400
c Decision: 1839/85892	Time: 1062.09/86400
c Decision: 1874/85892	Time: 1080.21/86400
c Decision: 1874/85892	Time: 1087.91/86400
c Decision: 1874/85892	Time: 1094.99/86400
c Decision: 1874/85892	Time: 1101.89/86400
c Decision: 1899/85892	Time: 1121.45/86400
c Decision: 1899/85892	Time: 1129.45/86400
c Decision: 1903/85892	Time: 1143.81/86400
c Decision: 1909/85892	Time: 1160.46/86400
c Decision: 1913/85892	Time: 1174.29/86400
c Decision: 1935/85892	Time: 1189.84/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 31371
Raw data (stat): 31371 (runsolver) R 31370 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 972964163 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0005 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 12296 0 0 0 962 37 0 0 25 0 1 0 972964163 41029632 6727 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10017 6727 301 301 0 9716 0
vsize: 40068
[startup+20.0014 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 13224 0 0 0 1953 45 0 0 25 0 1 0 972964163 41717760 6983 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10185 6983 301 301 0 9884 0
vsize: 40740
[startup+30.0018 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 14001 0 0 0 2945 53 0 0 25 0 1 0 972964163 41857024 7088 4294967295 134512640 135730672 3221224576 3221222900 134732533 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10219 7088 301 301 0 9918 0
vsize: 40876
[startup+40.0021 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 14583 0 0 0 3939 59 0 0 25 0 1 0 972964163 41996288 7166 4294967295 134512640 135730672 3221224576 3221223072 134747902 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10253 7166 301 301 0 9952 0
vsize: 41012
[startup+50.0033 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 15052 0 0 0 4932 66 0 0 25 0 1 0 972964163 42274816 7299 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10321 7299 301 301 0 10020 0
vsize: 41284
[startup+60.0028 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 15683 0 0 0 5924 74 0 0 25 0 1 0 972964163 42680320 7426 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10420 7426 301 301 0 10119 0
vsize: 41680
[startup+70.0037 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 16133 0 0 0 6920 78 0 0 25 0 1 0 972964163 42815488 7540 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10453 7540 301 301 0 10152 0
vsize: 41812
[startup+80.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 16713 0 0 0 7914 84 0 0 25 0 1 0 972964163 43089920 7616 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10520 7616 301 301 0 10219 0
vsize: 42080
[startup+90.0044 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 17168 0 0 0 8908 90 0 0 25 0 1 0 972964163 43233280 7735 4294967295 134512640 135730672 3221224576 3221223264 134748499 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10555 7735 301 301 0 10254 0
vsize: 42220
[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 17763 0 0 0 9903 95 0 0 25 0 1 0 972964163 43511808 7826 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10623 7826 301 301 0 10322 0
vsize: 42492
[startup+110.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 18347 0 0 0 10897 101 0 0 25 0 1 0 972964163 43655168 7906 4294967295 134512640 135730672 3221224576 3221223072 134747851 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10658 7906 301 301 0 10357 0
vsize: 42632
[startup+120.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 18937 0 0 0 11892 107 0 0 25 0 1 0 972964163 43790336 7992 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10691 7992 301 301 0 10390 0
vsize: 42764
[startup+130.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 19203 0 0 0 12888 111 0 0 25 0 1 0 972964163 43933696 8090 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10726 8091 301 301 0 10425 0
vsize: 42904
[startup+140.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 19620 0 0 0 13884 116 0 0 25 0 1 0 972964163 44232704 8171 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10799 8171 301 301 0 10498 0
vsize: 43196
[startup+150.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 19833 0 0 0 14880 119 0 0 25 0 1 0 972964163 44367872 8216 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10832 8216 301 301 0 10531 0
vsize: 43328
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 20090 0 0 0 15876 124 0 0 25 0 1 0 972964163 44503040 8305 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10865 8305 301 301 0 10564 0
vsize: 43460
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 20504 0 0 0 16870 130 0 0 25 0 1 0 972964163 44634112 8383 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10897 8383 301 301 0 10596 0
vsize: 43588
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 20740 0 0 0 17866 134 0 0 25 0 1 0 972964163 44781568 8451 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10933 8451 301 301 0 10632 0
vsize: 43732
[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 21138 0 0 0 18862 138 0 0 25 0 1 0 972964163 44916736 8513 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10966 8513 301 301 0 10665 0
vsize: 43864
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 21539 0 0 0 19858 142 0 0 25 0 1 0 972964163 44916736 8578 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10966 8578 301 301 0 10665 0
vsize: 43864
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 21778 0 0 0 20854 147 0 0 25 0 1 0 972964163 45060096 8649 4294967295 134512640 135730672 3221224576 3221223200 134783069 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11001 8649 301 301 0 10700 0
vsize: 44004
[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 22143 0 0 0 21848 153 0 0 25 0 1 0 972964163 45199360 8678 4294967295 134512640 135730672 3221224576 3221222992 134741728 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11035 8678 301 301 0 10734 0
vsize: 44140
[startup+230.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 22360 0 0 0 22843 158 0 0 25 0 1 0 972964163 45334528 8727 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11068 8727 301 301 0 10767 0
vsize: 44272
[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 22587 0 0 0 23839 162 0 0 25 0 1 0 972964163 45334528 8786 4294967295 134512640 135730672 3221224576 3221223088 134745858 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11068 8786 301 301 0 10767 0
vsize: 44272
[startup+250.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 22952 0 0 0 24833 168 0 0 25 0 1 0 972964163 45473792 8815 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11102 8815 301 301 0 10801 0
vsize: 44408
[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 23346 0 0 0 25829 173 0 0 25 0 1 0 972964163 46161920 9041 4294967295 134512640 135730672 3221224576 3221222752 134768838 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11270 9041 301 301 0 10969 0
vsize: 45080
[startup+270.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 23567 0 0 0 26825 177 0 0 25 0 1 0 972964163 45617152 8926 4294967295 134512640 135730672 3221224576 3221223168 134747445 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11137 8926 301 301 0 10836 0
vsize: 44548
[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 23795 0 0 0 27821 181 0 0 25 0 1 0 972964163 45772800 8986 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11175 8986 301 301 0 10874 0
vsize: 44700
[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 24154 0 0 0 28817 185 0 0 25 0 1 0 972964163 45772800 9009 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11175 9009 301 301 0 10874 0
vsize: 44700
[startup+300.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 24547 0 0 0 29813 190 0 0 25 0 1 0 972964163 45903872 9066 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11207 9066 301 301 0 10906 0
vsize: 44828
[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 24607 0 0 0 30807 196 0 0 25 0 1 0 972964163 45903872 9126 4294967295 134512640 135730672 3221224576 3221223072 134747584 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11207 9126 301 301 0 10906 0
vsize: 44828
[startup+320.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 24980 0 0 0 31803 200 0 0 25 0 1 0 972964163 46039040 9163 4294967295 134512640 135730672 3221224576 3221223072 134747823 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11240 9163 301 301 0 10939 0
vsize: 44960
[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 25007 0 0 0 32799 204 0 0 25 0 1 0 972964163 46039040 9190 4294967295 134512640 135730672 3221224576 3221223088 134746211 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11240 9190 301 301 0 10939 0
vsize: 44960
[startup+340.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 25223 0 0 0 33795 208 0 0 25 0 1 0 972964163 46174208 9238 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11273 9238 301 301 0 10972 0
vsize: 45092
[startup+350.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 25451 0 0 0 34790 213 0 0 25 0 1 0 972964163 46174208 9298 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11273 9298 301 301 0 10972 0
vsize: 45092
[startup+360.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 25675 0 0 0 35787 217 0 0 25 0 1 0 972964163 46305280 9354 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11305 9354 301 301 0 11004 0
vsize: 45220
[startup+370.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 25734 0 0 0 36783 221 0 0 25 0 1 0 972964163 46440448 9413 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11338 9413 301 301 0 11037 0
vsize: 45352
[startup+380.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 25996 0 0 0 37779 225 0 0 25 0 1 0 972964163 46710784 9507 4294967295 134512640 135730672 3221224576 3221223184 134744850 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11404 9507 301 301 0 11103 0
vsize: 45616
[startup+390.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 26543 0 0 0 38775 230 0 0 25 0 1 0 972964163 46854144 9550 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11439 9550 301 301 0 11138 0
vsize: 45756
[startup+400.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 26915 0 0 0 39771 233 0 0 25 0 1 0 972964163 46854144 9586 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11439 9586 301 301 0 11138 0
vsize: 45756
[startup+410.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 27303 0 0 0 40766 239 0 0 25 0 1 0 972964163 46985216 9638 4294967295 134512640 135730672 3221224576 3221223072 134747817 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11471 9638 301 301 0 11170 0
vsize: 45884
[startup+420.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 27865 0 0 0 41760 245 0 0 25 0 1 0 972964163 55504896 9696 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13551 9696 301 301 0 13250 0
vsize: 54204
[startup+430.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 28430 0 0 0 42756 249 0 0 25 0 1 0 972964163 55635968 9757 4294967295 134512640 135730672 3221224576 3221223072 134747730 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13583 9757 301 301 0 13282 0
vsize: 54332
[startup+440.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 28827 0 0 0 43752 253 0 0 25 0 1 0 972964163 55767040 9818 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13615 9818 301 301 0 13314 0
vsize: 54460
[startup+450.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 29222 0 0 0 44747 258 0 0 25 0 1 0 972964163 55922688 9877 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13653 9877 301 301 0 13352 0
vsize: 54612
[startup+460.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 29598 0 0 0 45743 263 0 0 25 0 1 0 972964163 55922688 9917 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13653 9917 301 301 0 13352 0
vsize: 54612
[startup+470.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 29970 0 0 0 46740 266 0 0 25 0 1 0 972964163 56057856 9953 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13686 9953 301 301 0 13385 0
vsize: 54744
[startup+480.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 30191 0 0 0 47736 270 0 0 25 0 1 0 972964163 56057856 10006 4294967295 134512640 135730672 3221224576 3221223072 134747701 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13686 10006 301 301 0 13385 0
vsize: 54744
[startup+490.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 30408 0 0 0 48733 273 0 0 25 0 1 0 972964163 56193024 10055 4294967295 134512640 135730672 3221224576 3221223072 134747832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13719 10055 301 301 0 13418 0
vsize: 54876
[startup+500.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 30780 0 0 0 49729 278 0 0 25 0 1 0 972964163 56193024 10091 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13719 10091 301 301 0 13418 0
vsize: 54876
[startup+510.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 30974 0 0 0 50723 283 0 0 25 0 1 0 972964163 56193024 10117 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13719 10117 301 301 0 13418 0
vsize: 54876
[startup+520.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 31187 0 0 0 51719 287 0 0 25 0 1 0 972964163 56328192 10162 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13752 10162 301 301 0 13451 0
vsize: 55008
[startup+530.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 31401 0 0 0 52716 291 0 0 25 0 1 0 972964163 56328192 10208 4294967295 134512640 135730672 3221224576 3221223200 134748249 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13752 10208 301 301 0 13451 0
vsize: 55008
[startup+540.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 31611 0 0 0 53711 297 0 0 25 0 1 0 972964163 56459264 10250 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13784 10250 301 301 0 13483 0
vsize: 55136
[startup+550.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 31815 0 0 0 54705 302 0 0 25 0 1 0 972964163 56459264 10286 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13784 10286 301 301 0 13483 0
vsize: 55136
[startup+560.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 32005 0 0 0 55701 307 0 0 25 0 1 0 972964163 56594432 10308 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13817 10308 301 301 0 13516 0
vsize: 55268
[startup+570.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 32207 0 0 0 56696 312 0 0 25 0 1 0 972964163 56594432 10342 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13817 10342 301 301 0 13516 0
vsize: 55268
[startup+580.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 32425 0 0 0 57692 316 0 0 25 0 1 0 972964163 56729600 10392 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13850 10392 301 301 0 13549 0
vsize: 55400
[startup+590.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 32642 0 0 0 58687 321 0 0 25 0 1 0 972964163 56729600 10441 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13850 10441 301 301 0 13549 0
vsize: 55400
[startup+600.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 32845 0 0 0 59684 324 0 0 25 0 1 0 972964163 56868864 10476 4294967295 134512640 135730672 3221224576 3221223072 134747566 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13884 10476 301 301 0 13583 0
vsize: 55536
[startup+610.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 33055 0 0 0 60681 327 0 0 25 0 1 0 972964163 56868864 10518 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13884 10518 301 301 0 13583 0
vsize: 55536
[startup+620.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 33263 0 0 0 61678 331 0 0 25 0 1 0 972964163 56868864 10558 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13884 10558 301 301 0 13583 0
vsize: 55536
[startup+630.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 33500 0 0 0 62673 335 0 0 25 0 1 0 972964163 57135104 10627 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13949 10627 301 301 0 13648 0
vsize: 55796
[startup+640.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 33706 0 0 0 63670 339 0 0 25 0 1 0 972964163 57135104 10665 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13949 10665 301 301 0 13648 0
vsize: 55796
[startup+650.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 33895 0 0 0 64666 343 0 0 25 0 1 0 972964163 57266176 10686 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13981 10686 301 301 0 13680 0
vsize: 55924
[startup+660.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 34249 0 0 0 65662 348 0 0 25 0 1 0 972964163 57266176 10704 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13981 10704 301 301 0 13680 0
vsize: 55924
[startup+670.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 34453 0 0 0 66658 352 0 0 25 0 1 0 972964163 57266176 10740 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13981 10740 301 301 0 13680 0
vsize: 55924
[startup+680.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 34830 0 0 0 67654 356 0 0 25 0 1 0 972964163 57397248 10781 4294967295 134512640 135730672 3221224576 3221223200 134783353 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14013 10781 301 301 0 13712 0
vsize: 56052
[startup+690.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 35024 0 0 0 68650 360 0 0 25 0 1 0 972964163 57397248 10807 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14013 10807 301 301 0 13712 0
vsize: 56052
[startup+700.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 35250 0 0 0 69647 364 0 0 25 0 1 0 972964163 57528320 10865 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14045 10865 301 301 0 13744 0
vsize: 56180
[startup+710.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 35631 0 0 0 70643 368 0 0 25 0 1 0 972964163 57659392 10910 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14077 10910 301 301 0 13776 0
vsize: 56308
[startup+720.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 35832 0 0 0 71639 372 0 0 25 0 1 0 972964163 57659392 10943 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14077 10943 301 301 0 13776 0
vsize: 56308
[startup+730.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 36204 0 0 0 72636 375 0 0 25 0 1 0 972964163 57790464 10979 4294967295 134512640 135730672 3221224576 3221223072 134747823 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14109 10979 301 301 0 13808 0
vsize: 56436
[startup+740.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 36415 0 0 0 73632 379 0 0 25 0 1 0 972964163 57790464 11022 4294967295 134512640 135730672 3221224576 3221223088 134746183 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14109 11022 301 301 0 13808 0
vsize: 56436
[startup+750.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 36779 0 0 0 74629 382 0 0 25 0 1 0 972964163 57790464 11050 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14109 11050 301 301 0 13808 0
vsize: 56436
[startup+760.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 36964 0 0 0 75626 386 0 0 25 0 1 0 972964163 57925632 11067 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14142 11067 301 301 0 13841 0
vsize: 56568
[startup+770.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 37174 0 0 0 76623 389 0 0 25 0 1 0 972964163 57925632 11109 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14142 11109 301 301 0 13841 0
vsize: 56568
[startup+780.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 37413 0 0 0 77619 392 0 0 25 0 1 0 972964163 58195968 11180 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14208 11180 301 301 0 13907 0
vsize: 56832
[startup+790.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 37453 0 0 0 78615 397 0 0 25 0 1 0 972964163 58195968 11220 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14208 11220 301 301 0 13907 0
vsize: 56832
[startup+800.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 37822 0 0 0 79612 400 0 0 25 0 1 0 972964163 58195968 11253 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14208 11253 301 301 0 13907 0
vsize: 56832
[startup+810.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 38010 0 0 0 80607 405 0 0 25 0 1 0 972964163 58327040 11273 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14240 11273 301 301 0 13939 0
vsize: 56960
[startup+820.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 38372 0 0 0 81604 409 0 0 25 0 1 0 972964163 58327040 11299 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14240 11299 301 301 0 13939 0
vsize: 56960
[startup+830.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 38585 0 0 0 82599 414 0 0 25 0 1 0 972964163 58462208 11344 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14273 11344 301 301 0 13972 0
vsize: 57092
[startup+840.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 38799 0 0 0 83595 418 0 0 25 0 1 0 972964163 58462208 11390 4294967295 134512640 135730672 3221224576 3221223200 134748138 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14273 11390 301 301 0 13972 0
vsize: 57092
[startup+850.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 39006 0 0 0 84591 422 0 0 25 0 1 0 972964163 58597376 11429 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14306 11429 301 301 0 14005 0
vsize: 57224
[startup+860.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 39385 0 0 0 85587 426 0 0 25 0 1 0 972964163 58597376 11472 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14306 11472 301 301 0 14005 0
vsize: 57224
[startup+870.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 39598 0 0 0 86583 430 0 0 25 0 1 0 972964163 58740736 11517 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14341 11517 301 301 0 14040 0
vsize: 57364
[startup+880.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 39803 0 0 0 87581 433 0 0 25 0 1 0 972964163 58740736 11554 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14341 11554 301 301 0 14040 0
vsize: 57364
[startup+890.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 39996 0 0 0 88577 437 0 0 25 0 1 0 972964163 58871808 11579 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14373 11579 301 301 0 14072 0
vsize: 57492
[startup+900.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 40377 0 0 0 89572 442 0 0 25 0 1 0 972964163 58871808 11624 4294967295 134512640 135730672 3221224576 3221223072 134747587 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14373 11624 301 301 0 14072 0
vsize: 57492
[startup+910.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 40589 0 0 0 90568 447 0 0 25 0 1 0 972964163 58871808 11668 4294967295 134512640 135730672 3221224576 3221223264 134748499 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14373 11668 301 301 0 14072 0
vsize: 57492
[startup+920.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 40789 0 0 0 91564 451 0 0 25 0 1 0 972964163 59006976 11700 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14406 11700 301 301 0 14105 0
vsize: 57624
[startup+930.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 41151 0 0 0 92559 455 0 0 25 0 1 0 972964163 59006976 11726 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14406 11726 301 301 0 14105 0
vsize: 57624
[startup+940.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 41196 0 0 0 93556 459 0 0 25 0 1 0 972964163 59142144 11771 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14439 11771 301 301 0 14138 0
vsize: 57756
[startup+950.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 41405 0 0 0 94553 462 0 0 25 0 1 0 972964163 59142144 11812 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14439 11812 301 301 0 14138 0
vsize: 57756
[startup+960.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 41446 0 0 0 95550 466 0 0 25 0 1 0 972964163 59142144 11853 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14439 11853 301 301 0 14138 0
vsize: 57756
[startup+970.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 41489 0 0 0 96547 469 0 0 25 0 1 0 972964163 59277312 11896 4294967295 134512640 135730672 3221224576 3221223168 134747724 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14472 11896 301 301 0 14171 0
vsize: 57888
[startup+980.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 41691 0 0 0 97544 472 0 0 25 0 1 0 972964163 59277312 11930 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14472 11930 301 301 0 14171 0
vsize: 57888
[startup+990.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 41890 0 0 0 98540 476 0 0 25 0 1 0 972964163 59412480 11961 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14505 11961 301 301 0 14204 0
vsize: 58020
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 42089 0 0 0 99537 479 0 0 25 0 1 0 972964163 59412480 11992 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14505 11992 301 301 0 14204 0
vsize: 58020
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 42120 0 0 0 100533 483 0 0 25 0 1 0 972964163 59412480 12023 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14505 12023 301 301 0 14204 0
vsize: 58020
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 42155 0 0 0 101530 487 0 0 25 0 1 0 972964163 59547648 12058 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14538 12058 301 301 0 14237 0
vsize: 58152
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 42526 0 0 0 102527 490 0 0 25 0 1 0 972964163 59547648 12093 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14538 12093 301 301 0 14237 0
vsize: 58152
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 42562 0 0 0 103523 494 0 0 25 0 1 0 972964163 59547648 12129 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14538 12129 301 301 0 14237 0
vsize: 58152
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 42770 0 0 0 104519 498 0 0 25 0 1 0 972964163 59686912 12169 4294967295 134512640 135730672 3221224576 3221223072 134747848 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14572 12169 301 301 0 14271 0
vsize: 58288
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 42956 0 0 0 105516 502 0 0 25 0 1 0 972964163 59686912 12187 4294967295 134512640 135730672 3221224576 3221223072 134747738 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14572 12187 301 301 0 14271 0
vsize: 58288
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 43144 0 0 0 106512 506 0 0 25 0 1 0 972964163 59686912 12207 4294967295 134512640 135730672 3221224576 3221223072 134747823 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14572 12207 301 301 0 14271 0
vsize: 58288
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 43167 0 0 0 107509 509 0 0 25 0 1 0 972964163 59817984 12230 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14604 12230 301 301 0 14303 0
vsize: 58416
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 43378 0 0 0 108506 512 0 0 25 0 1 0 972964163 59817984 12273 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14604 12273 301 301 0 14303 0
vsize: 58416
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 43747 0 0 0 109502 516 0 0 25 0 1 0 972964163 59953152 12306 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14637 12306 301 301 0 14336 0
vsize: 58548
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 43943 0 0 0 110499 519 0 0 25 0 1 0 972964163 59953152 12334 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14637 12334 301 301 0 14336 0
vsize: 58548
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 43959 0 0 0 111496 523 0 0 25 0 1 0 972964163 59953152 12350 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14637 12350 301 301 0 14336 0
vsize: 58548
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 44141 0 0 0 112492 527 0 0 25 0 1 0 972964163 59953152 12364 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14637 12364 301 301 0 14336 0
vsize: 58548
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 44326 0 0 0 113487 532 0 0 25 0 1 0 972964163 60088320 12381 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14670 12381 301 301 0 14369 0
vsize: 58680
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 44509 0 0 0 114483 536 0 0 25 0 1 0 972964163 60088320 12396 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14670 12396 301 301 0 14369 0
vsize: 58680
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 44539 0 0 0 115479 540 0 0 25 0 1 0 972964163 60088320 12426 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14670 12426 301 301 0 14369 0
vsize: 58680
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 44741 0 0 0 116476 544 0 0 25 0 1 0 972964163 60223488 12460 4294967295 134512640 135730672 3221224576 3221223072 134747848 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14703 12460 301 301 0 14402 0
vsize: 58812
[startup+1180.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 44934 0 0 0 117472 548 0 0 25 0 1 0 972964163 60223488 12485 4294967295 134512640 135730672 3221224576 3221223072 134747714 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14703 12485 301 301 0 14402 0
vsize: 58812
[startup+1190.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 44962 0 0 0 118467 553 0 0 25 0 1 0 972964163 60366848 12513 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14738 12513 301 301 0 14437 0
vsize: 58952
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31371
Raw data (stat): 31371 (pb2sat-v2) R 31370 21152 21151 0 -1 0 45143 0 0 0 119464 557 0 0 25 0 1 0 972964163 60366848 12526 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14738 12526 301 301 0 14437 0
vsize: 58952
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.32 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 31371
Raw data (stat): 31371 (pb2sat-v2) Z 31370 21152 21151 0 -1 12 45145 0 0 0 119487 559 0 0 25 0 1 0 972964163 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 0
Real time (s): 1200.31
CPU time (s): 1200.47
CPU user time (s): 1194.88
CPU system time (s): 5.59715
CPU usage (%): 100.013
Max. virtual memory (Kb): 58952
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####