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/web/uclid_pb_benchmarks/normalized-cache-ibm-q-full.all.ucl.opb
MD5SUM	b8424149645ffb0af409a9e7aef74685
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	68
Number of bits of the biggest number in a constraint	7
Biggest sum of numbers in a constraint	257
Number of bits of the biggest sum of numbers	9
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	81558
Total number of constraints	240469
Number of constraints which are clauses	235865
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	4604
Minimum length of a constraint	1
Maximum length of a constraint	13
Trace number 42177

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        806072 kB
Buffers:         34212 kB
Cached:         169888 kB
SwapCached:       1192 kB
Active:          84232 kB
Inactive:       122180 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        805820 kB
SwapTotal:     2097136 kB
SwapFree:      2094880 kB
Dirty:               0 kB
Writeback:           0 kB
Mapped:           5364 kB
Slab:            16388 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 01:23:08 (client local time) WITH STATUS 0 IN 1200.89 SECONDS
stats: 25369 7 1200.89 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 5324/167156	Time: 56.9773/86400
c Decision: 5324/167156	Time: 71.9251/86400
c Decision: 5325/167156	Time: 87.9766/86400
c Decision: 5325/167156	Time: 101.498/86400
c Decision: 5325/167156	Time: 118.286/86400
c Decision: 5326/167156	Time: 136.168/86400
c Decision: 5326/167156	Time: 149.953/86400
c Decision: 5330/167156	Time: 176.063/86400
c Decision: 5330/167156	Time: 192.754/86400
c Decision: 5330/167156	Time: 213.069/86400
c Decision: 5334/167156	Time: 238.254/86400
c Decision: 5337/167156	Time: 257.412/86400
c Decision: 5337/167156	Time: 281.543/86400
c Decision: 5337/167156	Time: 303.839/86400
c Decision: 5337/167156	Time: 325.874/86400
c Decision: 5337/167156	Time: 349.98/86400
c Decision: 5337/167156	Time: 369.149/86400
c Decision: 5337/167156	Time: 391.51/86400
c Decision: 5337/167156	Time: 404.961/86400
c Decision: 5337/167156	Time: 430.795/86400
c Decision: 5337/167156	Time: 452.375/86400
c Decision: 5371/167156	Time: 477.304/86400
c Decision: 5371/167156	Time: 496.044/86400
c Decision: 5373/167156	Time: 526.814/86400
c Decision: 5373/167156	Time: 553.998/86400
c Decision: 5373/167156	Time: 576.149/86400
c Decision: 5376/167156	Time: 599.646/86400
c Decision: 5376/167156	Time: 622.234/86400
c Decision: 5376/167156	Time: 646.318/86400
c Decision: 5376/167156	Time: 663.511/86400
c Decision: 5377/167156	Time: 690.116/86400
c Decision: 5377/167156	Time: 720.843/86400
c Decision: 5377/167156	Time: 745.095/86400
c Decision: 5379/167156	Time: 778.192/86400
c Decision: 5379/167156	Time: 796.059/86400
c Decision: 5379/167156	Time: 817.639/86400
c Decision: 5379/167156	Time: 837.673/86400
c Decision: 5379/167156	Time: 862.546/86400
c Decision: 5381/167156	Time: 908.477/86400
c Decision: 5381/167156	Time: 943.653/86400
c Decision: 5381/167156	Time: 967.12/86400
c Decision: 5381/167156	Time: 996.988/86400
c Decision: 5384/167156	Time: 1021.45/86400
c Decision: 5384/167156	Time: 1051.39/86400
c Decision: 5384/167156	Time: 1083.97/86400
c Decision: 5384/167156	Time: 1109.66/86400
c Decision: 5394/167156	Time: 1154.68/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.55 0.83 0.86 2/55 10410
Raw data (stat): 10410 (runsolver) R 10409 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 909794887 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0001 s]
Raw data (loadavg): 0.62 0.83 0.86 2/55 10410
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 5069 0 0 0 985 14 0 0 25 0 1 0 909794887 17338368 3146 4294967295 134512640 135730672 3221224576 3221221632 134855005 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4233 3146 301 301 0 3932 0
vsize: 16932
[startup+20.0007 s]
Raw data (loadavg): 0.68 0.84 0.87 2/55 10410
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 10074 0 0 0 1972 27 0 0 25 0 1 0 909794887 33517568 6131 4294967295 134512640 135730672 3221224576 3221221400 135109329 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8183 6131 301 301 0 7882 0
vsize: 32732
[startup+30.0006 s]
Raw data (loadavg): 0.73 0.84 0.87 2/55 10410
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 21550 0 0 0 2948 51 0 0 25 0 1 0 909794887 63766528 13213 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15568 13213 301 301 0 15267 0
vsize: 62272
[startup+40.0004 s]
Raw data (loadavg): 0.77 0.85 0.87 2/55 10410
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 22815 0 0 0 3945 54 0 0 25 0 1 0 909794887 69591040 14313 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16990 14313 301 301 0 16689 0
vsize: 67960
[startup+50.0011 s]
Raw data (loadavg): 0.80 0.85 0.87 2/55 10410
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 23525 0 0 0 4944 56 0 0 25 0 1 0 909794887 72466432 14825 4294967295 134512640 135730672 3221224576 3221223184 134748227 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17692 14825 301 301 0 17391 0
vsize: 70768
[startup+60.0009 s]
Raw data (loadavg): 0.83 0.86 0.87 2/55 10410
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 23702 0 0 0 5943 57 0 0 25 0 1 0 909794887 73273344 14969 4294967295 134512640 135730672 3221224576 3221223072 134747501 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17889 14969 301 301 0 17588 0
vsize: 71556
[startup+70.0007 s]
Raw data (loadavg): 0.86 0.86 0.87 2/55 10410
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 23841 0 0 0 6943 57 0 0 25 0 1 0 909794887 73674752 15075 4294967295 134512640 135730672 3221224576 3221223232 134734860 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17987 15075 301 301 0 17686 0
vsize: 71948
[startup+80.0015 s]
Raw data (loadavg): 0.88 0.87 0.87 2/55 10410
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 24237 0 0 0 7943 57 0 0 25 0 1 0 909794887 74866688 15306 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18278 15306 301 301 0 17977 0
vsize: 73112
[startup+90.0012 s]
Raw data (loadavg): 0.90 0.87 0.87 2/55 10410
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 24694 0 0 0 8941 59 0 0 25 0 1 0 909794887 75268096 15403 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18376 15403 301 301 0 18075 0
vsize: 73504
[startup+100.001 s]
Raw data (loadavg): 0.91 0.87 0.87 2/55 10410
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 25122 0 0 0 9939 61 0 0 25 0 1 0 909794887 77148160 15831 4294967295 134512640 135730672 3221224576 3221222712 134765483 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18835 15831 301 301 0 18534 0
vsize: 75340
[startup+110.001 s]
Raw data (loadavg): 0.93 0.88 0.87 2/55 10410
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 25394 0 0 0 10939 62 0 0 25 0 1 0 909794887 76832768 15677 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18758 15677 301 301 0 18457 0
vsize: 75032
[startup+120.002 s]
Raw data (loadavg): 0.94 0.88 0.88 2/55 10410
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 25800 0 0 0 11936 64 0 0 25 0 1 0 909794887 77234176 15756 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18856 15756 301 301 0 18555 0
vsize: 75424
[startup+130.001 s]
Raw data (loadavg): 0.95 0.88 0.88 2/55 10410
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 26313 0 0 0 12935 66 0 0 25 0 1 0 909794887 77627392 15843 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18952 15843 301 301 0 18651 0
vsize: 75808
[startup+140.001 s]
Raw data (loadavg): 0.95 0.89 0.88 2/55 10410
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 26451 0 0 0 13934 66 0 0 25 0 1 0 909794887 78192640 15981 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19090 15981 301 301 0 18789 0
vsize: 76360
[startup+150.002 s]
Raw data (loadavg): 0.96 0.89 0.88 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 27118 0 0 0 14932 69 0 0 25 0 1 0 909794887 79523840 16189 4294967295 134512640 135730672 3221224576 3221223168 134763606 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19415 16189 301 301 0 19114 0
vsize: 77660
[startup+160.002 s]
Raw data (loadavg): 0.97 0.89 0.88 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 27293 0 0 0 15932 70 0 0 25 0 1 0 909794887 80191488 16331 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19578 16331 301 301 0 19277 0
vsize: 78312
[startup+170.002 s]
Raw data (loadavg): 0.97 0.90 0.88 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 27630 0 0 0 16930 71 0 0 25 0 1 0 909794887 80191488 16341 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19578 16341 301 301 0 19277 0
vsize: 78312
[startup+180.002 s]
Raw data (loadavg): 0.98 0.90 0.88 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 28102 0 0 0 17929 73 0 0 25 0 1 0 909794887 80781312 16387 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19722 16387 301 301 0 19421 0
vsize: 78888
[startup+190.002 s]
Raw data (loadavg): 0.98 0.90 0.88 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 28149 0 0 0 18928 74 0 0 25 0 1 0 909794887 80916480 16434 4294967295 134512640 135730672 3221224576 3221222904 134739222 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19755 16434 301 301 0 19454 0
vsize: 79020
[startup+200.003 s]
Raw data (loadavg): 0.98 0.90 0.88 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 31347 0 0 0 19922 80 0 0 25 0 1 0 909794887 93970432 16526 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22942 16526 301 301 0 22641 0
vsize: 91768
[startup+210.003 s]
Raw data (loadavg): 0.98 0.91 0.88 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 31741 0 0 0 20921 81 0 0 25 0 1 0 909794887 94101504 16560 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22974 16560 301 301 0 22673 0
vsize: 91896
[startup+220.002 s]
Raw data (loadavg): 0.99 0.91 0.89 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 31823 0 0 0 21920 82 0 0 25 0 1 0 909794887 94367744 16609 4294967295 134512640 135730672 3221224576 3221223072 134747616 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23039 16609 301 301 0 22738 0
vsize: 92156
[startup+230.002 s]
Raw data (loadavg): 0.99 0.91 0.89 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 32161 0 0 0 22919 84 0 0 25 0 1 0 909794887 94367744 16620 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23039 16620 301 301 0 22738 0
vsize: 92156
[startup+240.002 s]
Raw data (loadavg): 0.99 0.91 0.89 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 32197 0 0 0 23918 85 0 0 25 0 1 0 909794887 94502912 16656 4294967295 134512640 135730672 3221224576 3221223120 134740380 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23072 16656 301 301 0 22771 0
vsize: 92288
[startup+250.002 s]
Raw data (loadavg): 0.99 0.92 0.89 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 32714 0 0 0 24915 87 0 0 25 0 1 0 909794887 95432704 16780 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23299 16780 301 301 0 22998 0
vsize: 93196
[startup+260.002 s]
Raw data (loadavg): 0.99 0.92 0.89 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 32854 0 0 0 25914 88 0 0 25 0 1 0 909794887 96096256 16887 4294967295 134512640 135730672 3221224576 3221223072 134747714 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23461 16887 301 301 0 23160 0
vsize: 93844
[startup+270.002 s]
Raw data (loadavg): 0.99 0.92 0.89 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 33194 0 0 0 26913 90 0 0 25 0 1 0 909794887 96096256 16900 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23461 16900 301 301 0 23160 0
vsize: 93844
[startup+280.002 s]
Raw data (loadavg): 0.99 0.92 0.89 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 33196 0 0 0 27913 91 0 0 25 0 1 0 909794887 96096256 16902 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23461 16902 301 301 0 23160 0
vsize: 93844
[startup+290.002 s]
Raw data (loadavg): 0.99 0.92 0.89 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 33526 0 0 0 28911 92 0 0 25 0 1 0 909794887 96096256 16905 4294967295 134512640 135730672 3221224576 3221222904 134739217 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23461 16905 301 301 0 23160 0
vsize: 93844
[startup+300.002 s]
Raw data (loadavg): 0.99 0.93 0.89 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 33577 0 0 0 29910 93 0 0 25 0 1 0 909794887 96231424 16956 4294967295 134512640 135730672 3221224576 3221223072 134747594 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23494 16956 301 301 0 23193 0
vsize: 93976
[startup+310.002 s]
Raw data (loadavg): 0.99 0.93 0.89 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 33908 0 0 0 30909 94 0 0 25 0 1 0 909794887 96231424 16960 4294967295 134512640 135730672 3221224576 3221223072 134747599 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23494 16960 301 301 0 23193 0
vsize: 93976
[startup+320.002 s]
Raw data (loadavg): 0.99 0.93 0.89 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 33919 0 0 0 31908 95 0 0 25 0 1 0 909794887 96231424 16971 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23494 16971 301 301 0 23193 0
vsize: 93976
[startup+330.002 s]
Raw data (loadavg): 0.99 0.93 0.90 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 33975 0 0 0 32908 96 0 0 25 0 1 0 909794887 96362496 16994 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23526 16994 301 301 0 23225 0
vsize: 94104
[startup+340.002 s]
Raw data (loadavg): 0.99 0.93 0.90 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 34336 0 0 0 33907 97 0 0 25 0 1 0 909794887 96497664 17028 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23559 17028 301 301 0 23258 0
vsize: 94236
[startup+350.002 s]
Raw data (loadavg): 0.99 0.94 0.90 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 34372 0 0 0 34906 98 0 0 25 0 1 0 909794887 96497664 17064 4294967295 134512640 135730672 3221224576 3221223184 134748241 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23559 17064 301 301 0 23258 0
vsize: 94236
[startup+360.001 s]
Raw data (loadavg): 0.99 0.94 0.90 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 34710 0 0 0 35905 99 0 0 25 0 1 0 909794887 96497664 17075 4294967295 134512640 135730672 3221224576 3221223072 134747471 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23559 17075 301 301 0 23258 0
vsize: 94236
[startup+370.002 s]
Raw data (loadavg): 0.99 0.94 0.90 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 34720 0 0 0 36905 100 0 0 25 0 1 0 909794887 96497664 17085 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23559 17085 301 301 0 23258 0
vsize: 94236
[startup+380.002 s]
Raw data (loadavg): 0.99 0.94 0.90 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 35063 0 0 0 37903 101 0 0 25 0 1 0 909794887 96497664 17101 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23559 17101 301 301 0 23258 0
vsize: 94236
[startup+390.002 s]
Raw data (loadavg): 0.99 0.94 0.90 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 35081 0 0 0 38903 102 0 0 25 0 1 0 909794887 96497664 17119 4294967295 134512640 135730672 3221224576 3221223228 134748060 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23559 17119 301 301 0 23258 0
vsize: 94236
[startup+400.001 s]
Raw data (loadavg): 0.99 0.94 0.90 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 35456 0 0 0 39902 103 0 0 25 0 1 0 909794887 96628736 17134 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23591 17134 301 301 0 23290 0
vsize: 94364
[startup+410.001 s]
Raw data (loadavg): 0.99 0.94 0.90 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 35468 0 0 0 40902 103 0 0 25 0 1 0 909794887 96628736 17146 4294967295 134512640 135730672 3221224576 3221223232 134748676 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23591 17146 301 301 0 23290 0
vsize: 94364
[startup+420.001 s]
Raw data (loadavg): 0.99 0.95 0.90 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 35850 0 0 0 41901 105 0 0 25 0 1 0 909794887 96759808 17168 4294967295 134512640 135730672 3221224576 3221223200 134748166 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23623 17168 301 301 0 23322 0
vsize: 94492
[startup+430.001 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 35914 0 0 0 42900 105 0 0 25 0 1 0 909794887 96890880 17199 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23655 17199 301 301 0 23354 0
vsize: 94620
[startup+440.001 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 36278 0 0 0 43899 106 0 0 25 0 1 0 909794887 96890880 17236 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23655 17236 301 301 0 23354 0
vsize: 94620
[startup+450.001 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 36458 0 0 0 44897 108 0 0 25 0 1 0 909794887 97554432 17351 4294967295 134512640 135730672 3221224576 3221223072 134747762 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23817 17351 301 301 0 23516 0
vsize: 95268
[startup+460.001 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 36798 0 0 0 45896 109 0 0 25 0 1 0 909794887 97554432 17364 4294967295 134512640 135730672 3221224576 3221223264 134748632 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23817 17364 301 301 0 23516 0
vsize: 95268
[startup+470.001 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 36813 0 0 0 46896 110 0 0 25 0 1 0 909794887 97554432 17379 4294967295 134512640 135730672 3221224576 3221223072 134747452 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23817 17379 301 301 0 23516 0
vsize: 95268
[startup+480.002 s]
Raw data (loadavg): 1.07 0.97 0.91 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 37242 0 0 0 47894 112 0 0 25 0 1 0 909794887 99155968 17742 4294967295 134512640 135730672 3221224576 3221222712 134765477 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24208 17742 301 301 0 23907 0
vsize: 96832
[startup+490.002 s]
Raw data (loadavg): 1.06 0.97 0.91 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 37249 0 0 0 48893 113 0 0 25 0 1 0 909794887 97816576 17422 4294967295 134512640 135730672 3221224576 3221222896 134732452 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23881 17422 301 301 0 23580 0
vsize: 95524
[startup+500.002 s]
Raw data (loadavg): 1.05 0.97 0.91 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 37252 0 0 0 49893 113 0 0 25 0 1 0 909794887 97816576 17425 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23881 17425 301 301 0 23580 0
vsize: 95524
[startup+510.002 s]
Raw data (loadavg): 1.04 0.97 0.91 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 37582 0 0 0 50892 115 0 0 25 0 1 0 909794887 97816576 17428 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23881 17428 301 301 0 23580 0
vsize: 95524
[startup+520.003 s]
Raw data (loadavg): 1.04 0.97 0.91 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 37595 0 0 0 51892 115 0 0 25 0 1 0 909794887 97816576 17441 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23881 17441 301 301 0 23580 0
vsize: 95524
[startup+530.003 s]
Raw data (loadavg): 1.03 0.97 0.91 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 38051 0 0 0 52890 117 0 0 25 0 1 0 909794887 106733568 17504 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26058 17504 301 301 0 25757 0
vsize: 104232
[startup+540.002 s]
Raw data (loadavg): 1.03 0.97 0.91 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 38065 0 0 0 53889 118 0 0 25 0 1 0 909794887 106733568 17518 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26058 17518 301 301 0 25757 0
vsize: 104232
[startup+550.004 s]
Raw data (loadavg): 1.02 0.97 0.91 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 38125 0 0 0 54889 119 0 0 25 0 1 0 909794887 106864640 17545 4294967295 134512640 135730672 3221224576 3221223184 134748241 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26090 17545 301 301 0 25789 0
vsize: 104360
[startup+560.003 s]
Raw data (loadavg): 1.02 0.97 0.91 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 38510 0 0 0 55887 121 0 0 25 0 1 0 909794887 107130880 17603 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26155 17603 301 301 0 25854 0
vsize: 104620
[startup+570.003 s]
Raw data (loadavg): 1.01 0.97 0.91 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 38524 0 0 0 56886 122 0 0 25 0 1 0 909794887 107130880 17617 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26155 17617 301 301 0 25854 0
vsize: 104620
[startup+580.003 s]
Raw data (loadavg): 1.01 0.97 0.91 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 38550 0 0 0 57885 123 0 0 25 0 1 0 909794887 107130880 17643 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26155 17643 301 301 0 25854 0
vsize: 104620
[startup+590.002 s]
Raw data (loadavg): 1.01 0.97 0.91 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 38886 0 0 0 58883 125 0 0 25 0 1 0 909794887 107130880 17652 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26155 17652 301 301 0 25854 0
vsize: 104620
[startup+600.002 s]
Raw data (loadavg): 1.01 0.97 0.91 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 38914 0 0 0 59883 125 0 0 25 0 1 0 909794887 107130880 17680 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26155 17680 301 301 0 25854 0
vsize: 104620
[startup+610.002 s]
Raw data (loadavg): 1.01 0.97 0.91 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 39252 0 0 0 60882 126 0 0 25 0 1 0 909794887 107130880 17691 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26155 17691 301 301 0 25854 0
vsize: 104620
[startup+620.003 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 39294 0 0 0 61881 127 0 0 25 0 1 0 909794887 107261952 17700 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26187 17700 301 301 0 25886 0
vsize: 104748
[startup+630.002 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 39708 0 0 0 62879 129 0 0 25 0 1 0 909794887 107528192 17722 4294967295 134512640 135730672 3221224576 3221223072 134747599 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26252 17722 301 301 0 25951 0
vsize: 105008
[startup+640.002 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 39711 0 0 0 63879 129 0 0 25 0 1 0 909794887 107528192 17725 4294967295 134512640 135730672 3221224576 3221223072 134747848 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26252 17725 301 301 0 25951 0
vsize: 105008
[startup+650.002 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 39776 0 0 0 64878 130 0 0 25 0 1 0 909794887 107659264 17757 4294967295 134512640 135730672 3221224576 3221223088 134746077 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26284 17757 301 301 0 25983 0
vsize: 105136
[startup+660.003 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 40135 0 0 0 65876 132 0 0 25 0 1 0 909794887 107794432 17789 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26317 17789 301 301 0 26016 0
vsize: 105268
[startup+670.003 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 40150 0 0 0 66875 134 0 0 25 0 1 0 909794887 107794432 17804 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26317 17804 301 301 0 26016 0
vsize: 105268
[startup+680.002 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 40495 0 0 0 67873 136 0 0 25 0 1 0 909794887 107794432 17822 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26317 17822 301 301 0 26016 0
vsize: 105268
[startup+690.002 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 40518 0 0 0 68872 137 0 0 25 0 1 0 909794887 107794432 17845 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26317 17845 301 301 0 26016 0
vsize: 105268
[startup+700.002 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 40905 0 0 0 69871 138 0 0 25 0 1 0 909794887 108064768 17905 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26383 17905 301 301 0 26082 0
vsize: 105532
[startup+710.002 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 40921 0 0 0 70871 139 0 0 25 0 1 0 909794887 108064768 17921 4294967295 134512640 135730672 3221224576 3221223200 134748108 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26383 17921 301 301 0 26082 0
vsize: 105532
[startup+720.001 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 41265 0 0 0 71868 141 0 0 25 0 1 0 909794887 108064768 17938 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26383 17938 301 301 0 26082 0
vsize: 105532
[startup+730.003 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 41266 0 0 0 72868 142 0 0 25 0 1 0 909794887 108064768 17939 4294967295 134512640 135730672 3221224576 3221223168 134747445 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26383 17939 301 301 0 26082 0
vsize: 105532
[startup+740.002 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 41268 0 0 0 73868 142 0 0 25 0 1 0 909794887 108064768 17941 4294967295 134512640 135730672 3221224576 3221223072 134747711 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26383 17941 301 301 0 26082 0
vsize: 105532
[startup+750.002 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 41636 0 0 0 74866 143 0 0 25 0 1 0 909794887 108396544 17982 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26464 17982 301 301 0 26163 0
vsize: 105856
[startup+760.002 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 41651 0 0 0 75866 144 0 0 25 0 1 0 909794887 108396544 17997 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26464 17997 301 301 0 26163 0
vsize: 105856
[startup+770.001 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 41672 0 0 0 76866 144 0 0 25 0 1 0 909794887 108396544 18018 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26464 18018 301 301 0 26163 0
vsize: 105856
[startup+780.001 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 42013 0 0 0 77865 145 0 0 25 0 1 0 909794887 108396544 18032 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26464 18032 301 301 0 26163 0
vsize: 105856
[startup+790.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 42037 0 0 0 78865 146 0 0 25 0 1 0 909794887 108396544 18056 4294967295 134512640 135730672 3221224576 3221223264 134748452 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26464 18056 301 301 0 26163 0
vsize: 105856
[startup+800.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 42060 0 0 0 79865 147 0 0 25 0 1 0 909794887 108396544 18079 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26464 18079 301 301 0 26163 0
vsize: 105856
[startup+810.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 42407 0 0 0 80864 148 0 0 25 0 1 0 909794887 108396544 18099 4294967295 134512640 135730672 3221224576 3221222904 134739217 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26464 18099 301 301 0 26163 0
vsize: 105856
[startup+820.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 42448 0 0 0 81863 148 0 0 25 0 1 0 909794887 108396544 18140 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26464 18140 301 301 0 26163 0
vsize: 105856
[startup+830.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 42805 0 0 0 82862 150 0 0 25 0 1 0 909794887 108396544 18170 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26464 18170 301 301 0 26163 0
vsize: 105856
[startup+840.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 42853 0 0 0 83861 151 0 0 25 0 1 0 909794887 108396544 18218 4294967295 134512640 135730672 3221224576 3221223072 134747730 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26464 18218 301 301 0 26163 0
vsize: 105856
[startup+850.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 43195 0 0 0 84860 153 0 0 25 0 1 0 909794887 108396544 18233 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26464 18233 301 301 0 26163 0
vsize: 105856
[startup+860.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 43239 0 0 0 85859 154 0 0 25 0 1 0 909794887 108662784 18277 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26529 18277 301 301 0 26228 0
vsize: 106116
[startup+870.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 43574 0 0 0 86858 155 0 0 25 0 1 0 909794887 108662784 18285 4294967295 134512640 135730672 3221224576 3221223024 134730415 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26529 18285 301 301 0 26228 0
vsize: 106116
[startup+880.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 43582 0 0 0 87857 157 0 0 25 0 1 0 909794887 108662784 18293 4294967295 134512640 135730672 3221224576 3221223200 134748163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26529 18293 301 301 0 26228 0
vsize: 106116
[startup+890.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 43584 0 0 0 88856 158 0 0 25 0 1 0 909794887 108662784 18295 4294967295 134512640 135730672 3221224576 3221222896 134732524 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26529 18295 301 301 0 26228 0
vsize: 106116
[startup+900.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 44030 0 0 0 89854 159 0 0 25 0 1 0 909794887 109125632 18381 4294967295 134512640 135730672 3221224576 3221223072 134747902 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26642 18381 301 301 0 26341 0
vsize: 106568
[startup+910.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 44095 0 0 0 90854 160 0 0 25 0 1 0 909794887 109457408 18446 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26723 18446 301 301 0 26422 0
vsize: 106892
[startup+920.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 44098 0 0 0 91853 161 0 0 25 0 1 0 909794887 109457408 18449 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26723 18449 301 301 0 26422 0
vsize: 106892
[startup+930.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 44146 0 0 0 92852 162 0 0 25 0 1 0 909794887 109588480 18464 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26755 18464 301 301 0 26454 0
vsize: 107020
[startup+940.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 44498 0 0 0 93851 163 0 0 25 0 1 0 909794887 109588480 18489 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26755 18489 301 301 0 26454 0
vsize: 107020
[startup+950.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 44525 0 0 0 94850 165 0 0 25 0 1 0 909794887 109785088 18516 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26803 18516 301 301 0 26502 0
vsize: 107212
[startup+960.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 44545 0 0 0 95849 165 0 0 25 0 1 0 909794887 109785088 18536 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26803 18536 301 301 0 26502 0
vsize: 107212
[startup+970.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 44563 0 0 0 96849 165 0 0 25 0 1 0 909794887 109785088 18554 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26803 18554 301 301 0 26502 0
vsize: 107212
[startup+980.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 44911 0 0 0 97848 167 0 0 25 0 1 0 909794887 109785088 18575 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26803 18575 301 301 0 26502 0
vsize: 107212
[startup+990.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 44933 0 0 0 98848 167 0 0 25 0 1 0 909794887 109785088 18597 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26803 18597 301 301 0 26502 0
vsize: 107212
[startup+1000.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 45340 0 0 0 99847 168 0 0 25 0 1 0 909794887 109916160 18644 4294967295 134512640 135730672 3221224576 3221223224 134748061 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26835 18644 301 301 0 26534 0
vsize: 107340
[startup+1010.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 45457 0 0 0 100847 169 0 0 25 0 1 0 909794887 110346240 18728 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26940 18728 301 301 0 26639 0
vsize: 107760
[startup+1020.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 45507 0 0 0 101847 169 0 0 25 0 1 0 909794887 110678016 18778 4294967295 134512640 135730672 3221224576 3221222824 135284652 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27021 18778 301 301 0 26720 0
vsize: 108084
[startup+1030.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 45871 0 0 0 102845 170 0 0 25 0 1 0 909794887 110944256 18815 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27086 18815 301 301 0 26785 0
vsize: 108344
[startup+1040.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 45873 0 0 0 103845 171 0 0 25 0 1 0 909794887 110944256 18817 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27086 18817 301 301 0 26785 0
vsize: 108344
[startup+1050.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 46202 0 0 0 104844 172 0 0 25 0 1 0 909794887 110944256 18819 4294967295 134512640 135730672 3221224576 3221223072 134747634 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27086 18819 301 301 0 26785 0
vsize: 108344
[startup+1060.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 46223 0 0 0 105843 173 0 0 25 0 1 0 909794887 111079424 18840 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27119 18840 301 301 0 26818 0
vsize: 108476
[startup+1070.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 46239 0 0 0 106843 174 0 0 25 0 1 0 909794887 111079424 18856 4294967295 134512640 135730672 3221224576 3221223072 134747730 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27119 18856 301 301 0 26818 0
vsize: 108476
[startup+1080.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 46590 0 0 0 107842 175 0 0 25 0 1 0 909794887 111079424 18880 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27119 18880 301 301 0 26818 0
vsize: 108476
[startup+1090.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 46628 0 0 0 108841 175 0 0 25 0 1 0 909794887 111079424 18918 4294967295 134512640 135730672 3221224576 3221223072 134747610 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27119 18918 301 301 0 26818 0
vsize: 108476
[startup+1100.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 46719 0 0 0 109841 176 0 0 25 0 1 0 909794887 111484928 19009 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27218 19009 301 301 0 26917 0
vsize: 108872
[startup+1110.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 46741 0 0 0 110840 177 0 0 25 0 1 0 909794887 111484928 19031 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27218 19031 301 301 0 26917 0
vsize: 108872
[startup+1120.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 47087 0 0 0 111839 178 0 0 25 0 1 0 909794887 111484928 19050 4294967295 134512640 135730672 3221224576 3221223072 134747775 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27218 19050 301 301 0 26917 0
vsize: 108872
[startup+1130.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 47129 0 0 0 112839 178 0 0 25 0 1 0 909794887 111620096 19092 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27251 19092 301 301 0 26950 0
vsize: 109004
[startup+1140.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 47476 0 0 0 113838 180 0 0 25 0 1 0 909794887 111620096 19112 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27251 19112 301 301 0 26950 0
vsize: 109004
[startup+1150.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 47477 0 0 0 114837 180 0 0 25 0 1 0 909794887 111620096 19113 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27251 19113 301 301 0 26950 0
vsize: 109004
[startup+1160.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 47481 0 0 0 115837 181 0 0 25 0 1 0 909794887 111620096 19117 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27251 19117 301 301 0 26950 0
vsize: 109004
[startup+1170.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 47484 0 0 0 116837 181 0 0 25 0 1 0 909794887 111620096 19120 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27251 19120 301 301 0 26950 0
vsize: 109004
[startup+1180.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 47492 0 0 0 117837 181 0 0 25 0 1 0 909794887 111620096 19128 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27251 19128 301 301 0 26950 0
vsize: 109004
[startup+1190.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 47827 0 0 0 118835 183 0 0 25 0 1 0 909794887 111620096 19136 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27251 19136 301 301 0 26950 0
vsize: 109004
[startup+1200.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 10412
Raw data (stat): 10410 (pb2sat-v2) R 10409 8378 8377 0 -1 0 47830 0 0 0 119835 184 0 0 25 0 1 0 909794887 111620096 19139 4294967295 134512640 135730672 3221224576 3221223088 134745882 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27251 19139 301 301 0 26950 0
vsize: 109004
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.72 s]
Raw data (loadavg): 1.00 0.97 0.91 1/55 10412
Raw data (stat): 10410 (pb2sat-v2) Z 10409 8378 8377 0 -1 12 47832 0 0 0 119900 188 0 0 25 0 1 0 909794887 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.72
CPU time (s): 1200.89
CPU user time (s): 1199.01
CPU system time (s): 1.88071
CPU usage (%): 100.014
Max. virtual memory (Kb): 109004
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####