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-l152lav.opb
MD5SUM	00855a9538cee8df79108d56ee6867b4
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	5046
Optimality of the best value was proved	NO
Number of terms in the objective function	1989
Biggest coefficient in the objective function	268
Number of bits for the biggest coefficient in the objective function	9
Sum of the numbers in the objective function	382524
Number of bits of the sum of numbers in the objective function	19
Biggest number in a constraint	268
Number of bits of the biggest number in a constraint	9
Biggest sum of numbers in a constraint	382524
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.28
Number of variables	1989
Total number of constraints	2086
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	2085
Number of constraints which are nor clauses,nor cardinality constraints	1
Minimum length of a constraint	1
Maximum length of a constraint	1989
Trace number 42407

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-16 06:40:07 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25616 boxname=wulflinc3 idbench=916 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  00855a9538cee8df79108d56ee6867b4  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-l152lav.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-l152lav.opb
IDLAUNCH: 25616
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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:        727232 kB
Buffers:         24448 kB
Cached:         261080 kB
SwapCached:        820 kB
Active:          29600 kB
Inactive:       258096 kB
HighTotal:      131008 kB
HighFree:         4004 kB
LowTotal:       903652 kB
LowFree:        723228 kB
SwapTotal:     2097136 kB
SwapFree:      2095340 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5104 kB
Slab:            14020 kB
Committed_AS:    71900 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 07:00:10 (client local time) WITH STATUS 0 IN 1200.94 SECONDS
stats: 25616 7 1200.94 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 9828/205859	Time: 419.555/86400
c Decision: 9828/205859	Time: 496.161/86400
c Decision: 9828/205859	Time: 592.939/86400
c Decision: 9829/205859	Time: 795.99/86400
c Decision: 9829/205859	Time: 897.273/86400
c Decision: 9829/205859	Time: 980.396/86400
c Decision: 9829/205859	Time: 1065.61/86400
c Decision: 9829/205859	Time: 1177.95/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.92 0.95 0.90 2/54 18466
Raw data (stat): 18466 (runsolver) R 18465 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 968665281 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0003 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 26036 0 0 0 940 58 0 0 25 0 1 0 968665281 79749120 14921 4294967295 134512640 135730672 3221224576 3221087772 134637875 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 19470 14921 301 301 0 19169 0
vsize: 77880
[startup+20.0017 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 28606 0 0 0 1933 65 0 0 25 0 1 0 968665281 87801856 17081 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21436 17081 301 301 0 21135 0
vsize: 85744
[startup+30.0023 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 29472 0 0 0 2929 68 0 0 25 0 1 0 968665281 92221440 17947 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22515 17947 301 301 0 22214 0
vsize: 90060
[startup+40.0018 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 29526 0 0 0 3930 68 0 0 25 0 1 0 968665281 92385280 18001 4294967295 134512640 135730672 3221224576 3221223072 134747587 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22555 18001 301 301 0 22254 0
vsize: 90220
[startup+50.003 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 29695 0 0 0 4929 69 0 0 25 0 1 0 968665281 92987392 18170 4294967295 134512640 135730672 3221224576 3221223200 134748200 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22702 18170 301 301 0 22401 0
vsize: 90808
[startup+60.0031 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 29799 0 0 0 5928 70 0 0 25 0 1 0 968665281 93454336 18274 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22816 18274 301 301 0 22515 0
vsize: 91264
[startup+70.0043 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 29880 0 0 0 6927 71 0 0 25 0 1 0 968665281 93724672 18355 4294967295 134512640 135730672 3221224576 3221223200 134748108 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22882 18355 301 301 0 22581 0
vsize: 91528
[startup+80.0055 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 29943 0 0 0 7927 71 0 0 25 0 1 0 968665281 93995008 18418 4294967295 134512640 135730672 3221224576 3221223072 134747519 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22948 18418 301 301 0 22647 0
vsize: 91792
[startup+90.0053 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 29996 0 0 0 8927 72 0 0 25 0 1 0 968665281 94130176 18471 4294967295 134512640 135730672 3221224576 3221223072 134747636 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22981 18471 301 301 0 22680 0
vsize: 91924
[startup+100.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 30130 0 0 0 9926 72 0 0 25 0 1 0 968665281 94670848 18605 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23113 18605 301 301 0 22812 0
vsize: 92452
[startup+110.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 30203 0 0 0 10926 73 0 0 25 0 1 0 968665281 94941184 18678 4294967295 134512640 135730672 3221224576 3221223188 134748221 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23179 18678 301 301 0 22878 0
vsize: 92716
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 30233 0 0 0 11926 73 0 0 25 0 1 0 968665281 94941184 18708 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23179 18708 301 301 0 22878 0
vsize: 92716
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 30284 0 0 0 12925 74 0 0 25 0 1 0 968665281 95076352 18759 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23212 18759 301 301 0 22911 0
vsize: 92848
[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 30338 0 0 0 13924 75 0 0 25 0 1 0 968665281 95211520 18813 4294967295 134512640 135730672 3221224576 3221223264 134748499 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23245 18813 301 301 0 22944 0
vsize: 92980
[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 30366 0 0 0 14924 76 0 0 25 0 1 0 968665281 95211520 18841 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23245 18841 301 301 0 22944 0
vsize: 92980
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 30402 0 0 0 15924 76 0 0 25 0 1 0 968665281 95211520 18877 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23245 18877 301 301 0 22944 0
vsize: 92980
[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 30435 0 0 0 16924 77 0 0 25 0 1 0 968665281 95211520 18910 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23245 18910 301 301 0 22944 0
vsize: 92980
[startup+180.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 30539 0 0 0 17923 77 0 0 25 0 1 0 968665281 95617024 19014 4294967295 134512640 135730672 3221224576 3221223168 134763774 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23344 19014 301 301 0 23043 0
vsize: 93376
[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 30626 0 0 0 18922 78 0 0 25 0 1 0 968665281 95887360 19101 4294967295 134512640 135730672 3221224576 3221223172 134747444 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23410 19101 301 301 0 23109 0
vsize: 93640
[startup+200.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 30717 0 0 0 19921 79 0 0 25 0 1 0 968665281 96292864 19192 4294967295 134512640 135730672 3221224576 3221223232 134748661 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23509 19192 301 301 0 23208 0
vsize: 94036
[startup+210.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 30745 0 0 0 20921 80 0 0 25 0 1 0 968665281 96292864 19220 4294967295 134512640 135730672 3221224576 3221223056 134732772 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23509 19220 301 301 0 23208 0
vsize: 94036
[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 30821 0 0 0 21921 80 0 0 25 0 1 0 968665281 96563200 19296 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23575 19296 301 301 0 23274 0
vsize: 94300
[startup+230.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 30868 0 0 0 22921 81 0 0 25 0 1 0 968665281 96698368 19343 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23608 19343 301 301 0 23307 0
vsize: 94432
[startup+240.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 30904 0 0 0 23921 81 0 0 25 0 1 0 968665281 96698368 19379 4294967295 134512640 135730672 3221224576 3221223232 134748661 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23608 19379 301 301 0 23307 0
vsize: 94432
[startup+250.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 30935 0 0 0 24920 82 0 0 25 0 1 0 968665281 96698368 19410 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23608 19410 301 301 0 23307 0
vsize: 94432
[startup+260.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 30996 0 0 0 25919 82 0 0 25 0 1 0 968665281 96833536 19471 4294967295 134512640 135730672 3221224576 3221223072 134747618 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23641 19471 301 301 0 23340 0
vsize: 94564
[startup+270.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 31047 0 0 0 26919 83 0 0 25 0 1 0 968665281 96968704 19522 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23674 19522 301 301 0 23373 0
vsize: 94696
[startup+280.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 31118 0 0 0 27919 84 0 0 25 0 1 0 968665281 97234944 19593 4294967295 134512640 135730672 3221224576 3221223192 134748218 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23739 19593 301 301 0 23438 0
vsize: 94956
[startup+290.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 31150 0 0 0 28919 84 0 0 25 0 1 0 968665281 97234944 19625 4294967295 134512640 135730672 3221224576 3221222912 134739213 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23739 19625 301 301 0 23438 0
vsize: 94956
[startup+300.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 31220 0 0 0 29918 85 0 0 25 0 1 0 968665281 97234944 19695 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23739 19695 301 301 0 23438 0
vsize: 94956
[startup+310.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 31275 0 0 0 30918 85 0 0 25 0 1 0 968665281 97234944 19750 4294967295 134512640 135730672 3221224576 3221223072 134747639 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23739 19750 301 301 0 23438 0
vsize: 94956
[startup+320.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 31342 0 0 0 31917 86 0 0 25 0 1 0 968665281 97234944 19817 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23739 19817 301 301 0 23438 0
vsize: 94956
[startup+330.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 31384 0 0 0 32917 87 0 0 25 0 1 0 968665281 97234944 19859 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23739 19859 301 301 0 23438 0
vsize: 94956
[startup+340.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 31425 0 0 0 33916 87 0 0 25 0 1 0 968665281 97234944 19900 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23739 19900 301 301 0 23438 0
vsize: 94956
[startup+350.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 31469 0 0 0 34916 88 0 0 25 0 1 0 968665281 97234944 19944 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23739 19944 301 301 0 23438 0
vsize: 94956
[startup+360.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 31536 0 0 0 35916 88 0 0 25 0 1 0 968665281 97234944 20011 4294967295 134512640 135730672 3221224576 3221223072 134747610 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23739 20011 301 301 0 23438 0
vsize: 94956
[startup+370.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 31576 0 0 0 36915 89 0 0 25 0 1 0 968665281 97234944 20051 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23739 20051 301 301 0 23438 0
vsize: 94956
[startup+380.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 31613 0 0 0 37915 90 0 0 25 0 1 0 968665281 97234944 20088 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23739 20088 301 301 0 23438 0
vsize: 94956
[startup+390.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 31652 0 0 0 38914 90 0 0 25 0 1 0 968665281 97234944 20127 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23739 20127 301 301 0 23438 0
vsize: 94956
[startup+400.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 31692 0 0 0 39913 91 0 0 25 0 1 0 968665281 97234944 20167 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23739 20167 301 301 0 23438 0
vsize: 94956
[startup+410.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 31734 0 0 0 40912 92 0 0 25 0 1 0 968665281 97234944 20209 4294967295 134512640 135730672 3221224576 3221223168 134763998 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23739 20209 301 301 0 23438 0
vsize: 94956
[startup+420.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 31821 0 0 0 41911 94 0 0 25 0 1 0 968665281 114012160 20296 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27835 20296 301 301 0 27534 0
vsize: 111340
[startup+430.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 32303 0 0 0 42910 95 0 0 25 0 1 0 968665281 114012160 20375 4294967295 134512640 135730672 3221224576 3221222896 134732524 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27835 20375 301 301 0 27534 0
vsize: 111340
[startup+440.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 32913 0 0 0 43908 97 0 0 25 0 1 0 968665281 115728384 20690 4294967295 134512640 135730672 3221224576 3221222896 134732524 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28254 20690 301 301 0 27953 0
vsize: 113016
[startup+450.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 34522 0 0 0 44904 101 0 0 25 0 1 0 968665281 122736640 21969 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 29965 21969 301 301 0 29664 0
vsize: 119860
[startup+460.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 35511 0 0 0 45902 103 0 0 25 0 1 0 968665281 126623744 22695 4294967295 134512640 135730672 3221224576 3221222896 134732479 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 30914 22695 301 301 0 30613 0
vsize: 123656
[startup+470.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 36391 0 0 0 46900 105 0 0 25 0 1 0 968665281 130375680 23312 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 31830 23312 301 301 0 31529 0
vsize: 127320
[startup+480.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 36943 0 0 0 47899 106 0 0 25 0 1 0 968665281 132247552 23699 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 32287 23699 301 301 0 31986 0
vsize: 129148
[startup+490.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 37338 0 0 0 48898 107 0 0 25 0 1 0 968665281 133853184 23962 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 32679 23962 301 301 0 32378 0
vsize: 130716
[startup+500.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 37823 0 0 0 49898 108 0 0 25 0 1 0 968665281 135450624 24249 4294967295 134512640 135730672 3221224576 3221223072 134747536 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33069 24249 301 301 0 32768 0
vsize: 132276
[startup+510.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 38580 0 0 0 50896 110 0 0 25 0 1 0 968665281 137203712 24570 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 33497 24570 301 301 0 33196 0
vsize: 133988
[startup+520.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 39076 0 0 0 51895 110 0 0 25 0 1 0 968665281 138792960 24868 4294967295 134512640 135730672 3221224576 3221223228 134748060 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33885 24868 301 301 0 33584 0
vsize: 135540
[startup+530.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 40003 0 0 0 52893 112 0 0 25 0 1 0 968665281 142626816 25564 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34821 25564 301 301 0 34520 0
vsize: 139284
[startup+540.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 40387 0 0 0 53892 113 0 0 25 0 1 0 968665281 143962112 25816 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35147 25816 301 301 0 34846 0
vsize: 140588
[startup+550.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 40475 0 0 0 54892 114 0 0 25 0 1 0 968665281 144228352 25871 4294967295 134512640 135730672 3221224576 3221222896 134732524 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35212 25871 301 301 0 34911 0
vsize: 140848
[startup+560.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 41243 0 0 0 55890 115 0 0 25 0 1 0 968665281 146616320 26277 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35795 26277 301 301 0 35494 0
vsize: 143180
[startup+570.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 41773 0 0 0 56889 117 0 0 25 0 1 0 968665281 148414464 26642 4294967295 134512640 135730672 3221224576 3221223072 134747616 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36234 26642 301 301 0 35933 0
vsize: 144936
[startup+580.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 42185 0 0 0 57888 118 0 0 25 0 1 0 968665281 149950464 26955 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36609 26955 301 301 0 36308 0
vsize: 146436
[startup+590.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 42620 0 0 0 58887 119 0 0 25 0 1 0 968665281 151138304 27225 4294967295 134512640 135730672 3221224576 3221223072 134747735 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36899 27225 301 301 0 36598 0
vsize: 147596
[startup+600.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 43233 0 0 0 59886 121 0 0 25 0 1 0 968665281 153600000 27715 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37500 27715 301 301 0 37199 0
vsize: 150000
[startup+610.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 43769 0 0 0 60884 122 0 0 25 0 1 0 968665281 154132480 27815 4294967295 134512640 135730672 3221224576 3221223200 134748170 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37630 27815 301 301 0 37329 0
vsize: 150520
[startup+620.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 43957 0 0 0 61884 123 0 0 25 0 1 0 968665281 154791936 27904 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37791 27904 301 301 0 37490 0
vsize: 151164
[startup+630.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 44091 0 0 0 62883 123 0 0 25 0 1 0 968665281 155189248 27972 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37888 27972 301 301 0 37587 0
vsize: 151552
[startup+640.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 44145 0 0 0 63883 124 0 0 25 0 1 0 968665281 155320320 27993 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37920 27993 301 301 0 37619 0
vsize: 151680
[startup+650.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 44311 0 0 0 64882 125 0 0 25 0 1 0 968665281 155983872 28061 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38082 28061 301 301 0 37781 0
vsize: 152328
[startup+660.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 44443 0 0 0 65881 126 0 0 25 0 1 0 968665281 156512256 28127 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38211 28127 301 301 0 37910 0
vsize: 152844
[startup+670.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 44629 0 0 0 66881 127 0 0 25 0 1 0 968665281 157593600 28313 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38475 28313 301 301 0 38174 0
vsize: 153900
[startup+680.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 44682 0 0 0 67881 127 0 0 25 0 1 0 968665281 157790208 28366 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38523 28366 301 301 0 38222 0
vsize: 154092
[startup+690.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 45030 0 0 0 68880 128 0 0 25 0 1 0 968665281 159174656 28566 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38861 28566 301 301 0 38560 0
vsize: 155444
[startup+700.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 45165 0 0 0 69879 128 0 0 25 0 1 0 968665281 159576064 28668 4294967295 134512640 135730672 3221224576 3221223072 134747874 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38959 28668 301 301 0 38658 0
vsize: 155836
[startup+710.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 45222 0 0 0 70879 129 0 0 25 0 1 0 968665281 159707136 28692 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38991 28692 301 301 0 38690 0
vsize: 155964
[startup+720.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 45619 0 0 0 71879 129 0 0 25 0 1 0 968665281 160825344 28892 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39264 28892 301 301 0 38963 0
vsize: 157056
[startup+730.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 45848 0 0 0 72878 130 0 0 25 0 1 0 968665281 161755136 29088 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39491 29088 301 301 0 39190 0
vsize: 157964
[startup+740.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 45978 0 0 0 73878 131 0 0 25 0 1 0 968665281 162553856 29218 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39686 29218 301 301 0 39385 0
vsize: 158744
[startup+750.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 46028 0 0 0 74878 131 0 0 25 0 1 0 968665281 162549760 29202 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39685 29202 301 301 0 39384 0
vsize: 158740
[startup+760.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 46038 0 0 0 75878 131 0 0 25 0 1 0 968665281 162549760 29212 4294967295 134512640 135730672 3221224576 3221223056 134732772 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39685 29212 301 301 0 39384 0
vsize: 158740
[startup+770.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 46344 0 0 0 76877 133 0 0 25 0 1 0 968665281 163745792 29419 4294967295 134512640 135730672 3221224576 3221223220 134748064 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39977 29419 301 301 0 39676 0
vsize: 159908
[startup+780.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 46772 0 0 0 77876 134 0 0 25 0 1 0 968665281 165072896 29650 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40301 29650 301 301 0 40000 0
vsize: 161204
[startup+790.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 47103 0 0 0 78874 135 0 0 25 0 1 0 968665281 166273024 29849 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40594 29849 301 301 0 40293 0
vsize: 162376
[startup+800.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 47281 0 0 0 79874 136 0 0 25 0 1 0 968665281 167071744 29994 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40789 29994 301 301 0 40488 0
vsize: 163156
[startup+810.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 47797 0 0 0 80872 138 0 0 25 0 1 0 968665281 167469056 30074 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40886 30074 301 301 0 40585 0
vsize: 163544
[startup+820.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 47883 0 0 0 81872 138 0 0 25 0 1 0 968665281 167866368 30127 4294967295 134512640 135730672 3221224576 3221223072 134747657 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40983 30127 301 301 0 40682 0
vsize: 163932
[startup+830.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 47926 0 0 0 82871 139 0 0 25 0 1 0 968665281 167997440 30137 4294967295 134512640 135730672 3221224576 3221222896 134732452 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41015 30137 301 301 0 40714 0
vsize: 164060
[startup+840.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 47933 0 0 0 83871 139 0 0 25 0 1 0 968665281 167997440 30144 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41015 30144 301 301 0 40714 0
vsize: 164060
[startup+850.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 47950 0 0 0 84871 140 0 0 25 0 1 0 968665281 167997440 30161 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41015 30161 301 301 0 40714 0
vsize: 164060
[startup+860.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 47998 0 0 0 85871 140 0 0 25 0 1 0 968665281 168263680 30209 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41080 30209 301 301 0 40779 0
vsize: 164320
[startup+870.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 48134 0 0 0 86870 141 0 0 25 0 1 0 968665281 168525824 30279 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41144 30279 301 301 0 40843 0
vsize: 164576
[startup+880.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 48278 0 0 0 87870 141 0 0 25 0 1 0 968665281 168919040 30325 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41240 30325 301 301 0 40939 0
vsize: 164960
[startup+890.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 48474 0 0 0 88869 142 0 0 25 0 1 0 968665281 169578496 30422 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41401 30422 301 301 0 41100 0
vsize: 165604
[startup+900.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 48534 0 0 0 89869 142 0 0 25 0 1 0 968665281 169844736 30482 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41466 30482 301 301 0 41165 0
vsize: 165864
[startup+910.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 49227 0 0 0 90867 144 0 0 25 0 1 0 968665281 170766336 30609 4294967295 134512640 135730672 3221224576 3221223072 134747823 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41691 30609 301 301 0 41390 0
vsize: 166764
[startup+920.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 49261 0 0 0 91867 145 0 0 25 0 1 0 968665281 170766336 30643 4294967295 134512640 135730672 3221224576 3221223072 134747549 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41691 30643 301 301 0 41390 0
vsize: 166764
[startup+930.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 49392 0 0 0 92866 146 0 0 25 0 1 0 968665281 171163648 30708 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41788 30708 301 301 0 41487 0
vsize: 167152
[startup+940.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 49614 0 0 0 93866 146 0 0 25 0 1 0 968665281 172097536 30864 4294967295 134512640 135730672 3221224576 3221222896 134732479 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42016 30864 301 301 0 41715 0
vsize: 168064
[startup+950.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 49629 0 0 0 94865 147 0 0 25 0 1 0 968665281 172097536 30879 4294967295 134512640 135730672 3221224576 3221223056 134732772 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42016 30879 301 301 0 41715 0
vsize: 168064
[startup+960.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 49647 0 0 0 95865 147 0 0 25 0 1 0 968665281 172097536 30897 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42016 30897 301 301 0 41715 0
vsize: 168064
[startup+970.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 49748 0 0 0 96865 148 0 0 25 0 1 0 968665281 172494848 30965 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42113 30965 301 301 0 41812 0
vsize: 168452
[startup+980.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 49826 0 0 0 97864 149 0 0 25 0 1 0 968665281 172625920 31010 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42145 31010 301 301 0 41844 0
vsize: 168580
[startup+990.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 50236 0 0 0 98862 151 0 0 25 0 1 0 968665281 172625920 31017 4294967295 134512640 135730672 3221224576 3221223176 134787678 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42145 31017 301 301 0 41844 0
vsize: 168580
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 50246 0 0 0 99862 151 0 0 25 0 1 0 968665281 172625920 31027 4294967295 134512640 135730672 3221224576 3221223248 134748644 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42145 31027 301 301 0 41844 0
vsize: 168580
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 50313 0 0 0 100862 152 0 0 25 0 1 0 968665281 172756992 31061 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42177 31061 301 301 0 41876 0
vsize: 168708
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 50331 0 0 0 101861 152 0 0 25 0 1 0 968665281 172756992 31079 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42177 31079 301 301 0 41876 0
vsize: 168708
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 50434 0 0 0 102861 153 0 0 25 0 1 0 968665281 172888064 31149 4294967295 134512640 135730672 3221224576 3221223168 134747445 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42209 31149 301 301 0 41908 0
vsize: 168836
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 50591 0 0 0 103860 154 0 0 25 0 1 0 968665281 173281280 31208 4294967295 134512640 135730672 3221224576 3221223072 134747662 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42305 31208 301 301 0 42004 0
vsize: 169220
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 50598 0 0 0 104860 154 0 0 25 0 1 0 968665281 173281280 31215 4294967295 134512640 135730672 3221224576 3221223264 134748549 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42305 31215 301 301 0 42004 0
vsize: 169220
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 50598 0 0 0 105860 155 0 0 25 0 1 0 968665281 173281280 31215 4294967295 134512640 135730672 3221224576 3221223072 134747960 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42305 31215 301 301 0 42004 0
vsize: 169220
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 50688 0 0 0 106859 155 0 0 25 0 1 0 968665281 173879296 31272 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42451 31272 301 301 0 42150 0
vsize: 169804
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 51149 0 0 0 107858 156 0 0 25 0 1 0 968665281 174010368 31297 4294967295 134512640 135730672 3221224576 3221223216 134748259 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42483 31297 301 301 0 42182 0
vsize: 169932
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 51150 0 0 0 108858 157 0 0 25 0 1 0 968665281 174010368 31298 4294967295 134512640 135730672 3221224576 3221222896 134732479 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42483 31298 301 301 0 42182 0
vsize: 169932
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 51155 0 0 0 109858 157 0 0 25 0 1 0 968665281 174010368 31303 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42483 31303 301 301 0 42182 0
vsize: 169932
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 51248 0 0 0 110857 158 0 0 25 0 1 0 968665281 174276608 31363 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42548 31363 301 301 0 42247 0
vsize: 170192
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 51281 0 0 0 111857 158 0 0 25 0 1 0 968665281 174276608 31396 4294967295 134512640 135730672 3221224576 3221223072 134747823 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42548 31396 301 301 0 42247 0
vsize: 170192
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 51399 0 0 0 112856 159 0 0 25 0 1 0 968665281 174538752 31448 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42612 31448 301 301 0 42311 0
vsize: 170448
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 51436 0 0 0 113856 160 0 0 25 0 1 0 968665281 174669824 31452 4294967295 134512640 135730672 3221224576 3221223072 134747705 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42644 31452 301 301 0 42343 0
vsize: 170576
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 51470 0 0 0 114855 161 0 0 25 0 1 0 968665281 174804992 31486 4294967295 134512640 135730672 3221224576 3221223072 134747563 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42677 31486 301 301 0 42376 0
vsize: 170708
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 51538 0 0 0 115855 161 0 0 25 0 1 0 968665281 175075328 31554 4294967295 134512640 135730672 3221224576 3221222896 134732515 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42743 31554 301 301 0 42442 0
vsize: 170972
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 51653 0 0 0 116854 162 0 0 25 0 1 0 968665281 175337472 31603 4294967295 134512640 135730672 3221224576 3221223072 134747463 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42807 31603 301 301 0 42506 0
vsize: 171228
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 51826 0 0 0 117854 163 0 0 25 0 1 0 968665281 176197632 31743 4294967295 134512640 135730672 3221224576 3221223072 134747555 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43017 31743 301 301 0 42716 0
vsize: 172068
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18466
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 52464 0 0 0 118853 164 0 0 25 0 1 0 968665281 176721920 31847 4294967295 134512640 135730672 3221224576 3221223200 134748138 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43145 31847 301 301 0 42844 0
vsize: 172580
[startup+1200.13 s]
Raw data (loadavg): 1.07 0.99 0.91 3/57 18506
Raw data (stat): 18466 (pb2sat-v2) R 18465 20224 20223 0 -1 0 52465 0 0 0 119862 164 0 0 25 0 1 0 968665281 176721920 31848 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43145 31848 301 301 0 42844 0
vsize: 172580
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.84 s]
Raw data (loadavg): 1.07 0.99 0.91 2/56 18507
Raw data (stat): 18466 (pb2sat-v2) Z 18465 20224 20223 0 -1 12 52467 0 0 0 119922 170 0 0 24 0 1 0 968665281 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 1 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.83
CPU time (s): 1200.94
CPU user time (s): 1199.23
CPU system time (s): 1.70974
CPU usage (%): 100.009
Max. virtual memory (Kb): 172580
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####