PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/web/uclid_pb_benchmarks/normalized-cache-ibm-q-unbounded.Ih1arity.ucl.opb
MD5SUM	2fc65c15b9b26fc3028e8a890f1d86ad
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	131
Number of bits of the biggest number in a constraint	8
Biggest sum of numbers in a constraint	513
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1075.62
Number of variables	201731
Total number of constraints	592525
Number of constraints which are clauses	579429
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	13096
Minimum length of a constraint	1
Maximum length of a constraint	15
Trace number 42180

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-16 01:16:19 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25380 boxname=wulflinc4 idbench=282 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  2fc65c15b9b26fc3028e8a890f1d86ad  /oldhome/oroussel/tmp/wulflinc4/normalized-cache-ibm-q-unbounded.Ih1arity.ucl.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-cache-ibm-q-unbounded.Ih1arity.ucl.opb
IDLAUNCH: 25380
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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.169
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:        736860 kB
Buffers:         33816 kB
Cached:         241184 kB
SwapCached:        944 kB
Active:          51372 kB
Inactive:       225772 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        736580 kB
SwapTotal:     2097136 kB
SwapFree:      2095208 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4996 kB
Slab:            14880 kB
Committed_AS:    71904 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 01:36:23 (client local time) WITH STATUS 0 IN 1201.98 SECONDS
stats: 25380 7 1201.98 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 15614/479651	Time: 58.2591/86400
c Decision: 15723/479651	Time: 167.964/86400
c Decision: 17551/479651	Time: 251.781/86400
c Decision: 17551/479651	Time: 280.761/86400
c Decision: 17590/479651	Time: 360.781/86400
c Decision: 17594/479651	Time: 392.49/86400
c Decision: 17600/479651	Time: 443.364/86400
c Decision: 17694/479651	Time: 545.538/86400
c Decision: 17785/479651	Time: 658.795/86400
c Decision: 17800/479651	Time: 741.224/86400
c Decision: 17805/479651	Time: 790.076/86400
c Decision: 17805/479651	Time: 842.247/86400
c Decision: 17904/479651	Time: 1015.42/86400
c Decision: 17904/479651	Time: 1063.93/86400
c Decision: 17914/479651	Time: 1107.37/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.89 0.98 0.91 2/54 19456
Raw data (stat): 19456 (runsolver) R 19455 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 966721300 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0004 s]
Raw data (loadavg): 0.90 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 5049 0 0 0 987 12 0 0 25 0 1 0 966721300 17321984 3125 4294967295 134512640 135730672 3221224560 3221221064 135284236 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4229 3125 301 301 0 3928 0
vsize: 16916
[startup+20.0001 s]
Raw data (loadavg): 0.92 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 10002 0 0 0 1973 25 0 0 25 0 1 0 966721300 33366016 6059 4294967295 134512640 135730672 3221224560 3221221740 134576104 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8146 6059 301 301 0 7845 0
vsize: 32584
[startup+30.0004 s]
Raw data (loadavg): 0.93 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 13770 0 0 0 2962 37 0 0 25 0 1 0 966721300 42631168 8257 4294967295 134512640 135730672 3221224560 3221221504 134539724 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10408 8257 301 301 0 10107 0
vsize: 41632
[startup+40.0018 s]
Raw data (loadavg): 0.94 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 19854 0 0 0 3947 52 0 0 25 0 1 0 966721300 65454080 11877 4294967295 134512640 135730672 3221224560 3221221856 134570540 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15980 11877 301 301 0 15679 0
vsize: 63920
[startup+50.0028 s]
Raw data (loadavg): 0.95 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 21407 0 0 0 4942 57 0 0 25 0 1 0 966721300 65724416 13397 4294967295 134512640 135730672 3221224560 3221221760 134578420 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16046 13397 301 301 0 15745 0
vsize: 64184
[startup+60.0029 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 27095 0 0 0 5927 70 0 0 25 0 1 0 966721300 83038208 15981 4294967295 134512640 135730672 3221224560 3221221008 134770759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20273 15981 301 301 0 19972 0
vsize: 81092
[startup+70.0024 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 49737 0 0 0 6878 120 0 0 25 0 1 0 966721300 149528576 27447 4294967295 134512640 135730672 3221224560 3221221872 134570317 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36506 27447 301 301 0 36205 0
vsize: 146024
[startup+80.0034 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 59386 0 0 0 7855 143 0 0 25 0 1 0 966721300 179949568 36001 4294967295 134512640 135730672 3221224560 3221223056 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43933 36001 301 301 0 43632 0
vsize: 175732
[startup+90.0032 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 60701 0 0 0 8850 147 0 0 25 0 1 0 966721300 185671680 37151 4294967295 134512640 135730672 3221224560 3221223056 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45330 37151 301 301 0 45029 0
vsize: 181320
[startup+100.004 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 62243 0 0 0 9847 151 0 0 25 0 1 0 966721300 192606208 38276 4294967295 134512640 135730672 3221224560 3221222880 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47023 38276 301 301 0 46722 0
vsize: 188092
[startup+110.004 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 63648 0 0 0 10844 154 0 0 25 0 1 0 966721300 198078464 39254 4294967295 134512640 135730672 3221224560 3221223056 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48359 39254 301 301 0 48058 0
vsize: 193436
[startup+120.004 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 64275 0 0 0 11843 155 0 0 25 0 1 0 966721300 200069120 39684 4294967295 134512640 135730672 3221224560 3221222880 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48845 39684 301 301 0 48544 0
vsize: 195380
[startup+130.005 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 64361 0 0 0 12843 156 0 0 25 0 1 0 966721300 200470528 39770 4294967295 134512640 135730672 3221224560 3221222880 134732493 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48943 39770 301 301 0 48642 0
vsize: 195772
[startup+140.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 65643 0 0 0 13839 159 0 0 25 0 1 0 966721300 201801728 39984 4294967295 134512640 135730672 3221224560 3221223056 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49268 39984 301 301 0 48967 0
vsize: 197072
[startup+150.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 66376 0 0 0 14837 161 0 0 25 0 1 0 966721300 204599296 40453 4294967295 134512640 135730672 3221224560 3221223056 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49951 40453 301 301 0 49650 0
vsize: 199804
[startup+160.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 66643 0 0 0 15835 163 0 0 25 0 1 0 966721300 205393920 40622 4294967295 134512640 135730672 3221224560 3221223056 134747636 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50145 40622 301 301 0 49844 0
vsize: 200580
[startup+170.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 67194 0 0 0 16834 164 0 0 25 0 1 0 966721300 206983168 40909 4294967295 134512640 135730672 3221224560 3221223056 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50533 40909 301 301 0 50232 0
vsize: 202132
[startup+180.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 67759 0 0 0 17833 166 0 0 25 0 1 0 966721300 209248256 41309 4294967295 134512640 135730672 3221224560 3221222880 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51086 41309 301 301 0 50785 0
vsize: 204344
[startup+190.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 68435 0 0 0 18832 167 0 0 25 0 1 0 966721300 211922944 41787 4294967295 134512640 135730672 3221224560 3221223152 134747724 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51739 41787 301 301 0 51438 0
vsize: 206956
[startup+200.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 68929 0 0 0 19831 168 0 0 25 0 1 0 966721300 213512192 42084 4294967295 134512640 135730672 3221224560 3221222880 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 52127 42084 301 301 0 51826 0
vsize: 208508
[startup+210.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 69024 0 0 0 20830 169 0 0 25 0 1 0 966721300 214044672 42179 4294967295 134512640 135730672 3221224560 3221223056 134747578 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 52257 42179 301 301 0 51956 0
vsize: 209028
[startup+220.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 69154 0 0 0 21830 170 0 0 25 0 1 0 966721300 214306816 42244 4294967295 134512640 135730672 3221224560 3221223056 134747657 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 52321 42244 301 301 0 52020 0
vsize: 209284
[startup+230.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 69245 0 0 0 22829 170 0 0 25 0 1 0 966721300 214437888 42302 4294967295 134512640 135730672 3221224560 3221223152 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 52353 42302 301 301 0 52052 0
vsize: 209412
[startup+240.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 69346 0 0 0 23829 171 0 0 25 0 1 0 966721300 214835200 42370 4294967295 134512640 135730672 3221224560 3221223056 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 52450 42370 301 301 0 52149 0
vsize: 209800
[startup+250.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 70417 0 0 0 24826 174 0 0 25 0 1 0 966721300 215367680 42504 4294967295 134512640 135730672 3221224560 3221223056 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 52580 42504 301 301 0 52279 0
vsize: 210320
[startup+260.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 70662 0 0 0 25824 174 0 0 25 0 1 0 966721300 216027136 42650 4294967295 134512640 135730672 3221224560 3221223184 134748176 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 52741 42650 301 301 0 52440 0
vsize: 210964
[startup+270.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 70770 0 0 0 26823 175 0 0 25 0 1 0 966721300 216158208 42725 4294967295 134512640 135730672 3221224560 3221223248 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 52773 42725 301 301 0 52472 0
vsize: 211092
[startup+280.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 71169 0 0 0 27822 177 0 0 25 0 1 0 966721300 217341952 42895 4294967295 134512640 135730672 3221224560 3221223056 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53062 42895 301 301 0 52761 0
vsize: 212248
[startup+290.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 71220 0 0 0 28821 177 0 0 25 0 1 0 966721300 217473024 42913 4294967295 134512640 135730672 3221224560 3221223056 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53094 42913 301 301 0 52793 0
vsize: 212376
[startup+300.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 71511 0 0 0 29821 178 0 0 25 0 1 0 966721300 218259456 43008 4294967295 134512640 135730672 3221224560 3221223248 134748554 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53286 43008 301 301 0 52985 0
vsize: 213144
[startup+310.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 71657 0 0 0 30820 179 0 0 25 0 1 0 966721300 218787840 43088 4294967295 134512640 135730672 3221224560 3221223056 134747618 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53415 43088 301 301 0 53114 0
vsize: 213660
[startup+320.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 71668 0 0 0 31820 179 0 0 25 0 1 0 966721300 218787840 43099 4294967295 134512640 135730672 3221224560 3221223208 134748061 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53415 43099 301 301 0 53114 0
vsize: 213660
[startup+330.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 72618 0 0 0 32818 181 0 0 25 0 1 0 966721300 218787840 43112 4294967295 134512640 135730672 3221224560 3221222880 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53415 43112 301 301 0 53114 0
vsize: 213660
[startup+340.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 72750 0 0 0 33818 181 0 0 25 0 1 0 966721300 219181056 43146 4294967295 134512640 135730672 3221224560 3221223056 134747930 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53511 43146 301 301 0 53210 0
vsize: 214044
[startup+350.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 72763 0 0 0 34818 182 0 0 25 0 1 0 966721300 219181056 43159 4294967295 134512640 135730672 3221224560 3221223056 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53511 43159 301 301 0 53210 0
vsize: 214044
[startup+360.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 73808 0 0 0 35816 184 0 0 25 0 1 0 966721300 219443200 43202 4294967295 134512640 135730672 3221224560 3221222896 134739213 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53575 43202 301 301 0 53274 0
vsize: 214300
[startup+370.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 74132 0 0 0 36815 185 0 0 25 0 1 0 966721300 220229632 43331 4294967295 134512640 135730672 3221224560 3221222880 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53767 43331 301 301 0 53466 0
vsize: 215068
[startup+380.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 74703 0 0 0 37814 187 0 0 25 0 1 0 966721300 222351360 43673 4294967295 134512640 135730672 3221224560 3221223216 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 54285 43673 301 301 0 53984 0
vsize: 217140
[startup+390.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 74807 0 0 0 38813 188 0 0 25 0 1 0 966721300 222748672 43744 4294967295 134512640 135730672 3221224560 3221223056 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 54382 43744 301 301 0 54081 0
vsize: 217528
[startup+400.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 75004 0 0 0 39812 189 0 0 25 0 1 0 966721300 223682560 43908 4294967295 134512640 135730672 3221224560 3221223056 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 54610 43908 301 301 0 54309 0
vsize: 218440
[startup+410.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 75062 0 0 0 40811 189 0 0 25 0 1 0 966721300 224083968 43966 4294967295 134512640 135730672 3221224560 3221223160 134747441 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 54708 43966 301 301 0 54407 0
vsize: 218832
[startup+420.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 75089 0 0 0 41812 189 0 0 25 0 1 0 966721300 224083968 43993 4294967295 134512640 135730672 3221224560 3221223152 134764020 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 54708 43993 301 301 0 54407 0
vsize: 218832
[startup+430.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 75188 0 0 0 42811 190 0 0 25 0 1 0 966721300 224215040 44059 4294967295 134512640 135730672 3221224560 3221223248 134748554 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 54740 44059 301 301 0 54439 0
vsize: 218960
[startup+440.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 76232 0 0 0 43809 193 0 0 25 0 1 0 966721300 224477184 44100 4294967295 134512640 135730672 3221224560 3221223248 134748554 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 54804 44100 301 301 0 54503 0
vsize: 219216
[startup+450.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 76423 0 0 0 44808 194 0 0 25 0 1 0 966721300 224870400 44193 4294967295 134512640 135730672 3221224560 3221223056 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 54900 44193 301 301 0 54599 0
vsize: 219600
[startup+460.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 76435 0 0 0 45808 194 0 0 25 0 1 0 966721300 224870400 44205 4294967295 134512640 135730672 3221224560 3221222888 134739217 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 54900 44205 301 301 0 54599 0
vsize: 219600
[startup+470.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 77388 0 0 0 46805 197 0 0 25 0 1 0 966721300 224870400 44221 4294967295 134512640 135730672 3221224560 3221222880 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54900 44221 301 301 0 54599 0
vsize: 219600
[startup+480.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 77542 0 0 0 47804 198 0 0 25 0 1 0 966721300 225017856 44375 4294967295 134512640 135730672 3221224560 3221223180 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 54936 44375 301 301 0 54635 0
vsize: 219744
[startup+490.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 77654 0 0 0 48803 199 0 0 25 0 1 0 966721300 225280000 44422 4294967295 134512640 135730672 3221224560 3221223180 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55000 44422 301 301 0 54699 0
vsize: 220000
[startup+500.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 77682 0 0 0 49803 199 0 0 25 0 1 0 966721300 225415168 44450 4294967295 134512640 135730672 3221224560 3221223056 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55033 44450 301 301 0 54732 0
vsize: 220132
[startup+510.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 77738 0 0 0 50802 200 0 0 25 0 1 0 966721300 225595392 44506 4294967295 134512640 135730672 3221224560 3221223232 134748644 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55077 44506 301 301 0 54776 0
vsize: 220308
[startup+520.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 78692 0 0 0 51801 201 0 0 25 0 1 0 966721300 225595392 44523 4294967295 134512640 135730672 3221224560 3221223056 134747578 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55077 44523 301 301 0 54776 0
vsize: 220308
[startup+530.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 78749 0 0 0 52801 202 0 0 25 0 1 0 966721300 225861632 44580 4294967295 134512640 135730672 3221224560 3221222880 134732493 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55142 44580 301 301 0 54841 0
vsize: 220568
[startup+540.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 78754 0 0 0 53800 203 0 0 25 0 1 0 966721300 225861632 44585 4294967295 134512640 135730672 3221224560 3221223056 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55142 44585 301 301 0 54841 0
vsize: 220568
[startup+550.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 78865 0 0 0 54800 203 0 0 25 0 1 0 966721300 226123776 44631 4294967295 134512640 135730672 3221224560 3221223056 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55206 44631 301 301 0 54905 0
vsize: 220824
[startup+560.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 78993 0 0 0 55800 204 0 0 25 0 1 0 966721300 226385920 44694 4294967295 134512640 135730672 3221224560 3221223056 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55270 44694 301 301 0 54969 0
vsize: 221080
[startup+570.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 79316 0 0 0 56799 204 0 0 25 0 1 0 966721300 227172352 44823 4294967295 134512640 135730672 3221224560 3221223056 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55462 44823 301 301 0 55161 0
vsize: 221848
[startup+580.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 79372 0 0 0 57799 205 0 0 25 0 1 0 966721300 227303424 44846 4294967295 134512640 135730672 3221224560 3221222880 134732479 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55494 44846 301 301 0 55193 0
vsize: 221976
[startup+590.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 79389 0 0 0 58799 205 0 0 25 0 1 0 966721300 227303424 44863 4294967295 134512640 135730672 3221224560 3221222880 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55494 44863 301 301 0 55193 0
vsize: 221976
[startup+600.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 79468 0 0 0 59798 206 0 0 25 0 1 0 966721300 227565568 44877 4294967295 134512640 135730672 3221224560 3221223056 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55558 44877 301 301 0 55257 0
vsize: 222232
[startup+610.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 79506 0 0 0 60798 206 0 0 25 0 1 0 966721300 227565568 44915 4294967295 134512640 135730672 3221224560 3221222896 134739213 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55558 44915 301 301 0 55257 0
vsize: 222232
[startup+620.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 80512 0 0 0 61796 209 0 0 25 0 1 0 966721300 231669760 45921 4294967295 134512640 135730672 3221224560 3221222716 134765468 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56560 45921 301 301 0 56259 0
vsize: 226240
[startup+630.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 80527 0 0 0 62795 209 0 0 25 0 1 0 966721300 227831808 44999 4294967295 134512640 135730672 3221224560 3221223056 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55623 44999 301 301 0 55322 0
vsize: 222492
[startup+640.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 80559 0 0 0 63795 210 0 0 25 0 1 0 966721300 227831808 45031 4294967295 134512640 135730672 3221224560 3221223152 134747445 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55623 45031 301 301 0 55322 0
vsize: 222492
[startup+650.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 80640 0 0 0 64794 211 0 0 25 0 1 0 966721300 228093952 45047 4294967295 134512640 135730672 3221224560 3221223056 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55687 45047 301 301 0 55386 0
vsize: 222748
[startup+660.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 80662 0 0 0 65794 211 0 0 25 0 1 0 966721300 228290560 45069 4294967295 134512640 135730672 3221224560 3221223248 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55735 45069 301 301 0 55434 0
vsize: 222940
[startup+670.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 80983 0 0 0 66793 212 0 0 25 0 1 0 966721300 229076992 45195 4294967295 134512640 135730672 3221224560 3221223056 134747770 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55927 45195 301 301 0 55626 0
vsize: 223708
[startup+680.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 81102 0 0 0 67793 213 0 0 25 0 1 0 966721300 229339136 45249 4294967295 134512640 135730672 3221224560 3221223056 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55991 45249 301 301 0 55690 0
vsize: 223964
[startup+690.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 81143 0 0 0 68793 213 0 0 25 0 1 0 966721300 229339136 45290 4294967295 134512640 135730672 3221224560 3221223056 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55991 45290 301 301 0 55690 0
vsize: 223964
[startup+700.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 81163 0 0 0 69793 213 0 0 25 0 1 0 966721300 229339136 45310 4294967295 134512640 135730672 3221224560 3221223152 134763576 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55991 45310 301 301 0 55690 0
vsize: 223964
[startup+710.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 81316 0 0 0 70792 214 0 0 25 0 1 0 966721300 229863424 45333 4294967295 134512640 135730672 3221224560 3221223216 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56119 45333 301 301 0 55818 0
vsize: 224476
[startup+720.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 81390 0 0 0 71791 215 0 0 25 0 1 0 966721300 230391808 45407 4294967295 134512640 135730672 3221224560 3221223180 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56248 45407 301 301 0 55947 0
vsize: 224992
[startup+730.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 81472 0 0 0 72791 215 0 0 25 0 1 0 966721300 230653952 45424 4294967295 134512640 135730672 3221224560 3221223216 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56312 45424 301 301 0 56011 0
vsize: 225248
[startup+740.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 82420 0 0 0 73788 218 0 0 25 0 1 0 966721300 230653952 45435 4294967295 134512640 135730672 3221224560 3221223216 134734835 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56312 45435 301 301 0 56011 0
vsize: 225248
[startup+750.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 82429 0 0 0 74788 219 0 0 25 0 1 0 966721300 230653952 45444 4294967295 134512640 135730672 3221224560 3221223168 134744407 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56312 45444 301 301 0 56011 0
vsize: 225248
[startup+760.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 82435 0 0 0 75788 219 0 0 25 0 1 0 966721300 230653952 45450 4294967295 134512640 135730672 3221224560 3221223056 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56312 45450 301 301 0 56011 0
vsize: 225248
[startup+770.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 82510 0 0 0 76788 220 0 0 25 0 1 0 966721300 230916096 45460 4294967295 134512640 135730672 3221224560 3221222880 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56376 45460 301 301 0 56075 0
vsize: 225504
[startup+780.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 82514 0 0 0 77788 220 0 0 25 0 1 0 966721300 230916096 45464 4294967295 134512640 135730672 3221224560 3221223056 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56376 45464 301 301 0 56075 0
vsize: 225504
[startup+790.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 82615 0 0 0 78788 220 0 0 25 0 1 0 966721300 231579648 45565 4294967295 134512640 135730672 3221224560 3221223184 134748264 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56538 45566 301 301 0 56237 0
vsize: 226152
[startup+800.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 82816 0 0 0 79787 220 0 0 25 0 1 0 966721300 232177664 45766 4294967295 134512640 135730672 3221224560 3221223056 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56684 45766 301 301 0 56383 0
vsize: 226736
[startup+810.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 82827 0 0 0 80787 221 0 0 25 0 1 0 966721300 232177664 45777 4294967295 134512640 135730672 3221224560 3221223180 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56684 45777 301 301 0 56383 0
vsize: 226736
[startup+820.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 83767 0 0 0 81785 224 0 0 25 0 1 0 966721300 232177664 45780 4294967295 134512640 135730672 3221224560 3221222880 134732459 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56684 45780 301 301 0 56383 0
vsize: 226736
[startup+830.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 83782 0 0 0 82784 224 0 0 25 0 1 0 966721300 232177664 45795 4294967295 134512640 135730672 3221224560 3221223180 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56684 45795 301 301 0 56383 0
vsize: 226736
[startup+840.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 83793 0 0 0 83784 224 0 0 25 0 1 0 966721300 232177664 45806 4294967295 134512640 135730672 3221224560 3221222880 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56684 45806 301 301 0 56383 0
vsize: 226736
[startup+850.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 83801 0 0 0 84784 225 0 0 25 0 1 0 966721300 232177664 45814 4294967295 134512640 135730672 3221224560 3221222880 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56684 45814 301 301 0 56383 0
vsize: 226736
[startup+860.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 83809 0 0 0 85783 226 0 0 25 0 1 0 966721300 232177664 45822 4294967295 134512640 135730672 3221224560 3221223056 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56684 45822 301 301 0 56383 0
vsize: 226736
[startup+870.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 84747 0 0 0 86781 228 0 0 25 0 1 0 966721300 232177664 45823 4294967295 134512640 135730672 3221224560 3221223216 134748656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56684 45823 301 301 0 56383 0
vsize: 226736
[startup+880.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 84961 0 0 0 87781 229 0 0 25 0 1 0 966721300 233353216 46037 4294967295 134512640 135730672 3221224560 3221223056 134747902 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56971 46037 301 301 0 56670 0
vsize: 227884
[startup+890.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 84987 0 0 0 88780 229 0 0 25 0 1 0 966721300 233353216 46063 4294967295 134512640 135730672 3221224560 3221223248 134748554 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56971 46063 301 301 0 56670 0
vsize: 227884
[startup+900.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 84988 0 0 0 89780 230 0 0 25 0 1 0 966721300 233353216 46064 4294967295 134512640 135730672 3221224560 3221223216 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56971 46064 301 301 0 56670 0
vsize: 227884
[startup+910.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 84989 0 0 0 90780 230 0 0 25 0 1 0 966721300 233353216 46065 4294967295 134512640 135730672 3221224560 3221223056 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56971 46065 301 301 0 56670 0
vsize: 227884
[startup+920.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 85928 0 0 0 91777 233 0 0 25 0 1 0 966721300 233353216 46067 4294967295 134512640 135730672 3221224560 3221223216 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56971 46067 301 301 0 56670 0
vsize: 227884
[startup+930.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 85929 0 0 0 92777 234 0 0 25 0 1 0 966721300 233353216 46068 4294967295 134512640 135730672 3221224560 3221222880 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56971 46068 301 301 0 56670 0
vsize: 227884
[startup+940.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 86012 0 0 0 93777 234 0 0 25 0 1 0 966721300 233615360 46086 4294967295 134512640 135730672 3221224560 3221223184 134748200 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57035 46086 301 301 0 56734 0
vsize: 228140
[startup+950.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 86013 0 0 0 94777 234 0 0 25 0 1 0 966721300 233615360 46087 4294967295 134512640 135730672 3221224560 3221223056 134747885 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57035 46087 301 301 0 56734 0
vsize: 228140
[startup+960.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 86018 0 0 0 95776 234 0 0 25 0 1 0 966721300 233615360 46092 4294967295 134512640 135730672 3221224560 3221223056 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57035 46092 301 301 0 56734 0
vsize: 228140
[startup+970.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 86027 0 0 0 96776 235 0 0 25 0 1 0 966721300 233615360 46101 4294967295 134512640 135730672 3221224560 3221223056 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57035 46101 301 301 0 56734 0
vsize: 228140
[startup+980.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 86031 0 0 0 97776 235 0 0 25 0 1 0 966721300 233615360 46105 4294967295 134512640 135730672 3221224560 3221223184 134748166 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57035 46105 301 301 0 56734 0
vsize: 228140
[startup+990.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 86117 0 0 0 98776 236 0 0 25 0 1 0 966721300 233877504 46126 4294967295 134512640 135730672 3221224560 3221222880 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57099 46126 301 301 0 56798 0
vsize: 228396
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 86125 0 0 0 99776 236 0 0 25 0 1 0 966721300 233877504 46134 4294967295 134512640 135730672 3221224560 3221223180 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57099 46134 301 301 0 56798 0
vsize: 228396
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 86217 0 0 0 100775 236 0 0 25 0 1 0 966721300 234139648 46161 4294967295 134512640 135730672 3221224560 3221223180 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57163 46161 301 301 0 56862 0
vsize: 228652
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 86223 0 0 0 101775 237 0 0 25 0 1 0 966721300 234139648 46167 4294967295 134512640 135730672 3221224560 3221223056 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57163 46167 301 301 0 56862 0
vsize: 228652
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 86234 0 0 0 102775 237 0 0 25 0 1 0 966721300 234139648 46178 4294967295 134512640 135730672 3221224560 3221223248 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57163 46178 301 301 0 56862 0
vsize: 228652
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 86317 0 0 0 103775 237 0 0 25 0 1 0 966721300 234401792 46196 4294967295 134512640 135730672 3221224560 3221223248 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57227 46196 301 301 0 56926 0
vsize: 228908
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 86440 0 0 0 104775 238 0 0 25 0 1 0 966721300 234663936 46254 4294967295 134512640 135730672 3221224560 3221222880 134732459 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57291 46254 301 301 0 56990 0
vsize: 229164
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 86527 0 0 0 105775 238 0 0 25 0 1 0 966721300 234926080 46276 4294967295 134512640 135730672 3221224560 3221223056 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57355 46276 301 301 0 57054 0
vsize: 229420
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 86697 0 0 0 106774 239 0 0 25 0 1 0 966721300 235450368 46316 4294967295 134512640 135730672 3221224560 3221223056 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57483 46316 301 301 0 57182 0
vsize: 229932
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 86702 0 0 0 107774 239 0 0 25 0 1 0 966721300 235450368 46321 4294967295 134512640 135730672 3221224560 3221223056 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57483 46321 301 301 0 57182 0
vsize: 229932
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 87643 0 0 0 108772 241 0 0 25 0 1 0 966721300 239288320 47262 4294967295 134512640 135730672 3221224560 3221222736 134769200 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58420 47262 301 301 0 58119 0
vsize: 233680
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 87778 0 0 0 109771 242 0 0 25 0 1 0 966721300 235982848 46395 4294967295 134512640 135730672 3221224560 3221223056 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57613 46395 301 301 0 57312 0
vsize: 230452
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 87793 0 0 0 110771 242 0 0 25 0 1 0 966721300 235982848 46410 4294967295 134512640 135730672 3221224560 3221223056 134747597 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57613 46410 301 301 0 57312 0
vsize: 230452
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 87799 0 0 0 111771 242 0 0 25 0 1 0 966721300 235982848 46416 4294967295 134512640 135730672 3221224560 3221223056 134747842 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57613 46416 301 301 0 57312 0
vsize: 230452
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 87817 0 0 0 112771 242 0 0 25 0 1 0 966721300 235982848 46434 4294967295 134512640 135730672 3221224560 3221223056 134747970 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57613 46434 301 301 0 57312 0
vsize: 230452
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 88775 0 0 0 113768 245 0 0 25 0 1 0 966721300 235982848 46455 4294967295 134512640 135730672 3221224560 3221223056 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57613 46455 301 301 0 57312 0
vsize: 230452
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 88786 0 0 0 114768 245 0 0 25 0 1 0 966721300 235982848 46466 4294967295 134512640 135730672 3221224560 3221223056 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57613 46466 301 301 0 57312 0
vsize: 230452
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 88842 0 0 0 115768 246 0 0 25 0 1 0 966721300 236249088 46522 4294967295 134512640 135730672 3221224560 3221223056 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57678 46522 301 301 0 57377 0
vsize: 230712
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 88868 0 0 0 116768 246 0 0 25 0 1 0 966721300 236249088 46548 4294967295 134512640 135730672 3221224560 3221223056 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57678 46548 301 301 0 57377 0
vsize: 230712
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 88878 0 0 0 117768 246 0 0 25 0 1 0 966721300 236249088 46558 4294967295 134512640 135730672 3221224560 3221223168 134748241 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57678 46558 301 301 0 57377 0
vsize: 230712
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 89823 0 0 0 118765 249 0 0 25 0 1 0 966721300 236249088 46566 4294967295 134512640 135730672 3221224560 3221223056 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57678 46566 301 301 0 57377 0
vsize: 230712
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 19456
Raw data (stat): 19456 (pb2sat-v2) R 19455 21152 21151 0 -1 0 89845 0 0 0 119765 249 0 0 25 0 1 0 966721300 236249088 46588 4294967295 134512640 135730672 3221224560 3221222880 134732493 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57678 46588 301 301 0 57377 0
vsize: 230712
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.86 s]
Raw data (loadavg): 0.99 0.98 0.91 1/54 19456
Raw data (stat): 19456 (pb2sat-v2) Z 19455 21152 21151 0 -1 12 89847 0 0 0 119939 258 0 0 25 0 1 0 966721300 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.86
CPU time (s): 1201.98
CPU user time (s): 1199.39
CPU system time (s): 2.58761
CPU usage (%): 100.01
Max. virtual memory (Kb): 233680
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####