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/miplib3/normalized-mps-v2-13-7-mod010.opb
MD5SUM	ef7064a9be2b712276f7b600af28e2b0
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	6571
Optimality of the best value was proved	NO
Number of terms in the objective function	2655
Biggest coefficient in the objective function	266
Number of bits for the biggest coefficient in the objective function	9
Sum of the numbers in the objective function	489211
Number of bits of the sum of numbers in the objective function	19
Biggest number in a constraint	266
Number of bits of the biggest number in a constraint	9
Biggest sum of numbers in a constraint	489211
Number of bits of the biggest sum of numbers	19
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.18
Number of variables	2655
Total number of constraints	2801
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	2800
Number of constraints which are nor clauses,nor cardinality constraints	1
Minimum length of a constraint	1
Maximum length of a constraint	2655
Trace number 42924

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-16 18:26:19 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26134 boxname=wulflinc6 idbench=1434 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  ef7064a9be2b712276f7b600af28e2b0  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-mod010.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-mod010.opb
IDLAUNCH: 26134
/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:        688608 kB
Buffers:         25712 kB
Cached:         297720 kB
SwapCached:        996 kB
Active:          24224 kB
Inactive:       301344 kB
HighTotal:      131008 kB
HighFree:        12068 kB
LowTotal:       903652 kB
LowFree:        676540 kB
SwapTotal:     2097136 kB
SwapFree:      2095200 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5092 kB
Slab:            14888 kB
Committed_AS:    63844 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 18:46:21 (client local time) WITH STATUS 0 IN 1201.01 SECONDS
stats: 26134 7 1201.01 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 11076/263328	Time: 123.214/86400
c Decision: 11076/263328	Time: 208.81/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.85 0.95 0.90 1/54 24784
Raw data (stat): 24784 (runsolver) R 24783 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 972911226 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.99957 s]
Raw data (loadavg): 0.87 0.95 0.90 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 26277 0 0 0 936 63 0 0 25 0 1 0 972911226 84086784 15404 4294967295 134512640 135730672 3221224576 3220420688 135282761 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20529 15405 301 301 0 20228 0
vsize: 82116
[startup+19.9997 s]
Raw data (loadavg): 0.89 0.95 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 38012 0 0 0 1909 89 0 0 25 0 1 0 972911226 111239168 21937 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27158 21937 301 301 0 26857 0
vsize: 108632
[startup+30.0001 s]
Raw data (loadavg): 0.91 0.95 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 38958 0 0 0 2907 92 0 0 25 0 1 0 972911226 116043776 22817 4294967295 134512640 135730672 3221224576 3221223072 134747631 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28331 22817 301 301 0 28030 0
vsize: 113324
[startup+40 s]
Raw data (loadavg): 0.92 0.95 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 39449 0 0 0 3907 93 0 0 25 0 1 0 972911226 118861824 23275 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 29019 23275 301 301 0 28718 0
vsize: 116076
[startup+50.0001 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 39745 0 0 0 4906 94 0 0 25 0 1 0 972911226 120459264 23571 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 29409 23571 301 301 0 29108 0
vsize: 117636
[startup+59.9996 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 39923 0 0 0 5906 94 0 0 25 0 1 0 972911226 121270272 23749 4294967295 134512640 135730672 3221224576 3221223072 134747701 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 29607 23749 301 301 0 29306 0
vsize: 118428
[startup+69.9994 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 40195 0 0 0 6906 95 0 0 25 0 1 0 972911226 122757120 24021 4294967295 134512640 135730672 3221224576 3221223072 134747711 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 29970 24021 301 301 0 29669 0
vsize: 119880
[startup+80.0002 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 40506 0 0 0 7905 95 0 0 25 0 1 0 972911226 124375040 24332 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 30365 24332 301 301 0 30064 0
vsize: 121460
[startup+90 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 40804 0 0 0 8904 97 0 0 25 0 1 0 972911226 126267392 24630 4294967295 134512640 135730672 3221224576 3221223264 134748499 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 30827 24630 301 301 0 30526 0
vsize: 123308
[startup+99.9999 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 41025 0 0 0 9904 98 0 0 25 0 1 0 972911226 127205376 24818 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 31056 24818 301 301 0 30755 0
vsize: 124224
[startup+110 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 41255 0 0 0 10904 98 0 0 25 0 1 0 972911226 128421888 25048 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 31353 25048 301 301 0 31052 0
vsize: 125412
[startup+120 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 41363 0 0 0 11903 99 0 0 25 0 1 0 972911226 128962560 25156 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 31485 25156 301 301 0 31184 0
vsize: 125940
[startup+130 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 41585 0 0 0 12903 99 0 0 25 0 1 0 972911226 129908736 25378 4294967295 134512640 135730672 3221224576 3221223072 134747657 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 31716 25378 301 301 0 31415 0
vsize: 126864
[startup+140 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 42273 0 0 0 13901 101 0 0 25 0 1 0 972911226 130719744 25551 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 31914 25551 301 301 0 31613 0
vsize: 127656
[startup+150.001 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 42374 0 0 0 14901 102 0 0 25 0 1 0 972911226 130985984 25619 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 31979 25619 301 301 0 31678 0
vsize: 127916
[startup+160.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 42500 0 0 0 15900 102 0 0 25 0 1 0 972911226 131661824 25745 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 32144 25745 301 301 0 31843 0
vsize: 128576
[startup+170 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 42554 0 0 0 16900 103 0 0 25 0 1 0 972911226 131796992 25799 4294967295 134512640 135730672 3221224576 3221223072 134747618 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 32177 25799 301 301 0 31876 0
vsize: 128708
[startup+180 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 42633 0 0 0 17900 104 0 0 25 0 1 0 972911226 132202496 25878 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 32276 25878 301 301 0 31975 0
vsize: 129104
[startup+190 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 42686 0 0 0 18900 104 0 0 25 0 1 0 972911226 132333568 25898 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 32308 25898 301 301 0 32007 0
vsize: 129232
[startup+200 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 42763 0 0 0 19899 105 0 0 25 0 1 0 972911226 132464640 25942 4294967295 134512640 135730672 3221224576 3221223264 134748499 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 32340 25942 301 301 0 32039 0
vsize: 129360
[startup+210 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 42875 0 0 0 20899 105 0 0 25 0 1 0 972911226 132866048 26021 4294967295 134512640 135730672 3221224576 3221222756 135291157 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 32438 26021 301 301 0 32137 0
vsize: 129752
[startup+220 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 42914 0 0 0 21899 106 0 0 25 0 1 0 972911226 133001216 26060 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 32471 26060 301 301 0 32170 0
vsize: 129884
[startup+229.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 43519 0 0 0 22897 107 0 0 25 0 1 0 972911226 133406720 26150 4294967295 134512640 135730672 3221224576 3221223072 134747714 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 32570 26150 301 301 0 32269 0
vsize: 130280
[startup+239.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 43611 0 0 0 23897 108 0 0 25 0 1 0 972911226 133677056 26242 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 32636 26242 301 301 0 32335 0
vsize: 130544
[startup+249.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 43687 0 0 0 24897 108 0 0 25 0 1 0 972911226 133943296 26285 4294967295 134512640 135730672 3221224576 3221223244 134748650 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 32701 26285 301 301 0 32400 0
vsize: 130804
[startup+259.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 43809 0 0 0 25897 108 0 0 25 0 1 0 972911226 134340608 26341 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 32798 26341 301 301 0 32497 0
vsize: 131192
[startup+269.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 43933 0 0 0 26897 109 0 0 25 0 1 0 972911226 135016448 26465 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 32963 26465 301 301 0 32662 0
vsize: 131852
[startup+279.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 43991 0 0 0 27897 109 0 0 25 0 1 0 972911226 135286784 26523 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33029 26523 301 301 0 32728 0
vsize: 132116
[startup+289.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 44091 0 0 0 28897 110 0 0 25 0 1 0 972911226 135827456 26623 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33161 26623 301 301 0 32860 0
vsize: 132644
[startup+299.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 44186 0 0 0 29896 110 0 0 25 0 1 0 972911226 136368128 26718 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33293 26718 301 301 0 32992 0
vsize: 133172
[startup+309.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 44270 0 0 0 30896 111 0 0 25 0 1 0 972911226 136769536 26769 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33391 26769 301 301 0 33090 0
vsize: 133564
[startup+319.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 44403 0 0 0 31896 111 0 0 25 0 1 0 972911226 137334784 26869 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33529 26869 301 301 0 33228 0
vsize: 134116
[startup+329.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 44431 0 0 0 32896 111 0 0 25 0 1 0 972911226 137469952 26897 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33562 26897 301 301 0 33261 0
vsize: 134248
[startup+339.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 44499 0 0 0 33896 112 0 0 25 0 1 0 972911226 137736192 26932 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33627 26932 301 301 0 33326 0
vsize: 134508
[startup+349.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 44796 0 0 0 34895 113 0 0 25 0 1 0 972911226 138657792 27064 4294967295 134512640 135730672 3221224576 3221223072 134747519 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33852 27064 301 301 0 33551 0
vsize: 135408
[startup+359.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 45119 0 0 0 35894 114 0 0 25 0 1 0 972911226 140255232 27321 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34242 27321 301 301 0 33941 0
vsize: 136968
[startup+369.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 45816 0 0 0 36892 116 0 0 25 0 1 0 972911226 143462400 27853 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35025 27853 301 301 0 34724 0
vsize: 140100
[startup+379.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 46115 0 0 0 37891 118 0 0 25 0 1 0 972911226 144662528 28053 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35318 28053 301 301 0 35017 0
vsize: 141272
[startup+389.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 46626 0 0 0 38891 119 0 0 25 0 1 0 972911226 146505728 28234 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35768 28234 301 301 0 35467 0
vsize: 143072
[startup+399.992 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 46819 0 0 0 39890 120 0 0 25 0 1 0 972911226 147447808 28394 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35998 28394 301 301 0 35697 0
vsize: 143992
[startup+409.992 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 46894 0 0 0 40889 120 0 0 25 0 1 0 972911226 147775488 28436 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36078 28436 301 301 0 35777 0
vsize: 144312
[startup+419.992 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 47311 0 0 0 41888 122 0 0 25 0 1 0 972911226 149499904 28688 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36499 28688 301 301 0 36198 0
vsize: 145996
[startup+429.991 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 47575 0 0 0 42888 122 0 0 25 0 1 0 972911226 150425600 28853 4294967295 134512640 135730672 3221224576 3221223072 134747519 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36725 28853 301 301 0 36424 0
vsize: 146900
[startup+439.991 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 48047 0 0 0 43887 124 0 0 25 0 1 0 972911226 152342528 29094 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37193 29094 301 301 0 36892 0
vsize: 148772
[startup+449.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 48757 0 0 0 44886 125 0 0 25 0 1 0 972911226 154718208 29474 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37773 29474 301 301 0 37472 0
vsize: 151092
[startup+459.989 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 49206 0 0 0 45885 126 0 0 25 0 1 0 972911226 156569600 29725 4294967295 134512640 135730672 3221224576 3221223264 134748499 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38225 29725 301 301 0 37924 0
vsize: 152900
[startup+469.989 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 49484 0 0 0 46884 127 0 0 25 0 1 0 972911226 157491200 29838 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38450 29838 301 301 0 38149 0
vsize: 153800
[startup+479.989 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 49612 0 0 0 47884 128 0 0 25 0 1 0 972911226 157884416 29867 4294967295 134512640 135730672 3221224576 3221223072 134747644 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38546 29867 301 301 0 38245 0
vsize: 154184
[startup+489.989 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 49658 0 0 0 48884 128 0 0 25 0 1 0 972911226 158015488 29880 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38578 29880 301 301 0 38277 0
vsize: 154312
[startup+499.988 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 49706 0 0 0 49884 129 0 0 25 0 1 0 972911226 158146560 29895 4294967295 134512640 135730672 3221224576 3221223264 134748499 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38610 29895 301 301 0 38309 0
vsize: 154440
[startup+509.988 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 49740 0 0 0 50884 129 0 0 25 0 1 0 972911226 158146560 29929 4294967295 134512640 135730672 3221224576 3221223264 134748499 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38610 29929 301 301 0 38309 0
vsize: 154440
[startup+519.988 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 49821 0 0 0 51884 130 0 0 25 0 1 0 972911226 158277632 29977 4294967295 134512640 135730672 3221224576 3221223200 134748138 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38642 29977 301 301 0 38341 0
vsize: 154568
[startup+529.988 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 50047 0 0 0 52883 131 0 0 25 0 1 0 972911226 158801920 30071 4294967295 134512640 135730672 3221224576 3221223072 134747631 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38770 30071 301 301 0 38469 0
vsize: 155080
[startup+539.987 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 50290 0 0 0 53882 132 0 0 25 0 1 0 972911226 159592448 30184 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38963 30184 301 301 0 38662 0
vsize: 155852
[startup+549.988 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 50372 0 0 0 54881 133 0 0 25 0 1 0 972911226 159723520 30233 4294967295 134512640 135730672 3221224576 3221223200 134748244 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38995 30233 301 301 0 38694 0
vsize: 155980
[startup+559.987 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 50397 0 0 0 55881 134 0 0 25 0 1 0 972911226 159723520 30258 4294967295 134512640 135730672 3221224576 3221223072 134747616 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38995 30258 301 301 0 38694 0
vsize: 155980
[startup+569.987 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 50473 0 0 0 56881 134 0 0 25 0 1 0 972911226 159985664 30268 4294967295 134512640 135730672 3221224576 3221223072 134747934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39059 30268 301 301 0 38758 0
vsize: 156236
[startup+579.986 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 50477 0 0 0 57880 135 0 0 25 0 1 0 972911226 159985664 30272 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39059 30272 301 301 0 38758 0
vsize: 156236
[startup+589.986 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 50550 0 0 0 58880 135 0 0 25 0 1 0 972911226 160251904 30312 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39124 30312 301 301 0 38823 0
vsize: 156496
[startup+599.986 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 50594 0 0 0 59880 136 0 0 25 0 1 0 972911226 160382976 30323 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39156 30323 301 301 0 38855 0
vsize: 156624
[startup+609.985 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 50644 0 0 0 60880 136 0 0 25 0 1 0 972911226 160649216 30373 4294967295 134512640 135730672 3221224576 3221223184 134748241 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39221 30373 301 301 0 38920 0
vsize: 156884
[startup+619.986 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 50657 0 0 0 61880 136 0 0 25 0 1 0 972911226 160649216 30386 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39221 30386 301 301 0 38920 0
vsize: 156884
[startup+629.986 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 50710 0 0 0 62880 137 0 0 25 0 1 0 972911226 160915456 30439 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39286 30439 301 301 0 38985 0
vsize: 157144
[startup+639.985 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 50716 0 0 0 63880 137 0 0 25 0 1 0 972911226 160915456 30445 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39286 30445 301 301 0 38985 0
vsize: 157144
[startup+649.984 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 50720 0 0 0 64880 137 0 0 25 0 1 0 972911226 160915456 30449 4294967295 134512640 135730672 3221224576 3221223072 134747549 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39286 30449 301 301 0 38985 0
vsize: 157144
[startup+659.985 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 50727 0 0 0 65880 138 0 0 25 0 1 0 972911226 160915456 30456 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39286 30456 301 301 0 38985 0
vsize: 157144
[startup+669.984 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 50784 0 0 0 66879 139 0 0 25 0 1 0 972911226 161185792 30513 4294967295 134512640 135730672 3221224576 3221223200 134748163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39352 30513 301 301 0 39051 0
vsize: 157408
[startup+679.984 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 50830 0 0 0 67879 139 0 0 25 0 1 0 972911226 161316864 30526 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39384 30526 301 301 0 39083 0
vsize: 157536
[startup+689.985 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 50834 0 0 0 68879 140 0 0 25 0 1 0 972911226 161316864 30530 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39384 30530 301 301 0 39083 0
vsize: 157536
[startup+699.985 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 50840 0 0 0 69878 141 0 0 25 0 1 0 972911226 161316864 30536 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39384 30536 301 301 0 39083 0
vsize: 157536
[startup+709.985 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 50844 0 0 0 70878 141 0 0 25 0 1 0 972911226 161316864 30540 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39384 30540 301 301 0 39083 0
vsize: 157536
[startup+719.985 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 50850 0 0 0 71878 141 0 0 25 0 1 0 972911226 161316864 30546 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39384 30546 301 301 0 39083 0
vsize: 157536
[startup+729.985 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 50865 0 0 0 72878 142 0 0 25 0 1 0 972911226 161316864 30561 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39384 30561 301 301 0 39083 0
vsize: 157536
[startup+739.985 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 50893 0 0 0 73878 142 0 0 25 0 1 0 972911226 161452032 30589 4294967295 134512640 135730672 3221224576 3221223072 134747608 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39417 30589 301 301 0 39116 0
vsize: 157668
[startup+749.985 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 50990 0 0 0 74878 143 0 0 25 0 1 0 972911226 161984512 30686 4294967295 134512640 135730672 3221224576 3221223072 134747967 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39547 30686 301 301 0 39246 0
vsize: 158188
[startup+759.985 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 51005 0 0 0 75878 143 0 0 25 0 1 0 972911226 161984512 30701 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39547 30701 301 301 0 39246 0
vsize: 158188
[startup+769.984 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 51035 0 0 0 76878 143 0 0 25 0 1 0 972911226 162119680 30731 4294967295 134512640 135730672 3221224576 3221223200 134748158 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39580 30731 301 301 0 39279 0
vsize: 158320
[startup+779.984 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 51049 0 0 0 77878 144 0 0 25 0 1 0 972911226 162119680 30745 4294967295 134512640 135730672 3221224576 3221223072 134747463 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39580 30745 301 301 0 39279 0
vsize: 158320
[startup+789.984 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 51054 0 0 0 78877 144 0 0 25 0 1 0 972911226 162119680 30750 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39580 30750 301 301 0 39279 0
vsize: 158320
[startup+799.985 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 51067 0 0 0 79877 145 0 0 25 0 1 0 972911226 162119680 30763 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39580 30763 301 301 0 39279 0
vsize: 158320
[startup+809.985 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 51072 0 0 0 80877 145 0 0 25 0 1 0 972911226 162119680 30768 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39580 30768 301 301 0 39279 0
vsize: 158320
[startup+819.985 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 51133 0 0 0 81877 146 0 0 25 0 1 0 972911226 162250752 30796 4294967295 134512640 135730672 3221224576 3221223264 134748557 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39612 30796 301 301 0 39311 0
vsize: 158448
[startup+829.985 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 51139 0 0 0 82877 146 0 0 25 0 1 0 972911226 162250752 30802 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39612 30802 301 301 0 39311 0
vsize: 158448
[startup+839.985 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 51208 0 0 0 83877 147 0 0 25 0 1 0 972911226 162381824 30838 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39644 30838 301 301 0 39343 0
vsize: 158576
[startup+849.985 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 51213 0 0 0 84877 147 0 0 25 0 1 0 972911226 162381824 30843 4294967295 134512640 135730672 3221224576 3221223168 134763606 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39644 30843 301 301 0 39343 0
vsize: 158576
[startup+859.986 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 51220 0 0 0 85877 148 0 0 25 0 1 0 972911226 162381824 30850 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39644 30850 301 301 0 39343 0
vsize: 158576
[startup+869.987 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 51224 0 0 0 86876 148 0 0 25 0 1 0 972911226 162381824 30854 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39644 30854 301 301 0 39343 0
vsize: 158576
[startup+879.986 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 51230 0 0 0 87876 149 0 0 25 0 1 0 972911226 162381824 30860 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39644 30860 301 301 0 39343 0
vsize: 158576
[startup+889.987 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 51238 0 0 0 88876 149 0 0 25 0 1 0 972911226 162381824 30868 4294967295 134512640 135730672 3221224576 3221223072 134747757 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39644 30868 301 301 0 39343 0
vsize: 158576
[startup+899.987 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 51247 0 0 0 89876 149 0 0 25 0 1 0 972911226 162381824 30877 4294967295 134512640 135730672 3221224576 3221223072 134747641 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39644 30877 301 301 0 39343 0
vsize: 158576
[startup+909.987 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 51254 0 0 0 90876 150 0 0 25 0 1 0 972911226 162381824 30884 4294967295 134512640 135730672 3221224576 3221223072 134747618 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39644 30884 301 301 0 39343 0
vsize: 158576
[startup+919.988 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 51301 0 0 0 91876 150 0 0 25 0 1 0 972911226 162652160 30931 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39710 30931 301 301 0 39409 0
vsize: 158840
[startup+929.987 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 51306 0 0 0 92876 151 0 0 25 0 1 0 972911226 162652160 30936 4294967295 134512640 135730672 3221224576 3221223200 134748138 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39710 30936 301 301 0 39409 0
vsize: 158840
[startup+939.987 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 51327 0 0 0 93876 151 0 0 25 0 1 0 972911226 162787328 30957 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39743 30957 301 301 0 39442 0
vsize: 158972
[startup+949.988 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 51334 0 0 0 94876 152 0 0 25 0 1 0 972911226 162787328 30964 4294967295 134512640 135730672 3221224576 3221222940 135291214 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39743 30964 301 301 0 39442 0
vsize: 158972
[startup+959.988 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 51343 0 0 0 95876 152 0 0 25 0 1 0 972911226 162787328 30973 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39743 30973 301 301 0 39442 0
vsize: 158972
[startup+969.988 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 51345 0 0 0 96876 152 0 0 25 0 1 0 972911226 162787328 30975 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39743 30975 301 301 0 39442 0
vsize: 158972
[startup+979.989 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 51351 0 0 0 97876 153 0 0 25 0 1 0 972911226 162787328 30981 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39743 30981 301 301 0 39442 0
vsize: 158972
[startup+989.988 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 51357 0 0 0 98876 153 0 0 25 0 1 0 972911226 162787328 30987 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39743 30987 301 301 0 39442 0
vsize: 158972
[startup+999.988 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 51362 0 0 0 99876 153 0 0 25 0 1 0 972911226 162787328 30992 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39743 30992 301 301 0 39442 0
vsize: 158972
[startup+1009.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 51366 0 0 0 100876 154 0 0 25 0 1 0 972911226 162787328 30996 4294967295 134512640 135730672 3221224576 3221223200 134748163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39743 30996 301 301 0 39442 0
vsize: 158972
[startup+1019.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 51371 0 0 0 101876 154 0 0 25 0 1 0 972911226 162787328 31001 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39743 31001 301 301 0 39442 0
vsize: 158972
[startup+1029.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 51375 0 0 0 102875 155 0 0 25 0 1 0 972911226 162787328 31005 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39743 31005 301 301 0 39442 0
vsize: 158972
[startup+1039.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 51392 0 0 0 103875 155 0 0 25 0 1 0 972911226 162787328 31022 4294967295 134512640 135730672 3221224576 3221223200 134748145 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39743 31022 301 301 0 39442 0
vsize: 158972
[startup+1049.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 51415 0 0 0 104875 156 0 0 25 0 1 0 972911226 162922496 31045 4294967295 134512640 135730672 3221224576 3221223264 134748503 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39776 31045 301 301 0 39475 0
vsize: 159104
[startup+1059.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 51418 0 0 0 105875 156 0 0 25 0 1 0 972911226 162922496 31048 4294967295 134512640 135730672 3221224576 3221223072 134747495 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39776 31048 301 301 0 39475 0
vsize: 159104
[startup+1069.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 51422 0 0 0 106875 156 0 0 25 0 1 0 972911226 162922496 31052 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39776 31052 301 301 0 39475 0
vsize: 159104
[startup+1079.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 51427 0 0 0 107875 157 0 0 25 0 1 0 972911226 162922496 31057 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39776 31057 301 301 0 39475 0
vsize: 159104
[startup+1089.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 51431 0 0 0 108875 158 0 0 25 0 1 0 972911226 162922496 31061 4294967295 134512640 135730672 3221224576 3221223168 134747445 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39776 31061 301 301 0 39475 0
vsize: 159104
[startup+1099.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 51436 0 0 0 109875 158 0 0 25 0 1 0 972911226 162922496 31066 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39776 31066 301 301 0 39475 0
vsize: 159104
[startup+1109.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 51441 0 0 0 110875 158 0 0 25 0 1 0 972911226 162922496 31071 4294967295 134512640 135730672 3221224576 3221223072 134747616 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39776 31071 301 301 0 39475 0
vsize: 159104
[startup+1119.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 51449 0 0 0 111874 159 0 0 25 0 1 0 972911226 162922496 31079 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39776 31079 301 301 0 39475 0
vsize: 159104
[startup+1129.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 51476 0 0 0 112874 160 0 0 25 0 1 0 972911226 163057664 31106 4294967295 134512640 135730672 3221224576 3221223200 134748200 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39809 31106 301 301 0 39508 0
vsize: 159236
[startup+1139.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 51523 0 0 0 113873 161 0 0 25 0 1 0 972911226 163188736 31120 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39841 31120 301 301 0 39540 0
vsize: 159364
[startup+1149.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 51528 0 0 0 114873 162 0 0 25 0 1 0 972911226 163188736 31125 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39841 31125 301 301 0 39540 0
vsize: 159364
[startup+1159.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 51536 0 0 0 115873 162 0 0 25 0 1 0 972911226 163188736 31133 4294967295 134512640 135730672 3221224576 3221223200 134748143 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39841 31133 301 301 0 39540 0
vsize: 159364
[startup+1169.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 51543 0 0 0 116873 162 0 0 25 0 1 0 972911226 163188736 31140 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39841 31140 301 301 0 39540 0
vsize: 159364
[startup+1179.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 51550 0 0 0 117872 163 0 0 25 0 1 0 972911226 163188736 31147 4294967295 134512640 135730672 3221224576 3221223072 134747495 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39841 31147 301 301 0 39540 0
vsize: 159364
[startup+1189.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 51556 0 0 0 118872 163 0 0 25 0 1 0 972911226 163188736 31153 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39841 31153 301 301 0 39540 0
vsize: 159364
[startup+1199.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24784
Raw data (stat): 24784 (pb2sat-v2) R 24783 25568 25567 0 -1 0 51566 0 0 0 119873 164 0 0 25 0 1 0 972911226 163188736 31163 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39841 31163 301 301 0 39540 0
vsize: 159364
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.63 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 24784
Raw data (stat): 24784 (pb2sat-v2) Z 24783 25568 25567 0 -1 12 51568 0 0 0 119930 170 0 0 25 0 1 0 972911226 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.63
CPU time (s): 1201.01
CPU user time (s): 1199.31
CPU system time (s): 1.70274
CPU usage (%): 100.032
Max. virtual memory (Kb): 159364
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####