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/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-bienst1.opb
MD5SUM	3be753912a1804561d804d0545fc341d
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	20
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	1048575
Number of bits of the sum of numbers in the objective function	20
Biggest number in a constraint	524288
Number of bits of the biggest number in a constraint	20
Biggest sum of numbers in a constraint	13633395
Number of bits of the biggest sum of numbers	24
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	9232
Total number of constraints	632
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	32
Number of constraints which are nor clauses,nor cardinality constraints	600
Minimum length of a constraint	1
Maximum length of a constraint	260
Trace number 42982

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-16 20:15:10 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26194 boxname=wulflinc3 idbench=1494 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  3be753912a1804561d804d0545fc341d  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-bienst1.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-bienst1.opb
IDLAUNCH: 26194
/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:        716544 kB
Buffers:         25744 kB
Cached:         270444 kB
SwapCached:        768 kB
Active:          40056 kB
Inactive:       258224 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        716292 kB
SwapTotal:     2097136 kB
SwapFree:      2095372 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5104 kB
Slab:            14168 kB
Committed_AS:    71884 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 20:35:14 (client local time) WITH STATUS 0 IN 1202.11 SECONDS
stats: 26194 7 1202.11 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 187279/792202	Time: 164.253/86400
c Decision: 187279/792202	Time: 199.117/86400
c Decision: 187279/792202	Time: 227.404/86400
c Decision: 187279/792202	Time: 253.123/86400
c Decision: 187279/792202	Time: 277.254/86400
c Decision: 187279/792202	Time: 306.893/86400
c Decision: 187279/792202	Time: 330.399/86400
c Decision: 187483/792202	Time: 364.833/86400
c Decision: 187950/792202	Time: 460.953/86400
c Decision: 187950/792202	Time: 488.511/86400
c Decision: 187950/792202	Time: 521.271/86400
c Decision: 188233/792202	Time: 606.002/86400
c Decision: 188236/792202	Time: 640.75/86400
c Decision: 188325/792202	Time: 691.55/86400
c Decision: 188325/792202	Time: 731.563/86400
c Decision: 188427/792202	Time: 756.428/86400
c Decision: 188427/792202	Time: 787.299/86400
c Decision: 188494/792202	Time: 848.227/86400
c Decision: 188494/792202	Time: 869.286/86400
c Decision: 188494/792202	Time: 904.276/86400
c Decision: 188494/792202	Time: 940.383/86400
c Decision: 188494/792202	Time: 963.013/86400
c Decision: 188579/792202	Time: 1001.42/86400
c Decision: 188579/792202	Time: 1016.66/86400
c Decision: 188579/792202	Time: 1044.68/86400
c Decision: 188579/792202	Time: 1100.75/86400
c Decision: 188579/792202	Time: 1124.67/86400
c Decision: 188579/792202	Time: 1150.18/86400s UNKNOWN
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.92 0.98 0.92 1/54 29004
Raw data (stat): 29004 (runsolver) R 29003 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 973556234 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0016 s]
Raw data (loadavg): 0.93 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 28219 0 0 0 935 63 0 0 25 0 1 0 973556234 78356480 17156 4294967295 134512640 135730672 3221224576 3221177904 135282776 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19130 17156 301 301 0 18829 0
vsize: 76520
[startup+20.002 s]
Raw data (loadavg): 0.94 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 56459 0 0 0 1874 124 0 0 25 0 1 0 973556234 155291648 34398 4294967295 134512640 135730672 3221224576 3221124024 135285983 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37913 34400 301 301 0 37612 0
vsize: 151652
[startup+30.0025 s]
Raw data (loadavg): 0.95 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 95241 0 0 0 2794 205 0 0 25 0 1 0 973556234 304439296 51479 4294967295 134512640 135730672 3221224576 3221215928 135284334 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 74326 51479 301 301 0 74025 0
vsize: 297304
[startup+40.0028 s]
Raw data (loadavg): 0.96 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 102997 0 0 0 3777 222 0 0 25 0 1 0 973556234 310779904 57593 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75874 57593 301 301 0 75573 0
vsize: 303496
[startup+50.0036 s]
Raw data (loadavg): 0.96 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 103069 0 0 0 4776 223 0 0 25 0 1 0 973556234 311083008 57665 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75948 57665 301 301 0 75647 0
vsize: 303792
[startup+60.0045 s]
Raw data (loadavg): 0.97 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 104544 0 0 0 5772 227 0 0 25 0 1 0 973556234 317108224 58885 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 77419 58885 301 301 0 77118 0
vsize: 309676
[startup+70.0053 s]
Raw data (loadavg): 0.97 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 105272 0 0 0 6770 230 0 0 25 0 1 0 973556234 320319488 59547 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 78203 59547 301 301 0 77902 0
vsize: 312812
[startup+80.0061 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 106311 0 0 0 7768 232 0 0 25 0 1 0 973556234 324616192 60319 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79252 60319 301 301 0 78951 0
vsize: 317008
[startup+90.0066 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 107950 0 0 0 8764 236 0 0 25 0 1 0 973556234 330588160 61384 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 80710 61384 301 301 0 80409 0
vsize: 322840
[startup+100.007 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 110083 0 0 0 9760 240 0 0 25 0 1 0 973556234 338214912 62853 4294967295 134512640 135730672 3221224576 3221223232 134748661 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 82572 62853 301 301 0 82271 0
vsize: 330288
[startup+110.008 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 110836 0 0 0 10758 242 0 0 25 0 1 0 973556234 341331968 63394 4294967295 134512640 135730672 3221224576 3221223232 134734829 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 83333 63394 301 301 0 83032 0
vsize: 333332
[startup+120.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 111948 0 0 0 11756 245 0 0 25 0 1 0 973556234 346243072 64341 4294967295 134512640 135730672 3221224576 3221222896 134732479 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 84532 64341 301 301 0 84231 0
vsize: 338128
[startup+130.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 112887 0 0 0 12753 247 0 0 25 0 1 0 973556234 349728768 65082 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 85383 65082 301 301 0 85082 0
vsize: 341532
[startup+140.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 113444 0 0 0 13752 249 0 0 25 0 1 0 973556234 351776768 65508 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 85883 65508 301 301 0 85582 0
vsize: 343532
[startup+150.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 114124 0 0 0 14750 251 0 0 25 0 1 0 973556234 353955840 65911 4294967295 134512640 135730672 3221224576 3221223072 134747705 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 86415 65911 301 301 0 86114 0
vsize: 345660
[startup+160.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 115037 0 0 0 15749 253 0 0 25 0 1 0 973556234 356601856 66365 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 87061 66365 301 301 0 86760 0
vsize: 348244
[startup+170.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 115086 0 0 0 16747 254 0 0 25 0 1 0 973556234 356737024 66414 4294967295 134512640 135730672 3221224576 3221222824 135284346 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 87094 66414 301 301 0 86793 0
vsize: 348376
[startup+180.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 115099 0 0 0 17747 255 0 0 25 0 1 0 973556234 356737024 66427 4294967295 134512640 135730672 3221224576 3221223072 134747957 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 87094 66427 301 301 0 86793 0
vsize: 348376
[startup+190.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 115111 0 0 0 18746 256 0 0 25 0 1 0 973556234 356737024 66439 4294967295 134512640 135730672 3221224576 3221222912 134739213 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 87094 66439 301 301 0 86793 0
vsize: 348376
[startup+200.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 117193 0 0 0 19741 261 0 0 25 0 1 0 973556234 358739968 66776 4294967295 134512640 135730672 3221224576 3221223088 135282966 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 87583 66776 301 301 0 87282 0
vsize: 350332
[startup+210.013 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 117831 0 0 0 20738 263 0 0 25 0 1 0 973556234 360804352 67217 4294967295 134512640 135730672 3221224576 3221223232 134748661 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 88087 67217 301 301 0 87786 0
vsize: 352348
[startup+220.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 118404 0 0 0 21737 265 0 0 25 0 1 0 973556234 362524672 67560 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 88507 67560 301 301 0 88206 0
vsize: 354028
[startup+230.015 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 118697 0 0 0 22735 267 0 0 25 0 1 0 973556234 363606016 67853 4294967295 134512640 135730672 3221224576 3221223088 134746077 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 88771 67853 301 301 0 88470 0
vsize: 355084
[startup+240.016 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 120791 0 0 0 23731 271 0 0 25 0 1 0 973556234 365473792 68201 4294967295 134512640 135730672 3221224576 3221223072 134747536 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89227 68201 301 301 0 88926 0
vsize: 356908
[startup+250.015 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 121582 0 0 0 24730 273 0 0 25 0 1 0 973556234 367452160 68600 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89710 68600 301 301 0 89409 0
vsize: 358840
[startup+260.016 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 123137 0 0 0 25725 277 0 0 25 0 1 0 973556234 373792768 70155 4294967295 134512640 135730672 3221224576 3221222848 134774514 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91258 70155 301 301 0 90957 0
vsize: 365032
[startup+270.016 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 123945 0 0 0 26723 279 0 0 25 0 1 0 973556234 369836032 69021 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90292 69021 301 301 0 89991 0
vsize: 361168
[startup+280.017 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 124064 0 0 0 27722 280 0 0 25 0 1 0 973556234 370098176 69075 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90356 69075 301 301 0 90055 0
vsize: 361424
[startup+290.018 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 125775 0 0 0 28717 284 0 0 25 0 1 0 973556234 370495488 69172 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90453 69172 301 301 0 90152 0
vsize: 361812
[startup+300.018 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 126363 0 0 0 29716 286 0 0 25 0 1 0 973556234 372346880 69531 4294967295 134512640 135730672 3221224576 3221222896 134732479 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90905 69531 301 301 0 90604 0
vsize: 363620
[startup+310.018 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 127920 0 0 0 30712 290 0 0 25 0 1 0 973556234 372346880 69540 4294967295 134512640 135730672 3221224576 3221222992 134741730 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90905 69540 301 301 0 90604 0
vsize: 363620
[startup+320.018 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 128034 0 0 0 31712 291 0 0 25 0 1 0 973556234 372477952 69621 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90937 69621 301 301 0 90636 0
vsize: 363748
[startup+330.019 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 128234 0 0 0 32711 292 0 0 25 0 1 0 973556234 372875264 69755 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91034 69755 301 301 0 90733 0
vsize: 364136
[startup+340.019 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 129924 0 0 0 33708 295 0 0 25 0 1 0 973556234 373538816 69864 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91196 69864 301 301 0 90895 0
vsize: 364784
[startup+350.019 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 130221 0 0 0 34707 296 0 0 25 0 1 0 973556234 374329344 70030 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91389 70030 301 301 0 91088 0
vsize: 365556
[startup+360.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 130329 0 0 0 35706 297 0 0 25 0 1 0 973556234 374591488 70073 4294967295 134512640 135730672 3221224576 3221223200 134748106 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91453 70073 301 301 0 91152 0
vsize: 365812
[startup+370.019 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 132000 0 0 0 36702 301 0 0 25 0 1 0 973556234 374853632 70131 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91517 70131 301 301 0 91216 0
vsize: 366068
[startup+380.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 132738 0 0 0 37700 303 0 0 25 0 1 0 973556234 377491456 70478 4294967295 134512640 135730672 3221224576 3221223200 134748108 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92161 70478 301 301 0 91860 0
vsize: 368644
[startup+390.021 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 132976 0 0 0 38699 305 0 0 25 0 1 0 973556234 378015744 70585 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92289 70585 301 301 0 91988 0
vsize: 369156
[startup+400.021 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 134600 0 0 0 39695 309 0 0 25 0 1 0 973556234 378281984 70661 4294967295 134512640 135730672 3221224576 3221223200 134748179 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92354 70661 301 301 0 92053 0
vsize: 369416
[startup+410.022 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 134689 0 0 0 40694 309 0 0 25 0 1 0 973556234 378822656 70750 4294967295 134512640 135730672 3221224576 3221223232 134734776 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92486 70750 301 301 0 92185 0
vsize: 369944
[startup+420.023 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 134901 0 0 0 41693 310 0 0 25 0 1 0 973556234 379895808 70929 4294967295 134512640 135730672 3221224576 3221223072 134747465 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92748 70929 301 301 0 92447 0
vsize: 370992
[startup+430.023 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 135187 0 0 0 42693 311 0 0 25 0 1 0 973556234 380551168 71051 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92908 71051 301 301 0 92607 0
vsize: 371632
[startup+440.024 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 135432 0 0 0 43692 312 0 0 25 0 1 0 973556234 381345792 71165 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93102 71165 301 301 0 92801 0
vsize: 372408
[startup+450.024 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 135610 0 0 0 44692 312 0 0 25 0 1 0 973556234 381739008 71245 4294967295 134512640 135730672 3221224576 3221223072 134747902 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93198 71245 301 301 0 92897 0
vsize: 372792
[startup+460.024 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 135802 0 0 0 45691 314 0 0 25 0 1 0 973556234 382263296 71307 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93326 71307 301 301 0 93025 0
vsize: 373304
[startup+470.025 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 136112 0 0 0 46690 314 0 0 25 0 1 0 973556234 382918656 71454 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93486 71454 301 301 0 93185 0
vsize: 373944
[startup+480.026 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 136437 0 0 0 47689 315 0 0 25 0 1 0 973556234 383840256 71616 4294967295 134512640 135730672 3221224576 3221223200 134748111 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93711 71616 301 301 0 93410 0
vsize: 374844
[startup+490.026 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 136652 0 0 0 48689 316 0 0 25 0 1 0 973556234 384364544 71701 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93839 71701 301 301 0 93538 0
vsize: 375356
[startup+500.027 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 138402 0 0 0 49684 320 0 0 25 0 1 0 973556234 384888832 71773 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93967 71773 301 301 0 93666 0
vsize: 375868
[startup+510.028 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 138498 0 0 0 50684 321 0 0 25 0 1 0 973556234 385150976 71804 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94031 71804 301 301 0 93730 0
vsize: 376124
[startup+520.028 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 140062 0 0 0 51680 325 0 0 25 0 1 0 973556234 391491584 73368 4294967295 134512640 135730672 3221224576 3221222728 134765483 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95579 73368 301 301 0 95278 0
vsize: 382316
[startup+530.029 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 140316 0 0 0 52679 327 0 0 25 0 1 0 973556234 385941504 71944 4294967295 134512640 135730672 3221224576 3221223264 134748681 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94224 71944 301 301 0 93923 0
vsize: 376896
[startup+540.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 140334 0 0 0 53678 328 0 0 25 0 1 0 973556234 385941504 71962 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94224 71962 301 301 0 93923 0
vsize: 376896
[startup+550.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 140409 0 0 0 54677 329 0 0 25 0 1 0 973556234 386203648 71972 4294967295 134512640 135730672 3221224576 3221222992 134741573 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94288 71972 301 301 0 93987 0
vsize: 377152
[startup+560.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 141967 0 0 0 55673 333 0 0 25 0 1 0 973556234 386203648 71982 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94288 71982 301 301 0 93987 0
vsize: 377152
[startup+570.031 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 141970 0 0 0 56672 334 0 0 25 0 1 0 973556234 386203648 71985 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94288 71985 301 301 0 93987 0
vsize: 377152
[startup+580.032 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 142201 0 0 0 57672 335 0 0 25 0 1 0 973556234 386727936 72086 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94416 72086 301 301 0 94115 0
vsize: 377664
[startup+590.033 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 142214 0 0 0 58672 335 0 0 25 0 1 0 973556234 386727936 72099 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94416 72099 301 301 0 94115 0
vsize: 377664
[startup+600.033 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 142244 0 0 0 59671 336 0 0 25 0 1 0 973556234 386727936 72129 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94416 72129 301 301 0 94115 0
vsize: 377664
[startup+610.034 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 142349 0 0 0 60671 336 0 0 25 0 1 0 973556234 386994176 72234 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94481 72234 301 301 0 94180 0
vsize: 377924
[startup+620.033 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 142353 0 0 0 61671 336 0 0 25 0 1 0 973556234 386994176 72238 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94481 72238 301 301 0 94180 0
vsize: 377924
[startup+630.034 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 142381 0 0 0 62670 337 0 0 25 0 1 0 973556234 386994176 72266 4294967295 134512640 135730672 3221224576 3221222824 135286126 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94481 72266 301 301 0 94180 0
vsize: 377924
[startup+640.035 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 143944 0 0 0 63666 342 0 0 25 0 1 0 973556234 386994176 72281 4294967295 134512640 135730672 3221224576 3221223072 134747885 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94481 72281 301 301 0 94180 0
vsize: 377924
[startup+650.035 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 144636 0 0 0 64665 343 0 0 25 0 1 0 973556234 388829184 72520 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94929 72520 301 301 0 94628 0
vsize: 379716
[startup+660.036 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 144648 0 0 0 65664 344 0 0 25 0 1 0 973556234 388829184 72532 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94929 72532 301 301 0 94628 0
vsize: 379716
[startup+670.036 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 144787 0 0 0 66663 345 0 0 25 0 1 0 973556234 389222400 72573 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95025 72573 301 301 0 94724 0
vsize: 380100
[startup+680.036 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 146443 0 0 0 67659 350 0 0 25 0 1 0 973556234 389484544 72616 4294967295 134512640 135730672 3221224576 3221223072 134747705 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95089 72616 301 301 0 94788 0
vsize: 380356
[startup+690.037 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 146451 0 0 0 68658 351 0 0 25 0 1 0 973556234 389484544 72624 4294967295 134512640 135730672 3221224576 3221223072 134747714 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95089 72624 301 301 0 94788 0
vsize: 380356
[startup+700.037 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 146777 0 0 0 69658 351 0 0 25 0 1 0 973556234 390402048 72722 4294967295 134512640 135730672 3221224576 3221223232 134734829 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95313 72722 301 301 0 95012 0
vsize: 381252
[startup+710.038 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 146786 0 0 0 70657 352 0 0 25 0 1 0 973556234 390402048 72731 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95313 72731 301 301 0 95012 0
vsize: 381252
[startup+720.038 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 146808 0 0 0 71657 353 0 0 25 0 1 0 973556234 390402048 72753 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95313 72753 301 301 0 95012 0
vsize: 381252
[startup+730.039 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 148374 0 0 0 72653 357 0 0 25 0 1 0 973556234 390402048 72771 4294967295 134512640 135730672 3221224576 3221223200 134748166 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95313 72771 301 301 0 95012 0
vsize: 381252
[startup+740.039 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 148377 0 0 0 73653 357 0 0 25 0 1 0 973556234 390402048 72774 4294967295 134512640 135730672 3221224576 3221223072 134747705 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95313 72774 301 301 0 95012 0
vsize: 381252
[startup+750.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 148578 0 0 0 74652 358 0 0 25 0 1 0 973556234 390926336 72845 4294967295 134512640 135730672 3221224576 3221223184 134748241 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95441 72845 301 301 0 95140 0
vsize: 381764
[startup+760.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 148715 0 0 0 75651 359 0 0 25 0 1 0 973556234 391319552 72884 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95537 72884 301 301 0 95236 0
vsize: 382148
[startup+770.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 150370 0 0 0 76647 364 0 0 25 0 1 0 973556234 391581696 72926 4294967295 134512640 135730672 3221224576 3221223072 134747705 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95601 72926 301 301 0 95300 0
vsize: 382404
[startup+780.041 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 150558 0 0 0 77646 365 0 0 25 0 1 0 973556234 392105984 72984 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95729 72984 301 301 0 95428 0
vsize: 382916
[startup+790.042 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 152112 0 0 0 78642 369 0 0 25 0 1 0 973556234 392105984 72990 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95729 72990 301 301 0 95428 0
vsize: 382916
[startup+800.042 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 152746 0 0 0 79640 371 0 0 25 0 1 0 973556234 393678848 73234 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96113 73234 301 301 0 95812 0
vsize: 384452
[startup+810.042 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 152854 0 0 0 80640 371 0 0 25 0 1 0 973556234 393940992 73277 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96177 73277 301 301 0 95876 0
vsize: 384708
[startup+820.043 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 154405 0 0 0 81636 376 0 0 25 0 1 0 973556234 393940992 73280 4294967295 134512640 135730672 3221224576 3221222992 134741730 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96177 73280 301 301 0 95876 0
vsize: 384708
[startup+830.044 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 154549 0 0 0 82635 376 0 0 25 0 1 0 973556234 394203136 73359 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96241 73359 301 301 0 95940 0
vsize: 384964
[startup+840.045 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 155049 0 0 0 83635 377 0 0 25 0 1 0 973556234 395251712 73599 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96497 73599 301 301 0 96196 0
vsize: 385988
[startup+850.046 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 155179 0 0 0 84634 378 0 0 25 0 1 0 973556234 395644928 73631 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96593 73631 301 301 0 96292 0
vsize: 386372
[startup+860.047 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 155202 0 0 0 85634 378 0 0 25 0 1 0 973556234 395644928 73654 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96593 73654 301 301 0 96292 0
vsize: 386372
[startup+870.046 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 155310 0 0 0 86634 378 0 0 25 0 1 0 973556234 395907072 73697 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96657 73697 301 301 0 96356 0
vsize: 386628
[startup+880.047 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 156860 0 0 0 87630 383 0 0 25 0 1 0 973556234 402247680 75247 4294967295 134512640 135730672 3221224576 3221222728 134765483 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98205 75247 301 301 0 97904 0
vsize: 392820
[startup+890.048 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 156861 0 0 0 88629 384 0 0 25 0 1 0 973556234 395907072 73700 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96657 73700 301 301 0 96356 0
vsize: 386628
[startup+900.048 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 156882 0 0 0 89629 385 0 0 25 0 1 0 973556234 395907072 73721 4294967295 134512640 135730672 3221224576 3221223088 134745852 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96657 73721 301 301 0 96356 0
vsize: 386628
[startup+910.049 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 158517 0 0 0 90624 389 0 0 25 0 1 0 973556234 396169216 73743 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96721 73743 301 301 0 96420 0
vsize: 386884
[startup+920.05 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 158540 0 0 0 91624 390 0 0 25 0 1 0 973556234 396169216 73766 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96721 73766 301 301 0 96420 0
vsize: 386884
[startup+930.05 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 158667 0 0 0 92623 391 0 0 25 0 1 0 973556234 396431360 73828 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96785 73828 301 301 0 96484 0
vsize: 387140
[startup+940.05 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 160596 0 0 0 93619 396 0 0 25 0 1 0 973556234 397484032 73980 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97042 73980 301 301 0 96741 0
vsize: 388168
[startup+950.051 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 160604 0 0 0 94618 396 0 0 25 0 1 0 973556234 397484032 73988 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97042 73988 301 301 0 96741 0
vsize: 388168
[startup+960.052 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 160653 0 0 0 95618 397 0 0 25 0 1 0 973556234 397754368 74037 4294967295 134512640 135730672 3221224576 3221223264 134748499 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97108 74037 301 301 0 96807 0
vsize: 388432
[startup+970.052 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 162366 0 0 0 96614 401 0 0 25 0 1 0 973556234 404488192 75652 4294967295 134512640 135730672 3221224576 3221222712 134765483 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98752 75652 301 301 0 98451 0
vsize: 395008
[startup+980.052 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 162367 0 0 0 97613 402 0 0 25 0 1 0 973556234 398147584 74105 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97204 74105 301 301 0 96903 0
vsize: 388816
[startup+990.052 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 162377 0 0 0 98612 403 0 0 25 0 1 0 973556234 398147584 74115 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97204 74115 301 301 0 96903 0
vsize: 388816
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 163942 0 0 0 99608 407 0 0 25 0 1 0 973556234 398147584 74132 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97204 74132 301 301 0 96903 0
vsize: 388816
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 164173 0 0 0 100608 408 0 0 25 0 1 0 973556234 398671872 74233 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97332 74233 301 301 0 97031 0
vsize: 389328
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 164190 0 0 0 101607 408 0 0 25 0 1 0 973556234 398671872 74250 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97332 74250 301 301 0 97031 0
vsize: 389328
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 164193 0 0 0 102607 409 0 0 25 0 1 0 973556234 398671872 74253 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97332 74253 301 301 0 97031 0
vsize: 389328
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 165744 0 0 0 103603 413 0 0 25 0 1 0 973556234 398671872 74256 4294967295 134512640 135730672 3221224576 3221223072 134747883 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97332 74256 301 301 0 97031 0
vsize: 389328
[startup+1050.06 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 167304 0 0 0 104599 417 0 0 25 0 1 0 973556234 398671872 74268 4294967295 134512640 135730672 3221224576 3221223072 134747892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97332 74268 301 301 0 97031 0
vsize: 389328
[startup+1060.06 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 167336 0 0 0 105598 418 0 0 25 0 1 0 973556234 398807040 74300 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97365 74300 301 301 0 97064 0
vsize: 389460
[startup+1070.06 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 167590 0 0 0 106597 419 0 0 25 0 1 0 973556234 399462400 74391 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97525 74391 301 301 0 97224 0
vsize: 390100
[startup+1080.06 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 169261 0 0 0 107593 424 0 0 25 0 1 0 973556234 399724544 74449 4294967295 134512640 135730672 3221224576 3221223264 134748557 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97589 74449 301 301 0 97288 0
vsize: 390356
[startup+1090.06 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 169384 0 0 0 108593 424 0 0 25 0 1 0 973556234 399986688 74507 4294967295 134512640 135730672 3221224576 3221223072 134747610 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97653 74507 301 301 0 97352 0
vsize: 390612
[startup+1100.06 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 169389 0 0 0 109593 425 0 0 25 0 1 0 973556234 399986688 74512 4294967295 134512640 135730672 3221224576 3221222896 134732515 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97653 74512 301 301 0 97352 0
vsize: 390612
[startup+1110.06 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 169506 0 0 0 110592 425 0 0 25 0 1 0 973556234 400248832 74564 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97717 74564 301 301 0 97416 0
vsize: 390868
[startup+1120.06 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 169666 0 0 0 111592 425 0 0 25 0 1 0 973556234 400510976 74659 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97781 74659 301 301 0 97480 0
vsize: 391124
[startup+1130.06 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 171307 0 0 0 112589 429 0 0 25 0 1 0 973556234 407113728 76235 4294967295 134512640 135730672 3221224576 3221222752 134768836 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99393 76235 301 301 0 99092 0
vsize: 397572
[startup+1140.06 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 171308 0 0 0 113588 430 0 0 25 0 1 0 973556234 400773120 74688 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97845 74688 301 301 0 97544 0
vsize: 391380
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 171310 0 0 0 114588 430 0 0 25 0 1 0 973556234 400773120 74690 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97845 74690 301 301 0 97544 0
vsize: 391380
[startup+1160.06 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 172862 0 0 0 115583 435 0 0 25 0 1 0 973556234 400773120 74694 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97845 74694 301 301 0 97544 0
vsize: 391380
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 172867 0 0 0 116583 435 0 0 25 0 1 0 973556234 400773120 74699 4294967295 134512640 135730672 3221224576 3221223232 134734771 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97845 74699 301 301 0 97544 0
vsize: 391380
[startup+1180.06 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 172890 0 0 0 117583 436 0 0 25 0 1 0 973556234 400773120 74722 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97845 74722 301 301 0 97544 0
vsize: 391380
[startup+1190.06 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 174444 0 0 0 118579 440 0 0 25 0 1 0 973556234 400773120 74728 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97845 74728 301 301 0 97544 0
vsize: 391380
[startup+1200.06 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 29004
Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 174572 0 0 0 119578 441 0 0 25 0 1 0 973556234 401035264 74791 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97909 74791 301 301 0 97608 0
vsize: 391636
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.97 s]
Raw data (loadavg): 0.99 0.98 0.92 1/54 29004
Raw data (stat): 29004 (pb2sat-v2) Z 29003 20224 20223 0 -1 12 174574 0 0 0 119754 456 0 0 25 0 1 0 973556234 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 0
Real time (s): 1201.97
CPU time (s): 1202.11
CPU user time (s): 1197.54
CPU system time (s): 4.56531
CPU usage (%): 100.011
Max. virtual memory (Kb): 397572
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####