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-3.opb
MD5SUM	baa7b619e2dc55a18c674a719d78c00c
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-41
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.12
Number of variables	1272
Total number of constraints	94127
Number of constraints which are clauses	94127
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 34982

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-05-28 11:35:19 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24267 boxname=wulflinc2 idbench=341 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  baa7b619e2dc55a18c674a719d78c00c  /oldhome/oroussel/tmp/wulflinc2/normalized-frb53-24-3.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc2/normalized-frb53-24-3.opb
IDLAUNCH: 24267
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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:        742408 kB
Buffers:         36956 kB
Cached:         232320 kB
SwapCached:        820 kB
Active:          22924 kB
Inactive:       248572 kB
HighTotal:      131008 kB
HighFree:        50344 kB
LowTotal:       903652 kB
LowFree:        692064 kB
SwapTotal:     2097136 kB
SwapFree:      2095480 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5340 kB
Slab:            15044 kB
Committed_AS:    71788 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 11:55:22 (client local time) WITH STATUS 0 IN 1202.35 SECONDS
stats: 24267 7 1202.35 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c [startup+1081.22 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.92 0.97 0.91 2/54 9063
Raw data (stat): 9063 (runsolver) R 9062 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 806267186 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.001 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 29103 0 0 0 930 68 0 0 25 0 1 0 806267186 88600576 18201 4294967295 134512640 135726644 3221224592 3220852304 135278593 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21631 18201 300 300 0 21331 0
vsize: 86524
[startup+20.0017 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 57325 0 0 0 1869 130 0 0 25 0 1 0 806267186 174051328 35469 4294967295 134512640 135726644 3221224592 3220925408 134784489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42493 35469 300 300 0 42193 0
vsize: 169972
[startup+30.003 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 97593 0 0 0 2786 214 0 0 25 0 1 0 806267186 298151936 54062 4294967295 134512640 135726644 3221224592 3221211448 135280642 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 72791 54062 300 300 0 72491 0
vsize: 291164
[startup+40.0032 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 112632 0 0 0 3752 248 0 0 25 0 1 0 806267186 343330816 68885 4294967295 134512640 135726644 3221224592 3221221744 134573046 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 83821 68885 300 300 0 83521 0
vsize: 335284
[startup+50.0029 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 121017 0 0 0 4731 268 0 0 25 0 1 0 806267186 366174208 74686 4294967295 134512640 135726644 3221224592 3221223088 134744120 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 89398 74686 300 300 0 89098 0
vsize: 357592
[startup+60.0033 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 122666 0 0 0 5727 272 0 0 25 0 1 0 806267186 373391360 75956 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91160 75956 300 300 0 90860 0
vsize: 364640
[startup+70.0032 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 126231 0 0 0 6720 280 0 0 25 0 1 0 806267186 384643072 77673 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93907 77673 300 300 0 93607 0
vsize: 375628
[startup+80.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 128121 0 0 0 7716 284 0 0 25 0 1 0 806267186 390193152 78550 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 95262 78550 300 300 0 94962 0
vsize: 381048
[startup+90.0041 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 128151 0 0 0 8716 284 0 0 25 0 1 0 806267186 390193152 78580 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 95262 78580 300 300 0 94962 0
vsize: 381048
[startup+100.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 128522 0 0 0 9715 286 0 0 25 0 1 0 806267186 391618560 78820 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 95610 78820 300 300 0 95310 0
vsize: 382440
[startup+110.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 128745 0 0 0 10714 286 0 0 25 0 1 0 806267186 392216576 78962 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 95756 78962 300 300 0 95456 0
vsize: 383024
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 128904 0 0 0 11713 287 0 0 25 0 1 0 806267186 392613888 79055 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 95853 79055 300 300 0 95553 0
vsize: 383412
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 129104 0 0 0 12712 288 0 0 25 0 1 0 806267186 393281536 79189 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96016 79189 300 300 0 95716 0
vsize: 384064
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 129728 0 0 0 13711 289 0 0 25 0 1 0 806267186 395128832 79454 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96467 79454 300 300 0 96167 0
vsize: 385868
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 129921 0 0 0 14711 290 0 0 25 0 1 0 806267186 395657216 79549 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96596 79549 300 300 0 96296 0
vsize: 386384
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 130502 0 0 0 15709 291 0 0 25 0 1 0 806267186 396976128 79870 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96918 79870 300 300 0 96618 0
vsize: 387672
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 130674 0 0 0 16708 292 0 0 25 0 1 0 806267186 397504512 79944 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 97047 79944 300 300 0 96747 0
vsize: 388188
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 131168 0 0 0 17706 294 0 0 25 0 1 0 806267186 398962688 80209 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 97403 80209 300 300 0 97103 0
vsize: 389612
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 131562 0 0 0 18705 296 0 0 25 0 1 0 806267186 400568320 80521 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 97795 80521 300 300 0 97495 0
vsize: 391180
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 131564 0 0 0 19705 296 0 0 25 0 1 0 806267186 400568320 80523 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 97795 80523 300 300 0 97495 0
vsize: 391180
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 131568 0 0 0 20705 296 0 0 25 0 1 0 806267186 400568320 80527 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 97795 80527 300 300 0 97495 0
vsize: 391180
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 131580 0 0 0 21705 296 0 0 25 0 1 0 806267186 400568320 80539 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 97795 80539 300 300 0 97495 0
vsize: 391180
[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 131583 0 0 0 22705 296 0 0 25 0 1 0 806267186 400568320 80542 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97795 80542 300 300 0 97495 0
vsize: 391180
[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 131588 0 0 0 23705 297 0 0 25 0 1 0 806267186 400568320 80547 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97795 80547 300 300 0 97495 0
vsize: 391180
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 131623 0 0 0 24705 297 0 0 25 0 1 0 806267186 400568320 80582 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97795 80582 300 300 0 97495 0
vsize: 391180
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 131897 0 0 0 25704 297 0 0 25 0 1 0 806267186 401489920 80662 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98020 80662 300 300 0 97720 0
vsize: 392080
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 131925 0 0 0 26704 298 0 0 25 0 1 0 806267186 401489920 80690 4294967295 134512640 135726644 3221224592 3221223184 134760517 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98020 80690 300 300 0 97720 0
vsize: 392080
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 131940 0 0 0 27704 298 0 0 25 0 1 0 806267186 401489920 80705 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98020 80705 300 300 0 97720 0
vsize: 392080
[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 131946 0 0 0 28704 298 0 0 25 0 1 0 806267186 401489920 80711 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98020 80711 300 300 0 97720 0
vsize: 392080
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 132109 0 0 0 29703 298 0 0 25 0 1 0 806267186 402018304 80775 4294967295 134512640 135726644 3221224592 3221223196 134743852 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98149 80775 300 300 0 97849 0
vsize: 392596
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 132114 0 0 0 30704 298 0 0 25 0 1 0 806267186 402018304 80780 4294967295 134512640 135726644 3221224592 3221223216 134744555 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98149 80780 300 300 0 97849 0
vsize: 392596
[startup+320.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 132485 0 0 0 31703 299 0 0 25 0 1 0 806267186 403628032 81052 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98542 81052 300 300 0 98242 0
vsize: 394168
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 132780 0 0 0 32702 300 0 0 25 0 1 0 806267186 404836352 81281 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98837 81281 300 300 0 98537 0
vsize: 395348
[startup+340.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 133527 0 0 0 33701 302 0 0 25 0 1 0 806267186 407089152 81667 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99387 81667 300 300 0 99087 0
vsize: 397548
[startup+350.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 134211 0 0 0 34699 304 0 0 25 0 1 0 806267186 408932352 82025 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99837 82025 300 300 0 99537 0
vsize: 399348
[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 134591 0 0 0 35699 305 0 0 25 0 1 0 806267186 409849856 82178 4294967295 134512640 135726644 3221224592 3221222912 134728895 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100061 82178 300 300 0 99761 0
vsize: 400244
[startup+370.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 134714 0 0 0 36698 305 0 0 25 0 1 0 806267186 410247168 82235 4294967295 134512640 135726644 3221224592 3221223216 134744557 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100158 82235 300 300 0 99858 0
vsize: 400632
[startup+380.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 135276 0 0 0 37698 306 0 0 25 0 1 0 806267186 412094464 82538 4294967295 134512640 135726644 3221224592 3221223088 134744379 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100609 82538 300 300 0 100309 0
vsize: 402436
[startup+390.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 135808 0 0 0 38697 307 0 0 25 0 1 0 806267186 414093312 82840 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 101097 82840 300 300 0 100797 0
vsize: 404388
[startup+400.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 135937 0 0 0 39697 307 0 0 25 0 1 0 806267186 414490624 82953 4294967295 134512640 135726644 3221224592 3221223184 134760424 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 101194 82953 300 300 0 100894 0
vsize: 404776
[startup+410.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 136074 0 0 0 40696 308 0 0 25 0 1 0 806267186 414887936 83025 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 101291 83025 300 300 0 100991 0
vsize: 405164
[startup+420.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 136485 0 0 0 41695 309 0 0 25 0 1 0 806267186 416202752 83179 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 101612 83179 300 300 0 101312 0
vsize: 406448
[startup+430.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 136525 0 0 0 42696 309 0 0 25 0 1 0 806267186 416202752 83219 4294967295 134512640 135726644 3221224592 3221223088 134744377 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 101612 83219 300 300 0 101312 0
vsize: 406448
[startup+440.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 136619 0 0 0 43695 309 0 0 25 0 1 0 806267186 416464896 83248 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 101676 83248 300 300 0 101376 0
vsize: 406704
[startup+450.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 136700 0 0 0 44695 310 0 0 25 0 1 0 806267186 416731136 83296 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 101741 83296 300 300 0 101441 0
vsize: 406964
[startup+460.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 136705 0 0 0 45695 310 0 0 25 0 1 0 806267186 416731136 83301 4294967295 134512640 135726644 3221224592 3221223216 134744550 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 101741 83301 300 300 0 101441 0
vsize: 406964
[startup+470.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 136822 0 0 0 46695 310 0 0 25 0 1 0 806267186 416993280 83353 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 101805 83353 300 300 0 101505 0
vsize: 407220
[startup+480.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 136824 0 0 0 47695 310 0 0 25 0 1 0 806267186 416993280 83355 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 101805 83355 300 300 0 101505 0
vsize: 407220
[startup+490.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 136975 0 0 0 48695 310 0 0 25 0 1 0 806267186 417517568 83377 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 101933 83377 300 300 0 101633 0
vsize: 407732
[startup+500.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 136979 0 0 0 49695 310 0 0 25 0 1 0 806267186 417517568 83381 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 101933 83381 300 300 0 101633 0
vsize: 407732
[startup+510.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 136982 0 0 0 50696 310 0 0 25 0 1 0 806267186 417517568 83384 4294967295 134512640 135726644 3221224592 3221222912 134728861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 101933 83384 300 300 0 101633 0
vsize: 407732
[startup+520.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 136985 0 0 0 51696 311 0 0 25 0 1 0 806267186 417517568 83387 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 101933 83387 300 300 0 101633 0
vsize: 407732
[startup+530.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 136988 0 0 0 52696 311 0 0 25 0 1 0 806267186 417517568 83390 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 101933 83390 300 300 0 101633 0
vsize: 407732
[startup+540.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 137008 0 0 0 53697 311 0 0 25 0 1 0 806267186 417517568 83410 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 101933 83410 300 300 0 101633 0
vsize: 407732
[startup+550.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 137638 0 0 0 54696 312 0 0 25 0 1 0 806267186 419221504 83619 4294967295 134512640 135726644 3221224592 3221223088 134744295 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102349 83619 300 300 0 102049 0
vsize: 409396
[startup+560.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138002 0 0 0 55695 313 0 0 25 0 1 0 806267186 420147200 83820 4294967295 134512640 135726644 3221224592 3221223184 134760424 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102575 83820 300 300 0 102275 0
vsize: 410300
[startup+570.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138005 0 0 0 56695 313 0 0 25 0 1 0 806267186 420147200 83823 4294967295 134512640 135726644 3221224592 3221223280 134744977 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102575 83823 300 300 0 102275 0
vsize: 410300
[startup+580.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138008 0 0 0 57696 313 0 0 25 0 1 0 806267186 420147200 83826 4294967295 134512640 135726644 3221224592 3221223088 134743889 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102575 83826 300 300 0 102275 0
vsize: 410300
[startup+590.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138012 0 0 0 58696 313 0 0 25 0 1 0 806267186 420147200 83830 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102575 83830 300 300 0 102275 0
vsize: 410300
[startup+600.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138015 0 0 0 59696 313 0 0 25 0 1 0 806267186 420147200 83833 4294967295 134512640 135726644 3221224592 3221223088 134744036 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102575 83833 300 300 0 102275 0
vsize: 410300
[startup+610.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138019 0 0 0 60696 313 0 0 25 0 1 0 806267186 420147200 83837 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102575 83837 300 300 0 102275 0
vsize: 410300
[startup+620.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138022 0 0 0 61696 313 0 0 25 0 1 0 806267186 420147200 83840 4294967295 134512640 135726644 3221224592 3221223216 134744570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102575 83840 300 300 0 102275 0
vsize: 410300
[startup+630.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138025 0 0 0 62696 313 0 0 25 0 1 0 806267186 420147200 83843 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102575 83843 300 300 0 102275 0
vsize: 410300
[startup+640.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138029 0 0 0 63696 313 0 0 25 0 1 0 806267186 420147200 83847 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102575 83847 300 300 0 102275 0
vsize: 410300
[startup+650.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138032 0 0 0 64696 313 0 0 25 0 1 0 806267186 420147200 83850 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102575 83850 300 300 0 102275 0
vsize: 410300
[startup+660.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138036 0 0 0 65697 313 0 0 25 0 1 0 806267186 420147200 83854 4294967295 134512640 135726644 3221224592 3221222912 134728895 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102575 83854 300 300 0 102275 0
vsize: 410300
[startup+670.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138039 0 0 0 66697 313 0 0 25 0 1 0 806267186 420147200 83857 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102575 83857 300 300 0 102275 0
vsize: 410300
[startup+680.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138042 0 0 0 67697 313 0 0 25 0 1 0 806267186 420147200 83860 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102575 83860 300 300 0 102275 0
vsize: 410300
[startup+690.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138046 0 0 0 68697 313 0 0 25 0 1 0 806267186 420147200 83864 4294967295 134512640 135726644 3221224592 3221223280 134744858 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102575 83864 300 300 0 102275 0
vsize: 410300
[startup+700.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138049 0 0 0 69697 313 0 0 25 0 1 0 806267186 420147200 83867 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102575 83867 300 300 0 102275 0
vsize: 410300
[startup+710.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138054 0 0 0 70698 313 0 0 25 0 1 0 806267186 420147200 83872 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102575 83872 300 300 0 102275 0
vsize: 410300
[startup+720.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138058 0 0 0 71698 313 0 0 25 0 1 0 806267186 420147200 83876 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102575 83876 300 300 0 102275 0
vsize: 410300
[startup+730.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138062 0 0 0 72698 313 0 0 25 0 1 0 806267186 420147200 83880 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102575 83880 300 300 0 102275 0
vsize: 410300
[startup+740.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138065 0 0 0 73698 313 0 0 25 0 1 0 806267186 420147200 83883 4294967295 134512640 135726644 3221224592 3221223088 134744022 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102575 83883 300 300 0 102275 0
vsize: 410300
[startup+750.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138071 0 0 0 74698 313 0 0 25 0 1 0 806267186 420147200 83889 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102575 83889 300 300 0 102275 0
vsize: 410300
[startup+760.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138074 0 0 0 75698 313 0 0 25 0 1 0 806267186 420147200 83892 4294967295 134512640 135726644 3221224592 3221223088 134744002 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102575 83892 300 300 0 102275 0
vsize: 410300
[startup+770.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138079 0 0 0 76698 314 0 0 25 0 1 0 806267186 420147200 83897 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102575 83897 300 300 0 102275 0
vsize: 410300
[startup+780.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138084 0 0 0 77698 314 0 0 25 0 1 0 806267186 420147200 83902 4294967295 134512640 135726644 3221224592 3221223184 134760424 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102575 83902 300 300 0 102275 0
vsize: 410300
[startup+790.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138086 0 0 0 78698 314 0 0 25 0 1 0 806267186 420147200 83904 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102575 83904 300 300 0 102275 0
vsize: 410300
[startup+800.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138090 0 0 0 79698 314 0 0 25 0 1 0 806267186 420147200 83908 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102575 83908 300 300 0 102275 0
vsize: 410300
[startup+810.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138095 0 0 0 80699 314 0 0 25 0 1 0 806267186 420147200 83913 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102575 83913 300 300 0 102275 0
vsize: 410300
[startup+820.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138098 0 0 0 81699 314 0 0 25 0 1 0 806267186 420147200 83916 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102575 83916 300 300 0 102275 0
vsize: 410300
[startup+830.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138103 0 0 0 82699 314 0 0 25 0 1 0 806267186 420147200 83921 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102575 83921 300 300 0 102275 0
vsize: 410300
[startup+840.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138108 0 0 0 83699 314 0 0 25 0 1 0 806267186 420147200 83926 4294967295 134512640 135726644 3221224592 3221223216 134744582 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102575 83926 300 300 0 102275 0
vsize: 410300
[startup+850.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138111 0 0 0 84699 314 0 0 25 0 1 0 806267186 420147200 83929 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102575 83929 300 300 0 102275 0
vsize: 410300
[startup+860.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138115 0 0 0 85699 314 0 0 25 0 1 0 806267186 420147200 83933 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102575 83933 300 300 0 102275 0
vsize: 410300
[startup+870.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138119 0 0 0 86699 314 0 0 25 0 1 0 806267186 420147200 83937 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102575 83937 300 300 0 102275 0
vsize: 410300
[startup+880.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138125 0 0 0 87700 314 0 0 25 0 1 0 806267186 420147200 83943 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102575 83943 300 300 0 102275 0
vsize: 410300
[startup+890.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138131 0 0 0 88700 314 0 0 25 0 1 0 806267186 420147200 83949 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102575 83949 300 300 0 102275 0
vsize: 410300
[startup+900.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138138 0 0 0 89700 315 0 0 25 0 1 0 806267186 420147200 83956 4294967295 134512640 135726644 3221224592 3221223088 134744025 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102575 83956 300 300 0 102275 0
vsize: 410300
[startup+910.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138141 0 0 0 90700 315 0 0 25 0 1 0 806267186 420147200 83959 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102575 83959 300 300 0 102275 0
vsize: 410300
[startup+920.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138145 0 0 0 91700 315 0 0 25 0 1 0 806267186 420147200 83963 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102575 83963 300 300 0 102275 0
vsize: 410300
[startup+930.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138151 0 0 0 92700 315 0 0 25 0 1 0 806267186 420147200 83969 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102575 83969 300 300 0 102275 0
vsize: 410300
[startup+940.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138156 0 0 0 93700 315 0 0 25 0 1 0 806267186 420147200 83974 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102575 83974 300 300 0 102275 0
vsize: 410300
[startup+950.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138161 0 0 0 94700 315 0 0 25 0 1 0 806267186 420147200 83979 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102575 83979 300 300 0 102275 0
vsize: 410300
[startup+960.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138169 0 0 0 95700 315 0 0 25 0 1 0 806267186 420147200 83987 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102575 83987 300 300 0 102275 0
vsize: 410300
[startup+970.024 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138173 0 0 0 96700 315 0 0 25 0 1 0 806267186 420147200 83991 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102575 83991 300 300 0 102275 0
vsize: 410300
[startup+980.025 s]
Raw data (loadavg): 1.14 1.00 0.92 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138378 0 0 0 97700 316 0 0 25 0 1 0 806267186 420671488 84067 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102703 84067 300 300 0 102403 0
vsize: 410812
[startup+990.025 s]
Raw data (loadavg): 1.11 1.00 0.92 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138386 0 0 0 98700 316 0 0 25 0 1 0 806267186 420671488 84075 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102703 84075 300 300 0 102403 0
vsize: 410812
[startup+1000.02 s]
Raw data (loadavg): 1.10 1.00 0.92 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138392 0 0 0 99700 316 0 0 25 0 1 0 806267186 420671488 84081 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102703 84081 300 300 0 102403 0
vsize: 410812
[startup+1010.03 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138402 0 0 0 100700 316 0 0 25 0 1 0 806267186 420671488 84091 4294967295 134512640 135726644 3221224592 3221223088 134744372 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102703 84091 300 300 0 102403 0
vsize: 410812
[startup+1020.03 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138405 0 0 0 101700 316 0 0 25 0 1 0 806267186 420671488 84094 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102703 84094 300 300 0 102403 0
vsize: 410812
[startup+1030.03 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138409 0 0 0 102700 316 0 0 25 0 1 0 806267186 420671488 84098 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102703 84098 300 300 0 102403 0
vsize: 410812
[startup+1040.03 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138440 0 0 0 103700 317 0 0 25 0 1 0 806267186 420671488 84129 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102703 84129 300 300 0 102403 0
vsize: 410812
[startup+1050.03 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138455 0 0 0 104700 317 0 0 25 0 1 0 806267186 420671488 84144 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102703 84144 300 300 0 102403 0
vsize: 410812
[startup+1060.03 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138486 0 0 0 105700 317 0 0 25 0 1 0 806267186 420671488 84175 4294967295 134512640 135726644 3221224592 3221223088 134744059 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102703 84175 300 300 0 102403 0
vsize: 410812
[startup+1070.03 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138493 0 0 0 106700 317 0 0 25 0 1 0 806267186 420671488 84182 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102703 84182 300 300 0 102403 0
vsize: 410812
[startup+1080.03 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138554 0 0 0 107700 317 0 0 25 0 1 0 806267186 420671488 84243 4294967295 134512640 135726644 3221224592 3221223072 134729041 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102703 84243 300 300 0 102403 0
vsize: 410812
[startup+1090.03 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 140203 0 0 0 108696 321 0 0 25 0 1 0 806267186 421003264 84305 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 102784 84305 300 300 0 102484 0
vsize: 411136
[startup+1100.03 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 140239 0 0 0 109695 321 0 0 25 0 1 0 806267186 421003264 84341 4294967295 134512640 135726644 3221224592 3221223136 134736624 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 102784 84341 300 300 0 102484 0
vsize: 411136
[startup+1110.03 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 140266 0 0 0 110694 322 0 0 25 0 1 0 806267186 421003264 84368 4294967295 134512640 135726644 3221224592 3221223248 134731205 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102784 84368 300 300 0 102484 0
vsize: 411136
[startup+1120.03 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 140297 0 0 0 111694 322 0 0 25 0 1 0 806267186 421003264 84399 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102784 84399 300 300 0 102484 0
vsize: 411136
[startup+1130.03 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 140488 0 0 0 112694 322 0 0 25 0 1 0 806267186 421527552 84461 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102912 84461 300 300 0 102612 0
vsize: 411648
[startup+1140.03 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 140536 0 0 0 113694 322 0 0 25 0 1 0 806267186 421527552 84509 4294967295 134512640 135726644 3221224592 3221223136 134736726 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102912 84509 300 300 0 102612 0
vsize: 411648
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 140555 0 0 0 114694 322 0 0 25 0 1 0 806267186 421527552 84528 4294967295 134512640 135726644 3221224592 3221223088 134744223 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102912 84528 300 300 0 102612 0
vsize: 411648
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 140568 0 0 0 115694 322 0 0 25 0 1 0 806267186 421527552 84541 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102912 84541 300 300 0 102612 0
vsize: 411648
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 140579 0 0 0 116694 323 0 0 25 0 1 0 806267186 421527552 84552 4294967295 134512640 135726644 3221224592 3221223184 134760055 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102912 84552 300 300 0 102612 0
vsize: 411648
[startup+1180.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 140593 0 0 0 117694 323 0 0 25 0 1 0 806267186 421527552 84566 4294967295 134512640 135726644 3221224592 3221223280 134744845 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102912 84566 300 300 0 102612 0
vsize: 411648
[startup+1190.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 140611 0 0 0 118694 323 0 0 25 0 1 0 806267186 421527552 84584 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102912 84584 300 300 0 102612 0
vsize: 411648
[startup+1200.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 140626 0 0 0 119694 323 0 0 25 0 1 0 806267186 421527552 84599 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102912 84599 300 300 0 102612 0
vsize: 411648
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.2 s]
Raw data (loadavg): 1.00 1.00 0.92 1/53 9063
Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 140626 0 0 0 119694 323 0 0 25 0 1 0 806267186 421527552 84599 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102912 84599 300 300 0 102612 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.2
CPU time (s): 1202.35
CPU user time (s): 1198.94
CPU system time (s): 3.40048
CPU usage (%): 100.012
Max. virtual memory (Kb): 411648
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####