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-rgn.opb
MD5SUM	e7e8123aa394c0918878e05410d4daeb
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	67200
Optimality of the best value was proved	NO
Number of terms in the objective function	920
Biggest coefficient in the objective function	24576
Number of bits for the biggest coefficient in the objective function	15
Sum of the numbers in the objective function	1986400
Number of bits of the sum of numbers in the objective function	21
Biggest number in a constraint	3200000000
Number of bits of the biggest number in a constraint	32
Biggest sum of numbers in a constraint	29101875011
Number of bits of the biggest sum of numbers	35
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1253.97
Number of variables	1020
Total number of constraints	204
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	104
Number of constraints which are nor clauses,nor cardinality constraints	100
Minimum length of a constraint	1
Maximum length of a constraint	103
Trace number 42937

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        742204 kB
Buffers:         23736 kB
Cached:         246884 kB
SwapCached:        768 kB
Active:          32404 kB
Inactive:       240308 kB
HighTotal:      131008 kB
HighFree:        10304 kB
LowTotal:       903652 kB
LowFree:        731900 kB
SwapTotal:     2097136 kB
SwapFree:      2095372 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5104 kB
Slab:            13928 kB
Committed_AS:    71868 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 19:10:35 (client local time) WITH STATUS 0 IN 1201 SECONDS
stats: 26150 7 1201 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 403/315143	Time: 61.0547/86400
c Decision: 423/315143	Time: 76.6483/86400
c Decision: 508/315143	Time: 104.633/86400
c Decision: 608/315143	Time: 117.502/86400
c Decision: 623/315143	Time: 134.459/86400
c Decision: 632/315143	Time: 157.819/86400
c Decision: 635/315143	Time: 170.738/86400
c Decision: 635/315143	Time: 180.381/86400
c Decision: 649/315143	Time: 197.186/86400
c Decision: 649/315143	Time: 207.919/86400
c Decision: 739/315143	Time: 223.116/86400
c Decision: 751/315143	Time: 239.21/86400
c Decision: 986/315143	Time: 256.253/86400
c Decision: 991/315143	Time: 268.629/86400
c Decision: 991/315143	Time: 279.823/86400
c Decision: 991/315143	Time: 291.159/86400
c Decision: 991/315143	Time: 302.758/86400
c Decision: 991/315143	Time: 313.641/86400
c Decision: 1143/315143	Time: 336.059/86400
c Decision: 1873/315143	Time: 377.24/86400
c Decision: 2137/315143	Time: 442.761/86400
c Decision: 2248/315143	Time: 464.828/86400
c Decision: 2259/315143	Time: 492.123/86400
c Decision: 2259/315143	Time: 503.399/86400
c Decision: 2272/315143	Time: 530.736/86400
c Decision: 2272/315143	Time: 547.559/86400
c Decision: 2272/315143	Time: 562.128/86400
c Decision: 2274/315143	Time: 583.364/86400
c Decision: 2505/315143	Time: 627.353/86400
c Decision: 2560/315143	Time: 657.737/86400
c Decision: 2687/315143	Time: 700.729/86400
c Decision: 2687/315143	Time: 712.858/86400
c Decision: 2697/315143	Time: 731.296/86400
c Decision: 2697/315143	Time: 746.181/86400
c Decision: 2697/315143	Time: 760.875/86400
c Decision: 2697/315143	Time: 779.044/86400
c Decision: 2721/315143	Time: 817.201/86400
c Decision: 2797/315143	Time: 853.535/86400
c Decision: 2797/315143	Time: 868.644/86400
c Decision: 2797/315143	Time: 886.123/86400
c Decision: 2831/315143	Time: 906.551/86400
c Decision: 2831/315143	Time: 924.45/86400
c Decision: 2831/315143	Time: 940.704/86400
c Decision: 2831/315143	Time: 959.53/86400
c Decision: 2832/315143	Time: 978.366/86400
c Decision: 2832/315143	Time: 996.201/86400
c Decision: 2832/315143	Time: 1013.94/86400
c Decision: 2873/315143	Time: 1043.38/86400
c Decision: 2896/315143	Time: 1075.25/86400
c Decision: 2919/315143	Time: 1129.85/86400
c Decision: 2919/315143	Time: 1150.13/86400
c Decision: 2919/315143	Time: 1168.22/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.99 0.99 0.91 1/54 28149
Raw data (stat): 28149 (runsolver) R 28148 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 973048315 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 0 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0007 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 28149
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 27451 0 0 0 938 60 0 0 25 0 1 0 973048315 77803520 16524 4294967295 134512640 135730672 3221224576 3221201344 134606819 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18995 16525 301 301 0 18694 0
vsize: 75980
[startup+20.001 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 28149
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 46253 0 0 0 1898 99 0 0 25 0 1 0 973048315 134873088 23881 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 32928 23881 301 301 0 32627 0
vsize: 131712
[startup+30.0018 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 28149
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 46842 0 0 0 2896 101 0 0 25 0 1 0 973048315 137449472 24470 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 33557 24470 301 301 0 33256 0
vsize: 134228
[startup+40.0019 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 28149
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 46921 0 0 0 3896 102 0 0 25 0 1 0 973048315 137613312 24549 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 33597 24549 301 301 0 33296 0
vsize: 134388
[startup+50.0025 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 28149
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 47041 0 0 0 4894 104 0 0 25 0 1 0 973048315 154947584 24669 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37829 24669 301 301 0 37528 0
vsize: 151316
[startup+60.0024 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 28149
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 47118 0 0 0 5894 105 0 0 25 0 1 0 973048315 155144192 24746 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37877 24746 301 301 0 37576 0
vsize: 151508
[startup+70.0027 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 28149
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 47402 0 0 0 6893 106 0 0 25 0 1 0 973048315 156372992 25030 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38177 25030 301 301 0 37876 0
vsize: 152708
[startup+80.003 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 28149
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 48127 0 0 0 7890 108 0 0 25 0 1 0 973048315 156831744 25139 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38289 25139 301 301 0 37988 0
vsize: 153156
[startup+90.0029 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 28149
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 48206 0 0 0 8889 109 0 0 25 0 1 0 973048315 157192192 25218 4294967295 134512640 135730672 3221224576 3221222992 134741573 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38377 25218 301 301 0 38076 0
vsize: 153508
[startup+100.004 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 28149
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 48918 0 0 0 9886 113 0 0 25 0 1 0 973048315 157388800 25314 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38425 25314 301 301 0 38124 0
vsize: 153700
[startup+110.004 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 28149
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 49030 0 0 0 10885 114 0 0 25 0 1 0 973048315 157782016 25426 4294967295 134512640 135730672 3221224576 3221222896 134732515 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38521 25426 301 301 0 38220 0
vsize: 154084
[startup+120.004 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 28149
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 49662 0 0 0 11882 116 0 0 25 0 1 0 973048315 157782016 25442 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38521 25442 301 301 0 38220 0
vsize: 154084
[startup+130.005 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 28149
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 49712 0 0 0 12881 118 0 0 25 0 1 0 973048315 157978624 25492 4294967295 134512640 135730672 3221224576 3221223232 134734856 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38569 25492 301 301 0 38268 0
vsize: 154276
[startup+140.005 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 28149
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 50347 0 0 0 13879 120 0 0 25 0 1 0 973048315 157978624 25511 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38569 25511 301 301 0 38268 0
vsize: 154276
[startup+150.006 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 28149
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 50982 0 0 0 14877 123 0 0 25 0 1 0 973048315 157978624 25530 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38569 25530 301 301 0 38268 0
vsize: 154276
[startup+160.006 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 28149
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 51007 0 0 0 15876 124 0 0 25 0 1 0 973048315 157978624 25555 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38569 25555 301 301 0 38268 0
vsize: 154276
[startup+170.006 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 28149
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 51028 0 0 0 16875 125 0 0 25 0 1 0 973048315 157978624 25576 4294967295 134512640 135730672 3221224576 3221223088 134745849 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38569 25576 301 301 0 38268 0
vsize: 154276
[startup+180.005 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 28149
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 51648 0 0 0 17872 127 0 0 25 0 1 0 973048315 157978624 25580 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38569 25580 301 301 0 38268 0
vsize: 154276
[startup+190.006 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 28149
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 52303 0 0 0 18870 130 0 0 25 0 1 0 973048315 158175232 25619 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38617 25619 301 301 0 38316 0
vsize: 154468
[startup+200.006 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 28149
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 52925 0 0 0 19867 133 0 0 25 0 1 0 973048315 158175232 25625 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38617 25625 301 301 0 38316 0
vsize: 154468
[startup+210.006 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 28149
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 53041 0 0 0 20866 134 0 0 25 0 1 0 973048315 158765056 25741 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38761 25741 301 301 0 38460 0
vsize: 155044
[startup+220.006 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 28149
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 53676 0 0 0 21863 137 0 0 25 0 1 0 973048315 158765056 25760 4294967295 134512640 135730672 3221224576 3221223072 134747516 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38761 25760 301 301 0 38460 0
vsize: 155044
[startup+230.007 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 28149
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 54316 0 0 0 22861 140 0 0 25 0 1 0 973048315 158765056 25784 4294967295 134512640 135730672 3221224576 3221223232 134734829 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38761 25784 301 301 0 38460 0
vsize: 155044
[startup+240.006 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 28149
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 54953 0 0 0 23859 142 0 0 25 0 1 0 973048315 158961664 25805 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38809 25805 301 301 0 38508 0
vsize: 155236
[startup+250.008 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 28149
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 54957 0 0 0 24858 143 0 0 25 0 1 0 973048315 158961664 25809 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38809 25809 301 301 0 38508 0
vsize: 155236
[startup+260.008 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 28149
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 55587 0 0 0 25856 145 0 0 25 0 1 0 973048315 158961664 25823 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38809 25823 301 301 0 38508 0
vsize: 155236
[startup+270.008 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 28149
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 56213 0 0 0 26854 148 0 0 25 0 1 0 973048315 161484800 26449 4294967295 134512640 135730672 3221224576 3221222712 134765483 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39425 26449 301 301 0 39124 0
vsize: 157700
[startup+280.008 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 28149
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 56226 0 0 0 27853 148 0 0 25 0 1 0 973048315 158961664 25846 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38809 25846 301 301 0 38508 0
vsize: 155236
[startup+290.009 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 28149
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 56855 0 0 0 28851 151 0 0 25 0 1 0 973048315 158961664 25859 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38809 25859 301 301 0 38508 0
vsize: 155236
[startup+300.009 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 28149
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 57491 0 0 0 29848 154 0 0 25 0 1 0 973048315 158961664 25879 4294967295 134512640 135730672 3221224576 3221223072 134747452 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38809 25879 301 301 0 38508 0
vsize: 155236
[startup+310.01 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 28149
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 58115 0 0 0 30846 157 0 0 25 0 1 0 973048315 158961664 25887 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38809 25887 301 301 0 38508 0
vsize: 155236
[startup+320.009 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 28149
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 58743 0 0 0 31843 159 0 0 25 0 1 0 973048315 158961664 25899 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38809 25899 301 301 0 38508 0
vsize: 155236
[startup+330.01 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 28149
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 59380 0 0 0 32841 162 0 0 25 0 1 0 973048315 158961664 25920 4294967295 134512640 135730672 3221224576 3221223200 134748168 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38809 25920 301 301 0 38508 0
vsize: 155236
[startup+340.01 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 28149
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 59400 0 0 0 33840 163 0 0 25 0 1 0 973048315 158961664 25940 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38809 25940 301 301 0 38508 0
vsize: 155236
[startup+350.011 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 28149
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 60036 0 0 0 34838 165 0 0 25 0 1 0 973048315 161484800 26576 4294967295 134512640 135730672 3221224576 3221222848 134774598 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39425 26576 301 301 0 39124 0
vsize: 157700
[startup+360.012 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 28149
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 60069 0 0 0 35837 166 0 0 25 0 1 0 973048315 158961664 25993 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38809 25993 301 301 0 38508 0
vsize: 155236
[startup+370.012 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 28149
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 60088 0 0 0 36836 167 0 0 25 0 1 0 973048315 158961664 26012 4294967295 134512640 135730672 3221224576 3221223072 134747902 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38809 26012 301 301 0 38508 0
vsize: 155236
[startup+380.012 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 28149
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 60134 0 0 0 37835 168 0 0 25 0 1 0 973048315 159158272 26058 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38857 26058 301 301 0 38556 0
vsize: 155428
[startup+390.012 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 28149
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 60149 0 0 0 38835 169 0 0 25 0 1 0 973048315 159158272 26073 4294967295 134512640 135730672 3221224576 3221223072 134747587 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38857 26073 301 301 0 38556 0
vsize: 155428
[startup+400.013 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 28149
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 60791 0 0 0 39832 171 0 0 25 0 1 0 973048315 159158272 26099 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38857 26099 301 301 0 38556 0
vsize: 155428
[startup+410.014 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 28149
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 60827 0 0 0 40832 172 0 0 25 0 1 0 973048315 159354880 26135 4294967295 134512640 135730672 3221224576 3221223232 134734761 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38905 26135 301 301 0 38604 0
vsize: 155620
[startup+420.014 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 28149
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 60846 0 0 0 41831 173 0 0 25 0 1 0 973048315 159354880 26154 4294967295 134512640 135730672 3221224576 3221223264 134748426 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38905 26154 301 301 0 38604 0
vsize: 155620
[startup+430.015 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 28149
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 60864 0 0 0 42831 174 0 0 25 0 1 0 973048315 159354880 26172 4294967295 134512640 135730672 3221224576 3221223072 134747823 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38905 26172 301 301 0 38604 0
vsize: 155620
[startup+440.014 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 28149
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 60879 0 0 0 43829 175 0 0 25 0 1 0 973048315 159354880 26187 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38905 26187 301 301 0 38604 0
vsize: 155620
[startup+450.015 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 28149
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 60916 0 0 0 44828 176 0 0 25 0 1 0 973048315 159354880 26224 4294967295 134512640 135730672 3221224576 3221223072 134747705 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38905 26224 301 301 0 38604 0
vsize: 155620
[startup+460.015 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 28149
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 61540 0 0 0 45827 178 0 0 25 0 1 0 973048315 159354880 26232 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38905 26232 301 301 0 38604 0
vsize: 155620
[startup+470.015 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 28149
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 61551 0 0 0 46826 179 0 0 25 0 1 0 973048315 159354880 26243 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38905 26243 301 301 0 38604 0
vsize: 155620
[startup+480.015 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 28149
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 62191 0 0 0 47824 181 0 0 25 0 1 0 973048315 159490048 26267 4294967295 134512640 135730672 3221224576 3221223264 134748557 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38938 26267 301 301 0 38637 0
vsize: 155752
[startup+490.015 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 28149
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 62194 0 0 0 48823 183 0 0 25 0 1 0 973048315 159490048 26270 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38938 26270 301 301 0 38637 0
vsize: 155752
[startup+500.016 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 28149
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 62198 0 0 0 49822 183 0 0 25 0 1 0 973048315 159490048 26274 4294967295 134512640 135730672 3221224576 3221222912 134739213 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38938 26274 301 301 0 38637 0
vsize: 155752
[startup+510.016 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 28149
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 62827 0 0 0 50820 186 0 0 25 0 1 0 973048315 159686656 26287 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38986 26287 301 301 0 38685 0
vsize: 155944
[startup+520.016 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 28149
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 63448 0 0 0 51819 187 0 0 25 0 1 0 973048315 159686656 26292 4294967295 134512640 135730672 3221224576 3221223072 134747960 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38986 26292 301 301 0 38685 0
vsize: 155944
[startup+530.016 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 28149
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 63460 0 0 0 52818 188 0 0 25 0 1 0 973048315 159686656 26304 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38986 26304 301 301 0 38685 0
vsize: 155944
[startup+540.016 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 28149
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 63464 0 0 0 53817 189 0 0 25 0 1 0 973048315 159686656 26308 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38986 26308 301 301 0 38685 0
vsize: 155944
[startup+550.017 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 28149
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 64083 0 0 0 54815 191 0 0 25 0 1 0 973048315 159686656 26311 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38986 26311 301 301 0 38685 0
vsize: 155944
[startup+560.017 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 28149
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 64706 0 0 0 55813 194 0 0 25 0 1 0 973048315 162209792 26934 4294967295 134512640 135730672 3221224576 3221222728 134765483 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39602 26934 301 301 0 39301 0
vsize: 158408
[startup+570.017 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 28149
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 64708 0 0 0 56812 194 0 0 25 0 1 0 973048315 159686656 26320 4294967295 134512640 135730672 3221224576 3221223072 134747913 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38986 26320 301 301 0 38685 0
vsize: 155944
[startup+580.017 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 28202
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 65328 0 0 0 57807 199 0 0 25 0 1 0 973048315 159686656 26324 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38986 26324 301 301 0 38685 0
vsize: 155944
[startup+590.017 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 28202
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 65332 0 0 0 58806 200 0 0 25 0 1 0 973048315 159686656 26328 4294967295 134512640 135730672 3221224576 3221223072 134747965 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38986 26328 301 301 0 38685 0
vsize: 155944
[startup+600.018 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 28202
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 65952 0 0 0 59804 203 0 0 25 0 1 0 973048315 159686656 26332 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38986 26332 301 301 0 38685 0
vsize: 155944
[startup+610.019 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 28202
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 65966 0 0 0 60804 203 0 0 25 0 1 0 973048315 159686656 26346 4294967295 134512640 135730672 3221224576 3221223232 134734849 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38986 26346 301 301 0 38685 0
vsize: 155944
[startup+620.018 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 28202
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 65983 0 0 0 61803 204 0 0 25 0 1 0 973048315 159686656 26363 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38986 26363 301 301 0 38685 0
vsize: 155944
[startup+630.018 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 28202
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 65998 0 0 0 62802 205 0 0 25 0 1 0 973048315 159686656 26378 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38986 26378 301 301 0 38685 0
vsize: 155944
[startup+640.018 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 28202
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 66013 0 0 0 63801 206 0 0 25 0 1 0 973048315 159686656 26393 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38986 26393 301 301 0 38685 0
vsize: 155944
[startup+650.019 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 28204
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 66641 0 0 0 64799 209 0 0 25 0 1 0 973048315 159686656 26405 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38986 26405 301 301 0 38685 0
vsize: 155944
[startup+660.019 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 28204
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 66655 0 0 0 65798 209 0 0 25 0 1 0 973048315 159686656 26419 4294967295 134512640 135730672 3221224576 3221223200 134748163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38986 26419 301 301 0 38685 0
vsize: 155944
[startup+670.019 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 28204
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 66669 0 0 0 66797 210 0 0 25 0 1 0 973048315 159686656 26433 4294967295 134512640 135730672 3221224576 3221223232 134734849 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38986 26433 301 301 0 38685 0
vsize: 155944
[startup+680.019 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 28204
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 67298 0 0 0 67795 213 0 0 25 0 1 0 973048315 159686656 26446 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38986 26446 301 301 0 38685 0
vsize: 155944
[startup+690.019 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 28204
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 67315 0 0 0 68794 214 0 0 25 0 1 0 973048315 159686656 26463 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38986 26463 301 301 0 38685 0
vsize: 155944
[startup+700.02 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 28204
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 67332 0 0 0 69793 216 0 0 25 0 1 0 973048315 159686656 26480 4294967295 134512640 135730672 3221224576 3221223072 134747762 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38986 26480 301 301 0 38685 0
vsize: 155944
[startup+710.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28204
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 67346 0 0 0 70792 217 0 0 25 0 1 0 973048315 159686656 26494 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38986 26494 301 301 0 38685 0
vsize: 155944
[startup+720.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28204
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 67967 0 0 0 71790 219 0 0 25 0 1 0 973048315 159686656 26499 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38986 26499 301 301 0 38685 0
vsize: 155944
[startup+730.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28204
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 68586 0 0 0 72787 222 0 0 25 0 1 0 973048315 159686656 26502 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38986 26502 301 301 0 38685 0
vsize: 155944
[startup+740.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28204
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 68600 0 0 0 73787 222 0 0 25 0 1 0 973048315 159686656 26516 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38986 26516 301 301 0 38685 0
vsize: 155944
[startup+750.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28204
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 69219 0 0 0 74785 224 0 0 25 0 1 0 973048315 159686656 26519 4294967295 134512640 135730672 3221224576 3221223232 134734849 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38986 26519 301 301 0 38685 0
vsize: 155944
[startup+760.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28204
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 69839 0 0 0 75783 227 0 0 25 0 1 0 973048315 162209792 27139 4294967295 134512640 135730672 3221224576 3221222720 134768821 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39602 27139 301 301 0 39301 0
vsize: 158408
[startup+770.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28204
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 69842 0 0 0 76782 228 0 0 25 0 1 0 973048315 159686656 26526 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38986 26526 301 301 0 38685 0
vsize: 155944
[startup+780.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28204
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 70460 0 0 0 77780 230 0 0 25 0 1 0 973048315 159686656 26528 4294967295 134512640 135730672 3221224576 3221223264 134748503 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38986 26528 301 301 0 38685 0
vsize: 155944
[startup+790.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28204
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 70463 0 0 0 78779 231 0 0 25 0 1 0 973048315 159686656 26531 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38986 26531 301 301 0 38685 0
vsize: 155944
[startup+800.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28204
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 71080 0 0 0 79777 233 0 0 25 0 1 0 973048315 159686656 26532 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38986 26532 301 301 0 38685 0
vsize: 155944
[startup+810.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28204
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 71083 0 0 0 80776 234 0 0 25 0 1 0 973048315 159686656 26535 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38986 26535 301 301 0 38685 0
vsize: 155944
[startup+820.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28204
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 71086 0 0 0 81775 236 0 0 25 0 1 0 973048315 159686656 26538 4294967295 134512640 135730672 3221224576 3221223072 134747587 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38986 26538 301 301 0 38685 0
vsize: 155944
[startup+830.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28204
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 71097 0 0 0 82773 238 0 0 25 0 1 0 973048315 159686656 26549 4294967295 134512640 135730672 3221224576 3221223088 134745785 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38986 26549 301 301 0 38685 0
vsize: 155944
[startup+840.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28204
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 71726 0 0 0 83771 240 0 0 25 0 1 0 973048315 159686656 26562 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38986 26562 301 301 0 38685 0
vsize: 155944
[startup+850.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28204
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 71741 0 0 0 84770 241 0 0 25 0 1 0 973048315 159686656 26577 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38986 26577 301 301 0 38685 0
vsize: 155944
[startup+860.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28204
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 71753 0 0 0 85769 242 0 0 25 0 1 0 973048315 159686656 26589 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38986 26589 301 301 0 38685 0
vsize: 155944
[startup+870.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28204
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 72380 0 0 0 86766 245 0 0 25 0 1 0 973048315 159686656 26600 4294967295 134512640 135730672 3221224576 3221223200 134748138 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38986 26600 301 301 0 38685 0
vsize: 155944
[startup+880.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28204
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 72394 0 0 0 87765 246 0 0 25 0 1 0 973048315 159686656 26614 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38986 26614 301 301 0 38685 0
vsize: 155944
[startup+890.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28204
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 73021 0 0 0 88763 249 0 0 25 0 1 0 973048315 159686656 26625 4294967295 134512640 135730672 3221224576 3221223072 134747788 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38986 26625 301 301 0 38685 0
vsize: 155944
[startup+900.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28206
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 73650 0 0 0 89761 251 0 0 25 0 1 0 973048315 162209792 27254 4294967295 134512640 135730672 3221224576 3221222744 134765483 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39602 27254 301 301 0 39301 0
vsize: 158408
[startup+910.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28206
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 73662 0 0 0 90760 252 0 0 25 0 1 0 973048315 159686656 26650 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38986 26650 301 301 0 38685 0
vsize: 155944
[startup+920.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28206
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 74289 0 0 0 91759 254 0 0 25 0 1 0 973048315 159686656 26661 4294967295 134512640 135730672 3221224576 3221223200 134783353 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38986 26661 301 301 0 38685 0
vsize: 155944
[startup+930.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28206
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 74291 0 0 0 92758 254 0 0 25 0 1 0 973048315 159686656 26663 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38986 26663 301 301 0 38685 0
vsize: 155944
[startup+940.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28206
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 74910 0 0 0 93756 256 0 0 25 0 1 0 973048315 159686656 26666 4294967295 134512640 135730672 3221224576 3221223072 134747563 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38986 26666 301 301 0 38685 0
vsize: 155944
[startup+950.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28206
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 74918 0 0 0 94755 258 0 0 25 0 1 0 973048315 159834112 26674 4294967295 134512640 135730672 3221224576 3221222896 134732479 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39022 26674 301 301 0 38721 0
vsize: 156088
[startup+960.026 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28206
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 75550 0 0 0 95753 260 0 0 25 0 1 0 973048315 159834112 26690 4294967295 134512640 135730672 3221224576 3221222896 134732479 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39022 26690 301 301 0 38721 0
vsize: 156088
[startup+970.026 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28206
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 75570 0 0 0 96751 262 0 0 25 0 1 0 973048315 159834112 26710 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39022 26710 301 301 0 38721 0
vsize: 156088
[startup+980.027 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28206
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 76210 0 0 0 97749 264 0 0 25 0 1 0 973048315 159834112 26734 4294967295 134512640 135730672 3221224576 3221223072 134747970 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39022 26734 301 301 0 38721 0
vsize: 156088
[startup+990.026 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28206
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 76233 0 0 0 98748 265 0 0 25 0 1 0 973048315 160018432 26757 4294967295 134512640 135730672 3221224576 3221223184 134748222 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39067 26757 301 301 0 38766 0
vsize: 156268
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28206
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 76858 0 0 0 99746 267 0 0 25 0 1 0 973048315 160018432 26766 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39067 26766 301 301 0 38766 0
vsize: 156268
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28206
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 77489 0 0 0 100744 270 0 0 25 0 1 0 973048315 160018432 26781 4294967295 134512640 135730672 3221224576 3221223200 134783350 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39067 26781 301 301 0 38766 0
vsize: 156268
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28206
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 77494 0 0 0 101744 270 0 0 25 0 1 0 973048315 160018432 26786 4294967295 134512640 135730672 3221224576 3221223072 134747730 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39067 26786 301 301 0 38766 0
vsize: 156268
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28206
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 78118 0 0 0 102741 273 0 0 25 0 1 0 973048315 160018432 26794 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39067 26794 301 301 0 38766 0
vsize: 156268
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28206
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 78134 0 0 0 103740 274 0 0 25 0 1 0 973048315 160018432 26810 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39067 26810 301 301 0 38766 0
vsize: 156268
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28206
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 78157 0 0 0 104739 275 0 0 25 0 1 0 973048315 160018432 26833 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39067 26833 301 301 0 38766 0
vsize: 156268
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28206
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 78789 0 0 0 105737 278 0 0 25 0 1 0 973048315 160018432 26849 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39067 26849 301 301 0 38766 0
vsize: 156268
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28206
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 78815 0 0 0 106736 279 0 0 25 0 1 0 973048315 160165888 26875 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39103 26875 301 301 0 38802 0
vsize: 156412
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28206
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 78831 0 0 0 107735 280 0 0 25 0 1 0 973048315 160165888 26891 4294967295 134512640 135730672 3221224576 3221223264 134748499 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39103 26891 301 301 0 38802 0
vsize: 156412
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28206
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 79460 0 0 0 108732 283 0 0 25 0 1 0 973048315 160165888 26904 4294967295 134512640 135730672 3221224576 3221223200 134748108 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39103 26904 301 301 0 38802 0
vsize: 156412
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28206
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 79477 0 0 0 109731 284 0 0 25 0 1 0 973048315 160165888 26921 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39103 26921 301 301 0 38802 0
vsize: 156412
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28206
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 79499 0 0 0 110730 285 0 0 25 0 1 0 973048315 160165888 26943 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39103 26943 301 301 0 38802 0
vsize: 156412
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28206
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 79517 0 0 0 111729 286 0 0 25 0 1 0 973048315 160165888 26961 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39103 26961 301 301 0 38802 0
vsize: 156412
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28206
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 79538 0 0 0 112728 288 0 0 25 0 1 0 973048315 160165888 26982 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39103 26982 301 301 0 38802 0
vsize: 156412
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28206
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 79560 0 0 0 113727 289 0 0 25 0 1 0 973048315 160165888 27004 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39103 27004 301 301 0 38802 0
vsize: 156412
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28206
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 80196 0 0 0 114725 291 0 0 25 0 1 0 973048315 160165888 27024 4294967295 134512640 135730672 3221224576 3221223072 134747823 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39103 27024 301 301 0 38802 0
vsize: 156412
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28206
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 80218 0 0 0 115724 293 0 0 25 0 1 0 973048315 160165888 27046 4294967295 134512640 135730672 3221224576 3221223072 134747463 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39103 27046 301 301 0 38802 0
vsize: 156412
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28206
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 80843 0 0 0 116722 295 0 0 25 0 1 0 973048315 160305152 27055 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39137 27055 301 301 0 38836 0
vsize: 156548
[startup+1180.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28206
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 80857 0 0 0 117721 296 0 0 25 0 1 0 973048315 160305152 27069 4294967295 134512640 135730672 3221224576 3221223072 134747705 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39137 27069 301 301 0 38836 0
vsize: 156548
[startup+1190.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28206
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 81492 0 0 0 118719 298 0 0 25 0 1 0 973048315 160305152 27088 4294967295 134512640 135730672 3221224576 3221223072 134747851 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39137 27088 301 301 0 38836 0
vsize: 156548
[startup+1200.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28206
Raw data (stat): 28149 (pb2sat-v2) R 28148 20224 20223 0 -1 0 82126 0 0 0 119716 301 0 0 25 0 1 0 973048315 162828288 27722 4294967295 134512640 135730672 3221224576 3221222728 134765489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39753 27722 301 301 0 39452 0
vsize: 159012
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.85 s]
Raw data (loadavg): 1.00 1.00 0.92 1/54 28206
Raw data (stat): 28149 (pb2sat-v2) Z 28148 20224 20223 0 -1 12 82128 0 0 0 119792 306 0 0 25 0 1 0 973048315 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.85
CPU time (s): 1201
CPU user time (s): 1197.93
CPU system time (s): 3.06753
CPU usage (%): 100.012
Max. virtual memory (Kb): 159012
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####