PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-mod010.opb
MD5SUM	4f0cac14ed3568050c2c57bb69fdb664
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.14
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 42423

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-16 06:58:43 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25627 boxname=wulflinc5 idbench=927 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  4f0cac14ed3568050c2c57bb69fdb664  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-mod010.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-mod010.opb
IDLAUNCH: 25627
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        717560 kB
Buffers:         34808 kB
Cached:         259476 kB
SwapCached:        700 kB
Active:          73436 kB
Inactive:       222976 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        717308 kB
SwapTotal:     2097136 kB
SwapFree:      2095508 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5156 kB
Slab:            15124 kB
Committed_AS:    63716 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 07:18:46 (client local time) WITH STATUS 0 IN 1200.98 SECONDS
stats: 25627 7 1200.98 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.355/86400
c Decision: 11076/263328	Time: 208.157/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.90 0.95 0.94 1/54 10396
Raw data (stat): 10396 (runsolver) R 10395 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 968786140 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.99983 s]
Raw data (loadavg): 0.91 0.95 0.94 2/54 10396
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 26547 0 0 0 944 54 0 0 25 0 1 0 968786140 84086784 15669 4294967295 134512640 135730672 3221224576 3220472520 134787727 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20529 15669 301 301 0 20228 0
vsize: 82116
[startup+20.0009 s]
Raw data (loadavg): 0.93 0.96 0.94 2/54 10396
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 38012 0 0 0 1922 76 0 0 25 0 1 0 968786140 111239168 21937 4294967295 134512640 135730672 3221224576 3221223072 134747543 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.0017 s]
Raw data (loadavg): 0.94 0.96 0.94 2/54 10396
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 38958 0 0 0 2920 78 0 0 25 0 1 0 968786140 116043776 22817 4294967295 134512640 135730672 3221224576 3221223072 134747570 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.0021 s]
Raw data (loadavg): 0.95 0.96 0.94 2/54 10396
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 39449 0 0 0 3919 79 0 0 25 0 1 0 968786140 118861824 23275 4294967295 134512640 135730672 3221224576 3221223072 134747751 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.0032 s]
Raw data (loadavg): 0.95 0.96 0.94 2/54 10396
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 39745 0 0 0 4919 80 0 0 25 0 1 0 968786140 120459264 23571 4294967295 134512640 135730672 3221224576 3221223072 134747757 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 29409 23571 301 301 0 29108 0
vsize: 117636
[startup+60.0033 s]
Raw data (loadavg): 0.96 0.96 0.94 2/54 10396
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 39923 0 0 0 5918 80 0 0 25 0 1 0 968786140 121270272 23749 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 29607 23749 301 301 0 29306 0
vsize: 118428
[startup+70.0034 s]
Raw data (loadavg): 0.97 0.96 0.94 2/54 10396
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 40195 0 0 0 6918 81 0 0 25 0 1 0 968786140 122757120 24021 4294967295 134512640 135730672 3221224576 3221223200 134748138 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.0035 s]
Raw data (loadavg): 0.97 0.96 0.94 2/54 10396
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 40506 0 0 0 7917 82 0 0 25 0 1 0 968786140 124375040 24332 4294967295 134512640 135730672 3221224576 3221223072 134747543 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.1194 s]
Raw data (loadavg): 1.13 1.00 0.95 2/54 10449
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 40804 0 0 0 8927 83 0 0 25 0 1 0 968786140 126267392 24630 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 30827 24630 301 301 0 30526 0
vsize: 123308
[startup+100.12 s]
Raw data (loadavg): 1.11 1.00 0.95 2/54 10449
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 41025 0 0 0 9927 84 0 0 25 0 1 0 968786140 127205376 24818 4294967295 134512640 135730672 3221224576 3221223072 134747751 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.12 s]
Raw data (loadavg): 1.09 1.00 0.95 2/54 10449
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 41255 0 0 0 10926 85 0 0 25 0 1 0 968786140 128421888 25048 4294967295 134512640 135730672 3221224576 3221223072 134747568 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.121 s]
Raw data (loadavg): 1.08 1.00 0.95 2/54 10449
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 41363 0 0 0 11925 86 0 0 25 0 1 0 968786140 128962560 25156 4294967295 134512640 135730672 3221224576 3221222896 134732500 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.121 s]
Raw data (loadavg): 1.06 1.00 0.95 2/54 10449
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 41585 0 0 0 12925 87 0 0 25 0 1 0 968786140 129908736 25378 4294967295 134512640 135730672 3221224576 3221223072 134747701 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.122 s]
Raw data (loadavg): 1.05 1.00 0.95 2/54 10449
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 42273 0 0 0 13923 88 0 0 25 0 1 0 968786140 130719744 25551 4294967295 134512640 135730672 3221224576 3221223264 134748557 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.123 s]
Raw data (loadavg): 1.05 1.00 0.95 2/54 10451
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 42374 0 0 0 14922 89 0 0 25 0 1 0 968786140 130985984 25619 4294967295 134512640 135730672 3221224576 3221223072 134747902 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 31979 25619 301 301 0 31678 0
vsize: 127916
[startup+160.123 s]
Raw data (loadavg): 1.04 1.00 0.95 2/54 10451
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 42501 0 0 0 15921 90 0 0 25 0 1 0 968786140 131661824 25746 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 32144 25746 301 301 0 31843 0
vsize: 128576
[startup+170.123 s]
Raw data (loadavg): 1.03 1.00 0.95 2/54 10451
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 42554 0 0 0 16920 91 0 0 25 0 1 0 968786140 131796992 25799 4294967295 134512640 135730672 3221224576 3221223072 134747549 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 32177 25799 301 301 0 31876 0
vsize: 128708
[startup+180.125 s]
Raw data (loadavg): 1.03 1.00 0.95 2/54 10451
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 42635 0 0 0 17919 92 0 0 25 0 1 0 968786140 132202496 25880 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 32276 25880 301 301 0 31975 0
vsize: 129104
[startup+190.126 s]
Raw data (loadavg): 1.02 1.00 0.95 2/54 10451
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 42686 0 0 0 18918 93 0 0 25 0 1 0 968786140 132333568 25898 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 32308 25898 301 301 0 32007 0
vsize: 129232
[startup+200.127 s]
Raw data (loadavg): 1.02 1.00 0.95 2/54 10451
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 42764 0 0 0 19917 94 0 0 25 0 1 0 968786140 132464640 25943 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 32340 25943 301 301 0 32039 0
vsize: 129360
[startup+210.126 s]
Raw data (loadavg): 1.02 1.00 0.95 2/54 10451
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 42895 0 0 0 20916 95 0 0 25 0 1 0 968786140 133001216 26041 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 32471 26041 301 301 0 32170 0
vsize: 129884
[startup+220.127 s]
Raw data (loadavg): 1.01 1.00 0.95 2/54 10451
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 42938 0 0 0 21916 96 0 0 25 0 1 0 968786140 133136384 26084 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 32504 26084 301 301 0 32203 0
vsize: 130016
[startup+230.127 s]
Raw data (loadavg): 1.01 1.00 0.95 2/54 10451
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 43522 0 0 0 22914 98 0 0 25 0 1 0 968786140 133406720 26153 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 32570 26153 301 301 0 32269 0
vsize: 130280
[startup+240.128 s]
Raw data (loadavg): 1.01 1.00 0.95 2/54 10451
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 43611 0 0 0 23913 99 0 0 25 0 1 0 968786140 133677056 26242 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 32636 26242 301 301 0 32335 0
vsize: 130544
[startup+250.129 s]
Raw data (loadavg): 1.01 1.00 0.95 2/54 10451
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 43747 0 0 0 24912 100 0 0 25 0 1 0 968786140 134074368 26312 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 32733 26312 301 301 0 32432 0
vsize: 130932
[startup+260.129 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10451
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 43831 0 0 0 25912 100 0 0 25 0 1 0 968786140 134475776 26363 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 32831 26363 301 301 0 32530 0
vsize: 131324
[startup+270.13 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10451
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 43934 0 0 0 26911 101 0 0 25 0 1 0 968786140 135016448 26466 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 32963 26466 301 301 0 32662 0
vsize: 131852
[startup+280.13 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10451
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 43992 0 0 0 27911 101 0 0 25 0 1 0 968786140 135286784 26524 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33029 26524 301 301 0 32728 0
vsize: 132116
[startup+290.13 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10451
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 44115 0 0 0 28911 102 0 0 25 0 1 0 968786140 135962624 26647 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33194 26647 301 301 0 32893 0
vsize: 132776
[startup+300.13 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10451
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 44226 0 0 0 29910 103 0 0 25 0 1 0 968786140 136638464 26758 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33359 26758 301 301 0 33058 0
vsize: 133436
[startup+310.13 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10451
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 44271 0 0 0 30910 103 0 0 25 0 1 0 968786140 136769536 26770 4294967295 134512640 135730672 3221224576 3221223072 134747584 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33391 26770 301 301 0 33090 0
vsize: 133564
[startup+320.131 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10451
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 44425 0 0 0 31910 103 0 0 25 0 1 0 968786140 137469952 26891 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33562 26891 301 301 0 33261 0
vsize: 134248
[startup+330.131 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10451
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 44432 0 0 0 32910 104 0 0 25 0 1 0 968786140 137469952 26898 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33562 26898 301 301 0 33261 0
vsize: 134248
[startup+340.132 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10451
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 44499 0 0 0 33909 104 0 0 25 0 1 0 968786140 137736192 26932 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33627 26932 301 301 0 33326 0
vsize: 134508
[startup+350.132 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10451
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 44836 0 0 0 34908 106 0 0 25 0 1 0 968786140 138924032 27104 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33917 27104 301 301 0 33616 0
vsize: 135668
[startup+360.133 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10451
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 45164 0 0 0 35908 106 0 0 25 0 1 0 968786140 140525568 27366 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34308 27366 301 301 0 34007 0
vsize: 137232
[startup+370.133 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10451
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 45816 0 0 0 36906 108 0 0 25 0 1 0 968786140 143462400 27853 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35025 27853 301 301 0 34724 0
vsize: 140100
[startup+380.133 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10451
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 46117 0 0 0 37905 109 0 0 25 0 1 0 968786140 144662528 28055 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35318 28055 301 301 0 35017 0
vsize: 141272
[startup+390.134 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10451
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 46665 0 0 0 38903 111 0 0 25 0 1 0 968786140 146776064 28273 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35834 28273 301 301 0 35533 0
vsize: 143336
[startup+400.135 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10451
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 46824 0 0 0 39903 112 0 0 25 0 1 0 968786140 147447808 28399 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35998 28399 301 301 0 35697 0
vsize: 143992
[startup+410.134 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10451
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 46932 0 0 0 40902 113 0 0 25 0 1 0 968786140 148041728 28474 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36143 28474 301 301 0 35842 0
vsize: 144572
[startup+420.135 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10451
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 47311 0 0 0 41900 115 0 0 25 0 1 0 968786140 149499904 28688 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36499 28688 301 301 0 36198 0
vsize: 145996
[startup+430.136 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10453
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 47578 0 0 0 42899 116 0 0 25 0 1 0 968786140 150425600 28856 4294967295 134512640 135730672 3221224576 3221223264 134748499 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36725 28856 301 301 0 36424 0
vsize: 146900
[startup+440.137 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10453
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 48092 0 0 0 43898 117 0 0 25 0 1 0 968786140 152473600 29106 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37225 29106 301 301 0 36924 0
vsize: 148900
[startup+450.137 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10453
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 48807 0 0 0 44897 119 0 0 25 0 1 0 968786140 154984448 29524 4294967295 134512640 135730672 3221224576 3221223200 134748249 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37838 29525 301 301 0 37537 0
vsize: 151352
[startup+460.137 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10453
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 49249 0 0 0 45896 120 0 0 25 0 1 0 968786140 156700672 29735 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38257 29735 301 301 0 37956 0
vsize: 153028
[startup+470.138 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10453
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 49485 0 0 0 46896 121 0 0 25 0 1 0 968786140 157491200 29839 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38450 29839 301 301 0 38149 0
vsize: 153800
[startup+480.138 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10453
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 49613 0 0 0 47895 121 0 0 25 0 1 0 968786140 157884416 29868 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38546 29868 301 301 0 38245 0
vsize: 154184
[startup+490.138 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10453
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 49659 0 0 0 48895 122 0 0 25 0 1 0 968786140 158015488 29881 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38578 29881 301 301 0 38277 0
vsize: 154312
[startup+500.139 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10453
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 49707 0 0 0 49895 122 0 0 25 0 1 0 968786140 158146560 29896 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38610 29896 301 301 0 38309 0
vsize: 154440
[startup+510.139 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10453
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 49741 0 0 0 50894 123 0 0 25 0 1 0 968786140 158146560 29930 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38610 29930 301 301 0 38309 0
vsize: 154440
[startup+520.14 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10453
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 49971 0 0 0 51894 124 0 0 25 0 1 0 968786140 158670848 30028 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38738 30028 301 301 0 38437 0
vsize: 154952
[startup+530.14 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10453
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 50088 0 0 0 52893 124 0 0 25 0 1 0 968786140 159068160 30112 4294967295 134512640 135730672 3221224576 3221223072 134747714 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38835 30112 301 301 0 38534 0
vsize: 155340
[startup+540.141 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10453
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 50297 0 0 0 53893 125 0 0 25 0 1 0 968786140 159592448 30191 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38963 30191 301 301 0 38662 0
vsize: 155852
[startup+550.142 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10453
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 50374 0 0 0 54893 126 0 0 25 0 1 0 968786140 159723520 30235 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38995 30235 301 301 0 38694 0
vsize: 155980
[startup+560.143 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10453
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 50398 0 0 0 55893 126 0 0 25 0 1 0 968786140 159723520 30259 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38995 30259 301 301 0 38694 0
vsize: 155980
[startup+570.143 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10453
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 50474 0 0 0 56892 127 0 0 25 0 1 0 968786140 159985664 30269 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39059 30269 301 301 0 38758 0
vsize: 156236
[startup+580.143 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10453
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 50477 0 0 0 57891 128 0 0 25 0 1 0 968786140 159985664 30272 4294967295 134512640 135730672 3221224576 3221223072 134747950 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39059 30272 301 301 0 38758 0
vsize: 156236
[startup+590.144 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10453
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 50590 0 0 0 58891 128 0 0 25 0 1 0 968786140 160382976 30319 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39156 30319 301 301 0 38855 0
vsize: 156624
[startup+600.145 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10453
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 50594 0 0 0 59890 129 0 0 25 0 1 0 968786140 160382976 30323 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39156 30323 301 301 0 38855 0
vsize: 156624
[startup+610.144 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10453
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 50644 0 0 0 60890 130 0 0 25 0 1 0 968786140 160649216 30373 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39221 30373 301 301 0 38920 0
vsize: 156884
[startup+620.145 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10453
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 50658 0 0 0 61890 130 0 0 25 0 1 0 968786140 160649216 30387 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39221 30387 301 301 0 38920 0
vsize: 156884
[startup+630.145 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10453
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 50710 0 0 0 62889 131 0 0 25 0 1 0 968786140 160915456 30439 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39286 30439 301 301 0 38985 0
vsize: 157144
[startup+640.146 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10453
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 50716 0 0 0 63889 131 0 0 25 0 1 0 968786140 160915456 30445 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39286 30445 301 301 0 38985 0
vsize: 157144
[startup+650.146 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10453
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 50721 0 0 0 64889 131 0 0 25 0 1 0 968786140 160915456 30450 4294967295 134512640 135730672 3221224576 3221223168 134747445 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39286 30450 301 301 0 38985 0
vsize: 157144
[startup+660.147 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10453
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 50727 0 0 0 65889 132 0 0 25 0 1 0 968786140 160915456 30456 4294967295 134512640 135730672 3221224576 3221223072 134747747 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39286 30456 301 301 0 38985 0
vsize: 157144
[startup+670.147 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10453
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 50784 0 0 0 66889 132 0 0 25 0 1 0 968786140 161185792 30513 4294967295 134512640 135730672 3221224576 3221223072 134747549 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39352 30513 301 301 0 39051 0
vsize: 157408
[startup+680.148 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10453
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 50831 0 0 0 67889 132 0 0 25 0 1 0 968786140 161316864 30527 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39384 30527 301 301 0 39083 0
vsize: 157536
[startup+690.148 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10453
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 50834 0 0 0 68888 133 0 0 25 0 1 0 968786140 161316864 30530 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39384 30530 301 301 0 39083 0
vsize: 157536
[startup+700.149 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10453
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 50840 0 0 0 69888 133 0 0 25 0 1 0 968786140 161316864 30536 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39384 30536 301 301 0 39083 0
vsize: 157536
[startup+710.15 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10453
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 50844 0 0 0 70888 134 0 0 25 0 1 0 968786140 161316864 30540 4294967295 134512640 135730672 3221224576 3221223248 134748644 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39384 30540 301 301 0 39083 0
vsize: 157536
[startup+720.151 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10453
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 50850 0 0 0 71888 134 0 0 25 0 1 0 968786140 161316864 30546 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39384 30546 301 301 0 39083 0
vsize: 157536
[startup+730.151 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10453
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 50869 0 0 0 72888 135 0 0 25 0 1 0 968786140 161316864 30565 4294967295 134512640 135730672 3221224576 3221223264 134748455 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39384 30565 301 301 0 39083 0
vsize: 157536
[startup+740.152 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10453
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 50894 0 0 0 73887 135 0 0 25 0 1 0 968786140 161452032 30590 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39417 30590 301 301 0 39116 0
vsize: 157668
[startup+750.153 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10453
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 50990 0 0 0 74887 136 0 0 25 0 1 0 968786140 161984512 30686 4294967295 134512640 135730672 3221224576 3221223072 134747452 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39547 30686 301 301 0 39246 0
vsize: 158188
[startup+760.153 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10453
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 51006 0 0 0 75887 136 0 0 25 0 1 0 968786140 161984512 30702 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39547 30702 301 301 0 39246 0
vsize: 158188
[startup+770.154 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10453
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 51035 0 0 0 76887 136 0 0 25 0 1 0 968786140 162119680 30731 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39580 30731 301 301 0 39279 0
vsize: 158320
[startup+780.155 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10453
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 51049 0 0 0 77886 137 0 0 25 0 1 0 968786140 162119680 30745 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39580 30745 301 301 0 39279 0
vsize: 158320
[startup+790.155 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10453
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 51054 0 0 0 78886 137 0 0 25 0 1 0 968786140 162119680 30750 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39580 30750 301 301 0 39279 0
vsize: 158320
[startup+800.156 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10453
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 51067 0 0 0 79886 138 0 0 25 0 1 0 968786140 162119680 30763 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39580 30763 301 301 0 39279 0
vsize: 158320
[startup+810.157 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10453
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 51074 0 0 0 80886 138 0 0 25 0 1 0 968786140 162119680 30770 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39580 30770 301 301 0 39279 0
vsize: 158320
[startup+820.157 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10453
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 51133 0 0 0 81886 139 0 0 25 0 1 0 968786140 162250752 30796 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39612 30796 301 301 0 39311 0
vsize: 158448
[startup+830.157 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10453
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 51140 0 0 0 82886 139 0 0 25 0 1 0 968786140 162250752 30803 4294967295 134512640 135730672 3221224576 3221222896 134732515 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39612 30803 301 301 0 39311 0
vsize: 158448
[startup+840.158 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10453
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 51209 0 0 0 83886 139 0 0 25 0 1 0 968786140 162381824 30839 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39644 30839 301 301 0 39343 0
vsize: 158576
[startup+850.159 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10453
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 51214 0 0 0 84885 139 0 0 25 0 1 0 968786140 162381824 30844 4294967295 134512640 135730672 3221224576 3221223072 134747741 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39644 30844 301 301 0 39343 0
vsize: 158576
[startup+860.158 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10453
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 51220 0 0 0 85885 140 0 0 25 0 1 0 968786140 162381824 30850 4294967295 134512640 135730672 3221224576 3221223072 134747970 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39644 30850 301 301 0 39343 0
vsize: 158576
[startup+870.159 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10453
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 51225 0 0 0 86885 140 0 0 25 0 1 0 968786140 162381824 30855 4294967295 134512640 135730672 3221224576 3221223264 134748433 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39644 30855 301 301 0 39343 0
vsize: 158576
[startup+880.16 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10453
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 51231 0 0 0 87885 141 0 0 25 0 1 0 968786140 162381824 30861 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39644 30861 301 301 0 39343 0
vsize: 158576
[startup+890.16 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10453
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 51238 0 0 0 88885 141 0 0 25 0 1 0 968786140 162381824 30868 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39644 30868 301 301 0 39343 0
vsize: 158576
[startup+900.161 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10453
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 51247 0 0 0 89885 141 0 0 25 0 1 0 968786140 162381824 30877 4294967295 134512640 135730672 3221224576 3221223228 134748060 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39644 30877 301 301 0 39343 0
vsize: 158576
[startup+910.161 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10453
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 51255 0 0 0 90884 142 0 0 25 0 1 0 968786140 162381824 30885 4294967295 134512640 135730672 3221224576 3221223200 134748138 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39644 30885 301 301 0 39343 0
vsize: 158576
[startup+920.162 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10453
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 51302 0 0 0 91885 142 0 0 25 0 1 0 968786140 162652160 30932 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39710 30932 301 301 0 39409 0
vsize: 158840
[startup+930.162 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10453
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 51306 0 0 0 92884 142 0 0 25 0 1 0 968786140 162652160 30936 4294967295 134512640 135730672 3221224576 3221223072 134747967 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39710 30936 301 301 0 39409 0
vsize: 158840
[startup+940.162 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10453
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 51327 0 0 0 93884 143 0 0 25 0 1 0 968786140 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+950.163 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10453
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 51336 0 0 0 94884 143 0 0 25 0 1 0 968786140 162787328 30966 4294967295 134512640 135730672 3221224576 3221222896 134732479 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39743 30966 301 301 0 39442 0
vsize: 158972
[startup+960.163 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10453
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 51343 0 0 0 95883 144 0 0 25 0 1 0 968786140 162787328 30973 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39743 30973 301 301 0 39442 0
vsize: 158972
[startup+970.164 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10453
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 51345 0 0 0 96883 144 0 0 25 0 1 0 968786140 162787328 30975 4294967295 134512640 135730672 3221224576 3221223072 134747477 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39743 30975 301 301 0 39442 0
vsize: 158972
[startup+980.166 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10453
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 51352 0 0 0 97883 145 0 0 25 0 1 0 968786140 162787328 30982 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39743 30982 301 301 0 39442 0
vsize: 158972
[startup+990.167 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10453
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 51357 0 0 0 98883 145 0 0 25 0 1 0 968786140 162787328 30987 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39743 30987 301 301 0 39442 0
vsize: 158972
[startup+1000.17 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10453
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 51362 0 0 0 99882 146 0 0 25 0 1 0 968786140 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+1010.17 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10453
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 51367 0 0 0 100882 147 0 0 25 0 1 0 968786140 162787328 30997 4294967295 134512640 135730672 3221224576 3221223072 134747883 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39743 30997 301 301 0 39442 0
vsize: 158972
[startup+1020.17 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10453
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 51371 0 0 0 101882 147 0 0 25 0 1 0 968786140 162787328 31001 4294967295 134512640 135730672 3221224576 3221223072 134747811 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39743 31001 301 301 0 39442 0
vsize: 158972
[startup+1030.17 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10453
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 51376 0 0 0 102881 148 0 0 25 0 1 0 968786140 162787328 31006 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39743 31006 301 301 0 39442 0
vsize: 158972
[startup+1040.17 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10453
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 51392 0 0 0 103881 148 0 0 25 0 1 0 968786140 162787328 31022 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39743 31022 301 301 0 39442 0
vsize: 158972
[startup+1050.17 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10453
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 51415 0 0 0 104880 149 0 0 25 0 1 0 968786140 162922496 31045 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39776 31045 301 301 0 39475 0
vsize: 159104
[startup+1060.17 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10453
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 51419 0 0 0 105881 149 0 0 25 0 1 0 968786140 162922496 31049 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39776 31049 301 301 0 39475 0
vsize: 159104
[startup+1070.17 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10453
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 51423 0 0 0 106880 150 0 0 25 0 1 0 968786140 162922496 31053 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39776 31053 301 301 0 39475 0
vsize: 159104
[startup+1080.17 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10453
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 51427 0 0 0 107880 150 0 0 25 0 1 0 968786140 162922496 31057 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39776 31057 301 301 0 39475 0
vsize: 159104
[startup+1090.17 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10453
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 51431 0 0 0 108880 151 0 0 25 0 1 0 968786140 162922496 31061 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39776 31061 301 301 0 39475 0
vsize: 159104
[startup+1100.17 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10453
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 51436 0 0 0 109880 151 0 0 25 0 1 0 968786140 162922496 31066 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39776 31066 301 301 0 39475 0
vsize: 159104
[startup+1110.17 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10453
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 51441 0 0 0 110879 152 0 0 25 0 1 0 968786140 162922496 31071 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39776 31071 301 301 0 39475 0
vsize: 159104
[startup+1120.17 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10453
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 51450 0 0 0 111879 152 0 0 25 0 1 0 968786140 162922496 31080 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39776 31080 301 301 0 39475 0
vsize: 159104
[startup+1130.17 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10453
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 51477 0 0 0 112879 152 0 0 25 0 1 0 968786140 163057664 31107 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39809 31107 301 301 0 39508 0
vsize: 159236
[startup+1140.17 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10453
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 51523 0 0 0 113879 153 0 0 25 0 1 0 968786140 163188736 31120 4294967295 134512640 135730672 3221224576 3221223072 134747616 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39841 31120 301 301 0 39540 0
vsize: 159364
[startup+1150.18 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10453
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 51528 0 0 0 114879 153 0 0 25 0 1 0 968786140 163188736 31125 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39841 31125 301 301 0 39540 0
vsize: 159364
[startup+1160.18 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10453
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 51537 0 0 0 115878 154 0 0 25 0 1 0 968786140 163188736 31134 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39841 31134 301 301 0 39540 0
vsize: 159364
[startup+1170.18 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10453
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 51544 0 0 0 116878 154 0 0 25 0 1 0 968786140 163188736 31141 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39841 31141 301 301 0 39540 0
vsize: 159364
[startup+1180.18 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10453
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 51550 0 0 0 117878 155 0 0 25 0 1 0 968786140 163188736 31147 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39841 31147 301 301 0 39540 0
vsize: 159364
[startup+1190.18 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10453
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 51556 0 0 0 118878 155 0 0 25 0 1 0 968786140 163188736 31153 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39841 31153 301 301 0 39540 0
vsize: 159364
[startup+1200.18 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10453
Raw data (stat): 10396 (pb2sat-v2) R 10395 7266 7265 0 -1 0 51567 0 0 0 119877 156 0 0 25 0 1 0 968786140 163188736 31164 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39841 31164 301 301 0 39540 0
vsize: 159364
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.82 s]
Raw data (loadavg): 1.00 1.00 0.95 1/54 10453
Raw data (stat): 10396 (pb2sat-v2) Z 10395 7266 7265 0 -1 12 51569 0 0 0 119935 162 0 0 25 0 1 0 968786140 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.82
CPU time (s): 1200.98
CPU user time (s): 1199.35
CPU system time (s): 1.62375
CPU usage (%): 100.013
Max. virtual memory (Kb): 159364
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####