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/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-2.opb
MD5SUM	270e069f649d19b0da4e4d23c0e1ebfc
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-30
Optimality of the best value was proved	NO
Number of terms in the objective function	760
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	760
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	760
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.06
Number of variables	760
Total number of constraints	41263
Number of constraints which are clauses	41263
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	2
Trace number 34960

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc24 THE 2005-05-28 11:26:49 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24251 boxname=wulflinc24 idbench=325 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  270e069f649d19b0da4e4d23c0e1ebfc  /oldhome/oroussel/tmp/wulflinc24/normalized-frb40-19-2.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc24/normalized-frb40-19-2.opb
IDLAUNCH: 24251
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.080
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	: 3
cpu MHz		: 451.080
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:        729684 kB
Buffers:         36056 kB
Cached:         246732 kB
SwapCached:        636 kB
Active:          22108 kB
Inactive:       262736 kB
HighTotal:      131008 kB
HighFree:        31528 kB
LowTotal:       903652 kB
LowFree:        698156 kB
SwapTotal:     2097892 kB
SwapFree:      2096360 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5148 kB
Slab:            14488 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 11:46:53 (client local time) WITH STATUS 0 IN 1201.54 SECONDS
stats: 24251 7 1201.54 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 137475/290714	Time: 101.918/86400
Decision: 137475/290714	Time: 156.269/86400
Decision: 141262/290714	Time: 261.442/86400
Decision: 142002/290714	Time: 373.939/86400
Decision: 158956/290714	Time: 605.478/86400c [startup+1053.15 s]  setting bit 9 to 0
s 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.84 0.94 0.90 2/54 19118
Raw data (stat): 19118 (runsolver) R 19117 4613 4612 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 864432049 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.87 0.94 0.90 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 29097 0 0 0 932 66 0 0 25 0 1 0 864432049 88326144 18194 4294967295 134512640 135726644 3221224592 3221125040 134607253 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21564 18195 300 300 0 21264 0
vsize: 86256
[startup+20.0005 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 50064 0 0 0 1886 112 0 0 25 0 1 0 864432049 152027136 27764 4294967295 134512640 135726644 3221224592 3221223280 134744966 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37116 27764 300 300 0 36816 0
vsize: 148464
[startup+30.0013 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 51813 0 0 0 2882 116 0 0 25 0 1 0 864432049 160112640 29168 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39090 29168 300 300 0 38790 0
vsize: 156360
[startup+40.0014 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 52706 0 0 0 3881 117 0 0 25 0 1 0 864432049 180740096 29831 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44126 29831 300 300 0 43826 0
vsize: 176504
[startup+50.0021 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 52743 0 0 0 4881 118 0 0 25 0 1 0 864432049 180875264 29868 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44159 29868 300 300 0 43859 0
vsize: 176636
[startup+60.0021 s]
Raw data (loadavg): 0.94 0.95 0.90 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 52894 0 0 0 5881 118 0 0 25 0 1 0 864432049 181268480 29921 4294967295 134512640 135726644 3221224592 3221223088 134744051 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44255 29921 300 300 0 43955 0
vsize: 177020
[startup+70.0015 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 52963 0 0 0 6880 118 0 0 25 0 1 0 864432049 181538816 29990 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44321 29990 300 300 0 44021 0
vsize: 177284
[startup+80.0022 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 53015 0 0 0 7880 119 0 0 25 0 1 0 864432049 181669888 30009 4294967295 134512640 135726644 3221224592 3221223216 134744506 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44353 30009 300 300 0 44053 0
vsize: 177412
[startup+90.0025 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 53022 0 0 0 8880 119 0 0 25 0 1 0 864432049 181669888 30016 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44353 30016 300 300 0 44053 0
vsize: 177412
[startup+100.003 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 53029 0 0 0 9880 119 0 0 25 0 1 0 864432049 181669888 30023 4294967295 134512640 135726644 3221224592 3221223072 134729152 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44353 30023 300 300 0 44053 0
vsize: 177412
[startup+110.003 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 53044 0 0 0 10880 119 0 0 25 0 1 0 864432049 181669888 30038 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44353 30038 300 300 0 44053 0
vsize: 177412
[startup+120.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 53767 0 0 0 11878 121 0 0 25 0 1 0 864432049 182677504 30193 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44599 30193 300 300 0 44299 0
vsize: 178396
[startup+130.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 54382 0 0 0 12877 123 0 0 25 0 1 0 864432049 185483264 30709 4294967295 134512640 135726644 3221224592 3221222912 134728940 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45284 30709 300 300 0 44984 0
vsize: 181136
[startup+140.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 54383 0 0 0 13876 123 0 0 25 0 1 0 864432049 185483264 30710 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45284 30710 300 300 0 44984 0
vsize: 181136
[startup+150.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 54384 0 0 0 14877 123 0 0 25 0 1 0 864432049 185483264 30711 4294967295 134512640 135726644 3221224592 3221223280 134744915 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45284 30711 300 300 0 44984 0
vsize: 181136
[startup+160.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 54385 0 0 0 15877 123 0 0 25 0 1 0 864432049 185483264 30712 4294967295 134512640 135726644 3221224592 3221223088 134744377 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45284 30712 300 300 0 44984 0
vsize: 181136
[startup+170.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 54389 0 0 0 16877 123 0 0 25 0 1 0 864432049 185483264 30716 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45284 30716 300 300 0 44984 0
vsize: 181136
[startup+180.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 55228 0 0 0 17874 125 0 0 25 0 1 0 864432049 186613760 30954 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45560 30954 300 300 0 45260 0
vsize: 182240
[startup+190.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 55477 0 0 0 18874 126 0 0 25 0 1 0 864432049 187547648 31137 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45788 31137 300 300 0 45488 0
vsize: 183152
[startup+200.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 55502 0 0 0 19874 126 0 0 25 0 1 0 864432049 187547648 31162 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45788 31162 300 300 0 45488 0
vsize: 183152
[startup+210.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 55510 0 0 0 20874 126 0 0 25 0 1 0 864432049 187547648 31170 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45788 31170 300 300 0 45488 0
vsize: 183152
[startup+220.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 55563 0 0 0 21874 126 0 0 25 0 1 0 864432049 187547648 31223 4294967295 134512640 135726644 3221224592 3221223088 134743946 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45788 31223 300 300 0 45488 0
vsize: 183152
[startup+230.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 55718 0 0 0 22874 126 0 0 25 0 1 0 864432049 188071936 31249 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45916 31249 300 300 0 45616 0
vsize: 183664
[startup+240.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 55802 0 0 0 23874 127 0 0 25 0 1 0 864432049 188203008 31300 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45948 31300 300 300 0 45648 0
vsize: 183792
[startup+250.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 55904 0 0 0 24874 127 0 0 25 0 1 0 864432049 188805120 31402 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46095 31402 300 300 0 45795 0
vsize: 184380
[startup+260.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 55913 0 0 0 25874 127 0 0 25 0 1 0 864432049 188805120 31411 4294967295 134512640 135726644 3221224592 3221223072 134729286 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46095 31411 300 300 0 45795 0
vsize: 184380
[startup+270.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 56053 0 0 0 26874 127 0 0 25 0 1 0 864432049 189857792 31551 4294967295 134512640 135726644 3221224592 3221223248 134731177 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46352 31551 300 300 0 46052 0
vsize: 185408
[startup+280.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 56684 0 0 0 27872 129 0 0 25 0 1 0 864432049 189587456 31548 4294967295 134512640 135726644 3221224592 3221223184 134743857 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46286 31548 300 300 0 45986 0
vsize: 185144
[startup+290.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 57000 0 0 0 28871 130 0 0 25 0 1 0 864432049 190779392 31765 4294967295 134512640 135726644 3221224592 3221223088 134744169 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46577 31765 300 300 0 46277 0
vsize: 186308
[startup+300.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 57009 0 0 0 29871 130 0 0 25 0 1 0 864432049 190779392 31774 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46577 31774 300 300 0 46277 0
vsize: 186308
[startup+310.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 57015 0 0 0 30872 130 0 0 25 0 1 0 864432049 190779392 31780 4294967295 134512640 135726644 3221224592 3221223184 134760026 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46577 31780 300 300 0 46277 0
vsize: 186308
[startup+320.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 57020 0 0 0 31872 130 0 0 25 0 1 0 864432049 190779392 31785 4294967295 134512640 135726644 3221224592 3221223152 134736792 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46577 31785 300 300 0 46277 0
vsize: 186308
[startup+330.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 57028 0 0 0 32872 130 0 0 25 0 1 0 864432049 190779392 31793 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46577 31793 300 300 0 46277 0
vsize: 186308
[startup+340.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 57035 0 0 0 33872 130 0 0 25 0 1 0 864432049 190779392 31800 4294967295 134512640 135726644 3221224592 3221223216 134744550 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46577 31800 300 300 0 46277 0
vsize: 186308
[startup+350.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 57043 0 0 0 34872 130 0 0 25 0 1 0 864432049 190779392 31808 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46577 31808 300 300 0 46277 0
vsize: 186308
[startup+360.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 57051 0 0 0 35872 130 0 0 25 0 1 0 864432049 190779392 31816 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46577 31816 300 300 0 46277 0
vsize: 186308
[startup+370.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 57060 0 0 0 36872 130 0 0 25 0 1 0 864432049 190779392 31825 4294967295 134512640 135726644 3221224592 3221223088 134744011 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46577 31825 300 300 0 46277 0
vsize: 186308
[startup+380.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 57071 0 0 0 37872 130 0 0 25 0 1 0 864432049 190779392 31836 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46577 31836 300 300 0 46277 0
vsize: 186308
[startup+390.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 57646 0 0 0 38871 132 0 0 25 0 1 0 864432049 193105920 32411 4294967295 134512640 135726644 3221224592 3221222744 134761847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47145 32411 300 300 0 46845 0
vsize: 188580
[startup+400.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 57660 0 0 0 39871 132 0 0 25 0 1 0 864432049 190779392 31857 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46577 31857 300 300 0 46277 0
vsize: 186308
[startup+410.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 57669 0 0 0 40871 132 0 0 25 0 1 0 864432049 190779392 31866 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46577 31866 300 300 0 46277 0
vsize: 186308
[startup+420.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 57677 0 0 0 41871 132 0 0 25 0 1 0 864432049 190779392 31874 4294967295 134512640 135726644 3221224592 3221223088 134743975 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46577 31874 300 300 0 46277 0
vsize: 186308
[startup+430.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 57684 0 0 0 42871 132 0 0 25 0 1 0 864432049 190779392 31881 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46577 31881 300 300 0 46277 0
vsize: 186308
[startup+440.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 57693 0 0 0 43871 133 0 0 25 0 1 0 864432049 190779392 31890 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46577 31890 300 300 0 46277 0
vsize: 186308
[startup+450.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 57701 0 0 0 44871 133 0 0 25 0 1 0 864432049 190779392 31898 4294967295 134512640 135726644 3221224592 3221223136 134736726 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46577 31898 300 300 0 46277 0
vsize: 186308
[startup+460.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 57710 0 0 0 45871 133 0 0 25 0 1 0 864432049 190779392 31907 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46577 31907 300 300 0 46277 0
vsize: 186308
[startup+470.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 57718 0 0 0 46871 133 0 0 25 0 1 0 864432049 190779392 31915 4294967295 134512640 135726644 3221224592 3221223088 134744382 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46577 31915 300 300 0 46277 0
vsize: 186308
[startup+480.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 57721 0 0 0 47872 133 0 0 25 0 1 0 864432049 190779392 31918 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46577 31918 300 300 0 46277 0
vsize: 186308
[startup+490.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 57727 0 0 0 48871 133 0 0 25 0 1 0 864432049 190779392 31924 4294967295 134512640 135726644 3221224592 3221223088 134744147 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46577 31924 300 300 0 46277 0
vsize: 186308
[startup+500.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 57734 0 0 0 49872 133 0 0 25 0 1 0 864432049 190779392 31931 4294967295 134512640 135726644 3221224592 3221223216 134744550 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46577 31931 300 300 0 46277 0
vsize: 186308
[startup+510.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 57744 0 0 0 50872 133 0 0 25 0 1 0 864432049 190779392 31941 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46577 31941 300 300 0 46277 0
vsize: 186308
[startup+520.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 57752 0 0 0 51872 133 0 0 25 0 1 0 864432049 190779392 31949 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46577 31949 300 300 0 46277 0
vsize: 186308
[startup+530.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 57760 0 0 0 52872 133 0 0 25 0 1 0 864432049 190779392 31957 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46577 31957 300 300 0 46277 0
vsize: 186308
[startup+540.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 57767 0 0 0 53872 134 0 0 25 0 1 0 864432049 190779392 31964 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46577 31964 300 300 0 46277 0
vsize: 186308
[startup+550.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 57773 0 0 0 54872 134 0 0 25 0 1 0 864432049 190779392 31970 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46577 31970 300 300 0 46277 0
vsize: 186308
[startup+560.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 57779 0 0 0 55872 134 0 0 25 0 1 0 864432049 190779392 31976 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46577 31976 300 300 0 46277 0
vsize: 186308
[startup+570.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 57787 0 0 0 56872 134 0 0 25 0 1 0 864432049 190779392 31984 4294967295 134512640 135726644 3221224592 3221222916 134728860 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46577 31984 300 300 0 46277 0
vsize: 186308
[startup+580.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 57794 0 0 0 57872 134 0 0 25 0 1 0 864432049 190779392 31991 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46577 31991 300 300 0 46277 0
vsize: 186308
[startup+590.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 57800 0 0 0 58872 134 0 0 25 0 1 0 864432049 190779392 31997 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46577 31997 300 300 0 46277 0
vsize: 186308
[startup+600.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 57807 0 0 0 59873 134 0 0 25 0 1 0 864432049 190779392 32004 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46577 32004 300 300 0 46277 0
vsize: 186308
[startup+610.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 57813 0 0 0 60873 134 0 0 25 0 1 0 864432049 190779392 32010 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46577 32010 300 300 0 46277 0
vsize: 186308
[startup+620.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 57821 0 0 0 61873 134 0 0 25 0 1 0 864432049 190779392 32018 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46577 32018 300 300 0 46277 0
vsize: 186308
[startup+630.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 58485 0 0 0 62871 136 0 0 25 0 1 0 864432049 191041536 32049 4294967295 134512640 135726644 3221224592 3221223088 134744244 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46641 32049 300 300 0 46341 0
vsize: 186564
[startup+640.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 59051 0 0 0 63870 137 0 0 25 0 1 0 864432049 193417216 32516 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 47221 32516 300 300 0 46921 0
vsize: 188884
[startup+650.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 59544 0 0 0 64868 139 0 0 25 0 1 0 864432049 195010560 32778 4294967295 134512640 135726644 3221224592 3221223088 134743987 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 47610 32778 300 300 0 47310 0
vsize: 190440
[startup+660.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 59667 0 0 0 65867 140 0 0 25 0 1 0 864432049 195735552 32901 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 47787 32901 300 300 0 47487 0
vsize: 191148
[startup+670.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 59677 0 0 0 66867 141 0 0 25 0 1 0 864432049 195735552 32911 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 47787 32911 300 300 0 47487 0
vsize: 191148
[startup+680.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 59685 0 0 0 67866 142 0 0 25 0 1 0 864432049 195735552 32919 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 47787 32919 300 300 0 47487 0
vsize: 191148
[startup+690.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 59693 0 0 0 68865 142 0 0 25 0 1 0 864432049 195735552 32927 4294967295 134512640 135726644 3221224592 3221223088 134744346 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 47787 32927 300 300 0 47487 0
vsize: 191148
[startup+700.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 59700 0 0 0 69865 142 0 0 25 0 1 0 864432049 195735552 32934 4294967295 134512640 135726644 3221224592 3221223088 134744022 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 47787 32934 300 300 0 47487 0
vsize: 191148
[startup+710.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 59708 0 0 0 70864 143 0 0 25 0 1 0 864432049 195735552 32942 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 47787 32942 300 300 0 47487 0
vsize: 191148
[startup+720.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 59714 0 0 0 71864 143 0 0 25 0 1 0 864432049 195735552 32948 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 47787 32948 300 300 0 47487 0
vsize: 191148
[startup+730.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 59721 0 0 0 72864 144 0 0 25 0 1 0 864432049 195735552 32955 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 47787 32955 300 300 0 47487 0
vsize: 191148
[startup+740.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 59729 0 0 0 73864 144 0 0 25 0 1 0 864432049 195735552 32963 4294967295 134512640 135726644 3221224592 3221223088 134744142 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 47787 32963 300 300 0 47487 0
vsize: 191148
[startup+750.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 59735 0 0 0 74863 144 0 0 25 0 1 0 864432049 195735552 32969 4294967295 134512640 135726644 3221224592 3221223240 134744673 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 47787 32969 300 300 0 47487 0
vsize: 191148
[startup+760.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 59743 0 0 0 75863 145 0 0 25 0 1 0 864432049 195735552 32977 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 47787 32977 300 300 0 47487 0
vsize: 191148
[startup+770.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 59749 0 0 0 76863 145 0 0 25 0 1 0 864432049 195735552 32983 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 47787 32983 300 300 0 47487 0
vsize: 191148
[startup+780.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 59756 0 0 0 77863 146 0 0 25 0 1 0 864432049 195735552 32990 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 47787 32990 300 300 0 47487 0
vsize: 191148
[startup+790.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 59762 0 0 0 78863 146 0 0 25 0 1 0 864432049 195735552 32996 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 47787 32996 300 300 0 47487 0
vsize: 191148
[startup+800.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 59769 0 0 0 79862 146 0 0 25 0 1 0 864432049 195735552 33003 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 47787 33003 300 300 0 47487 0
vsize: 191148
[startup+810.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 59775 0 0 0 80862 146 0 0 25 0 1 0 864432049 195735552 33009 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 47787 33009 300 300 0 47487 0
vsize: 191148
[startup+820.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 59782 0 0 0 81862 147 0 0 25 0 1 0 864432049 195735552 33016 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 47787 33016 300 300 0 47487 0
vsize: 191148
[startup+830.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 59788 0 0 0 82862 147 0 0 25 0 1 0 864432049 195735552 33022 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 47787 33022 300 300 0 47487 0
vsize: 191148
[startup+840.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 59796 0 0 0 83861 148 0 0 25 0 1 0 864432049 195735552 33030 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 47787 33030 300 300 0 47487 0
vsize: 191148
[startup+850.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 59803 0 0 0 84861 148 0 0 25 0 1 0 864432049 195735552 33037 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 47787 33037 300 300 0 47487 0
vsize: 191148
[startup+860.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 59811 0 0 0 85861 149 0 0 25 0 1 0 864432049 195735552 33045 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 47787 33045 300 300 0 47487 0
vsize: 191148
[startup+870.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 59817 0 0 0 86861 149 0 0 25 0 1 0 864432049 195735552 33051 4294967295 134512640 135726644 3221224592 3221223088 134743982 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 47787 33051 300 300 0 47487 0
vsize: 191148
[startup+880.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 59827 0 0 0 87860 149 0 0 25 0 1 0 864432049 195735552 33061 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 47787 33061 300 300 0 47487 0
vsize: 191148
[startup+890.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 59833 0 0 0 88860 150 0 0 25 0 1 0 864432049 195735552 33067 4294967295 134512640 135726644 3221224592 3221223072 134729208 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 47787 33067 300 300 0 47487 0
vsize: 191148
[startup+900.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 59839 0 0 0 89860 150 0 0 25 0 1 0 864432049 195735552 33073 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 47787 33073 300 300 0 47487 0
vsize: 191148
[startup+910.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 59846 0 0 0 90859 151 0 0 25 0 1 0 864432049 195735552 33080 4294967295 134512640 135726644 3221224592 3221223136 134736726 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 47787 33080 300 300 0 47487 0
vsize: 191148
[startup+920.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 59856 0 0 0 91859 151 0 0 25 0 1 0 864432049 195735552 33090 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 47787 33090 300 300 0 47487 0
vsize: 191148
[startup+930.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 59865 0 0 0 92858 152 0 0 25 0 1 0 864432049 195735552 33099 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 47787 33099 300 300 0 47487 0
vsize: 191148
[startup+940.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 59872 0 0 0 93858 152 0 0 25 0 1 0 864432049 195735552 33106 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 47787 33106 300 300 0 47487 0
vsize: 191148
[startup+950.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 59881 0 0 0 94858 153 0 0 25 0 1 0 864432049 195735552 33115 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 47787 33115 300 300 0 47487 0
vsize: 191148
[startup+960.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 59887 0 0 0 95857 154 0 0 25 0 1 0 864432049 195735552 33121 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 47787 33121 300 300 0 47487 0
vsize: 191148
[startup+970.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 59894 0 0 0 96857 154 0 0 25 0 1 0 864432049 195735552 33128 4294967295 134512640 135726644 3221224592 3221223260 134745065 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 47787 33128 300 300 0 47487 0
vsize: 191148
[startup+980.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 59904 0 0 0 97857 154 0 0 25 0 1 0 864432049 195735552 33138 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 47787 33138 300 300 0 47487 0
vsize: 191148
[startup+990.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 59911 0 0 0 98856 155 0 0 25 0 1 0 864432049 195735552 33145 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 47787 33145 300 300 0 47487 0
vsize: 191148
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 59918 0 0 0 99856 155 0 0 25 0 1 0 864432049 195735552 33152 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 47787 33152 300 300 0 47487 0
vsize: 191148
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 59927 0 0 0 100856 156 0 0 25 0 1 0 864432049 195735552 33161 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 47787 33161 300 300 0 47487 0
vsize: 191148
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 59936 0 0 0 101856 156 0 0 25 0 1 0 864432049 195735552 33170 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 47787 33170 300 300 0 47487 0
vsize: 191148
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 59944 0 0 0 102855 156 0 0 25 0 1 0 864432049 195735552 33178 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 47787 33178 300 300 0 47487 0
vsize: 191148
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 59954 0 0 0 103855 157 0 0 25 0 1 0 864432049 195735552 33188 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 47787 33188 300 300 0 47487 0
vsize: 191148
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 59963 0 0 0 104854 157 0 0 25 0 1 0 864432049 195735552 33197 4294967295 134512640 135726644 3221224592 3221223088 134743990 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 47787 33197 300 300 0 47487 0
vsize: 191148
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 60818 0 0 0 105852 160 0 0 25 0 1 0 864432049 197570560 33419 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 48235 33419 300 300 0 47935 0
vsize: 192940
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 60848 0 0 0 106852 160 0 0 25 0 1 0 864432049 197570560 33449 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 48235 33449 300 300 0 47935 0
vsize: 192940
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 60882 0 0 0 107852 160 0 0 25 0 1 0 864432049 197570560 33483 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 48235 33483 300 300 0 47935 0
vsize: 192940
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 60902 0 0 0 108851 161 0 0 25 0 1 0 864432049 197570560 33503 4294967295 134512640 135726644 3221224592 3221223088 134744030 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 48235 33503 300 300 0 47935 0
vsize: 192940
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 60932 0 0 0 109851 161 0 0 25 0 1 0 864432049 197570560 33533 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 48235 33533 300 300 0 47935 0
vsize: 192940
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 60959 0 0 0 110851 161 0 0 25 0 1 0 864432049 197570560 33560 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 48235 33560 300 300 0 47935 0
vsize: 192940
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 60988 0 0 0 111851 162 0 0 25 0 1 0 864432049 197570560 33589 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 48235 33589 300 300 0 47935 0
vsize: 192940
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 61020 0 0 0 112851 162 0 0 25 0 1 0 864432049 197570560 33621 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 48235 33621 300 300 0 47935 0
vsize: 192940
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 61041 0 0 0 113851 162 0 0 25 0 1 0 864432049 197570560 33642 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 48235 33642 300 300 0 47935 0
vsize: 192940
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 61083 0 0 0 114851 162 0 0 25 0 1 0 864432049 197570560 33684 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 48235 33684 300 300 0 47935 0
vsize: 192940
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 61109 0 0 0 115850 163 0 0 25 0 1 0 864432049 197570560 33710 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 48235 33710 300 300 0 47935 0
vsize: 192940
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 61140 0 0 0 116850 163 0 0 25 0 1 0 864432049 197570560 33741 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 48235 33741 300 300 0 47935 0
vsize: 192940
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 61170 0 0 0 117849 164 0 0 25 0 1 0 864432049 197570560 33771 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 48235 33771 300 300 0 47935 0
vsize: 192940
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 61302 0 0 0 118848 165 0 0 25 0 1 0 864432049 198246400 33903 4294967295 134512640 135726644 3221224592 3221223184 134759980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 48400 33903 300 300 0 48100 0
vsize: 193600
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19118
Raw data (stat): 19118 (pb2sat) R 19117 4613 4612 0 -1 0 61329 0 0 0 119848 166 0 0 25 0 1 0 864432049 198246400 33930 4294967295 134512640 135726644 3221224592 3221223184 134759980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 48400 33930 300 300 0 48100 0
vsize: 193600
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.43 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 19118
Raw data (stat): 19118 (pb2sat) Z 19117 4613 4612 0 -1 12 61330 0 0 0 119980 173 0 0 25 0 1 0 864432049 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): 1201.43
CPU time (s): 1201.54
CPU user time (s): 1199.81
CPU system time (s): 1.73274
CPU usage (%): 100.009
Max. virtual memory (Kb): 193600
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####