PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran6x43.opb
MD5SUM	795a1eda830447df9b9714fdf1d66b4e
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	2795888
Optimality of the best value was proved	NO
Number of terms in the objective function	5418
Biggest coefficient in the objective function	5242880
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	1537450315
Number of bits of the sum of numbers in the objective function	31
Biggest number in a constraint	5242880
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	1537450315
Number of bits of the biggest sum of numbers	31
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1224.65
Number of variables	5418
Total number of constraints	307
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	307
Minimum length of a constraint	21
Maximum length of a constraint	860
Trace number 42973

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-16 19:55:11 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26189 boxname=wulflinc6 idbench=1489 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  795a1eda830447df9b9714fdf1d66b4e  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-ran6x43.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-ran6x43.opb
IDLAUNCH: 26189
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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.042
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:        652836 kB
Buffers:         22252 kB
Cached:         337016 kB
SwapCached:        996 kB
Active:          30304 kB
Inactive:       331136 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        652556 kB
SwapTotal:     2097136 kB
SwapFree:      2095200 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5092 kB
Slab:            14820 kB
Committed_AS:    63844 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 20:15:14 (client local time) WITH STATUS 0 IN 1201.19 SECONDS
stats: 26189 7 1201.19 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 17185/294665	Time: 158.976/86400
c Decision: 17185/294665	Time: 177.013/86400
c Decision: 17185/294665	Time: 193.366/86400
c Decision: 17185/294665	Time: 211.075/86400
c Decision: 17185/294665	Time: 224.235/86400
c Decision: 17185/294665	Time: 240.392/86400
c Decision: 17185/294665	Time: 253.167/86400
c Decision: 17185/294665	Time: 267.116/86400
c Decision: 17191/294665	Time: 282.577/86400
c Decision: 17191/294665	Time: 297.136/86400
c Decision: 17191/294665	Time: 314.362/86400
c Decision: 17191/294665	Time: 330.212/86400
c Decision: 17191/294665	Time: 345.448/86400
c Decision: 17191/294665	Time: 359.092/86400
c Decision: 17191/294665	Time: 374.097/86400
c Decision: 17191/294665	Time: 390.359/86400
c Decision: 17191/294665	Time: 405.765/86400
c Decision: 17191/294665	Time: 423.772/86400
c Decision: 17191/294665	Time: 440.395/86400
c Decision: 17191/294665	Time: 456.49/86400
c Decision: 17191/294665	Time: 474.524/86400
c Decision: 17191/294665	Time: 491.58/86400
c Decision: 17191/294665	Time: 509.343/86400
c Decision: 17191/294665	Time: 528.73/86400
c Decision: 17191/294665	Time: 548.688/86400
c Decision: 17191/294665	Time: 568.557/86400
c Decision: 17191/294665	Time: 586.929/86400
c Decision: 17191/294665	Time: 609.665/86400
c Decision: 17191/294665	Time: 630.96/86400
c Decision: 17191/294665	Time: 648.966/86400
c Decision: 17191/294665	Time: 667.929/86400
c Decision: 17191/294665	Time: 689.19/86400
c Decision: 17191/294665	Time: 711.765/86400
c Decision: 17191/294665	Time: 733.745/86400
c Decision: 17191/294665	Time: 752.579/86400
c Decision: 17191/294665	Time: 776.557/86400
c Decision: 17191/294665	Time: 798.514/86400
c Decision: 17191/294665	Time: 818.629/86400
c Decision: 17191/294665	Time: 843.665/86400
c Decision: 17191/294665	Time: 867.024/86400
c Decision: 17191/294665	Time: 885.836/86400
c Decision: 17191/294665	Time: 909.149/86400
c Decision: 17191/294665	Time: 934.931/86400
c Decision: 17191/294665	Time: 956.414/86400
c Decision: 17191/294665	Time: 977.293/86400
c Decision: 17191/294665	Time: 1001.59/86400
c Decision: 17191/294665	Time: 1024.33/86400
c Decision: 17191/294665	Time: 1046.08/86400
c Decision: 17191/294665	Time: 1066.14/86400
c Decision: 17191/294665	Time: 1089.6/86400
c Decision: 17191/294665	Time: 1113.19/86400
c Decision: 17191/294665	Time: 1138.88/86400
c Decision: 17191/294665	Time: 1159.82/86400
c Decision: 17191/294665	Time: 1178.77/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.91 0.95 0.90 2/54 25864
Raw data (stat): 25864 (runsolver) R 25863 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 973444495 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+9.99984 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 25864
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 26549 0 0 0 939 60 0 0 25 0 1 0 973444495 77889536 15514 4294967295 134512640 135730672 3221224576 3220934080 134546351 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 19016 15514 301 301 0 18715 0
vsize: 76064
[startup+20.0003 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 25864
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 45475 0 0 0 1898 100 0 0 25 0 1 0 973444495 135344128 23034 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33043 23034 301 301 0 32742 0
vsize: 132172
[startup+30.0001 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 25864
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 46706 0 0 0 2896 102 0 0 25 0 1 0 973444495 140947456 24265 4294967295 134512640 135730672 3221224576 3221223264 134748554 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34411 24265 301 301 0 34110 0
vsize: 137644
[startup+40.0003 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 25864
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 47814 0 0 0 3893 106 0 0 25 0 1 0 973444495 146763776 25373 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35831 25373 301 301 0 35530 0
vsize: 143324
[startup+50.0008 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 25864
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 48228 0 0 0 4893 107 0 0 25 0 1 0 973444495 148586496 25787 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36276 25787 301 301 0 35975 0
vsize: 145104
[startup+60.0009 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 25864
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 48724 0 0 0 5891 109 0 0 25 0 1 0 973444495 151105536 26283 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36891 26283 301 301 0 36590 0
vsize: 147564
[startup+70.0007 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 25864
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 49072 0 0 0 6890 110 0 0 25 0 1 0 973444495 152973312 26631 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37347 26631 301 301 0 37046 0
vsize: 149388
[startup+80.0012 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 25864
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 49488 0 0 0 7889 112 0 0 25 0 1 0 973444495 155095040 27047 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37865 27047 301 301 0 37564 0
vsize: 151460
[startup+90.001 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 25864
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 49630 0 0 0 8887 113 0 0 25 0 1 0 973444495 155787264 27189 4294967295 134512640 135730672 3221224576 3221223200 134748108 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38034 27189 301 301 0 37733 0
vsize: 152136
[startup+100.001 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 25864
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 49710 0 0 0 9887 114 0 0 25 0 1 0 973444495 156119040 27269 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38115 27269 301 301 0 37814 0
vsize: 152460
[startup+110.002 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 25864
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 49963 0 0 0 10885 117 0 0 25 0 1 0 973444495 157396992 27522 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38427 27522 301 301 0 38126 0
vsize: 153708
[startup+120.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25864
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 50081 0 0 0 11883 119 0 0 25 0 1 0 973444495 157986816 27640 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38571 27640 301 301 0 38270 0
vsize: 154284
[startup+130.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25864
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 50267 0 0 0 12881 121 0 0 25 0 1 0 973444495 158859264 27826 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38784 27826 301 301 0 38483 0
vsize: 155136
[startup+140.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25864
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 50382 0 0 0 13880 122 0 0 25 0 1 0 973444495 159535104 27941 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38949 27941 301 301 0 38648 0
vsize: 155796
[startup+150.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25864
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 50524 0 0 0 14879 124 0 0 25 0 1 0 973444495 160210944 28083 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39114 28083 301 301 0 38813 0
vsize: 156456
[startup+160.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25864
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 50536 0 0 0 15878 125 0 0 25 0 1 0 973444495 160210944 28095 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39114 28095 301 301 0 38813 0
vsize: 156456
[startup+170.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25864
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 50578 0 0 0 16876 127 0 0 25 0 1 0 973444495 160346112 28137 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39147 28137 301 301 0 38846 0
vsize: 156588
[startup+180.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25864
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 51272 0 0 0 17874 130 0 0 25 0 1 0 973444495 160886784 28255 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39279 28255 301 301 0 38978 0
vsize: 157116
[startup+190.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25864
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 51557 0 0 0 18872 132 0 0 25 0 1 0 973444495 162283520 28507 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39620 28507 301 301 0 39319 0
vsize: 158480
[startup+200.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25864
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 52193 0 0 0 19869 135 0 0 25 0 1 0 973444495 162553856 28567 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39686 28567 301 301 0 39385 0
vsize: 158744
[startup+210.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25864
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 52883 0 0 0 20867 138 0 0 25 0 1 0 973444495 163229696 28681 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39851 28681 301 301 0 39550 0
vsize: 159404
[startup+220.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25864
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 52933 0 0 0 21866 139 0 0 25 0 1 0 973444495 163500032 28731 4294967295 134512640 135730672 3221224576 3221223072 134747738 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39917 28731 301 301 0 39616 0
vsize: 159668
[startup+230.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25864
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 53616 0 0 0 22863 142 0 0 25 0 1 0 973444495 163901440 28805 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40015 28805 301 301 0 39714 0
vsize: 160060
[startup+240.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25864
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 54203 0 0 0 23860 145 0 0 25 0 1 0 973444495 163901440 28816 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40015 28816 301 301 0 39714 0
vsize: 160060
[startup+250.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25864
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 54234 0 0 0 24858 147 0 0 25 0 1 0 973444495 164036608 28847 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40048 28847 301 301 0 39747 0
vsize: 160192
[startup+260.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25864
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 54831 0 0 0 25856 150 0 0 25 0 1 0 973444495 164171776 28868 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40081 28868 301 301 0 39780 0
vsize: 160324
[startup+270.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25864
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 55459 0 0 0 26853 153 0 0 25 0 1 0 973444495 164368384 28920 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40129 28920 301 301 0 39828 0
vsize: 160516
[startup+280.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25864
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 55575 0 0 0 27852 154 0 0 25 0 1 0 973444495 164966400 29003 4294967295 134512640 135730672 3221224576 3221223196 134748215 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40275 29003 301 301 0 39974 0
vsize: 161100
[startup+290.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25864
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 56221 0 0 0 28849 157 0 0 25 0 1 0 973444495 165298176 29073 4294967295 134512640 135730672 3221224576 3221223024 134730483 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40356 29073 301 301 0 40055 0
vsize: 161424
[startup+300.004 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 25917
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 56972 0 0 0 29846 161 0 0 25 0 1 0 973444495 166379520 29248 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40620 29248 301 301 0 40319 0
vsize: 162480
[startup+310.005 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 25917
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 56982 0 0 0 30844 163 0 0 25 0 1 0 973444495 166379520 29258 4294967295 134512640 135730672 3221224576 3221223168 134764020 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40620 29258 301 301 0 40319 0
vsize: 162480
[startup+320.005 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 25917
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 57598 0 0 0 31841 166 0 0 25 0 1 0 973444495 166514688 29298 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40653 29298 301 301 0 40352 0
vsize: 162612
[startup+330.005 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 25917
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 58181 0 0 0 32838 169 0 0 25 0 1 0 973444495 166514688 29305 4294967295 134512640 135730672 3221224576 3221223200 134748158 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40653 29305 301 301 0 40352 0
vsize: 162612
[startup+340.005 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 25917
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 58312 0 0 0 33837 170 0 0 25 0 1 0 973444495 167190528 29436 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40818 29436 301 301 0 40517 0
vsize: 163272
[startup+350.005 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 25917
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 58914 0 0 0 34834 173 0 0 25 0 1 0 973444495 167325696 29462 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40851 29462 301 301 0 40550 0
vsize: 163404
[startup+360.006 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 25919
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 59530 0 0 0 35831 177 0 0 25 0 1 0 973444495 167460864 29502 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40884 29502 301 301 0 40583 0
vsize: 163536
[startup+370.007 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 25919
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 59565 0 0 0 36828 180 0 0 25 0 1 0 973444495 167596032 29537 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40917 29537 301 301 0 40616 0
vsize: 163668
[startup+380.007 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 25919
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 60147 0 0 0 37826 183 0 0 25 0 1 0 973444495 167596032 29543 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40917 29543 301 301 0 40616 0
vsize: 163668
[startup+390.006 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 25919
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 60748 0 0 0 38823 186 0 0 25 0 1 0 973444495 167731200 29568 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40950 29568 301 301 0 40649 0
vsize: 163800
[startup+400.007 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 25919
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 60756 0 0 0 39822 188 0 0 25 0 1 0 973444495 167731200 29576 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40950 29576 301 301 0 40649 0
vsize: 163800
[startup+410.007 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 25919
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 61335 0 0 0 40819 190 0 0 25 0 1 0 973444495 167731200 29579 4294967295 134512640 135730672 3221224576 3221223168 134747445 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40950 29579 301 301 0 40649 0
vsize: 163800
[startup+420.007 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 25919
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 61941 0 0 0 41817 193 0 0 25 0 1 0 973444495 167866368 29609 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40983 29609 301 301 0 40682 0
vsize: 163932
[startup+430.007 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 25919
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 61988 0 0 0 42815 195 0 0 25 0 1 0 973444495 168136704 29656 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41049 29656 301 301 0 40748 0
vsize: 164196
[startup+440.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25919
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 62589 0 0 0 43813 198 0 0 25 0 1 0 973444495 168271872 29681 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41082 29681 301 301 0 40781 0
vsize: 164328
[startup+450.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25919
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 62602 0 0 0 44811 200 0 0 25 0 1 0 973444495 168271872 29694 4294967295 134512640 135730672 3221224576 3221222908 134739224 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41082 29694 301 301 0 40781 0
vsize: 164328
[startup+460.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25919
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 63184 0 0 0 45809 202 0 0 25 0 1 0 973444495 168271872 29700 4294967295 134512640 135730672 3221224576 3221223164 134747446 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41082 29700 301 301 0 40781 0
vsize: 164328
[startup+470.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25919
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 63192 0 0 0 46807 205 0 0 25 0 1 0 973444495 168271872 29708 4294967295 134512640 135730672 3221224576 3221222992 134741558 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41082 29708 301 301 0 40781 0
vsize: 164328
[startup+480.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25919
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 63811 0 0 0 47804 208 0 0 25 0 1 0 973444495 168542208 29751 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41148 29751 301 301 0 40847 0
vsize: 164592
[startup+490.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25919
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 64409 0 0 0 48801 212 0 0 25 0 1 0 973444495 168677376 29773 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41181 29773 301 301 0 40880 0
vsize: 164724
[startup+500.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25919
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 64433 0 0 0 49800 213 0 0 25 0 1 0 973444495 168812544 29797 4294967295 134512640 135730672 3221224576 3221223072 134747657 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41214 29797 301 301 0 40913 0
vsize: 164856
[startup+510.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25919
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 65015 0 0 0 50797 217 0 0 25 0 1 0 973444495 168812544 29803 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41214 29803 301 301 0 40913 0
vsize: 164856
[startup+520.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25919
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 65061 0 0 0 51795 219 0 0 25 0 1 0 973444495 169082880 29849 4294967295 134512640 135730672 3221224576 3221223072 134747624 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41280 29849 301 301 0 40979 0
vsize: 165120
[startup+530.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25919
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 65661 0 0 0 52793 222 0 0 25 0 1 0 973444495 169218048 29873 4294967295 134512640 135730672 3221224576 3221223184 134744748 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41313 29873 301 301 0 41012 0
vsize: 165252
[startup+540.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25919
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 65668 0 0 0 53791 223 0 0 25 0 1 0 973444495 169218048 29880 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41313 29880 301 301 0 41012 0
vsize: 165252
[startup+550.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25919
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 66274 0 0 0 54790 225 0 0 25 0 1 0 973444495 169353216 29910 4294967295 134512640 135730672 3221224576 3221223200 134748111 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41346 29910 301 301 0 41045 0
vsize: 165384
[startup+560.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25919
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 66387 0 0 0 55788 228 0 0 25 0 1 0 973444495 169938944 30023 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41489 30023 301 301 0 41188 0
vsize: 165956
[startup+570.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25919
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 67066 0 0 0 56784 232 0 0 25 0 1 0 973444495 170500096 30126 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41626 30126 301 301 0 41325 0
vsize: 166504
[startup+580.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25919
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 67196 0 0 0 57782 234 0 0 25 0 1 0 973444495 171311104 30256 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41824 30256 301 301 0 41523 0
vsize: 167296
[startup+590.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25919
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 67793 0 0 0 58780 236 0 0 25 0 1 0 973444495 171446272 30277 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41857 30277 301 301 0 41556 0
vsize: 167428
[startup+600.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25919
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 67835 0 0 0 59780 237 0 0 25 0 1 0 973444495 171581440 30319 4294967295 134512640 135730672 3221224576 3221223088 134745782 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41890 30319 301 301 0 41589 0
vsize: 167560
[startup+610.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25921
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 68416 0 0 0 60776 241 0 0 25 0 1 0 973444495 171581440 30324 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41890 30324 301 301 0 41589 0
vsize: 167560
[startup+620.014 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 25921
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 68420 0 0 0 61774 243 0 0 25 0 1 0 973444495 171581440 30328 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41890 30328 301 301 0 41589 0
vsize: 167560
[startup+630.014 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 25921
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 69025 0 0 0 62772 246 0 0 25 0 1 0 973444495 171728896 30357 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41926 30357 301 301 0 41625 0
vsize: 167704
[startup+640.014 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 25921
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 69041 0 0 0 63771 247 0 0 25 0 1 0 973444495 171728896 30373 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41926 30373 301 301 0 41625 0
vsize: 167704
[startup+650.015 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 25921
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 69623 0 0 0 64768 250 0 0 25 0 1 0 973444495 171728896 30379 4294967295 134512640 135730672 3221224576 3221223200 134748244 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41926 30379 301 301 0 41625 0
vsize: 167704
[startup+660.015 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 25921
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 69648 0 0 0 65767 252 0 0 25 0 1 0 973444495 171864064 30404 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41959 30404 301 301 0 41658 0
vsize: 167836
[startup+670.016 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 25921
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 70257 0 0 0 66765 255 0 0 25 0 1 0 973444495 171999232 30437 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41992 30437 301 301 0 41691 0
vsize: 167968
[startup+680.016 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 25921
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 70263 0 0 0 67764 256 0 0 25 0 1 0 973444495 188776448 30443 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46088 30443 301 301 0 45787 0
vsize: 184352
[startup+690.016 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 25921
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 70959 0 0 0 68761 259 0 0 25 0 1 0 973444495 189431808 30563 4294967295 134512640 135730672 3221224576 3221223184 134744655 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46248 30563 301 301 0 45947 0
vsize: 184992
[startup+700.016 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 25921
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 71210 0 0 0 69759 261 0 0 25 0 1 0 973444495 190480384 30814 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46504 30814 301 301 0 46203 0
vsize: 186016
[startup+710.018 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 25921
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 71843 0 0 0 70757 264 0 0 25 0 1 0 973444495 190812160 30871 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46585 30871 301 301 0 46284 0
vsize: 186340
[startup+720.018 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 25921
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 71850 0 0 0 71755 266 0 0 25 0 1 0 973444495 190812160 30878 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46585 30878 301 301 0 46284 0
vsize: 186340
[startup+730.017 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 25921
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 72563 0 0 0 72753 268 0 0 25 0 1 0 973444495 191471616 31015 4294967295 134512640 135730672 3221224576 3221223200 134748170 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46746 31015 301 301 0 46445 0
vsize: 186984
[startup+740.018 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 25921
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 72729 0 0 0 73752 270 0 0 25 0 1 0 973444495 192270336 31181 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46941 31181 301 301 0 46640 0
vsize: 187764
[startup+750.018 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 25921
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 73336 0 0 0 74749 273 0 0 25 0 1 0 973444495 192405504 31212 4294967295 134512640 135730672 3221224576 3221223232 134734780 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46974 31212 301 301 0 46673 0
vsize: 187896
[startup+760.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 25921
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 73397 0 0 0 75749 274 0 0 25 0 1 0 973444495 192811008 31273 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47073 31273 301 301 0 46772 0
vsize: 188292
[startup+770.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 25921
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 74006 0 0 0 76746 277 0 0 25 0 1 0 973444495 192946176 31306 4294967295 134512640 135730672 3221224576 3221223200 134748091 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47106 31306 301 301 0 46805 0
vsize: 188424
[startup+780.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 25921
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 74177 0 0 0 77744 279 0 0 25 0 1 0 973444495 193843200 31477 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47325 31477 301 301 0 47024 0
vsize: 189300
[startup+790.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 25921
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 74758 0 0 0 78741 282 0 0 25 0 1 0 973444495 193843200 31482 4294967295 134512640 135730672 3221224576 3221223196 134783158 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47325 31482 301 301 0 47024 0
vsize: 189300
[startup+800.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 25921
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 74761 0 0 0 79740 284 0 0 25 0 1 0 973444495 193843200 31485 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47325 31485 301 301 0 47024 0
vsize: 189300
[startup+810.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 25921
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 74812 0 0 0 80739 286 0 0 25 0 1 0 973444495 194113536 31536 4294967295 134512640 135730672 3221224576 3221223232 134734835 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47391 31536 301 301 0 47090 0
vsize: 189564
[startup+820.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 25921
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 75431 0 0 0 81737 288 0 0 25 0 1 0 973444495 194383872 31579 4294967295 134512640 135730672 3221224576 3221223072 134747711 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47457 31579 301 301 0 47156 0
vsize: 189828
[startup+830.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 25921
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 75466 0 0 0 82736 289 0 0 25 0 1 0 973444495 194519040 31614 4294967295 134512640 135730672 3221224576 3221222908 134739224 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47490 31614 301 301 0 47189 0
vsize: 189960
[startup+840.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 25921
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 75488 0 0 0 83735 290 0 0 25 0 1 0 973444495 194654208 31636 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47523 31636 301 301 0 47222 0
vsize: 190092
[startup+850.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 25921
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 75511 0 0 0 84734 292 0 0 25 0 1 0 973444495 194789376 31659 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47556 31659 301 301 0 47255 0
vsize: 190224
[startup+860.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 25921
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 76091 0 0 0 85731 295 0 0 25 0 1 0 973444495 194789376 31663 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47556 31663 301 301 0 47255 0
vsize: 190224
[startup+870.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 25921
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 76160 0 0 0 86730 296 0 0 25 0 1 0 973444495 195059712 31732 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47622 31732 301 301 0 47321 0
vsize: 190488
[startup+880.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 25921
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 76168 0 0 0 87729 298 0 0 25 0 1 0 973444495 195059712 31740 4294967295 134512640 135730672 3221224576 3221223088 134745782 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47622 31740 301 301 0 47321 0
vsize: 190488
[startup+890.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 25921
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 76769 0 0 0 88726 301 0 0 25 0 1 0 973444495 195194880 31765 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47655 31765 301 301 0 47354 0
vsize: 190620
[startup+900.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 25921
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 77381 0 0 0 89724 304 0 0 25 0 1 0 973444495 195330048 31801 4294967295 134512640 135730672 3221224576 3221222824 135284590 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47688 31801 301 301 0 47387 0
vsize: 190752
[startup+910.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 25921
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 77383 0 0 0 90721 306 0 0 25 0 1 0 973444495 195330048 31803 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47688 31803 301 301 0 47387 0
vsize: 190752
[startup+920.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 25921
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 77389 0 0 0 91720 308 0 0 25 0 1 0 973444495 195330048 31809 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47688 31809 301 301 0 47387 0
vsize: 190752
[startup+930.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 25921
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 78012 0 0 0 92718 310 0 0 25 0 1 0 973444495 195526656 31856 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47736 31856 301 301 0 47435 0
vsize: 190944
[startup+940.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 25921
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 78018 0 0 0 93716 312 0 0 25 0 1 0 973444495 195526656 31862 4294967295 134512640 135730672 3221224576 3221223072 134747811 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47736 31862 301 301 0 47435 0
vsize: 190944
[startup+950.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 25921
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 78648 0 0 0 94714 315 0 0 25 0 1 0 973444495 195858432 31916 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47817 31916 301 301 0 47516 0
vsize: 191268
[startup+960.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 25921
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 78703 0 0 0 95713 317 0 0 25 0 1 0 973444495 196128768 31971 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47883 31971 301 301 0 47582 0
vsize: 191532
[startup+970.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 25921
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 79286 0 0 0 96710 320 0 0 25 0 1 0 973444495 198488064 32554 4294967295 134512640 135730672 3221224576 3221222752 134768938 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48459 32554 301 301 0 48158 0
vsize: 193836
[startup+980.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 25921
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 79294 0 0 0 97709 321 0 0 25 0 1 0 973444495 196128768 31986 4294967295 134512640 135730672 3221224576 3221223072 134747563 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47883 31986 301 301 0 47582 0
vsize: 191532
[startup+990.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 25921
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 79299 0 0 0 98707 323 0 0 25 0 1 0 973444495 196128768 31991 4294967295 134512640 135730672 3221224576 3221223200 134748091 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47883 31991 301 301 0 47582 0
vsize: 191532
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 25921
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 79956 0 0 0 99705 326 0 0 25 0 1 0 973444495 196534272 32072 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47982 32072 301 301 0 47681 0
vsize: 191928
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 25921
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 79989 0 0 0 100704 327 0 0 25 0 1 0 973444495 196730880 32105 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48030 32105 301 301 0 47729 0
vsize: 192120
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 25921
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 80592 0 0 0 101702 330 0 0 25 0 1 0 973444495 196730880 32132 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48030 32132 301 301 0 47729 0
vsize: 192120
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 25921
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 80613 0 0 0 102701 331 0 0 25 0 1 0 973444495 196866048 32153 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48063 32153 301 301 0 47762 0
vsize: 192252
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 25921
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 81199 0 0 0 103700 333 0 0 25 0 1 0 973444495 196866048 32163 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48063 32163 301 301 0 47762 0
vsize: 192252
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 25921
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 81223 0 0 0 104699 334 0 0 25 0 1 0 973444495 197001216 32187 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48096 32187 301 301 0 47795 0
vsize: 192384
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.92 3/54 25921
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 81826 0 0 0 105697 337 0 0 25 0 1 0 973444495 197136384 32214 4294967295 134512640 135730672 3221224576 3221222992 134741730 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48129 32214 301 301 0 47828 0
vsize: 192516
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 25921
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 81845 0 0 0 106695 339 0 0 25 0 1 0 973444495 197136384 32233 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48129 32233 301 301 0 47828 0
vsize: 192516
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 25921
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 82453 0 0 0 107693 342 0 0 25 0 1 0 973444495 199630848 32841 4294967295 134512640 135730672 3221224576 3221222848 134774598 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48738 32841 301 301 0 48437 0
vsize: 194952
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 25921
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 82458 0 0 0 108691 344 0 0 25 0 1 0 973444495 197271552 32270 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48162 32270 301 301 0 47861 0
vsize: 192648
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 25921
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 82485 0 0 0 109690 345 0 0 25 0 1 0 973444495 197406720 32297 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48195 32297 301 301 0 47894 0
vsize: 192780
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 25921
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 83069 0 0 0 110688 347 0 0 25 0 1 0 973444495 197406720 32305 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48195 32305 301 301 0 47894 0
vsize: 192780
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 25921
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 83074 0 0 0 111687 349 0 0 25 0 1 0 973444495 197406720 32310 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48195 32310 301 301 0 47894 0
vsize: 192780
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 25921
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 83654 0 0 0 112684 352 0 0 25 0 1 0 973444495 197406720 32314 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48195 32314 301 301 0 47894 0
vsize: 192780
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 25921
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 83657 0 0 0 113683 354 0 0 25 0 1 0 973444495 197406720 32317 4294967295 134512640 135730672 3221224576 3221223072 134747463 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48195 32317 301 301 0 47894 0
vsize: 192780
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 25921
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 83690 0 0 0 114682 355 0 0 25 0 1 0 973444495 197603328 32350 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48243 32350 301 301 0 47942 0
vsize: 192972
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 25921
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 84272 0 0 0 115679 358 0 0 25 0 1 0 973444495 197603328 32356 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48243 32356 301 301 0 47942 0
vsize: 192972
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 25921
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 84278 0 0 0 116678 360 0 0 25 0 1 0 973444495 197603328 32362 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48243 32362 301 301 0 47942 0
vsize: 192972
[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 25921
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 84878 0 0 0 117675 363 0 0 25 0 1 0 973444495 197738496 32386 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48276 32386 301 301 0 47975 0
vsize: 193104
[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 25921
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 84884 0 0 0 118673 365 0 0 25 0 1 0 973444495 197738496 32392 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48276 32392 301 301 0 47975 0
vsize: 193104
[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 25921
Raw data (stat): 25864 (pb2sat-v2) R 25863 25568 25567 0 -1 0 85572 0 0 0 119671 368 0 0 25 0 1 0 973444495 198139904 32471 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48374 32471 301 301 0 48073 0
vsize: 193496
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.85 s]
Raw data (loadavg): 1.00 1.00 0.92 1/54 25921
Raw data (stat): 25864 (pb2sat-v2) Z 25863 25568 25567 0 -1 12 85574 0 0 0 119744 375 0 0 25 0 1 0 973444495 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 0
Real time (s): 1200.85
CPU time (s): 1201.19
CPU user time (s): 1197.44
CPU system time (s): 3.75343
CPU usage (%): 100.029
Max. virtual memory (Kb): 194952
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####