PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-tr12-30.opb
MD5SUM	2d8f46b77d84c45a7178d4a463744176
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	7560
Biggest coefficient in the objective function	2097152
Number of bits for the biggest coefficient in the objective function	22
Sum of the numbers in the objective function	876993750
Number of bits of the sum of numbers in the objective function	30
Biggest number in a constraint	2097152
Number of bits of the biggest number in a constraint	22
Biggest sum of numbers in a constraint	876993750
Number of bits of the biggest sum of numbers	30
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.128979
Number of variables	14760
Total number of constraints	1110
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	360
Number of constraints which are nor clauses,nor cardinality constraints	750
Minimum length of a constraint	1
Maximum length of a constraint	252
Trace number 42883

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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:        770616 kB
Buffers:          4184 kB
Cached:         235524 kB
SwapCached:       1148 kB
Active:          24700 kB
Inactive:       217276 kB
HighTotal:      131008 kB
HighFree:        55636 kB
LowTotal:       903652 kB
LowFree:        714980 kB
SwapTotal:     2097136 kB
SwapFree:      2094896 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5364 kB
Slab:            16388 kB
Committed_AS:    92716 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 17:45:42 (client local time) WITH STATUS 0 IN 1201.39 SECONDS
stats: 26093 7 1201.39 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 9832/463744	Time: 45.5181/86400
c Decision: 9997/463744	Time: 78.2511/86400
c Decision: 10007/463744	Time: 97.8021/86400
c Decision: 10007/463744	Time: 107.245/86400
c Decision: 10017/463744	Time: 131.66/86400
c Decision: 10042/463744	Time: 152.135/86400
c Decision: 10042/463744	Time: 162.005/86400
c Decision: 10047/463744	Time: 177.986/86400
c Decision: 10051/463744	Time: 191.244/86400
c Decision: 10109/463744	Time: 203.551/86400
c Decision: 10109/463744	Time: 213.511/86400
c Decision: 10109/463744	Time: 222.782/86400
c Decision: 10109/463744	Time: 233.236/86400
c Decision: 10111/463744	Time: 248.246/86400
c Decision: 10114/463744	Time: 261.913/86400
c Decision: 10119/463744	Time: 279.947/86400
c Decision: 10126/463744	Time: 310.252/86400
c Decision: 10126/463744	Time: 322.138/86400
c Decision: 10126/463744	Time: 334.097/86400
c Decision: 10126/463744	Time: 346.168/86400
c Decision: 10128/463744	Time: 356.71/86400
c Decision: 10128/463744	Time: 367.095/86400
c Decision: 10128/463744	Time: 378.419/86400
c Decision: 10132/463744	Time: 391.965/86400
c Decision: 10174/463744	Time: 417.176/86400
c Decision: 10174/463744	Time: 428.673/86400
c Decision: 10174/463744	Time: 440.819/86400
c Decision: 10224/463744	Time: 458.872/86400
c Decision: 10232/463744	Time: 469.859/86400
c Decision: 10234/463744	Time: 488.641/86400
c Decision: 10239/463744	Time: 512.424/86400
c Decision: 10239/463744	Time: 524.747/86400
c Decision: 10239/463744	Time: 537.936/86400
c Decision: 10239/463744	Time: 551.084/86400
c Decision: 10244/463744	Time: 573.07/86400
c Decision: 10244/463744	Time: 585.261/86400
c Decision: 10244/463744	Time: 598.461/86400
c Decision: 10244/463744	Time: 610.652/86400
c Decision: 10244/463744	Time: 623.911/86400
c Decision: 10244/463744	Time: 637.176/86400
c Decision: 10244/463744	Time: 648.069/86400
c Decision: 10251/463744	Time: 661.158/86400
c Decision: 10341/463744	Time: 673.825/86400
c Decision: 10341/463744	Time: 686.751/86400
c Decision: 10341/463744	Time: 699.898/86400
c Decision: 10341/463744	Time: 714.961/86400
c Decision: 10341/463744	Time: 728.935/86400
c Decision: 10344/463744	Time: 745.008/86400
c Decision: 10348/463744	Time: 768.687/86400
c Decision: 10348/463744	Time: 781.708/86400
c Decision: 10348/463744	Time: 793.378/86400
c Decision: 10348/463744	Time: 803.662/86400
c Decision: 10348/463744	Time: 816.774/86400
c Decision: 10348/463744	Time: 830.183/86400
c Decision: 10351/463744	Time: 845.466/86400
c Decision: 10351/463744	Time: 861.527/86400
c Decision: 10397/463744	Time: 877.875/86400
c Decision: 10403/463744	Time: 903.467/86400
c Decision: 10403/463744	Time: 917.057/86400
c Decision: 10403/463744	Time: 930.895/86400
c Decision: 10403/463744	Time: 947.886/86400
c Decision: 10403/463744	Time: 963.048/86400
c Decision: 10403/463744	Time: 974.556/86400
c Decision: 10403/463744	Time: 989.511/86400
c Decision: 10443/463744	Time: 1015.92/86400
c Decision: 10443/463744	Time: 1030.11/86400
c Decision: 10444/463744	Time: 1046.96/86400
c Decision: 10444/463744	Time: 1059.54/86400
c Decision: 10446/463744	Time: 1079.86/86400
c Decision: 10446/463744	Time: 1094.94/86400
c Decision: 10446/463744	Time: 1110.35/86400
c Decision: 10446/463744	Time: 1124.5/86400
c Decision: 10446/463744	Time: 1136.53/86400
c Decision: 10446/463744	Time: 1151.62/86400
c Decision: 10486/463744	Time: 1178/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.84 0.94 0.90 2/55 23643
Raw data (stat): 23643 (runsolver) R 23642 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 915690938 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.0004 s]
Raw data (loadavg): 0.87 0.94 0.90 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 24912 0 0 0 938 60 0 0 25 0 1 0 915690938 77410304 13982 4294967295 134512640 135730672 3221224576 3221189148 134788020 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18899 13982 301 301 0 18598 0
vsize: 75596
[startup+20.0013 s]
Raw data (loadavg): 0.89 0.94 0.90 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 51783 0 0 0 1875 123 0 0 25 0 1 0 915690938 151879680 29618 4294967295 134512640 135730672 3221224576 3221169776 134786278 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37080 29618 301 301 0 36779 0
vsize: 148320
[startup+30.0018 s]
Raw data (loadavg): 0.90 0.94 0.90 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 57044 0 0 0 2860 138 0 0 25 0 1 0 915690938 164290560 33948 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40110 33948 301 301 0 39809 0
vsize: 160440
[startup+40.0019 s]
Raw data (loadavg): 0.92 0.95 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 57705 0 0 0 3857 141 0 0 25 0 1 0 915690938 167206912 34609 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40822 34609 301 301 0 40521 0
vsize: 163288
[startup+50.0023 s]
Raw data (loadavg): 0.93 0.95 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 57871 0 0 0 4856 143 0 0 25 0 1 0 915690938 167874560 34775 4294967295 134512640 135730672 3221224576 3221223200 134748214 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40985 34775 301 301 0 40684 0
vsize: 163940
[startup+60.0022 s]
Raw data (loadavg): 0.94 0.95 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 57985 0 0 0 5855 144 0 0 25 0 1 0 915690938 168235008 34889 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41073 34889 301 301 0 40772 0
vsize: 164292
[startup+70.0029 s]
Raw data (loadavg): 0.95 0.95 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 58944 0 0 0 6852 146 0 0 25 0 1 0 915690938 168235008 34942 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41073 34942 301 301 0 40772 0
vsize: 164292
[startup+80.004 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 59141 0 0 0 7851 148 0 0 25 0 1 0 915690938 169127936 35139 4294967295 134512640 135730672 3221224576 3221223120 134740310 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41291 35139 301 301 0 40990 0
vsize: 165164
[startup+90.0038 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 59230 0 0 0 8850 149 0 0 25 0 1 0 915690938 169324544 35228 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41339 35228 301 301 0 41038 0
vsize: 165356
[startup+100.005 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 60239 0 0 0 9847 152 0 0 25 0 1 0 915690938 169717760 35331 4294967295 134512640 135730672 3221224576 3221223232 134734761 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41435 35331 301 301 0 41134 0
vsize: 165740
[startup+110.005 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 60298 0 0 0 10846 153 0 0 25 0 1 0 915690938 169914368 35390 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41483 35390 301 301 0 41182 0
vsize: 165932
[startup+120.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 61247 0 0 0 11842 156 0 0 25 0 1 0 915690938 169914368 35433 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41483 35433 301 301 0 41182 0
vsize: 165932
[startup+130.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 62214 0 0 0 12838 159 0 0 25 0 1 0 915690938 170110976 35494 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41531 35494 301 301 0 41230 0
vsize: 166124
[startup+140.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 62247 0 0 0 13838 160 0 0 25 0 1 0 915690938 170110976 35527 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41531 35527 301 301 0 41230 0
vsize: 166124
[startup+150.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 62284 0 0 0 14837 160 0 0 25 0 1 0 915690938 170110976 35564 4294967295 134512640 135730672 3221224576 3221223056 134732772 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41531 35564 301 301 0 41230 0
vsize: 166124
[startup+160.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 63228 0 0 0 15834 163 0 0 25 0 1 0 915690938 170110976 35602 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41531 35602 301 301 0 41230 0
vsize: 166124
[startup+170.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 63291 0 0 0 16834 164 0 0 25 0 1 0 915690938 170307584 35665 4294967295 134512640 135730672 3221224576 3221223088 134745782 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41579 35665 301 301 0 41278 0
vsize: 166316
[startup+180.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 64200 0 0 0 17831 167 0 0 25 0 1 0 915690938 170307584 35668 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41579 35668 301 301 0 41278 0
vsize: 166316
[startup+190.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 65122 0 0 0 18828 170 0 0 25 0 1 0 915690938 170307584 35684 4294967295 134512640 135730672 3221224576 3221223232 134734771 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41579 35684 301 301 0 41278 0
vsize: 166316
[startup+200.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 66043 0 0 0 19824 174 0 0 25 0 1 0 915690938 170504192 35699 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41627 35699 301 301 0 41326 0
vsize: 166508
[startup+210.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 66105 0 0 0 20823 175 0 0 25 0 1 0 915690938 170504192 35761 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41627 35761 301 301 0 41326 0
vsize: 166508
[startup+220.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 67046 0 0 0 21821 177 0 0 25 0 1 0 915690938 170504192 35796 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41627 35796 301 301 0 41326 0
vsize: 166508
[startup+230.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 68000 0 0 0 22818 181 0 0 25 0 1 0 915690938 170504192 35844 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41627 35844 301 301 0 41326 0
vsize: 166508
[startup+240.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 68915 0 0 0 23815 183 0 0 25 0 1 0 915690938 170639360 35853 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41660 35853 301 301 0 41359 0
vsize: 166640
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 69844 0 0 0 24813 186 0 0 25 0 1 0 915690938 170639360 35876 4294967295 134512640 135730672 3221224576 3221223072 134747618 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41660 35876 301 301 0 41359 0
vsize: 166640
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 70800 0 0 0 25810 189 0 0 25 0 1 0 915690938 170639360 35926 4294967295 134512640 135730672 3221224576 3221223072 134747708 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41660 35926 301 301 0 41359 0
vsize: 166640
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 71747 0 0 0 26808 191 0 0 25 0 1 0 915690938 170639360 35967 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41660 35967 301 301 0 41359 0
vsize: 166640
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 71805 0 0 0 27807 192 0 0 25 0 1 0 915690938 170774528 36025 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41693 36025 301 301 0 41392 0
vsize: 166772
[startup+290.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 72754 0 0 0 28804 195 0 0 25 0 1 0 915690938 170774528 36068 4294967295 134512640 135730672 3221224576 3221223072 134747495 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41693 36068 301 301 0 41392 0
vsize: 166772
[startup+300.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 73712 0 0 0 29801 198 0 0 25 0 1 0 915690938 170921984 36120 4294967295 134512640 135730672 3221224576 3221223200 134783328 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41729 36120 301 301 0 41428 0
vsize: 166916
[startup+310.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 73742 0 0 0 30801 199 0 0 25 0 1 0 915690938 171073536 36150 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41766 36150 301 301 0 41465 0
vsize: 167064
[startup+320.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 73774 0 0 0 31800 200 0 0 25 0 1 0 915690938 171073536 36182 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41766 36182 301 301 0 41465 0
vsize: 167064
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 73828 0 0 0 32799 201 0 0 25 0 1 0 915690938 171073536 36236 4294967295 134512640 135730672 3221224576 3221223088 134746077 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41766 36236 301 301 0 41465 0
vsize: 167064
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 74780 0 0 0 33797 203 0 0 25 0 1 0 915690938 171212800 36282 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41800 36282 301 301 0 41499 0
vsize: 167200
[startup+350.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 75730 0 0 0 34794 206 0 0 25 0 1 0 915690938 171212800 36326 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41800 36326 301 301 0 41499 0
vsize: 167200
[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 76684 0 0 0 35790 210 0 0 25 0 1 0 915690938 171347968 36374 4294967295 134512640 135730672 3221224576 3221223072 134747563 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41833 36374 301 301 0 41532 0
vsize: 167332
[startup+370.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 77625 0 0 0 36788 213 0 0 25 0 1 0 915690938 171347968 36409 4294967295 134512640 135730672 3221224576 3221222940 135291075 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41833 36409 301 301 0 41532 0
vsize: 167332
[startup+380.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 78562 0 0 0 37785 216 0 0 25 0 1 0 915690938 171347968 36440 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41833 36440 301 301 0 41532 0
vsize: 167332
[startup+390.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 79478 0 0 0 38783 218 0 0 25 0 1 0 915690938 171347968 36450 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41833 36450 301 301 0 41532 0
vsize: 167332
[startup+400.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 80416 0 0 0 39780 221 0 0 25 0 1 0 915690938 171347968 36482 4294967295 134512640 135730672 3221224576 3221222960 134763180 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41833 36482 301 301 0 41532 0
vsize: 167332
[startup+410.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 80472 0 0 0 40779 223 0 0 25 0 1 0 915690938 171487232 36538 4294967295 134512640 135730672 3221224576 3221223072 134747762 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41867 36538 301 301 0 41566 0
vsize: 167468
[startup+420.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 81419 0 0 0 41776 226 0 0 25 0 1 0 915690938 171487232 36579 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41867 36579 301 301 0 41566 0
vsize: 167468
[startup+430.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 81483 0 0 0 42775 227 0 0 25 0 1 0 915690938 171634688 36643 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41903 36643 301 301 0 41602 0
vsize: 167612
[startup+440.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 82434 0 0 0 43772 230 0 0 25 0 1 0 915690938 171634688 36688 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41903 36688 301 301 0 41602 0
vsize: 167612
[startup+450.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 83375 0 0 0 44769 233 0 0 25 0 1 0 915690938 171634688 36723 4294967295 134512640 135730672 3221224576 3221223072 134747578 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41903 36723 301 301 0 41602 0
vsize: 167612
[startup+460.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 83389 0 0 0 45769 234 0 0 25 0 1 0 915690938 171806720 36737 4294967295 134512640 135730672 3221224576 3221223088 134746514 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41945 36737 301 301 0 41644 0
vsize: 167780
[startup+470.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 84335 0 0 0 46766 236 0 0 25 0 1 0 915690938 171806720 36777 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41945 36777 301 301 0 41644 0
vsize: 167780
[startup+480.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 85315 0 0 0 47764 239 0 0 25 0 1 0 915690938 171945984 36851 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41979 36851 301 301 0 41678 0
vsize: 167916
[startup+490.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 86265 0 0 0 48761 242 0 0 25 0 1 0 915690938 175656960 37801 4294967295 134512640 135730672 3221224576 3221222728 134765483 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42885 37801 301 301 0 42584 0
vsize: 171540
[startup+500.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 86304 0 0 0 49761 242 0 0 25 0 1 0 915690938 171945984 36934 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41979 36934 301 301 0 41678 0
vsize: 167916
[startup+510.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 87301 0 0 0 50758 246 0 0 25 0 1 0 915690938 172224512 37025 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42047 37025 301 301 0 41746 0
vsize: 168188
[startup+520.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 87356 0 0 0 51757 247 0 0 25 0 1 0 915690938 172363776 37080 4294967295 134512640 135730672 3221224576 3221222900 134732444 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42081 37080 301 301 0 41780 0
vsize: 168324
[startup+530.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 87403 0 0 0 52756 248 0 0 25 0 1 0 915690938 172363776 37127 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42081 37127 301 301 0 41780 0
vsize: 168324
[startup+540.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 88320 0 0 0 53754 250 0 0 25 0 1 0 915690938 172363776 37138 4294967295 134512640 135730672 3221224576 3221223264 134748466 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42081 37138 301 301 0 41780 0
vsize: 168324
[startup+550.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 89266 0 0 0 54751 253 0 0 25 0 1 0 915690938 172363776 37178 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42081 37178 301 301 0 41780 0
vsize: 168324
[startup+560.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 90227 0 0 0 55748 256 0 0 25 0 1 0 915690938 172535808 37233 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42123 37233 301 301 0 41822 0
vsize: 168492
[startup+570.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 90277 0 0 0 56748 257 0 0 25 0 1 0 915690938 172535808 37283 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42123 37283 301 301 0 41822 0
vsize: 168492
[startup+580.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 91229 0 0 0 57745 259 0 0 25 0 1 0 915690938 172732416 37329 4294967295 134512640 135730672 3221224576 3221223264 134748632 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42171 37329 301 301 0 41870 0
vsize: 168684
[startup+590.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 91273 0 0 0 58745 260 0 0 25 0 1 0 915690938 172732416 37373 4294967295 134512640 135730672 3221224576 3221223072 134747616 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42171 37373 301 301 0 41870 0
vsize: 168684
[startup+600.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 92213 0 0 0 59742 263 0 0 25 0 1 0 915690938 172732416 37407 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42171 37407 301 301 0 41870 0
vsize: 168684
[startup+610.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 93139 0 0 0 60740 266 0 0 25 0 1 0 915690938 172732416 37427 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42171 37427 301 301 0 41870 0
vsize: 168684
[startup+620.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 94055 0 0 0 61737 268 0 0 25 0 1 0 915690938 172732416 37437 4294967295 134512640 135730672 3221224576 3221222896 134732500 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42171 37437 301 301 0 41870 0
vsize: 168684
[startup+630.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 94067 0 0 0 62737 269 0 0 25 0 1 0 915690938 172732416 37449 4294967295 134512640 135730672 3221224576 3221223088 134745858 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42171 37449 301 301 0 41870 0
vsize: 168684
[startup+640.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 94988 0 0 0 63733 272 0 0 25 0 1 0 915690938 172732416 37464 4294967295 134512640 135730672 3221224576 3221223072 134747616 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42171 37464 301 301 0 41870 0
vsize: 168684
[startup+650.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 95919 0 0 0 64730 276 0 0 25 0 1 0 915690938 172732416 37489 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42171 37489 301 301 0 41870 0
vsize: 168684
[startup+660.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 96864 0 0 0 65727 279 0 0 25 0 1 0 915690938 172871680 37528 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42205 37528 301 301 0 41904 0
vsize: 168820
[startup+670.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 97796 0 0 0 66724 282 0 0 25 0 1 0 915690938 172871680 37554 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42205 37554 301 301 0 41904 0
vsize: 168820
[startup+680.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 97808 0 0 0 67723 283 0 0 25 0 1 0 915690938 172871680 37566 4294967295 134512640 135730672 3221224576 3221223072 134747738 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42205 37566 301 301 0 41904 0
vsize: 168820
[startup+690.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 98727 0 0 0 68721 286 0 0 25 0 1 0 915690938 172871680 37579 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42205 37579 301 301 0 41904 0
vsize: 168820
[startup+700.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 99653 0 0 0 69718 289 0 0 25 0 1 0 915690938 172871680 37599 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42205 37599 301 301 0 41904 0
vsize: 168820
[startup+710.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 100605 0 0 0 70716 291 0 0 25 0 1 0 915690938 173015040 37645 4294967295 134512640 135730672 3221224576 3221223072 134747878 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42240 37645 301 301 0 41939 0
vsize: 168960
[startup+720.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 101550 0 0 0 71713 295 0 0 25 0 1 0 915690938 176726016 38590 4294967295 134512640 135730672 3221224576 3221222732 134765490 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43146 38590 301 301 0 42845 0
vsize: 172584
[startup+730.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 101596 0 0 0 72712 296 0 0 25 0 1 0 915690938 173015040 37730 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42240 37730 301 301 0 41939 0
vsize: 168960
[startup+740.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 102531 0 0 0 73709 298 0 0 25 0 1 0 915690938 173211648 37759 4294967295 134512640 135730672 3221224576 3221223072 134747762 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42288 37759 301 301 0 41987 0
vsize: 169152
[startup+750.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 103451 0 0 0 74707 301 0 0 25 0 1 0 915690938 173211648 37773 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42288 37773 301 301 0 41987 0
vsize: 169152
[startup+760.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 103519 0 0 0 75706 302 0 0 25 0 1 0 915690938 173346816 37841 4294967295 134512640 135730672 3221224576 3221223232 134748676 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42321 37841 301 301 0 42020 0
vsize: 169284
[startup+770.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 104460 0 0 0 76703 305 0 0 25 0 1 0 915690938 173346816 37876 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42321 37876 301 301 0 42020 0
vsize: 169284
[startup+780.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 104625 0 0 0 77702 307 0 0 25 0 1 0 915690938 173891584 38041 4294967295 134512640 135730672 3221224576 3221223072 134747657 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42454 38041 301 301 0 42153 0
vsize: 169816
[startup+790.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 105567 0 0 0 78698 311 0 0 25 0 1 0 915690938 173891584 38077 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42454 38077 301 301 0 42153 0
vsize: 169816
[startup+800.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 105618 0 0 0 79697 312 0 0 25 0 1 0 915690938 173891584 38128 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42454 38128 301 301 0 42153 0
vsize: 169816
[startup+810.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 106559 0 0 0 80695 314 0 0 25 0 1 0 915690938 173891584 38163 4294967295 134512640 135730672 3221224576 3221223072 134747851 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42454 38163 301 301 0 42153 0
vsize: 169816
[startup+820.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 107486 0 0 0 81692 317 0 0 25 0 1 0 915690938 174034944 38184 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42489 38184 301 301 0 42188 0
vsize: 169956
[startup+830.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 108412 0 0 0 82689 320 0 0 25 0 1 0 915690938 174034944 38204 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42489 38204 301 301 0 42188 0
vsize: 169956
[startup+840.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 109325 0 0 0 83687 323 0 0 25 0 1 0 915690938 174034944 38211 4294967295 134512640 135730672 3221224576 3221223200 134748108 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42489 38211 301 301 0 42188 0
vsize: 169956
[startup+850.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 110527 0 0 0 84684 326 0 0 25 0 1 0 915690938 179146752 39413 4294967295 134512640 135730672 3221224576 3221222768 134772786 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43737 39413 301 301 0 43436 0
vsize: 174948
[startup+860.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 110647 0 0 0 85683 327 0 0 25 0 1 0 915690938 175869952 38627 4294967295 134512640 135730672 3221224576 3221223072 134747584 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42937 38627 301 301 0 42636 0
vsize: 171748
[startup+870.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 111592 0 0 0 86679 331 0 0 25 0 1 0 915690938 176164864 38666 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43009 38666 301 301 0 42708 0
vsize: 172036
[startup+880.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 112510 0 0 0 87677 333 0 0 25 0 1 0 915690938 179875840 39584 4294967295 134512640 135730672 3221224576 3221222752 134768862 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43915 39584 301 301 0 43614 0
vsize: 175660
[startup+890.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 112513 0 0 0 88677 334 0 0 25 0 1 0 915690938 176164864 38681 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43009 38681 301 301 0 42708 0
vsize: 172036
[startup+900.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 113423 0 0 0 89675 336 0 0 25 0 1 0 915690938 176164864 38685 4294967295 134512640 135730672 3221224576 3221222896 134732484 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43009 38685 301 301 0 42708 0
vsize: 172036
[startup+910.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 113474 0 0 0 90674 337 0 0 25 0 1 0 915690938 176476160 38736 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43085 38736 301 301 0 42784 0
vsize: 172340
[startup+920.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 113481 0 0 0 91673 338 0 0 25 0 1 0 915690938 176476160 38743 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43085 38743 301 301 0 42784 0
vsize: 172340
[startup+930.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 114390 0 0 0 92670 341 0 0 25 0 1 0 915690938 176476160 38746 4294967295 134512640 135730672 3221224576 3221223264 134748503 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43085 38746 301 301 0 42784 0
vsize: 172340
[startup+940.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 115332 0 0 0 93667 344 0 0 25 0 1 0 915690938 176615424 38782 4294967295 134512640 135730672 3221224576 3221223232 134748664 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43119 38782 301 301 0 42818 0
vsize: 172476
[startup+950.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 115339 0 0 0 94667 345 0 0 25 0 1 0 915690938 176615424 38789 4294967295 134512640 135730672 3221224576 3221223088 134746185 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43119 38789 301 301 0 42818 0
vsize: 172476
[startup+960.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 116278 0 0 0 95664 348 0 0 25 0 1 0 915690938 176615424 38822 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43119 38822 301 301 0 42818 0
vsize: 172476
[startup+970.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 117203 0 0 0 96662 350 0 0 25 0 1 0 915690938 176615424 38841 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43119 38841 301 301 0 42818 0
vsize: 172476
[startup+980.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 117206 0 0 0 97661 351 0 0 25 0 1 0 915690938 176615424 38844 4294967295 134512640 135730672 3221224576 3221223072 134747957 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43119 38844 301 301 0 42818 0
vsize: 172476
[startup+990.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 118123 0 0 0 98659 354 0 0 25 0 1 0 915690938 176615424 38855 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43119 38855 301 301 0 42818 0
vsize: 172476
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 119079 0 0 0 99657 356 0 0 25 0 1 0 915690938 176615424 38905 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43119 38905 301 301 0 42818 0
vsize: 172476
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 120021 0 0 0 100654 358 0 0 25 0 1 0 915690938 180326400 39847 4294967295 134512640 135730672 3221224576 3221222712 134765483 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44025 39847 301 301 0 43724 0
vsize: 176100
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 120065 0 0 0 101653 359 0 0 25 0 1 0 915690938 176615424 38985 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43119 38985 301 301 0 42818 0
vsize: 172476
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 120113 0 0 0 102652 361 0 0 25 0 1 0 915690938 176750592 39033 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43152 39033 301 301 0 42851 0
vsize: 172608
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 121054 0 0 0 103649 364 0 0 25 0 1 0 915690938 176750592 39068 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43152 39068 301 301 0 42851 0
vsize: 172608
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 121113 0 0 0 104648 365 0 0 25 0 1 0 915690938 176750592 39127 4294967295 134512640 135730672 3221224576 3221223200 134783291 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43152 39127 301 301 0 42851 0
vsize: 172608
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 121128 0 0 0 105648 366 0 0 25 0 1 0 915690938 176750592 39142 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43152 39142 301 301 0 42851 0
vsize: 172608
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 122094 0 0 0 106645 368 0 0 25 0 1 0 915690938 176750592 39202 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43152 39202 301 301 0 42851 0
vsize: 172608
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 123030 0 0 0 107643 370 0 0 25 0 1 0 915690938 180461568 40138 4294967295 134512640 135730672 3221224576 3221222712 134765469 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44058 40138 301 301 0 43757 0
vsize: 176232
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 123086 0 0 0 108643 371 0 0 25 0 1 0 915690938 176914432 39288 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43192 39288 301 301 0 42891 0
vsize: 172768
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 124040 0 0 0 109640 374 0 0 25 0 1 0 915690938 180625408 40242 4294967295 134512640 135730672 3221224576 3221222732 134765490 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44098 40242 301 301 0 43797 0
vsize: 176392
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 124087 0 0 0 110639 376 0 0 25 0 1 0 915690938 176914432 39383 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43192 39383 301 301 0 42891 0
vsize: 172768
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 125032 0 0 0 111636 379 0 0 25 0 1 0 915690938 177049600 39422 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43225 39422 301 301 0 42924 0
vsize: 172900
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 125980 0 0 0 112633 381 0 0 25 0 1 0 915690938 177049600 39464 4294967295 134512640 135730672 3221224576 3221223196 134783158 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43225 39464 301 301 0 42924 0
vsize: 172900
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 125984 0 0 0 113633 382 0 0 25 0 1 0 915690938 177049600 39468 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43225 39468 301 301 0 42924 0
vsize: 172900
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 126938 0 0 0 114631 385 0 0 25 0 1 0 915690938 177348608 39516 4294967295 134512640 135730672 3221224576 3221223200 134748145 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43298 39516 301 301 0 42997 0
vsize: 173192
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 127848 0 0 0 115628 387 0 0 25 0 1 0 915690938 177348608 39520 4294967295 134512640 135730672 3221224576 3221223232 134734774 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43298 39520 301 301 0 42997 0
vsize: 173192
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 127853 0 0 0 116628 388 0 0 25 0 1 0 915690938 177348608 39525 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43298 39525 301 301 0 42997 0
vsize: 173192
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 128777 0 0 0 117625 390 0 0 25 0 1 0 915690938 177348608 39543 4294967295 134512640 135730672 3221224576 3221223264 134748503 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43298 39543 301 301 0 42997 0
vsize: 173192
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 128797 0 0 0 118624 391 0 0 25 0 1 0 915690938 177348608 39563 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43298 39563 301 301 0 42997 0
vsize: 173192
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23643
Raw data (stat): 23643 (pb2sat-v2) R 23642 8378 8377 0 -1 0 129764 0 0 0 119621 395 0 0 25 0 1 0 915690938 177508352 39624 4294967295 134512640 135730672 3221224576 3221223072 134747908 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43337 39624 301 301 0 43036 0
vsize: 173348
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.26 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 23643
Raw data (stat): 23643 (pb2sat-v2) Z 23642 8378 8377 0 -1 12 129766 0 0 0 119736 402 0 0 25 0 1 0 915690938 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.26
CPU time (s): 1201.39
CPU user time (s): 1197.36
CPU system time (s): 4.02839
CPU usage (%): 100.011
Max. virtual memory (Kb): 176392
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####