PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-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.18
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 42493

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-16 09:01:15 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25706 boxname=wulflinc3 idbench=1006 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  bc46e72682d969c09e6f4028df473a45  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-t1717.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-t1717.opb
IDLAUNCH: 25706
/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:        753408 kB
Buffers:          6280 kB
Cached:         252184 kB
SwapCached:        820 kB
Active:          43376 kB
Inactive:       217264 kB
HighTotal:      131008 kB
HighFree:         4984 kB
LowTotal:       903652 kB
LowFree:        748424 kB
SwapTotal:     2097136 kB
SwapFree:      2095340 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5104 kB
Slab:            14732 kB
Committed_AS:    71904 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 09:21:20 (client local time) WITH STATUS 0 IN 1202.19 SECONDS
stats: 25706 7 1202.19 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.97 0.98 0.92 2/54 19929
Raw data (stat): 19929 (runsolver) R 19928 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 969512259 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.001 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 19931
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 1194 0 0 0 995 4 0 0 25 0 1 0 969512259 4960256 883 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 1211 883 301 301 0 910 0
vsize: 4844
[startup+20.0018 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 19931
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 2357 0 0 0 1991 8 0 0 25 0 1 0 969512259 8499200 1679 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2075 1679 301 301 0 1774 0
vsize: 8300
[startup+30.0013 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 19931
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 2794 0 0 0 2989 10 0 0 25 0 1 0 969512259 9580544 2109 4294967295 134512640 135730672 3221224576 3221221664 134561688 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2339 2109 301 301 0 2038 0
vsize: 9356
[startup+40.0015 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 19931
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 3888 0 0 0 3987 12 0 0 25 0 1 0 969512259 13414400 2492 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3275 2492 301 301 0 2974 0
vsize: 13100
[startup+50.0025 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19931
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 4148 0 0 0 4987 13 0 0 25 0 1 0 969512259 14090240 2747 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3440 2747 301 301 0 3139 0
vsize: 13760
[startup+60.0018 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19931
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 4396 0 0 0 5986 13 0 0 25 0 1 0 969512259 14766080 2991 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3605 2991 301 301 0 3304 0
vsize: 14420
[startup+70.002 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19931
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 4623 0 0 0 6985 14 0 0 25 0 1 0 969512259 15441920 3215 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3770 3215 301 301 0 3469 0
vsize: 15080
[startup+80.0029 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19931
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 4833 0 0 0 7985 15 0 0 25 0 1 0 969512259 15982592 3421 4294967295 134512640 135730672 3221224576 3221221664 134561691 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3902 3421 301 301 0 3601 0
vsize: 15608
[startup+90.0027 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19931
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 5025 0 0 0 8984 16 0 0 25 0 1 0 969512259 16388096 3610 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4001 3610 301 301 0 3700 0
vsize: 16004
[startup+100.004 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19931
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 5207 0 0 0 9983 17 0 0 25 0 1 0 969512259 16928768 3789 4294967295 134512640 135730672 3221224576 3221221664 134561677 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4133 3789 301 301 0 3832 0
vsize: 16532
[startup+110.004 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19931
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 5381 0 0 0 10982 18 0 0 25 0 1 0 969512259 17334272 3960 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4232 3960 301 301 0 3931 0
vsize: 16928
[startup+120.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19931
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 7450 0 0 0 11978 23 0 0 25 0 1 0 969512259 25407488 4617 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6203 4617 301 301 0 5902 0
vsize: 24812
[startup+130.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19931
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 7506 0 0 0 12978 23 0 0 25 0 1 0 969512259 25407488 4670 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6203 4670 301 301 0 5902 0
vsize: 24812
[startup+140.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19931
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 7559 0 0 0 13977 24 0 0 25 0 1 0 969512259 25407488 4721 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6203 4721 301 301 0 5902 0
vsize: 24812
[startup+150.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19931
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 7612 0 0 0 14977 25 0 0 25 0 1 0 969512259 25407488 4771 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6203 4771 301 301 0 5902 0
vsize: 24812
[startup+160.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19931
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 12628 0 0 0 15964 37 0 0 25 0 1 0 969512259 40853504 8250 4294967295 134512640 135730672 3221224576 3221220992 135284078 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9974 8250 301 301 0 9673 0
vsize: 39896
[startup+170.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19931
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 35844 0 0 0 16912 90 0 0 25 0 1 0 969512259 135233536 24155 4294967295 134512640 135730672 3221224576 3221220416 135284078 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 33016 24155 301 301 0 32715 0
vsize: 132064
[startup+180.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19931
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 50207 0 0 0 17878 124 0 0 25 0 1 0 969512259 160395264 27611 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39159 27611 301 301 0 38858 0
vsize: 156636
[startup+190.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19931
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 72582 0 0 0 18829 172 0 0 25 0 1 0 969512259 219357184 40123 4294967295 134512640 135730672 3221224576 3221187376 134786302 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 53554 40124 301 301 0 53253 0
vsize: 214216
[startup+200.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19931
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 93017 0 0 0 19781 221 0 0 25 0 1 0 969512259 269688832 48111 4294967295 134512640 135730672 3221224576 3221086360 134787727 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 65842 48111 301 301 0 65541 0
vsize: 263368
[startup+210.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19931
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 98205 0 0 0 20770 232 0 0 25 0 1 0 969512259 285798400 51876 4294967295 134512640 135730672 3221224576 3221222912 134739215 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 69775 51876 301 301 0 69474 0
vsize: 279100
[startup+220.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19931
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 99183 0 0 0 21768 234 0 0 25 0 1 0 969512259 290582528 52854 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 70943 52854 301 301 0 70642 0
vsize: 283772
[startup+230.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19931
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 100422 0 0 0 22766 237 0 0 25 0 1 0 969512259 296370176 54093 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 72356 54093 301 301 0 72055 0
vsize: 289424
[startup+240.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19931
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 101119 0 0 0 23764 239 0 0 25 0 1 0 969512259 300089344 54790 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 73264 54790 301 301 0 72963 0
vsize: 293056
[startup+250.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19931
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 101447 0 0 0 24763 240 0 0 25 0 1 0 969512259 302153728 55118 4294967295 134512640 135730672 3221224576 3221222824 135284611 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 73768 55118 301 301 0 73467 0
vsize: 295072
[startup+260.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19933
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 102027 0 0 0 25762 241 0 0 25 0 1 0 969512259 304840704 55698 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 74424 55698 301 301 0 74123 0
vsize: 297696
[startup+270.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19933
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 103319 0 0 0 26759 244 0 0 25 0 1 0 969512259 311009280 56990 4294967295 134512640 135730672 3221224576 3221223072 134747970 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75930 56990 301 301 0 75629 0
vsize: 303720
[startup+280.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19933
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 103772 0 0 0 27758 245 0 0 25 0 1 0 969512259 313245696 57443 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 76476 57443 301 301 0 76175 0
vsize: 305904
[startup+290.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19933
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 104191 0 0 0 28757 247 0 0 25 0 1 0 969512259 315281408 57862 4294967295 134512640 135730672 3221224576 3221223200 134748120 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 76973 57862 301 301 0 76672 0
vsize: 307892
[startup+300.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19933
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 104463 0 0 0 29756 248 0 0 25 0 1 0 969512259 316690432 58134 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 77317 58134 301 301 0 77016 0
vsize: 309268
[startup+310.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19933
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 105276 0 0 0 30754 250 0 0 25 0 1 0 969512259 320905216 58947 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 78346 58947 301 301 0 78045 0
vsize: 313384
[startup+320.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19933
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 105773 0 0 0 31752 252 0 0 25 0 1 0 969512259 323227648 59444 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 78913 59444 301 301 0 78612 0
vsize: 315652
[startup+330.013 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19933
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 105928 0 0 0 32751 253 0 0 25 0 1 0 969512259 323751936 59599 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79041 59599 301 301 0 78740 0
vsize: 316164
[startup+340.013 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19933
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 106332 0 0 0 33749 255 0 0 25 0 1 0 969512259 325357568 60003 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79433 60003 301 301 0 79132 0
vsize: 317732
[startup+350.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19933
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 106560 0 0 0 34749 256 0 0 25 0 1 0 969512259 326299648 60231 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79663 60231 301 301 0 79362 0
vsize: 318652
[startup+360.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19933
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 106716 0 0 0 35748 257 0 0 25 0 1 0 969512259 327282688 60387 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79903 60387 301 301 0 79602 0
vsize: 319612
[startup+370.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19933
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 106817 0 0 0 36747 258 0 0 25 0 1 0 969512259 327872512 60488 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 80047 60488 301 301 0 79746 0
vsize: 320188
[startup+380.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19933
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 106909 0 0 0 37747 258 0 0 25 0 1 0 969512259 328265728 60580 4294967295 134512640 135730672 3221224576 3221223072 134747616 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 80143 60580 301 301 0 79842 0
vsize: 320572
[startup+390.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19933
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 107172 0 0 0 38745 260 0 0 25 0 1 0 969512259 329510912 60843 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 80447 60843 301 301 0 80146 0
vsize: 321788
[startup+400.015 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19933
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 107194 0 0 0 39745 261 0 0 25 0 1 0 969512259 329510912 60865 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 80447 60865 301 301 0 80146 0
vsize: 321788
[startup+410.015 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19933
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 107260 0 0 0 40744 261 0 0 25 0 1 0 969512259 329707520 60931 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 80495 60931 301 301 0 80194 0
vsize: 321980
[startup+420.015 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19933
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 107405 0 0 0 41743 263 0 0 25 0 1 0 969512259 330432512 61076 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 80672 61076 301 301 0 80371 0
vsize: 322688
[startup+430.016 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19933
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 107418 0 0 0 42742 264 0 0 25 0 1 0 969512259 363986944 61089 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 88864 61089 301 301 0 88563 0
vsize: 355456
[startup+440.016 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19933
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 107473 0 0 0 43741 265 0 0 25 0 1 0 969512259 364183552 61144 4294967295 134512640 135730672 3221224576 3221223072 134747599 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 88912 61144 301 301 0 88611 0
vsize: 355648
[startup+450.017 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19933
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 107536 0 0 0 44740 266 0 0 25 0 1 0 969512259 364576768 61207 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89008 61207 301 301 0 88707 0
vsize: 356032
[startup+460.017 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19933
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 107620 0 0 0 45740 267 0 0 25 0 1 0 969512259 364969984 61291 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89104 61291 301 301 0 88803 0
vsize: 356416
[startup+470.019 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19933
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 107700 0 0 0 46739 268 0 0 25 0 1 0 969512259 365363200 61371 4294967295 134512640 135730672 3221224576 3221223072 134747967 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89200 61371 301 301 0 88899 0
vsize: 356800
[startup+480.018 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19933
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 107766 0 0 0 47739 268 0 0 25 0 1 0 969512259 365756416 61437 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89296 61437 301 301 0 88995 0
vsize: 357184
[startup+490.018 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19933
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 107799 0 0 0 48738 269 0 0 25 0 1 0 969512259 365756416 61470 4294967295 134512640 135730672 3221224576 3221223072 134747563 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89296 61470 301 301 0 88995 0
vsize: 357184
[startup+500.019 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19933
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 107893 0 0 0 49737 270 0 0 25 0 1 0 969512259 366346240 61564 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89440 61564 301 301 0 89139 0
vsize: 357760
[startup+510.019 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19933
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 107904 0 0 0 50737 271 0 0 25 0 1 0 969512259 366346240 61575 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89440 61575 301 301 0 89139 0
vsize: 357760
[startup+520.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19933
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 108171 0 0 0 51736 272 0 0 25 0 1 0 969512259 367616000 61842 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89750 61842 301 301 0 89449 0
vsize: 359000
[startup+530.021 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19933
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 108239 0 0 0 52736 272 0 0 25 0 1 0 969512259 368009216 61910 4294967295 134512640 135730672 3221224576 3221223072 134747597 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89846 61910 301 301 0 89545 0
vsize: 359384
[startup+540.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19933
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 108344 0 0 0 53735 274 0 0 25 0 1 0 969512259 368599040 62015 4294967295 134512640 135730672 3221224576 3221223072 134747599 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89990 62015 301 301 0 89689 0
vsize: 359960
[startup+550.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19933
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 108468 0 0 0 54734 275 0 0 25 0 1 0 969512259 369188864 62139 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90134 62139 301 301 0 89833 0
vsize: 360536
[startup+560.021 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19933
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 108500 0 0 0 55733 275 0 0 25 0 1 0 969512259 369188864 62171 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90134 62171 301 301 0 89833 0
vsize: 360536
[startup+570.022 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19933
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 108539 0 0 0 56733 276 0 0 25 0 1 0 969512259 369385472 62210 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90182 62210 301 301 0 89881 0
vsize: 360728
[startup+580.022 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19933
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 108697 0 0 0 57733 276 0 0 25 0 1 0 969512259 370188288 62368 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90378 62368 301 301 0 90077 0
vsize: 361512
[startup+590.023 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19933
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 108755 0 0 0 58732 277 0 0 25 0 1 0 969512259 370384896 62426 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90426 62426 301 301 0 90125 0
vsize: 361704
[startup+600.023 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19933
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 108767 0 0 0 59732 278 0 0 25 0 1 0 969512259 370384896 62438 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90426 62438 301 301 0 90125 0
vsize: 361704
[startup+610.024 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19933
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 108850 0 0 0 60731 279 0 0 25 0 1 0 969512259 370974720 62521 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90570 62521 301 301 0 90269 0
vsize: 362280
[startup+620.031 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19933
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 108895 0 0 0 61731 279 0 0 25 0 1 0 969512259 371171328 62566 4294967295 134512640 135730672 3221224576 3221223264 134748503 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90618 62566 301 301 0 90317 0
vsize: 362472
[startup+630.031 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19933
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 108932 0 0 0 62731 280 0 0 25 0 1 0 969512259 371171328 62603 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90618 62603 301 301 0 90317 0
vsize: 362472
[startup+640.033 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19933
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 109025 0 0 0 63731 281 0 0 25 0 1 0 969512259 371761152 62696 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90762 62696 301 301 0 90461 0
vsize: 363048
[startup+650.035 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19933
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 109155 0 0 0 64730 282 0 0 25 0 1 0 969512259 372350976 62826 4294967295 134512640 135730672 3221224576 3221223220 134748064 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90906 62826 301 301 0 90605 0
vsize: 363624
[startup+660.035 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19933
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 109200 0 0 0 65729 283 0 0 25 0 1 0 969512259 372547584 62871 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90954 62871 301 301 0 90653 0
vsize: 363816
[startup+670.035 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19933
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 109217 0 0 0 66729 283 0 0 25 0 1 0 969512259 372547584 62888 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90954 62888 301 301 0 90653 0
vsize: 363816
[startup+680.035 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19933
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 109302 0 0 0 67728 284 0 0 25 0 1 0 969512259 372940800 62973 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91050 62973 301 301 0 90749 0
vsize: 364200
[startup+690.035 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19933
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 109324 0 0 0 68727 285 0 0 25 0 1 0 969512259 373137408 62995 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91098 62995 301 301 0 90797 0
vsize: 364392
[startup+700.036 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19933
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 109356 0 0 0 69727 285 0 0 25 0 1 0 969512259 373137408 63027 4294967295 134512640 135730672 3221224576 3221223072 134747563 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91098 63027 301 301 0 90797 0
vsize: 364392
[startup+710.037 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19933
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 109422 0 0 0 70727 286 0 0 25 0 1 0 969512259 373530624 63093 4294967295 134512640 135730672 3221224576 3221222940 135291075 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91194 63093 301 301 0 90893 0
vsize: 364776
[startup+720.038 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19933
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 109432 0 0 0 71726 286 0 0 25 0 1 0 969512259 373530624 63103 4294967295 134512640 135730672 3221224576 3221223200 134748204 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91194 63103 301 301 0 90893 0
vsize: 364776
[startup+730.038 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19933
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 109442 0 0 0 72726 287 0 0 25 0 1 0 969512259 373530624 63113 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91194 63113 301 301 0 90893 0
vsize: 364776
[startup+740.037 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19933
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 109839 0 0 0 73725 288 0 0 25 0 1 0 969512259 375562240 63510 4294967295 134512640 135730672 3221224576 3221223072 134747460 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91690 63510 301 301 0 91389 0
vsize: 366760
[startup+750.038 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19933
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 109910 0 0 0 74724 290 0 0 25 0 1 0 969512259 375955456 63581 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91786 63581 301 301 0 91485 0
vsize: 367144
[startup+760.038 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19933
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 109978 0 0 0 75723 291 0 0 25 0 1 0 969512259 376152064 63649 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91834 63649 301 301 0 91533 0
vsize: 367336
[startup+770.039 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19933
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 110049 0 0 0 76722 291 0 0 25 0 1 0 969512259 376545280 63720 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91930 63720 301 301 0 91629 0
vsize: 367720
[startup+780.039 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19933
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 110090 0 0 0 77722 292 0 0 25 0 1 0 969512259 376741888 63761 4294967295 134512640 135730672 3221224576 3221222824 135284590 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91978 63761 301 301 0 91677 0
vsize: 367912
[startup+790.039 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19933
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 110165 0 0 0 78720 294 0 0 25 0 1 0 969512259 377135104 63836 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92074 63836 301 301 0 91773 0
vsize: 368296
[startup+800.039 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19933
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 110187 0 0 0 79720 294 0 0 25 0 1 0 969512259 377135104 63858 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92074 63858 301 301 0 91773 0
vsize: 368296
[startup+810.039 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19933
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 110336 0 0 0 80720 295 0 0 25 0 1 0 969512259 377921536 64007 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92266 64007 301 301 0 91965 0
vsize: 369064
[startup+820.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19933
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 110411 0 0 0 81719 296 0 0 25 0 1 0 969512259 378249216 64082 4294967295 134512640 135730672 3221224576 3221222824 135284590 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92346 64082 301 301 0 92045 0
vsize: 369384
[startup+830.041 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19933
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 110431 0 0 0 82719 296 0 0 25 0 1 0 969512259 378249216 64102 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92346 64102 301 301 0 92045 0
vsize: 369384
[startup+840.041 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19933
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 110439 0 0 0 83719 296 0 0 25 0 1 0 969512259 378249216 64110 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92346 64110 301 301 0 92045 0
vsize: 369384
[startup+850.042 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19933
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 110484 0 0 0 84717 298 0 0 25 0 1 0 969512259 378445824 64155 4294967295 134512640 135730672 3221224576 3221223072 134747578 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92394 64155 301 301 0 92093 0
vsize: 369576
[startup+860.043 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19933
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 110545 0 0 0 85716 300 0 0 25 0 1 0 969512259 378839040 64216 4294967295 134512640 135730672 3221224576 3221223072 134747477 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92490 64216 301 301 0 92189 0
vsize: 369960
[startup+870.043 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19933
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 110575 0 0 0 86716 300 0 0 25 0 1 0 969512259 379035648 64246 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92538 64246 301 301 0 92237 0
vsize: 370152
[startup+880.044 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19933
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 110617 0 0 0 87715 301 0 0 25 0 1 0 969512259 379035648 64288 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92538 64288 301 301 0 92237 0
vsize: 370152
[startup+890.044 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19933
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 110660 0 0 0 88715 302 0 0 25 0 1 0 969512259 379232256 64331 4294967295 134512640 135730672 3221224576 3221223072 134747738 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92586 64331 301 301 0 92285 0
vsize: 370344
[startup+900.045 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19933
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 110671 0 0 0 89715 302 0 0 25 0 1 0 969512259 379232256 64342 4294967295 134512640 135730672 3221224576 3221222912 134767167 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92586 64342 301 301 0 92285 0
vsize: 370344
[startup+910.045 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19933
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 110830 0 0 0 90713 303 0 0 25 0 1 0 969512259 380116992 64501 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92802 64501 301 301 0 92501 0
vsize: 371208
[startup+920.046 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19933
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 110852 0 0 0 91712 304 0 0 25 0 1 0 969512259 380116992 64523 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92802 64523 301 301 0 92501 0
vsize: 371208
[startup+930.047 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19933
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 110861 0 0 0 92711 305 0 0 25 0 1 0 969512259 380116992 64532 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92802 64532 301 301 0 92501 0
vsize: 371208
[startup+940.047 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19933
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 110895 0 0 0 93710 306 0 0 25 0 1 0 969512259 380313600 64566 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92850 64566 301 301 0 92549 0
vsize: 371400
[startup+950.047 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19933
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 110905 0 0 0 94710 306 0 0 25 0 1 0 969512259 380313600 64576 4294967295 134512640 135730672 3221224576 3221223072 134747970 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92850 64576 301 301 0 92549 0
vsize: 371400
[startup+960.048 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19933
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 110912 0 0 0 95710 306 0 0 25 0 1 0 969512259 380313600 64583 4294967295 134512640 135730672 3221224576 3221223200 134748143 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92850 64583 301 301 0 92549 0
vsize: 371400
[startup+970.049 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19933
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 110992 0 0 0 96710 307 0 0 25 0 1 0 969512259 380706816 64663 4294967295 134512640 135730672 3221224576 3221223184 134744757 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92946 64663 301 301 0 92645 0
vsize: 371784
[startup+980.049 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19933
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 111003 0 0 0 97709 308 0 0 25 0 1 0 969512259 380706816 64674 4294967295 134512640 135730672 3221224576 3221223072 134747599 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92946 64674 301 301 0 92645 0
vsize: 371784
[startup+990.048 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19933
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 111013 0 0 0 98708 309 0 0 25 0 1 0 969512259 380706816 64684 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92946 64684 301 301 0 92645 0
vsize: 371784
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19933
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 111065 0 0 0 99707 310 0 0 25 0 1 0 969512259 380903424 64736 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92994 64736 301 301 0 92693 0
vsize: 371976
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19933
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 111134 0 0 0 100707 311 0 0 25 0 1 0 969512259 381296640 64805 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93090 64805 301 301 0 92789 0
vsize: 372360
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19933
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 111205 0 0 0 101706 312 0 0 25 0 1 0 969512259 381628416 64876 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93171 64876 301 301 0 92870 0
vsize: 372684
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19933
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 111442 0 0 0 102705 313 0 0 25 0 1 0 969512259 382857216 65113 4294967295 134512640 135730672 3221224576 3221223264 134748503 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93471 65113 301 301 0 93170 0
vsize: 373884
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19933
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 111469 0 0 0 103704 314 0 0 25 0 1 0 969512259 382996480 65140 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93505 65140 301 301 0 93204 0
vsize: 374020
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19933
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 111501 0 0 0 104704 315 0 0 25 0 1 0 969512259 383193088 65172 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93553 65172 301 301 0 93252 0
vsize: 374212
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19933
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 111522 0 0 0 105703 316 0 0 25 0 1 0 969512259 383193088 65193 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93553 65193 301 301 0 93252 0
vsize: 374212
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19933
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 111553 0 0 0 106703 316 0 0 25 0 1 0 969512259 383389696 65224 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93601 65224 301 301 0 93300 0
vsize: 374404
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19933
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 111565 0 0 0 107702 317 0 0 25 0 1 0 969512259 383389696 65236 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93601 65236 301 301 0 93300 0
vsize: 374404
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19933
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 111607 0 0 0 108702 318 0 0 25 0 1 0 969512259 383586304 65278 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93649 65278 301 301 0 93348 0
vsize: 374596
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19933
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 111616 0 0 0 109701 318 0 0 25 0 1 0 969512259 383586304 65287 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93649 65287 301 301 0 93348 0
vsize: 374596
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19933
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 111646 0 0 0 110701 319 0 0 25 0 1 0 969512259 383586304 65317 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93649 65317 301 301 0 93348 0
vsize: 374596
[startup+1120.06 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19933
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 111665 0 0 0 111700 320 0 0 25 0 1 0 969512259 383782912 65336 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93697 65336 301 301 0 93396 0
vsize: 374788
[startup+1130.06 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19933
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 111673 0 0 0 112700 321 0 0 25 0 1 0 969512259 383782912 65344 4294967295 134512640 135730672 3221224576 3221223072 134747618 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93697 65344 301 301 0 93396 0
vsize: 374788
[startup+1140.06 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19933
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 111713 0 0 0 113699 322 0 0 25 0 1 0 969512259 383979520 65384 4294967295 134512640 135730672 3221224576 3221223072 134747701 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93745 65384 301 301 0 93444 0
vsize: 374980
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19933
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 111734 0 0 0 114698 322 0 0 25 0 1 0 969512259 383979520 65405 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93745 65405 301 301 0 93444 0
vsize: 374980
[startup+1160.06 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19933
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 111747 0 0 0 115698 323 0 0 25 0 1 0 969512259 383979520 65418 4294967295 134512640 135730672 3221224576 3221223168 134747445 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93745 65418 301 301 0 93444 0
vsize: 374980
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19933
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 111765 0 0 0 116698 323 0 0 25 0 1 0 969512259 383979520 65436 4294967295 134512640 135730672 3221224576 3221223184 134748227 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93745 65436 301 301 0 93444 0
vsize: 374980
[startup+1180.06 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19933
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 111835 0 0 0 117698 323 0 0 25 0 1 0 969512259 384372736 65506 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93841 65506 301 301 0 93540 0
vsize: 375364
[startup+1190.06 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19933
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 111849 0 0 0 118697 324 0 0 25 0 1 0 969512259 384372736 65520 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93841 65520 301 301 0 93540 0
vsize: 375364
[startup+1200.06 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19933
Raw data (stat): 19929 (pb2sat-v2) R 19928 20224 20223 0 -1 0 111859 0 0 0 119697 324 0 0 25 0 1 0 969512259 384372736 65530 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93841 65530 301 301 0 93540 0
vsize: 375364
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.02 s]
Raw data (loadavg): 0.99 0.98 0.92 1/54 19933
Raw data (stat): 19929 (pb2sat-v2) Z 19928 20224 20223 0 -1 12 111861 0 0 0 119881 337 0 0 25 0 1 0 969512259 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): 1202.02
CPU time (s): 1202.19
CPU user time (s): 1198.81
CPU system time (s): 3.37149
CPU usage (%): 100.014
Max. virtual memory (Kb): 375364
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####