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/frb53-24-opb/normalized-frb53-24-5.opb
MD5SUM	eedeccaceaf05a0e4d919e4f9df619c0
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-38
Optimality of the best value was proved	NO
Number of terms in the objective function	1272
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	1272
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	1272
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.11
Number of variables	1272
Total number of constraints	94226
Number of constraints which are clauses	94226
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 34990

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-05-28 11:36:04 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24269 boxname=wulflinc4 idbench=343 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  eedeccaceaf05a0e4d919e4f9df619c0  /oldhome/oroussel/tmp/wulflinc4/normalized-frb53-24-5.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc4/normalized-frb53-24-5.opb
IDLAUNCH: 24269
/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:        755956 kB
Buffers:         34116 kB
Cached:         223304 kB
SwapCached:        504 kB
Active:          22104 kB
Inactive:       237704 kB
HighTotal:      131008 kB
HighFree:        42952 kB
LowTotal:       903652 kB
LowFree:        713004 kB
SwapTotal:     2097136 kB
SwapFree:      2096000 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5796 kB
Slab:            13076 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 11:56:07 (client local time) WITH STATUS 0 IN 1202.38 SECONDS
stats: 24269 7 1202.38 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c [startup+576.462 s]  setting bit 10 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 29302
Raw data (stat): 29302 (runsolver) R 29301 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 806259829 884736 94 4294967295 134512640 135332820 3221224480 3221219660 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.0001 s]
Raw data (loadavg): 0.87 0.94 0.90 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 29253 0 0 0 933 66 0 0 25 0 1 0 806259829 88735744 18349 4294967295 134512640 135726644 3221224592 3221072400 135280416 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21664 18349 300 300 0 21364 0
vsize: 86656
[startup+20.0006 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 57499 0 0 0 1874 125 0 0 25 0 1 0 806259829 174321664 35642 4294967295 134512640 135726644 3221224592 3221194484 135289354 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42559 35642 300 300 0 42259 0
vsize: 170236
[startup+30.0008 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 97704 0 0 0 2790 209 0 0 25 0 1 0 806259829 298151936 54171 4294967295 134512640 135726644 3221224592 3221190132 134554779 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 72791 54171 300 300 0 72491 0
vsize: 291164
[startup+40.0007 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 112651 0 0 0 3753 246 0 0 25 0 1 0 806259829 343465984 68904 4294967295 134512640 135726644 3221224592 3221221600 134847154 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 83854 68904 300 300 0 83554 0
vsize: 335416
[startup+50.002 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 121062 0 0 0 4731 268 0 0 25 0 1 0 806259829 366317568 74731 4294967295 134512640 135726644 3221224592 3221223132 135297998 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89433 74731 300 300 0 89133 0
vsize: 357732
[startup+60.0025 s]
Raw data (loadavg): 0.94 0.95 0.90 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 122867 0 0 0 5727 271 0 0 25 0 1 0 806259829 373243904 76107 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91124 76107 300 300 0 90824 0
vsize: 364496
[startup+70.0024 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 127762 0 0 0 6719 280 0 0 25 0 1 0 806259829 388317184 78321 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94804 78321 300 300 0 94504 0
vsize: 379216
[startup+80.0036 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 132180 0 0 0 7710 289 0 0 25 0 1 0 806259829 401256448 80291 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97963 80291 300 300 0 97663 0
vsize: 391852
[startup+90.0031 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 132597 0 0 0 8710 289 0 0 25 0 1 0 806259829 402440192 80498 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98252 80498 300 300 0 97952 0
vsize: 393008
[startup+100.004 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 132855 0 0 0 9709 290 0 0 25 0 1 0 806259829 403103744 80658 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98414 80658 300 300 0 98114 0
vsize: 393656
[startup+110.005 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 133445 0 0 0 10708 292 0 0 25 0 1 0 806259829 404848640 80956 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98840 80956 300 300 0 98540 0
vsize: 395360
[startup+120.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 134141 0 0 0 11707 293 0 0 25 0 1 0 806259829 406958080 81328 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99355 81328 300 300 0 99055 0
vsize: 397420
[startup+130.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 134193 0 0 0 12707 293 0 0 25 0 1 0 806259829 407228416 81380 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99421 81380 300 300 0 99121 0
vsize: 397684
[startup+140.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 134265 0 0 0 13707 294 0 0 25 0 1 0 806259829 407359488 81419 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99453 81419 300 300 0 99153 0
vsize: 397812
[startup+150.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 134807 0 0 0 14705 295 0 0 25 0 1 0 806259829 408940544 81702 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99839 81702 300 300 0 99539 0
vsize: 399356
[startup+160.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 134879 0 0 0 15705 295 0 0 25 0 1 0 806259829 408940544 81774 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99839 81774 300 300 0 99539 0
vsize: 399356
[startup+170.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 135154 0 0 0 16705 296 0 0 25 0 1 0 806259829 409989120 81792 4294967295 134512640 135726644 3221224592 3221223240 134744473 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100095 81792 300 300 0 99795 0
vsize: 400380
[startup+180.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 135296 0 0 0 17704 296 0 0 25 0 1 0 806259829 410517504 81869 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100224 81869 300 300 0 99924 0
vsize: 400896
[startup+190.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 135308 0 0 0 18705 296 0 0 25 0 1 0 806259829 410517504 81881 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100224 81881 300 300 0 99924 0
vsize: 400896
[startup+200.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 135311 0 0 0 19705 297 0 0 25 0 1 0 806259829 410517504 81884 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100224 81884 300 300 0 99924 0
vsize: 400896
[startup+210.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 135314 0 0 0 20705 297 0 0 25 0 1 0 806259829 410517504 81887 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100224 81887 300 300 0 99924 0
vsize: 400896
[startup+220.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 135317 0 0 0 21705 297 0 0 25 0 1 0 806259829 410517504 81890 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100224 81890 300 300 0 99924 0
vsize: 400896
[startup+230.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 135321 0 0 0 22705 297 0 0 25 0 1 0 806259829 410517504 81894 4294967295 134512640 135726644 3221224592 3221223088 134744235 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100224 81894 300 300 0 99924 0
vsize: 400896
[startup+240.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 135383 0 0 0 23705 297 0 0 25 0 1 0 806259829 410783744 81956 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100289 81956 300 300 0 99989 0
vsize: 401156
[startup+250.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 135386 0 0 0 24705 297 0 0 25 0 1 0 806259829 410783744 81959 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100289 81959 300 300 0 99989 0
vsize: 401156
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 135389 0 0 0 25705 297 0 0 25 0 1 0 806259829 410783744 81962 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100289 81962 300 300 0 99989 0
vsize: 401156
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 135391 0 0 0 26706 297 0 0 25 0 1 0 806259829 410783744 81964 4294967295 134512640 135726644 3221224592 3221223088 134744182 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100289 81964 300 300 0 99989 0
vsize: 401156
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 135394 0 0 0 27706 297 0 0 25 0 1 0 806259829 410783744 81967 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100289 81967 300 300 0 99989 0
vsize: 401156
[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 135398 0 0 0 28706 297 0 0 25 0 1 0 806259829 410783744 81971 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100289 81971 300 300 0 99989 0
vsize: 401156
[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 135400 0 0 0 29706 297 0 0 25 0 1 0 806259829 410783744 81973 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100289 81973 300 300 0 99989 0
vsize: 401156
[startup+310.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 135402 0 0 0 30706 297 0 0 25 0 1 0 806259829 410783744 81975 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100289 81975 300 300 0 99989 0
vsize: 401156
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 135589 0 0 0 31706 297 0 0 25 0 1 0 806259829 411308032 82033 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100417 82033 300 300 0 100117 0
vsize: 401668
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 135609 0 0 0 32706 297 0 0 25 0 1 0 806259829 411308032 82053 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100417 82053 300 300 0 100117 0
vsize: 401668
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 135612 0 0 0 33706 297 0 0 25 0 1 0 806259829 411308032 82056 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100417 82056 300 300 0 100117 0
vsize: 401668
[startup+350.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 135628 0 0 0 34707 297 0 0 25 0 1 0 806259829 411308032 82072 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100417 82072 300 300 0 100117 0
vsize: 401668
[startup+360.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 135644 0 0 0 35707 297 0 0 25 0 1 0 806259829 411308032 82088 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100417 82088 300 300 0 100117 0
vsize: 401668
[startup+370.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 135788 0 0 0 36707 298 0 0 25 0 1 0 806259829 411574272 82199 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100482 82199 300 300 0 100182 0
vsize: 401928
[startup+380.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 135865 0 0 0 37707 298 0 0 25 0 1 0 806259829 411840512 82243 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100547 82243 300 300 0 100247 0
vsize: 402188
[startup+390.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 135939 0 0 0 38707 298 0 0 25 0 1 0 806259829 412102656 82252 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100611 82252 300 300 0 100311 0
vsize: 402444
[startup+400.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 136026 0 0 0 39707 298 0 0 25 0 1 0 806259829 412508160 82339 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100710 82339 300 300 0 100410 0
vsize: 402840
[startup+410.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 136032 0 0 0 40707 298 0 0 25 0 1 0 806259829 412508160 82345 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100710 82345 300 300 0 100410 0
vsize: 402840
[startup+420.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 136036 0 0 0 41707 298 0 0 25 0 1 0 806259829 412508160 82349 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100710 82349 300 300 0 100410 0
vsize: 402840
[startup+430.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 136194 0 0 0 42707 299 0 0 25 0 1 0 806259829 413032448 82378 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100838 82378 300 300 0 100538 0
vsize: 403352
[startup+440.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 136873 0 0 0 43705 301 0 0 25 0 1 0 806259829 415756288 82860 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 101503 82860 300 300 0 101203 0
vsize: 406012
[startup+450.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 137570 0 0 0 44703 302 0 0 25 0 1 0 806259829 418234368 83282 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102108 83282 300 300 0 101808 0
vsize: 408432
[startup+460.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 137979 0 0 0 45702 304 0 0 25 0 1 0 806259829 419426304 83527 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102399 83527 300 300 0 102099 0
vsize: 409596
[startup+470.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 138299 0 0 0 46702 305 0 0 25 0 1 0 806259829 420655104 83716 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102699 83716 300 300 0 102399 0
vsize: 410796
[startup+480.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 138911 0 0 0 47700 306 0 0 25 0 1 0 806259829 422236160 84034 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 103085 84034 300 300 0 102785 0
vsize: 412340
[startup+490.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 138911 0 0 0 48700 307 0 0 25 0 1 0 806259829 422236160 84034 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 103085 84034 300 300 0 102785 0
vsize: 412340
[startup+500.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 138922 0 0 0 49700 307 0 0 25 0 1 0 806259829 422236160 84045 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 103085 84045 300 300 0 102785 0
vsize: 412340
[startup+510.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 138950 0 0 0 50700 307 0 0 25 0 1 0 806259829 422236160 84073 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 103085 84073 300 300 0 102785 0
vsize: 412340
[startup+520.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 138973 0 0 0 51700 307 0 0 25 0 1 0 806259829 422236160 84096 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 103085 84096 300 300 0 102785 0
vsize: 412340
[startup+530.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 138983 0 0 0 52700 307 0 0 25 0 1 0 806259829 422236160 84106 4294967295 134512640 135726644 3221224592 3221223088 134744014 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 103085 84106 300 300 0 102785 0
vsize: 412340
[startup+540.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 139297 0 0 0 53699 308 0 0 25 0 1 0 806259829 423026688 84257 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 103278 84257 300 300 0 102978 0
vsize: 413112
[startup+550.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 139634 0 0 0 54699 308 0 0 25 0 1 0 806259829 424177664 84463 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 103559 84463 300 300 0 103259 0
vsize: 414236
[startup+560.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 139804 0 0 0 55699 309 0 0 25 0 1 0 806259829 424841216 84600 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 103721 84600 300 300 0 103421 0
vsize: 414884
[startup+570.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 139890 0 0 0 56699 309 0 0 25 0 1 0 806259829 425308160 84686 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 103835 84686 300 300 0 103535 0
vsize: 415340
[startup+580.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 141554 0 0 0 57695 313 0 0 25 0 1 0 806259829 425308160 84763 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 103835 84763 300 300 0 103535 0
vsize: 415340
[startup+590.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 141972 0 0 0 58693 314 0 0 25 0 1 0 806259829 426696704 85018 4294967295 134512640 135726644 3221224592 3221223184 134760424 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104174 85018 300 300 0 103874 0
vsize: 416696
[startup+600.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 142162 0 0 0 59693 315 0 0 25 0 1 0 806259829 427364352 85175 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104337 85175 300 300 0 104037 0
vsize: 417348
[startup+610.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 142222 0 0 0 60693 315 0 0 25 0 1 0 806259829 427364352 85235 4294967295 134512640 135726644 3221224592 3221223248 134731177 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104337 85235 300 300 0 104037 0
vsize: 417348
[startup+620.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 142238 0 0 0 61693 315 0 0 25 0 1 0 806259829 427364352 85251 4294967295 134512640 135726644 3221224592 3221223088 134744002 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104337 85251 300 300 0 104037 0
vsize: 417348
[startup+630.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 142409 0 0 0 62693 316 0 0 25 0 1 0 806259829 427888640 85293 4294967295 134512640 135726644 3221224592 3221223088 134744006 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104465 85293 300 300 0 104165 0
vsize: 417860
[startup+640.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 142424 0 0 0 63693 316 0 0 25 0 1 0 806259829 427888640 85308 4294967295 134512640 135726644 3221224592 3221223136 134736737 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104465 85308 300 300 0 104165 0
vsize: 417860
[startup+650.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 142441 0 0 0 64693 316 0 0 25 0 1 0 806259829 427888640 85325 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104465 85325 300 300 0 104165 0
vsize: 417860
[startup+660.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 142458 0 0 0 65693 316 0 0 25 0 1 0 806259829 427888640 85342 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104465 85342 300 300 0 104165 0
vsize: 417860
[startup+670.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 142478 0 0 0 66693 316 0 0 25 0 1 0 806259829 427888640 85362 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104465 85362 300 300 0 104165 0
vsize: 417860
[startup+680.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 142497 0 0 0 67693 316 0 0 25 0 1 0 806259829 427888640 85381 4294967295 134512640 135726644 3221224592 3221223248 134731185 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104465 85381 300 300 0 104165 0
vsize: 417860
[startup+690.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 142511 0 0 0 68693 316 0 0 25 0 1 0 806259829 427888640 85395 4294967295 134512640 135726644 3221224592 3221223088 134744006 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104465 85395 300 300 0 104165 0
vsize: 417860
[startup+700.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 142536 0 0 0 69694 317 0 0 25 0 1 0 806259829 427888640 85420 4294967295 134512640 135726644 3221224592 3221223088 134744053 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104465 85420 300 300 0 104165 0
vsize: 417860
[startup+710.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 142555 0 0 0 70693 317 0 0 25 0 1 0 806259829 427888640 85439 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104465 85439 300 300 0 104165 0
vsize: 417860
[startup+720.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 142709 0 0 0 71693 317 0 0 25 0 1 0 806259829 428412928 85464 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104593 85464 300 300 0 104293 0
vsize: 418372
[startup+730.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 142741 0 0 0 72693 318 0 0 25 0 1 0 806259829 428412928 85496 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104593 85496 300 300 0 104293 0
vsize: 418372
[startup+740.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 142784 0 0 0 73693 318 0 0 25 0 1 0 806259829 428412928 85539 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104593 85539 300 300 0 104293 0
vsize: 418372
[startup+750.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 142865 0 0 0 74693 318 0 0 25 0 1 0 806259829 428412928 85620 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104593 85620 300 300 0 104293 0
vsize: 418372
[startup+760.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 142879 0 0 0 75693 319 0 0 25 0 1 0 806259829 428412928 85634 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104593 85634 300 300 0 104293 0
vsize: 418372
[startup+770.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 142895 0 0 0 76693 319 0 0 25 0 1 0 806259829 428412928 85650 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104593 85650 300 300 0 104293 0
vsize: 418372
[startup+780.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 142914 0 0 0 77693 319 0 0 25 0 1 0 806259829 428412928 85669 4294967295 134512640 135726644 3221224592 3221223248 134731185 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104593 85669 300 300 0 104293 0
vsize: 418372
[startup+790.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 142934 0 0 0 78693 319 0 0 25 0 1 0 806259829 428412928 85689 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104593 85689 300 300 0 104293 0
vsize: 418372
[startup+800.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 142951 0 0 0 79693 319 0 0 25 0 1 0 806259829 428412928 85706 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104593 85706 300 300 0 104293 0
vsize: 418372
[startup+810.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 142967 0 0 0 80693 319 0 0 25 0 1 0 806259829 428412928 85722 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104593 85722 300 300 0 104293 0
vsize: 418372
[startup+820.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 142986 0 0 0 81693 319 0 0 25 0 1 0 806259829 428412928 85741 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104593 85741 300 300 0 104293 0
vsize: 418372
[startup+830.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 143005 0 0 0 82693 319 0 0 25 0 1 0 806259829 428412928 85760 4294967295 134512640 135726644 3221224592 3221223136 134736686 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104593 85760 300 300 0 104293 0
vsize: 418372
[startup+840.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 143024 0 0 0 83693 320 0 0 25 0 1 0 806259829 428412928 85779 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104593 85779 300 300 0 104293 0
vsize: 418372
[startup+850.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 143049 0 0 0 84693 320 0 0 25 0 1 0 806259829 428412928 85804 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104593 85804 300 300 0 104293 0
vsize: 418372
[startup+860.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 143070 0 0 0 85694 320 0 0 25 0 1 0 806259829 428412928 85825 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104593 85825 300 300 0 104293 0
vsize: 418372
[startup+870.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 143094 0 0 0 86694 320 0 0 25 0 1 0 806259829 428412928 85849 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104593 85849 300 300 0 104293 0
vsize: 418372
[startup+880.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 143136 0 0 0 87694 320 0 0 25 0 1 0 806259829 428412928 85891 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104593 85891 300 300 0 104293 0
vsize: 418372
[startup+890.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 143156 0 0 0 88693 320 0 0 25 0 1 0 806259829 428412928 85911 4294967295 134512640 135726644 3221224592 3221223088 134743990 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104593 85911 300 300 0 104293 0
vsize: 418372
[startup+900.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 143175 0 0 0 89694 320 0 0 25 0 1 0 806259829 428412928 85930 4294967295 134512640 135726644 3221224592 3221223088 134744039 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104593 85930 300 300 0 104293 0
vsize: 418372
[startup+910.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 143187 0 0 0 90694 320 0 0 25 0 1 0 806259829 428412928 85942 4294967295 134512640 135726644 3221224592 3221223216 134744520 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104593 85942 300 300 0 104293 0
vsize: 418372
[startup+920.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 143203 0 0 0 91694 320 0 0 25 0 1 0 806259829 428412928 85958 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104593 85958 300 300 0 104293 0
vsize: 418372
[startup+930.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 143221 0 0 0 92694 320 0 0 25 0 1 0 806259829 428412928 85976 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104593 85976 300 300 0 104293 0
vsize: 418372
[startup+940.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 143237 0 0 0 93694 320 0 0 25 0 1 0 806259829 428412928 85992 4294967295 134512640 135726644 3221224592 3221223088 134744295 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104593 85992 300 300 0 104293 0
vsize: 418372
[startup+950.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 143252 0 0 0 94694 320 0 0 25 0 1 0 806259829 428412928 86007 4294967295 134512640 135726644 3221224592 3221223088 134743990 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104593 86007 300 300 0 104293 0
vsize: 418372
[startup+960.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 143268 0 0 0 95695 320 0 0 25 0 1 0 806259829 428412928 86023 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104593 86023 300 300 0 104293 0
vsize: 418372
[startup+970.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 143281 0 0 0 96695 321 0 0 25 0 1 0 806259829 428412928 86036 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104593 86036 300 300 0 104293 0
vsize: 418372
[startup+980.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 143296 0 0 0 97695 321 0 0 25 0 1 0 806259829 428412928 86051 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104593 86051 300 300 0 104293 0
vsize: 418372
[startup+990.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 143314 0 0 0 98695 321 0 0 25 0 1 0 806259829 428412928 86069 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104593 86069 300 300 0 104293 0
vsize: 418372
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 143333 0 0 0 99695 321 0 0 25 0 1 0 806259829 428412928 86088 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104593 86088 300 300 0 104293 0
vsize: 418372
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 143353 0 0 0 100695 321 0 0 25 0 1 0 806259829 428412928 86108 4294967295 134512640 135726644 3221224592 3221223088 134744039 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104593 86108 300 300 0 104293 0
vsize: 418372
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 143380 0 0 0 101695 321 0 0 25 0 1 0 806259829 428412928 86135 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104593 86135 300 300 0 104293 0
vsize: 418372
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 143397 0 0 0 102695 321 0 0 25 0 1 0 806259829 428412928 86152 4294967295 134512640 135726644 3221224592 3221223216 134744603 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104593 86152 300 300 0 104293 0
vsize: 418372
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 143415 0 0 0 103695 321 0 0 25 0 1 0 806259829 428412928 86170 4294967295 134512640 135726644 3221224592 3221222912 134729041 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104593 86170 300 300 0 104293 0
vsize: 418372
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 143429 0 0 0 104695 321 0 0 25 0 1 0 806259829 428412928 86184 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104593 86184 300 300 0 104293 0
vsize: 418372
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 143443 0 0 0 105696 321 0 0 25 0 1 0 806259829 428412928 86198 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104593 86198 300 300 0 104293 0
vsize: 418372
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 143458 0 0 0 106695 322 0 0 25 0 1 0 806259829 428412928 86213 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104593 86213 300 300 0 104293 0
vsize: 418372
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 143476 0 0 0 107695 322 0 0 25 0 1 0 806259829 428412928 86231 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104593 86231 300 300 0 104293 0
vsize: 418372
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 143495 0 0 0 108695 322 0 0 25 0 1 0 806259829 428412928 86250 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104593 86250 300 300 0 104293 0
vsize: 418372
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 143509 0 0 0 109695 322 0 0 25 0 1 0 806259829 428412928 86264 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104593 86264 300 300 0 104293 0
vsize: 418372
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 143526 0 0 0 110695 323 0 0 25 0 1 0 806259829 428412928 86281 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104593 86281 300 300 0 104293 0
vsize: 418372
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 143541 0 0 0 111695 323 0 0 25 0 1 0 806259829 428412928 86296 4294967295 134512640 135726644 3221224592 3221222912 134728940 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104593 86296 300 300 0 104293 0
vsize: 418372
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 143559 0 0 0 112695 323 0 0 25 0 1 0 806259829 428412928 86314 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104593 86314 300 300 0 104293 0
vsize: 418372
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 143572 0 0 0 113695 323 0 0 25 0 1 0 806259829 428412928 86327 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104593 86327 300 300 0 104293 0
vsize: 418372
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 144549 0 0 0 114694 325 0 0 25 0 1 0 806259829 431460352 86813 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 105337 86813 300 300 0 105037 0
vsize: 421348
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 145214 0 0 0 115693 326 0 0 25 0 1 0 806259829 433913856 87235 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 105936 87235 300 300 0 105636 0
vsize: 423744
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 145694 0 0 0 116692 327 0 0 25 0 1 0 806259829 435503104 87584 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106324 87584 300 300 0 106024 0
vsize: 425296
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 146396 0 0 0 117691 328 0 0 25 0 1 0 806259829 437211136 87928 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106741 87928 300 300 0 106441 0
vsize: 426964
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 146982 0 0 0 118689 330 0 0 25 0 1 0 806259829 438784000 88124 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107125 88124 300 300 0 106825 0
vsize: 428500
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 147504 0 0 0 119688 331 0 0 25 0 1 0 806259829 440500224 88418 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107544 88418 300 300 0 107244 0
vsize: 430176
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.21 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 29302
Raw data (stat): 29302 (pb2sat) R 29301 21152 21151 0 -1 0 147504 0 0 0 119688 331 0 0 25 0 1 0 806259829 440500224 88418 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107544 88418 300 300 0 107244 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.21
CPU time (s): 1202.38
CPU user time (s): 1198.89
CPU system time (s): 3.49347
CPU usage (%): 100.014
Max. virtual memory (Kb): 430176
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####