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/frb50-23-opb/normalized-frb50-23-3.opb
MD5SUM	140696e76e8ed6af142b84a22a9a8f01
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	1150
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	1150
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	1150
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.09
Number of variables	1150
Total number of constraints	81068
Number of constraints which are clauses	81068
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 34976

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc23 THE 2005-05-28 11:33:39 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24262 boxname=wulflinc23 idbench=336 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  140696e76e8ed6af142b84a22a9a8f01  /oldhome/oroussel/tmp/wulflinc23/normalized-frb50-23-3.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc23/normalized-frb50-23-3.opb
IDLAUNCH: 24262
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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:        876920 kB
Buffers:         31952 kB
Cached:         105184 kB
SwapCached:        700 kB
Active:          47696 kB
Inactive:        91592 kB
HighTotal:      131008 kB
HighFree:        30436 kB
LowTotal:       903652 kB
LowFree:        846484 kB
SwapTotal:     2097136 kB
SwapFree:      2095556 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5028 kB
Slab:            12908 kB
Committed_AS:    63568 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 11:53:41 (client local time) WITH STATUS 0 IN 1202.34 SECONDS
stats: 24262 7 1202.34 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c [startup+94.3102 s]  setting bit 10 to 0

Decision: 137748/664140	Time: 747.745/86400
Decision: 138740/664140	Time: 874.393/86400
Decision: 138744/664140	Time: 973.581/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.85 0.94 0.90 2/54 7964
Raw data (stat): 7964 (runsolver) R 7963 5562 5561 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 864477606 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+9.99988 s]
Raw data (loadavg): 0.88 0.94 0.90 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 29050 0 0 0 933 65 0 0 25 0 1 0 864477606 88498176 18146 4294967295 134512640 135726644 3221224592 3220933768 134784091 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21606 18146 300 300 0 21306 0
vsize: 86424
[startup+20.0002 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 57028 0 0 0 1873 126 0 0 25 0 1 0 864477606 173543424 35173 4294967295 134512640 135726644 3221224592 3221173712 134604405 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42369 35173 300 300 0 42069 0
vsize: 169476
[startup+30.0002 s]
Raw data (loadavg): 0.91 0.94 0.90 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 97317 0 0 0 2788 211 0 0 25 0 1 0 864477606 298049536 53788 4294967295 134512640 135726644 3221224592 3221150908 134604406 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 72766 53788 300 300 0 72466 0
vsize: 291064
[startup+40.0003 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 104897 0 0 0 3770 229 0 0 25 0 1 0 864477606 336920576 59993 4294967295 134512640 135726644 3221224592 3221223136 134745458 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 82256 59993 300 300 0 81956 0
vsize: 329024
[startup+50.0003 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 107782 0 0 0 4763 235 0 0 25 0 1 0 864477606 349274112 62200 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 85272 62200 300 300 0 84972 0
vsize: 341088
[startup+60.0002 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 111279 0 0 0 5755 242 0 0 25 0 1 0 864477606 360427520 64136 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 87995 64136 300 300 0 87695 0
vsize: 351980
[startup+70.0008 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 116299 0 0 0 6746 252 0 0 25 0 1 0 864477606 374960128 66477 4294967295 134512640 135726644 3221224592 3221223216 134744676 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91543 66477 300 300 0 91243 0
vsize: 366172
[startup+80.0012 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 116587 0 0 0 7746 252 0 0 25 0 1 0 864477606 375750656 66601 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91736 66601 300 300 0 91436 0
vsize: 366944
[startup+90.0008 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 116619 0 0 0 8746 253 0 0 25 0 1 0 864477606 375750656 66633 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91736 66633 300 300 0 91436 0
vsize: 366944
[startup+100.001 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 120307 0 0 0 9737 261 0 0 25 0 1 0 864477606 382103552 67884 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93287 67884 300 300 0 92987 0
vsize: 373148
[startup+110.001 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 122009 0 0 0 10734 264 0 0 25 0 1 0 864477606 387555328 68967 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 94618 68967 300 300 0 94318 0
vsize: 378472
[startup+120.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 122825 0 0 0 11732 267 0 0 25 0 1 0 864477606 389931008 69376 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 95198 69376 300 300 0 94898 0
vsize: 380792
[startup+130.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 123585 0 0 0 12730 269 0 0 25 0 1 0 864477606 392110080 69753 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 95730 69753 300 300 0 95430 0
vsize: 382920
[startup+140.001 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 123671 0 0 0 13729 269 0 0 25 0 1 0 864477606 392536064 69774 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 95834 69774 300 300 0 95534 0
vsize: 383336
[startup+150.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 125053 0 0 0 14726 273 0 0 25 0 1 0 864477606 397328384 70632 4294967295 134512640 135726644 3221224592 3221223088 134744113 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 97004 70632 300 300 0 96704 0
vsize: 388016
[startup+160.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 126904 0 0 0 15722 277 0 0 25 0 1 0 864477606 403718144 71745 4294967295 134512640 135726644 3221224592 3221223088 134744056 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98564 71745 300 300 0 98264 0
vsize: 394256
[startup+170.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 127065 0 0 0 16722 278 0 0 25 0 1 0 864477606 404152320 71906 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98670 71906 300 300 0 98370 0
vsize: 394680
[startup+180.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 127101 0 0 0 17722 278 0 0 25 0 1 0 864477606 404152320 71942 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98670 71942 300 300 0 98370 0
vsize: 394680
[startup+190.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 127135 0 0 0 18721 278 0 0 25 0 1 0 864477606 404152320 71976 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98670 71976 300 300 0 98370 0
vsize: 394680
[startup+200.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 127145 0 0 0 19722 278 0 0 25 0 1 0 864477606 404152320 71986 4294967295 134512640 135726644 3221224592 3221222912 134729188 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98670 71986 300 300 0 98370 0
vsize: 394680
[startup+210.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 127156 0 0 0 20721 278 0 0 25 0 1 0 864477606 404152320 71997 4294967295 134512640 135726644 3221224592 3221223088 134743982 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98670 71997 300 300 0 98370 0
vsize: 394680
[startup+220.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 127165 0 0 0 21722 278 0 0 25 0 1 0 864477606 404152320 72006 4294967295 134512640 135726644 3221224592 3221223088 134743951 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98670 72006 300 300 0 98370 0
vsize: 394680
[startup+230.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 127189 0 0 0 22722 279 0 0 25 0 1 0 864477606 404152320 72030 4294967295 134512640 135726644 3221224592 3221222924 134735640 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98670 72030 300 300 0 98370 0
vsize: 394680
[startup+240.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 127199 0 0 0 23722 279 0 0 25 0 1 0 864477606 404152320 72040 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98670 72040 300 300 0 98370 0
vsize: 394680
[startup+250.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 127217 0 0 0 24722 279 0 0 25 0 1 0 864477606 404152320 72058 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98670 72058 300 300 0 98370 0
vsize: 394680
[startup+260.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 127224 0 0 0 25722 279 0 0 25 0 1 0 864477606 404152320 72065 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98670 72065 300 300 0 98370 0
vsize: 394680
[startup+270.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 127236 0 0 0 26722 279 0 0 25 0 1 0 864477606 404152320 72077 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98670 72077 300 300 0 98370 0
vsize: 394680
[startup+280.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 127247 0 0 0 27722 279 0 0 25 0 1 0 864477606 404152320 72088 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98670 72088 300 300 0 98370 0
vsize: 394680
[startup+290.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 127252 0 0 0 28722 280 0 0 25 0 1 0 864477606 404152320 72093 4294967295 134512640 135726644 3221224592 3221223088 134744036 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98670 72093 300 300 0 98370 0
vsize: 394680
[startup+300.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 127271 0 0 0 29722 280 0 0 25 0 1 0 864477606 404152320 72112 4294967295 134512640 135726644 3221224592 3221223136 134736681 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98670 72112 300 300 0 98370 0
vsize: 394680
[startup+310.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 127450 0 0 0 30722 280 0 0 25 0 1 0 864477606 404676608 72162 4294967295 134512640 135726644 3221224592 3221223088 134744379 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98798 72162 300 300 0 98498 0
vsize: 395192
[startup+320.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 127466 0 0 0 31721 280 0 0 25 0 1 0 864477606 404676608 72178 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98798 72178 300 300 0 98498 0
vsize: 395192
[startup+330.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 127479 0 0 0 32721 281 0 0 25 0 1 0 864477606 404676608 72191 4294967295 134512640 135726644 3221224592 3221222928 134763535 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98798 72191 300 300 0 98498 0
vsize: 395192
[startup+340.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 127495 0 0 0 33721 281 0 0 25 0 1 0 864477606 404676608 72207 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98798 72207 300 300 0 98498 0
vsize: 395192
[startup+350.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 127514 0 0 0 34722 281 0 0 25 0 1 0 864477606 404676608 72226 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98798 72226 300 300 0 98498 0
vsize: 395192
[startup+360.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 127531 0 0 0 35722 281 0 0 25 0 1 0 864477606 404676608 72243 4294967295 134512640 135726644 3221224592 3221223088 134743999 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98798 72243 300 300 0 98498 0
vsize: 395192
[startup+370.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 127688 0 0 0 36722 281 0 0 25 0 1 0 864477606 405200896 72271 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98926 72271 300 300 0 98626 0
vsize: 395704
[startup+380.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 127701 0 0 0 37722 281 0 0 25 0 1 0 864477606 405200896 72284 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98926 72284 300 300 0 98626 0
vsize: 395704
[startup+390.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 127730 0 0 0 38722 282 0 0 25 0 1 0 864477606 405200896 72313 4294967295 134512640 135726644 3221224592 3221223196 134744139 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98926 72313 300 300 0 98626 0
vsize: 395704
[startup+400.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 127748 0 0 0 39722 282 0 0 25 0 1 0 864477606 405200896 72331 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98926 72331 300 300 0 98626 0
vsize: 395704
[startup+410.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 127891 0 0 0 40722 282 0 0 25 0 1 0 864477606 405725184 72345 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99054 72345 300 300 0 98754 0
vsize: 396216
[startup+420.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 127906 0 0 0 41722 282 0 0 25 0 1 0 864477606 405725184 72360 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99054 72360 300 300 0 98754 0
vsize: 396216
[startup+430.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 127919 0 0 0 42722 282 0 0 25 0 1 0 864477606 405725184 72373 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99054 72373 300 300 0 98754 0
vsize: 396216
[startup+440.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 127928 0 0 0 43722 282 0 0 25 0 1 0 864477606 405725184 72382 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99054 72382 300 300 0 98754 0
vsize: 396216
[startup+450.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 127942 0 0 0 44722 283 0 0 25 0 1 0 864477606 405725184 72396 4294967295 134512640 135726644 3221224592 3221223088 134744020 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99054 72396 300 300 0 98754 0
vsize: 396216
[startup+460.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 127956 0 0 0 45722 283 0 0 25 0 1 0 864477606 405725184 72410 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99054 72410 300 300 0 98754 0
vsize: 396216
[startup+470.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 127974 0 0 0 46722 283 0 0 25 0 1 0 864477606 405725184 72428 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99054 72428 300 300 0 98754 0
vsize: 396216
[startup+480.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 127989 0 0 0 47722 283 0 0 25 0 1 0 864477606 405725184 72443 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99054 72443 300 300 0 98754 0
vsize: 396216
[startup+490.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 128001 0 0 0 48722 283 0 0 25 0 1 0 864477606 405725184 72455 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99054 72455 300 300 0 98754 0
vsize: 396216
[startup+500.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 128027 0 0 0 49722 283 0 0 25 0 1 0 864477606 405725184 72481 4294967295 134512640 135726644 3221224592 3221223088 134744014 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99054 72481 300 300 0 98754 0
vsize: 396216
[startup+510.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 128072 0 0 0 50722 283 0 0 25 0 1 0 864477606 405725184 72526 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99054 72526 300 300 0 98754 0
vsize: 396216
[startup+520.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 128583 0 0 0 51721 285 0 0 25 0 1 0 864477606 406642688 72809 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99278 72809 300 300 0 98978 0
vsize: 397112
[startup+530.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 129408 0 0 0 52720 286 0 0 25 0 1 0 864477606 409239552 73129 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99912 73129 300 300 0 99612 0
vsize: 399648
[startup+540.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 129420 0 0 0 53719 287 0 0 25 0 1 0 864477606 409239552 73141 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99912 73141 300 300 0 99612 0
vsize: 399648
[startup+550.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 129431 0 0 0 54720 287 0 0 25 0 1 0 864477606 409239552 73152 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99912 73152 300 300 0 99612 0
vsize: 399648
[startup+560.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 129445 0 0 0 55720 287 0 0 25 0 1 0 864477606 409239552 73166 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99912 73166 300 300 0 99612 0
vsize: 399648
[startup+570.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 129595 0 0 0 56720 287 0 0 25 0 1 0 864477606 409763840 73187 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100040 73187 300 300 0 99740 0
vsize: 400160
[startup+580.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 129604 0 0 0 57720 287 0 0 25 0 1 0 864477606 409763840 73196 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100040 73196 300 300 0 99740 0
vsize: 400160
[startup+590.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 129662 0 0 0 58719 288 0 0 25 0 1 0 864477606 409763840 73254 4294967295 134512640 135726644 3221224592 3221223088 134744377 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100040 73254 300 300 0 99740 0
vsize: 400160
[startup+600.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 129707 0 0 0 59719 288 0 0 25 0 1 0 864477606 409763840 73299 4294967295 134512640 135726644 3221224592 3221223184 134760424 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100040 73299 300 300 0 99740 0
vsize: 400160
[startup+610.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 129739 0 0 0 60719 288 0 0 25 0 1 0 864477606 409763840 73331 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100040 73331 300 300 0 99740 0
vsize: 400160
[startup+620.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 129755 0 0 0 61719 288 0 0 25 0 1 0 864477606 409763840 73347 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100040 73347 300 300 0 99740 0
vsize: 400160
[startup+630.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 129767 0 0 0 62719 289 0 0 25 0 1 0 864477606 409763840 73359 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100040 73359 300 300 0 99740 0
vsize: 400160
[startup+640.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 129775 0 0 0 63720 289 0 0 25 0 1 0 864477606 409763840 73367 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100040 73367 300 300 0 99740 0
vsize: 400160
[startup+650.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 129785 0 0 0 64720 289 0 0 25 0 1 0 864477606 409763840 73377 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100040 73377 300 300 0 99740 0
vsize: 400160
[startup+660.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 129797 0 0 0 65720 289 0 0 25 0 1 0 864477606 409763840 73389 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100040 73389 300 300 0 99740 0
vsize: 400160
[startup+670.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 129809 0 0 0 66720 289 0 0 25 0 1 0 864477606 409763840 73401 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100040 73401 300 300 0 99740 0
vsize: 400160
[startup+680.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 129821 0 0 0 67720 289 0 0 25 0 1 0 864477606 409763840 73413 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100040 73413 300 300 0 99740 0
vsize: 400160
[startup+690.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 129836 0 0 0 68720 289 0 0 25 0 1 0 864477606 409763840 73428 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100040 73428 300 300 0 99740 0
vsize: 400160
[startup+700.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 129851 0 0 0 69720 289 0 0 25 0 1 0 864477606 409763840 73443 4294967295 134512640 135726644 3221224592 3221223088 134744030 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100040 73443 300 300 0 99740 0
vsize: 400160
[startup+710.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 129861 0 0 0 70720 289 0 0 25 0 1 0 864477606 409763840 73453 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100040 73453 300 300 0 99740 0
vsize: 400160
[startup+720.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 129871 0 0 0 71721 289 0 0 25 0 1 0 864477606 409763840 73463 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100040 73463 300 300 0 99740 0
vsize: 400160
[startup+730.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 129881 0 0 0 72721 289 0 0 25 0 1 0 864477606 409763840 73473 4294967295 134512640 135726644 3221224592 3221223088 134744295 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100040 73473 300 300 0 99740 0
vsize: 400160
[startup+740.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 129892 0 0 0 73721 289 0 0 25 0 1 0 864477606 409763840 73484 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100040 73484 300 300 0 99740 0
vsize: 400160
[startup+750.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 129902 0 0 0 74721 289 0 0 25 0 1 0 864477606 409763840 73494 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100040 73494 300 300 0 99740 0
vsize: 400160
[startup+760.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 129913 0 0 0 75721 289 0 0 25 0 1 0 864477606 409763840 73505 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100040 73505 300 300 0 99740 0
vsize: 400160
[startup+770.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 129926 0 0 0 76721 289 0 0 25 0 1 0 864477606 409763840 73518 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100040 73518 300 300 0 99740 0
vsize: 400160
[startup+780.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 129938 0 0 0 77721 289 0 0 25 0 1 0 864477606 409763840 73530 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100040 73530 300 300 0 99740 0
vsize: 400160
[startup+790.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 129947 0 0 0 78721 289 0 0 25 0 1 0 864477606 409763840 73539 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100040 73539 300 300 0 99740 0
vsize: 400160
[startup+800.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 129959 0 0 0 79721 290 0 0 25 0 1 0 864477606 409763840 73551 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100040 73551 300 300 0 99740 0
vsize: 400160
[startup+810.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 129970 0 0 0 80721 290 0 0 25 0 1 0 864477606 409763840 73562 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100040 73562 300 300 0 99740 0
vsize: 400160
[startup+820.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 129979 0 0 0 81721 290 0 0 25 0 1 0 864477606 409763840 73571 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100040 73571 300 300 0 99740 0
vsize: 400160
[startup+830.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 129989 0 0 0 82721 290 0 0 25 0 1 0 864477606 409763840 73581 4294967295 134512640 135726644 3221224592 3221223088 134744011 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100040 73581 300 300 0 99740 0
vsize: 400160
[startup+840.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 131297 0 0 0 83718 293 0 0 25 0 1 0 864477606 409763840 73591 4294967295 134512640 135726644 3221224592 3221223212 134779522 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100040 73591 300 300 0 99740 0
vsize: 400160
[startup+850.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 132633 0 0 0 84714 296 0 0 25 0 1 0 864477606 414097408 74392 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 101098 74392 300 300 0 100798 0
vsize: 404392
[startup+860.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 134571 0 0 0 85711 300 0 0 25 0 1 0 864477606 419778560 75389 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 102485 75389 300 300 0 102185 0
vsize: 409940
[startup+870.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 134665 0 0 0 86711 301 0 0 25 0 1 0 864477606 420179968 75483 4294967295 134512640 135726644 3221224592 3221223200 134744646 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 102583 75483 300 300 0 102283 0
vsize: 410332
[startup+880.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 135519 0 0 0 87709 303 0 0 25 0 1 0 864477606 422146048 75850 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 103063 75850 300 300 0 102763 0
vsize: 412252
[startup+890.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 135795 0 0 0 88709 303 0 0 25 0 1 0 864477606 422670336 75997 4294967295 134512640 135726644 3221224592 3221223088 134744117 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 103191 75997 300 300 0 102891 0
vsize: 412764
[startup+900.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 137100 0 0 0 89707 305 0 0 25 0 1 0 864477606 425967616 76650 4294967295 134512640 135726644 3221224592 3221223088 134744182 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 103996 76650 300 300 0 103696 0
vsize: 415984
[startup+910.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 137377 0 0 0 90706 306 0 0 25 0 1 0 864477606 426754048 76733 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104188 76733 300 300 0 103888 0
vsize: 416752
[startup+920.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 137380 0 0 0 91706 306 0 0 25 0 1 0 864477606 426754048 76736 4294967295 134512640 135726644 3221224592 3221223280 134744915 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104188 76736 300 300 0 103888 0
vsize: 416752
[startup+930.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 137381 0 0 0 92706 306 0 0 25 0 1 0 864477606 426754048 76737 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104188 76737 300 300 0 103888 0
vsize: 416752
[startup+940.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 137381 0 0 0 93706 306 0 0 25 0 1 0 864477606 426754048 76737 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104188 76737 300 300 0 103888 0
vsize: 416752
[startup+950.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 137382 0 0 0 94707 306 0 0 25 0 1 0 864477606 426754048 76738 4294967295 134512640 135726644 3221224592 3221223280 134744961 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104188 76738 300 300 0 103888 0
vsize: 416752
[startup+960.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 137384 0 0 0 95707 306 0 0 25 0 1 0 864477606 426754048 76740 4294967295 134512640 135726644 3221224592 3221222912 134728895 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104188 76740 300 300 0 103888 0
vsize: 416752
[startup+970.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 138691 0 0 0 96704 309 0 0 25 0 1 0 864477606 426754048 76749 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104188 76749 300 300 0 103888 0
vsize: 416752
[startup+980.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 138852 0 0 0 97702 310 0 0 25 0 1 0 864477606 427147264 76812 4294967295 134512640 135726644 3221224592 3221223088 134743948 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104284 76812 300 300 0 103984 0
vsize: 417136
[startup+990.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 138852 0 0 0 98702 310 0 0 25 0 1 0 864477606 427147264 76812 4294967295 134512640 135726644 3221224592 3221223088 134744220 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104284 76812 300 300 0 103984 0
vsize: 417136
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 138852 0 0 0 99703 310 0 0 25 0 1 0 864477606 427147264 76812 4294967295 134512640 135726644 3221224592 3221223088 134744147 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104284 76812 300 300 0 103984 0
vsize: 417136
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 138889 0 0 0 100703 311 0 0 25 0 1 0 864477606 427147264 76849 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104284 76849 300 300 0 103984 0
vsize: 417136
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 139043 0 0 0 101702 312 0 0 25 0 1 0 864477606 427671552 76874 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104412 76874 300 300 0 104112 0
vsize: 417648
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 139044 0 0 0 102702 312 0 0 25 0 1 0 864477606 427671552 76875 4294967295 134512640 135726644 3221224592 3221222912 134728909 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104412 76875 300 300 0 104112 0
vsize: 417648
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 139052 0 0 0 103702 312 0 0 25 0 1 0 864477606 427671552 76883 4294967295 134512640 135726644 3221224592 3221223088 134744020 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104412 76883 300 300 0 104112 0
vsize: 417648
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 139053 0 0 0 104702 312 0 0 25 0 1 0 864477606 427671552 76884 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104412 76884 300 300 0 104112 0
vsize: 417648
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 139054 0 0 0 105703 312 0 0 25 0 1 0 864477606 427671552 76885 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104412 76885 300 300 0 104112 0
vsize: 417648
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 140359 0 0 0 106700 315 0 0 25 0 1 0 864477606 427671552 76892 4294967295 134512640 135726644 3221224592 3221223088 134744314 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104412 76892 300 300 0 104112 0
vsize: 417648
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 141612 0 0 0 107698 317 0 0 25 0 1 0 864477606 431243264 77526 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 105284 77526 300 300 0 104984 0
vsize: 421136
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 142108 0 0 0 108697 318 0 0 25 0 1 0 864477606 432832512 77760 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 105672 77760 300 300 0 105372 0
vsize: 422688
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 142111 0 0 0 109697 318 0 0 25 0 1 0 864477606 432832512 77763 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 105672 77763 300 300 0 105372 0
vsize: 422688
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 142209 0 0 0 110697 319 0 0 25 0 1 0 864477606 432963584 77828 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 105704 77828 300 300 0 105404 0
vsize: 422816
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 142297 0 0 0 111697 319 0 0 25 0 1 0 864477606 433225728 77851 4294967295 134512640 135726644 3221224592 3221223088 134744022 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 105768 77851 300 300 0 105468 0
vsize: 423072
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 142338 0 0 0 112697 319 0 0 25 0 1 0 864477606 433225728 77892 4294967295 134512640 135726644 3221224592 3221223184 134760010 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 105768 77892 300 300 0 105468 0
vsize: 423072
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 142338 0 0 0 113697 319 0 0 25 0 1 0 864477606 433225728 77892 4294967295 134512640 135726644 3221224592 3221223256 134745066 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 105768 77892 300 300 0 105468 0
vsize: 423072
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 142338 0 0 0 114697 319 0 0 25 0 1 0 864477606 433225728 77892 4294967295 134512640 135726644 3221224592 3221223088 134744123 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 105768 77892 300 300 0 105468 0
vsize: 423072
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 142339 0 0 0 115697 319 0 0 25 0 1 0 864477606 433225728 77893 4294967295 134512640 135726644 3221224592 3221223280 134744876 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 105768 77893 300 300 0 105468 0
vsize: 423072
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 142340 0 0 0 116697 319 0 0 25 0 1 0 864477606 433225728 77894 4294967295 134512640 135726644 3221224592 3221223088 134744314 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 105768 77894 300 300 0 105468 0
vsize: 423072
[startup+1180.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 142340 0 0 0 117697 319 0 0 25 0 1 0 864477606 433225728 77894 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 105768 77894 300 300 0 105468 0
vsize: 423072
[startup+1190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 142341 0 0 0 118697 319 0 0 25 0 1 0 864477606 433225728 77895 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 105768 77895 300 300 0 105468 0
vsize: 423072
[startup+1200.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 142342 0 0 0 119698 319 0 0 25 0 1 0 864477606 433225728 77896 4294967295 134512640 135726644 3221224592 3221223104 134742276 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 105768 77896 300 300 0 105468 0
vsize: 423072
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.17 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 7964
Raw data (stat): 7964 (pb2sat) R 7963 5562 5561 0 -1 0 142342 0 0 0 119698 319 0 0 25 0 1 0 864477606 433225728 77896 4294967295 134512640 135726644 3221224592 3221223104 134742276 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 105768 77896 300 300 0 105468 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.17
CPU time (s): 1202.34
CPU user time (s): 1198.98
CPU system time (s): 3.35549
CPU usage (%): 100.014
Max. virtual memory (Kb): 423072
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####