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/miplib2003/normalized-mps-v2-13-7-t1717.opb
MD5SUM	bc46e72682d969c09e6f4028df473a45
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	201342
Optimality of the best value was proved	NO
Number of terms in the objective function	73885
Biggest coefficient in the objective function	4066
Number of bits for the biggest coefficient in the objective function	12
Sum of the numbers in the objective function	172074995
Number of bits of the sum of numbers in the objective function	28
Biggest number in a constraint	4066
Number of bits of the biggest number in a constraint	12
Biggest sum of numbers in a constraint	172074995
Number of bits of the biggest sum of numbers	28
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.34
Number of variables	73885
Total number of constraints	74436
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	74436
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	612
Trace number 42877

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-16 17:19:42 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26090 boxname=wulflinc3 idbench=1390 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  bc46e72682d969c09e6f4028df473a45  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-t1717.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-t1717.opb
IDLAUNCH: 26090
/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:        708232 kB
Buffers:         22376 kB
Cached:         281428 kB
SwapCached:        768 kB
Active:          44072 kB
Inactive:       261844 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        707980 kB
SwapTotal:     2097136 kB
SwapFree:      2095372 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5104 kB
Slab:            14788 kB
Committed_AS:    71900 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 17:39:46 (client local time) WITH STATUS 0 IN 1202.08 SECONDS
stats: 26090 7 1202.08 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
s 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.97 0.91 1/54 27259
Raw data (stat): 27259 (runsolver) R 27258 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 972503296 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+9.99978 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 1195 0 0 0 995 4 0 0 25 0 1 0 972503296 4960256 884 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 1211 884 301 301 0 910 0
vsize: 4844
[startup+20.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 2416 0 0 0 1992 7 0 0 25 0 1 0 972503296 8634368 1737 4294967295 134512640 135730672 3221224576 3221221704 134577197 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2108 1737 301 301 0 1807 0
vsize: 8432
[startup+30.0008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 3780 0 0 0 2989 10 0 0 25 0 1 0 972503296 13414400 2388 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3275 2388 301 301 0 2974 0
vsize: 13100
[startup+40.0012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 3917 0 0 0 3988 10 0 0 25 0 1 0 972503296 13549568 2520 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3308 2520 301 301 0 3007 0
vsize: 13232
[startup+50.0025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 4189 0 0 0 4987 11 0 0 25 0 1 0 972503296 14225408 2788 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3473 2788 301 301 0 3172 0
vsize: 13892
[startup+60.0023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 4437 0 0 0 5987 12 0 0 25 0 1 0 972503296 14901248 3032 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3638 3032 301 301 0 3337 0
vsize: 14552
[startup+70.0028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 4660 0 0 0 6985 13 0 0 25 0 1 0 972503296 15441920 3251 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3770 3251 301 301 0 3469 0
vsize: 15080
[startup+80.0038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 4865 0 0 0 7985 14 0 0 25 0 1 0 972503296 15982592 3453 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3902 3453 301 301 0 3601 0
vsize: 15608
[startup+90.0047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 5057 0 0 0 8985 14 0 0 25 0 1 0 972503296 16523264 3642 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4034 3642 301 301 0 3733 0
vsize: 16136
[startup+100.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 5241 0 0 0 9984 15 0 0 25 0 1 0 972503296 17063936 3823 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4166 3823 301 301 0 3865 0
vsize: 16664
[startup+110.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 5417 0 0 0 10984 16 0 0 25 0 1 0 972503296 17469440 3996 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4265 3996 301 301 0 3964 0
vsize: 17060
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 7463 0 0 0 11979 21 0 0 25 0 1 0 972503296 25407488 4629 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6203 4629 301 301 0 5902 0
vsize: 24812
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 7518 0 0 0 12979 21 0 0 25 0 1 0 972503296 25407488 4682 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6203 4682 301 301 0 5902 0
vsize: 24812
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 7572 0 0 0 13979 21 0 0 25 0 1 0 972503296 25407488 4733 4294967295 134512640 135730672 3221224576 3221221664 134561688 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4733 301 301 0 5902 0
vsize: 24812
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 7627 0 0 0 14978 21 0 0 25 0 1 0 972503296 25407488 4786 4294967295 134512640 135730672 3221224576 3221220840 134543615 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6203 4786 301 301 0 5902 0
vsize: 24812
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 19719 0 0 0 15951 48 0 0 25 0 1 0 972503296 62246912 11463 4294967295 134512640 135730672 3221224576 3221221520 134539721 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15197 11463 301 301 0 14896 0
vsize: 60788
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 38307 0 0 0 16912 87 0 0 25 0 1 0 972503296 118452224 21966 4294967295 134512640 135730672 3221224576 3221067376 134551366 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28919 21966 301 301 0 28618 0
vsize: 115676
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 53606 0 0 0 17876 123 0 0 25 0 1 0 972503296 163368960 30959 4294967295 134512640 135730672 3221224576 3221001488 134551659 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39885 30959 301 301 0 39584 0
vsize: 159540
[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 75308 0 0 0 18833 166 0 0 25 0 1 0 972503296 219357184 42796 4294967295 134512640 135730672 3221224576 3220967512 134606795 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53554 42796 301 301 0 53253 0
vsize: 214216
[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 96286 0 0 0 19785 214 0 0 25 0 1 0 972503296 275484672 49957 4294967295 134512640 135730672 3221224576 3221222796 135301640 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 67257 49957 301 301 0 66956 0
vsize: 269028
[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 98798 0 0 0 20779 219 0 0 25 0 1 0 972503296 288763904 52469 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 70499 52469 301 301 0 70198 0
vsize: 281996
[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 99536 0 0 0 21777 222 0 0 25 0 1 0 972503296 292122624 53207 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 71319 53207 301 301 0 71018 0
vsize: 285276
[startup+230.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 100569 0 0 0 22774 224 0 0 25 0 1 0 972503296 297156608 54240 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 72548 54240 301 301 0 72247 0
vsize: 290192
[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 101262 0 0 0 23772 226 0 0 25 0 1 0 972503296 300974080 54933 4294967295 134512640 135730672 3221224576 3221223072 134747629 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 73480 54933 301 301 0 73179 0
vsize: 293920
[startup+250.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 101490 0 0 0 24771 227 0 0 25 0 1 0 972503296 302153728 55161 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 73768 55161 301 301 0 73467 0
vsize: 295072
[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 102314 0 0 0 25768 230 0 0 25 0 1 0 972503296 306315264 55985 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 74784 55985 301 301 0 74483 0
vsize: 299136
[startup+270.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 103404 0 0 0 26766 233 0 0 25 0 1 0 972503296 311574528 57075 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 76068 57075 301 301 0 75767 0
vsize: 304272
[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 103808 0 0 0 27764 234 0 0 25 0 1 0 972503296 313442304 57479 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 76524 57479 301 301 0 76223 0
vsize: 306096
[startup+290.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 104355 0 0 0 28762 236 0 0 25 0 1 0 972503296 316166144 58026 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 77189 58026 301 301 0 76888 0
vsize: 308756
[startup+300.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 104544 0 0 0 29761 237 0 0 25 0 1 0 972503296 317214720 58215 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 77445 58215 301 301 0 77144 0
vsize: 309780
[startup+310.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 105351 0 0 0 30758 240 0 0 25 0 1 0 972503296 321249280 59022 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 78430 59022 301 301 0 78129 0
vsize: 313720
[startup+320.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 105780 0 0 0 31756 242 0 0 25 0 1 0 972503296 323227648 59451 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 78913 59451 301 301 0 78612 0
vsize: 315652
[startup+330.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 105983 0 0 0 32755 243 0 0 25 0 1 0 972503296 323899392 59654 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79077 59654 301 301 0 78776 0
vsize: 316308
[startup+340.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 106533 0 0 0 33753 245 0 0 25 0 1 0 972503296 326299648 60204 4294967295 134512640 135730672 3221224576 3221223200 134748120 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79663 60204 301 301 0 79362 0
vsize: 318652
[startup+350.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 106661 0 0 0 34752 246 0 0 25 0 1 0 972503296 326889472 60332 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79807 60332 301 301 0 79506 0
vsize: 319228
[startup+360.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 106723 0 0 0 35751 247 0 0 25 0 1 0 972503296 327282688 60394 4294967295 134512640 135730672 3221224576 3221223072 134747945 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79903 60394 301 301 0 79602 0
vsize: 319612
[startup+370.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 106844 0 0 0 36749 249 0 0 25 0 1 0 972503296 327872512 60515 4294967295 134512640 135730672 3221224576 3221223072 134747587 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 80047 60515 301 301 0 79746 0
vsize: 320188
[startup+380.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 106977 0 0 0 37748 250 0 0 25 0 1 0 972503296 328462336 60648 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 80191 60648 301 301 0 79890 0
vsize: 320764
[startup+390.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 107188 0 0 0 38746 252 0 0 25 0 1 0 972503296 329510912 60859 4294967295 134512640 135730672 3221224576 3221223072 134747618 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 80447 60859 301 301 0 80146 0
vsize: 321788
[startup+400.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 107201 0 0 0 39745 254 0 0 25 0 1 0 972503296 329510912 60872 4294967295 134512640 135730672 3221224576 3221223072 134747932 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 80447 60872 301 301 0 80146 0
vsize: 321788
[startup+410.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 107277 0 0 0 40743 255 0 0 25 0 1 0 972503296 329707520 60948 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 80495 60948 301 301 0 80194 0
vsize: 321980
[startup+420.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 107409 0 0 0 41742 256 0 0 25 0 1 0 972503296 330432512 61080 4294967295 134512640 135730672 3221224576 3221223264 134748455 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 80672 61080 301 301 0 80371 0
vsize: 322688
[startup+430.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 107448 0 0 0 42740 258 0 0 25 0 1 0 972503296 364183552 61119 4294967295 134512640 135730672 3221224576 3221223072 134747939 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 88912 61119 301 301 0 88611 0
vsize: 355648
[startup+440.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 107477 0 0 0 43739 259 0 0 25 0 1 0 972503296 364183552 61148 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 88912 61148 301 301 0 88611 0
vsize: 355648
[startup+450.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 107540 0 0 0 44738 260 0 0 25 0 1 0 972503296 364576768 61211 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89008 61211 301 301 0 88707 0
vsize: 356032
[startup+460.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 107670 0 0 0 45737 261 0 0 25 0 1 0 972503296 365166592 61341 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89152 61341 301 301 0 88851 0
vsize: 356608
[startup+470.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 107703 0 0 0 46736 262 0 0 25 0 1 0 972503296 365363200 61374 4294967295 134512640 135730672 3221224576 3221223056 134732772 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89200 61374 301 301 0 88899 0
vsize: 356800
[startup+480.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 107770 0 0 0 47734 264 0 0 25 0 1 0 972503296 365756416 61441 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89296 61441 301 301 0 88995 0
vsize: 357184
[startup+490.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 107832 0 0 0 48733 265 0 0 25 0 1 0 972503296 365953024 61503 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89344 61503 301 301 0 89043 0
vsize: 357376
[startup+500.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 107899 0 0 0 49732 267 0 0 25 0 1 0 972503296 366346240 61570 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89440 61570 301 301 0 89139 0
vsize: 357760
[startup+510.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 107922 0 0 0 50731 268 0 0 25 0 1 0 972503296 366346240 61593 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89440 61593 301 301 0 89139 0
vsize: 357760
[startup+520.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 108216 0 0 0 51728 270 0 0 25 0 1 0 972503296 367812608 61887 4294967295 134512640 135730672 3221224576 3221223072 134747728 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89798 61887 301 301 0 89497 0
vsize: 359192
[startup+530.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 108278 0 0 0 52727 271 0 0 25 0 1 0 972503296 368205824 61949 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89894 61949 301 301 0 89593 0
vsize: 359576
[startup+540.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 108429 0 0 0 53726 273 0 0 25 0 1 0 972503296 368992256 62100 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90086 62100 301 301 0 89785 0
vsize: 360344
[startup+550.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 108470 0 0 0 54724 274 0 0 25 0 1 0 972503296 369188864 62141 4294967295 134512640 135730672 3221224576 3221223072 134747578 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90134 62141 301 301 0 89833 0
vsize: 360536
[startup+560.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 108525 0 0 0 55723 275 0 0 25 0 1 0 972503296 369385472 62196 4294967295 134512640 135730672 3221224576 3221222896 134732493 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90182 62196 301 301 0 89881 0
vsize: 360728
[startup+570.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 108551 0 0 0 56722 277 0 0 25 0 1 0 972503296 369582080 62222 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90230 62222 301 301 0 89929 0
vsize: 360920
[startup+580.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 108722 0 0 0 57722 277 0 0 25 0 1 0 972503296 370384896 62393 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90426 62393 301 301 0 90125 0
vsize: 361704
[startup+590.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 108759 0 0 0 58721 278 0 0 25 0 1 0 972503296 370384896 62430 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90426 62430 301 301 0 90125 0
vsize: 361704
[startup+600.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 108796 0 0 0 59721 278 0 0 25 0 1 0 972503296 370581504 62467 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90474 62467 301 301 0 90173 0
vsize: 361896
[startup+610.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 108866 0 0 0 60721 279 0 0 25 0 1 0 972503296 370974720 62537 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90570 62537 301 301 0 90269 0
vsize: 362280
[startup+620.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 108914 0 0 0 61719 280 0 0 25 0 1 0 972503296 371171328 62585 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90618 62585 301 301 0 90317 0
vsize: 362472
[startup+630.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 108974 0 0 0 62718 281 0 0 25 0 1 0 972503296 371367936 62645 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90666 62645 301 301 0 90365 0
vsize: 362664
[startup+640.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 109037 0 0 0 63718 283 0 0 25 0 1 0 972503296 371761152 62708 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90762 62708 301 301 0 90461 0
vsize: 363048
[startup+650.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 109193 0 0 0 64717 283 0 0 25 0 1 0 972503296 372547584 62864 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90954 62864 301 301 0 90653 0
vsize: 363816
[startup+660.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 109202 0 0 0 65716 284 0 0 25 0 1 0 972503296 372547584 62873 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90954 62873 301 301 0 90653 0
vsize: 363816
[startup+670.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 109219 0 0 0 66716 285 0 0 25 0 1 0 972503296 372547584 62890 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90954 62890 301 301 0 90653 0
vsize: 363816
[startup+680.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 109305 0 0 0 67715 286 0 0 25 0 1 0 972503296 372940800 62976 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91050 62976 301 301 0 90749 0
vsize: 364200
[startup+690.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 109328 0 0 0 68714 287 0 0 25 0 1 0 972503296 373137408 62999 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91098 62999 301 301 0 90797 0
vsize: 364392
[startup+700.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 109369 0 0 0 69714 288 0 0 25 0 1 0 972503296 373334016 63040 4294967295 134512640 135730672 3221224576 3221223184 134744757 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91146 63040 301 301 0 90845 0
vsize: 364584
[startup+710.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 109423 0 0 0 70713 288 0 0 25 0 1 0 972503296 373530624 63094 4294967295 134512640 135730672 3221224576 3221223184 134744763 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91194 63094 301 301 0 90893 0
vsize: 364776
[startup+720.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 109433 0 0 0 71712 289 0 0 25 0 1 0 972503296 373530624 63104 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91194 63104 301 301 0 90893 0
vsize: 364776
[startup+730.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 109443 0 0 0 72712 290 0 0 25 0 1 0 972503296 373530624 63114 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91194 63114 301 301 0 90893 0
vsize: 364776
[startup+740.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 109840 0 0 0 73710 292 0 0 25 0 1 0 972503296 375562240 63511 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91690 63511 301 301 0 91389 0
vsize: 366760
[startup+750.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 109911 0 0 0 74709 293 0 0 25 0 1 0 972503296 375955456 63582 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91786 63582 301 301 0 91485 0
vsize: 367144
[startup+760.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 109980 0 0 0 75708 294 0 0 25 0 1 0 972503296 376152064 63651 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91834 63651 301 301 0 91533 0
vsize: 367336
[startup+770.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 110050 0 0 0 76708 295 0 0 25 0 1 0 972503296 376545280 63721 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91930 63721 301 301 0 91629 0
vsize: 367720
[startup+780.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 110091 0 0 0 77707 296 0 0 25 0 1 0 972503296 376741888 63762 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91978 63762 301 301 0 91677 0
vsize: 367912
[startup+790.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 110166 0 0 0 78707 297 0 0 25 0 1 0 972503296 377135104 63837 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92074 63837 301 301 0 91773 0
vsize: 368296
[startup+800.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 110209 0 0 0 79706 297 0 0 25 0 1 0 972503296 377331712 63880 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92122 63880 301 301 0 91821 0
vsize: 368488
[startup+810.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 110377 0 0 0 80705 299 0 0 25 0 1 0 972503296 378068992 64048 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92302 64048 301 301 0 92001 0
vsize: 369208
[startup+820.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 110412 0 0 0 81704 300 0 0 25 0 1 0 972503296 378249216 64083 4294967295 134512640 135730672 3221224576 3221223072 134747735 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92346 64083 301 301 0 92045 0
vsize: 369384
[startup+830.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 110432 0 0 0 82704 300 0 0 25 0 1 0 972503296 378249216 64103 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92346 64103 301 301 0 92045 0
vsize: 369384
[startup+840.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 110440 0 0 0 83703 301 0 0 25 0 1 0 972503296 378249216 64111 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92346 64111 301 301 0 92045 0
vsize: 369384
[startup+850.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 110484 0 0 0 84702 302 0 0 25 0 1 0 972503296 378445824 64155 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92394 64155 301 301 0 92093 0
vsize: 369576
[startup+860.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 110545 0 0 0 85701 303 0 0 25 0 1 0 972503296 378839040 64216 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92490 64216 301 301 0 92189 0
vsize: 369960
[startup+870.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 110575 0 0 0 86701 304 0 0 25 0 1 0 972503296 379035648 64246 4294967295 134512640 135730672 3221224576 3221223168 134747445 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92538 64246 301 301 0 92237 0
vsize: 370152
[startup+880.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 110617 0 0 0 87700 305 0 0 25 0 1 0 972503296 379035648 64288 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92538 64288 301 301 0 92237 0
vsize: 370152
[startup+890.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 110660 0 0 0 88700 305 0 0 25 0 1 0 972503296 379232256 64331 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92586 64331 301 301 0 92285 0
vsize: 370344
[startup+900.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 110670 0 0 0 89700 306 0 0 25 0 1 0 972503296 379232256 64341 4294967295 134512640 135730672 3221224576 3221223072 134747634 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92586 64341 301 301 0 92285 0
vsize: 370344
[startup+910.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 110830 0 0 0 90699 307 0 0 25 0 1 0 972503296 380116992 64501 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92802 64501 301 301 0 92501 0
vsize: 371208
[startup+920.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 110852 0 0 0 91698 307 0 0 25 0 1 0 972503296 380116992 64523 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92802 64523 301 301 0 92501 0
vsize: 371208
[startup+930.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 110861 0 0 0 92698 308 0 0 25 0 1 0 972503296 380116992 64532 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92802 64532 301 301 0 92501 0
vsize: 371208
[startup+940.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 110895 0 0 0 93698 308 0 0 25 0 1 0 972503296 380313600 64566 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92850 64566 301 301 0 92549 0
vsize: 371400
[startup+950.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 110904 0 0 0 94698 309 0 0 25 0 1 0 972503296 380313600 64575 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92850 64575 301 301 0 92549 0
vsize: 371400
[startup+960.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 110911 0 0 0 95698 309 0 0 25 0 1 0 972503296 380313600 64582 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92850 64582 301 301 0 92549 0
vsize: 371400
[startup+970.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 110991 0 0 0 96697 310 0 0 25 0 1 0 972503296 380706816 64662 4294967295 134512640 135730672 3221224576 3221223072 134747644 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92946 64662 301 301 0 92645 0
vsize: 371784
[startup+980.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 111002 0 0 0 97697 310 0 0 25 0 1 0 972503296 380706816 64673 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92946 64673 301 301 0 92645 0
vsize: 371784
[startup+990.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 111013 0 0 0 98696 311 0 0 25 0 1 0 972503296 380706816 64684 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92946 64684 301 301 0 92645 0
vsize: 371784
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 111065 0 0 0 99696 312 0 0 25 0 1 0 972503296 380903424 64736 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92994 64736 301 301 0 92693 0
vsize: 371976
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 111132 0 0 0 100695 313 0 0 25 0 1 0 972503296 381296640 64803 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93090 64803 301 301 0 92789 0
vsize: 372360
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 111184 0 0 0 101695 313 0 0 25 0 1 0 972503296 381431808 64855 4294967295 134512640 135730672 3221224576 3221223072 134747741 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93123 64855 301 301 0 92822 0
vsize: 372492
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 111295 0 0 0 102694 314 0 0 25 0 1 0 972503296 382021632 64966 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93267 64966 301 301 0 92966 0
vsize: 373068
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 111467 0 0 0 103694 315 0 0 25 0 1 0 972503296 382996480 65138 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93505 65138 301 301 0 93204 0
vsize: 374020
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 111500 0 0 0 104693 315 0 0 25 0 1 0 972503296 383193088 65171 4294967295 134512640 135730672 3221224576 3221222896 134732524 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93553 65171 301 301 0 93252 0
vsize: 374212
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 111520 0 0 0 105693 316 0 0 25 0 1 0 972503296 383193088 65191 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93553 65191 301 301 0 93252 0
vsize: 374212
[startup+1070.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 111551 0 0 0 106693 317 0 0 25 0 1 0 972503296 383389696 65222 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93601 65222 301 301 0 93300 0
vsize: 374404
[startup+1080.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 111564 0 0 0 107693 317 0 0 25 0 1 0 972503296 383389696 65235 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93601 65235 301 301 0 93300 0
vsize: 374404
[startup+1090.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 111592 0 0 0 108693 318 0 0 25 0 1 0 972503296 383389696 65263 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93601 65263 301 301 0 93300 0
vsize: 374404
[startup+1100.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 111614 0 0 0 109692 318 0 0 25 0 1 0 972503296 383586304 65285 4294967295 134512640 135730672 3221224576 3221223072 134747578 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93649 65285 301 301 0 93348 0
vsize: 374596
[startup+1110.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 111644 0 0 0 110691 319 0 0 25 0 1 0 972503296 383586304 65315 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93649 65315 301 301 0 93348 0
vsize: 374596
[startup+1120.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 111663 0 0 0 111691 320 0 0 25 0 1 0 972503296 383782912 65334 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93697 65334 301 301 0 93396 0
vsize: 374788
[startup+1130.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 111671 0 0 0 112690 321 0 0 25 0 1 0 972503296 383782912 65342 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93697 65342 301 301 0 93396 0
vsize: 374788
[startup+1140.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 111709 0 0 0 113690 322 0 0 25 0 1 0 972503296 383979520 65380 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93745 65380 301 301 0 93444 0
vsize: 374980
[startup+1150.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 111722 0 0 0 114689 322 0 0 25 0 1 0 972503296 383979520 65393 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93745 65393 301 301 0 93444 0
vsize: 374980
[startup+1160.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 111745 0 0 0 115689 323 0 0 25 0 1 0 972503296 383979520 65416 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93745 65416 301 301 0 93444 0
vsize: 374980
[startup+1170.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 111753 0 0 0 116689 323 0 0 25 0 1 0 972503296 383979520 65424 4294967295 134512640 135730672 3221224576 3221223200 134748138 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93745 65424 301 301 0 93444 0
vsize: 374980
[startup+1180.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 111833 0 0 0 117688 324 0 0 25 0 1 0 972503296 384372736 65504 4294967295 134512640 135730672 3221224576 3221223072 134747536 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93841 65504 301 301 0 93540 0
vsize: 375364
[startup+1190.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 111843 0 0 0 118688 325 0 0 25 0 1 0 972503296 384372736 65514 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93841 65514 301 301 0 93540 0
vsize: 375364
[startup+1200.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27259
Raw data (stat): 27259 (pb2sat-v2) R 27258 20224 20223 0 -1 0 111855 0 0 0 119688 325 0 0 25 0 1 0 972503296 384372736 65526 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93841 65526 301 301 0 93540 0
vsize: 375364
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.01 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 27259
Raw data (stat): 27259 (pb2sat-v2) Z 27258 20224 20223 0 -1 12 111857 0 0 0 119869 338 0 0 25 0 1 0 972503296 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 0
Real time (s): 1202.01
CPU time (s): 1202.08
CPU user time (s): 1198.69
CPU system time (s): 3.38149
CPU usage (%): 100.006
Max. virtual memory (Kb): 375364
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####