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/frb56-25-opb/normalized-frb56-25-1.opb
MD5SUM	02058527b1ad27d5be75faa6974ffa0f
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-42
Optimality of the best value was proved	NO
Number of terms in the objective function	1400
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	1400
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	1400
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.11
Number of variables	1400
Total number of constraints	109676
Number of constraints which are clauses	109676
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 34991

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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:        882236 kB
Buffers:         32456 kB
Cached:          97932 kB
SwapCached:        240 kB
Active:          50624 kB
Inactive:        82396 kB
HighTotal:      131008 kB
HighFree:        30912 kB
LowTotal:       903652 kB
LowFree:        851324 kB
SwapTotal:     2097136 kB
SwapFree:      2096480 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6324 kB
Slab:            13836 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 11:56:08 (client local time) WITH STATUS 0 IN 1202.41 SECONDS
stats: 24270 7 1202.41 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 538341/983516	Time: 360.608/86400
Decision: 576535/983516	Time: 652.595/86400
Decision: 618015/983516	Time: 826.06/86400
Decision: 625717/983516	Time: 1019.68/86400
Decision: 625717/983516	Time: 1144.22/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.97 0.91 2/54 27877
Raw data (stat): 27877 (runsolver) R 27876 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 806260858 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 s]
Raw data (loadavg): 0.87 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 29348 0 0 0 931 67 0 0 25 0 1 0 806260858 88948736 18444 4294967295 134512640 135726644 3221224592 3221134480 134766794 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21716 18444 300 300 0 21416 0
vsize: 86864
[startup+20.0011 s]
Raw data (loadavg): 0.89 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 57597 0 0 0 1869 130 0 0 25 0 1 0 806260858 174534656 35739 4294967295 134512640 135726644 3221224592 3221198228 135280408 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42611 35740 300 300 0 42311 0
vsize: 170444
[startup+30.002 s]
Raw data (loadavg): 0.91 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 97806 0 0 0 2786 213 0 0 25 0 1 0 806260858 298229760 54272 4294967295 134512640 135726644 3221224592 3221136568 134783976 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 72810 54272 300 300 0 72510 0
vsize: 291240
[startup+40.0025 s]
Raw data (loadavg): 0.92 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 113315 0 0 0 3752 247 0 0 25 0 1 0 806260858 344489984 69559 4294967295 134512640 135726644 3221224592 3221184988 135287489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 84104 69559 300 300 0 83804 0
vsize: 336416
[startup+50.0039 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 127679 0 0 0 4719 279 0 0 25 0 1 0 806260858 364900352 83765 4294967295 134512640 135726644 3221224592 3221221104 134784754 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 89087 83765 300 300 0 88787 0
vsize: 356348
[startup+60.0033 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 137088 0 0 0 5698 300 0 0 25 0 1 0 806260858 391749632 90256 4294967295 134512640 135726644 3221224592 3221223088 134744117 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 95642 90256 300 300 0 95342 0
vsize: 382568
[startup+70.004 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 138364 0 0 0 6694 304 0 0 25 0 1 0 806260858 395698176 91048 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96606 91048 300 300 0 96306 0
vsize: 386424
[startup+80.0042 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 138374 0 0 0 7694 304 0 0 25 0 1 0 806260858 395853824 91058 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96644 91058 300 300 0 96344 0
vsize: 386576
[startup+90.005 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 138454 0 0 0 8692 306 0 0 25 0 1 0 806260858 396165120 91138 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96720 91138 300 300 0 96420 0
vsize: 386880
[startup+100.004 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 138593 0 0 0 9691 308 0 0 25 0 1 0 806260858 396787712 91277 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96872 91277 300 300 0 96572 0
vsize: 387488
[startup+110.005 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 138752 0 0 0 10690 309 0 0 25 0 1 0 806260858 397692928 91436 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97093 91436 300 300 0 96793 0
vsize: 388372
[startup+120.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 138849 0 0 0 11687 312 0 0 25 0 1 0 806260858 398184448 91533 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97213 91533 300 300 0 96913 0
vsize: 388852
[startup+130.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 139344 0 0 0 12685 314 0 0 25 0 1 0 806260858 399630336 91801 4294967295 134512640 135726644 3221224592 3221223216 134744676 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97566 91801 300 300 0 97266 0
vsize: 390264
[startup+140.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 140830 0 0 0 13682 317 0 0 25 0 1 0 806260858 405094400 92800 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98900 92800 300 300 0 98600 0
vsize: 395600
[startup+150.007 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 144225 0 0 0 14676 324 0 0 25 0 1 0 806260858 415989760 94685 4294967295 134512640 135726644 3221224592 3221223184 134760490 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 101560 94685 300 300 0 101260 0
vsize: 406240
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 148879 0 0 0 15668 332 0 0 25 0 1 0 806260858 428802048 96954 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104688 96954 300 300 0 104388 0
vsize: 418752
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 153476 0 0 0 16660 340 0 0 25 0 1 0 806260858 440676352 99237 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107587 99237 300 300 0 107287 0
vsize: 430348
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 156650 0 0 0 17654 346 0 0 25 0 1 0 806260858 449626112 100497 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109772 100497 300 300 0 109472 0
vsize: 439088
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 157512 0 0 0 18651 349 0 0 25 0 1 0 806260858 451727360 100875 4294967295 134512640 135726644 3221224592 3221223088 134744140 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110285 100875 300 300 0 109985 0
vsize: 441140
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 157528 0 0 0 19651 349 0 0 25 0 1 0 806260858 451727360 100891 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110285 100891 300 300 0 109985 0
vsize: 441140
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 157532 0 0 0 20652 349 0 0 25 0 1 0 806260858 451727360 100895 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110285 100895 300 300 0 109985 0
vsize: 441140
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 158420 0 0 0 21650 351 0 0 25 0 1 0 806260858 453824512 101267 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110797 101267 300 300 0 110497 0
vsize: 443188
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 159106 0 0 0 22649 352 0 0 25 0 1 0 806260858 455831552 101563 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 111287 101563 300 300 0 110987 0
vsize: 445148
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 159892 0 0 0 23647 354 0 0 25 0 1 0 806260858 458358784 101928 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 111904 101928 300 300 0 111604 0
vsize: 447616
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 161039 0 0 0 24645 356 0 0 25 0 1 0 806260858 461357056 102499 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112636 102499 300 300 0 112336 0
vsize: 450544
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 161115 0 0 0 25645 356 0 0 25 0 1 0 806260858 461357056 102575 4294967295 134512640 135726644 3221224592 3221223088 134744020 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112636 102575 300 300 0 112336 0
vsize: 450544
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 161181 0 0 0 26645 357 0 0 25 0 1 0 806260858 461627392 102641 4294967295 134512640 135726644 3221224592 3221222912 134728909 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112702 102641 300 300 0 112402 0
vsize: 450808
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 161190 0 0 0 27645 357 0 0 25 0 1 0 806260858 461627392 102650 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112702 102650 300 300 0 112402 0
vsize: 450808
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 161214 0 0 0 28645 357 0 0 25 0 1 0 806260858 461627392 102674 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112702 102674 300 300 0 112402 0
vsize: 450808
[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 161362 0 0 0 29645 357 0 0 25 0 1 0 806260858 461889536 102756 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112766 102756 300 300 0 112466 0
vsize: 451064
[startup+310.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 161523 0 0 0 30645 358 0 0 25 0 1 0 806260858 462413824 102787 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112894 102787 300 300 0 112594 0
vsize: 451576
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 161561 0 0 0 31645 358 0 0 25 0 1 0 806260858 462413824 102825 4294967295 134512640 135726644 3221224592 3221223088 134744169 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112894 102825 300 300 0 112594 0
vsize: 451576
[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 161566 0 0 0 32645 358 0 0 25 0 1 0 806260858 462413824 102830 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112894 102830 300 300 0 112594 0
vsize: 451576
[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 161567 0 0 0 33645 358 0 0 25 0 1 0 806260858 462413824 102831 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112894 102831 300 300 0 112594 0
vsize: 451576
[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 161571 0 0 0 34645 358 0 0 25 0 1 0 806260858 462413824 102835 4294967295 134512640 135726644 3221224592 3221223188 134744137 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112894 102835 300 300 0 112594 0
vsize: 451576
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 161574 0 0 0 35645 358 0 0 25 0 1 0 806260858 462413824 102838 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112894 102838 300 300 0 112594 0
vsize: 451576
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 161577 0 0 0 36646 358 0 0 25 0 1 0 806260858 462413824 102841 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112894 102841 300 300 0 112594 0
vsize: 451576
[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 161580 0 0 0 37646 358 0 0 25 0 1 0 806260858 462413824 102844 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112894 102844 300 300 0 112594 0
vsize: 451576
[startup+390.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 161582 0 0 0 38646 358 0 0 25 0 1 0 806260858 462413824 102846 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112894 102846 300 300 0 112594 0
vsize: 451576
[startup+400.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 161585 0 0 0 39646 358 0 0 25 0 1 0 806260858 462413824 102849 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112894 102849 300 300 0 112594 0
vsize: 451576
[startup+410.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 163508 0 0 0 40641 364 0 0 25 0 1 0 806260858 462413824 102851 4294967295 134512640 135726644 3221224592 3221223216 134779416 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112894 102851 300 300 0 112594 0
vsize: 451576
[startup+420.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 163821 0 0 0 41640 364 0 0 25 0 1 0 806260858 463335424 103066 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 113119 103066 300 300 0 112819 0
vsize: 452476
[startup+430.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 163953 0 0 0 42638 365 0 0 25 0 1 0 806260858 463802368 103198 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 113233 103198 300 300 0 112933 0
vsize: 452932
[startup+440.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 165642 0 0 0 43635 369 0 0 25 0 1 0 806260858 473067520 104691 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 115495 104691 300 300 0 115195 0
vsize: 461980
[startup+450.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 168825 0 0 0 44630 374 0 0 25 0 1 0 806260858 486277120 106834 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118720 106834 300 300 0 118420 0
vsize: 474880
[startup+460.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 169945 0 0 0 45627 377 0 0 25 0 1 0 806260858 490500096 107566 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119751 107566 300 300 0 119451 0
vsize: 479004
[startup+470.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 170052 0 0 0 46627 378 0 0 25 0 1 0 806260858 490766336 107673 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119816 107673 300 300 0 119516 0
vsize: 479264
[startup+480.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 170143 0 0 0 47626 378 0 0 25 0 1 0 806260858 491028480 107699 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119880 107699 300 300 0 119580 0
vsize: 479520
[startup+490.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 170146 0 0 0 48626 378 0 0 25 0 1 0 806260858 491028480 107702 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119880 107702 300 300 0 119580 0
vsize: 479520
[startup+500.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 170151 0 0 0 49626 379 0 0 25 0 1 0 806260858 491028480 107707 4294967295 134512640 135726644 3221224592 3221222976 135105735 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119880 107707 300 300 0 119580 0
vsize: 479520
[startup+510.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 170155 0 0 0 50627 379 0 0 25 0 1 0 806260858 491028480 107711 4294967295 134512640 135726644 3221224592 3221223088 134743987 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119880 107711 300 300 0 119580 0
vsize: 479520
[startup+520.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 170436 0 0 0 51626 379 0 0 25 0 1 0 806260858 492085248 107862 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 120138 107862 300 300 0 119838 0
vsize: 480552
[startup+530.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 170703 0 0 0 52626 380 0 0 25 0 1 0 806260858 492875776 108000 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 120331 108000 300 300 0 120031 0
vsize: 481324
[startup+540.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 170918 0 0 0 53626 380 0 0 25 0 1 0 806260858 493400064 108086 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 120459 108086 300 300 0 120159 0
vsize: 481836
[startup+550.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 171081 0 0 0 54625 380 0 0 25 0 1 0 806260858 493924352 108120 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 120587 108120 300 300 0 120287 0
vsize: 482348
[startup+560.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 171141 0 0 0 55625 381 0 0 25 0 1 0 806260858 494059520 108180 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 120620 108180 300 300 0 120320 0
vsize: 482480
[startup+570.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 172586 0 0 0 56624 383 0 0 25 0 1 0 806260858 499666944 109094 4294967295 134512640 135726644 3221224592 3221223248 134731245 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 121989 109094 300 300 0 121689 0
vsize: 487956
[startup+580.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 172643 0 0 0 57623 383 0 0 25 0 1 0 806260858 499798016 109118 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 122021 109118 300 300 0 121721 0
vsize: 488084
[startup+590.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 172745 0 0 0 58623 383 0 0 25 0 1 0 806260858 500060160 109155 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 122085 109155 300 300 0 121785 0
vsize: 488340
[startup+600.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 173493 0 0 0 59622 386 0 0 25 0 1 0 806260858 502308864 109577 4294967295 134512640 135726644 3221224592 3221223184 134760424 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 122634 109577 300 300 0 122334 0
vsize: 490536
[startup+610.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 173725 0 0 0 60621 386 0 0 25 0 1 0 806260858 502837248 109744 4294967295 134512640 135726644 3221224592 3221223088 134744022 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 122763 109744 300 300 0 122463 0
vsize: 491052
[startup+620.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 174277 0 0 0 61621 387 0 0 25 0 1 0 806260858 504549376 110004 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 123181 110004 300 300 0 122881 0
vsize: 492724
[startup+630.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 174482 0 0 0 62620 387 0 0 25 0 1 0 806260858 505348096 110176 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 123376 110176 300 300 0 123076 0
vsize: 493504
[startup+640.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 174628 0 0 0 63620 388 0 0 25 0 1 0 806260858 505876480 110257 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 123505 110257 300 300 0 123205 0
vsize: 494020
[startup+650.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 174682 0 0 0 64620 388 0 0 25 0 1 0 806260858 505876480 110311 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 123505 110311 300 300 0 123205 0
vsize: 494020
[startup+660.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 174808 0 0 0 65620 388 0 0 25 0 1 0 806260858 506138624 110372 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 123569 110372 300 300 0 123269 0
vsize: 494276
[startup+670.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 174963 0 0 0 66620 388 0 0 25 0 1 0 806260858 506662912 110398 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 123697 110398 300 300 0 123397 0
vsize: 494788
[startup+680.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 174978 0 0 0 67620 388 0 0 25 0 1 0 806260858 506662912 110413 4294967295 134512640 135726644 3221224592 3221223088 134744011 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 123697 110413 300 300 0 123397 0
vsize: 494788
[startup+690.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 174982 0 0 0 68620 388 0 0 25 0 1 0 806260858 506662912 110417 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 123697 110417 300 300 0 123397 0
vsize: 494788
[startup+700.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 174986 0 0 0 69620 388 0 0 25 0 1 0 806260858 506662912 110421 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 123697 110421 300 300 0 123397 0
vsize: 494788
[startup+710.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 177107 0 0 0 70616 393 0 0 25 0 1 0 806260858 507322368 110540 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 123858 110540 300 300 0 123558 0
vsize: 495432
[startup+720.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 177424 0 0 0 71615 394 0 0 25 0 1 0 806260858 508477440 110759 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 124140 110759 300 300 0 123840 0
vsize: 496560
[startup+730.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 178605 0 0 0 72612 396 0 0 25 0 1 0 806260858 511639552 111290 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 124912 111290 300 300 0 124612 0
vsize: 499648
[startup+740.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 179709 0 0 0 73610 399 0 0 25 0 1 0 806260858 514400256 111777 4294967295 134512640 135726644 3221224592 3221223088 134744039 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 125586 111777 300 300 0 125286 0
vsize: 502344
[startup+750.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 179712 0 0 0 74610 399 0 0 25 0 1 0 806260858 514400256 111780 4294967295 134512640 135726644 3221224592 3221223184 134759980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 125586 111780 300 300 0 125286 0
vsize: 502344
[startup+760.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 179715 0 0 0 75610 399 0 0 25 0 1 0 806260858 514400256 111783 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 125586 111783 300 300 0 125286 0
vsize: 502344
[startup+770.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 179719 0 0 0 76611 399 0 0 25 0 1 0 806260858 514400256 111787 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 125586 111787 300 300 0 125286 0
vsize: 502344
[startup+780.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 179721 0 0 0 77611 399 0 0 25 0 1 0 806260858 514400256 111789 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 125586 111789 300 300 0 125286 0
vsize: 502344
[startup+790.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 179725 0 0 0 78611 399 0 0 25 0 1 0 806260858 514400256 111793 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 125586 111793 300 300 0 125286 0
vsize: 502344
[startup+800.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 179728 0 0 0 79611 399 0 0 25 0 1 0 806260858 514400256 111796 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 125586 111796 300 300 0 125286 0
vsize: 502344
[startup+810.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 179731 0 0 0 80611 400 0 0 25 0 1 0 806260858 514400256 111799 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 125586 111799 300 300 0 125286 0
vsize: 502344
[startup+820.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 179735 0 0 0 81611 400 0 0 25 0 1 0 806260858 514400256 111803 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 125586 111803 300 300 0 125286 0
vsize: 502344
[startup+830.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 179737 0 0 0 82611 400 0 0 25 0 1 0 806260858 514400256 111805 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 125586 111805 300 300 0 125286 0
vsize: 502344
[startup+840.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 179740 0 0 0 83611 400 0 0 25 0 1 0 806260858 514400256 111808 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 125586 111808 300 300 0 125286 0
vsize: 502344
[startup+850.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 179744 0 0 0 84612 400 0 0 25 0 1 0 806260858 514400256 111812 4294967295 134512640 135726644 3221224592 3221223088 134744117 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 125586 111812 300 300 0 125286 0
vsize: 502344
[startup+860.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 179747 0 0 0 85612 400 0 0 25 0 1 0 806260858 514400256 111815 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 125586 111815 300 300 0 125286 0
vsize: 502344
[startup+870.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 179751 0 0 0 86612 400 0 0 25 0 1 0 806260858 514400256 111819 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 125586 111819 300 300 0 125286 0
vsize: 502344
[startup+880.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 181675 0 0 0 87607 405 0 0 25 0 1 0 806260858 514400256 111822 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 125586 111822 300 300 0 125286 0
vsize: 502344
[startup+890.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 182251 0 0 0 88606 406 0 0 25 0 1 0 806260858 516390912 112171 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 126072 112171 300 300 0 125772 0
vsize: 504288
[startup+900.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 182577 0 0 0 89605 407 0 0 25 0 1 0 806260858 517451776 112399 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 126331 112399 300 300 0 126031 0
vsize: 505324
[startup+910.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 182583 0 0 0 90605 407 0 0 25 0 1 0 806260858 517451776 112405 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 126331 112405 300 300 0 126031 0
vsize: 505324
[startup+920.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 182585 0 0 0 91606 407 0 0 25 0 1 0 806260858 517451776 112407 4294967295 134512640 135726644 3221224592 3221222840 135280958 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 126331 112407 300 300 0 126031 0
vsize: 505324
[startup+930.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 182587 0 0 0 92606 407 0 0 25 0 1 0 806260858 517451776 112409 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 126331 112409 300 300 0 126031 0
vsize: 505324
[startup+940.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 182605 0 0 0 93606 407 0 0 25 0 1 0 806260858 517451776 112427 4294967295 134512640 135726644 3221224592 3221223184 134760010 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 126331 112427 300 300 0 126031 0
vsize: 505324
[startup+950.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 182610 0 0 0 94606 407 0 0 25 0 1 0 806260858 517451776 112432 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 126331 112432 300 300 0 126031 0
vsize: 505324
[startup+960.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 182948 0 0 0 95605 408 0 0 25 0 1 0 806260858 518500352 112513 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 126587 112513 300 300 0 126287 0
vsize: 506348
[startup+970.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 182950 0 0 0 96605 408 0 0 25 0 1 0 806260858 518500352 112515 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 126587 112515 300 300 0 126287 0
vsize: 506348
[startup+980.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 182953 0 0 0 97605 408 0 0 25 0 1 0 806260858 518500352 112518 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 126587 112518 300 300 0 126287 0
vsize: 506348
[startup+990.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 182955 0 0 0 98606 408 0 0 25 0 1 0 806260858 518500352 112520 4294967295 134512640 135726644 3221224592 3221223088 134744295 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 126587 112520 300 300 0 126287 0
vsize: 506348
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 182959 0 0 0 99606 408 0 0 25 0 1 0 806260858 518500352 112524 4294967295 134512640 135726644 3221224592 3221223248 134731245 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 126587 112524 300 300 0 126287 0
vsize: 506348
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 182963 0 0 0 100606 408 0 0 25 0 1 0 806260858 518500352 112528 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 126587 112528 300 300 0 126287 0
vsize: 506348
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 182968 0 0 0 101606 408 0 0 25 0 1 0 806260858 518500352 112533 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 126587 112533 300 300 0 126287 0
vsize: 506348
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 182971 0 0 0 102606 408 0 0 25 0 1 0 806260858 518500352 112536 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 126587 112536 300 300 0 126287 0
vsize: 506348
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 182972 0 0 0 103607 408 0 0 25 0 1 0 806260858 518500352 112537 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 126587 112537 300 300 0 126287 0
vsize: 506348
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 182976 0 0 0 104607 409 0 0 25 0 1 0 806260858 518500352 112541 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 126587 112541 300 300 0 126287 0
vsize: 506348
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 182978 0 0 0 105607 409 0 0 25 0 1 0 806260858 518500352 112543 4294967295 134512640 135726644 3221224592 3221223088 134744014 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 126587 112543 300 300 0 126287 0
vsize: 506348
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 182980 0 0 0 106607 409 0 0 25 0 1 0 806260858 518500352 112545 4294967295 134512640 135726644 3221224592 3221223104 134742493 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 126587 112545 300 300 0 126287 0
vsize: 506348
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 185958 0 0 0 107600 415 0 0 25 0 1 0 806260858 522199040 113210 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 127490 113210 300 300 0 127190 0
vsize: 509960
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 186323 0 0 0 108599 416 0 0 25 0 1 0 806260858 523116544 113345 4294967295 134512640 135726644 3221224592 3221223168 134760499 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 127714 113345 300 300 0 127414 0
vsize: 510856
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 186844 0 0 0 109598 418 0 0 25 0 1 0 806260858 524697600 113574 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 128100 113574 300 300 0 127800 0
vsize: 512400
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 187222 0 0 0 110597 419 0 0 25 0 1 0 806260858 525754368 113822 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 128358 113822 300 300 0 128058 0
vsize: 513432
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 187406 0 0 0 111597 419 0 0 25 0 1 0 806260858 526282752 113941 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 128487 113941 300 300 0 128187 0
vsize: 513948
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 187576 0 0 0 112596 420 0 0 25 0 1 0 806260858 526811136 114046 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 128616 114046 300 300 0 128316 0
vsize: 514464
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 188251 0 0 0 113595 421 0 0 25 0 1 0 806260858 528912384 114269 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 129129 114269 300 300 0 128829 0
vsize: 516516
[startup+1150.04 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 188585 0 0 0 114595 422 0 0 25 0 1 0 806260858 530096128 114376 4294967295 134512640 135726644 3221224592 3221223088 134743990 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 129418 114376 300 300 0 129118 0
vsize: 517672
[startup+1160.04 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 188797 0 0 0 115595 422 0 0 25 0 1 0 806260858 530620416 114459 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 129546 114459 300 300 0 129246 0
vsize: 518184
[startup+1170.04 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 188999 0 0 0 116594 423 0 0 25 0 1 0 806260858 531144704 114532 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 129674 114532 300 300 0 129374 0
vsize: 518696
[startup+1180.04 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 189262 0 0 0 117594 423 0 0 25 0 1 0 806260858 531935232 114665 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 129867 114665 300 300 0 129567 0
vsize: 519468
[startup+1190.04 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 189435 0 0 0 118594 424 0 0 25 0 1 0 806260858 532463616 114773 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 129996 114773 300 300 0 129696 0
vsize: 519984
[startup+1200.04 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 191555 0 0 0 119588 429 0 0 25 0 1 0 806260858 532856832 114874 4294967295 134512640 135726644 3221224592 3221223216 134744603 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 130092 114874 300 300 0 129792 0
vsize: 520368
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.28 s]
Raw data (loadavg): 1.03 0.99 0.91 1/53 27877
Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 191555 0 0 0 119588 429 0 0 25 0 1 0 806260858 532856832 114874 4294967295 134512640 135726644 3221224592 3221223216 134744603 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 130092 114874 300 300 0 129792 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.28
CPU time (s): 1202.41
CPU user time (s): 1197.89
CPU system time (s): 4.52331
CPU usage (%): 100.011
Max. virtual memory (Kb): 520368
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####