PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-tr12-30.opb
MD5SUM	81fe81e3ddb87532751f87d8d69ff2f0
Bench Category	optimization, big integers (OPTBIGINT)
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	11160
Biggest coefficient in the objective function	2147483648
Number of bits for the biggest coefficient in the objective function	32
Sum of the numbers in the objective function	869952060630
Number of bits of the sum of numbers in the objective function	40
Biggest number in a constraint	2147483648
Number of bits of the biggest number in a constraint	32
Biggest sum of numbers in a constraint	869952060630
Number of bits of the biggest sum of numbers	40
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.18997
Number of variables	21960
Total number of constraints	1110
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	360
Number of constraints which are nor clauses,nor cardinality constraints	750
Minimum length of a constraint	1
Maximum length of a constraint	372
Trace number 42679

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-16 13:29:05 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25876 boxname=wulflinc2 idbench=1176 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  81fe81e3ddb87532751f87d8d69ff2f0  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-tr12-30.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-tr12-30.opb
IDLAUNCH: 25876
/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:        742564 kB
Buffers:          6416 kB
Cached:         262940 kB
SwapCached:       1420 kB
Active:          26516 kB
Inactive:       244872 kB
HighTotal:      131008 kB
HighFree:        12656 kB
LowTotal:       903652 kB
LowFree:        729908 kB
SwapTotal:     2097136 kB
SwapFree:      2094720 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5056 kB
Slab:            14800 kB
Committed_AS:    71900 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 13:49:09 (client local time) WITH STATUS 0 IN 1201.7 SECONDS
stats: 25876 7 1201.7 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 33215/573838	Time: 31.6112/86400
c Decision: 33215/573838	Time: 42.3766/86400
c Decision: 33245/573838	Time: 66.3989/86400
c Decision: 33433/573838	Time: 77.2623/86400
c Decision: 33437/573838	Time: 90.0373/86400
c Decision: 34094/573838	Time: 102.295/86400
c Decision: 34099/573838	Time: 117.168/86400
c Decision: 34102/573838	Time: 133.467/86400
c Decision: 34114/573838	Time: 156.101/86400
c Decision: 34123/573838	Time: 173.978/86400
c Decision: 34123/573838	Time: 186.695/86400
c Decision: 34152/573838	Time: 209.861/86400
c Decision: 34152/573838	Time: 221.479/86400
c Decision: 34152/573838	Time: 232.913/86400
c Decision: 34155/573838	Time: 252.517/86400
c Decision: 34181/573838	Time: 283.008/86400
c Decision: 34181/573838	Time: 295.298/86400
c Decision: 34186/573838	Time: 310.329/86400
c Decision: 34219/573838	Time: 330.19/86400
c Decision: 34219/573838	Time: 342.171/86400
c Decision: 34219/573838	Time: 355.362/86400
c Decision: 34224/573838	Time: 375.895/86400
c Decision: 34253/573838	Time: 430.353/86400
c Decision: 34257/573838	Time: 452.21/86400
c Decision: 34257/573838	Time: 466.414/86400
c Decision: 34257/573838	Time: 482.308/86400
c Decision: 34611/573838	Time: 515.425/86400
c Decision: 34611/573838	Time: 528.148/86400
c Decision: 34615/573838	Time: 552.174/86400
c Decision: 34615/573838	Time: 562.927/86400
c Decision: 34615/573838	Time: 579.723/86400
c Decision: 34655/573838	Time: 596.89/86400
c Decision: 34655/573838	Time: 611.394/86400
c Decision: 34655/573838	Time: 625.099/86400
c Decision: 34859/573838	Time: 643.157/86400
c Decision: 34859/573838	Time: 659.762/86400
c Decision: 34859/573838	Time: 673.633/86400
c Decision: 34859/573838	Time: 687.412/86400
c Decision: 34859/573838	Time: 699.765/86400
c Decision: 34859/573838	Time: 715.048/86400
c Decision: 34859/573838	Time: 730.621/86400
c Decision: 34859/573838	Time: 743.271/86400
c Decision: 34859/573838	Time: 757.069/86400
c Decision: 34859/573838	Time: 770.944/86400
c Decision: 34859/573838	Time: 784.201/86400
c Decision: 34859/573838	Time: 800.273/86400
c Decision: 34859/573838	Time: 813.408/86400
c Decision: 34892/573838	Time: 838.529/86400
c Decision: 34892/573838	Time: 851.684/86400
c Decision: 34892/573838	Time: 865.163/86400
c Decision: 34892/573838	Time: 882.141/86400
c Decision: 34892/573838	Time: 896.079/86400
c Decision: 34892/573838	Time: 910.434/86400
c Decision: 34892/573838	Time: 925.389/86400
c Decision: 34892/573838	Time: 937.005/86400
c Decision: 34892/573838	Time: 953.518/86400
c Decision: 34892/573838	Time: 964.881/86400
c Decision: 34892/573838	Time: 977.601/86400
c Decision: 34892/573838	Time: 992.051/86400
c Decision: 34894/573838	Time: 1010.32/86400
c Decision: 34894/573838	Time: 1026.65/86400
c Decision: 34894/573838	Time: 1037.81/86400
c Decision: 34894/573838	Time: 1054.17/86400
c Decision: 34894/573838	Time: 1066.91/86400
c Decision: 34900/573838	Time: 1090.62/86400
c Decision: 34900/573838	Time: 1104.4/86400
c Decision: 34900/573838	Time: 1120.34/86400
c Decision: 34900/573838	Time: 1134.11/86400
c Decision: 34902/573838	Time: 1153.45/86400
c Decision: 34902/573838	Time: 1167.99/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 10829
Raw data (stat): 10829 (runsolver) R 10828 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 971132564 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.0003 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 23321 0 0 0 946 52 0 0 25 0 1 0 971132564 70434816 12434 4294967295 134512640 135730672 3221224576 3221137712 134770089 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17196 12434 301 301 0 16895 0
vsize: 68784
[startup+20.0014 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 49161 0 0 0 1887 111 0 0 25 0 1 0 971132564 153595904 27306 4294967295 134512640 135730672 3221224576 3221195776 134770759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37499 27307 301 301 0 37198 0
vsize: 149996
[startup+30.0016 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 75067 0 0 0 2833 165 0 0 25 0 1 0 971132564 221425664 43814 4294967295 134512640 135730672 3221224576 3221213760 135284080 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 54059 43815 301 301 0 53758 0
vsize: 216236
[startup+40.0018 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 77559 0 0 0 3824 173 0 0 25 0 1 0 971132564 226017280 45180 4294967295 134512640 135730672 3221224576 3221223232 134734780 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55180 45180 301 301 0 54879 0
vsize: 220720
[startup+50.0027 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 77584 0 0 0 4823 175 0 0 25 0 1 0 971132564 226017280 45205 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55180 45205 301 301 0 54879 0
vsize: 220720
[startup+60.0027 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 78722 0 0 0 5820 178 0 0 25 0 1 0 971132564 230608896 46343 4294967295 134512640 135730672 3221224576 3221222712 134765477 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56301 46343 301 301 0 56000 0
vsize: 225204
[startup+70.0038 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 78754 0 0 0 6819 179 0 0 25 0 1 0 971132564 226017280 45254 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55180 45254 301 301 0 54879 0
vsize: 220720
[startup+80.0045 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 79890 0 0 0 7816 182 0 0 25 0 1 0 971132564 226017280 45269 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55180 45269 301 301 0 54879 0
vsize: 220720
[startup+90.0038 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 79913 0 0 0 8814 184 0 0 25 0 1 0 971132564 226017280 45292 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55180 45292 301 301 0 54879 0
vsize: 220720
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 81054 0 0 0 9810 188 0 0 25 0 1 0 971132564 226017280 45312 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 55180 45312 301 301 0 54879 0
vsize: 220720
[startup+110.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 82194 0 0 0 10806 191 0 0 25 0 1 0 971132564 226017280 45331 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 55180 45331 301 301 0 54879 0
vsize: 220720
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 83333 0 0 0 11802 194 0 0 25 0 1 0 971132564 230608896 46470 4294967295 134512640 135730672 3221224576 3221222720 134768821 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56301 46470 301 301 0 56000 0
vsize: 225204
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 84489 0 0 0 12799 197 0 0 25 0 1 0 971132564 230608896 46505 4294967295 134512640 135730672 3221224576 3221222736 134768818 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56301 46505 301 301 0 56000 0
vsize: 225204
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 84492 0 0 0 13798 198 0 0 25 0 1 0 971132564 226017280 45387 4294967295 134512640 135730672 3221224576 3221223056 134732772 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55180 45387 301 301 0 54879 0
vsize: 220720
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 85626 0 0 0 14796 201 0 0 25 0 1 0 971132564 226017280 45400 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55180 45400 301 301 0 54879 0
vsize: 220720
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 85654 0 0 0 15796 201 0 0 25 0 1 0 971132564 226017280 45428 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55180 45428 301 301 0 54879 0
vsize: 220720
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 86798 0 0 0 16793 204 0 0 25 0 1 0 971132564 226017280 45451 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55180 45451 301 301 0 54879 0
vsize: 220720
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 86831 0 0 0 17793 205 0 0 25 0 1 0 971132564 226017280 45484 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55180 45484 301 301 0 54879 0
vsize: 220720
[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 87978 0 0 0 18790 207 0 0 25 0 1 0 971132564 226017280 45510 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55180 45510 301 301 0 54879 0
vsize: 220720
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 88018 0 0 0 19790 208 0 0 25 0 1 0 971132564 226017280 45550 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55180 45550 301 301 0 54879 0
vsize: 220720
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 89169 0 0 0 20786 211 0 0 25 0 1 0 971132564 226017280 45580 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55180 45580 301 301 0 54879 0
vsize: 220720
[startup+220.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 90302 0 0 0 21784 214 0 0 25 0 1 0 971132564 226017280 45592 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55180 45592 301 301 0 54879 0
vsize: 220720
[startup+230.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 90307 0 0 0 22784 215 0 0 25 0 1 0 971132564 226017280 45597 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55180 45597 301 301 0 54879 0
vsize: 220720
[startup+240.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 91444 0 0 0 23782 218 0 0 25 0 1 0 971132564 230608896 46734 4294967295 134512640 135730672 3221224576 3221222716 134765468 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56301 46734 301 301 0 56000 0
vsize: 225204
[startup+250.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 91475 0 0 0 24781 219 0 0 25 0 1 0 971132564 226017280 45644 4294967295 134512640 135730672 3221224576 3221223088 134745849 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55180 45644 301 301 0 54879 0
vsize: 220720
[startup+260.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 92623 0 0 0 25777 222 0 0 25 0 1 0 971132564 226017280 45671 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55180 45671 301 301 0 54879 0
vsize: 220720
[startup+270.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 93773 0 0 0 26775 225 0 0 25 0 1 0 971132564 226017280 45700 4294967295 134512640 135730672 3221224576 3221223072 134747618 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55180 45700 301 301 0 54879 0
vsize: 220720
[startup+280.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 93814 0 0 0 27775 225 0 0 25 0 1 0 971132564 226017280 45741 4294967295 134512640 135730672 3221224576 3221223072 134747618 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55180 45741 301 301 0 54879 0
vsize: 220720
[startup+290.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 94960 0 0 0 28772 228 0 0 25 0 1 0 971132564 226017280 45766 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55180 45766 301 301 0 54879 0
vsize: 220720
[startup+300.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 94993 0 0 0 29771 229 0 0 25 0 1 0 971132564 226017280 45799 4294967295 134512640 135730672 3221224576 3221223072 134747563 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55180 45799 301 301 0 54879 0
vsize: 220720
[startup+310.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 95023 0 0 0 30770 231 0 0 25 0 1 0 971132564 226017280 45829 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55180 45829 301 301 0 54879 0
vsize: 220720
[startup+320.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 96147 0 0 0 31766 234 0 0 25 0 1 0 971132564 226017280 45832 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55180 45832 301 301 0 54879 0
vsize: 220720
[startup+330.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 97271 0 0 0 32764 237 0 0 25 0 1 0 971132564 226017280 45835 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55180 45835 301 301 0 54879 0
vsize: 220720
[startup+340.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 98396 0 0 0 33761 240 0 0 25 0 1 0 971132564 230608896 46960 4294967295 134512640 135730672 3221224576 3221222732 134765468 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56301 46960 301 301 0 56000 0
vsize: 225204
[startup+350.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 98405 0 0 0 34760 241 0 0 25 0 1 0 971132564 226017280 45848 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55180 45848 301 301 0 54879 0
vsize: 220720
[startup+360.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 99553 0 0 0 35757 244 0 0 25 0 1 0 971132564 230608896 46996 4294967295 134512640 135730672 3221224576 3221222736 134768877 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56301 46996 301 301 0 56000 0
vsize: 225204
[startup+370.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 99589 0 0 0 36757 245 0 0 25 0 1 0 971132564 226017280 45911 4294967295 134512640 135730672 3221224576 3221223072 134747823 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55180 45911 301 301 0 54879 0
vsize: 220720
[startup+380.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 100738 0 0 0 37754 248 0 0 25 0 1 0 971132564 226017280 45939 4294967295 134512640 135730672 3221224576 3221223072 134747463 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55180 45939 301 301 0 54879 0
vsize: 220720
[startup+390.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 101866 0 0 0 38751 252 0 0 25 0 1 0 971132564 226017280 45946 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55180 45946 301 301 0 54879 0
vsize: 220720
[startup+400.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 101870 0 0 0 39750 253 0 0 25 0 1 0 971132564 226017280 45950 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55180 45950 301 301 0 54879 0
vsize: 220720
[startup+410.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 103011 0 0 0 40747 256 0 0 25 0 1 0 971132564 226017280 45970 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55180 45970 301 301 0 54879 0
vsize: 220720
[startup+420.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 103056 0 0 0 41746 257 0 0 25 0 1 0 971132564 226017280 46015 4294967295 134512640 135730672 3221224576 3221223232 134734774 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55180 46015 301 301 0 54879 0
vsize: 220720
[startup+430.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 103086 0 0 0 42745 258 0 0 25 0 1 0 971132564 226017280 46045 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55180 46045 301 301 0 54879 0
vsize: 220720
[startup+440.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 103118 0 0 0 43744 259 0 0 25 0 1 0 971132564 226017280 46077 4294967295 134512640 135730672 3221224576 3221223072 134747471 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55180 46077 301 301 0 54879 0
vsize: 220720
[startup+450.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 103153 0 0 0 44743 260 0 0 25 0 1 0 971132564 226017280 46112 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55180 46112 301 301 0 54879 0
vsize: 220720
[startup+460.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 104301 0 0 0 45740 263 0 0 25 0 1 0 971132564 230608896 47260 4294967295 134512640 135730672 3221224576 3221222732 134765468 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56301 47260 301 301 0 56000 0
vsize: 225204
[startup+470.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 104329 0 0 0 46739 265 0 0 25 0 1 0 971132564 226017280 46167 4294967295 134512640 135730672 3221224576 3221222824 135284590 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55180 46167 301 301 0 54879 0
vsize: 220720
[startup+480.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 104360 0 0 0 47738 266 0 0 25 0 1 0 971132564 226017280 46198 4294967295 134512640 135730672 3221224576 3221223072 134747770 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55180 46198 301 301 0 54879 0
vsize: 220720
[startup+490.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 105508 0 0 0 48734 270 0 0 25 0 1 0 971132564 226017280 46225 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55180 46225 301 301 0 54879 0
vsize: 220720
[startup+500.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 106652 0 0 0 49731 273 0 0 25 0 1 0 971132564 226017280 46248 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55180 46248 301 301 0 54879 0
vsize: 220720
[startup+510.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 107804 0 0 0 50727 277 0 0 25 0 1 0 971132564 230608896 47400 4294967295 134512640 135730672 3221224576 3221222728 134765483 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56301 47400 301 301 0 56000 0
vsize: 225204
[startup+520.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 107806 0 0 0 51727 278 0 0 25 0 1 0 971132564 226017280 46281 4294967295 134512640 135730672 3221224576 3221223072 134747840 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55180 46281 301 301 0 54879 0
vsize: 220720
[startup+530.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 107810 0 0 0 52726 279 0 0 25 0 1 0 971132564 226017280 46285 4294967295 134512640 135730672 3221224576 3221223232 134734829 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55180 46285 301 301 0 54879 0
vsize: 220720
[startup+540.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 107836 0 0 0 53726 280 0 0 25 0 1 0 971132564 226017280 46311 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55180 46311 301 301 0 54879 0
vsize: 220720
[startup+550.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 108987 0 0 0 54722 283 0 0 25 0 1 0 971132564 226017280 46341 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55180 46341 301 301 0 54879 0
vsize: 220720
[startup+560.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 110136 0 0 0 55719 286 0 0 25 0 1 0 971132564 226017280 46369 4294967295 134512640 135730672 3221224576 3221223072 134747768 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55180 46369 301 301 0 54879 0
vsize: 220720
[startup+570.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 110166 0 0 0 56719 287 0 0 25 0 1 0 971132564 226017280 46399 4294967295 134512640 135730672 3221224576 3221223072 134747495 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55180 46399 301 301 0 54879 0
vsize: 220720
[startup+580.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 110198 0 0 0 57718 288 0 0 25 0 1 0 971132564 226017280 46431 4294967295 134512640 135730672 3221224576 3221223072 134747730 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55180 46431 301 301 0 54879 0
vsize: 220720
[startup+590.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 111360 0 0 0 58715 291 0 0 25 0 1 0 971132564 226017280 46472 4294967295 134512640 135730672 3221224576 3221223120 134740174 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55180 46472 301 301 0 54879 0
vsize: 220720
[startup+600.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 112508 0 0 0 59712 294 0 0 25 0 1 0 971132564 226017280 46499 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55180 46499 301 301 0 54879 0
vsize: 220720
[startup+610.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 113646 0 0 0 60710 297 0 0 25 0 1 0 971132564 226017280 46516 4294967295 134512640 135730672 3221224576 3221223200 134783353 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55180 46516 301 301 0 54879 0
vsize: 220720
[startup+620.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 113649 0 0 0 61709 298 0 0 25 0 1 0 971132564 226017280 46519 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55180 46519 301 301 0 54879 0
vsize: 220720
[startup+630.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 127064 0 0 0 62680 327 0 0 25 0 1 0 971132564 276348928 46524 4294967295 134512640 135730672 3221224576 3221223232 134734786 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 67468 46524 301 301 0 67167 0
vsize: 269872
[startup+640.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 127089 0 0 0 63680 327 0 0 25 0 1 0 971132564 276348928 46549 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 67468 46549 301 301 0 67167 0
vsize: 269872
[startup+650.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 128237 0 0 0 64677 330 0 0 25 0 1 0 971132564 276348928 46576 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 67468 46576 301 301 0 67167 0
vsize: 269872
[startup+660.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 129384 0 0 0 65673 334 0 0 25 0 1 0 971132564 276348928 46602 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 67468 46602 301 301 0 67167 0
vsize: 269872
[startup+670.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 129412 0 0 0 66672 335 0 0 25 0 1 0 971132564 276348928 46630 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 67468 46630 301 301 0 67167 0
vsize: 269872
[startup+680.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 130554 0 0 0 67670 338 0 0 25 0 1 0 971132564 309903360 46651 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75660 46651 301 301 0 75359 0
vsize: 302640
[startup+690.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 131693 0 0 0 68667 341 0 0 25 0 1 0 971132564 309903360 46669 4294967295 134512640 135730672 3221224576 3221223200 134783257 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75660 46669 301 301 0 75359 0
vsize: 302640
[startup+700.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 131696 0 0 0 69666 342 0 0 25 0 1 0 971132564 309903360 46672 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75660 46672 301 301 0 75359 0
vsize: 302640
[startup+710.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 132820 0 0 0 70663 345 0 0 25 0 1 0 971132564 309903360 46675 4294967295 134512640 135730672 3221224576 3221223236 134748655 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75660 46675 301 301 0 75359 0
vsize: 302640
[startup+720.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 133944 0 0 0 71660 349 0 0 25 0 1 0 971132564 309903360 46678 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75660 46678 301 301 0 75359 0
vsize: 302640
[startup+730.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 135087 0 0 0 72657 352 0 0 25 0 1 0 971132564 309903360 46700 4294967295 134512640 135730672 3221224576 3221222992 134741730 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75660 46700 301 301 0 75359 0
vsize: 302640
[startup+740.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 135116 0 0 0 73657 352 0 0 25 0 1 0 971132564 309903360 46729 4294967295 134512640 135730672 3221224576 3221223072 134747627 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75660 46729 301 301 0 75359 0
vsize: 302640
[startup+750.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 136256 0 0 0 74653 356 0 0 25 0 1 0 971132564 309903360 46748 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75660 46748 301 301 0 75359 0
vsize: 302640
[startup+760.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 137396 0 0 0 75650 359 0 0 25 0 1 0 971132564 309903360 46767 4294967295 134512640 135730672 3221224576 3221223200 134783353 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75660 46767 301 301 0 75359 0
vsize: 302640
[startup+770.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 137400 0 0 0 76650 360 0 0 25 0 1 0 971132564 309903360 46771 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75660 46771 301 301 0 75359 0
vsize: 302640
[startup+780.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 138524 0 0 0 77647 363 0 0 25 0 1 0 971132564 309903360 46774 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75660 46774 301 301 0 75359 0
vsize: 302640
[startup+790.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 139649 0 0 0 78644 367 0 0 25 0 1 0 971132564 309903360 46778 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75660 46778 301 301 0 75359 0
vsize: 302640
[startup+800.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 140798 0 0 0 79640 370 0 0 25 0 1 0 971132564 314494976 47927 4294967295 134512640 135730672 3221224576 3221222748 134765468 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 76781 47927 301 301 0 76480 0
vsize: 307124
[startup+810.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 140829 0 0 0 80640 371 0 0 25 0 1 0 971132564 309903360 46837 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75660 46837 301 301 0 75359 0
vsize: 302640
[startup+820.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 141977 0 0 0 81636 374 0 0 25 0 1 0 971132564 309903360 46864 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75660 46864 301 301 0 75359 0
vsize: 302640
[startup+830.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 143118 0 0 0 82633 378 0 0 25 0 1 0 971132564 309903360 46884 4294967295 134512640 135730672 3221224576 3221223200 134783294 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75660 46884 301 301 0 75359 0
vsize: 302640
[startup+840.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 143121 0 0 0 83633 378 0 0 25 0 1 0 971132564 309903360 46887 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75660 46887 301 301 0 75359 0
vsize: 302640
[startup+850.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 144245 0 0 0 84630 382 0 0 25 0 1 0 971132564 309903360 46890 4294967295 134512640 135730672 3221224576 3221223072 134747610 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75660 46890 301 301 0 75359 0
vsize: 302640
[startup+860.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 144249 0 0 0 85629 382 0 0 25 0 1 0 971132564 309903360 46894 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75660 46894 301 301 0 75359 0
vsize: 302640
[startup+870.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 145387 0 0 0 86626 386 0 0 25 0 1 0 971132564 309903360 46911 4294967295 134512640 135730672 3221224576 3221223072 134747832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75660 46911 301 301 0 75359 0
vsize: 302640
[startup+880.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 145422 0 0 0 87624 388 0 0 25 0 1 0 971132564 309903360 46946 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75660 46946 301 301 0 75359 0
vsize: 302640
[startup+890.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 145454 0 0 0 88623 388 0 0 25 0 1 0 971132564 309903360 46978 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75660 46978 301 301 0 75359 0
vsize: 302640
[startup+900.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 146601 0 0 0 89620 391 0 0 25 0 1 0 971132564 309903360 47004 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75660 47004 301 301 0 75359 0
vsize: 302640
[startup+910.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 147745 0 0 0 90616 395 0 0 25 0 1 0 971132564 314494976 48148 4294967295 134512640 135730672 3221224576 3221222684 134765468 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 76781 48148 301 301 0 76480 0
vsize: 307124
[startup+920.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 147748 0 0 0 91616 396 0 0 25 0 1 0 971132564 309903360 47030 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75660 47030 301 301 0 75359 0
vsize: 302640
[startup+930.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 148872 0 0 0 92613 399 0 0 25 0 1 0 971132564 309903360 47033 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75660 47033 301 301 0 75359 0
vsize: 302640
[startup+940.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 149995 0 0 0 93610 402 0 0 25 0 1 0 971132564 314494976 48156 4294967295 134512640 135730672 3221224576 3221222728 134765477 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 76781 48156 301 301 0 76480 0
vsize: 307124
[startup+950.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 150022 0 0 0 94610 403 0 0 25 0 1 0 971132564 309903360 47062 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75660 47062 301 301 0 75359 0
vsize: 302640
[startup+960.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 151179 0 0 0 95607 406 0 0 25 0 1 0 971132564 309903360 47098 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75660 47098 301 301 0 75359 0
vsize: 302640
[startup+970.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 152326 0 0 0 96604 409 0 0 25 0 1 0 971132564 309903360 47124 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75660 47124 301 301 0 75359 0
vsize: 302640
[startup+980.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 152357 0 0 0 97603 410 0 0 25 0 1 0 971132564 309903360 47155 4294967295 134512640 135730672 3221224576 3221223088 134746476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75660 47155 301 301 0 75359 0
vsize: 302640
[startup+990.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 153484 0 0 0 98600 413 0 0 25 0 1 0 971132564 309903360 47161 4294967295 134512640 135730672 3221224576 3221223264 134748632 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75660 47161 301 301 0 75359 0
vsize: 302640
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 154636 0 0 0 99596 417 0 0 25 0 1 0 971132564 309903360 47192 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75660 47192 301 301 0 75359 0
vsize: 302640
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 155788 0 0 0 100594 420 0 0 25 0 1 0 971132564 309903360 47223 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75660 47223 301 301 0 75359 0
vsize: 302640
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 155822 0 0 0 101593 421 0 0 25 0 1 0 971132564 309903360 47257 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75660 47257 301 301 0 75359 0
vsize: 302640
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 156975 0 0 0 102590 424 0 0 25 0 1 0 971132564 309903360 47289 4294967295 134512640 135730672 3221224576 3221223072 134747624 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75660 47289 301 301 0 75359 0
vsize: 302640
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 158163 0 0 0 103588 426 0 0 25 0 1 0 971132564 314494976 48477 4294967295 134512640 135730672 3221224576 3221222712 134765489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 76781 48477 301 301 0 76480 0
vsize: 307124
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 158194 0 0 0 104588 427 0 0 25 0 1 0 971132564 309903360 47387 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75660 47387 301 301 0 75359 0
vsize: 302640
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 159326 0 0 0 105585 430 0 0 25 0 1 0 971132564 309903360 47398 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75660 47398 301 301 0 75359 0
vsize: 302640
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 159329 0 0 0 106584 431 0 0 25 0 1 0 971132564 309903360 47401 4294967295 134512640 135730672 3221224576 3221223072 134747735 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75660 47401 301 301 0 75359 0
vsize: 302640
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 159339 0 0 0 107584 431 0 0 25 0 1 0 971132564 309903360 47411 4294967295 134512640 135730672 3221224576 3221223072 134747730 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75660 47411 301 301 0 75359 0
vsize: 302640
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 160492 0 0 0 108580 435 0 0 25 0 1 0 971132564 309903360 47443 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75660 47443 301 301 0 75359 0
vsize: 302640
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 161661 0 0 0 109577 438 0 0 25 0 1 0 971132564 309903360 47491 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75660 47491 301 301 0 75359 0
vsize: 302640
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 161697 0 0 0 110576 439 0 0 25 0 1 0 971132564 309903360 47527 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75660 47527 301 301 0 75359 0
vsize: 302640
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 162857 0 0 0 111574 442 0 0 25 0 1 0 971132564 314494976 48687 4294967295 134512640 135730672 3221224576 3221222728 134765483 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 76781 48687 301 301 0 76480 0
vsize: 307124
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 162888 0 0 0 112573 443 0 0 25 0 1 0 971132564 309903360 47597 4294967295 134512640 135730672 3221224576 3221223264 134748549 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75660 47597 301 301 0 75359 0
vsize: 302640
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 162895 0 0 0 113573 443 0 0 25 0 1 0 971132564 309903360 47604 4294967295 134512640 135730672 3221224576 3221223072 134747519 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75660 47604 301 301 0 75359 0
vsize: 302640
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 164018 0 0 0 114570 446 0 0 25 0 1 0 971132564 314494976 48727 4294967295 134512640 135730672 3221224576 3221222712 134765477 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 76781 48727 301 301 0 76480 0
vsize: 307124
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 164022 0 0 0 115570 447 0 0 25 0 1 0 971132564 309903360 47610 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75660 47610 301 301 0 75359 0
vsize: 302640
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 165145 0 0 0 116566 450 0 0 25 0 1 0 971132564 309903360 47612 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75660 47612 301 301 0 75359 0
vsize: 302640
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 165176 0 0 0 117566 451 0 0 25 0 1 0 971132564 309903360 47643 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75660 47643 301 301 0 75359 0
vsize: 302640
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 166326 0 0 0 118563 454 0 0 25 0 1 0 971132564 309903360 47672 4294967295 134512640 135730672 3221224576 3221222912 134739213 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75660 47672 301 301 0 75359 0
vsize: 302640
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10829
Raw data (stat): 10829 (pb2sat-v2) R 10828 31399 31398 0 -1 0 167474 0 0 0 119559 458 0 0 25 0 1 0 971132564 309903360 47699 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75660 47699 301 301 0 75359 0
vsize: 302640
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.56 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 10829
Raw data (stat): 10829 (pb2sat-v2) Z 10828 31399 31398 0 -1 12 167476 0 0 0 119702 467 0 0 25 0 1 0 971132564 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 0
Real time (s): 1201.56
CPU time (s): 1201.7
CPU user time (s): 1197.02
CPU system time (s): 4.67729
CPU usage (%): 100.012
Max. virtual memory (Kb): 307124
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####